polytope ↗ reference
3112 papers tagged with this keyword
Ehrhart positivity for paving positroids
A central conjecture of Ferroni, Jochemko, and Schröter posits that every positroid is Ehrhart positive. While Ehrhart positivity has recently been verified for notable classes such as lattice path matroids and series-parallel matroids, the general conjecture remains open. In this paper, we prove that the base polytope of any paving positroid has positive Ehrhart coefficients. This establishes a new class of Ehrhart positive positroids and provides substantial evidence supporting this conjecture.
Ehrhart Properties under Operations on Lattice Polytopes
This paper investigates the preservation of three classes of Ehrhart properties under various operations on lattice polytopes. These operations include Cartesian products, lattice joins, lattice pyramids, free sums, Minkowski sums, Cayley sums, reflexive polarity, and integral dilations. Specifically, we consider the following properties frequently studied in Ehrhart theory:
(i): Positivity of Ehrhart coefficients, including Ehrhart positivity and magic positivity. In particular, we present lattice point counting formulas for the polytopes generated by these operations.
(ii): Coefficient properties of the $h^*$-polynomial, including symmetry, unimodality, log-concavity, ultra log-concavity, real-rootedness, and $γ$-positivity.
(iii): Geometric properties, including the spanning property, the integer decomposition property, very ampleness, and the existence of unimodular triangulation, regular unimodular triangulation, and quadratic triangulation.
We determine which properties are preserved under these eight operations, establishing preservation theorems or constructing explicit counterexamples. Furthermore, when a property is not preserved in general, we investigate sufficient or equivalent conditions for its preservation.
Unimodality for IDP Lattice Simplices of Prime Normalized Volume
Recently, Ferroni constructed a family of counterexamples to the well-known conjecture in Ehrhart theory stating that the $h^*$-polynomial of a lattice polytope with the integer decomposition property is unimodal. This raises the question of whether the $h^*$-polynomial of a lattice simplex with the integer decomposition property remains unimodal. In this note, we prove that every lattice simplex with the integer decomposition property and prime normalized volume has a unimodal $h^*$-polynomial. Furthermore, we establish several sufficient conditions for the unimodality of the $h^*$-polynomial of such simplices.
Real-Rootedness and Gamma-Positivity for a Variation of the Morris Constant Term
Beck and Pixton expressed the Ehrhart polynomial of the Birkhoff polytope as a weighted sum of constant terms of several multivariate rational functions. Xin and Zhang studied a class of constant terms $h_n(t)$, which can be regarded as a variation of the Morris constant term. They proved that $h_n(t)$ is a polynomial of degree $(n-1)^2$ and obtained many nice properties involving the Morris constant term identity. Let $h_n^*(y)=(1-y)^{(n-1)^2+1}\sum_{t\geq0}h_n(t)y^t$. For fixed $n\geq 3$, we obtain the following results for $h_n^*(y)$: (i): $h_n^*(y)$ is a polynomial with positive integer coefficients. (ii): $h_n^*(y)$ is real-rooted. In particular, all its roots are non-positive real numbers. (iii): $h_n^*(y)$ is Gamma-positive. Furthermore, $h_n^*(y)$ is palindromic, unimodal, and ultra log-concave. This confirms Xin and Zhang's conjecture regarding $h_n^*(y)$. In order to resolve this conjecture, we also developed an operator on the space of symmetric polynomials that preserves real stability. As a byproduct, we prove that every root of a Gamma polynomial associated with $h_n^*(y)$ is a negative real number.
Taylor Positivity of Ehrhart Polynomials
Let $P$ be a $d$-dimensional lattice polytope with Ehrhart polynomial $L_P(t)$. Motivated by the study of Ehrhart positivity and magic positivity, we investigate the Taylor coefficients $\mathsf{A}_j(P;k)$ in the shifted expansion $L_P(t)=\sum_{j=0}^{d}\mathsf{A}_j(P;k)(t-k)^j$ about a real center $k$. In this paper, we obtain the following four main results.
(i) We give exact formulas for these coefficients in terms of the ordinary Ehrhart coefficients, the $h^*$-vector, elementary symmetric functions, and Stirling numbers.
(ii) We denote by $τ(P)$ and $τ^+(P)$ the smallest nonnegative integral centers at which all Taylor coefficients are nonnegative and positive, respectively. If $s$ is the degree of the $h^*$-polynomial, then $0\leqτ(P)\leqτ^+(P)\leq\min\{\max\{0,s-1\},\lfloor\frac{d-1}{2}\rfloor\}$. As an application, we slightly improve an upper bound due to Beck, De Loera, Develin, Pfeifle, and Stanley. That is, every real root of $L_P(t)$ lies in $[-d,\lfloor\frac{d-1}{2}\rfloor)$.
(iii) Let $ρ(P)$ be the smallest nonnegative real center such that the Taylor coefficients are nonnegative. If $λ_{\mathbb{R}}(f)$ denotes the largest real zero of $f(t)$, with value $-\infty$ when no such zero exists, then $ρ(P)=\max\{0,\max_{0\leq j<d}λ_{\mathbb{R}}\!(L_P^{(j)})\}$.
(iv) We establish structural properties of the Taylor coefficients $\mathsf{A}_j(P;k)$, including derivative interlacing, palindromic reflection symmetries, and Laguerre and Newton inequalities.
As a final note, these results provide a systematic partial answer to an open problem listed on the website of the American Institute of Mathematics.
Ideal Gårding polynomials
We introduce ideal Gårding polynomials, a convexity-enhanced subclass of Gårding polynomials whose Gårding components are recursively convex under partial differentiation. This class strictly contains real stable polynomials and, after translation and homogenization, lies in the Lorentzian class.
Our main result is that ideal Gårding polynomials still admit a robust structure theory despite this additional convexity: they are preserved under polarization, satisfy natural closure properties, and support a linear preserver theory. A key contribution of this paper is a universal model for univariate Gårding polynomials, described by monotone root sequences and equivalently by volume polynomials of Pitman--Stanley polytopes. We establish quotient concavity, and Newton--Maclaurin type inequalities, which leads to the polarization theorem, and suggests further connections with convex geometry and Lorentzian polynomials.
Non-convex polytopes realizing kissing contact graphs in dimensions 5-7
Each of the 12 known conjecturally optimal kissing configurations in dimensions 5, 6, and 7 carries a contact-graph polytope: a polytope whose vertices are the configuration points and whose edges are exactly its contacts. Eight of these polytopes are non-convex and distinct from their convex hulls, which include longer edges. Each polytope is radial about the sphere's center: its boundary meets every ray from the center exactly once. It is the unique radial polytope with those vertices and edges. Seven of the nine non-lattice configurations carry polytopes constructed from the lattice contact polytope in the same dimension by splitting some facets and reassembling the pieces. This split-and-reassemble construction describes the configurations by facets rather than by layers. The fold angles of the reassembled facets explain the inner products $1/(10-n)$, giving $1/5$, $1/4$, and $1/3$ in dimensions 5, 6, and 7, respectively. The contact graphs of all 12 configurations are infinitesimally rigid. We also prove that $Q_5$ and $R_5$ are infinitesimally jammed, extending the 10 previously established cases to all 12 configurations. All mathematical computations use exact arithmetic.
Arithmetic Circuits and Neural Networks for Regular Matroids
Published
• View Publication
• BIB
We prove that there exist uniform $(+,\times,/)$-circuits of size $O(n^3)$ to compute the basis generating polynomial of regular matroids on $n$ elements. By tropicalization, this implies that there exist uniform $(\max,+,-)$-circuits and ReLU neural networks of the same size for weighted basis maximization of regular matroids. As a consequence in linear programming theory, we obtain a first example where taking the difference of two extended formulations can be more efficient than the best known individual extended formulation for the base polytope of regular matroids of size $O(n^6)$ by Aprile and Fiorini. Such differences have recently been introduced as virtual extended formulations. The proof of our main result relies on a fine-tuned version of Seymour's decomposition of regular matroids which allows us to identify and maintain graphic substructures to which we can apply a local version of the star-mesh transformation.
Crossing numbers of simplicial complexes
This paper studies crossing numbers of $d$-dimensional simplicial complexes drawn in $\mathbb R^{2d}$ or $\mathbb S^{2d}$. We clarify and generalize a number of known results and conjectures from the graph case to higher dimensions: the crossing lemma (including the exceptional case of two-dimensional complexes drawn in dimension $4$), a generalized Harary-Hill conjecture (and evidence for it), existence of a midrange crossing constant (in a weak sense), and upper bound constructions based on stochastic geometry (related to Sylvester's problem) and the cyclic polytope. Some of our results are new even in the case of graphs: we give a simple proof of the Harary-Hill conjecture for antipodal drawings, and sharpen the threshold above which the rectilinear and spherical crossing numbers of the Erdős-Rényi random graph behave like those of the complete graph.
Proofs and disproofs of some conjectures on zero-sum problems of new types
For integers $r\ge1$ and $n\ge2$, let $s_r(n)$ be the least $N$ such that every sequence of $N$ vectors in $\Z^r$, each nonzero modulo $n$, contains $n$ terms whose sum is zero modulo $n$ but nonzero modulo $n^2$. Let $w_r(n)$ be the corresponding least $N$ when any nonempty subsequence is allowed. These constants were introduced as zero-sum problems of new types by Z.-W. Sun. We prove $s_r(n)\ge(2^{r+1}-2)(n-1)+1$ by constructing an explicit sequence from a lattice polytope, \emph{disproving} his conjecture $s_2(n)=4n+1$ for $n\ge4$. We obtain $w_r(2)=2r+1$ by classifying all sequences avoiding such nonempty subsequences modulo $4$. We also \emph{prove} Sun's conjecture $w_2(n)=4n-3$ for $n=2^k3^\ell p$, where $p$ is a prime and $k,\ell\ge0$ are integers, by classifying the extremal sequences of length $4p-4$ modulo $p^2$ when $n=p$. For every fixed $n\ge2$, we prove $w_r(n)/s(\Z_n^r)=O_n(r^2/2^r)\to0$ as $r\to\infty$, where $s(\Z_n^r)$ is the classical Erdős-Ginzburg-Ziv constant, with an explicit threshold on $r$ for strict inequality. Thus, for every fixed modulus $n\ge2$, Sun's proposed equality fails for sufficiently large $r$.
Stability of plethysm coefficients and modified polynomial induction
Let $h_n$ denote the complete homogeneous symmetric function of degree $n$, $s_ν$ the Schur function indexed by a partition $ν$, and $\langle\cdot,\cdot\rangle$ the Hall inner product. The plethysm coefficient $\langle h_n[h_m], s_ν\rangle$ is the multiplicity of the Weyl module $W_ν(\mathbb{C}^N)$ in $\mathrm{Sym}^n(\mathrm{Sym}^m(\mathbb{C}^N))$ whenever $ν$ has at most $N$ parts. For a partition $λ$, let $λ[mn]=(mn-|λ|,λ_1,λ_2,\dots)$. Bowman and Paget proved that $\langle h_n[h_m], s_{λ[mn]}\rangle$ is independent of $m$ and $n$ once $m,n\ge|λ|$.
We prove that this coefficient is already constant for $m\geλ_1$ and $n\ge\lfloor(|λ|+λ_1)/2\rfloor$, and that its stable value equals $\langle s_λ, H[H-1-h_1]\rangle$, where $H=\sum_{i\ge0}h_i$; the proof uses the skewing operators adjoint to multiplication by complete homogeneous symmetric functions. We give a short new proof of the Bowman-Paget theorem based on stability of vector-partition functions, which count the ways of writing a vector of non-negative integers as an unordered sum of non-zero such vectors (its parts). Using a Vandermonde-type determinantal identity, we deduce that the stable value is a signed sum of numbers of vector partitions all of whose parts have entries summing to at least 2. The same method gives a short proof of Brion's stability theorem. We show that the stable value equals the multiplicity of $W_λ(\mathbb{C}^k)$, where $k=\lfloor|λ|/2\rfloor$, in an explicit representation of $GL_k(\mathbb{C})$ independent of $m$ and $n$, obtained by modifying the polynomial induction of Narayanan, Paul, Prasad and Srivastava. Finally, we prove an explicit positive formula for the stable value, which counts the number of lattice points in a polytope, when $λ_1\le 4$.
A combinatorial proof of the Chan--Robbins--Yuen volume formula
The Chan--Robbins--Yuen polytope $\mathrm{CRY}_{m+1}$ has normalized volume $\prod_{j=1}^{m-1}C_j$, a product of Catalan numbers. Zeilberger proved the formula using the Morris constant-term identity; finding a combinatorial proof remained an open problem. We give such a proof by counting nonnegative integer flows. We add an extra edge from each vertex to a common sink and count flows according to how many of these edges carry positive flow. A double count proves a special case of a recurrence of Morales and Shi and gives these counts in terms of Narayana numbers. Deleting the first vertex then yields the Catalan product. We also give an explicit bijection for the recurrence and prove the corresponding reduction formula posed by Postnikov.
The equivariant Ehrhart theory of polytopes with order-two symmetries: Part II
We give two counterexamples to Stapledon's Effectiveness Conjecture. Each counterexample is a $6$-dimensional lattice polytope with an order-two symmetry whose equivariant $H^*$-series $φ[t]$ is a polynomial with one coefficient that is not effective. For polytopes with a symmetry of order two, the goal of this paper is to build up a picture of the landscape of results for when the Effectiveness Conjecture holds. Our main result is a criterion, in terms of the faces of $P$, that determines when the Ehrhart ring of $P$ admits an invariant linear system of parameters of the correct representation type. We use these results to reduce the space of possible counterexamples to one of two cases. A randomised computer search produced counterexamples in each case. We also give an example where the equivariant $H^*$-series is effective but admits no invariant linear system of parameters, neither for $P$ nor any invariant subdivision of it, answering a question of Stapledon in the case of groups of order two.
Lattice Bruhat intervals are polytopal
For a Bruhat interval $[x,y]$ in an arbitrary Coxeter group which is a lattice, we give a type-uniform construction of a convex polytope whose complete face lattice realizes $[x,y]$. This gives a polytopal realization of the coincidence between classical Kazhdan--Lusztig polynomials for lattice Bruhat intervals and Stanley's toric $g$-polynomials. Consequently, the Kazhdan--Lusztig polynomial of a lattice Bruhat interval cannot have internal zeros, satisfies a multiplicative strengthening of monotonicity, and obeys the generalized upper bound theorem for polytopes. For lattice Bruhat intervals in finite Weyl groups, we explain the relation with the toric geometry of Richardson varieties and derive formulas for their local and global intersection cohomology, as well as a Boolean criterion for rational smoothness. We conjecture that the coefficients of these Kazhdan--Lusztig polynomials form an $M$-sequence.
Inscribed 4-polytopes of maximal volume with seven and eight vertices
We prove, with sum-of-squares certificates checked in exact arithmetic, that every cyclic $4$-polytope with seven vertices inscribed in $\mathbb{S}^{3}$ has volume at most $2/5$. Hence no $4$-polytope of maximal volume with seven vertices inscribed in $\mathbb{S}^{3}$ is cyclic, answering a question of Horváth and Lángi for $d = 4$, and with their theorem the maximal volume is $\sqrt{3}/4$. With eight vertices, the same method bounds the volume of every simplicial type other than the cross-polytope by $13/20$, so the regular cross-polytope, of volume $2/3$, is up to orthogonal transformations the unique maximiser.
Integer decomposition property of three-dimensional smooth polytopes: a shorter proof
Oda's smoothness conjecture asserts that every smooth lattice polytope has the integer decomposition property. The three-dimensional case of this conjecture was recently proven by AI. Here we give a much shorter proof of this result.
Pushed colorful polytopal KKMS Theorem and orthogonal star transversals
A classical theorem of Kaiser and Rabinovich implies that if every subfamily of size at most $\lfloor\log_2(d+1)\rfloor+1$ of a finite family of compact connected sets in $\mathbb{R}^d$ has a common axis-parallel hyperplane transversal, then the entire family has an orthogonal star transversal, i.e., a union of $d$ hyperplanes, one perpendicular to each coordinate axis. We study colorful variants of this result.
First, we use standard KKM machinery to establish a colorful analogue with $d+1$ color classes and a $\lfloor\log_2(d+1)\rfloor+1$ transversal hypothesis for rainbow subfamiles. Then we focus on reducing the required number of colors. To this end, we introduce the rainbow pushability $π_r(P)$ of a polytope and we use it to state and prove few-color variants of the colorful Carathéodory theorem and the colorful polytopal KKMS theorem. Applying the latter to the $d$-dimensional cube, we show that $\lfloor\log_2 d\rfloor+2$ color classes suffice for our transversal problem, provided that every rainbow choice has a common axis-parallel hyperplane transversal. We also extend both colorful results to the setting of convex $(n,D)$-bodies and we show that three colors are needed for $d\geq 2$.
A refinement of the edge theorem for order and chain polytopes
For a finite poset, we partition the edges of the order polytope and of the chain polytope into classes indexed by the connected convex subsets of the poset, and we establish that corresponding classes have the same cardinality. This yields a closed formula for the common number of edges, and it identifies the bijection of Hibi, Li, Sahara and Shikama, given by them through an explicit formula, as a disjoint union of simple bijections between corresponding classes, which explains why it is a bijection and how it acts on edge directions and lengths. As consequences, the two polytopes have equally many edge directions, with matching multiplicities; the chain polytope has at least as many edges parallel to each coordinate subspace as the order polytope; and the edge lengths of the chain polytope are dominated by those of the order polytope. Strict inequality occurs in the last two comparisons exactly when the poset contains a three-element chain. We discuss implications for linear and convex combinatorial optimization over ideals and antichains. We also express the number of edges in terms of the comparability graph, in a form that extends to stable-set polytopes of arbitrary graphs, give a recursion for series-parallel posets and closed formulas for layered, zigzag and crown posets, characterize the distributive lattices for which the two polytopes are unimodularly equivalent, and demonstrate that, although the two polytopes have the same number of edges, either one can have the larger diameter, by an arbitrary amount; on the other hand, both diameters are bounded by the width of the poset, and they coincide for ordinal sums, series-parallel posets, and zigzag and crown posets.
(Approximate) Symmetric Extension Complexity of the Spanning Tree Polytope
We prove a tight lower bound on symmetric LP formulations for the spanning tree polytope of the complete graph. More precisely, let $P_{ST}(K_n)$ be the spanning tree polytope of $K_n$. We show that, for all $n\ge13$, every symmetric extended formulation for $P_{ST}(K_n)$ has at least $\binom n3$ inequalities. Since the classical Martin formulation has a symmetric formulation of size $O(n^3)$, this gives \[
\operatorname{xcs}(P_{ST}(K_n))=Θ(n^3). \] We also study outer relaxations of the spanning tree polytope of $K_n$ for maximization with nonnegative edge weights. We show that for every fixed approximation factor below $3/2$, symmetric LP formulations still require $Θ(n^3)$ inequalities for all sufficiently large $n$, whereas factor $3/2$ admits a formulation of size $O(n^2)$. Moreover, we provide an exact symmetric SDP formulation of size $O(n^2)$, measured by PSD matrix order, which implies $\operatorname{xc}_{\mathrm{psd}}(P_{ST}(K_n))= Θ(n^2)$. Thus symmetric LP and SDP sizes already differ for exact formulations, and for every fixed approximation factor $1\leβ<3/2$ for all sufficiently large $n$.
Realizing resolutions of powers of extremal ideals
Extremal ideals are a class of square-free monomial ideals which dominate and determine many algebraic invariants of powers of all square-free monomial ideals. For example, the $r^{th}$ power ${\mathcal{E}_q}^r$ of the extremal ideal on $q$ generators has the maximum Betti numbers among the $r^{th}$ power of any square-free monomial ideal with $q$ generators. In this paper we study the combinatorial and geometric structure of the (minimal) free resolutions of powers of square-free monomial ideals via the resolutions of powers of extremal ideals. Although the end results are algebraic, this problem has a natural interpretation in terms of polytopes and discrete geometry. Our guiding conjecture is that all powers ${\mathcal{E}_q}^r$ of extremal ideals have resolutions supported on their Scarf simplicial complexes, and thus their resolutions are as small as possible. This conjecture is known to hold for $r \leq 2$ or $q \leq 4$. In this paper we prove the conjecture holds for $r=3$ and any $q\geq 1$ by giving a complete description of the Scarf complex of ${\mathcal{E}_q}^3$. This effectively gives us a sharp bound on the betti numbers and projective dimension of the third power of any square-free momomial ideal. For large $i$ and $q$, our bounds on the $i^{th}$ betti numbers are an exponential improvement over previously known bounds. We also describe a large number of faces of the Scarf complex of ${\mathcal{E}_q}^r$ for any $r,q \geq 1$.