arXiv++ Combinatorics

Let $P$ be a simple polytope of dimension $n$ with $m$ facets. In this paper we pay our attention on those elementary symmetric polynomials in the Stanley--Reisner face ring of $P$ and study how the decomposability of the $n$-th elementary symmetric polynomial influences on the combinatorics of $P$ and the topology and geometry of toric spaces over $P$. We give algebraic criterions of detecting the decomposability of $P$ and determining when $P$ is $n$-colorable in terms of the $n$-th elementary symmetric polynomial. In addition, we define the Stanley--Reisner {\em exterior} face ring $\mathcal{E}(K_P)$ of $P$, which is non-commutative in the case of ${\Bbb Z}$ coefficients, where $K_P$ is the boundary complex of dual of $P$. Then we obtain a criterion for the (real) Buchstaber invariant of $P$ to be $m-n$ in terms of the $n$-th elementary symmetric polynomial in $\mathcal{E}(K_P)$. Our results as above can directly associate with the topology and geometry of toric spaces over $P$. In particular, we show that the decomposability of the $n$-th elementary symmetric polynomial in $\mathcal{E}(K_P)$ with ${\Bbb Z}$ coefficients can detect the existence of the almost complex structures of quasitoric manifolds over $P$, and if the (real) Buchstaber invariant of $P$ is $m-n$, then there exists an essential relation between the $n$-th equivariant characteristic class of the (real) moment-angle manifold over $P$ in $\mathcal{E}(K_P)$ and the characteristic functions of $P$.

We study the extension complexity of polytopes with few vertices or facets. On the one hand, we provide a complete classification of $d$-polytopes with at most $d+4$ vertices according to their extension complexity: Out of the super-exponentially many $d$-polytopes with $d+4$ vertices, all have extension complexity $d+4$ except for some families of size $θ(d^2)$. On the other hand, we show that generic realizations of simplicial/simple $d$-polytopes with $d+1+α$ vertices/facets have extension complexity at least $2 \sqrt{d(d+α)} -d + 1$, which shows that for all $d>(\frac{α-1}{2})^2$ there are $d$-polytopes with $d+1+α$ vertices or facets and extension complexity $d+1+α$.

It is known that a connected simple graph $G$ associates a simple polytope $P_G$ called a graph associahedron in Euclidean space. In this paper we show that the set of facet vectors of $P_G$ forms a root system if and only if $G$ is a cycle graph and that the root system is of type A.

We classify here combinatorially rigid simple polytopes with three facets more than their dimension.

We explore the connection between simple polytopes and self-dual binary codes via the theory of small covers. We first show that a small cover $M^n$ over a simple $n$-polytope $P^n$ produces a self-dual code in the sense of Kreck-Puppe if and only if $P^n$ is $n$-colorable and $n$ is odd. Then we show how to describe such a self-dual binary code in terms of the combinatorial information of $P^n$. Moreover, we can define a family of binary codes $\mathfrak{B}_k(P^n)$, $0\leq k\leq n$, from an arbitrary simple $n$-polytope $P^n$. We will give some necessary and sufficient conditions for $\mathfrak{B}_k(P^n)$ to be a self-dual code. A spinoff of our study of such binary codes gives some new ways to judge whether a simple $n$-polytope $P^n$ is $n$-colorable in terms of the associated binary codes $\mathfrak{B}_k(P^n)$. In addition, we prove that the minimum distance of the self-dual binary code obtained from a $3$-colorable simple $3$-polytope is always $4$.

We show that by cutting off the vertices and then the edges of neighborly cubical polytopes, one obtains simple 4-dimensional polytopes with n vertices such that all separators of the graph have size at least $Ω(n/\log^{3/2}n)$. This disproves a conjecture by Kalai from 1991/2004.

In this paper we study the operation of cutting off edges of a simple $3$-polytope $P$ along the graph $Γ$. We give the criterion when the resulting polytope is simple and when it is flag. As a corollary we prove the analog of Eberhard's theorem about the realization of polygon vectors of simple $3$-polytopes for flag polytopes.

In 2010 Santos described the construction of a counterexample to the Hirsch conjecture, and in 2012 Santos and Weibel provided the coordinates for the 40 facets of a 20-dimensional counterexample. In this paper we explore technical details of the construction using Santos and Weibel's work as the motivating example. Santos presented the construction in the dual setting. Here we return to the primal setting, in which Santos' construction calls for repeated application of a perturbed wedge operation, a wedge over a facet followed by a perturbation of one or more other facets. We show that the starting point for the construction is a counterexample "P5" to the nonrevisiting conjecture in dimension 5. However, this polytope P5 is not a simple polytope; it contains two nonsimple vertices. As we repeatedly apply the perturbed wedge, the nonsimplicities grow in dimension while their excess is reduced. Finally in dimension 20, the resulting polytope is simple and its diameter exceeds the Hirsch bound by 1. These notes are a technical companion to the work of Santos and Weibel.

A well-known conjecture of McMullen, proved by Billera, Lee and Stanley, describes the face numbers of simple polytopes. The necessary and sufficient condition is that the toric g-vector of the polytope is an M-vector, that is, the vector of dimensions of graded pieces of a standard graded algebra A. Recent work by Murai, Nevo and Yanagawa suggests a similar condition for the coefficients of the cd-index of a poset P. The coefficients of the cd-index are conjectured to be the dimensions of graded pieces in a standard multigraded algebra A. We prove the conjecture for simplicial spheres and we give numerical evidence for general shellable spheres. In the simplicial case we construct the multi-graded algebra A explicitly using lattice paths.

We describe here two simple polytopes that have different Betti numbers and whose moment-angle manifolds are diffeomorphic.

A graph associahedron is a simple polytope whose face lattice encodes the nested structure of the connected subgraphs of a given graph. In this paper, we study certain graph properties of the 1-skeleta of graph associahedra, such as their diameter and their Hamiltonicity. Our results extend known results for the classical associahedra (path associahedra) and permutahedra (complete graph associahedra). We also discuss partial extensions to the family of nestohedra.

We construct small covers and quasitoric manifolds over $n$-dimensional simple polytopes which allow proper colorings of facets with $n$ colors. We calculate Stiefel-Whitney classes of these manifolds as obstructions to immersions and embeddings into Euclidean spaces. The largest dimension required for embedding is achieved in the case $n$ is a power of two.

We construct toric manifolds of complex dimension $\geq 4$, whose orbit spaces by the action of the compact torus are not homeomorphic to simple polytopes (as manifolds with corners). These provide the first known examples of toric manifolds which are not quasitoric manifolds.

Santos' construction of the first known counterexample to the Hirsch conjecture, for bounded polytopes, follows the strategy of first finding a counterexample to the nonrevisiting conjecture. Santos constructs a $5$-dimensional all-but-simple spindle $(P,x,y)$ of length $6$, which is a counterexample to the nonrevisiting conjecture. For simple polytopes, if we had a counterexample to the nonrevisiting conjecture, we would produce the corresponding counterexample to the Hirsch conjecture through repeated wedging, over all the facets not incident to $x$ or $y$. However, Santos $5$-dimensional spindle is not simple. Every facet is incident to either $x$ or $y$, so we need an alternate method to produce the corresponding counterexample to the Hirsch conjecture. Santos has offered the perturbed wedge to accomplish this. In these working notes, we offer some technical details regarding the nonsimplicities under iterations of the perturbed wedge construction. NOTE: these are working notes about the construction.

In this paper we study the Buchstaber invariant of simplicial complexes, which comes from toric topology. With each simplicial complex $K$ on $m$ vertices we can associate a moment-angle complex $\mathcal Z_K$ with a canonical action of the compact torus $T^m$. Then $s(K)$ is the maximal dimension of a toric subgroup that acts freely on $\mathcal Z_K$. We develop the Buchstaber invariant theory from the viewpoint of the set of minimal non-simplices of $K$. It is easy to show that $s(K)=1$ if and only if any two and any three minimal non-simplices intersect. For $K=\partial P^*$, where $P$ is a simple polytope, this implies that $P$ is a simplex. The case $s(P)=2$ is such more complicated. For example, for any $k\geqslant 2$ there exists an $n$-polytope with $n+k$ facets such that $s(P)=2$. Our main result is the criterion for the Buchstaber invariant of a simplicial complex $K$ to be equal to two.

This paper continues investigation of the class of flag simple polytopes called 2-truncated cubes. It is an extended version of the short note Volodin (2012). A 2-truncated cube is a polytope obtained from a cube by sequence of truncations of codimension 2 faces. Constructed uniquely defined function which maps any 2-truncated cube to a flag simplicial complex with $f$-vector equal to $γ$-vector of the polytope. As a corollary we obtain that $γ$-vectors of 2-truncated cubes satisfy Frankl-Furedi-Kalai inequalities.

Two simple polytopes of dimension 3 having the identical bigraded Betti numbers but non-isomorphic Tor-algebras are presented. These polytopes provide two homotopically different moment-angle manifolds having the same bigraded Betti numbers. These two simple polytopes are the first examples of polytopes that are (toric) cohomologically rigid but not combinatorially rigid.

In their paper "1-skeleta, Betti numbers, and equivariant cohomology" Guillemin and Zara described some beautiful constructions enabling them to use Morse theory on a certain class 1-skeleta including 1-skeleta of simple polytopes. In this paper we extend some of the notions and constructions from that paper to a larger class of 1-skeleta that includes 1-skeleta of projected simple polytopes. As an application of these ideas we prove a lifting result for 1-skeleta, which yields a characterization of 1-skeleta coming from projected simple polytopes.

We describe a perturbation method that can be used to reduce the problem of finding the multivariate generating function (MGF) of a non-simple polytope to computing the MGF of simple polytopes. We then construct a perturbation that works for any transportation polytope. We apply this perturbation to the family of central transportation polytopes of order kn x n, and obtain formulas for the MGFs of the feasible cone of each vertex of the polytope and the MGF of the polytope. The formulas we obtain are enumerated by combinatorial objects. A special case of the formulas recovers the results on Birkhoff polytopes given by the author and De Loera and Yoshida. We also recover the formula for the number of maximum vertices of transportation polytopes of order kn x n.

Our main theoretical result is that, if a simple polytope has a pair of complementary vertices (i.e., two vertices with no facets in common), then it has at least two such pairs, which can be chosen to be disjoint. Using this result, we improve adjacency testing for vertices in both simple and non-simple polytopes: given a polytope in the standard form {x \in R^n | Ax = b and x \geq 0} and a list of its V vertices, we describe an O(n) test to identify whether any two given vertices are adjacent. For simple polytopes this test is perfect; for non-simple polytopes it may be indeterminate, and instead acts as a filter to identify non-adjacent pairs. Our test requires an O(n^2 V + n V^2) precomputation, which is acceptable in settings such as all-pairs adjacency testing. These results improve upon the more general O(nV) combinatorial and O(n^3) algebraic adjacency tests from the literature.