polytope ↗ reference
3112 papers tagged with this keyword
Saturation of Newton polytopes of type A and D cluster variables
Published
• View Publication
• BIB
We study Newton polytopes for cluster variables in cluster algebras $\mathcal{A}(Σ)$ of types A and D. A famous property of cluster algebras is the Laurent phenomenon: each cluster variable can be written as a Laurent polynomial in the cluster variables of the initial seed $Σ$. The cluster variable Newton polytopes are the Newton polytopes of these Laurent polynomials. We show that if $Σ$ has principal coefficients or boundary frozen variables, then all cluster variable Newton polytopes are saturated. We also characterize when these Newton polytopes are \emph{empty}; that is, when they have no non-vertex lattice points.
Inscribable fans I: Inscribed cones and virtual polytopes
Published
• View Publication
• BIB
We investigate polytopes inscribed into a sphere that are normally equivalent (or strongly isomorphic) to a given polytope $P$. We show that the associated space of polytopes, called the inscribed cone of $P$, is closed under Minkowski addition. Inscribed cones are interpreted as type cones of ideal hyperbolic polytopes and as deformation spaces of Delaunay subdivisions. In particular, testing if there is an inscribed polytope normally equivalent to $P$ is polynomial time solvable.
Normal equivalence is decided on the level of normal fans and we study the structure of inscribed cones for various classes of polytopes and fans, including simple, simplicial, and even. We classify (virtually) inscribable fans in dimension $2$ as well as inscribable permutahedra and nestohedra.
A second goal of the paper is to introduce inscribed virtual polytopes. Polytopes with a fixed normal fan $\mathcal{N}$ form a monoid with respect to Minkowski addition and the associated Grothendieck group is called the type space of $\mathcal{N}$. Elements of the type space correspond to formal Minkowski differences and are naturally equipped with vertices and hence with a notion of inscribability. We show that inscribed virtual polytopes form a subgroup, which can be non-trivial even if $\mathcal{N}$ does not have actual inscribed polytopes.
We relate inscribed virtual polytopes to routed particle trajectories, that is, piecewise-linear trajectories of particles in a ball with restricted directions. The state spaces gives rise to connected groupoids generated by reflections, called reflection groupoids. The endomorphism groups of reflection groupoids can be thought of as discrete holonomy groups of the trajectories and we determine when they are reflection groups.
A note on seminormality of cut polytopes
Published in SIAM Journal on Discrete Mathematics 36 (2022), no. 1, 114-117
• View Publication
• BIB
We prove that seminormality of cut polytopes is equivalent to normality. This settles two conjectures regarding seminormality of cut polytopes.
On the Bond Polytope
Published
• View Publication
• BIB
Given a graph $G=(V,E)$, the maximum bond problem searches for a maximum cut $δ(S) \subseteq E$ with $S \subseteq V$ such that $G[S]$ and $G[V\setminus S]$ are connected. This problem is closely related to the well-known maximum cut problem and known under a variety of names such as largest bond, maximum minimal cut and maximum connected (sides) cut. The bond polytope is the convex hull of all incidence vectors of bonds. Similar to the connection of the corresponding optimization problems, the bond polytope is closely related to the cut polytope. While cut polytopes have been intensively studied, there are no results on bond polytopes. We start a structural study of the latter.
We investigate the relation between cut- and bond polytopes and study the effect of graph modifications on bond polytopes and their facets. Moreover, we study facet-defining inequalities arising from edges and cycles for bond polytopes. In particular, these yield a complete linear description of bond polytopes of cycles and $3$-connected planar $(K_5-e)$-minor free graphs. Moreover we present a reduction of the maximum bond problem on arbitrary graphs to the maximum bond problem on $3$-connected graphs. This yields a linear time algorithm for maximum bond on $(K_5-e)$-minor free graphs.
Linkedness of Cartesian products of complete graphs
This paper is concerned with the linkedness of Cartesian products of complete graphs. A graph with at least $2k$ vertices is {\it $k$-linked} if, for every set of $2k$ distinct vertices organised in arbitrary $k$ pairs of vertices, there are $k$ vertex-disjoint paths joining the vertices in the pairs.
We show that the Cartesian product $K^{d_{1}+1}\times K^{d_{2}+1}$ of complete graphs $K^{d_{1}+1}$ and $K^{d_{2}+1}$ is $\floor{(d_{1}+d_{2})/2}$-linked for $d_{1},d_{2}\ge 2$, and this is best possible.
%A polytope is said to be {\it $k$-linked} if its graph is $k$-linked.
This result is connected to graphs of simple polytopes. The Cartesian product $K^{d_{1}+1}\times K^{d_{2}+1}$ is the graph of the Cartesian product $T(d_{1})\times T(d_{2})$ of a $d_{1}$-dimensional simplex $T(d_{1})$ and a $d_{2}$-dimensional simplex $T(d_{2})$. And the polytope $T(d_{1})\times T(d_{2})$ is a {\it simple polytope}, a $(d_{1}+d_{2})$-dimensional polytope in which every vertex is incident to exactly $d_{1}+d_{2}$ edges.
While not every $d$-polytope is $\floor{d/2}$-linked, it may be conjectured that every simple $d$-polytope is. Our result implies the veracity of the revised conjecture for Cartesian products of two simplices.
A Shapley-Folkman lemma for lattice polytopes
Some occurrences of $n$ can be replaced by $n-1$ in a special case of the Shapley-Folkman lemma.
Integer point enumeration on independence polytopes and half-open hypersimplices
Published
• View Publication
• BIB
In this paper we investigate the Ehrhart Theory of the independence matroid polytope of uniform matroids. It is proved that these polytopes have an Ehrhart polynomial with positive coefficients. To do that, we prove that indeed all half-open-hypersimplices are Ehrhart positive, and tile disjointly our polytope using them.
Gorenstein Fano toric degenerations
We propose a refined but natural notion of toric degenerations that respect a given embedding and show that within this framework a Gorenstein Fano variety can only be degenerated to a Gorenstein Fano toric variety if it is embedded via its anticanonical embedding. This also gives a precise criterion for reflexive polytopes to appear, which might be required for applications in mirror symmetry. For the proof of this statement we will study polytopes whose polar dual is a lattice polytope. As a byproduct we generalize a connection between the number of lattice points in a rational convex polytope and the Euler characteristic of an associated torus invariant rational Weil divisor, allowing us to show that Ehrhart-Macdonald Reciprocity and Serre Duality are equivalent statements for a broad class of varieties. Additionally, we conjecture a necessary and sufficient condition for the Ehrhart quasi-polynomial of a rational convex polytope to be a polynomial. Finally, we show that the anticanonical line bundle on a Gorenstein Fano variety with at worst rational singularities is uniquely determined by a combinatorial condition of its Hilbert polynomial.
A diagrammatic approach to string polytopes
Published
• View Publication
• BIB
We prove that for every complex classical group $G$ the string polytope associated to a special reduced decomposition and any dominant integral weight $λ$ will be a lattice polytope if and only if the highest weight representation of the Lie algebra of $G$ with highest weight $λ$ integrates to a representation of $G$ itself. This affirms an earlier conjecture and shows that every partial flag variety of a complex classical group admits a flat projective degeneration to a Gorenstein Fano toric variety.
Cellular chains on freehedra and operadic pairs
The paper is devoted to explaining the operadic meaning of freehedra, a family of polytopes originally defined to study free loop spaces. We introduce the notion of operadic pairs and algebras over them. Cellular chains on Stasheff associahedra and Stasheff multiplihedra assemble into a two-colored operadic pair that governs $A_\infty$-algebras and $A_\infty$-modules over them, with maps that are $A_\infty$ in both colors. An important quotient of this operadic pair is given by cellular chains on cubes and freehedra.
Colorful Graph Associahedra
Published
• View Publication
• BIB
Given a graph G, the graph associahedron is a simple convex polytope whose face poset is based on the connected subgraphs of G. With the additional assignment of a color palette, we define the colorful graph associahedron, show it to be a collection of simple abstract polytopes, and explore its properties.
Polytopal balls arising in optimization
Published in Contrib. Discrete Math. 16(3), 125-138 (2021)
• View Publication
• BIB
We study a family of polytopes and their duals, that appear in various optimization problems as the unit balls for certain norms. These two families interpolate between the hypercube, the unit ball for the $\infty$-norm, and its dual cross-polytope, the unit ball for the $1$-norm. We give combinatorial and geometric properties of both families of polytopes such as their $f$-vector, their volume, and the volume of their boundary.
Subword complexes and 2-truncated cubes
Published in Russian Math. Surveys 69 (2014) no. 3., pp. 572-574
• View Publication
• BIB
For a Coxeter element $c$ of a finite Coxeter group, we consider a family of subword complexes parameterized by reduced expressions of the longest element. This family generalizes $c-$cluster complexes. We describe vertices of these complexes in terms of roots of the corresponding root system. We prove that dual polytopes of all such complexes are combinatorial 2-truncated cubes.
The Extremals of the Alexandrov-Fenchel Inequality for Convex Polytopes
Published
• View Publication
• BIB
The Alexandrov-Fenchel inequality, a far-reaching generalization of the classical isoperimetric inequality to arbitrary mixed volumes, lies at the heart of convex geometry. The characterization of its extremal bodies is a long-standing open problem that dates back to Alexandrov's original 1937 paper. The known extremals already form a very rich family, and even the fundamental conjectures on their general structure, due to Schneider, are incomplete. In this paper, we completely settle the extremals of the Alexandrov-Fenchel inequality for convex polytopes. In particular, we show that the extremals arise from the combination of three distinct mechanisms: translation, support, and dimensionality. The characterization of these mechanisms requires the development of a diverse range of techniques that shed new light on the geometry of mixed volumes of nonsmooth convex bodies. Our main result extends further beyond polytopes in a number of ways, including to the setting of quermassintegrals of arbitrary convex bodies. As an application of our main result, we settle a question of Stanley on the extremal behavior of certain log-concave sequences that arise in the combinatorics of partially ordered sets.
Combinatorial Bernoulli Factories
Published in Bernoulli, 29(2), pp.1246-1274 (2023)
• View Publication
• BIB
A Bernoulli factory is an algorithmic procedure for exact sampling of certain random variables having only Bernoulli access to their parameters. Bernoulli access to a parameter $p \in [0,1]$ means the algorithm does not know $p$, but has sample access to independent draws of a Bernoulli random variable with mean equal to $p$. In this paper, we study the problem of Bernoulli factories for polytopes: given Bernoulli access to a vector $x\in P$ for a given polytope $P\subset [0,1]^n$, output a randomized vertex such that the expected value of the $i$-th coordinate is \emph{exactly} equal to $x_i$. For example, for the special case of the perfect matching polytope, one is given Bernoulli access to the entries of a doubly stochastic matrix $[x_{ij}]$ and asked to sample a matching such that the probability of each edge $(i,j)$ be present in the matching is exactly equal to $x_{ij}$. We show that a polytope $P$ admits a Bernoulli factory if and and only if $P$ is the intersection of $[0,1]^n$ with an affine subspace. Our construction is based on an algebraic formulation of the problem, involving identifying a family of Bernstein polynomials (one per vertex) that satisfy a certain algebraic identity on $P$. The main technical tool behind our construction is a connection between these polynomials and the geometry of zonotope tilings. We apply these results to construct an explicit factory for the perfect matching polytope. The resulting factory is deeply connected to the combinatorial enumeration of arborescences and may be of independent interest. For the $k$-uniform matroid polytope, we recover a sampling procedure known in statistics as Sampford sampling.
Fractional forcing number of graphs
Published
• View Publication
• BIB
The notion of forcing sets for perfect matchings was introduced by Harary, Klein, and Živković. The application of this problem in chemistry, as well as its interesting theoretical aspects, made this subject very active. In this work, we introduce the notion of forcing function of fractional perfect matchings, which is continuous analogous to forcing sets defined over the perfect matching polytope of graphs. We show that this object is a continuous and concave function extension of the integral forcing set. Then, we use our results in the continuous world to conclude new bounds and results in the discrete case of forcing sets, for the family of regular edge-transitive graphs. In particular, we derive new upper bounds for the maximum forcing number of hypercube graphs.
Higher Secondary Polytopes for Two-Dimensional Zonotopes
Very recently, Galashin, Postnikov, and Williams introduced the notion of higher secondary polytopes, generalizing the secondary polytope of Gelfand, Kapranov, and Zelevinsky. Given an $n$-point configuration $\mathcal{A}$ in $\mathbb{R}^{d-1}$, they define a family of convex $(n-d)$-dimensional polytopes $\widehatΣ_{1}, \ldots, \widehatΣ_{n-d}$. The $1$-skeletons of this family of polytopes are the flip graphs of certain combinatorial configurations which generalize triangulations of $\text{conv} \mathcal{A}$. We restrict our attention to $d=2$. First, we relate the $1$-skeleton of the Minkowski sum $\widehatΣ_{k} + \widehatΣ_{k-1}$ to the flip graph of "hypertriangulations" of the deleted $k$-sum of $\mathcal{A}$ when $\mathcal{A}$ consists of distinct points. Second, we compute the diameter of $\widehatΣ_{k}$ and $\widehatΣ_{k}+\widehatΣ_{k-1}$ for all $k$.
Associahedra, cyclohedra and inversion of power series
We introduce the Hopf monoid of sets of cycles and paths, which contains the Faà di Bruno Hopf monoid as a submonoid. We give cancellation-free and grouping-free formulas for its antipode, one in terms of tubings and one in terms of \emph{pointed} noncrossing partitions. We provide an explicit description of the group of characters of this Hopf monoid in terms of pairs of power series. Using graph associahedra, we relate paths and cycles to associahedra and cyclohedra, respectively. We give formulas for inversion in the group of characters in terms of the faces of these polytopes.
Generalized permutahedra and Schubert calculus
Published in Arnold Math. J. 8 (2022), no. 3-4, 517-533
• View Publication
• BIB
We connect generalized permutahedra with Schubert calculus. Thereby, we give sufficient vanishing criteria for Schubert intersection numbers of the flag variety. Our argument utilizes recent developments in the study of Schubitopes, which are Newton polytopes of Schubert polynomials. The resulting tableau test executes in polynomial time.
Castelnuovo polytopes
Published
• View Publication
• BIB
It is known that the sectional genus of a polarized variety has an upper bound, which is an extension of the Castelnuovo bound on the genus of a projective curve. Polarized varieties whose sectional genus achieves this bound are called Castelnuovo. On the other hand, a lattice polytope is called Castelnuovo if the associated polarized toric variety is Castelnuovo. Kawaguchi characterized Castelnuovo polytopes having interior lattice points in terms of their $h^*$-vectors. In this paper, as a generalization of this result, a characterization of all Castelnuovo polytopes will be presented. Finally, as an application of our characterization, we give a sufficient criterion for a lattice polytope to be IDP.