SearcharxivSearch

arXiv subjects

Lisa Seccia

Publications and source records attributed to Lisa Seccia.

11 recordsLinked to original sources

Special fibers of coordinate sections of Hankel Matrices

We investigate the special fibers associated with certain coordinate sections of Hankel determinantal ideals. We provide explicit descriptions of their defining equations, showing that these equations admit a natural matrix structure. In particular, we prove that they are Cohen-Macaulay and cannot, in general, be minimally generated only by quadrics and cubics. Instead, we show that the degrees of their minimal generators grow with the size of the minors involved. In one case, we also prove that the Rees algebra is of fiber type. Additionally, we compute algebraic invariants of these special fibers. Our results partially build on and extend the work of Ramkumar and Sammartano on $2$-determinantal ideals and answer some of the questions posed by Cunha, Mostafazadehfard, Ramos, and Simis in earlier work.

math.AC

Lifting Frobenius splittings through geometric vertex decomposition

Frobenius splitting, pioneered by Hochster and Roberts in the 1970s and Mehta and Ramanathan in the 1980s, is a technique in characteristic $p$ commutative algebra and algebraic geometry used to control singularities. In the aughts, Knutson showed that Frobenius splittings of a certain type descend through Gr\"obner degeneration of a certain type, called geometric vertex decomposition. In the present paper, we give a partial converse to Knutson's result. We show that a Frobenius splitting that compatibly splits both link and deletion of a geometric vertex decomposition can, under an additional hypothesis on the form of the splitting, be lifted to a splitting that compatibly splits the original ideal. We discuss an example showing that the additional hypothesis cannot be removed. Our argument uses the relationship between geometric vertex decomposition and Gorenstein liaison developed by Klein and Rajchgot. Additionally, we show that Li's double determinantal varieties defined by maximal minors are Frobenius split.

math.AC

The Random Variables of the DNA Coverage Depth Problem

DNA data storage systems encode digital data into DNA strands, enabling dense and durable storage. Efficient data retrieval depends on coverage depth, a key performance metric. We study the random access coverage depth problem and focus on minimizing the expected number of reads needed to recover information strands encoded via a linear code. We compute the asymptotic performance of a recently proposed code construction, establishing and refining a conjecture in the field by giving two independent proofs. We also analyze a geometric code construction based on balanced quasi-arcs and optimize its parameters. Finally, we investigate the full distribution of the random variables that arise in the coverage depth problem, of which the traditionally studied expectation is just the first moment. This allows us to distinguish between code constructions that, at first glance, may appear to behave identically.

cs.IT

Moment varieties of the inverse Gaussian and gamma distributions are nondefective

We show that the parameters of a $k$-mixture of inverse Gaussian or gamma distributions are algebraically identifiable from the first $3k-1$ moments, and rationally identifiable from the first $3k+2$ moments. Our proofs are based on Terracini's classification of defective surfaces, careful analysis of the intersection theory of moment varieties, and a recent result on sufficient conditions for rational identifiability of secant varieties by Massarenti--Mella.

math.AG

Moment varieties from inverse Gaussian and gamma distributions

Motivated by previous work on moment varieties for Gaussian distributions and their mixtures, we study moment varieties for two other statistically important two-parameter distributions: the inverse Gaussian and gamma distributions. In particular, we realize the moment varieties as determinantal varieties and find their degrees and singularities. We also provide computational evidence for algebraic identifiability of mixtures, and study the identifiability degree and Euclidean distance degree.

math.AG

Ladder determinantal varieties and their symbolic blowups

In this article we show that the symbolic Rees algebra of a mixed ladder determinantal ideal is strongly $F$-regular. Furthermore, we prove that the symbolic associated graded algebra of a mixed ladder determinantal ideal is $F$-pure. The latter implies that mixed ladder determinantal rings are $F$-pure. We also show that ideals of the poset of minors of a generic matrix give rise to $F$-pure algebras with straightening law.

math.AC

Connected domination in graphs and v-numbers of binomial edge ideals

The v-number of a graded ideal is an algebraic invariant introduced by Cooper et al., and originally motivated by problems in algebraic coding theory. In this paper we study the case of binomial edge ideals and we establish a significant connection between their v-numbers and the concept of connected domination in graphs. More specifically, we prove that the localization of the v-number at one of the minimal primes of the binomial edge ideal $J_G$ of a graph $G$ coincides with the connected domination number of the defining graph, providing a first algebraic description of the connected domination number. As an immediate corollary, we obtain a sharp combinatorial upper bound for the v-number of binomial edge ideals of graphs. Lastly, building on some known results on edge ideals, we analyze how the v-number of $J_G$ behaves under Gr\"obner degeneration when $G$ is a closed graph.

math.AC

Binomial edge ideals of weakly closed graphs

Closed graphs have been characterized by Herzog et al. as the graphs whose binomial edge ideals have a quadratic Gr\"obner basis with respect to a diagonal term order. In this paper, we focus on a generalization of closed graphs, namely weakly-closed graphs (or co-comparability graphs). Build on some results about Knutson ideals of generic matrices, we characterize weakly closed graphs as the only graphs whose binomial edge ideals are Knutson ideals for a certain polynomial $f$. In doing so, we re-prove Matsuda's theorem about the F-purity of binomial edge ideals of weakly closed graphs in positive characteristic and we extend it to generalized binomial edge ideals. Furthermore, we give a characterization of weakly closed graphs in terms of the minimal primes of their binomial edge ideals and we characterize all minimal primes of Knutson ideals for this choice of $f$.

math.AC

Knutson ideals and determinantal ideals of Hankel matrices

Motivated by a work of Knutson, in a recent paper Conca and Varbaro have defined a new class of ideals, namely "Knutson ideals", starting from a polynomial $f$ with squarefree leading term. We will show that the main properties that this class has in polynomial rings over fields of characteristic $p$ are preserved when one introduces the definition of Knutson ideal also in polynomial rings over fields of characteristic zero. Then we will show that determinantal ideals of Hankel matrices are Knutson ideals for a suitable choice of the polynomial $f$.

math.AC

Hamiltonian paths, unit-interval complexes, and determinantal facet ideals

We study d-dimensional generalizations of three mutually related topics in graph theory: Hamiltonian paths, (unit) interval graphs, and binomial edge ideals. We provide partial high-dimensional generalizations of Ore and Posa's sufficient conditions for a graph to be Hamiltonian. We introduce a hierarchy of combinatorial properties for simplicial complexes that generalize unit-interval, interval, and co-comparability graphs. We connect these properties to the already existing notions of determinantal facet ideals and Hamiltonian paths in simplicial complexes. Some important consequences of our work are: (1) Every almost-closed strongly-connected d-dimensional simplicial complex is traceable. (This extends the well-known result "unit-interval connected graphs are traceable".) (2) Every almost-closed d-complex that remains strongly connected after the deletion of d or less vertices, is Hamiltonian. (This extends the fact that "unit-interval 2-connected graphs are Hamiltonian".) (3) Unit-interval complexes are characterized, among traceable complexes, by the property that the minors defining their determinantal facet ideal form a Groebner basis for a diagonal term order which is compatible with the traceability of the complex. (This corrects a recent theorem by Ene et al., extends a result by Herzog and others, and partially answers a question by Almousa-Vandebogert.) (4) Only the d-skeleton of the simplex has a determinantal facet ideal with linear resolution. (This extends the result by Kiani and Saeedi-Madani that "only the complete graph has a binomial edge ideal with linear resolution".) (5) The determinantal facet ideals of all under-closed and semi-closed complexes have a square-free initial ideal with respect to lex. In characteristic p, they are even F-pure.

math.CO

Knutson ideals of generic matrices

In this paper we show that determinantal ideals of generic matrices are Knutson ideals. This fact leads to a useful result about Gröbner bases of certain sums of determinantal ideals. More specifically, given $I=I_1+\ldots+I_k$ a sum of ideals of minors on adjacent columns or rows, we prove that the union of the Gröbner bases of the $I_j$'s is a Gröbner basis of $I$.

math.AC