English
Related papers

Related papers: Gr\"obner bases for staged trees

200 papers

Let I be the toric ideal defined by a 2 x n matrix of integers, A = ((1 1 ... 1)(a_1 a_2 ... a_n)) with a_1<a_2<...<a_n. We give a combinatorial proof that I is generated by elements of degree at most the sum of the two largest differences…

Commutative Algebra · Mathematics 2007-05-23 Hugh Thomas

Every normal toric ideal of codimension two is minimally generated by a Grobner basis with squarefree initial monomials. A polynomial time algorithm is presented for checking whether a toric ideal of fixed codimension is normal.

Commutative Algebra · Mathematics 2008-01-30 Pierre Dueck , Serkan Hosten , Bernd Sturmfels

A numerical semigroup is said to be universally free if it is free for any possible arrangement of its minimal generating set. In this work, we establish that toric ideals associated with universally free numerical semigroups can be…

Commutative Algebra · Mathematics 2023-03-14 Ignacio García Marco , Pedro A. García-Sánchez , Ignacio Ojeda , Christos Tatakis

In this article we prove that every toric ideal associated with a gap-free graph $G$ has a squarefree lexicographic initial ideal. Moreover, in the particular case when the complementary graph of $G$ is chordal (i.e. when the edge ideal of…

Commutative Algebra · Mathematics 2020-06-17 Alessio D'Alì

A homogeneous ideal is robust if its universal Gr\"obner basis is also a minimal generating set. For toric ideals, one has the stronger definition: A toric ideal is strongly robust if its Graver basis equals the set of indispensable…

Commutative Algebra · Mathematics 2017-04-03 Seth Sullivant

Ideals generated by adjacent 2-minors are studied. First, the problem when such an ideal is a prime ideal as well as the problem when such an ideal possesses a quadratic Gr\"obner basis is solved. Second, we describe explicitly a primary…

Commutative Algebra · Mathematics 2011-01-11 Juergen Herzog , Takayuki Hibi

Over a field of characteristic zero, we prove that for each r, there exists a constant C(r) so that the prime ideal of the rth secant variety of any Veronese embedding of any projective space is generated by polynomials of degree at most…

Commutative Algebra · Mathematics 2017-01-12 Steven V Sam

Tropical ideals, introduced in arXiv:1609.03838, define subschemes of tropical toric varieties. We prove that the top-dimensional parts of their varieties are balanced polyhedral complexes of the same dimension as the ideal. This means that…

Algebraic Geometry · Mathematics 2020-10-01 Diane Maclagan , Felipe Rincón

Let T be a tree with an action of a finitely generated group G. Given a suitable equivalence relation on the set of edge stabilizers of T (such as commensurability, co-elementarity in a relatively hyperbolic group, or commutation in a…

Group Theory · Mathematics 2016-01-20 Vincent Guirardel , Gilbert Levitt

Given a vertex-weighted oriented graph, we can associate to it a set of monomials. We consider the toric ideal whose defining map is given by these monomials. We find a generating set for the toric ideal for certain classes of graphs which…

Commutative Algebra · Mathematics 2021-07-12 Jennifer Biermann , Selvi Kara , Kuei-Nuan Lin , Augustine O'Keefe

Each Gr\"obner stratum of a tropical variety is a connected set of points, all of which induce the same initial subscheme. The Gr\"obner stratification is a coarsening of the decomposition into Gr\"obner polyhedra, and has the advantage…

Algebraic Geometry · Mathematics 2012-05-21 Dustin Cartwright

It has been shown previously that a large class of monomial maps equivariant under the action of an infinite symmetric group have finitely generated kernels up to the symmetric action. We prove that these symmetric toric ideals also have…

Commutative Algebra · Mathematics 2016-04-29 Robert Krone

In this paper, the tropical differential Gr\"obner basis is studied, which is a natural generalization of the tropical Gr\"obner basis to the recently introduced tropical differential algebra. Like the differential Gr\"obner basis, the…

Symbolic Computation · Computer Science 2019-04-05 Youren Hu , Xiao-Shan Gao

Associated to any graph is a toric ideal whose generators record relations among the cuts of the graph. We study these ideals and the geometry of the corresponding toric varieties. Our theorems and conjectures relate the combinatorial…

Commutative Algebra · Mathematics 2007-05-23 Bernd Sturmfels , Seth Sullivant

In this paper we show that the agglomeration of rows or columns of a contingency table with a hierarchical clustering algorithm yields statistical models defined through toric ideals. In particular, starting from the classical independence…

Statistics Theory · Mathematics 2013-10-01 Enrico Carlini , Fabio Rapallo

We prove that the defining ideal of a sufficiently high Veronese subring of a toric algebra admits a quadratic Gr\"obner basis consisting of binomials. More generally, we prove that the defining ideal of a sufficiently high Veronese subring…

Commutative Algebra · Mathematics 2010-11-22 Takafumi Shibuta

Bounds for the maximum degree of a minimal Gr\"obner basis of simplicial toric ideals with respect to the reverse lexicographic order are given. These bounds are close to the bound stated in Eisenbud-Goto's Conjecture on the…

Commutative Algebra · Mathematics 2009-10-06 M. Hellus , J. Stueckrad , L. T. Hoa

Associated to any hypergraph is a toric ideal encoding the algebraic relations among its edges. We study these ideals and the combinatorics of their minimal generators, and derive general degree bounds for both uniform and non-uniform…

Commutative Algebra · Mathematics 2012-12-24 Elizabeth Gross , Sonja Petrović

Toric quiver varieties (moduli spaces of quiver representations) are studied. Given a quiver and a weight there is an associated quasiprojective toric variety together with a canonical embedding into projective space. It is shown that for a…

Representation Theory · Mathematics 2014-02-21 M. Domokos , Dániel Joó

We characterise the class of one-cogenerated Pfaffian ideals whose natural generators form a Gr\"obner basis with respect to any anti-diagonal term-order. We describe their initial ideals as well as the associated simplicial complexes,…

Commutative Algebra · Mathematics 2010-06-17 Emanuela De Negri , Enrico Sbarra