polytope ↗ reference
3076 papers tagged with this keyword
Combinatorial slicing problems of polytopes: How (not) to reconstruct a polytope from its slices
We study combinatorial aspects of hyperplane sections of polytopes, focusing on how much the combinatorics of the sections determines the combinatorics of the original polytope. We show that, in general, combinatorial information about the sections is not enough to determine even the $f$-vector of the polytope. In contrast, for sufficiently generic simple polytopes, the function recording the number of vertices of each central section determines the full combinatorial type. We organize different combinatorial slicing properties into hierarchies, separately for affine and central sections, according to the level of combinatorial structure they determine on the polytope. In analogy with classical metric slicing problems, we formulate combinatorial analogues of the Busemann-Petty problem and Bourgain's slicing problem by replacing volume with face numbers, and show that they fail in every dimension and every face dimension.
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 three main results: (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)$. As a byproduct, we prove that every root of a Gamma polynomial associated with $h_n^*(y)$ is a negative real number.
Newton polytopes of fireworks Grothendieck polynomials
We show that the support of the Grothendieck polynomial $\mathfrak G_w$ of any fireworks permutation is as large as possible: a monomial appears in $\mathfrak G_w$ if and only if it divides $\mathbf x^{\mathrm{wt}(\overline{D(w)})}$ and is divisible by some monomial appearing in the Schubert polynomial $\mathfrak S_w$. Our formula implies that the homogenization of $\mathfrak G_w$ has M-convex support. We also show that for any fireworks permutation $w\in S_n$, there exists a layered permutation $π(w)\in S_n$ so that $\mathrm{supp}(\mathfrak G_{π(w)})\supseteq \mathrm{supp}(\mathfrak G_w)$.
Marvelous slices of orthogonal matrices
The space of $4 \times 4$ special orthogonal matrices with zeros on the diagonal decomposes into the union of $14$ irreducible surfaces whose intersections are beautifully encoded by the cuboctahedron. Using this decomposition, we exhibit a totally real witness set for $SO(4)$. We explain how to obtain a similar decomposition for $SO(5)$, where the $64$ components can be grouped to obtain such a correspondence with the face lattice of a $3$-polytope. We show that no such pattern exists for $SO(6)$.
The Kaleidoscopic Filter, Part I : A Structural Resolution of Restricted Integer Partitions
The integer partition function $p(n)$ has historically been constrained by recursive series and asymptotic approximations, causing severe memory bottlenecks. We present a fundamental geometric resolution for the restricted partition function $p_k(n)$ via the Stratified Simplicial Decomposition of the Ehrhart partition polytope within the affine $A_{k-1}$ Weyl group. By establishing the Rational Structure Theorem, the Simplicial Resonance Algebra, and the cross-convolution operator $\mathcal{B}_k$, we prove that evaluating $p_k(n)$ collapses to a deterministic $\mathcal{O}_k(1)$ invariant. Rigorously bounding fractional boundary defects strictly below $0.5$, we bypass explosive recursions, establishing a global closed-form evaluation via generalized Bernoulli polynomials and a nearest-integer rounding operator $\lfloor \cdot \rceil$. This framework extends to unrestricted $p(n)$ via Sylvester-Ramanujan waves and a Durfee-Ehrhart formulation. Furthermore, it unifies additive number theory: trivializing Euler's distinct-odd identity, aligning with MacMahon's $Ω$-calculus, and modeling Dyson's Rank. Crucially, we introduce Kaleidoscopic Filter Theorem: applying Weyl reflection coefficients of dimension $k$ to $p(n)$ cancels all lower-dimensional geometry, yielding exactly the number of partitions of $n$ formed exclusively by parts strictly greater than $k$. Finally, we establish the Prime Resonance Theorem, proving the collapse of Ramanujan sums to the Möbius function for prime masses. We reveal the Mock Modular genesis within the cyclotomic tail via Indefinite Theta Toric Fibrations, healing rational vertex defects via generalized Dedekind-Rademacher sums. Mapping these exact polyhedral volumes into a Toeplitz-Hessenberg matrix, we derive a novel, non-recursive geometric closed form for the prime-counting function $π(x)$.
A short polyhedral proof of the infinitesimal Stoker conjecture
The infinitesimal Stoker conjecture states that an infinitesimal deformation of a convex polytope that preserves all dihedral angles also preserves all normal directions up to isometry. We give a short polyhedral proof, self-contained up to assuming spectral and geometric properties of the Izmestiev matrix.
Degreewise Cut-Semigroup Saturation for $K_5$-Minor-Free Graphs and Seymour's Planar Edge-Colouring Conjecture
For every positive integer $k$, we prove that the homogeneous cut semigroup of every $K_5$-minor-free graph is saturated at height $k$ if and only if every planar $k$-graph is $k$-edge-colourable. Here a $k$-graph is a loopless $k$-regular multigraph in which every odd vertex cut has size at least $k$. A triangle expansion of a cubic plane dual converts cut decompositions into perfect-matching decompositions. The converse uses symmetric difference with a fixed perfect matching. The equivalence identifies the normality conjecture for $K_5$-minor-free cut polytopes with Seymour's planar edge-colouring conjecture. In particular, the known cases $k\leq 8$ give saturation through height eight.
The affine Tverberg theorem revisited
We prove the Bárány--Kalai--Tverberg conjecture extending the affine version of Tverberg's theorem to simplicial balls and polytopes other than the simplex:
For any affine map $ϕ: P\to \mathbb R^d$ from a convex polytope $P$ of dimension $N=(d+1)(r-1)$ with $r\geq 2$, there exist $r$ pairwise disjoint faces $F_1,\ldots,F_r\subset\partial P$ such that $ϕ(F_1)\cap\dots\capϕ(F_r)\neq\varnothing$. A similar statement holds for a simplicial ball $P$ with $ϕ$ assumed affine on all of its faces.
Torus actions on compactified braid varieties and polytopality of subword complexes
Every cluster variety admits an action of its cluster dilation group. We prove that, in the case of braid varieties for simple Lie groups, this action always extends to a regular action on each of the brick compactifications. We explore two applications of this result. First, we show that any closed Richardson variety admits a faithful action of a torus of rank the Kazhdan-Lusztig $d$-invariant, answering affirmatively a recent question of E. Gorsky--S. Kim--M. Sherman-Bennett. The same result holds for projected Richardson varieties. Second, we show that the braid variety is a torus if and only if for each of its brick compactifications, the polar dual of the moment polytope for this action realizes the corresponding subword complex. The braid words satisfying this property turn out to be precisely the double root free words of V. Pilaud and C. Stump. This provides a novel approach to the longstanding open question of the polytopality of spherical subword complexes asked by A. Knutson and E. Miller, and in particular gives infinite families of subword complexes admitting polytopal realizations in dimension higher than the rank of the corresponding Coxeter group. As a common consequence of these two applications, we classify all Bruhat intervals in finite crystallographic Coxeter groups which are isomorphic to face lattices of convex polytopes via certain double root free words.
Set-valued tableaux and cells of Gelfand-Zetlin polytopes
Two combinatorial rules are known for the Grassmannian Grothendieck polynomial $G^{(β)}_λ$: a sum over set-valued tableaux of shape $λ$, due to Buch, and a sum over the efficient cells of a cellular decomposition of the Gelfand-Zetlin polytope $GZ(λ)$, due to E. Presnova and the author. All coefficients in both sums equal $1$. We construct an explicit bijection between the two indexing sets which matches the summands term by term, carrying the number of excess entries of a tableau to the dimension of the corresponding cell; in particular the two rules are equivalent, either being deducible from the other. The efficiency condition on cells turns out to be the column-strictness of tableaux. We then transport Yu's square-root crystal operators to the cells and find that they respect dimension, along a double $i$-string the cells alternate between two consecutive dimensions, but not incidence: consecutive cells of such a string need not share a point, already for $λ=(2,1,0)$.
Homogeneous Milnor fibers and Kato--Matsumoto bounds via simplicial multiwedges
For every $n\geq 3$ and $s\geq 2$, we construct a homogeneous polynomial of degree $n(n+1)/2$ whose Milnor fiber is exactly $2s$-connected and whose rational cohomology contains a strictly defined nontrivial $n$-fold Massey product on classes of degree $2s+1$, implying that the Milnor fiber is non-formal, while attaining the Kato--Matsumoto connectivity bound. Our construction is based on the simplicial multiwedges of the nerve complexes of simple polytopes introduced by Limonchenko, combined with Suciu's realization of weighted homogeneous Milnor fibers. We thereby answer two problems posed by Suciu.
Preservation of log-concavity under Hadamard products
For a nonzero real polynomial $p$, let $\W(p)$ denote the numerator of its ordinary generating function. We prove that if the coefficients of both $\W(p)$ and $\W(q)$ are nonnegative and log-concave with no internal zeros, then so are the coefficients of $\W(pq)$. This provides an affirmative answer to a question of Brändén, Ferroni, and Jochemko. As applications, we derive corresponding results for finite products and for Cartesian products of lattice polytopes, answering a question of Ferroni and Higashitani.
Superpolynomial lower bounds for vertex numbers of real projective space triangulations via a topological Figiel-Lindenstrauss-Milman theorem
We prove that every simplicial triangulation of real projective $d$-space has $\exp(Ω(\sqrt d))$ vertices. Together with known constructions, this determines the minimum vertex number as $μ_d=\exp(d^{1/2+o(1)})$. The result follows from a topological generalization of the Figiel--Lindenstrauss--Milman inequality, answering a recent question of Frick, Hosseini, and Vasileuski: a finite strongly regular CW complex with a free cellular involution, $v$ vertices, and $f$ maximal cells has $\mathbb{Z}/2$-index at most $O(\log v\log f)$. We bound the dimensions of Morse cells by a trace estimate for a constrained Hessian, obtaining a Morse-theoretic proof of the classical inequality for centrally symmetric polytopes. As further applications of this inequality, we give an $\exp(Ω(\sqrt t))$ lower bound for the order of a triangle-free topologically $t$-chromatic graph and bound the index of sign complexes by $O(d\log^2 N)$ for total matrices and $O(d\log^3 N)$ for partial matrices, where $N\geq2$ is the number of columns and $d\geq1$ is the VC dimension.
Unimodality shenanigans in Ehrhart theory
We show the existence of counterexamples to a four-decade-old conjecture attributed to Stanley concerning the unimodality of $h^*$-polynomials of IDP polytopes. As additional applications of our main constructions, we also disprove a conjecture by Brenti on the log-concavity of $h^*$-polynomials of Gorenstein IDP polytopes, and a conjecture by Ferroni and Higashitani concerning the log-concavity of the Ehrhart series of IDP polytopes. We also answer their question about the existence of very ample polytopes with non-log-concave interior Ehrhart series. Our class of examples arises by taking Cayley sums of rectangular prisms, and hence they possess regular unimodular flag triangulations by a result of Haase, Paffenholz, Piechnik and Santos. For the unimodality conjecture, we can even find smooth counterexamples.
A lattice path model for the volume of the Monge polytope
Monge matrices arise throughout combinatorial optimization and algorithm design; the Monge polytope $\mathcal{M}_{pq}$ is the set of $p \times q$ Monge matrices lying inside the standard simplex on the set of matrix coordinates. We find a Stanley decomposition of the associated affine semigroup, and use it to obtain a volume formula for $\mathcal{M}_{pq}$ expressed as a sum over "Z-avoiding" Delannoy paths in a $p \times q$ grid. An efficient dynamic-programming implementation of this formula computes the volume in dimensions far beyond the reach of general-purpose exact-volume algorithms (e.g., the volume of $\mathcal{M}_{20,20}$, which has dimension 399, is computed in a fraction of a second). As a corollary of our Stanley decomposition, we also obtain a combinatorial closed form for the Ehrhart series of $\mathcal{M}_{pq}$.
Monotone Diameters of Lattice Polytopes
An influential 1989 result of Naddef shows that the diameters of $0/1$-polytopes are at most their dimension. This was extended shortly after by Kleinschmidt and Onn to any lattice polytope in $[0,k]^{d}$, where they showed a bound of at most $dk$. Naddef's argument easily extends to the monotone setting motivated by the simplex method, where one requires paths to increase with respect to a linear objective function. However, the Kleinschmidt-Onn argument does not. In fact, no argument in the 30 years since has managed to fill that gap. Prior to this work, it remained open whether the monotone diameter is bounded by a polynomial in $d$ and $k$ with no lower bounds suggesting any separation between the worst-case diameter and worst-case monotone diameter. Linear upper bounds hold for $k=1$ and $k=2$. However, we exhibit a sharp threshold for this question at $k = 3$ by constructing for each $d \geq 1$ a lattice polytope in $[0,3]^{6d}$ with monotone diameter at least $2^{d}-1$. In particular, the polynomial bound does not hold. Furthermore, we show that Naddef's result does not extend to the unbounded setting by exhibiting a family of unbounded polyhedra with $0/1$-vertices and diameter exponential in their dimension.
Tensor network representations of discrete maximum entropy distributions via mean polytopes
We present tensor network representations for discrete maximum entropy distributions under expectation constraints. To this end, we introduce Computation-Activation Networks (CompActNets), a tensor network architecture that subsumes exponential families. By leveraging the geometry of the convex polytope of realizable expectation vectors, we represent any maximum entropy distribution in the same architecture. We exploit the fact that proper faces of this polytope correspond to the boundary closure of exponential families, which restricts the distribution's support. We then derive explicit representations for the support within the CompActNet architecture. The proposed framework suggests tensor network ranks as complexity measures for faces. Finally, a case study on Boolean statistics links the geometry of 0/1-polytopes directly to propositional formulas.
A simple algorithm for computing Hamilton paths on independent set polytopes
The independent set polytope, or stable set polytope, of a graph $G$ is the 0/1-polytope defined by the convex hull of the characteristic vectors of all independent sets of $G$. We present a simple algorithm for computing a Hamilton path on the independent set polytope of a given $n$-vertex graph $G$ with amortized delay $\mathcal{O}(n)$. The independent sets are listed such that two consecutive sets differ either in removing a vertex, or adding a vertex and removing its neighbors from the independent set, i.e., the symmetric difference between two consecutive independent sets induces a star in $G$. As applications of this result, we obtain an algorithm to compute a Hamilton path on the matching polytope of an $m$-edge graph $G$ with worst-case delay $\mathcal{O}(m)$, which lists all matchings of $G$ in such a way that the symmetric difference between two consecutive matchings is a path on at most three edges. Furthermore, we obtain an algorithm to compute a Hamilton path on the chain polytope and order polytope of an $n$-element poset $P$ with amortized delay $\mathcal{O}(n)$, which lists all antichains of $P$ or all ideals of $P$, respectively, by star exchanges. Our algorithms are derived from the generic framework proposed by Merino and Mütze (FOCS'23+SICOMP'24) for computing Hamilton paths on arbitrary 0/1-polytopes, which uses a linear optimization procedure as a black box. Our algorithms bypass solving the computationally intractable maximum weight independent set problem by a simple and purely combinatorial greedy rule.
The Loopy Polynomial: from Tutte's Universal $V$-Function to Bizonotopal Geometry
We study the loopy polynomial L_G, a multivariate graph invariant arising from bizonotopal graph algebras and defined by a deletion-loopy-contraction recursion, in which the contracted edge becomes a loop. We show that L_G contains the Tutte polynomial and admits a similar spanning-forest activity expansion. It also determines Stanley's chromatic symmetric function, the degree sequence, the induced edge count profile, and the independence polynomial for loopless graphs, and the clique and matching polynomials for simple graphs. Separating the size and the external activity of each forest component leads to a refined loopy polynomial, which we show to be equivalent to the extended U-polynomial of Noble and Welsh and to the extended polychromate. Different specializations of this common refinement give the ordinary U-polynomial, Tutte's universal V-function, and Stanley's Tutte symmetric function, placing these invariants into a single framework.
We conjecture that L_G and the U-polynomial have the same distinguishing power on simple graphs, and verify this for all graphs on at most 11 vertices. Simplicity is essential: we found two loopless multigraphs with equal U-polynomials but distinct loopy polynomials. They also have distinct extended U-polynomials, so the ordinary U-polynomial does not determine the extended one on loopless multigraphs. This solves an open problem by Merino and Noble.
For the score polytope P_G of the external bizonotopal algebra, loopy deletion-contraction lifts from the lattice-point enumerator to the polytope itself. This gives forest-indexed geometric parking complexes whose lattice points partition those of P_G, and which are piecewise-linearly parametrized by products of intervals whose lengths are the component weights in the forest expansion of L_G.
Accelerating Fourier--Motzkin elimination: redundancy removal and the choice of variable elimination order
Fourier-Motzkin elimination computes an inequality description of the projection of a polyhedron onto a subset of its coordinates by eliminating one variable at a time. It is used in several areas of optimisation and computer science, and it is a standard way of obtaining the entropic constraints of a causal structure, where the marginalisation over the latent variables produces such a projection. Its limitation is the growth of the intermediate systems of inequalities, which can be doubly exponential in the number of eliminated variables even though the projection itself grows only as a single exponential. In practice the computational overload of the method therefore depends on two choices: how the redundant inequalities are removed after each step, and the order in which the variables are eliminated. We consider both. We first show, by an explicit example, that Imbert's redundancy test cannot be interleaved with redundancy removal by linear programming. We show that the two methods, however, can be combined soundly if the derivation records used by Imbert's test are re-initialised after every step at which linear programming is used. We then propose a rule for choosing the elimination order of the variables that gives a significant computational advantage, however, at the cost of increased resource usage. We demonstrate this advantage on some random polytopes, where the rule reduces the running time by factors of between 6 and 25 compared with the same elimination under a fixed order. For entropic descriptions of causal structures, with more than 250 inequalities and more than 100 variables to eliminate, our rule keeps the number of inequalities handled at each step one to two orders of magnitude lower than a fixed order.