arXiv++ Combinatorics

For $3$-dimensional convex polytopes, inscribability is a classical property that is relatively well-understood due to its relation with Delaunay subdivisions of the plane and hyperbolic geometry. In particular, inscribability can be tested in polynomial time, and for every $f$-vector of $3$-polytopes, there exists an inscribable polytope with that $f$-vector. For higher-dimensional polytopes, much less is known. Of course, for any inscribable polytope, all of its lower-dimensional faces need to be inscribable, but this condition does not appear to be very strong. We observe non-trivial new obstructions to the inscribability of polytopes that arise when imposing that a certain inscribable face be inscribed. Using this obstruction, we show that the duals of the $4$-dimensional cyclic polytopes with at least $8$ vertices---all of whose faces are inscribable---are not inscribable. This result is optimal in the following sense: We prove that the duals of the cyclic $4$-polytopes with up to $7$ vertices are, in fact, inscribable. Moreover, we interpret this obstruction combinatorially as a forbidden subposet of the face lattice of a polytope, show that $d$-dimensional cyclic polytopes with at least $d+4$ vertices are not circumscribable, and that no dual of a neighborly $4$-polytope with $8$ vertices, that is, no polytope with $f$-vector $(20,40,28,8)$, is inscribable.

M. Carr and S. Devadoss introduced in [7] the notion of tubing on a finite simple graph $Γ$, in the context of configuration spaces on the Hilbert plane. To any finite simple graph $Γ$ they associated a finite partially ordered set, whose elements are the tubings of $Γ$ and whose geometric realization is a convex polytope ${\mathcal K}Γ$, the graph-associahedron. For the complete graphs they recovered permutahedra, for linear graphs they got Stasheff's associahedra, while for simple graph they obtained the standard simplexes. The goal of the present work is to give an \emph{algebraic} description of graph associahedra. We introduce a substitution operation on tubings, which allows us to describe the set of faces of graph-associahedra as a free object, spanned by the set of all connected simple graphs, under operations given via connected subgraphs. The boundary maps of graph-associahedra defines natural derivations in this context. Along the way, we introduce a topological interpretation of the graph tubings and our new operations. In the last section, we show that substitution of tubings may be understood in the context of M. Batanin and M. Markl's operadic categories.

This paper proposes a novel and simple algorithm of facet enumeration for convex polytopes. The complexity of the algorithm is discussed. The algorithm is implemented in Matlab. Some simple polytopes with known H-representations and V-representations are used as the test examples. Numerical test shows the effectiveness and efficiency of the proposed algorithm. Due to the duality between the vertex enumeration problem and facet enumeration problem, we expect that this method can also be used to solve the vertex enumeration problem.

The aim of this article is to show the existence, and also give an explicit construction, of infinite sets of orthogonal exponentials for certain families of convex polytopes which include simple-rational polytopes and also non simple polytopes which satisfy other nontrivial conditions. We also show that by considering weight functions one can construct infinite sets of orthogonal exponentials with a positive density by considering orthogonal projections of affine transformations of hypercubes (i.e., zonotopes).

A seminal theorem of Tverberg states that any set of $T(r,d)=(r-1)(d+1)+1$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets whose convex hulls have non-empty $r$-fold intersection. Almost any collection of fewer points in $\mathbb{R}^d$ cannot be so divided, and in these cases we ask if the set can nonetheless be $P(r,d)$--partitioned, i.e., split into $r$ subsets so that there exist $r$ points, one from each resulting convex hull, which form the vertex set of a prescribed convex $d$--polytope $P(r,d)$. Our main theorem shows that this is the case for any generic $T(r,2)-2$ points in the plane and any $r\geq 3$ when $P(r,2)=P_r$ is a regular $r$--gon, and moreover that $T(r,2)-2$ is tight. For higher dimensional polytopes and $r=r_1\cdots r_k$, $r_i \geq 3$, this generalizes to $T(r,2k)-2k$ generic points in $\mathbb{R}^{2k}$ and orthogonal products $P(r,2k)=P_{r_1}\times \cdots \times P_{r_k}$ of regular polygons, and likewise to $T(2r,2k+1)-(2k+1)$ points in $\mathbb{R}^{2k+1}$ and the product polytopes $P(2r,2k+1)=P_{r_1}\times \cdots \times P_{r_k} \times P_2$. As with Tverberg's original theorem, our results admit topological generalizations when $r$ is a prime power, and, using the "constraint method" of Blagojević, Frick, and Ziegler, allow for dimensionally restricted versions of a van Kampen--Flores type and colored analogues in the fashion of Soberón.

In 1985 Bayer and Billera defined a flag vector $f(X)$ for every convex polytope $X$, and proved some fundamental properties. The flag vectors $f(X)$ span a graded ring $\mathcal{R}=\bigoplus_{d\geq0}\mathcal{R}_d$. Here $\mathcal{R}_d$ is the span of the $f(X)$ with $\dim X=d$. It has dimension the Fibonacci number $F_{d+1}$. This paper introduces and explores the conjecture, that $\mathcal{R}$ has a counting basis $\{e_i\}$. If true then the equation $f(X) = \sum g_i(X)e_i$ conjecturally provides a formula for the Betti numbers $g_i(X)$ of a new homology theory. As the $g_i(X)$ are linear functions of $f(X)$, we call the new theory linear homology. Further, assuming the conjecture each $g_i$ will have a rank $r\geq0$. The rank zero part of linear homology will be (middle perversity) intersection homology. The higher rank $g_i$ measure successively more complicated singularities. In dimension $d$ we will have $\dim\mathcal{R}_d$ linearly independent Betti numbers. This paper produces a basis $\{e_i\}$ for $\mathcal{R}$, that is conjecturally a counting basis. Warning: Conjecture withdrawn in version 2.

We study properties of the realizations of groups as the combinatorial automorphism group of a convex polytope. We show that for any non-abelian group $G$ with a central involution there is a centrally symmetric polytope with $G$ as its combinatorial automorphisms. We show that for each integer $n$, there are groups that cannot be realized as the combinatorial automorphisms of convex polytopes of dimension at most $n$. We also give an optimal lower bound for the dimension of the realization of a group as the group of isometries that preserves a convex polytope.

We show that there is a unique hypersurface of minimal degree passing through the non-faces of a polytope which is defined by a simple hyperplane arrangement. This generalizes the construction of the adjoint curve of a polygon by Wachspress in 1975. The defining polynomial of our adjoint hypersurface is the adjoint polynomial introduced by Warren in 1996. This is a key ingredient for the definition of Wachspress coordinates, which are barycentric coordinates on an arbitrary convex polytope. The adjoint polynomial also appears both in algebraic statistics, when studying the moments of uniform probability distributions on polytopes, and in intersection theory, when computing Segre classes of monomial schemes. We describe the Wachspress map, the rational map defined by the Wachspress coordinates, and the Wachspress variety, the image of this map. The inverse of the Wachspress map is the projection from the linear span of the image of the adjoint hypersurface. To relate adjoints of polytopes to classical adjoints of divisors in algebraic geometry, we study irreducible hypersurfaces that have the same degree and multiplicity along the non-faces of a polytope as its defining hyperplane arrangement. We list all finitely many combinatorial types of polytopes in dimensions two and three for which such irreducible hypersurfaces exist. In the case of polygons, the general such curves< are elliptic. In the three-dimensional case, the general such surfaces are either K3 or elliptic.

Gelfand-Tsetlin polytopes are classical objects in algebraic combinatorics arising in the representation theory of $\mathfrak{gl}_n(\mathbb{C})$. The integer point transform of the Gelfand-Tsetlin polytope $\mathrm{GT}(λ)$ projects to the Schur function $s_λ$. Schur functions form a distinguished basis of the ring of symmetric functions; they are also special cases of Schubert polynomials $\mathfrak{S}_{w}$ corresponding to Grassmannian permutations. For any permutation $w \in S_n$ with column-convex Rothe diagram, we construct a polytope $\mathcal{P}_{w}$ whose integer point transform projects to the Schubert polynomial $\mathfrak{S}_{w}$. Such a construction has been sought after at least since the construction of twisted cubes by Grossberg and Karshon in 1994, whose integer point transforms project to Schubert polynomials $\mathfrak{S}_{w}$ for all $w \in S_n$. However, twisted cubes are not honest polytopes; rather one can think of them as signed polytopal complexes. Our polytope $\mathcal{P}_{w}$ is a convex polytope. We also show that $\mathcal{P}_{w}$ is a Minkowski sum of Gelfand-Tsetlin polytopes of varying sizes. When the permutation $w$ is Grassmannian, the Gelfand-Tsetlin polytope is recovered. We conclude by showing that the Gelfand-Tsetlin polytope is a flow polytope.

This paper is a survey on the Lickorish type construction of some kind of closed manifolds over simple convex polytopes. Inspired by Lickorish's theorem, we propose a method to describe certain families of manifolds over simple convex polytopes with torus action. Under this construction, many classical classification results of these families of manifolds could be interpreted by this construction and some further problems will be discussed.

Universality theorems (in the sense of N. Mnëv) claim that the realization space of a combinatorial object (a point configuration, a hyperplane arrangement, a convex polytope, etc.) can be arbitrarily complicated. In the paper, we prove a universality theorem for a graph in the plane with a prescribed \textit{oriented matroid of stresses}, that is the collection of signs of all possible equilibrium stresses of the graph. This research is motivated by the Grassmanian stratification (Gelfand, Goresky, MacPherson, Serganova) by thin Schubert cells, and by a recent series of papers on stratifications of configuration spaces of tensegrities (Doray, Karpenkov, Schepers, Servatius).

We study finite groups that occur as combinatorial automorphism groups or geometric symmetry groups of convex polytopes. When $Γ$ is a subgroup of the combinatorial automorphism group of a convex $d$-polytope, $d\geq 3$, then there exists a convex $d$-polytope related to the original polytope with combinatorial automorphism group exactly $Γ$. When $Γ$ is a subgroup of the geometric symmetry group of a convex $d$-polytope, $d\geq 3$, then there exists a convex $d$-polytope related to the original polytope with both geometric symmetry group and combinatorial automorphism group exactly $Γ$. These symmetry-breaking results then are applied to show that for every abelian group $Γ$ of even order and every involution $σ$ of $Γ$, there is a centrally symmetric convex polytope with geometric symmetry group $Γ$ such that $σ$ corresponds to the central symmetry.

Self-polar polytopes are convex polytopes that are equal to an orthogonal transformation of their polar sets. These polytopes were first studied by Lovász as a means of establishing the chromatic number of distance graphs on spheres, and they can also be used to construct triangle-free graphs with arbitrarily high chromatic number. We investigate the existence, construction, facial structure, and practical applications of self-polar polytopes, as well as the place of these polytopes within the broader set of self-dual polytopes.

This is a survey of the $cd$-index of Eulerian partially ordered sets. The $cd$-index is an encoding of the numbers of chains, specified by ranks, in the poset. It is the most efficient such encoding, incorporating all the affine relations on the flag numbers of Eulerian posets. Eulerian posets include the face posets of regular CW spheres (in particular, of convex polytopes), intervals in the Bruhat order on Coxeter groups, and the lattices of regions of oriented matroids. The paper discusses inequalities on the $cd$-index, connections with other combinatorial parameters, computation, and algebraic approaches.

The main object in this paper is a certain rational convex polytope whose lattice points give a polyhedral realization of a highest weight crystal basis. This is also identical to a Newton-Okounkov body of a flag variety, and it gives a toric degeneration. In this paper, we prove that a specific class of this polytope is given by Kiritchenko's Demazure operators on polytopes. This implies that polytopes in this class are all lattice polytopes. As an application, we give a sufficient condition for the corresponding toric variety to be Gorenstein Fano.

We introduce the flag-approximability of a convex body to measure how easy it is to approximate by polytopes. We show that the flag-approximability is exactly half the volume entropy of the Hilbert geometry on the body, and that both quantities are maximized when the convex body is a Euclidean ball. We also compute explicitly the asymptotic volume of a convex polytope, which allows us to prove that simplices have the least asymptotic volume.

This short note extends a recent result (Bonifas et al, On sub-determinants and the diameter of polyhedra, Discrete Computational Geometry, 52, 2014) of an upper bound of the diameter of a convex polytope defined by an integer matrix to a similar upper bound of the diameter of a convex polytope defined by a real matrix. It also shows, by an example, that the new bound may be better than the ones of Bonifas et al.

Motivated by the Erdos-Szekeres convex polytope conjecture in $R^d$, we initiate the study of the following induced Ramsey problem for hypergraphs. Given integers $ n > k \geq 5$, what is the minimum integer $g_k(n)$ such that any $k$-uniform hypergraph on $g_k(n)$ vertices with the property that any set of $k + 1$ vertices induces 0, 2, or 4 edges, contains an independent set of size $n$. Our main result shows that $g_k(n) > 2^{cn^{k-4}}$, where $c = c(k)$.

The uniform probability measure on a convex polytope induces piecewise polynomial densities on its projections. For a fixed combinatorial type of simplicial polytopes, the moments of these measures are rational functions in the vertex coordinates. We study projective varieties that are parametrized by finite collections of such rational functions. Our focus lies on determining the prime ideals of these moment varieties. Special cases include Hankel determinantal ideals for polytopal splines on line segments, and the relations among multisymmetric functions given by the cumulants of a simplex. In general, our moment varieties are more complicated than in these two special cases. They offer challenges for both numerical and symbolic computing in algebraic geometry.

In this paper, we study the $d$-dimensional rectilinear drawings of the complete $d$-uniform hypergraph $K_{2d}^d$. Anshu et al. [Computational Geometry: Theory and Applications, 2017] used Gale transform and Ham-Sandwich theorem to prove that there exist $Ω\left(2^d\right)$ crossing pairs of hyperedges in such a drawing of $K_{2d}^d$. We improve this lower bound by showing that there exist $Ω\left(2^d \sqrt{ d}\right)$ crossing pairs of hyperedges in a $d$-dimensional rectilinear drawing of $K_{2d}^d$. We also prove the following results. 1. There are $Ω\left(2^d {d^{3/2}}\right)$ crossing pairs of hyperedges in a $d$-dimensional rectilinear drawing of $K_{2d}^d$ when its $2d$ vertices are either not in convex position in $\mathbb{R}^d$ or form the vertices of a $d$-dimensional convex polytope that is $t$-neighborly but not $(t+1)$-neighborly for some constant $t\geq1$ independent of $d$. 2. There are $Ω\left(2^d {d^{5/2}}\right)$ crossing pairs of hyperedges in a $d$-dimensional rectilinear drawing of $K_{2d}^d$ when its $2d$ vertices form the vertices of a $d$-dimensional convex polytope that is $(\lfloor{d/2}\rfloor-t')$-neighborly for some constant $t' \geq 0$ independent of $d$.