polytope ↗ reference
3077 papers tagged with this keyword
Open associahedra and scattering forms
Published in JHEP 12 (2020) 134
• View Publication
• BIB
We continue the study of open associahedra associated with bi-color scattering amplitudes initiated in arXiv:1912.08307. We focus on the facet geometries of the open associahedra, uncovering many new phenomena such as fiber-product geometries. We then provide novel recursion procedures for calculating the canonical form of open associahedra, generalizing recursion relations for bounded polytopes to unbounded polytopes.
Canonical models of toric hypersurfaces
Published
• View Publication
• BIB
Let $Z$ be a nondegenerate hypersurface in $d$-dimensional torus $(\mathbb{C}^*)^d$ defined by a Laurent polynomial $f$ with a $d$-dimensional Newton polytope $P$. The subset $F(P) \subset P$ consisting of all points in $P$ having integral distance at least $1$ to all integral supporting hyperplanes of $P$ is called the Fine interior of $P$. If $F(P) \neq \emptyset$ we construct a unique projective model $\widetilde{Z}$ of $Z$ having at worst canonical singularities and obtain minimal models $\hat{Z}$ of $Z$ by crepant morphisms $\hat{Z}\to \widetilde{Z}$. We show that the Kodaira dimension $κ=κ(\widetilde{Z})$ equals $\min \{ d-1, \dim F(P) \}$ and the general fibers in the Iitaka fibration of the canonical model $\widetilde{Z}$ are non\-degenerate $(d-1-κ)$-dimensional toric hypersurfaces of Kodaira dimension $0$. Using $F(P)$, we obtain a simple combinatorial formula for the intersection number $(K_{\widetilde{Z}})^{d-1}$.
Lower bounds for contingency tables via Lorentzian polynomials
Published
• View Publication
• BIB
We present a new lower bound on the number of contingency tables, improving upon and extending previous lower bounds by Barvinok and Gurvits. As an application, we obtain new lower bounds on the volumes of flow and transportation polytopes. Our proofs are based on recent results on Lorentzian polynomials.
Schubert calculus from polyhedral parametrizations of Demazure crystals
Published
• View Publication
• BIB
One approach to Schubert calculus is to realize Schubert classes as concrete combinatorial objects such as Schubert polynomials. Through an identification of the cohomology ring of the type A full flag variety with the polytope ring of the Gelfand-Tsetlin polytopes, Kiritchenko-Smirnov-Timorin realized each Schubert class as a sum of reduced (dual) Kogan faces. In this paper, we explicitly describe string parametrizations of opposite Demazure crystals, which give a natural generalization of reduced dual Kogan faces. We also relate reduced Kogan faces with Demazure crystals using the theory of mitosis operators, and apply these observations to develop the theory of Schubert calculus on symplectic Gelfand-Tsetlin polytopes.
Enumerating extreme points of the polytopes of stochastic tensors: an optimization approac
Published in Optimization 69 (2020) 729-741 Optimization: A Journal of Mathematical Programming and Operations Research
• View Publication
• BIB
This paper is concerned with the extreme points of the polytopes of stochastic tensors. By a tensor we mean a multi-dimensional array over the real number field. A line-stochastic tensor is a nonnegative tensor in which the sum of all entries on each line (i.e., one free index) is equal to 1; a plane-stochastic tensor is a nonnegative tensor in which the sum of all entries on each plane (i.e., two free indices) is equal to 1. In enumerating extreme points of the polytopes of line- and plane-stochastic tensors of order 3 and dimension $n$, we consider the approach by linear optimization and present new lower and upper bounds. We also study the coefficient matrices that define the polytopes.
Derivations of large classes of facet-defining inequalities of the weak order polytope using ranking structures
Published
• View Publication
• BIB
The study of ordering polytopes has been essential to the solution of various challenging combinatorial optimization problems. For instance, the incorporation of facet defining inequalities (FDIs) from these polytopes in branch-and-cut approaches represents among the most effective solution methodologies known to date for some of these problems. The weak order polytope, defined as the convex hull of the characteristic vectors of all binary orders on $n$ alternatives that are reflexive, transitive, and complete, has been particularly important for tackling problems in computational social choice, preference aggregation, and comparative probability. For the most part, FDIs for the weak order polytope have been obtained through enumeration and through derivation from FDIs of other combinatorial polytopes. This paper derives new classes of FDIs for the weak order polytope by utilizing the equivalent representation of a weak order as a ranking of $n$ objects that allows ties and by grouping characteristic vectors that share certain ranking structures. Furthermore, we demonstrate that a number of FDIs previously obtained through enumeration are actually special cases of these ranking-based FDIs.
The bipermutahedron
Published
• View Publication
• BIB
The harmonic polytope and the bipermutahedron are two related polytopes which arose in Ardila, Denham, and Huh's work on the Lagrangian geometry of matroids. We study the bipermutahedron. We show that its faces are in bijection with the vertex-labeled and edge-labeled multigraphs with no isolated vertices; the generating function for its f-vector is a simple evaluation of the three variable Rogers--Ramanujan function.
We show that the h-polynomial of the bipermutahedral fan is the biEulerian polynomial, which counts bipermutations according to their number of descents. We construct a unimodular triangulation of the product of n triangles that is combinatorially equivalent to (the triple cone over) the nth bipermutahedral fan. Ehrhart theory then gives us a formula for the biEulerian polynomial, which we use to show that this polynomial is real-rooted and that the h-vector of the bipermutahedral fan is log-concave and unimodal.
We describe all the deformations of the bipermutahedron; that is, the ample cone of the bipermutahedral toric variety. We prove that among all polytopes in this family, the bipermutahedron has the largest possible symmetry group. Finally, we show that the Minkowski quotient of the bipermutahedron and the harmonic polytope equals 2.
Generalized Cut Polytopes for Binary Hierarchical Models
Published in Alg. Stat. 14 (2023) 17-36
• View Publication
• BIB
Marginal polytopes are important geometric objects that arise in statistics as the polytopes underlying hierarchical log-linear models. These polytopes can be used to answer geometric questions about these models, such as determining the existence of maximum likelihood estimates or the normality of the associated semigroup. Cut polytopes of graphs have been useful in analyzing binary marginal polytopes in the case where the simplicial complex underlying the hierarchical model is a graph. We introduce a generalized cut polytope that is isomorphic to the binary marginal polytope of an arbitrary simplicial complex via a generalized covariance map. This polytope is full dimensional in its ambient space and has a natural switching operation among its facets that can be used to deduce symmetries between the facets of the correlation and binary marginal polytopes. We find complete H-representations of the generalized cut polytope for some important families of simplicial complexes. We also compute the volume of these polytopes in some instances.
Combinatorics of Nahm sums, quiver resultants and the K-theoretic condition
Published
• View Publication
• BIB
Algebraic Nahm equations, considered in the paper, are polynomial equations, governing the $q\rightarrow 1$ limit of the $q$-hypergeometric Nahm sums. They make an appearance in various fields: hyperbolic geometry, knot theory, quiver representation theory, topological strings and conformal field theory. In this paper we focus primarily on Nahm sums and Nahm equations that arise in relation with symmetric quivers. For a large class of them, we prove that quiver A-polynomials -- specialized resultants of the Nahm equations, are tempered (the so-called K-theoretic condition). This implies that they are quantizable. Moreover, we find that their face polynomials obey a remarkable combinatorial pattern. We use the machinery of initial forms and mixed polyhedral decompositions to investigate the edges of the Newton polytope. We show that this condition holds for the diagonal quivers with adjacency matrix $C = \mathrm{diag}(α,α,\dots,α),\ α\geq 2$, and provide several checks for non-diagonal quivers. Our conjecture is that the K-theoretic condition holds for all symmetric quivers.
Planar Matrices and Arrays of Feynman Diagrams: Poles for Higher $k$
Published
• View Publication
• BIB
Planar arrays of tree diagrams were introduced as a generalization of Feynman diagrams that enables the computation biadjoint amplitudes $m^{(k)}_n$ for $k>2$ . In this follow-up work we investigate the poles of $m^{(k)}_n$ from the perspective of such arrays. For general $k$ we characterize the underlying polytope as a Flag Complex and propose a computation of the amplitude based solely on the knowledge of poles, which number is drastically less than the number of full arrays. As an example we first provide all the poles for the cases $(k,n)=(3,7),(3,8),(4,8)$ and $(4,9)$ in terms of their generalized Feynman diagrams. We then implement a simple compatibility criteria together with an addition operation between arrays, and recover the full collections/arrays recently presented for such cases. Along the way we implement hard and soft kinematical limits, which provide a map between poles in kinematic space and their combinatoric arrays. We use the operation to give a proof of a previously conjectured combinatorial duality for arrays in $(k,n)$ and $(n-k,n)$. We also outline the relation to boundary maps of the hypersimplex $Δ_{k,n}$ and rays in the tropical Grassmannian $\textrm{Tr}(k,n)$.
On multi-symmetric functions and transportation polytopes
Published
• View Publication
• BIB
We present a study of the transportation polytopes appearing in the product rule of elementary multi-symmetric functions introduced by F. Vaccarino.
On the cardinality of sets in ${\bf R}^d$ obeying a slightly obtuse angle bound
Published
• View Publication
• BIB
In this paper we explicitly estimate the number of points in a subset $A \subset \R^{d}$ as a function of the maximum angle $\angle A$ that any three of these points form, provided $\angle A < θ_d := \arccos(-\frac 1 {d}) \in (π/2,π)$. We also show $\angle A < θ_d$ ensures that $A$ coincides with the vertex set of a convex polytope. This study is motivated by a question of Paul Erdős and indirectly by a conjecture of László Fejes Tóth.
Combinatorial Methods for Minkowski Tensors of Polytopes
In this paper we use a generating function approach to record and calculate entries of the Minkowski tensors of a polytope. We focus on ''surface tensors'', extending the methods used in arXiv:1807.10258 for moments of the uniform distribution which correspond to volume tensors. In this context we also extend the definition of the adjoint polynomial to the boundary complex of a polytope with simplicial facets. In the case of simplicial polytopes we give an explicit formulation for these surface tensors.
New interpretations of the higher Stasheff--Tamari orders
Published
• View Publication
• BIB
In 1996, Edelman and Reiner defined the two higher Stasheff--Tamari orders on triangulations of cyclic polytopes and conjectured them to coincide. We open up an algebraic angle for approaching this conjecture by showing how these orders arise naturally in the representation theory of the higher Auslander algebras of type $A$, denoted $A_{n}^{d}$. For this we give new combinatorial interpretations of the orders, making them comparable. We then translate these combinatorial interpretations into the algebraic framework. We also show how triangulations of odd-dimensional cyclic polytopes arise in the representation theory of $A_{n}^{d}$, namely as equivalence classes of maximal green sequences. We furthermore give the odd-dimensional counterpart to the known description of $2d$-dimensional triangulations as sets of non-intersecting $d$-simplices of a maximal size. This consists in a definition of two new properties which imply that a set of $d$-simplices produces a $(2d+1)$-dimensional triangulation.
Phylogenetic networks as circuits with resistance distance
Published
• View Publication
• BIB
Phylogenetic networks are notoriously difficult to reconstruct. Here we suggest that it can be useful to view unknown genetic distance along edges in phylogenetic networks as analogous to unknown resistance in electric circuits. This resistance distance, well known in graph theory, turns out to have nice mathematical properties which allow the precise reconstruction of networks. Specifically we show that the resistance distance for a weighted 1-nested network is Kalmanson, and that the unique associated circular split network fully represents the splits of the original phylogenetic network (or circuit). In fact, this full representation corresponds to a face of the balanced minimal evolution polytope for level-1 networks. Thus the unweighted class of the original network can be reconstructed by either the greedy algorithm neighbor-net or by linear programming over a balanced minimal evolution polytope. We begin study of 2-nested networks with both minimum path and resistance distance, and include some counting results for 2-nested networks.
Computing Volumes of Adjacency Polytopes via Draconian Sequences
Published
• View Publication
• BIB
Adjacency polytopes appear naturally in the study of nonlinear emergent phenomena in complex networks. The "PQ-type" adjacency polytope, denoted $\nabla^{\mathrm{PQ}}_G$ and which is the focus of this work, encodes rich combinatorial information about power-flow solutions in sparse power networks that are studied in electric engineering. Of particular importance is the normalized volume of such an adjacency polytope, which provides an upper bound on the number of distinct power-flow solutions.
In this article we show that the problem of computing normalized volumes for $\nabla^{\mathrm{PQ}}_G$ can be rephrased as counting $D(G)$-draconian sequences where $D(G)$ is a certain bipartite graph associated to the network. We prove recurrences for all networks with connectivity at most $1$ and, for $2$-connected graphs under certain restrictions, we give recurrences for subdividing an edge and taking the join of an edge with a new vertex. Together, these recurrences imply a simple, non-recursive formula for the normalized volume of $\nabla^{\mathrm{PQ}}_G$ when $G$ is part of a large class of outerplanar graphs; we conjecture that the formula holds for all outerplanar graphs. Explicit formulas for several other (non-outerplanar) classes are given. Further, we identify several important classes of graphs $G$ which are planar but not outerplanar that are worth additional study.
A family of matrix-tree multijections
Published in Algebraic Combinatorics, Volume 4 (2021) no. 5, pp. 795-822
• View Publication
• BIB
For a natural class of $r \times n$ integer matrices, we construct a non-convex polytope which periodically tiles $\mathbb R^n$. From this tiling, we provide a family of geometrically meaningful maps from a generalized sandpile group to a set of generalized spanning trees which give multijective proofs for several higher-dimensional matrix-tree theorems. In particular, these multijections can be applied to graphs, regular matroids, cell complexes with a torsion-free spanning forest, and representable arithmetic matroids with a multiplicity one basis. This generalizes a bijection given by Backman, Baker, and Yuen and extends work by Duval, Klivans, and Martin.
On convex holes in $d$-dimensional point sets
Published
• View Publication
• BIB
Given a finite set $A \subseteq \mathbb{R}^d$, points $a_1,a_2,\dotsc,a_{\ell} \in A$ form an $\ell$-hole in $A$ if they are the vertices of a convex polytope which contains no points of $A$ in its interior. We construct arbitrarily large point sets in general position in $\mathbb{R}^d$ having no holes of size $O(4^dd\log d)$ or more. This improves the previously known upper bound of order $d^{d+o(d)}$ due to Valtr. The basic version of our construction uses a certain type of equidistributed point sets, originating from numerical analysis, known as $(t,m,s)$-nets or $(t,s)$-sequences, yielding a bound of $2^{7d}$. The better bound is obtained using a variant of $(t,m,s)$-nets, obeying a relaxed equidistribution condition.
Plattenbauten: Touching Rectangles in Space
Published
• View Publication
• BIB
Planar bipartite graphs can be represented as touching graphs of horizontal and vertical segments in $\mathbb{R}^2$. We study a generalization in space: touching graphs of axis-aligned rectangles in $\mathbb{R}^3$, and prove that planar 3-colorable graphs can be represented this way. The result implies a characterization of corner polytopes previously obtained by Eppstein and Mumford. A by-product of our proof is a distributive lattice structure on the set of orthogonal surfaces with given skeleton. Further, we study representations by axis-aligned non-coplanar rectangles in $\mathbb{R}^3$ such that all regions are boxes. We show that the resulting graphs correspond to octahedrations of an octahedron. This generalizes the correspondence between planar quadrangulations and families of horizontal and vertical segments in $\mathbb{R}^2$ with the property that all regions are rectangles.
Angle sums of simplicial polytopes
The interior angle vector ($\widehatα$-vector) of a polytope is a metric analogue of the $f$-vector in which faces are weighted by their solid angle. For simplicial polytopes, Dehn-Sommerville-type relations on the $\widehatα$-vector were introduced by Sommerville (1927) and Höhn (1953). Camenga (2006) defined the $\widehatγ$-vector, a linear transformation analogous to the $h$-vector and conjectured it to be non-negative. Using tools from geometric and algebraic combinatorics, we prove this conjecture and show that the $\widehatγ$-vector increases in the first half and is flawless. In contrast to the $h$-vector, we construct a six-dimensional polytope with non-unimodal $\widehatγ$-vector. More generally, all result remain valid when solid angles are replaced by simple and non-negative cone valuations.