polytope ↗ reference
3024 papers tagged with this keyword
Proving some conjectures on Kekulé numbers for certain benzenoids by using Chebyshev polynomials
Published
• View Publication
• BIB
In chemistry, Cyvin-Gutman enumerates Kekulé numbers for certain benzenoids and record it as $A050446$ on OEIS. This number is exactly the two variable array $T(n,m)$ defined by the recursion $T(n, m) = T(n, m-1) + \sum^{\lfloor\frac{n-1}{2}\rfloor}_{k=0} T(2k, m-1)T(n-1-2k, m)$, where $T(n,0)=T(0,m)=1$ for all nonnegative integers $m,n$. Interestingly, this number also appeared in the context of weighted graphs, graph polytopes, magic labellings, and unit primitive matrices, studied by different authors. Several interesting conjectures were made on the OEIS. These conjectures are related to both the row and column generating function of $T(n,m)$. In this paper, give explicit formula of the column generating function, which is also the generating function $F(n,x)$ studied by Bóna, Ju, and Yoshida. We also get trig function representations by using Chebyshev polynomials of the second kind. This allows us to prove all these conjectures.
A Note on the Rank 5 Polytopes of M24
Published
• View Publication
• BIB
The maximal rank of an abstract regular polytope for M24, the Mathieu group of degree 24, is 5. There are four such polytopes of rank 5 and in this note we describe them using Curtis's MOG. This description is then used to give an upper bound for the diameter of the chamber graphs of these polytopes.
Recurrence formula, positivity and polytope basis in cluster algebras via Newton polytopes
In this paper, we study the Newton polytopes of $F$-polynomials in a TSSS cluster algebra $\mathcal A$ and generalize them to a larger set consisting of polytopes $N_{h}$ associated to vectors $h\in\Z^{n}$ as well as $\widehat{\mathcal{P}}$ consisting of polytope functions $ρ_{h}$ corresponding to $N_{h}$.
The main contribution contains that
(i) obtaining a {\em recurrence construction} of the Laurent expression of a cluster variable in a cluster from its $g$-vector;
(ii) proving the subset $\mathcal{P}$ of $\widehat{\mathcal{P}}$ consisting of Laurent polynomials in $\widehat{\mathcal{P}}$ is a strongly positive $\Z Trop(Y)$-basis for $\mathcal{U}(\A)$ consisting of certain universally indecomposable Laurent polynomials when $\A$ is a cluster algebra with principal coefficients. For a cluster algebra $\mathcal A$ over arbitrary semifield $\mathbb P$ in general, $\mathcal{P}$ is a strongly positive $\Z¶$-basis for the intermediate cluster subalgebra $\mathcal{I_P(A)}$ of $\mathcal{U(A)}$. We call $\mathcal P$ the {\em polytope basis};
(iii) constructing some explicit maps among corresponding $F$-polynomials, $g$-vectors, $d$-vectors and cluster variables to characterize their relationship.
Moreover, we give three applications of (i), (ii) and (iii) respectively.
String $C$-groups with real Schur index $2$
Published
• View Publication
• BIB
We give examples of finite string $C$-groups (the automorphism groups of abstract regular polytopes) that have irreducible characters of real Schur index $2$. This answers a problem of Monson concerning these groups.
Cohomology rings of quasitoric bundles
Published
• View Publication
• BIB
The classical BKK theorem computes the intersection number of divisors on toric variety in terms of volumes of corresponding polytopes. It was observed by Pukhlikov and the first author that the BKK theorem leads to a presentation of the cohomology ring of toric variety as a quotient of the ring of differential operators with constant coefficients by the annihilator of an explicit polynomial.
In this paper we generalize this construction to the case of quasitoric bundles. These are fiber bundles with generalized quasitoric manifolds as fibers. First we obtain a generalization of the BKK theorem to this case. Then we use recently obtained descriptions of the graded-commutative algebras which satisfy Poincaré duality to give a description of cohomology rings of quasitoric bundles.
Freehedra are short
Published
• View Publication
• BIB
We prove the combinatorial property of shortness for freehedra. Note that associahedra, a sibling family of polytopes, are not short.
Logarithmic Voronoi polytopes for discrete linear models
Published in Alg. Stat. 15 (2024) 1-13
• View Publication
• BIB
We study logarithmic Voronoi cells for linear statistical models and partial linear models. The logarithmic Voronoi cells at points on such model are polytopes. To any $d$-dimensional linear model inside the probability simplex $Δ_{n-1}$, we can associate an $n\times d$ matrix $B$. For interior points, we describe the vertices of these polytopes in terms of co-circuits of $B$. We also show that these polytopes are combinatorially isomorphic to the dual of a vector configuration with Gale diagram $B$. This means that logarithmic Voronoi cells at all interior points on a linear model have the same combinatorial type. We also describe logarithmic Voronoi cells at points on the boundary of the simplex. Finally, we study logarithmic Voronoi cells of partial linear models, where the points on the boundary of the model are especially of interest.
From polytopes to operads and back
For a directed polytope, we construct a colored operad whose Poincare-Hilbert series encodes certain operations on the cellular complex of the polytope. We conjecture that for a class of short polytopes the constructed operads are Koszul and self-dual. We verify the conjecture for simplices, polygons, and products thereof.
Asymptotic Bounds on the Combinatorial Diameter of Random Polytopes
Published
• View Publication
• BIB
The combinatorial diameter $\operatorname{diam}(P)$ of a polytope $P$ is the maximum shortest path distance between any pair of vertices. In this paper, we provide upper and lower bounds on the combinatorial diameter of a random "spherical" polytope, which is tight to within one factor of dimension when the number of inequalities is large compared to the dimension. More precisely, for an $n$-dimensional polytope $P$ defined by the intersection of $m$ i.i.d.\ half-spaces whose normals are chosen uniformly from the sphere, we show that $\operatorname{diam}(P)$ is $Ω(n m^{\frac{1}{n-1}})$ and $O(n^2 m^{\frac{1}{n-1}} + n^5 4^n)$ with high probability when $m \geq 2^{Ω(n)}$.
For the upper bound, we first prove that the number of vertices in any fixed two dimensional projection sharply concentrates around its expectation when $m$ is large, where we rely on the $Θ(n^2 m^{\frac{1}{n-1}})$ bound on the expectation due to Borgwardt [Math. Oper. Res., 1999]. To obtain the diameter upper bound, we stitch these ``shadows paths'' together over a suitable net using worst-case diameter bounds to connect vertices to the nearest shadow. For the lower bound, we first reduce to lower bounding the diameter of the dual polytope $P^\circ$, corresponding to a random convex hull, by showing the relation $\operatorname{diam}(P) \geq (n-1)(\operatorname{diam}(P^\circ)-2)$. We then prove that the shortest path between any ``nearly'' antipodal pair vertices of $P^\circ$ has length $Ω(m^{\frac{1}{n-1}})$.
Towards tropically counting binodal surfaces
Published
• View Publication
• BIB
Tropical counting tools are useful for many enumerative questions. We count tropical multinodal surfaces using floor plans, looking at the case when two nodes are tropically close together, i.e., unseparated. We generalize tropical floor plans to recover the count of multinodal curves. We then prove that for $δ=2$ or $3$ nodes, tropical surfaces with unseparated nodes contribute asymptotically to the second order term of the polynomial giving the degree of the family of complex projective surfaces in $\mathbb{P}^3$ of degree $d$ with $δ$ nodes. We classify when two nodes in a surface tropicalize to a vertex dual to a polytope with 6 lattice points, and prove that this only happens for projective degree $d$ surfaces satisfying point conditions in Mikhalkin position when $d>4$.
Polytope volume in Normaliz
Published
• View Publication
• BIB
We survey the computation of polytope volumes by the algorithms of Normaliz to which the Lawrence algorithm has recently been added. It has enabled us to master volume computations for polytopes from social choice in dimension $119$. This challenge required a sophisticated implementation of the Lawrence algorithm.
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.