English
Related papers

Related papers: Robust Toric Ideals

200 papers

We introduce the concept of $t$-spread monomials and $t$-spread strongly stable ideals. These concepts are a natural generalization of strongly stable and squarefree strongly stable ideals. For the study of this class of ideals we use the…

Commutative Algebra · Mathematics 2018-06-05 Viviana Ene , Jürgen Herzog , Ayesha Asloob Qureshi

Let $I \subseteq R = \mathbb{K}[x_1,\ldots,x_n]$ be a toric ideal, i.e., a binomial prime ideal. We investigate when the ideal $I$ can be "split" into the sum of two smaller toric ideals. For a general toric ideal $I$, we give a sufficient…

Commutative Algebra · Mathematics 2021-02-09 Giuseppe Favacchio , Johannes Hofscheier , Graham Keiper , Adam Van Tuyl

Motivated by Stillman's question, we show that the projective dimension of an ideal generated by four quadric forms in a polynomial ring is at most 6; moreover, this bound is tight. We achieve this bound, in part, by giving a…

Commutative Algebra · Mathematics 2017-10-13 Craig Huneke , Paolo Mantero , Jason McCullough , Alexandra Seceleanu

We introduce and study the toric fiber product of two ideals in polynomial rings that are homogeneous with respect to the same multigrading. Under the assumption that the set of degrees of the variables form a linearly independent set, we…

Commutative Algebra · Mathematics 2007-05-23 Seth Sullivant

Statistical models of evolution are algebraic varieties in the space of joint probability distributions on the leaf colorations of a phylogenetic tree. The phylogenetic invariants of a model are the polynomials which vanish on the variety.…

Populations and Evolution · Quantitative Biology 2007-05-23 Bernd Sturmfels , Seth Sullivant

Let $K$ be a field and let $S=K[x_1,\dots,x_n]$ be a standard polynomial ring over a field $K$. We characterize the extremal Betti numbers, values as well positions, of a $t$-spread strongly stable ideal of $S$. Our approach is…

Commutative Algebra · Mathematics 2021-11-22 Luca Amata , Antonino Ficarra , Marilena Crupi

It is shown that up to dimension four, the toric ideal of a quiver polytope is generated in degree two, with the only exception of the four-dimensional Birkhoff polytope. As a consequence, B{\o}gvad's conjecture holds for quiver polytopes…

Commutative Algebra · Mathematics 2017-07-04 M. Domokos , Dániel Joó

In combinatorial commutative algebra and algebraic statistics many toric ideals are constructed from graphs. Keeping the categorical structure of graphs in mind we give previous results a more functorial context and generalize them by…

Commutative Algebra · Mathematics 2011-10-04 Alexander Engstrom , Patrik Noren

We extend the sortability concept to monomial ideals which are not necessarily generated in one degree and as an application we obtain normal Cohen-Macaulay toric rings attached to vertex cover ideals of graphs. Moreover, we consider a…

Commutative Algebra · Mathematics 2022-09-23 Jürgen Herzog , Takayuki Hibi , Somayeh Moradi

In this paper, we draw a connection between ideal lattices and Gr\"{o}bner bases in the multivariate polynomial rings over integers. We study extension of ideal lattices in $\mathbb{Z}[x]/\langle f \rangle$ (Lyubashevsky \& Micciancio,…

Symbolic Computation · Computer Science 2017-10-10 Maria Francis , Ambedkar Dukkipati

Strongly stable monomial ideals are important in algebraic geometry, commutative algebra, and combinatorics. Prompted, for example, by combinatorial approaches for studying Hilbert schemes and the existence of maximal total Betti numbers…

Commutative Algebra · Mathematics 2011-12-05 Dennis Moore , Uwe Nagel

In this paper, the concepts of binomial difference ideals and toric difference varieties are defined and their properties are proved. Two canonical representations for Laurent binomial difference ideals are given using the reduced Groebner…

Algebraic Geometry · Mathematics 2015-05-20 Xiao-Shan Gao , Zhang Huang , Chun-Ming Yuan

Given any equigenerated monomial ideal $I$ with the property that the defining ideal $J$ of the fiber cone $ F(I)$ of $I$ is generated by quadratic binomials, we introduce a matrix such that the set of its binomial $2$-minors is a…

Commutative Algebra · Mathematics 2021-06-09 Reza Abdolmaleki , Rashid Zaare-Nahandi

For which monomial supports do most polynomials generate a prime ideal? We give necessary and sufficient conditions for the radical of the ideal to be prime over an algebraically closed field. In characteristic zero, the same conditions…

Commutative Algebra · Mathematics 2016-08-12 Josephine Yu

In the present paper, we prove that the toric ideals of certain $s$-block diagonal matching fields have quadratic Gr\"obner bases. Thus, in particular, those are quadratically generated. By using this result, we provide a new family of…

Commutative Algebra · Mathematics 2021-05-12 Akihiro Higashitani , Hidefumi Ohsugi

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

Relying on the combinatorial classification of toric ideals using their bouquet structure, we focus on toric ideals of hypergraphs and study how they relate to general toric ideals. We show that hypergraphs exhibit a surprisingly general…

Commutative Algebra · Mathematics 2017-11-15 Sonja Petrović , Apostolos Thoma , Marius Vladoiu

Two correspondences have been provided that associate any linear code over a finite field with a binomial ideal. In this paper, algorithms for computing their Graver bases and universal Gr\"obner bases are given. To this end, a connection…

Commutative Algebra · Mathematics 2014-05-08 Natalia Dück , Karl-Heinz Zimmermann

Nakajima's graded quiver varieties naturally appear in the study of bases of cluster algebras. One particular family of these varieties, namely the bipartite determinantal varieties, can be defined for any bipartite quiver and gives a vast…

Commutative Algebra · Mathematics 2024-06-25 Josua Illian , Li Li

We classify the finite connected simple graphs whose edge rings are strongly Koszul. From the classification, it follows that if the edge ring is strongly Koszul, then its toric ideal possesses a quadratic Gr\"obner basis.

Commutative Algebra · Mathematics 2016-02-02 Takayuki Hibi , Kazunori Matsuda , Hidefumi Ohsugi