Convex polytopes all of whose reverse lexicographic initial ideals are squarefree
An integral convex polytope \(P\subset{\mathbb R}^n\) is called compressed if all its ``pulling triangulations are unimodular. Since all vertices of \(P\) belong to \({\mathbb Z}^n\) it is possible to associate to \(P\) a canonical toric ideal \(I_P\), generated by suitable binomials. The property of \(P\) of being compressed can be restated in terms of toric ideals: NEWLINENEWLINENEWLINE\(P\) is compressed if and only if the initial ideal of \(I_P\) with respect to any reverse lexicographic monomial order is generated by squarefree monomials. NEWLINENEWLINENEWLINEThe authors show the following result (theorem 1.1): Let \(a_{i,j}\), \(b_i\) and \(\varepsilon_i\), \(1\leq i\leq m\), \(1\leq j\leq n\), be integers with \(\varepsilon_i\in\{0,1\}\). Suppose that the convex polytope \(P\subset{\mathbb R}^n\) is defined by the system of linear inequalities \(b_i\leq\sum_{1\leq j\leq n}a_{ij}X_j\leq b_i+\varepsilon_i\), \(1\leq i\leq m\) and \(0\leq X_j\leq 1\), \(1\leq j\leq n\). Suppose furthermore that \(P\) is a (0,1)-polytope (i.e. its vertices belong to the hypercube \(\{0,1\}^n\)). Then \(P\) is compressed.NEWLINENEWLINENEWLINEIn case that the determinants of all square submatrices of the \((m\times n)\)-matrix \((a_{ij})_{1\leq i\leq m,1\leq j\leq n}\) belong to \(\{0,1,-1\}\), one concludes that \(P\) is a (0,1)-polytope and hence compressed (corollary 1.2). The proof of theorem 1.1 uses the characterization of compressed integral convex (0,1)-polytopes in terms of toric ideals.
- The \(h\)-vector of a Gorenstein toric ring of a compressed polytope
- Compressed polytopes and statistical disclosure limitation
- Reverse lexicographic squarefree initial ideals and Gorenstein Fano polytopes
- A normal (0,1)-polytope none of whose regular triangulations is unimodular
- Compressed polytopes, initial ideals and complete multipartite graphs
- Combinatorial pure subrings.
- Decompositions of Rational Convex Polytopes
- scientific article; zbMATH DE number 3121293 (Why is no real title available?)
- scientific article; zbMATH DE number 3983158 (Why is no real title available?)
- scientific article; zbMATH DE number 4089320 (Why is no real title available?)
- scientific article; zbMATH DE number 835749 (Why is no real title available?)
- On certain polytopes associated with graphs
- Reverse lexicographic squarefree initial ideals and Gorenstein Fano polytopes
- Reflexive polytopes arising from perfect graphs
- Nearly Gorenstein rings arising from finite graphs
- Low dimensional flow polytopes and their toric ideals
- The reflexive dimension of (0, 1)-polytopes
- Stable set rings which are Gorenstein on the punctured spectrum
- Unconditional reflexive polytopes
- Integer decomposition property for Cayley sums of order and stable set polytopes
- On the score sheets of a round-robin football tournament
- Alternatives for testing total dual integrality
- Special simplices and Gorenstein toric rings.
- The \(h\)-vector of a Gorenstein toric ring of a compressed polytope
- Reflexive polytopes arising from partially ordered sets and perfect graphs
- Effective lattice point counting in rational convex polytopes
- Existence of unimodular triangulations -- positive results
- Unimodality questions for integrally closed lattice polytopes
- Markov degree of the Birkhoff model
- Order-chain polytopes
- Non-Normal Very Ample Polytopes – Constructions and Examples
- Toric rings of perfectly matchable subgraph polytopes
- Perfectly contractile graphs and quadratic toric rings
- Nearly Gorenstein polytopes
- Chain algebras of finite distributive lattices
- Torsionfreeness for divisor class groups of toric rings of integral polytopes
- Bounds on the coefficients of tension and flow polynomials
- Toric rings of (0, 1)-polytopes with small rank
- Matroid polytopes with small rank
- Codegree and regularity of stable set polytopes
- Matching polytopes, Gorensteinness, and the integer decomposition property
- Generalized snake posets, order polytopes, and lattice-point enumeration
- Kempe equivalence and quadratic toric rings
- Stability for binary scalar products
- Toric rings attached to simplicial complexes
- Gorenstein property on the punctured spectrum and nearly Gorenstein property of the Ehrhart ring of the stable set polytope of an h-perfect graph
- Chain polytopes and algebras with straightening laws
- Grid graphs, Gorenstein polytopes, and domino stackings
- Compressed polytopes and statistical disclosure limitation
- Quadratic Gröbner bases for smooth \(3\times 3\) transportation polytopes
This page was built for publication: Convex polytopes all of whose reverse lexicographic initial ideals are squarefree
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2716095)
