polytope ↗ reference
3022 papers tagged with this keyword
Tropical fans supporting a reduced 0-dimensional complete intersection
An affine tropical fan is called regular if it supports a reduced 0-dimensional complete intersection. For some cases the classification of regular fans is already complete. It was proved by Fink that tropical varieties of degree 1 are exactly Bergman fans, and later Esterov and Gusev classified all lattice polytopes whose mixed volume equals 1. We introduce the notion of a gallery for tropical fans and use it to classify all one-dimensional regular fans, thereby obtaining a minimal model programme for such fans. In dimension 2 we prove a finiteness theorem: every regular fan that satisfies the given upper bound condition is precisely the support of a finite covering by two-dimensional galleries, and only finitely many such fans exist.
The canonical form, scissors congruence and adjoint degrees of polytopes
We study the canonical form $Ω$ as a valuation in the context of scissors congruence for polytopes. We identify the degree of its numerator - the adjoint polynomial $\operatorname{adj}_P$ - as an important invariant in this context. More precisely, for a polytope $P$ we define the degree drop that measures how much smaller than expected the degree of the adjoint polynomial of $P$ is. We show that this drop behaves well under various operations, such as decompositions, restrictions to faces, projections, products and Minkowski sums. Next we define the reduced canonical form $Ω_0$ and show that it is a translation-invariant 1-homogeneous valuation on polytopes that vanishes if and only if $P$ has positive degree drop. Using it we can prove that zonotopes can be characterized as the $d$-polytopes that have maximal possible degree drop $d-1$. We obtain a decomposition formula for $Ω_0$ that expresses it as a sum of edge-local quantities of $P$. Finally, we discuss valuations $Ω_s$ that can distinguish higher values of the degree drop.
Monotone Paths on Acyclic 3-Regular Graphs
Motivated by trying to understand the behavior of the simplex method, Athanasiadis, De Loera and Zhang provided upper and lower bounds on the number of the monotone paths on 3-polytopes. For simple 3-polytopes with $2n$ vertices, they showed that the number of monotone paths is bounded above by $(1+\varphi)^n$, with $\varphi$ being the golden ratio. We improve the result and show that for a larger family of graphs the number is bounded above by $c \cdot 1.6779^n$ for some universal constant $c$. Meanwhile, the best known construction and conjectured extremizer is approximately $\varphi^n$.
Ornamentation lattices and intreeval hypergraphic lattices
Given a directed graph $D$ with transitive closure $\operatorname{tc}(D)$ and path hypergraph $\mathbb{P}(D)$, we study the connections between the (acyclic) reorientation poset of $\operatorname{tc}(D)$, the (acyclic) sourcing poset of $\mathbb{P}(D)$, and the (acyclic) ornamentation poset of $D$. Geometrically, the acyclic reorientation poset of $\operatorname{tc}(D)$ (resp. the acyclic sourcing poset of $\mathbb{P}(D)$) is the transitive closure of the skeleton of the graphical zonotope of $\operatorname{tc}(D)$ (resp. of the hypergraphic polytope of $\mathbb{P}(D)$) oriented in a linear direction. When $D$ is a rooted (or even unstarred) increasing tree, we show that the acyclic sourcing poset of $\mathbb{P}(D)$ is isomorphic to the ornamentation lattice of $D$, and that they form a lattice quotient of the acyclic reorientation lattice of $\operatorname{tc}(D)$. As a consequence, we obtain polytopal realizations of the ornamentation lattices of rooted (or even unstarred) increasing trees, answering an open question of C. Defant and A. Sack. When $D$ is an increasing tree, we show that the ornamentation lattice of $D$ is the MacNeille completion of the acyclic sourcing poset of $\mathbb{P}(D)$. Finally, still when $D$ is an increasing tree, we use the ornamentation lattice of $D$ to characterize the subhypergraphs of the path hypergraph $\mathbb{P}(D)$ whose acyclic sourcing poset is a lattice.
Saturation for Non-Symmetric Macdonald Polynomials
We prove that supports of non-symmetric Macdonald polynomials are $M$-convex. As a consequence, we resolve a 2019 conjecture of Monical, Tokcan, and Yong that they have the saturated Newton polytope property. As a further consequence, we prove that the moment polytopes of affine Schubert varieties in the affine Grassmannian of type $\mathrm{GL}$ are generalized permutahedra.
On the geometry of stack-sorting simplices
We show that all stack-sorting polytopes are simplices. Furthermore, we show that the stack-sorting polytopes generated from $Ln1$ permutations have relative volume 1. We establish an upper bound for the number of lattice points in a stack-sorting polytope. In particular, stack-sorting polytopes generated from $2Ln1$ permutations have no interior points.
Supersymmetric Schur polynomials have saturated Newton polytopes
We prove that every supersymmetric Schur polynomial has a saturated Newton polytope (SNP). Our approach begins with a tableau-theoretic description of the support, which we encode as a polyhedron with a totally unimodular constraint matrix. The integrality of this polyhedron follows from the Hoffman-Kruskal criterion, thereby establishing the SNP property.
Tropical elliptic curves in 3-space
We classify trivalent graphs with 16 vertices and 16 edges that arise from intersecting two quadratic surfaces in tropical 3-space. There are 4,009 such graphs, representing maximally degenerate stable models of elliptic curves realized as tropical complete intersections of two quadrics. Our classification is derived from 405,246,030 regular unimodular triangulations of the 4-dimensional Cayley polytope.
Kalai's flag conjecture for locally anti-blocking polytopes
We prove Kalai's full flag conjecture for the class of locally anti-blocking polytopes, and show that there is equality if and only if the polytope is a (generalized) Hanner polytope.
Unitary actions and equivariant volumes of symmetric edge polytopes
The symmetric edge polytope ($\mathrm{SEP}$) of a finite simple graph $G$ is a centrally symmetric lattice polytope whose vertices are defined by the edges of the graph. Among the information encoded by these polytopes are the symmetries of the graph, which appear as symmetries of the polytope. We describe the rigid symmetries of these polytopes, and show that $\mathrm{SEP}$s are unitarily equivalent exactly when their associated graphs are isomorphic. We then find an explicit relationship between the relative volumes of the subsets of the symmetric edge polytope $\mathrm{SEP}$ fixed by the natural action of symmetric group elements and the symmetric edge polytopes of smaller graphs to which the subsets are linearly equivalent. We also provide a vertex description of the fixed polytopes and find a description of the symmetric edge polytopes to which they are equivalent, in terms of contractions of the graph $G$ induced by the cycle decompositions of the permutations under which the subsets are fixed. Specializations of our results provide equivalence and volume relationships for fixed polytopes of symmetric edge polytopes of complete graphs (equivalently, for fixed polytopes of root polytopes of type $A_n$), and describe the symmetry group of this family of polytopes.
Exterior Cyclic Polytopes and Convexity of Amplituhedra
The amplituhedron is a semialgebraic set in the Grassmannian. We study convexity and duality of amplituhedra. We introduce a notion of convexity, called \textit{extendable convexity}, for real semialgebraic sets in any embedded projective variety. We show that the $k=m=2$ amplituhedron is extendably convex in the Grassmannian of lines in projective three-space. In the process we introduce a new polytope called the \emph{exterior cyclic polytope}, generalizing the cyclic polytope. It is equal to the convex hull of the amplituhedron in the Plücker embedding. We undertake a combinatorial analysis of the exterior cyclic polytope, its facets, and its dual. Finally, we introduce the \textit{(extendable) dual amplituhedron}, which is closely related to the dual of the exterior cyclic polytope. We show that the dual amplituhedron for $k=m=2$ is again an amplituhedron, where the external matrix data is changed by the twist map.
Delta-matroids and toric degenerations in OG(n,2n+1)
We construct an explicit, embedded degeneration of the general torus orbit closure in the maximal orthogonal Grassmannian OG(n,2n+1) into a union of Richardson varieties. In particular, we deduce a formula for the cohomology class of the torus orbit closure, as a sum of products of Schubert classes. The moment map images of the degenerate pieces are the base polytopes of their underlying delta-matroids, and give a polyhedral decomposition of the unit hypercube, which had previously been studied by Chen-Sanchez-Veliz-Ying.
Reflexive polytopes and the Picard ranks of Gorenstein toric Fano varieties
We prove that the sum of the Picard ranks of a polar pair of Gorenstein toric Fano varieties of dimension $d\geq 3$ is at most the minimum of the number of facets and vertices of the corresponding pair of reflexive polytopes minus $(d-1)$. This is a generalization of Eikelberg's theory of affine dependences describing the Picard groups of toric varieties. The upper bound is achieved if and only if the polar pair is a simple-simplicial pair.
Characterizations of certain matroids by maximizing valuative invariants
Luis Ferroni and Alex Fink recently introduced a polytope of all unlabeled matroids of rank $r$ on $n$ elements, and they showed that the vertices of this polytope come from matroids that can be characterized by maximizing a sequence of valuative invariants. We prove that a number of the matroids that they conjectured to yield vertices indeed do (these include cycle matroids of complete graphs, projective geometries, and Dowling geometries), and we give additional examples (including truncations of cycle matroids of complete graphs, Bose-Burton geometries, and binary and free spikes with tips). We prove a special case of a conjecture of Ferroni and Fink by showing that direct sums of uniform matroids yield vertices of their polytope, and we prove a similar result for direct sums whose components are in certain restricted classes of extremal matroids.
On the number of faces of marked order polytopes
In this paper, we present a new method for computing the f-vector of a marked order polytope. Namely, given an arbitrary (polyhedral) subdivision of an arbitrary convex polytope, we construct a cochain complex (over the two-element field Z_2) such that the dimensions of its cohomology groups equal the components of the f-vector of the original polytope. In the case of a marked order polytope and its well-known cubosimplicial subdivision, this cochain complex can be described purely combinatorially -- which yields the said computation of the f-vector. Of independent interest may be our combinatorial description of the said cubosimplicial subdivision (which was originally constructed geometrically).
Improved Decomposition Bounds for Partition Polytopes and Odd-Covers
The assignments of a set of $m$ items into $n$ clusters of prescribed sizes $k_1,\dots,k_n$ can be encoded as the vertices of the partition polytope $\mathrm{PP}(k_1,\dots,k_n)$. We prove that, if $K = \max\{k_1,\dots,k_n\}$, then the combinatorial diameter of $\mathrm{PP}(k_1,\dots,k_n)$ is at most $\lceil 3K/2\rceil$. This improves the previously known upper bound of $2K$.
A cycle (or path) odd-cover of a graph $G$ is a set of cycles (or paths) with symmetric difference $G$. We prove that every Eulerian graph $G$ with maximum degree $Δ$ admits a cycle odd-cover and a path odd-cover, each of size at most $\lceil 3Δ/4\rceil$. This improves the previously known upper bound of $Δ$.
The two proofs share many similarities and are both based on the proof of Akiyama, Exoo, and Harary that every graph with maximum degree 4 has linear arboricity at most 3.
Framing Triangulations and Framing Posets of Planar DAGs with Nontrivial Netflow Vectors
The space of unit flows on a directed acyclic graph (DAG) with one source and one sink is known to admit regular unimodular triangulations induced by framings of the DAG. The dual graph of any of these triangulations may be given the structure of the Hasse diagram of a lattice, generalizing many variations of the Tamari lattice and the weak order. We extend this theory to flow polytopes of DAGs which may have multiple sources, multiple sinks, and nontrivial netflow vectors under certain planarity conditions. We construct a unimodular triangulation of such a flow polytope indexed by combinatorial data and give a poset structure on its maximal simplices generalizing the strongly planar one-source-one-sink case.
Flows on Gentle Algebras
The space of unit flows on a directed acyclic graph (DAG) is known to admit regular unimodular triangulations induced by framings of the DAG. Amply framed DAGs and their triangulated flow polytopes have recently been connected with the representation theory of certain gentle algebras. We expand on this connection by defining a flow on the fringed quiver of an arbitrary gentle algebra. We call the space of unit flows its turbulence polyhedron. We show that support tau-tilting modules of a gentle algebra index a unimodular triangulation of its turbulence polyhedron. In the representation-infinite case, this triangulation is not complete and we give two different larger polyhedral dissections given by adding lower-dimensional walls to the picture. The turbulence polyhedron has a quotient map to what we define as the g-polyhedron lying in the ambient space of the g-vector fan, proving that gentle algebras are g-convex. Moreover, the images of our two types of walls under this quotient map provide two different interpretations for the complement of the g-vector fan of a gentle algebra.
A characterization of the Carathéodory number for $H$-convexity
We show that the Carathéodory number for $H$-convexity is the maximum of two parameters: the Helly number for $H$-convexity and the cone number of $H$. The cone number in this article is defined as the maximal number of points of $H$ in conical position with an empty positive hull relative to the remaining points. Earlier partial results by Boltyanski and Martini can provide an exact value for the Carathéodory number only when the Helly number is $1$ or $2$.
We further establish connections between the Carathéodory numbers for $H$-convexity and that for $K$-strong convexity, where $H$ is the set of normals of $K$. Specifically, the Carathéodory number for $H$-convexity provides a lower bound for that of $K$-strong convexity. Moreover, if $K$ is a polytope, which has $|H|$ facets, then the Carathéodory number for $K$-strong convexity is at most the maximum of $|H|-1$ and the Carathéodory number for $H$-convexity. We conjecture a characterization of when the bound $|H|-1$ is attained. It is a consequence of a broader conjecture stating that the Carathéodory number for $K$-strong convexity is at most the maximum of the Carathéodory numbers for $H'$-convexity over all subsets $H'\subseteq H$. Finally, we observe that the Carathéodory number is at least the Helly number in any convex-structure where all sets are ordinarily convex.
Symplectic Hecke eigenbases from Ehrhart polynomials
For $n\in\mathbb{N}$ and $\ell\in\{0,1,\dots,n\}$, we consider the function extracting the $\ell$th coefficient of the Ehrhart polynomials of lattice polytopes in $\mathbb{R}^n$. These functions form a basis of the space of unimodular invariant valuations. We show that, in even dimensions, these functions are in fact simultaneous symplectic Hecke eigenfunctions. We leverage this and apply the theory of spherical functions and their associated zeta functions to prove analytic, asymptotic, and combinatorial results about the arithmetic functions averaging $\ell$th Ehrhart coefficients.