arXiv++ Combinatorics

The notion of r-stackedness for simplicial polytopes was introduced by McMullen and Walkup in 1971 as a generalization of stacked polytopes. In this paper, we define the r-stackedness for triangulated homology manifolds and study their basic properties. In addition, we find a new necessary condition for face vectors of triangulated manifolds when all the vertex links are polytopal.

Provan and Billera introduced notions of (weak) decomposability of simplicial complexes as a means of attempting to prove polynomial upper bounds on the diameter of the facet-ridge graph of a simplicial polytope. Recently, De Loera and Klee provided the first examples of simplicial polytopes that are not weakly vertex-decomposable. These polytopes are polar to certain simple transportation polytopes. In this paper, we refine their analysis to prove that these $d$-dimensional polytopes are not even weakly $O(\sqrt{d})$-decomposable. As a consequence, (weak) decomposability cannot be used to prove a polynomial version of the Hirsch conjecture.

Boij-Söderberg theory shows that the Betti table of a graded module can be written as a liner combination of pure diagrams with integer coefficients. Using Ferrers hypergraphs and simplicial polytopes, we provide interpretations of these coefficients for ideals with a d-linear resolution, their quotient rings, and for Gorenstein rings whose resolution has essentially at most two linear strands. We also establish a structural result on the decomposition in the case of quasi-Gorenstein modules.

In 1980 Provan and Billera defined the notion of weak $k$-decomposability for pure simplicial complexes. They showed the diameter of a weakly $k$-decomposable simplicial complex $Δ$ is bounded above by a polynomial function of the number of $k$-faces in $Δ$ and its dimension. For weakly 0-decomposable complexes, this bound is linear in the number of vertices and the dimension. In this paper we exhibit the first examples of non-weakly 0-decomposable simplicial polytopes.

In 1971, McMullen and Walkup posed the following conjecture, which is called the generalized lower bound conjecture: If $P$ is a simplicial $d$-polytope then its $h$-vector $(h_0,h_1,...,h_d)$ satisfies $h_0 \leq h_1 \leq ... \leq h_{\lfloor \frac d 2 \rfloor}$. Moreover, if $h_{r-1}=h_r$ for some $r \leq \frac d 2$ then $P$ can be triangulated without introducing simplices of dimension $\leq d-r$. The first part of the conjecture was solved by Stanley in 1980 using the hard Lefschetz theorem for projective toric varieties. In this paper, we give a proof of the remaining part of the conjecture. In addition, we generalize this property to a certain class of simplicial spheres, namely those admitting the weak Lefschetz property.

The question of shellability of complexes of directed trees was asked by R. Stanley. D. Kozlov showed that the existence of a complete source in a directed graph provides a shelling of its complex of directed trees. We will show that this property gives a shelling that is straightforward in some sense. Among the simplicial polytopes, only the crosspolytopes allow such a shelling. Furthermore, we show that the complex of directed trees of a complete double directed graph is a union of suitable spheres. We also investigate shellability of the maximal pure skeleton of a complex of directed trees. Also, we prove that is vertex-decomposable. For these complexes we describe the set of generating facets.

In 2003, A. Bjorner and M. de Longueville proved that the neighborhood complex of the stable Kneser graph SG_{n,k} is homotopy equivalent to a k-sphere. Further, for n=2 they showed that the neighborhood complex deformation retracts to a subcomplex isomorphic to the associahedron. They went on to ask whether or not, for all n and k, the neighborhood complex of SG_{n,k} contains as a deformation retract the boundary complex of a simplicial polytope. Our purpose is to give a positive answer to this question in the case k=2. We also find in this case that, after partially subdividing the neighborhood complex, the resulting complex deformation retracts onto a subcomplex arising as a polyhedral boundary sphere that is invariant under the action induced by the automorphism group of SG_{n,2}.

We introduce the short toric polynomial associated to a graded Eulerian poset. This polynomial contains the same information as the two toric polynomials introduced by Stanley, but allows different algebraic manipulations. The intertwined recurrence defining Stanley's toric polynomials may be replaced by a single recurrence, in which the degree of the discarded terms is independent of the rank. A short toric variant of the formula by Bayer and Ehrenborg, expressing the toric $h$-vector in terms of the $cd$-index, may be stated in a rank-independent form, and it may be shown using weighted lattice path enumeration and the reflection principle. We use our techniques to derive a formula expressing the toric $h$-vector of a dual simplicial Eulerian poset in terms of its $f$-vector. This formula implies Gessel's formula for the toric $h$-vector of a cube, and may be used to prove that the nonnegativity of the toric $h$-vector of a simple polytope is a consequence of the Generalized Lower Bound Theorem holding for simplicial polytopes.

Let $P$ be a finite poset. Let $L:=J(P)$ denote the lattice of order ideals of $P$. Let $b_i(L)$ denote the number of Boolean intervals of $L$ of rank $i$. We construct a simple graph $G(P)$ from our poset $P$. Denote by $f_i(P)$ the number of the cliques $K_{i+1}$, contained in the graph $G(P)$. Our main results are some linear equations connecting the numbers $f_i(P)$ and $b_i(L)$. We reprove the Dehn--Sommerville equations for simplicial polytopes. In our proof we use free resolutions and the theory of Stanley--Reisner rings.

A simplicial polytope is combinatorially rigid if its combinatorial structure is determined by its graded Betti numbers which are important invariant coming from combinatorial commutative algebra. We find a necessary condition to be combinatorially rigid for 3-dimensional reducible simplicial polytopes and provide some rigid reducible simplicial polytopes.

We consider a particular class of n-dimensional homogeneous diffusions all of which have an identity diffusion matrix and a drift function that is piecewise constant and scale invariant. Abstract stochastic calculus immediately gives us general results about existence and uniqueness in law and invariant probability distributions when they exist. These invariant distributions are probability measures on the $n$-dimensional space and can be extremely resistant to a more detailed understanding. To have a better analysis, we construct a polyhedra such that the inward normal at its surface is given by the drift function and show that the finer structures of the invariant probability measure is intertwined with the geometry of the polyhedra. We show that several natural interacting Brownian particle models can thus be analyzed by studying the combinatorial fan generated by the drift function, particularly when these are simplicial. This is the case when the polyhedra is a polytope that is invariant under a Coxeter group action, which leads to an explicit description of the invariant measures in terms of iid Exponential random variables. Another class of examples is furnished by interactions indexed by weighted graphs all of which generate simplicial polytopes with $n !$ faces. We show that the proportion of volume contained in each component simplex corresponds to a probability distribution on the group of permutations, some of which have surprising connections with the classical urn models.

We consider simplicial polytopes, and more general simplicial complexes, without missing faces above a fixed dimension. Sharp analogues of McMullen's generalized lower bounds, and of Barnette's lower bounds, are conjectured for these families of complexes. Some partial results on these conjectures are presented.

Kalai proved that the simplicial polytopes with g_2=0 are the stacked polytopes. We characterize the g_2=1 case. Specifically, we prove that every simplicial d-polytope (d>=4) which is prime and with g_2=1 is combinatorially equivalent either to a free sum of two simplices whose dimensions add up to d (each of dimension at least 2), or to a free sum of a polygon with a (d-2)-simplex. Thus, every simplicial d-polytope (d>=4) with g_2=1 is combinatorially equivalent to a polytope obtained by stacking over a polytope as above. Moreover, the above characterization holds for any homology (d-1)-sphere (d>=4) with g_2=1, and our proof takes advantage of working with this larger class of complexes.

Cyclic polytopes are characterized as simplicial polytopes satisfying Gale's evenness condition (a combinatorial condition on facets relative to a fixed ordering of the vertices). Periodically-cyclic polytopes are polytopes for which certain subpolytopes are cyclic. Bisztriczky discovered a class of periodically-cyclic polytopes that also satisfy Gale's evenness condition. The faces of these polytopes are braxtopes, a certain class of nonsimplicial polytopes studied by the authors. In this paper we prove that the periodically-cyclic Gale polytopes of Bisztriczky are exactly the polytopes that satisfy Gale's evenness condition and are braxial (all faces are braxtopes). The existence of other periodically-cyclic Gale polytopes is open.

We will study the angle sums of polytopes, listed in the $α$-vector, working to exploit the analogy between the f-vector of faces in each dimension and the alpha-vector of angle sums. The Gram and Perles relations on the $α$-vector are analogous to the Euler and Dehn-Sommerville relations on the f-vector. First we describe the spaces spanned by the the alpha-vector and the $α$-f-vectors of certain classes of polytopes. Families of polytopes are constructed whose angle sums span the spaces of polytopes defined by the Gram and Perles equations. This shows that the dimension of the affine span of the space of angle sums of simplices is floor[(d-1)/2], and that of the combined angle sums and face numbers of simplicial polytopes and general polytopes are d-1 and 2d-3, respectively. Next we consider angle sums of polytopal complexes. We define the angle characteristic on the alpha-vector in analogy to the Euler characteristic. We show that the changes in the two correspond and that, in the case of certain odd-dimensional polytopal complexes, the angle characteristic is half the Euler characteristic. Finally, we consider spherical and hyperbolic polytopes and polytopal complexes. Spherical and hyperbolic analogs of the Gram relation and a spherical analog of the Perles relation are known, and we show the hyperbolic analog of the Perles relations in a number of cases. Proving this relation for simplices of dimension greater than 3 would finish the proof of this result. Also, we show how constructions on spherical and hyperbolic polytopes lead to corresponding changes in the angle characteristic and Euler characteristic.

Let $f_i(P)$ denote the number of $i$-dimensional faces of a convex polytope $P$. Furthermore, let $S(n,d)$ and $C(n,d)$ denote, respectively, the stacked and the cyclic $d$-dimensional polytopes on $n$ vertices. Our main result is that for every simplicial $d$-polytope $P$, if $$ f_r(S(n_1,d))\le f_r(P) \le f_r(C(n_2,d)) $$ for some integers $n_1, n_2$ and $r$, then $$ f_s(S(n_1,d))\le f_s(P) \le f_s(C(n_2,d)) $$ for all $s$ such that $r<s$. For $r=0$ these inequalities are the well-known lower and upper bound theorems for simplicial polytopes. The result is implied by a certain ``comparison theorem'' for $f$-vectors, formulated in Section 4. Among its other consequences is a similar lower bound theorem for centrally-symmetric simplicial polytopes.

Orthogonal surfaces are nice mathematical objects which have interesting connections to various fields, e.g., integer programming, monomial ideals and order dimension. While orthogonal surfaces in one or two dimensions are rather trivial already the three dimensional case has a rich structure with connections to Schnyder woods, planar graphs and 3-polytopes. Our objective is to detect more of the structure of orthogonal surfaces in four and higher dimensions. In particular we are driven by the question which non-generic orthogonal surfaces have a polytopal structure. We study characteristic points and the cp-orders of orthogonal surfaces, i.e., the dominance orders on the characteristic points. In the generic case these orders are (almost) face lattices of polytopes. Examples show that in general cp-orders can lack key properties of face lattices. We investigate extra requirements which may help to have cp-orders which are face lattices. Finally, we turn the focus and ask for the realizability of polytopes on orthogonal surfaces. There are criteria which prevent large classes of simplicial polytopes from being realizable. On the other hand we identify some families of polytopes which can be realized on orthogonal surfaces.

The conjecture of Kalai, Kleinschmidt, and Lee on the number of empty simplices of a simplicial polytope is established by relating it to the first graded Betti numbers of the polytope. The proof allows us to derive explicit optimal bounds on the number of empty simplices of any given dimension. As a key result, we prove optimal bounds for the graded Betti numbers of any standard graded K-algebra in terms of its Hilbert function.

In this paper, we will describe the space spanned by the angle-sums of polytopes, recorded in the alpha-vector. We will consider the angles sums of simplices and the angles sums and face numbers of simplicial polytopes and general polytopes. We will construct families of polytopes whose angle sums span the spaces of polytopes defined by the Gram and Perles equations, analogues of the Euler and Dehn-Sommerville equations. We show that the dimensions of the affine span of the space of angle sums of simplices is floor[(d-1)/2] + 1, and that of the angle sums and face numbers of simplicial polytopes and general polytopes are d-1 and 2d-3 respectively.

We show that the Ehrhart h-vector of an integer Gorenstein polytope with a regular unimodular triangulation satisfies McMullen's g-theorem; in particular, it is unimodal. This result generalizes a recent theorem of Athanasiadis (conjectured by Stanley) for compressed polytopes. It is derived from a more general theorem on Gorenstein affine normal monoids M: one can factor K[M] (K a field) by a "long" regular sequence in such a way that the quotient is still a normal affine monoid algebra. This technique reduces all questions about the Ehrhart h-vector of P to the Ehrhart h-vector of a Gorenstein polytope Q with exactly one interior lattice point, provided each lattice point in a multiple cP, c in N, can be written as the sum of n lattice points in P. (Up to a translation, the polytope Q belongs to the class of reflexive polytopes considered in connection with mirror symmetry.) If P has a regular unimodular triangulation, then it follows readily that the Ehrhart h-vector of P coincides with the combinatorial h-vector of the boundary complex of a simplicial polytope, and the g-theorem applies.