polytope ↗ reference
3022 papers tagged with this keyword
Generalised wavefunction coefficients and acyclonesto-cosmohedra
Published in J.Phys.A 58 (2025) 465403
• View Publication
• BIB
Scattering amplitudes of $\operatorname{tr}(φ^3)$ theory can be encoded as the canonical form of the Stasheff associahedron. Similarly, the flat-space wavefunction coefficients of the same theory are captured by the recently proposed cosmohedron, a non-simple polytope associated to the Stasheff associahedron; unitarity and locality of the amplitudes and wavefunction coefficients are then encoded in the factorisation properties of faces of these polytopes. In this paper, we argue that these desirable properties of the Stasheff associahedron are shared by a wider class of polytopes called acyclonestohedra and generalise the cosmohedron construction to arbitrary acyclonestohedra.
Acyclonestohedra are generalisations of Stasheff associahedra and graph associahedra defined on the data of a partially ordered set or, more generally, an acyclic realisable matroid on a building set. When the acyclonestohedron is associated to a partially ordered set, it may be interpreted as arising from Chan-Paton-like factors that are only (cyclically) partially ordered, rather than (cyclically) totally ordered as for the ordinary open string. In this paper, we argue that the canonical forms of acyclonestohedra encode scattering-amplitude-like objects that factorise onto themselves, thereby extending recent results for graph associahedra, and construct truncations of acyclonestohedra into acyclonesto-cosmohedra whose canonical forms may be interpreted as encoding a generalisation of the cosmological wavefunction coefficients. As a byproduct, we provide evidence that acyclonesto-cosmohedra can be obtained as sections of graph cosmohedra.
Vector-valued Laurent polynomial equations, toric vector bundles and matroids
Let $L \subset \mathbb{C}^r \otimes \mathbb{C}[x_1^\pm, \ldots, x_n^\pm]$ be a finite dimensional subspace of vector-valued Laurent polynomials invariant under the action of torus $(\mathbb{C}^*)^n$. We study subvarieties in the torus, defined by equations $f = 0$ for generic $f \in L$. We generalize the BKK theorem, that counts the number of solutions of a system of Laurent polynomial equations generic for their Newton polytopes, to this setting. The answer is in terms of mixed volume of certain virtual polytopes encoding discrete invariants of $L$ which involves matroid data. Moreover, we prove an Alexandrov-Fenchel type inequality for these virtual polytopes. Finally, we extend this inequality to non-representable polymatroids. This extends the usual Alexandrov-Fenchel inequality for polytopes as well as log-concavity results related to matroids.
On the Importance of Studying the Membership Problem for Pedigree Polytopes
Given $n \geq 3$, a combinatorial object called a \textit{ pedigree } is defined using $3$-element subsets from $[n]$ obeying certain conditions. The convex hull of pedigrees is called the pedigree polytope for $n$. Pedigrees are in $1-1$ correspondence with Hamiltonian cycles. Properties of pedigrees, pedigree polytopes, adjacency structure of the graph of the pedigree polytope and their implication on the adjacency structure of the Symmetric Travelling Salesman problem (STSP) polytope have been studied earlier in the literature by the author.
The question: Given $X$, does it belong to the pedigree polytope for $n$? is called the membership problem. This article provides proof that the membership problem for pedigree polytopes can be solved efficiently. Due to the pedigree's stem property, we can check the membership problem sequentially for $ k \in [4, n]$. One constructs a layered network, recursively, to check membership in the pedigree polytope. Proof of the proposed framework's validity is given. This article's significant and far-reaching contribution is that the membership problem has a strongly polynomial-time framework.
Since the polynomial solvability of the membership problem implies that one can solve efficiently any linear optimisation problem over the pedigree polytope. And a specific linear optimisation over the pedigree polytope (the multistage insertion formulation) solves the STSP.
The consequence of this result is that we have proof of $NP = P$. A recent book by the author entitled \textit{Pedigree Polytopes} brings together published results on pedigrees and some new results, mainly in Chapters 5 and 6. The primary purpose of this article is to present the latest results from that book in a self-contained fashion so that experts can vet the same. Some of the proofs and presentation of concepts in this article are new.
Approximation Depth of Convex Polytopes
We study approximations of polytopes in the standard model for computing polytopes using Minkowski sums and (convex hulls of) unions. Specifically, we study the ability to approximate a target polytope by polytopes of a given depth. Our main results imply that simplices can only be ``trivially approximated''. On the way, we obtain a characterization of simplices as the only ``outer additive'' convex bodies.
Radon Partitions of Random Gaussian Polytopes
In this paper we study a probabilistic framework for Radon partitions, where our points are chosen independently from the $d$-dimensional normal distribution. For every point set we define a corresponding Radon polytope, which encodes all information about Radon partitions of our set - with Radon partitions corresponding to faces of the polytope. This allows us to derive expressions for the probability that a given partition of $N$ randomly chosen points in $\mathbb{R}^d$ forms a Radon partition. These expressions involve conic kinematic formulas and intrinsic volumes, and in general require repeated integration, though we obtain closed formulas in some cases. This framework can provide new perspectives on open problems that can be formulated in terms of Radon partitions, such as Reay's relaxed Tverberg conjecture.
Newton numbers, vanishing polytopes and algebraic degrees
Consider a polynomial $f$ with a convenient Newton polytope $P$ and generic complex coefficients. By the global version of the Kouchnirenko formula, the hypersurface $\{f = 0\} \subset \mathbb{C}^n$ has the homotopy type of a bouquet of $(n-1)$-spheres, and the number of spheres is given by a certain alternating sum of volumes, called the Newton number $ν(P)$. Using the Furukawa-Ito classification of dual defective sets, we classify convenient Newton polytopes with vanishing Newton numbers as certain Cayley sums called $B_k$-polytopes. These $B_k$-polytopes generalize the $B_1$- and $B_2$-facets appearing in the local monodromy conjecture in the Newton non-degenerate case. Our classification provides a partial solution to Arnold's monotonicity problem.
The local $h^*$-polynomial (or $\ell^*$-polynomial) is a natural invariant of lattice polytopes that refines the $h^*$-polynomial coming from Ehrhart theory. We obtain decomposition formulas for the Newton number, for instance, prove the inequality $ν(P) \ge \ell^*(P;1)$. The $B_k$-polytopes are non-trivial examples of thin polytopes.
We generalize the Newton number in two independent ways: the $\ell$-Newton number and the $e$-Newton number. The $\ell$-Newton number comes from Ehrhart theory, namely, from certain generalizations of Katz-Stapledon decomposition formulas, and its properties are central to our proof that the $B_k$-polytopes are thin. The $e$-Newton number is the number of points of zero-dimensional critical complete intersections. Vanishing of the $e$-Newton number characterizes dual defective sets. Furthermore, the $e$-Newton number calculates algebraic degrees (such as Maximum Likelihood, Euclidean Distance and Polar degrees). For instance, we show that all known formulas for these algebraic degrees in the Newton non-degenerate case are implied by basic properties of the $e$-Newton number.
Sharp Threshold for Cliques in Random 0/1 Polytope Graphs
We study graph-theoretic properties of random $0/1$ polytopes. Specifically, let $Q_p^n \subseteq \{0,1\}^n$ be a random subset where each point is included independently with probability $p$, and consider the graph $G_p$ of the polytope conv$(Q_p^n)$. We provide a short and combinatorial proof that $p = 2^{-n/2}$ is a threshold for the edge density of $G_p$, a result originally due to Kaibel and Remshagen. We next resolve an open question from their paper by showing that for $p \leq 2^{-n/2 - o(1)}$, $G_p$ exhibits strong edge expansion. In particular, we prove that, with high probability, every vertex has degree $(1 - o(1))|Q_p^n|$. Lastly, we determine the threshold for $G_p$ being a clique, strengthening a result of Bondarenko and Brodskiy. We show that with high probability, if $p \geq 2^{-δn + o(1)}$, then $G_p$ is not a clique, and if $ p \leq 2^{-δn - o(1)}$, then $G_p$ is a clique, where $δ\approx 0.8295$. Our approach combines a combinatorial characterization of edges in graphs arising from polytopes with the Kim-Vu polynomial concentration inequality.
Adjoints of Polytopes: Determinantal Representations and Smoothness
Published
• View Publication
• BIB
In this article we study determinantal representations of adjoint hypersurfaces of polytopes. We prove that adjoint polynomials of all polygons can be represented as determinants of tridiagonal symmetric matrices of linear forms with the matrix size being equal to the degree of the adjoint. We prove a sufficient combinatorial condition for a surface in the projective three-space to have a determinantal representation and use it to show that adjoints of all three-dimensional polytopes with at most eight facets and a simple facet hyperplane arrangement admit a determinantal representation. This includes all such polytopes with a smooth adjoint. We demonstrate that, starting from four dimensions, adjoint hypersurfaces may not admit linear determinantal representations. Along the way we prove that, starting from three dimensions, adjoint hypersurfaces are typically singular, in contrast to the two-dimensional case. We also consider a special case of interest to physics, the ABHY associahedron. We construct a determinantal representation of its universal adjoint in three dimensions and show that in higher dimensions a similarly structured representation does not exist.
Ordered set partition posets
The lattice of partitions of a set and its d-divisible generalization have been much studied for their combinatorial, topological, and representation-theoretic properties. An ordered set partition is a set partition where the subsets are listed in a specific order. Ordered set partitions appear in combinatorics, number theory, permutation polytopes, and the study of coinvariant algebras. The ordered set partitions of {1,\ldots,n} can be partially ordered by refinement and then a unique minimal element attached, resulting in a lattice Omega_n. This lattice has appeared while studying other combinatorial objects, but not as the central focus. The purpose of this paper is to provide the first comprehensive look at Omega_n. In particular, we show that it admits a recursive atom ordering, and study the action of the symmetric group S_n on associated homology groups, looking in particular at the multiplicity of the trivial representation. We also consider the related posets where every block has size either divisible by some fixed d at least 2 or congruent to 1 modulo d. Open problems and avenues for future research are scattered throughout.
Signed Minkowski decompositions of convex polygons into minimum simplices and factorization of max-plus functions
Signed Minkowski decomposition is an expression of a polytope as a Minkowski sum and difference of smaller polytopes. Signed Minkowski decompositions of a polytope can be interpreted as factorizations of a max-plus (tropical) function. We review two relations about Minkowski decompositions, and we prove that any 2-dimensional integral polytopes (polygons) have a signed Minkowski decomposition which consists of integral points, integral line segments of length 1, and integral triangles of area 1/2. From this result, we also obtain that any max-plus functions with two variables and integer coefficients can be expressed as a set of specified form of simpler max-plus functions.
An Explicit Formula for Vertex Enumeration in the CUT(n) Polytope via Probabilistic Methods
We present an explicit closed-form formula for the vertices of the classical cut polytope $\operatorname{CUT}(n)$, defined as the convex hull of cut vectors of the complete graph $K_n$. Our derivation proceeds via a related polytope, denoted $\mathbf{1}$-$\operatorname{CUT}(n)$, whose vertices are obtained by flipping all bits of the $\operatorname{CUT}(n)$ vertices. This polytope arises naturally in a probabilistic context involving agreement probabilities among symmetric Bernoulli random variables which serves as the starting point of this work.
Our approach constructs the vertex set recursively via a binary encoding that stems from this probabilistic perspective. We prove that the resulting sequence of encoded integers, when appropriately scaled, exhibits an almost-linear behavior closely approximating the line $y = x - \frac{1}{2}$. This structure motivates the introduction of the alternating cycle function, an integer-valued map whose key property is power-of-two composition invariance. The function serves as the foundation for our closed-form enumeration formula.
The result provides a rare instance of explicit vertex characterization for a $0$/$1$-polytope and offers a transparent combinatorial construction independent of enumeration algorithms.
Closed-Form Decomposition for Simplicial Cones and PDBarv Algorithm for Lattice Point Counting
Counting lattice points within a rational polytope is a foundational problem with applications across mathematics and computer science. A key approach is Barvinok's algorithm, which decomposes the lattice point generating function of cones to that of unimodular cones. However, standard implementations face difficulties: the original primal method struggles with points on cone boundaries, while the alternative dual method can be slow for certain cone types.
This paper introduces two main contributions. First, We derive a closed-form expression for these generating functions using arbitrary lattice point decompositions, enabling more effective primal space decomposition. Second, by decomposing both the cone and its dual cone starting from the side with a smaller index, we develop a novel algorithm called \textup{PDBarv}. This hybrid approach integrates the primal and dual Barvinok algorithms with a novel acceleration strategy, achieving an average computational performance improvement of over 20\% in dimension 5 and even better in higher dimensions.
Polytopality criteria for the mix of polytopes and maniplexes
The mix of two maniplexes is the minimal maniplex that covers both. This construction has many important applications, such as finding the smallest regular cover of a maniplex. If one of the maniplexes is an abstract polytope, a natural question to ask is whether the mix is also a polytope. We describe here a general criterion for the polytopality of the mix which generalizes several previously-known polytopality criteria.
Complete polyhedral description of chemical graphs of maximum degree at most 3
Chemical graphs are simple undirected connected graphs, where vertices represent atoms in a molecule and edges represent chemical bonds. A degree-based topological index is a molecular descriptor used to study specific physicochemical properties of molecules. Such an index is computed from the sum of the weights of the edges of a chemical graph, each edge having a weight defined by a formula that depends only on the degrees of its endpoints. Given any degree-based topological index and given two integers $n$ and $m$, we are interested in determining chemical graphs of order $n$ and size $m$ that maximize or minimize the index. Focusing on chemical graphs with maximum degree at most 3, we show that this reduces to determining the extreme points of a polytope that contains at most 10 facets. We also show that the number of extreme points is at most 16, which means that for any given $n$ and $m$, there are very few different classes of extremal graphs, independently of the chosen degree-based topological index.
Correlator Polytopes
Published in Phys. Rev. D 113, 025005 (2026)
• View Publication
• BIB
Recently, "cosmohedra" have been introduced as polytopes underlying the cosmological wavefunction for conformally coupled Tr($Φ^3$) theory in FRW cosmologies, generalizing associahedra for flat space scattering amplitudes. In this letter we show that correlation functions are also directly captured by a new polytope - the "Correlatron". The combinatorics of correlation functions is an interesting blend of flat space scattering amplitudes and wavefunctions. This is reflected in the correlatron geometry, which is a one-higher dimensional polytope sandwiched between cosmohedron and associahedron facets. We provide an explicit embedding for the correlatron, which is a natural extension of the "shaving" picture for cosmohedra to one higher dimension. As a byproduct, we also define "graph correlahedra" as polytopes for the contribution to correlators from any fixed graph. We show how the canonical form of these polytopes directly computes the graph correlator, without the power of two weights seen in previous geometric formulations. Finally, we give a prescription for extracting the full correlator from the canonical form of the correlatron.
Maximal Achievable Service Rates of Codes and Connections to Combinatorial Designs
We investigate the service-rate region (SRR) of distributed storage systems that employ linear codes. We focus on systems where each server stores one code symbol, and a user recovers a data symbol by accessing any of its recovery groups, subject to per-server capacity limits. The SRR--the convex polytope of simultaneously achievable request rates--captures system throughput and scalability. We first derive upper and lower bounds on the maximum request rate of each data object. These bounds hold for all linear codes and depend only on the number of parity checks orthogonal to a particular set of codeword coordinates associated with that object, i.e., the equations used in majority-logic decoding, and on code parameters. We then check the bound saturation for 1) all non-systematic codes whose SRRs are already known and 2) systematic codes. For the former, we prove the bounds are tight. For systematic codes, we show that the upper bound is achieved whenever the supports of minimum-weight dual codewords form a 2-design. As an application, we determine the exact per-object demand limits for binary Hamming codes. Our framework provides a new lens to address the SRR problem through combinatorial design theory.
Matroids, intersecting bases, and Borsuk property
A subset $S$ of $\mathbb R^d$ has the Borsuk property if it can be decomposed into at most $d+1$ parts of diameter smaller than $S$. This is an important geometric property, inspired by a conjecture of Borsuk from the 1930s, which has attracted considerable attention over the years. In this paper, we define and investigate the Borsuk property for matroids, providing a purely combinatorial approach to the Borsuk property for matroid polytopes, a well-studied family of $(0,1)$-polytopes associated with matroids. We show that a sufficient condition for a matroid -- and thus its matroid polytope -- to have the Borsuk property is that the matroid or its dual has two disjoint bases. However, we show that this condition is not necessary by exhibiting infinite families of matroids having the Borsuk property and yet being such that every two bases intersect and every two cobases intersect. Kneser graphs, which form an important object from topological combinatorics, play a crucial role in most proofs.
Hamiltonian connectivity of some base-cobase graphs
There has been wide interest in understanding which properties of base graphs of matroids extend to base-cobase graphs of matroids. A significant result of Naddef and Pulleyblank (1984) shows that the $1$-skeleton of any $(0,1)$-polytope is either a hypercube, or Hamiltonian-connected, i.e. there is a Hamiltonian path connecting any two vertices. In particular, this is true for base graphs of matroids. A natural question raised by Farber, Richter, and Shank (1985) is whether this extends to base-cobase graphs.
First, we use the polytopal approach to show Hamiltonian connectivity of base-cobase graphs of series-parallel extensions of lattice path matroids. On the other hand, we show that this method extends to only very special classes related to identically self-dual matroids. Second, we show that base-cobase graphs of wheels and whirls are Hamiltonian connected. Last, we show that the regular matroid $R_{10}$ yields a negative answer to the question of Farber, Richter, and Shank.
Examples of complete Calabi--Yau metrics on affine smoothings of irregular toric Calabi--Yau cones
We present new examples of affine Calabi--Yau manifolds of Euclidean volume growth and quadratic curvature decay, whose tangent cones at infinity are irregular and have smooth links. In the process, we demonstrate (and provide the relevant computer code) how to explicitly compute the Reeb field and all Minkowski decompositions of a given toric Calabi--Yau cone with smooth link from the data of its toric polytope. Minkowski decompositions of this polytope into lattice segments and/or triangles give rise to smoothings of the given cone. Furthermore, we propose an effective strategy to generate smoothable Calabi--Yau cones from a given non-smoothable one by taking Minkowski sums of certain toric diagrams, and provide an example to illustrate the method.
Covering radii of $3$-zonotopes and the shifted Lonely Runner Conjecture
We show that the shifted Lonely Runner Conjecture (sLRC) holds for 5 runners. We also determine that there are exactly 3 primitive tight instances of the conjecture, only two of which are tight for the non-shifted conjecture (LRC). Our proof is computational, relying on a rephrasing of the sLRC in terms of covering radii of certain zonotopes (Henze and Malikiosis, 2017), and on an upper bound for the (integer) velocities to be checked (Malikiosis, Santos and Schymura, 2024+).
As a tool for the proof, we devise an algorithm for bounding the covering radius of rational lattice polytopes, based on constructing dyadic fundamental domains.