polytope ↗ reference
3112 papers tagged with this keyword
Toric Codes from Order Polytopes
Published
• View Publication
• BIB
In this article we investigate a class of linear error correcting codes in relation with the order polytopes. In particular we consider the order polytopes of tree posets and bipartite posets. We calculate the parameters of the associated toric variety codes.
Combinatorial Differential Algebra of $x^p$
Published in Journal of Symbolic Computation, 114:193-208, 2023
• View Publication
• BIB
We link $n$-jets of the affine monomial scheme defined by $x^p$ to the stable set polytope of some perfect graph. We prove that, as $p$ varies, the dimension of the coordinate ring of a certain subscheme of the scheme of $n$-jets as a $\mathbb{C}$-vector space is a polynomial of degree $n+1$, namely the Ehrhart polynomial of the stable set polytope of that graph. One main ingredient for our proof is a result of Zobnin who determined a differential Gröbner basis of the differential ideal generated by $x^p$. We generalize Zobnin's result to the bivariate case. We study $(m,n)$-jets, a higher-dimensional analog of jets, and relate them to regular unimodular triangulations.
Monotone Paths on Cross-Polytopes
Published
• View Publication
• BIB
In the early 1990's, Billera and Sturmfels introduced the monotone path polytope (MPP), a special case of the general theory of fiber polytopes that associates a polytope to a pair $(P,\varphi)$ of a polytope $P$ and linear functional $\varphi$. In that same paper, they showed that MPPs of simplices and hyper-cubes are combinatorial cubes and permutahedra respectively. Their work has lead to many developments in combinatorics. Here we investigate the monotone paths for generic orientations of cross-polytopes. We show the face lattice of its MPP is isomorphic to the lattice of intervals in the sign poset from oriented matroid theory. We look at its $f$-vector, its realizations, and facets.
Cluster Duality for Lagrangian and Orthogonal Grassmannians
Published
• View Publication
• BIB
In [RW19] Rietsch and Williams relate cluster structures and mirror symmetry for type A Grassmannians Gr(k, n), and use this interaction to construct Newton-Okounkov bodies and associated toric degenerations. In this article we define a cluster seed for the Lagrangian Grassmannian, and prove that the associated Newton-Okounkov body agrees up to unimodular equivalence with a polytope obtained from the superpotential defined by Pech and Rietsch on the mirror Orthogonal Grassmannian in [PR13].
A Spectral Approach to Polytope Diameter
Published
• View Publication
• BIB
We prove upper bounds on the graph diameters of polytopes in two settings. The first is a worst-case bound for polytopes defined by integer constraints in terms of the height of the integers and certain subdeterminants of the constraint matrix, which in some cases improves previously known results. The second is a smoothed analysis bound: given an appropriately normalized polytope, we add small Gaussian noise to each constraint. We consider a natural geometric measure on the vertices of the perturbed polytope (corresponding to the mean curvature measure of its polar) and show that with high probability there exists a "giant component" of vertices, with measure $1-o(1)$ and polynomial diameter. Both bounds rely on spectral gaps -- of a certain Schrödinger operator in the first case, and a certain continuous time Markov chain in the second -- which arise from the log-concavity of the volume of a simple polytope in terms of its slack variables.
A unifying framework for the $ν$-Tamari lattice and principal order ideals in Young's lattice
Published
• View Publication
• BIB
We present a unifying framework in which both the $ν$-Tamari lattice, introduced by Préville-Ratelle and Viennot, and principal order ideals in Young's lattice indexed by lattice paths $ν$, are realized as the dual graphs of two combinatorially striking triangulations of a family of flow polytopes which we call the $ν$-caracol flow polytopes. The first triangulation gives a new geometric realization of the $ν$-Tamari complex introduced by Ceballos, Padrol and Sarmiento. We use the second triangulation to show that the $h^*$-vector of the $ν$-caracol flow polytope is given by the $ν$-Narayana numbers, extending a result of Mészáros when $ν$ is a staircase lattice path. Our work generalizes and unifies results on the dual structure of two subdivisions of a polytope studied by Pitman and Stanley.
Ehrhart-Equivalence, Equidecomposability, and Unimodular Equivalence of Integral Polytopes
Ehrhart polynomials are extensively-studied structures that interpolate the discrete volume of the dilations of integral $n$-polytopes. The coefficients of Ehrhart polynomials, however, are still not fully understood, and it is not known when two polytopes have equivalent Ehrhart polynomials. In this paper, we establish a relationship between Ehrhart-equivalence and other forms of equivalence: the $\operatorname{GL}_n(\mathbb{Z})$-equidecomposability and unimodular equivalence of two integral $n$-polytopes in $\mathbb{R}^n$. We conjecture that any two Ehrhart-equivalent integral $n$-polytopes $P,Q\subset\mathbb{R}^n$ are $\operatorname{GL}_n(\mathbb{Z})$-equidecomposable into $\frac{1}{(n-1)!}$-th unimodular simplices, thereby generalizing the known cases of $n=1, 2, 3$. We also create an algorithm to check for unimodular equivalence of any two integral $n$-simplices in $\mathbb{R}^n$. We then find and prove a new one-to-one correspondence between unimodular equivalence of integral $2$-simplices and the unimodular equivalence of their $n$-dimensional pyramids. Finally, we prove the existence of integral $n$-simplices in $\mathbb{R}^n$ that are not unimodularly equivalent for all $n \ge 2$.
Positive spectrahedra: Invariance principles and Pseudorandom generators
Published
• View Publication
• BIB
In a recent work, O'Donnell, Servedio and Tan (STOC 2019) gave explicit pseudorandom generators (PRGs) for arbitrary $m$-facet polytopes in $n$ variables with seed length poly-logarithmic in $m,n$, concluding a sequence of works in the last decade, that was started by Diakonikolas, Gopalan, Jaiswal, Servedio, Viola (SICOMP 2010) and Meka, Zuckerman (SICOMP 2013) for fooling linear and polynomial threshold functions, respectively. In this work, we consider a natural extension of PRGs for intersections of positive spectrahedrons. A positive spectrahedron is a Boolean function $f(x)=[x_1A^1+\cdots +x_nA^n \preceq B]$ where the $A^i$s are $k\times k$ positive semidefinite matrices. We construct explicit PRGs that $δ$-fool "regular" width-$M$ positive spectrahedrons (i.e., when none of the $A^i$s are dominant) over the Boolean space with seed length $\textsf{poly}(\log k,\log n, M, 1/δ)$.
Our main technical contributions are the following: We first prove an invariance principle for positive spectrahedra via the well-known Lindeberg method. As far as we are aware such a generalization of the Lindeberg method was unknown. Second, we prove an upper bound on noise sensitivity and a Littlewood-Offord theorem for positive spectrahedra. Using these results, we give applications for constructing PRGs for positive spectrahedra, learning theory, discrepancy sets for positive spectrahedra (over the Boolean cube) and PRGs for intersections of structured polynomial threshold functions.
An algebraic construction of sum-integral interpolators
Published
• View Publication
• BIB
This paper presents an algebraic construction of Euler-Maclaurin formulas for polytopes. The formulas obtained generalize and unite the previous lattice point formulas of Morelli and Pommersheim-Thomas, and the Euler-Maclaurin formulas of Berline-Vergne While the approach of this paper originates in the theory of toric varieties, and recovers previous results about characteristic classes of toric varieties, the present paper is self-contained and does not rely on results from toric geometry. We aim in particular to exhibit in a combinatorial way ingredients such as such Todd classes and cycle-level intersections in Chow rings, that first entered the theory of polytopes from algebraic geometry.
Sign-restricted matrices of $0$'s, $1$'s, and $-1$'s
Published
• View Publication
• BIB
We study {\em sign-restricted matrices} (SRMs), a class of rectangular $(0, \pm 1)$-matrices generalizing the alternating sign matrices (ASMs). In an SRM each partial column sum, starting from row 1, equals 0 or 1, and each partial row sum, starting from column 1, is nonnegative. We determine the maximum number of nonzeros in SRMs and characterize the possible row and column sum vectors. Moreover, a number of results on interchange operations are shown, both for SRMs and, more generally, for $(0, \pm 1)$-matrices. The Bruhat order on ASMs can be extended to SRMs with the result a distributive lattice. Also, we study polytopes associated with SRMs and some relates decompositions.
Weighted theta functions for non-commutative graphs
Grötschel, Lovász, and Schrijver generalized the Lovász $\vartheta$ function by allowing a weight for each vertex. We provide a similar generalization of Duan, Severini, and Winter's $\tilde{\vartheta}$ on non-commutative graphs. While the classical theory involves a weight vector assigning a non-negative weight to each vertex, the non-commutative theory uses a positive semidefinite weight matrix. The classical theory is recovered in the case of diagonal weight matrices.
Most of Grötschel, Lovász, and Schrijver's results generalize to non-commutative graphs. In particular, we generalize the inequality $\vartheta(G, w) \vartheta(\overline{G}, x) \ge \langle w, x \rangle$ with some modification needed due to non-commutative graphs having a richer notion of complementation. Similar to the classical case, facets of the theta body correspond to cliques and if the theta body anti-blocker is finitely generated then it is equal to the non-commutative generalization of the clique polytope.
We propose two definitions for non-commutative perfect graphs, equivalent for classical graphs but inequivalent for non-commutative graphs.
Voronoi tilings, toric arrangements and degenerations of line bundles I
We describe limits of line bundles on nodal curves in terms of toric arrangements associated to Voronoi tilings of Euclidean spaces. These tilings encode information on the relationship between the possibly infinitely many limits, and ultimately give rise to a new definition of limit linear series. This paper and its second and third companion parts are the first in a series aimed to explore this new approach.
In the present article, we set up the combinatorial framework and show how graphs with integer lengths associated to the edges provide tilings of Euclidean spaces by certain polytopes associated to the graph itself and to certain of its subgraphs. We further provide a description of the combinatorial structure of these polytopes and the way they are glued together in the tiling.
In the second part of the series, we describe the arrangements of toric varieties associated to these tilings. These results will be of use in the third part to achieve our goal of describing all stable limits of a family of line bundles along a degenerating family of curves.
Voronoi tilings, toric arrangements and degenerations of line bundles II
We describe limits of line bundles on nodal curves in terms of toric arrangements associated to Voronoi tilings of Euclidean spaces. These tilings encode information on the relationship between the possibly infinitely many limits, and ultimately give rise to a new definition of limit linear series. This article and its first and third part companion parts are the first in a series aimed to explore this new approach.
In the first part, we set up the combinatorial framework and showed how graphs weighted with integer lengths associated to the edges provide tilings of Euclidean spaces by polytopes associated to the graph itself and to its subgraphs.
In this part, we describe the arrangements of toric varieties associated to these tilings. Roughly speaking, the normal fan to each polytope in the tiling corresponds to a toric variety, and these toric varieties are glued together in an arrangement according to how the polytopes meet. We provide a thorough description of these toric arrangements from different perspectives: by using normal fans, as unions of torus orbits, by describing the (infinitely many) polynomial equations defining them in products of doubly infinite chains of projective lines, and as degenerations of algebraic tori.
These results will be of use in the third part to achieve our goal of describing all stable limits of a family of line bundles along a degenerating family of curves.
A complete characterization of $(f_0, f_1)$-pairs of 6-polytopes
We completely characterize the first two entries, namely the $(f_0, f_1)$-vector pairs, for $6$-dimension polytopes. We also find the characterization for $7$-dimension polytopes with excess degree greater than $11$ and, we conjecture bounds fulfilled by $(f_0, f_1)$-vector pairs for any $d$-polytope having an excess degree greater than $3d-10$.
Symmetric and Kähler--Einstein Fano polygons
Published
• View Publication
• BIB
We investigate \emph{singular} symmetric and Kähler--Einstein Fano polytopes. More precisely, we show that every symmetric Fano polytope is Kähler--Einstein generalizing the work by Batyrev and Selivanova, and study the automorphism groups of symmetric and Kähler--Einstein Fano polygons in detail. In particular, every finte subgroup of $GL_2(\mathbb{Z})$ is an automorphism group of a Kähler--Einstein Fano polygon.
On Barycentric transformations of Fano polytopes
We introduce the notion of barycentric transformation of Fano polytopes, from which we can assign a certain type to each Fano polytope. The type can be viewed as a measure of the extent to which the given Fano polytope is close to be Kähler-Einstein. In particular, we expect that every Kähler-Einstein or symmetric Fano polytope is of type $B_\infty$. We verify this expectation for some low dimensional cases. We emphasize that for a Fano polytope $X$ of dimension $1$, $3$ or $5$, $X$ is Kähler-Einstein if and only if it is of type $B_\infty$.
A Plethora of Polynomials: A Toolbox for Counting Problems
Published
• View Publication
• BIB
A wide variety of problems in combinatorics and discrete optimization depend on counting the set $S$ of integer points in a polytope, or in some more general object constructed via discrete geometry and first-order logic. We take a tour through numerous problems of this type. In particular, we consider families of such sets $S_t$ depending on one or more integer parameters $t$, and analyze the behavior of the function $f(t)=|S_t|$. In the examples that we investigate, this function exhibits surprising polynomial-like behavior. We end with two broad theorems detailing settings where this polynomial-like behavior must hold. The plethora of examples illustrates the framework in which this behavior occurs and also gives an intuition for many of the proofs, helping us create a toolbox for counting problems like these.
Normal polytopes and ellipsoids
Published
• View Publication
• BIB
We show that: (1) unimodular simplices in a lattice 3-polytope cover a neighborhood of the boundary of the polytope if and only if the polytope is very ample, (2) the convex hull of lattice points in every ellipsoid in R^3 has a unimodular cover, and (3) for every d at least 5, there are ellipsoids in R^d, such that the convex hulls of the lattice points in these ellipsoids are not even normal. Part (3) answers a question of Bruns, Michalek, and the author.
The Circlet Inequalities: A New, Circulant-Based Facet-Defining Inequality for the TSP
Published
• View Publication
• BIB
Facet-defining inequalities of the symmetric Traveling Salesman Problem (TSP) polytope play a prominent role in both polyhedral TSP research and state-of-the-art TSP solvers. In this paper, we introduce a new class of facet-defining inequalities, the \emph{circlet inequalities}. These inequalities were first conjectured in Gutekunst and Williamson \cite{Gut19b} when studying Circulant TSP, and they provide a bridge between polyhedral TSP research and number-theoretic investigations of Hamiltonian cycles stemming from a conjecture due to Marco Buratti in 2017. The circlet inequalities exhibit circulant symmetry by placing the same weight on all edges of a given length; our main proof exploits this symmetry to prove the validity of the circlet inequalities. We then show that the circlet inequalities are facet-defining and compute their strength following Goemans \cite{Goe95b}; they achieve the same worst-case strength as the similarly circulant crown inequalities of Naddef and Rinaldi \cite{Nad92}, but are generally stronger.
Partial permutation and alternating sign matrix polytopes
Published
• View Publication
• BIB
We define and study a new family of polytopes which are formed as convex hulls of partial alternating sign matrices. We determine the inequality descriptions, number of facets, and face lattices of these polytopes. We also study partial permutohedra that we show arise naturally as projections of these polytopes. We enumerate facets and also characterize the face lattices of partial permutohedra in terms of chains in the Boolean lattice. Finally, we have a result and a conjecture on the volume of partial permutohedra when one parameter is fixed to be two.