polytope ↗ reference
3077 papers tagged with this keyword
Enumerating integer points in polytopes with bounded subdeterminants
Published
• View Publication
• BIB
We show that one can enumerate the vertices of the convex hull of integer points in polytopes whose constraint matrices have bounded and nonzero subdeterminants, in time polynomial in the dimension and encoding size of the polytope. This extends a previous result by Artmann et al. who showed that integer linear optimization in such polytopes can be done in polynomial time.
Higher algebra of $A_\infty$ and $ΩB As$-algebras in Morse theory II
This paper introduces the notion of $n$-morphisms between two $A_\infty$-algebras, such that 0-morphisms correspond to standard $A_\infty$-morphisms and 1-morphisms correspond to $A_\infty$-homotopies between $A_\infty$-morphisms. The set of higher morphisms between two $A_\infty$-algebras then defines a simplicial set which has the property of being an algebraic $\infty$-category. The operadic structure of $n-A_\infty$-morphisms is also encoded by new families of polytopes, which we call the $n$-multiplihedra and which generalize the standard multiplihedra. These are constructed from the standard simplices and multiplihedra by lifting the Alexander-Whitney map to the level of simplices. Rich combinatorics arise in this context, as conveniently described in terms of overlapping partitions. Shifting from the $A_\infty$ to the $ΩB As$ framework, we define the analogous notion of $n$-morphisms between $ΩB As$-algebras, which are again encoded by the $n$-multiplihedra, endowed with a refined cell decomposition by stable gauged ribbon tree type. We then realize this higher algebra of $A_\infty$ and $ΩB As$-algebras in Morse theory. Given two Morse functions $f$ and $g$, we construct $n-ΩB As$-morphisms between their respective Morse cochain complexes endowed with their $ΩB As$-algebra structures, by counting perturbed Morse gradient trees associated to an admissible simplex of perturbation data. We moreover show that the simplicial set consisting of higher morphisms defined by a count of perturbed Morse gradient trees is a contractible Kan complex.
Higher algebra of $A_\infty$ and $ΩB As$-algebras in Morse theory I
Published
• View Publication
• BIB
Elaborating on works by Abouzaid and Mescher, we prove that for a Morse function on a smooth compact manifold, its Morse cochain complex can be endowed with an $ΩB As$-algebra structure by counting moduli spaces of perturbed Morse gradient trees. This rich structure descends to its already known $A_\infty$-algebra structure. We then introduce the notion of $ΩB As$-morphism between two $ΩB As$-algebras and prove that given two Morse functions, one can construct an $ΩB As$-morphism between their associated $ΩB As$-algebras by counting moduli spaces of two-colored perturbed Morse gradient trees. This morphism induces a standard $A_\infty$-morphism between the induced $A_\infty$-algebras. We work with integer coefficients, and provide to this extent a detailed account on the sign conventions for $A_\infty$ (resp. $ΩB As$)-algebras and $A_\infty$ (resp. $ΩB As$)-morphisms, using polytopes (resp. moduli spaces) which explicitly realize the dg-operadic objects encoding them. Our proofs also involve showing at the level of polytopes that an $ΩB As$-morphism between $ΩB As$-algebras naturally induces an $A_\infty$-morphism between $A_\infty$-algebras. This paper comes in particular with a short survey on operads, $A_\infty$-algebras and $A_\infty$-morphisms, the associahedra and the multiplihedra. All the details on transversality, gluing maps, signs and orientations for the moduli spaces defining the algebraic structures on the Morse cochains are thorougly carried out. It moreover lays the basis for a second article in which we solve the problem of finding a satisfactory homotopic notion of higher morphisms between $A_\infty$-algebras and between $ΩB As$-algebras, and show how this higher algebra of $A_\infty$ and $ΩB As$-algebras naturally arises in the context of Morse theory.
Refinements and Symmetries of the Morris identity for volumes of flow polytopes
Published in Comptes Rendus. Mathématique, Volume 359 (2021) no. 7, pp. 823-851
• View Publication
• BIB
Flow polytopes are an important class of polytopes in combinatorics whose lattice points and volumes have interesting properties and relations. The Chan-Robbins-Yuen (CRY) polytope is a flow polytope with normalized volume equal to the product of consecutive Catalan numbers. Zeilberger proved this by evaluating the Morris constant term identity, but no combinatorial proof is known. There is a refinement of this formula that splits the largest Catalan number into Narayana numbers, which Mészáros gave an interpretation as the volume of a collection of flow polytopes. We introduce a new refinement of the Morris identity with combinatorial interpretations both in terms of lattice points and volumes of flow polytopes. Our results generalize Mészáros's construction and a recent flow polytope interpretation of the Morris identity by Corteel-Kim-Mészáros. We prove the product formula of our refinement following the strategy of the Baldoni-Vergne proof of the Morris identity. Lastly, we study a symmetry of the Morris identity bijectively using the Danilov-Karzanov-Koshevoy triangulation of flow polytopes and a bijection of Mészáros-Morales-Striker.
Sweeps, polytopes, oriented matroids, and allowable graphs of permutations
Published in Combinatorica (2023)
• View Publication
• BIB
A sweep of a point configuration is any ordered partition induced by a linear functional. Posets of sweeps of planar point configurations were formalized and abstracted by Goodman and Pollack under the theory of allowable sequences of permutations. We introduce two generalizations that model posets of sweeps of higher dimensional configurations.
Mimicking the fact that sweep polytopes of point configurations (the monotone path polytopes of the associated zonotopes) are projections of permutahedra, we define sweep oriented matroids as strong maps of the braid oriented matroid. Allowable sequences are then the sweep oriented matroids of rank 2, and many of their properties extend to higher rank. We show strong ties between sweep oriented matroids and both modular hyperplanes and Dilworth truncations from (unoriented) matroid theory. We also explore their connection with the generalized Baues problem for cellular strings, where sweep oriented matroids can play the role of monotone path polytopes, even for non-realizable oriented matroids. In particular, we show that for oriented matroids that admit a sweep oriented matroid, their poset of pseudo-sweeps deformation retracts to a sphere of the appropriate dimension.
A second generalization are allowable graphs of permutations: symmetric sets of permutations pairwise connected by allowable sequences. They have the structure of acycloids and include sweep oriented matroids.
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.