arXiv++ Combinatorics

Spherical $t$-designs are finite point sets on the unit sphere that enable exact integration of polynomials of degree at most $t$ via equal-weight quadrature. This concept has recently been extended to spherical $t$-design curves by the use of normalized path integrals. However, explicit examples of such curves are rare. We construct new spherical $t$-design curves for small $t$ based on the edges of a distinct subclass of convex polytopes. We then introduce hybrid $t$-designs that combine points and curves for exact polynomial integration of higher degree. Our constructions are based on the vertices and edges of dual pairs of convex polytopes and polynomial invariants of their symmetry group. A notable result is a hybrid $t$-design for $t=19$.

The Fréchet mean is a key measure of central tendency as a barycenter for a given set of points in a general metric space. It is computed by solving an optimization problem and is a fundamental quantity in statistics. In this paper, we study Fréchet means in tropical geometry -- a piecewise linear, combinatorial, and polyhedral variant of algebraic geometry that has gained prominence in applications. A key property of Fréchet means is that uniqueness is generally not guaranteed, which is true in tropical settings. In solving the tropical Fréchet mean optimization problem, we obtain a geometric characterization of the collection of all Fréchet means in a general tropical space as a tropically and classically convex polytope. Furthermore, we prove that a certificate of positivity for finitely many quadratic polynomials in $\mathbb{R}[x_1,\ldots,x_n]$ always exists, given that their quadratic homogeneous components are sums of squares. We propose an algorithm to symbolically compute the Fréchet mean polytope based on our exact quadratic optimization result and study its complexity.

We study the geometric structure of the set of cooperative transferable utility games having a nonempty core, characterized by Bondareva and Shapley as balanced games. We show that this set is a nonpointed polyhedral cone, and we find the set of its extremal rays and facets. This study is also done for the set of balanced games whose value for the grand coalition is fixed, which yields an affine nonpointed polyhedral cone. Finally, the case of nonnegative balanced games with fixed value for the grand coalition is tackled. This set is a convex polytope, with remarkable properties. We characterize its vertices and facets, study the adjacency structure of vertices, develop an algorithm for generating vertices in a random uniform way, and show that this polytope is combinatorial and its adjacency graph is Hamiltonian. Last, we give a characterization of the set of games having a core reduced to a singleton. Funding: This work was supported by the Spanish Government [Grant PID2021-124933NB-I00].

For natural numbers $n$ and $l > d \geq 2$, let $ES_d(l,n)$ be the minimum $N$ such that any set of at least $N$ points in $\mathbb{R}^d$ contains either $l$ points contained in a common $(d-1)$-dimensional hyperplane or $n$ points in convex position. In this paper, we give the upper and lower bounds for $ES_d(l,n)$.

This paper studies three different ways to assign weights to the lattice points of a convex polytope and discusses the algebraic and combinatorial properties of the resulting weighted Ehrhart functions and their generating functions and associated rings. These will be called $q$-weighted, $r$-weighted, and $s$-weighted Ehrhart functions, respectively. The key questions we investigate are \emph{When are the weighted Ehrhart series rational functions and which classical Ehrhart theory properties are preserved? And, when are the abstract formal power series the Hilbert series of Ehrhart rings of some polytope?} We prove generalizations about weighted Ehrhart $h^*$-coefficients of $q$-weighted Ehrhart series, and show $q$- and $s$-weighted Ehrhart reciprocity theorems. Then, we show the $q$- and $r$-weighted Ehrhart rings are the (classical) Ehrhart rings of weight lifting polytopes.

We study the slices or sections of a convex polytope by affine hyperplanes. We present results on two key problems: First, we provide tight bounds on the maximum number of vertices attainable by a hyperplane slice of $d$-polytope (a sort of upper bound theorem) and discuss a new algorithm to find all sections. Second, we investigate the sequence of numbers of vertices produced by the different slices over all possible hyperplanes and analyze the gaps that arise in that sequence. We study these sequences for three-dimensional polytopes and for hypercubes. Our results were obtained with the help of large computational experiments, and we report on new data generated for hypercubes.

Alcoved polytopes are convex polytopes, which are the closure of a union of alcoves in an affine Coxeter arrangement. They are rational polytopes and, therefore, have Ehrhart quasipolynomials. Here we describe a method for computing the generating function of the Ehrhart quasipolynomial, or Ehrhart series, of any alcoved polytope via a particular shelling order of its alcoves. We also show a connection between Early's decorated ordered set partitions and this shelling order for the hypersimplex $Δ_{2,n}$.

We study certain generic systems of real polynomial equations associated with triangulations of convex polytopes and investigate their number of real solutions. Our main focus is set on pairs of plane algebraic curves which form a so-called Wronski system. The computational tasks arising in the analysis of such Wronski pairs lead us to the frontiers of current computer algebra algorithms and their implementations, both via Gröbner bases and numerical algebraic geometry.

\emph{Minkowski rings} are certain rings of simple functions on the Euclidean space $W = {\mathbb{R}}^d$ with multiplicative structure derived from Minkowski addition of convex polytopes. When the ring is (finitely) generated by a set ${\cal{P}}$ of indicator functions of $n$ polytopes then the ring can be presented as ${\mathbb{C}}[x_1,\ldots,x_n]/I$ when viewed as a ${\mathbb{C}}$-algebra, where $I$ is the ideal describing all the relations implied by identities among Minkowski sums of elements of ${\cal{P}}$. We discuss in detail the $1$-dimensional case, the $d$-dimensional box case and the affine Coxeter arrangement in ${\mathbb{R}}^2$ where the convex sets are formed by closed half-planes with bounding lines making the regular triangular grid in ${\mathbb{R}}^2$. We also consider, for a given polytope $P$, the Minkowski ring $M^\pm_F(P)$ of the collection ${\cal{F}}(P)$ of the nonempty faces of $P$ and their multiplicative inverses. Finally we prove some general properties of identities in the Minkowski ring of ${\cal{F}}(P)$; in particular, we show that Minkowski rings behave well under Cartesian product, namely that $M^\pm_F(P\times Q) \cong M^{\pm}_F(P)\otimes M^{\pm}_F(Q)$ as ${\mathbb{C}}$-algebras where $P$ and $Q$ are polytopes.

Many (if not most) of convex polytopes, important for combinatorial and algebraic geometry, are closely related to secondary polytopes of point configurations, or base polytopes of submodular functions, or their numerous variations and generalizations. The aim of this text is to introduce the class of basecondary polytopes. This class includes (and allows to study uniformly) the aforementioned ones, as well as some others, e.g. appearing as Newton polytopes of important discriminant hypersurfaces. Most notably, this includes the discriminant of the Lyashko--Looijenga map, which is important for enumerative geometry of ramified coverings and cannot be reduced (by far) to Gelfand--Kapranov--Zelevinsky's A-discriminants and secondary polytopes.

The second author introduced 2-associahedra as a tool for investigating functoriality properties of Fukaya categories, and he conjectured that they could be realized as face posets of convex polytopes. We introduce a family of posets called categorical $n$-associahedra, which naturally extend the second author's 2-associahedra and the classical associahedra. Categorical $n$-associahedra give a combinatorial model for the poset of strata of a compactified real moduli space of a tree arrangement of affine coordinate subspaces. We construct a family of complete polyhedral fans, called velocity fans, whose coordinates encode the relative velocities of pairs of colliding coordinate subspaces, and whose face posets are the categorical $n$-associahedra. In particular, this gives the first fan realization of 2-associahedra. In the case of the classical associahedron, the velocity fan specializes to the normal fan of Loday's realization of the associahedron. For proving that the velocity fan is a fan, we first construct a cone complex of metric $n$-bracketings and then exhibit a piecewise-linear isomorphism from this complex to the velocity fan. We demonstrate that the velocity fan, which is not simplicial, admits a canonical smooth flag triangulation on the same set of rays, and we describe a second, finer triangulation which provides a new extension of the braid arrangement. We describe piecewise-unimodular maps on the velocity fan such that the image of each cone is a union of cones in the braid arrangement, and we highlight a connection to the theory of building sets and nestohedra. We explore the local iterated fiber product structure of categorical $n$-associahedra and the extent to which this structure is realized by the velocity fan. For the class of concentrated $n$-associahedra we exhibit generalized permutahedra having velocity fans as their normal fans.

A crystallization of a PL manifold is an edge-colored graph that corresponds to a contracted triangulation of the manifold, facilitating the study of its topological and combinatorial properties. A small cover over a simple convex $n$-polytope $P^n$ is a closed $n$-manifold with a locally standard $\mathbb{Z}_2^n$-action such that its orbit space is homeomorphic to $P^n$. In this article, we study the crystallizations of small covers over the $n$-simplex $Δ^n$ and the prism $Δ^{n-1} \times I$. It is known that the small cover over the $n$-simplex $Δ^n$ is $\mathbb{RP}^n$. For every $n\geq 2$, we prove that $\mathbb{RP}^n$ has a unique $2^n$-vertex crystallization. We also demonstrate that there are exactly $1 + 2^{n-1}$ D-J equivalence classes of small covers over the prism $Δ^{n-1} \times I$, where $n\geq 3$. For each $\mathbb{Z}_2$-characteristic function of $Δ^{n-1} \times I$, we construct a $2^{n-1}(n+1)$-vertex crystallization of the small cover $M^n(λ)$ with regular genus $1 + 2^{n-4}(n^2 - 2n - 3)$, where $n\geq 4$. In particular, we construct four orientable and four non-orientable $\mathbb{RP}^3$-bundles over $\mathbb{S}^1$ up to D-J equivalence with regular genus 6.

Toric topology assigns to each simple convex $n$-polytope $P$ with $m$ facets an $n$-dimensional real moment angle manifold $\mathbb RZ_P$ with a canonical action of $\mathbb Z_2^m=(\mathbb Z/2\mathbb Z)^m$. We consider (non-necessarily free) actions of subgroups $H\subset \mathbb Z_2^m$ on $\mathbb RZ_P$. The orbit space $N(P,H)=\mathbb RZ_P/H$ has an action of $\mathbb Z_2^m/H$. For general $n$ we introduce the notion of a Hamiltonian $C(n,k)$-subcomplex in the boundary of an $n$-polytope $P$ generalizing the notions of a Hamiltonian cycle ($k=2$), Hamiltonian theta-subgraph ($k=3$) and Hamiltonian $K_4$-subgraph ($k=4)$ in the $1$-skeleton of a $3$-polytope. Each $C(n,k)$-subcomplex $C\subset \partial P$ corresponds to a subgroup $H_C\subset\mathbb Z_2^m$ such that $N(P,H_C)\simeq S^n$. We prove that in dimensions $n\leqslant 4$ this correspondence is a bijection. Any subgroup $H\subset \mathbb Z_2^m$ defines a complex $C(P,H)\subset \partial P$. We prove that each Hamiltonian $C(n,k)$-subcomplex $C\subset C(P,H)$ inducing $H$ corresponds to a hyperelliptic involution $τ_C\in\mathbb Z_2^m/H$ on the manifold $N(P,H)$ (that is, an involution with the orbit space homeomorphic to $S^n$) and in dimensions $n\leqslant 4$ this correspondence is a bijection. We prove that for the geometries $\mathbb X= \mathbb S^4$, $\mathbb S^3\times\mathbb R$, $\mathbb S^2\times \mathbb S^2$, $\mathbb S^2\times \mathbb R^2$, $\mathbb S^2\times \mathbb L^2$, and $\mathbb L^2\times \mathbb L^2$ there exists a compact right-angled $4$-polytope $P$ with a free action of $H$ such that the geometric manifold $N(P,H)$ has a hyperelliptic involution in $\mathbb Z_2^m/H$, and for $\mathbb X=\mathbb R^4$, $\mathbb L^4$, $\mathbb L^3\times \mathbb R$ and $\mathbb L^2\times \mathbb R^2$ there are no such polytopes.

This paper is devoted to some rotationally symmetric classes of graphs denoted in literature as convex polytope graphs. Exact value of equidistant dimension is found for $T_n$. Next, for even $n$ exact values are found for $R''_n$ and $S''_n$, while for odd $n$ exact value is found for $S_n$. Finally, for odd $n$, lower bound are found for $R''_n$ and $S''_n$.

A multidimensional nonnegative matrix is called polystochastic if the sum of entries in each line is equal to $1$. The set of all polystochastic matrices of order $n$ and dimension $d$ is a convex polytope $Ω_n^d$. In the present paper, we compare known bounds on the number of vertices of the polytope $Ω_n^d$ and prove that the number of vertices of $Ω_3^d$ is doubly exponential on $d$.

A pebble tree is an ordered tree where each node receives some colored pebbles, in such a way that each unary node receives at least one pebble, and each subtree has either one more or as many leaves as pebbles of each color. We show that the contraction poset on pebble trees is isomorphic to the face poset of a convex polytope called pebble tree polytope. Beside providing intriguing generalizations of the classical permutahedra and associahedra, our motivation is that the faces of the pebble tree polytopes provide realizations as convex polytopes of all assocoipahedra constructed by K. Poirier and T. Tradler only as polytopal complexes.

Abstract polytopes are combinatorial objects that generalise geometric objects such as convex polytopes, maps on surfaces and tilings of the space. Chiral polytopes are those abstract polytopes that admit full combinatorial rotational symmetry but do not admit reflections. In this paper we build chiral polytopes whose facets (maximal faces) are isomorphic to a prescribed regular cubic tessellation of the $n$-dimensional torus ($n \geq 2$). As a consequence, we prove that for every $d \geq 3$ there exist infinitely many chiral $d$-polytopes.

Transportation matrices are $m\times n$ non-negative matrices whose row sums and row columns are equal to, or dominated above with given integral vectors $R$ and $C$. Those matrices belong to a convex polytope whose extreme points have been previously characterized. In this article, a more general set of non-negative transportation matrices is considered, whose row sums are bounded by two integral non-negative vectors $R_{min}$ and $R_{max}$ and column sums are bounded by two integral non-negative vectors $C_{min}$ and $C_{max}$. It is shown that this set is also a convex polytope whose extreme points are then fully characterized.

Recently, it has been proven that a tensegrity framework that arises from coning the one-skeleton of a convex polytope is rigid. Since such frameworks are not always infinitesimally rigid, this leaves open the question as to whether they are at least prestress stable. We prove here that this holds subject to an intriguing new conjecture about coned polytope frameworks, that we call the stress-flex conjecture. Multiple numerical experiments suggest that this conjecture is true, and most surprisingly, seems to hold even beyond convexity and also for higher genus~polytopes.

Zonoids are Hausdorff limits of zonotopes, while zonotopes are convex polytopes defined as the Minkowski sums of finitely many segments. We present a combinatorial framework that links the study of mixed volumes of zonoids (a topic that has applications in algebraic combinatorics) with the study of the absolute value of the Grassmannian, defined as the image of the Grassmannian under the coordinate-wise absolute value map. We use polyhedral computations to derive new families of inequalities for n zonoids in dimension d, when (n,d)=(6,2) and (6,3). Unlike the classical geometric inequalities, originating from the Brunn-Minkowski and Aleksandrov-Fenchel inequalities, the inequalities we produce have the special feature of being Minkowski linear in each of the n zonoids they involve.