polytope ↗ reference
3112 papers tagged with this keyword
Cheeger Inequalities for Vertex Expansion and Reweighted Eigenvalues
Published
• View Publication
• BIB
The classical Cheeger's inequality relates the edge conductance $φ$ of a graph and the second smallest eigenvalue $λ_2$ of the Laplacian matrix. Recently, Olesker-Taylor and Zanetti discovered a Cheeger-type inequality $ψ^2 / \log |V| \lesssim λ_2^* \lesssim ψ$ connecting the vertex expansion $ψ$ of a graph $G=(V,E)$ and the maximum reweighted second smallest eigenvalue $λ_2^*$ of the Laplacian matrix.
In this work, we first improve their result to $ψ^2 / \log d \lesssim λ_2^* \lesssim ψ$ where $d$ is the maximum degree in $G$, which is optimal assuming the small-set expansion conjecture. Also, the improved result holds for weighted vertex expansion, answering an open question by Olesker-Taylor and Zanetti. Building on this connection, we then develop a new spectral theory for vertex expansion. We discover that several interesting generalizations of Cheeger inequalities relating edge conductances and eigenvalues have a close analog in relating vertex expansions and reweighted eigenvalues. These include an analog of Trevisan's result on bipartiteness, an analog of higher order Cheeger's inequality, and an analog of improved Cheeger's inequality.
Finally, inspired by this connection, we present negative evidence to the $0/1$-polytope edge expansion conjecture by Mihail and Vazirani. We construct $0/1$-polytopes whose graphs have very poor vertex expansion. This implies that the fastest mixing time to the uniform distribution on the vertices of these $0/1$-polytopes is almost linear in the graph size. This does not provide a counterexample to the conjecture, but this is in contrast with known positive results which proved poly-logarithmic mixing time to the uniform distribution on the vertices of subclasses of $0/1$-polytopes.
Proof of a conjecture of Batyrev and Juny on Gorenstein polytopes
Published
• View Publication
• BIB
A $d$-dimensional lattice polytope $P$ is Gorenstein if it has a multiple $r P$ that is a reflexive polytope up to translation by a lattice vector. The difference $d+1-r$ is called the degree of $P$. We show that a Gorenstein polytope is a lattice pyramid if its dimension is at least three times its degree. This was previously conjectured by Batyrev and Juny. We also present a refined conjecture and prove it for IDP Gorenstein polytopes.
Exchange distance of basis pairs in split matroids
The basis exchange axiom has been a driving force in the development of matroid theory. However, the axiom gives only a local characterization of the relation of bases, which is a major stumbling block to further progress, and providing a global understanding of the structure of matroid bases is a fundamental goal in matroid optimization.
While studying the structure of symmetric exchanges, Gabow proposed the problem that any pair of bases admits a sequence of symmetric exchanges. A different extension of the exchange axiom was proposed by White, who investigated the equivalence of compatible basis sequences. These conjectures suggest that the family of bases of a matroid possesses much stronger structural properties than we are aware of.
In the present paper, we study the distance of basis pairs of a matroid in terms of symmetric exchanges. In particular, we give a polynomial-time algorithm that determines a shortest possible exchange sequence that transforms a basis pair into another for split matroids, a class that was motivated by the study of matroid polytopes from a tropical geometry point of view. As a corollary, we verify the above mentioned long-standing conjectures for this large class. Being a subclass of split matroids, our result settles the conjectures for paving matroids as well.
Triangulations of Flow Polytopes, Ample Framings, and Gentle Algebras
Published
• View Publication
• BIB
The cone of nonnegative flows for a directed acyclic graph (DAG) is known to admit regular unimodular triangulations induced by framings of the DAG. These triangulations restrict to triangulations of the flow polytope for strength one flows, which are called DKK triangulations. For a special class of framings called ample framings, these triangulations of the flow cone project to a complete fan. We characterize the DAGs that admit ample framings, and we enumerate the number of ample framings for a fixed DAG. We establish a connection between maximal simplices in DKK triangulations and $τ$-tilting posets for certain gentle algebras, which allows us to impose a poset structure on the dual graph of any DKK triangulation for an amply framed DAG. Using this connection, we are able to prove that for full DAGs, i.e., those DAGs with inner vertices having in-degree and out-degree equal to two, the flow polytopes are Gorenstein and have unimodal Ehrhart $h^\ast$-polynomials.
Lattice of Integer Flows and the Poset of Strongly Connected Orientations for Regular Matroids
Published
• View Publication
• BIB
A 2010 result of Amini provides a way to extract information about the structure of the graph from the geometry of the Voronoi polytope of the lattice of integer flows (which determines the graph up to two-isomorphism). Specifically, Amini shows that the face poset of the Voronoi polytope is isomorphic to the poset of strongly connected orientations of subgraphs. This answers a question raised by Caporaso and Viviani, and Amini also proves a dual result for integer cuts. In this paper we generalise Amini's result to regular matroids; in this context the theorem for integer cuts becomes a direct consequence of the theorem for integer flows, by making duality explicit as matroid duality.
Mixed subdivisions suitable for the Canny-Emiris formula
Published
• View Publication
• BIB
The Canny-Emiris formula gives the sparse resultant as the ratio of the determinant of a Sylvester-type matrix over a minor of it, both obtained via a mixed subdivision algorithm. The same authors gave an explicit class of mixed subdivisions for the greedy approach so that the formula holds, and the dimension of the constructed matrices is smaller than that of the subdivision algorithm, following the approach of Canny and Pedersen. Our method improves upon the dimensions of the matrices when the Newton polytopes are zonotopes and the systems are multihomogeneous. In this text, we provide more such cases, and we conjecture which might be the liftings providing minimal size of the resultant matrices. We also describe two applications of this formula, namely in computer vision and in the implicitization of surfaces, while offering the corresponding JULIA code. We finally introduce a novel tropical approach that leads to an alternative proof of one of the results.
Lattice points in slices of prisms
Published in Can. J. Math.-J. Can. Math. 77 (2025) 1013-1040
• View Publication
• BIB
We conduct a systematic study of the Ehrhart theory of certain slices of rectangular prisms. Our polytopes are generalizations of the hypersimplex and are contained in the larger class of polypositroids introduced by Lam and Postnikov; moreover, they coincide with polymatroids satisfying the strong exchange property up to an affinity. We give a combinatorial formula for all the Ehrhart coefficients in terms of the number of weighted permutations satisfying certain compatibility properties. This result proves that all these polytopes are Ehrhart positive. Additionally, via an extension of a result by Early and Kim, we give a combinatorial interpretation for all the coefficients of the $h^*$-polynomial. All of our results provide a combinatorial understanding of the Hilbert functions and the $h$-vectors of all algebras of Veronese type, a problem that had remained elusive up to this point. A variety of applications are discussed, including expressions for the volumes of these slices of prisms as weighted combinations of Eulerian numbers; some extensions of Laplace's result on the combinatorial interpretation of the volume of the hypersimplex; a multivariate generalization of the flag Eulerian numbers and refinements; and a short proof of the Ehrhart positivity of the independence polytope of all uniform matroids.
Torsionfreeness for divisor class groups of toric rings of integral polytopes
Published
• View Publication
• BIB
In the present paper, we give some sufficient conditions for $\operatorname{Cl}(\Bbbk[P])$ to be torsionfree, where $\operatorname{Cl}(\Bbbk[P])$ denote the divisor class group of the toric ring $\Bbbk[P]$ of an integral polytope $P$. We prove that $\operatorname{Cl}(\Bbbk[P])$ is torsionfree if $P$ is compressed, and $\operatorname{Cl}(\Bbbk[P])$ is torsionfree if $P$ is a $(0,1)$-polytope which has at most $\dim P+2$ facets. Moreover, we characterize the toric rings of $(0,1)$-polytopes in the case $\operatorname{Cl}(\Bbbk[P])\cong \mathbb{Z}$.
Normalized Volumes of Type-PQ Adjacency Polytopes for Certain Classes of Graphs
Published in Involve 17 (2024) 425-440
• View Publication
• BIB
The type-PQ adjacency polytope associated to a simple graph is a $0/1$-polytope containing valuable information about an underlying power network. Chen and the first author have recently demonstrated that, when the underlying graph $G$ is connected, the normalized volumes of the adjacency polytopes can be computed by counting sequences of nonnegative integers satisfying restrictions determined by $G$. This article builds upon their work, namely by showing that one of their main results -- the so-called "triangle recurrence" -- applies in a more general setting. Formulas for the normalized volumes when $G$ is obtained by deleting a path or a cycle from a complete graph are also established.
Voltage operations on maniplexes
Published
• View Publication
• BIB
Classical geometric and topological operations on polyhedra, maps and polytopes often give rise to structures with the same symmetry group as the original one, but with more flags. In this paper we introduce the notion of voltage operations on maniplexes, as a way to generalize such operations. Our technique provides a way to study classical operations in a graph theory setting. In fact, voltage operations can be applied to symmetry type graphs, and more generally to n-valent properly n-edge colored graphs. We focus on studying the interactions between voltage operations and the symmetries of the operated object, and show that they can be potentially used to build maniplexes with prescribed symmetry type graphs. Moreover, a complete characterization of when an operation can be seen as a voltage operation is given.
Weight polytopes and saturation of Demazure characters
Published
• View Publication
• BIB
For $G$ a reductive group and $T\subset B$ a maximal torus and Borel subgroup, Demazure modules are certain $B$-submodules, indexed by elements of the Weyl group, of the finite irreducible representations of $G$. In order to describe the $T$-weight spaces that appear in a Demazure module, we study the convex hull of these weights - the Demazure polytope. We characterize these polytopes both by vertices and by inequalities, and we use these results to prove that Demazure characters are saturated, in the case that $G$ is simple of classical Lie type. Specializing to $G=GL_n$, we recover results of Fink, Mészáros, and St. Dizier, and separately Fan and Guo, on key polynomials, originally conjectured by Monical, Tokcan, and Yong.
The tropical discriminant of a polynomial map on a plane
The discriminant of a polynomial map is central to problems from affine geometry and singularity theory. Standard methods for characterizing it rely on elimination techniques that can often be ineffective. This paper concerns polynomial maps on the two-dimensional torus defined over a field of Puiseux series. We present a combinatorial procedure for computing the tropical curve of the discriminant of maps determined by generic polynomials with given supports. Our results enable one to compute the Newton polytope of the discriminant of complex polynomial maps on the plane.
Hypergraph characterization of split matroids
We provide a combinatorial study of split matroids, a class that was motivated by the study of matroid polytopes from a tropical geometry point of view. A nice feature of split matroids is that they generalize paving matroids, while being closed under duality and taking minors. Furthermore, these matroids proved to be useful in giving exact asymptotic bounds for the dimension of the Dressian, and also implied new results on the rays of the tropical Grassmannians.
In the present paper, we introduce the notion of elementary split matroids, a subclass of split matroids that contains all connected split matroids. We give a hypergraph characterization of elementary split matroids in terms of independent sets, and show that the proposed class is closed not only under duality and taking minors but also truncation. We further show that, in contrast to split matroids, the proposed class can be characterized by a single forbidden minor. As an application, we provide a complete list of binary split matroids.
On 1-skeleton of the polytope of pyramidal tours with step-backs
Published in Siberian Electronic Mathematical Reports, Volume 19, Issue 2, 2022, Pages 674-687
• View Publication
• BIB
Pyramidal tours with step-backs are Hamiltonian tours of a special kind: the salesperson starts in city 1, then visits some cities in ascending order, reaches city $n$, and returns to city 1 visiting the remaining cities in descending order. However, in the ascending and descending direction, the order of neighboring cities can be inverted (a step-back). It is known that on pyramidal tours with step-backs the traveling salesperson problem can be solved by dynamic programming in polynomial time.
We define the polytope of pyramidal tours with step-backs $\operatorname{PSB}(n)$ as the convex hull of the characteristic vectors of all possible pyramidal tours with step-backs in a complete directed graph. The 1-skeleton of $\operatorname{PSB}(n)$ is the graph whose vertex set is the vertex set of the polytope, and the edge set is the set of geometric edges or one-dimensional faces of the polytope. We present a linear-time algorithm to verify vertex adjacencies in 1-skeleton of the polytope $\operatorname{PSB}(n)$ and estimate the diameter and the clique number of 1-skeleton: the diameter is bounded above by 4 and the clique number grows quadratically in the parameter $n$.
Facets of Symmetric Edge Polytopes for Graphs with Few Edges
Symmetric edge polytopes, also called adjacency polytopes, are lattice polytopes determined by simple undirected graphs. We introduce the integer array \(\mathrm{maxf}(n,m)\) giving the maximum number of facets of a symmetric edge polytope for a connected graph having \(n\) vertices and \(m\) edges, and the corresponding sequence \(\mathrm{minf}(n,m)\) of minimal values. We establish formulas for the number of facets obtained in several classes of sparse graphs and provide partial progress toward conjectures that identify facet-maximizing graphs in these classes. These formulas are combinatorial in nature and lead to independently interesting observations and conjectures regarding integer sequences defined by sums of products of binomial coefficients.
A direct and elementary proof of the well-definedness of the interior and exterior polynomials of hypergraphs
Published
• View Publication
• BIB
T. Kálmán (A version of Tutte's polynomial for hypergraphs, Adv. Math. 244 (2013) 823-873.) introduced the interior and exterior polynomials which are generalizations of the Tutte polynomial $T(x,y)$ on plane points $(1/x,1)$ and $(1,1/y)$ to hypergraphs. The two polynomials are defined under a fixed ordering of hyperedges, and are proved to be independent of the ordering using techniques of polytopes. In this paper, similar to the Tutte's original proof we provide a direct and elementary proof for the well-definedness of the interior and exterior polynomials of hypergraphs.
On string quasitoric manifolds and their orbit polytopes
This article mainly aims to give combinatorial characterizations and topological descriptions of quasitoric manifolds with string property. We provide a necessary and sufficient condition for a simple polytope in dimension 2 and 3 to be realizable as the orbit polytope of a string quasitoric manifold. In particular, a complete description of string quasitoric manifolds over prisms is obtained. On the other hand, we characterize string quasitoric manifolds over $n$-dimensional simple polytopes with no more than $2n+2$ facets. Further results are available when the orbit polytope is the connected sum of a cube and another simple polytope. In addtion, a real analogue concerning small cover is briefly discussed.
Ehrhart Theory of Paving and Panhandle Matroids
Published
• View Publication
• BIB
We show that the base polytope $P_M$ of any paving matroid $M$ can be systematically obtained from a hypersimplex by slicing off certain subpolytopes, namely base polytopes of lattice path matroids corresponding to panhandle-shaped Ferrers diagrams. We calculate the Ehrhart polynomials of these matroids and consequently write down the Ehrhart polynomial of $P_M$, starting with Katzman's formula for the Ehrhart polynomial of a hypersimplex. The method builds on and generalizes Ferroni's work on sparse paving matroids. Combinatorially, our construction corresponds to constructing a uniform matroid from a paving matroid by iterating the operation of stressed-hyperplane relaxation introduced by Ferroni, Nasr, and Vecchi, which generalizes the standard matroid-theoretic notion of circuit-hyperplane relaxation. We present evidence that panhandle matroids are Ehrhart positive and describe a conjectured combinatorial formula involving chain forests and Eulerian numbers from which Ehrhart positivity of panhandle matroids will follow. As an application of the main result, we calculate the Ehrhart polynomials of matroids associated with Steiner systems and finite projective planes, and show that they depend only on their design-theoretic parameters: for example, while projective planes of the same order need not have isomorphic matroids, their base polytopes must be Ehrhart equivalent.
The Polyhedral Tree Complex
Published in Combinatorial Theory, 2(3) 2022
• View Publication
• BIB
The tree complex is a simplicial complex defined in recent work of Belk, Lanier, Margalit, and Winarski with natural applications to mapping class groups and complex dynamics. In this article, we connect this setting with the study of certain convex polytopes: associahedra and cyclohedra. Specifically, we describe a characterization of these polytopes using planar embeddings of trees and show that the tree complex is the barycentric subdivision of a polyhedral cell complex for which the cells are products of associahedra and cyclohedra.
Ehrhart theory of symmetric edge polytopes via ribbon structures
Using a ribbon structure of the graph, we construct a dissection of the symmetric edge polytope of a graph into unimodular simplices. Our dissection is shellable, and one can interpret the elements of the resulting $h$-vector via graph theory. This gives an elementary method for computing the $h^*$-vector of the symmetric edge polytope.