arXiv++ Combinatorics

The computation of the vertices of a polyhedron described by a system of linear inequalities is a central problem in polyhedral computation. It is a fundamental step in the conversion between H-representations, by linear inequalities, and V-representations, by vertices and extreme rays. This operation plays an important role both in the study of polyhedra and their combinatorics in mathematics and in applications to software and system verification. We present a certificate-based approach for formally verifying the computation of the vertices of a polyhedron. Given an informally computed list of vertices, our method allows to certify in the proof assistant Rocq that the list is complete, or even exact. The cornerstone of the method is a new completeness criterion based on an abstract simplicial complex that generalizes a triangulation of the normal fan of the polyhedron. A significant advantage over previous approaches is that the usually expensive numerical computations are essentially reduced to membership tests to the polyhedron, while the other steps are cheap combinatorial tests. We implement the certification method and prove its correctness in the proof assistant Rocq. We experiment with it on a variety of polyhedra, including Birkhoff polytopes, cross-polytopes, cubes, permutahedra, hypersimplices, and high-dimensional polytopes involved in the disproof of the Hirsch conjecture. Our experiments show that certification with the Rocq-to-OCaml extracted checker is typically 1.5x to over 5x faster than vertex enumeration by the state-of-the-art informal C implementation lrslib of the reverse search method.

The equivalence classes of boundary conditions of a gauge theory on a two-dimensional orbifold are the fibres of a marginal map, indexed by an affine semigroup: one generator per alphabet label, graded by weight, embedded by its local data at the fixed points. This note identifies that semigroup. Without weights the configuration has a name and a literature, whose results about our cases are attributed here: over $\mathbb{Z}_2$ it is the cut configuration of an explicit graph in the sense of Sturmfels-Sullivant --- the four-cycle for $T^2/\mathbb{Z}_2$, the wheel $W_4$ for $S^1/\mathbb{Z}_2\times S^1/\mathbb{Z}_2$ --- verified as an equality of configurations; over $\mathbb{Z}_m$ with equal cone orders, the group-based phylogenetic model on a claw tree; with unequal orders, a mixed-order variant we do not find in the literature; for higher products, the binary hierarchical model of a cross-polytope boundary complex. The product orbifold's ring is a row of a 2008 table --- codimension, degree, minimal generators, normality --- every invariant of which our machinery reproduced without knowing of it. What none of the three covers is the alphabet with weights, which arise from induction to higher-dimensional irreducibles of a non-abelian space group and from conjugate-pair recombination over real or quaternionic ground. That sector is adjacent to, but not identified with, the non-abelian direction Sturmfels and Sullivant raised in 2005, and is where our contributions sit: gluing trees for the weighted alphabets and the orthogonal and symplectic columns, and the group-based model on the tripod, a complete intersection exactly when the finite abelian group has order at most three. The first group beyond $\mathbb{Z}_3$ separates local from global: the $\mathbb{Z}_4$ tripod is a complete intersection on the Zariski-open set the phylogenetics literature works in, and not globally.

Ziegler proved that every simplicial $d$-dimensional $0/1$-polytope has at most $2d$ vertices, and asked whether equality forces the polytope to be centrally symmetric and hence, equivalently, a $0/1$-realization of the $d$-dimensional cross polytope. In this note, we give a negative answer, exhibiting an explicit set of $14$ vertices in $\{0,1\}^7$ whose convex hull is a simplicial $7$-polytope and is not centrally symmetric. Moreover, via exhaustive enumeration we show that up to the symmetries of the cube, there are precisely five such polytopes in dimension $7$ (of two combinatorial types) that are not centrally symmetric.

Integral systems in real composition algebras give rise to finite metric configurations whose geometry is linked to both regular polytopes and root-systems. In this work we investigate, to our knowledge for the first time in this form, the shell polytopes obtained by fixing the integral norm and taking the convex hull of the corresponding integral elements. The first shells recover the familiar root-polytopal configurations attached to the classical Hurwitz systems, while the Okubo algebra gives a quite different behaviour. The Okubo integral closure does not recover the Gosset polytope directly: it selects a two-adic hierarchy whose first visible layers are a cross-polytope and a \(D_8\) root polytope. We further show that the natural intermediate lattice is isometric to the rescaled cubic lattice; consequently every shell decomposes into explicit orbits of the hyperoctahedral group \(W(B_8)\), and the higher Okubo shells admit a complete combinatorial description in cubic-lattice coordinates. The full \(E_8\) Gosset polytope is then recovered from the intermediate lattice by maximal-isotropic gluing along \((\ZZ/2)^4\). This gives an interplay between non-unital composition, integral lattice shadows, and the geometry of \(E_8\).

Gorenstein toric contact manifolds are good toric contact manifolds with zero first Chern class that are completely determined by certain integral convex polytopes called toric diagrams. The Ehrhart polynomial of these toric diagrams determines and is determined by the contact Betti numbers of the corresponding contact manifolds, i.e. the dimension of their cylindrical contact homology in eachdegree. In this paper we look into the following natural question: to what extent do these contact invariants determine the Gorenstein toric contact manifold? Flexibility is the norm and we illustrate it with the family of Gorenstein toric contact manifolds that arise as the prequantization of monotone iterated ${\mathbb P}^1$-bundles, i.e. monotone Bott manifolds. In each dimension, the Ehrhart polynomial of their toric diagrams is equal to the Ehrhart polynomial of the cross-polytope, corresponding to the monotone prequantization of ${\mathbb P}^1 \times \cdots \times {\mathbb P}^1$, and we describe the unimodular classification of these toric diagrams. On the rigidity side, we will show that the primitive prequantization of ${\mathbb P}^1 \times \cdots \times {\mathbb P}^1$ is rigid, i.e. completely determined as a Gorenstein toric contact manifold by its contact Betti numbers. More precisely, in each dimension, we show that its toric diagram, which we name small cross-polytope, is the unique toric diagram with its particular Ehrhart polynomial. We will also prove a rigidity result for a family of Gorenstein toric contact manifolds that arise as the primitive prequantization of monotone ${\mathbb P}^1$-bundles over ${\mathbb P}^{n-1}$.

We prove a uniform upper and lower bound for Delannoy numbers. This is achieved by using the representation of Delannoy numbers as the number of lattice points in high-dimensional cross-polytopes (also known as hyper-octahedrons or $\ell^1$ balls) and proving a uniform (dimension-free) count for these lattice points. Using this count, we establish dimension-free estimates for discrete maximal functions over cross-polytopes. By proving a comparison principle with the continuous setting, we obtain a dimension-free estimate on all $\ell^p(\mathbb{Z}^d)$ spaces for radii $R>C d^{3/2}.$ We also treat the full maximal function on $\ell^2(\mathbb{Z}^d)$ for small radii $R\le d^{1-\varepsilon}$ and the dyadic maximal function for any radii.

It is known that the Ehrhart polynomials of cross-polytopes, as well as of pyramids over them, have positive coefficients. We give a combinatorial proof of this fact by showing that a scaled version of the Ehrhart polynomials are generating functions for certain colored permutations. This answers a question posed by Stanley.

In 1694, Gregory and Newton discussed the problem to determine the kissing number of a rigid material ball. This problem and its higher dimensional generalization have been studied by many mathematicians, including Minkowski, van der Waerden, Hadwiger, Swinnerton-Dyer, Watson, Levenshtein, Odlyzko, Sloane and Musin. Recently, Li and Zong introduced and studied the generalized kissing numbers of convex bodies. As a continuation of this project, in this paper we obtain the exact generalized kissing numbers $κ_α^*(B^n)$ of the $n$-dimensional balls for $3\le n\le 8$ and $α=2\sqrt{3}-2$. Furthermore, the lattice kissing number of a four-dimensional cross-polytope is determined.

This article introduces the theory of Veronese polytopes, a broad generalisation of cyclic polytopes. These arise as convex hulls of points on curves with one or more connected components, obtained as the image of the rational normal curve in affine charts. We describe their facial structure by extending Gale's evenness condition, and provide a further combinatorial characterisation of facets via $σ$-parity alternating sequences. Notably, we establish a bijective correspondence between combinatorial types of Veronese polytopes and partitions of finite sets equipped with a cyclic order, called circular compositions. We show that, although the only Veronese $3$-polytopes are the cyclic $3$-polytopes and the octahedron, in general dimension they form a rich and diverse class including all combinatorial types of simplicial $d$-polytopes with at most $d+3$ vertices, the cross-polytope and particular stacked polytopes. In addition, we characterise which curves defining Veronese polytopes are $d$-order curves, and provide a closed formula for the number of facets of any Veronese polytope.

We prove that the moment-angle complex $\mathcal Z_K$ corresponding to a 3-dimensional simplicial sphere $K$ has the cohomology ring isomorphic to the cohomology ring of a connected sum of products of spheres if and only if either (a) $K$ is the boundary of a 4-dimensional cross-polytope, or (b) the one-skeleton of $K$ is a chordal graph, or (c) there are only two missing edges in $K$ and they form a chordless 4-cycle. For simplicial spheres $K$ of arbitrary dimension, we obtain a sufficient condition for the ring isomorphism $H^*(\mathcal Z_K)\cong H^*(M)$ where $M$ is a connected sum of products of spheres.

Bohn, Faenza, Fiorini, Fisikopoulos, Macchia, and Pashkovich (2015) conjectured that 2-level polytopes cannot simultaneously have many vertices and many facets, namely, that the maximum of the product of the number of vertices and facets is attained on the cube and cross-polytope. This was proved in a recent work by Kupavskii and Weltge. In this paper, we resolve a strong version of the conjecture by Bohn et al., and find the maximum possible product of the number of vertices and the number of facets in a 2-level polytope that is not affinely isomorphic to the cube or the cross-polytope. To do this, we get a sharp stability result of Kupavskii and Weltge's upper bound on $\left|\mathcal A\right|\cdot\left|\mathcal B\right|$ for $\mathcal A,\mathcal B \subseteq \mathbb R^d$ with a property that $\forall a \in \mathcal A, b \in \mathcal B$ the scalar product $\langle a, b\rangle \in\{0,1\}$.

We investigate the set of partial partitions of a finite set, ordered by inclusion. With this ordering the set of partial partitions can be studied as an abstract simplicial complex. We use the theory of shellable nonpure complexes to find its Betti numbers and prove that there is a basis of its homology that consists of boundaries of combinatorial cross-polytopes of various dimensions.

We study the equivariant Ehrhart theory of families of polytopes that are invariant under a non-trivial action of the group with order two. We study families of polytopes whose equivariant $H^*$-polynomial both succeed and fail to be effective, in particular, the symmetric edge polytopes of cycles and the rational cross-polytope. The latter provides a counterexample to the effectiveness conjecture if the requirement that the vertices of the polytope have integral coordinates is loosened to allow rational coordinates. Moreover, we exhibit such a counterexample whose Ehrhart function has period one and coincides with the Ehrhart function of a lattice polytope.

In this article we investigate the $N$-point min-max and the max-min polarization problems on the sphere for a large class of potentials in $\mathbb{R}^n$. We derive universal lower and upper bounds on the polarization of spherical designs of fixed dimension, strength, and cardinality. The bounds are universal in the sense that they are a convex combination of potential function evaluations with nodes and weights independent of the class of potentials. As a consequence of our lower bounds, we obtain the Fazekas-Levenshtein bounds on the covering radius of spherical designs. Utilizing the existence of spherical designs, our polarization bounds are extended to general configurations. As examples we completely solve the min-max polarization problem for $120$ points on $\mathbb{S}^3$ and show that the $600$-cell is universally optimal for that problem. We also provide alternative methods for solving the max-min polarization problem when the number of points $N$ does not exceed the dimension $n$ and when $N=n+1$. We further show that the cross-polytope has the best max-min polarization constant among all spherical $2$-designs of $N=2n$ points for $n=2,3,4$; for $n\geq 5$, this statement is conditional on a well-known conjecture that the cross-polytope has the best covering radius. This max-min optimality is also established for all so-called centered codes.

We study a natural set of refinements of the Ehrhart series of a closed polytope, first considered by Chapoton. We compute the refined series in full generality for a simplex of dimension d, a cross-polytope of dimension d, respectively a hypercube of dimension d<4, using commutative algebra. We deduce summation formulae for products of q-integers with different arguments, generalizing a classical identity due to MacMahon and Carlitz. We also present a characterisation of a certain refined Eulerian polynomial in algebraic terms.

Two constructions of lattice packings of $ n $-dimensional cross-polytopes ($ \ell_1 $ balls) are described, the density of which exceeds that of any prior construction by a factor of at least $ 2^{\frac{n}{\ln n}(1 + o(1))} $ when $ n \to \infty $. The first family of lattices is explicit and is obtained by applying Construction A to a class of Reed-Solomon codes. The second family has subexponential construction complexity and is based on the notion of Sidon sets in finite Abelian groups. The construction based on Sidon sets also gives the highest known asymptotic density of packing discrete cross-polytopes of fixed radius $ r \geqslant 3 $ in $ \mathbb{Z}^n $.

Factorization into spheres is achieved for skeleta of the simplex, cube, and cross-polytope, both explicitly and using Keevash's proof of existence of designs.

In the early 1990's, Billera and Sturmfels introduced the monotone path polytope (MPP), a special case of the general theory of fiber polytopes that associates a polytope to a pair $(P,\varphi)$ of a polytope $P$ and linear functional $\varphi$. In that same paper, they showed that MPPs of simplices and hyper-cubes are combinatorial cubes and permutahedra respectively. Their work has lead to many developments in combinatorics. Here we investigate the monotone paths for generic orientations of cross-polytopes. We show the face lattice of its MPP is isomorphic to the lattice of intervals in the sign poset from oriented matroid theory. We look at its $f$-vector, its realizations, and facets.

We describe a bijection between oriented cubes and adjoints of cross-polytopes. This correspondence is used to prove that the real affine cube is, up to reorientation in the same class, the unique oriented cube that is realizable. Moreover, its underlying matroid is, up to isomorphism, the unique combinatorial cube that is realizable over the reals.

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.