polytope ↗ reference
3112 papers tagged with this keyword
Physical Representations for Scattering Amplitudes and the Wavefunction of the Universe
Published
• View Publication
• BIB
The way we organise perturbation theory is of fundamental importance both for computing the observables of relevance and for extracting fundamental physics out of them. If on one hand the different ways in which the perturbative observables can be written make manifest different features (e.g. symmetries as well as principles such as unitarity, causality and locality), on the other hand precisely demanding that some concrete features are manifest lead to different ways of organising perturbation theory. In the context of flat-space scattering amplitudes, a number of them are already known and exploited, while much less is known for cosmological observables. In the present work, we show how to systematically write down both the wavefunction of the universe and the flat-space scattering amplitudes, in such a way that they manifestly show physical poles only. We make use of the invariant definition of such observables in terms of {\it cosmological polytopes} and their {\it scattering facet}. In particular, we show that such representations correspond to triangulations of such objects through hyperplanes identified by the intersection of their facets outside of them. All possible triangulations of this type generate the different representations. This allows us to provide a general proof for the conjectured all-loop causal representation of scattering amplitudes. Importantly, all such representations can be viewed as making explicit a subset of compatible singularities, and our construction provides a way to extend Steinmann relations to higher codimension singularities for both the flat-space scattering amplitudes and the cosmological wavefunction.
Quiver combinatorics for higher-dimensional triangulations
We investigate the combinatorics of quivers that arise from triangulations of even-dimensional cyclic polytopes. Work of Oppermann and Thomas pinpoints such quivers as the prototypes for higher-dimensional cluster theory. We first show that a $2d$-dimensional triangulation has no interior $(d + 1)$-simplices if and only if its quiver is a cut quiver of type $A$, in the sense of Iyama and Oppermann. This is a higher-dimensional generalisation of the fact that triangulations of polygons with no interior triangles correspond to orientations of an $A_{n}$ Dynkin diagram. An application of this first result is that the set of triangulations of a $2d$-dimensional cyclic polytope with no interior $(d + 1)$-simplices is connected via bistellar flips -- the higher-dimensional analogue of flipping a diagonal inside a quadrilateral. In dimensions higher than 2, bistellar flips cannot be performed at all locations in a triangulation. Our second result gives a quiver-theoretic criterion for performing bistellar flips on a triangulation of a $2d$-dimensional cyclic polytope. This provides a visual tool for studying mutability of higher-dimensional triangulations and points towards what a theory of higher-dimensional quiver mutation could look like. Indeed, we apply this result to give a rule for mutating cut quivers at vertices which are not necessarily sinks or sources.
A Complete Linear Programming Hierarchy for Linear Codes
A longstanding open problem in coding theory is to determine the best (asymptotic) rate $R_2(δ)$ of binary codes with minimum constant (relative) distance $δ$. An existential lower bound was given by Gilbert and Varshamov in the 1950s. On the impossibility side, in the 1970s McEliece, Rodemich, Rumsey and Welch (MRRW) proved an upper bound by analyzing Delsarte's linear programs. To date these results remain the best known lower and upper bounds on $R_2(δ)$ with no improvement even for the important class of linear codes. Asymptotically, these bounds differ by an exponential factor in the blocklength.
In this work, we introduce a new hierarchy of linear programs (LPs) that converges to the true size $A^{\text{Lin}}_2(n,d)$ of an optimum linear binary code (in fact, over any finite field) of a given blocklength $n$ and distance $d$.
This hierarchy has several notable features:
(i) It is a natural generalization of the Delsarte LPs used in the first MRRW bound.
(ii) It is a hierarchy of linear programs rather than semi-definite programs potentially making it more amenable to theoretical analysis.
(iii) It is complete in the sense that the optimum code size can be retrieved from level $O(n^2)$.
(iv) It provides an answer in the form of a hierarchy (in larger dimensional spaces) to the question of how to cut Delsarte's LP polytopes to approximate the true size of linear codes.
We obtain our hierarchy by generalizing the Krawtchouk polynomials and MacWilliams inequalities to a suitable "higher-order" version taking into account interactions of $\ell$ words. Our method also generalizes to translation schemes under mild assumptions.
Automorphism groups and normal forms in Normaliz
Published
• View Publication
• BIB
We discuss the computation of automorphism groups and normal forms of cones and polyhedra in Normaliz, and indicate its implementation via nauty. The types of automorphisms include integral, rational, Euclidean and combinatorial, as well as algebraic for polytopes defined over real algebraic number fields. Examples treated in detail are the icosahedron and linear ordering polytopes whose Euclidean automorphism groups are determined.
Facet volumes of polytopes
In this paper, motivated by the work of Edelman and Strang, we show that for fixed integers $d\geq 2$ and $n\geq d+1$ the configuration space of all facet volume vectors of all $d$-polytopes in $\mathbb R^{d}$ with $n$ facets is a full dimensional cone in $\mathbb R^{n}$. In particular, for tetrahedra ($d=3$ and $n=4$) this is a cone over a regular octahedron. Our proof is based on a novel configuration space / test map scheme which uses topological methods for finding solutions of a problem, and tools of differential geometry to identify solutions with the desired properties. Furthermore, our results open a possibility for the study of realization spaces of all $d$-polytopes in $\mathbb R^{d}$ with $n$ facets by the methods of algebraic topology.
A quick estimate for the volume of a polyhedron
Published
• View Publication
• BIB
Let $P$ be a bounded polyhedron defined as the intersection of the non-negative orthant ${\Bbb R}^n_+$ and an affine subspace of codimension $m$ in ${\Bbb R}^n$. We show that a simple and computationally efficient formula approximates the volume of $P$ within a factor of $γ^m$, where $γ>0$ is an absolute constant. The formula provides the best known estimate for the volume of transportation polytopes from a wide family.
Relative poset polytopes and semitoric degenerations
Published
• View Publication
• BIB
The two best studied toric degenerations of the flag variety are those given by the Gelfand--Tsetlin and FFLV polytopes. Each of them degenerates further into a particular monomial variety which raises the problem of describing the degenerations intermediate between the toric and the monomial ones. Using a theorem of Zhu one may show that every such degeneration is semitoric with irreducible components given by a regular subdivision of the corresponding polytope. This leads one to study the parts that appear in such subdivisions as well as the associated toric varieties. It turns out that these parts lie in a certain new family of poset polytopes which we term relative poset polytopes: each is given by a poset and a weakening of its order relation. In this paper we give an in depth study of (both common and marked) relative poset polytopes and their toric varieties in the generality of an arbitrary poset. We then apply these results to degenerations of flag varieties. We also show that our family of polytopes generalizes the family studied in a series of papers by Fang, Fourier, Litza and Pegel while sharing their key combinatorial properties such as pairwise Ehrhart-equivalence and Minkowski-additivity.
Unimodular triangulations of sufficiently large dilations
An integral polytope is a polytope whose vertices have integer coordinates. A unimodular triangulation of an integral polytope in $\mathbb{R}^d$ is a triangulation in which all simplices are integral with volume $1/d!$. A classic result of Knudsen, Mumford, and Waterman states that for every integral polytope $P$, there exists a positive integer $c$ such that $cP$ has a unimodular triangulation. We strengthen this result by showing that for every integral polytope $P$, there exists $c$ such that for every positive integer $c' \ge c$, $c'P$ admits a unimodular triangulation. This answers a longstanding question in the area.
Persistence for a class of order-one autoregressive processes and Mallows-Riordan polynomials
Published
• View Publication
• BIB
We establish exact formulae for the persistence probabilities of an AR(1) sequence with symmetric uniform innovations in terms of certain families of polynomials, most notably a family introduced by Mallows and Riordan as enumerators of finite labeled trees when ordered by inversions. The connection of these polynomials with the volumes of certain polytopes is also discussed. Two further results provide factorizations of general AR(1) models, one for negative drifts with continuous innovations, and one for positive drifts with continuous and symmetric innovations. The second factorization extends a classical universal formula of Sparre Andersen for symmetric random walks. Our results also lead to explicit asymptotic estimates for the persistence probabilities.
On the Dominant of the Multicut Polytope
Published
• View Publication
• BIB
Given a graph $G=(V,E)$ and a set $S \subseteq \binom{V}{2}$ of terminal pairs, the minimum multicut problem asks for a minimum edge set $δ\subseteq E$ such that there is no $s$-$t$-path in $G -δ$ for any $\{s,t\}\in S$. For $|S|=1$ this is the well known $s$-$t$-cut problem, but in general the minimum multicut problem is NP-complete, even if the input graph is a tree. The multicut polytope $\text{MultC}^\square (G,S)$ is the convex hull of all multicuts in $G$; the multicut dominant is given by $\text{MultC}(G,S)=\text{MultC}^\square (G,S)+\mathbb{R}^E$. The latter is the relevant object for the minimization problem. While polyhedra associated to several cut problems have been studied intensively there is only little knowledge for multicut.
We investigate properties of the multicut dominant and in particular derive results on liftings of facet-defining inequalities. This yields a classification of all facet-defining path- and edge inequalities. Moreover, we investigate the effect of graph operations such as node splitting, edge subdivisions, and edge contractions on the multicut-dominant and its facet-defining inequalities. In addition, we introduce facet-defining inequalities supported on stars, trees, and cycles and show that the former two can be separated in polynomial time when the input graph is a tree.
Facets of the Total Matching Polytope for bipartite graphs
The Total Matching Polytope generalizes the Stable Set Polytope and the Matching Polytope. In this paper, we give the perfect formulation for Trees and we derive two new families of valid inequalities, the balanced biclique inequalities which are always facet-defining and the non-balanced lifted biclique inequalities obtained by a lifting procedure, which are facet-defining for bipartite graphs. Finally, we give a complete description for Complete Bipartite Graphs.
On the Simplex method for 0/1 polytopes
Published
• View Publication
• BIB
We present new pivot rules for the Simplex method for LPs over 0/1 polytopes. We show that the number of non-degenerate steps taken using these rules is strongly polynomial and even linear in the dimension or in the number of variables. Our bounds on the number of steps are asymptotically optimal on several well-known combinatorial polytopes. Our analysis is based on the geometry of 0/1 polytopes and novel modifications to the classical Steepest-Edge and Shadow-Vertex pivot rules. We draw interesting connections between our pivot rules and other well-known algorithms in combinatorial optimization.
Acyclic reorientation lattices and their lattice quotients
Published in Ann. Comb. 28(4):1035-1092, 2024
• View Publication
• BIB
We prove that the acyclic reorientation poset of a directed acyclic graph $D$ is a lattice if and only if the transitive reduction of any induced subgraph of $D$ is a forest. We then show that the acyclic reorientation lattice is always congruence normal, semidistributive (thus congruence uniform) if and only if $D$ is filled, and distributive if and only if $D$ is a forest. When the acyclic reorientation lattice is semidistributive, we introduce the ropes of $D$ that encode the join irreducibles acyclic reorientations and exploit this combinatorial model in three directions. First, we describe the canonical join and meet representations of acyclic reorientations in terms of non-crossing rope diagrams. Second, we describe the congruences of the acyclic reorientation lattice in terms of lower ideals of a natural subrope order. Third, we use Minkowski sums of shard polytopes of ropes to construct a quotientope for any congruence of the acyclic reorientation lattice.
Matroids on Eight Elements with the Half-plane Property and Related Concepts
Published in SIAM J. Discrete Math. Vol. 37, No. 3 (2023), pp. 2208-2227
• View Publication
• BIB
We classify all matroids with at most 8 elements that have the half-plane property, and we provide a list of some matroids on 9 elements that have, and that do not have the half-plane property. Furthermore, we prove that several classes of matroids and polynomials that are motivated by the theory of semidefinite programming are closed under taking minors and under passing to faces of the Newton polytope.
The geometry of geometries: matroid theory, old and new
Published
• View Publication
• BIB
The theory of matroids or combinatorial geometries originated in linear algebra and graph theory, and has deep connections with many other areas, including field theory, matching theory, submodular optimization, Lie combinatorics, and total positivity. Matroids capture the combinatorial essence that these different settings share. In recent years, the (classical, polyhedral, algebraic, and tropical) geometric roots of the field have grown much deeper, bearing new fruits. We survey some recent successes, stemming from three geometric models of a matroid: the matroid polytope, the Bergman fan, and the conormal fan.
On volumes of hyperbolic right-angled polyhedra
Published
• View Publication
• BIB
In this paper we obtain new upper bounds on volumes of right-angled polyhedra in hyperbolic space $\mathbb{H}^3$ in three different cases: for ideal polyhedra with all vertices on the ideal hyperbolic boundary, for compact polytopes with only finite (or usual) vertices, and for finite volume polyhedra with vertices of both types.
On the moments of moments of random matrices and Ehrhart polynomials
Published
• View Publication
• BIB
There has been significant interest in studying the asymptotics of certain generalised moments, called the moments of moments, of characteristic polynomials of random Haar-distributed unitary and symplectic matrices, as the matrix size $N$ goes to infinity. These quantities depend on two parameters $k$ and $q$ and when both of them are positive integers it has been shown that these moments are in fact polynomials in the matrix size $N$. In this paper we classify the integer roots of these polynomials and moreover prove that the polynomials themselves satisfy a certain symmetry property. This confirms some predictions from the thesis of Bailey. The proof uses the Ehrhart-Macdonald reciprocity for rational convex polytopes and certain bijections between lattice points in some polytopes.
Edge connectivity of simplicial polytopes
Published
• View Publication
• BIB
A simplicial polytope is a polytope with all its facets being combinatorially equivalent to simplices. We deal with the edge connectivity of the graphs of simplicial polytopes. We first establish that, for any $d\ge 3$, for any $d\ge 3$, every minimum edge cut of cardinality at most $4d-7$ in such a graph is \textit{trivial}, namely it consists of all the edges incident with some vertex. A consequence of this is that, for $d\ge 3$, the graph of a simplicial $d$-polytope with minimum degree $δ$ is $\min\{δ,4d-6\}$-edge-connected. In the particular case of $d=3$, we have that every minimum edge cut in a plane triangulation is trivial; this may be of interest to researchers in graph theory.
Second, for every $d\ge 4$ we construct a simplicial $d$-polytope whose graph has a nontrivial minimum edge cut of cardinality $(d^{2}+d)/2$. This gives a simplicial 4-polytope with a nontrivial minimum edge cut that has ten edges. Thus, the aforementioned result is best possible for simplicial $4$-polytopes.
Transversals and colorings of simplicial spheres
Published
• View Publication
• BIB
Motivated from the surrounding property of a point set in $\mathbb{R}^d$ introduced by Holmsen, Pach and Tverberg, we consider the transversal number and chromatic number of a simplicial sphere. As an attempt to give a lower bound for the maximum transversal ratio of simplicial $d$-spheres, we provide two infinite constructions. The first construction gives infintely many $(d+1)$-dimensional simplicial polytopes with the transversal ratio exactly $\frac{2}{d+2}$ for every $d\geq 2$. In the case of $d=2$, this meets the previously well-known upper bound $1/2$ tightly. The second gives infinitely many simplicial 3-spheres with the transversal ratio greater than $1/2$. This was unexpected from what was previously known about the surrounding property. Moreover, we show that, for $d\geq 3$, the facet hypergraph $\mathcal{F}(\mathsf{K})$ of a $d$-dimensional simplicial sphere $\mathsf{K}$ has the chromatic number $χ(\mathcal{F}(\mathsf{K})) \in O(n^{\frac{\lceil d/2\rceil-1}{d}})$, where $n$ is the number of vertices of $\mathsf{K}$. This slightly improves the upper bound previously obtained by Heise, Panagiotou, Pikhurko, and Taraz.
On some algorithmic aspects of hypergraphic matroids
Published
• View Publication
• BIB
Hypergraphics matroids were studied first by Lorea and later by Frank et al. They can be seen as generalizations of graphic matroids. Here we show that several algorithms developed for the graphic case can be extended to hypergraphic matroids. We treat the following: the separation problem for the associated polytope, testing independence, separation of partition inequalities, computing the rank of a set, computing the strength, computing the arboricity and network reinforcement.