polytope ↗ reference
3024 papers tagged with this keyword
On the connected blocks polytope
Published in Discrete & Computational Geometry, Volume 73, pages 946-972, 2025
• Search Publication
In this paper, we study the connected blocks polytope, which, apart from its own merits, can be seen as the generalization of certain connectivity based or Eulerian subgraph polytopes. We provide a complete facet description of this polytope, characterize its edges and show that it is Hirsch. We also show that connected blocks polytopes admit a regular unimodular triangulation by constructing a squarefree Gröbner basis. In addition, we prove that the polytope is Gorenstein of index $2$ and that its $h^\ast$-vector is unimodal.
Rigidity of Symmetric Simplicial Complexes and the Lower Bound Theorem
Published in Forum of Mathematics, Sigma 13 (2025) e4
• View Publication
• BIB
We show that, if $Γ$ is a point group of $\mathbb{R}^{k+1}$ of order two for some $k\geq 2$ and $\mathcal S$ is a $k$-pseudomanifold which has a free automorphism of order two, then either $\mathcal S$ has a $Γ$-symmetric infinitesimally rigid realisation in $\mathbb{R}^{k+1}$ or $k=2$ and $Γ$ is a half-turn rotation group.This verifies a conjecture made by Klee, Nevo, Novik and Zhang for the case when $Γ$ is a point-inversion group. Our result implies that Stanley's lower bound theorem for centrally symmetric polytopes extends to pseudomanifolds with a free simplicial involution, thus verifying (the inequality part) of another conjecture of Klee, Nevo, Novik and Zheng. Both results actually apply to a much larger class of simplicial complexes, namely the circuits of the simplicial matroid. The proof of our rigidity result adapts earlier ideas of Fogelsanger to the setting of symmetric simplicial complexes.
Chain algebras of finite distributive lattices
Published in Journal of Algebraic Combinatorics, Volume 59, pages 473-494, (2024)
• View Publication
• BIB
We introduce a family of toric algebras defined by maximal chains of a finite distributive lattice. Applying results on stable set polytopes we conclude that every such algebra is normal and Cohen-Macaulay, and give an interpretation of its Krull dimension in terms of the combinatorics of the underlying lattice. When the lattice is planar, we show that the corresponding chain algebra is generated by a sortable set of monomials and is isomorphic to a Hibi ring of another finite distributive lattice. As a consequence it has a defining toric ideal with a quadratic Gröbner basis, and its $h$-vector counts ascents in certain standard Young tableaux. If instead the lattice has dimension $n>2$, we show that the defining ideal has minimal generators of degree at least $n$.
Classification of width 1 lattice tetrahedra by their multi-width
Published in Discrete and Computational Geometry (2024)
• View Publication
• BIB
We introduce the multi-width of a lattice polytope and use this to classify and count all lattice tetrahedra with multi-width $(1,w_2,w_3)$. The approach used in this classification can be extended into a computer algorithm to classify lattice tetrahedra of any given multi-width. We use this to classify tetrahedra with multi-width $(2,w_2,w_3)$ for small $w_2$ and $w_3$ and make conjectures about the function counting lattice tetrahedra of any multi-width.
Classification of lattice triangles by their two smallest widths
We introduce the notion of the second lattice width of a lattice polytope and use this to classify lattice triangles by their width and second width. This is equivalent to classifying lattice triangles contained in a given rectangle (and no smaller rectangle) up to affine equivalence. Using this classification we investigate the automorphism groups and Ehrhart theory of lattice triangles. We also show that the sequence counting lattice triangles contained in dilations of the unit square has generating function equal to the Hilbert series of a degree 8 hypersurface in $\mathbb{P}(1,1,1,2,2,2)$.
Degrees of interior polynomials and parking function enumerators
The interior polynomial of a directed graph is defined as the $h^*$-polynomial of the graph's (extended) root polytope, and it displays several attractive properties. Here we express its degree in terms of the minimum cardinality of a directed join, and give a formula for the leading coefficient. We present natural generalizations of these results to oriented regular matroids; in the process we also give a facet description for the extended root polytope of an oriented regular matroid.
By duality, our expression for the degree of the interior polynomial implies a formula for the degree of the parking function enumerator of an Eulerian directed graph (which is equivalent to the greedoid polynomial of the corresponding branching greedoid). We extend that result to obtain the degree of the parking function enumerator of an arbitrary rooted directed graph in terms of the minimum cardinality of a certain type of feedback arc set.
Phylogenetic degrees for claw trees
Group-based models appear in algebraic statistics as mathematical models coming from evolutionary biology, respectively the study of mutations of organisms. Both theoretically and in terms of applications, we are interested in determining the algebraic degrees of the phylogenetic varieties coming from these models. These algebraic degrees are called phylogenetic degrees. In this paper, we compute the phylogenetic degree of the variety $X_{G, n}$ with $G\in\{\mathbb{Z}_2,\mathbb{Z}_2\times\mathbb{Z}_2, \mathbb{Z}_3\}$ and any $n$-claw tree. As these varieties are toric, computing their phylogenetic degree relies on computing the volume of their associated polytopes $P_{G,n}$. We apply combinatorial methods and we give concrete formulas for them.
An Euler operator approach to Ehrhart series
We use the ordinary Euler operator to compute the Ehrhart series for an arbitrary lattice polytope. The resulting formula involves the coefficients of the Ehrhart polynomial, combined via Eulerian numbers. We use this to compute $h^*_{d-1}$ in terms of the coefficients of the Ehrhart polynomial, resulting in a new linear inequality satisfied by the coefficents of the Ehrhart polynomial.
Realizations of multiassociahedra via bipartite rigidity
Let $Ass_k(n)$ denote the simplicial complex of $(k+1)$-crossing-free subsets of edges in $\binom{n}{2}$. Here $k,n\in \mathbb{N}$ and $n\ge 2k+1$. It is conjectured that this simplicial complex is polytopal (Jonsson 2005). However, despite several recent advances, this is still an open problem.
In this paper we attack this problem using as a vector configuration the rows of a rigidity matrix, namely, hyperconnectivity restricted to bipartite graphs. We see that in this way $Ass_k(n)$ can be realized as a polytope for $k=2$ and $n\le 10$, and as a fan for $k=2$ and $n\le 13$, and for $k=3$ and $n\le 11$. However, we also prove that the cases with $k\ge 3$ and $n\ge \max\{12,2k+4\}$ are not realizable in this way.
We also give an algebraic interpretation of the rigidity matroid, relating it to a projection of determinantal varieties with implications in matrix completion, and prove the presence of a fan isomorphic to $Ass_{k-1}(n-2)$ in the tropicalization of that variety.
Classification and enumeration of lattice polygons in a disc
In 1980, V. I. Arnold studied the classification problem for convex lattice polygons of given area. Since then, this problem and its analogues have been studied by many authors, including $\mathrm{B\acute{a}r\acute{a}ny}$, Lagarias, Pach, Santos, Ziegler and Zong. Recently, Zong proposed two computer programs to prove Hadwiger's covering conjecture and Borsuk's partition problem, respectively, based on enumeration of the convex lattice polytopes contained in certain balls. For this purpose, similar to $\mathrm{B\acute{a}r\acute{a}ny}$ and Pach's work on volume and Liu and Zong's work on cardinality, we obtain bounds on the number of non-equivalent convex lattice polygons in a given disc. Furthermore, we propose an algorithm to enumerate these convex lattice polygons.
Moment cone membership for quivers in strongly polynomial time
In this note we observe that membership in moment cones of spaces of quiver representations can be decided in strongly polynomial time, for any acyclic quiver. This generalizes a recent result by Chindris-Collins-Kline for bipartite quivers. Their approach was to construct "multiplicity polytopes" with a geometric realization similar to the Knutson-Tao polytopes for tensor product multiplicities. Here we show that a less geometric but straightforward variant of their construction leads to such a multiplicity polytope for any acyclic quiver. Tardos' strongly polynomial time algorithm for combinatorial linear programming along with the saturation property then implies that moment cone membership can be decided in strongly polynomial time. The analogous question for semi-invariants remains open.
Toric rings of $(0,1)$-polytopes with small rank
The rank of a $d$-dimensional polytope $P$ is defined by $F-(d+1)$, where $F$ denotes the number of facets of $P$. In this paper, We focus on the toric rings of $(0,1)$-polytopes with small rank. We study their normality, the torsionfreeness of their divisor class groups and the classification of their isomorphism classes.
Nearly Gorenstein Polytopes
In this paper, we study nearly Gorensteinness of Ehrhart rings arising from lattice polytopes. We give necessary conditions and sufficient conditions on lattice polytopes for their Ehrhart rings to be nearly Gorenstein. Using this, we give an efficient method for constructing nearly Gorenstein polytopes. Moreover, we determine the structure of nearly Gorenstein (0, 1)-polytopes and characterise nearly Gorensteinness of edge polytopes and graphic matroids.
On lattice path matroid polytopes: alcoved triangulations and snake decompositions
We study lattice path matroid polytopes using their alcoved triangulation. We characterize Gorenstein lattice path matroid polytopes, yielding a new class of matroids satisfying the unimodality conjecture of de Loera, Haws, and K{ö}ppe. Further, we characterize matroids whose polytopes are order polytopes as a special class of lattice path matroids, called snakes. Finally, we give combinatorial interpretations of the volumes and $h^*$-vectors of lattice path matroids of rank $2$ based on their snake decomposition.
Optimization of trigonometric polynomials with crystallographic symmetry and spectral bounds for set avoiding graphs
Published
• View Publication
• BIB
Trigonometric polynomials are usually defined on the lattice of integers.We consider the larger class of weight and root lattices with crystallographic symmetry.This article gives a new approach to minimize trigonometric polynomials, which are invariant under the associated reflection group.The invariance assumption allows us to rewrite the objective function in terms of generalized Chebyshev polynomials. The new objective function is defined on a compact basic semi-algebraic set, so that we can benefit from the rich theory of polynomial optimization.We present an algorithm to compute the minimum: Based on the Hol-Scherer Positivstellensatz, we impose matrix-sums of squares conditions on the objective function in the Chebyshev basis.The degree of the sums of squares is weighted, defined by the root system. Increasing the degree yields a converging Lasserre-type hierarchy of lower bounds.This builds a bridge between trigonometric and polynomial optimization, allowing us to compare with existing techniques.The chromatic number of a set avoiding graph in the Euclidean space is defined through an optimal coloring.It can be computed via a spectral bound by minimizing a trigonometric polynomial. If the to be avoided set has crystallographic symmetry, our method has a natural application.Specifically, we compute spectral bounds for the first time for boundaries of symmetric polytopes.For several cases, the problem has such a simplified form that we can give analytical proofs for sharp spectral bounds.In other cases, we certify the sharpness numerically.
Weighted Ehrhart Theory: Extending Stanley's nonnegativity theorem
Published in Adv. in Math.. {\bf 444} (2024), 109627
• View Publication
• BIB
We generalize R. P. Stanley's celebrated theorem that the $h^\ast$-polynomial of the Ehrhart series of a rational polytope has nonnegative coefficients and is monotone under containment of polytopes. We show that these results continue to hold for weighted Ehrhart series where lattice points are counted with polynomial weights, as long as the weights are homogeneous polynomials decomposable as sums of products of linear forms that are nonnegative on the polytope. We also show nonnegativity of the $h^\ast$-polynomial as a real-valued function for a larger family of weights.
We then target the case when the weight function is the square of a single (arbitrary) linear form. We show stronger results for two-dimensional convex lattice polygons and give concrete examples showing tightness of the hypotheses. As an application, we construct a counterexample to a conjecture by Berg, Jochemko, and Silverstein on Ehrhart tensor polynomials.
Toric Fiber Products in Geometric Modeling
An important challenge in Geometric Modeling is to classify polytopes with rational linear precision. Equivalently, in Algebraic Statistics one is interested in classifying scaled toric varieties, also known as discrete exponential families, for which the maximum likelihood estimator can be written in closed form as a rational function of the data (rational MLE). The toric fiber product (TFP) of statistical models is an operation to iteratively construct new models with rational MLE from lower dimensional ones. In this paper we introduce TFPs to the Geometric Modeling setting to construct polytopes with rational linear precision and give explicit formulae for their blending functions. A special case of the TFP is taking the Cartesian product of two polytopes and their blending functions. The Horn matrix of a statistical model with rational MLE is a key player in both Geometric Modeling and Algebraic Statistics; it proved to be fruitful providing a characterisation of those polytopes having the more restrictive property of strict linear precision. We give an explicit description of the Horn matrix of a TFP.
Stable Set Polytopes with High Lift-and-Project Ranks for the Lovász-Schrijver SDP Operator
We study the lift-and-project rank of the stable set polytopes of graphs with respect to the Lovász-Schrijver SDP operator $\text{LS}_+$. In particular, we focus on a search for relatively small graphs with high $\text{LS}_+$-rank (i.e., the least number of iterations of the $\text{LS}_+$ operator on the fractional stable set polytope to compute the stable set polytope). We provide families of graphs whose $\text{LS}_+$-rank is asymptotically a linear function of its number of vertices, which is the best possible up to improvements in the constant factor. This improves upon the previous best result in this direction from 1999, which yielded graphs whose $\text{LS}_+$-rank only grew with the square root of the number of vertices.
Classification of causally complete spaces on 3 events with binary inputs
We present an exhaustive classification of the 2644 causally complete spaces of input histories on 3 events with binary inputs, together with the algorithm used to find them. This paper forms the supplementary material for a trilogy of works: spaces of input histories, our dynamical generalisation of causal orders, are introduced in "The Combinatorics of Causality"; the sheaf-theoretic treatment of causal distributions is detailed in "The Topology of Causality"; the polytopes formed by the associated empirical models are studied in "The Geometry of Causality".
Triangulations of cosmological polytopes
A cosmological polytope is defined for a given Feynman diagram, and its canonical form may be used to compute the contribution of the Feynman diagram to the wavefunction of certain cosmological models. Given a subdivision of a polytope, its canonical form is obtained as a sum of the canonical forms of the facets of the subdivision. In this paper, we identify such formulas for the canonical form via algebraic techniques. It is shown that the toric ideal of every cosmological polytope admits a Gröbner basis with a squarefree initial ideal, yielding a regular unimodular triangulation of the polytope. In specific instances, including trees and cycles, we recover graphical characterizations of the facets of such triangulations that may be used to compute the desired canonical form. For paths and cycles, these characterizations admit simple enumeration. Hence, we obtain formulas for the normalized volume of these polytopes, extending previous observations of Kühne and Monin.