arXiv++ Combinatorics

Gale transform is a simple but powerful tool in convex geometry. In particular, the use of Gale transform is the main argument in the classification of polytopes with few vertices. Many books and documents cover the definition of Gale transform and its main properties related to convex polytopes. But it seems that there does not exist document studying the Gale transform of more general objects, such that triangulation of spheres. In this paper, we study the properties of the Gale transform of a large class of such spheres called starshaped spheres.

It is well known that the set of possible degree sequences for a graph on $n$ vertices is the intersection of a lattice and a convex polytope. We show that the set of possible degree sequences for a $k$-uniform hypergraph on $n$ vertices is not the intersection of a lattice and a convex polytope for $k \geq 3$ and $n \geq k+13$. We also show an analogous nonconvexity result for the set of degree sequences of $k$-partite $k$-uniform hypergraphs and the generalized notion of $λ$-balanced $k$-uniform hypergraphs.

The goal of this paper is to establish certain inequalities between the numbers of convex polytopes in the d-dimensional space "containing" and "avoiding" zero provided that their vertex sets are subsets of a given finite set of points in the space.

This is a chapter in an upcoming Tamari Festscrift. Permutahedra are a class of convex polytopes arising naturally from the study of finite reflection groups, while generalized associahedra are a class of polytopes indexed by finite reflection groups. We present the intimate links those two classes of polytopes share.

By applying Seifert's algorithm to a special alternating diagram of a link L, one obtains a Seifert surface F of L. We show that the support of the sutured Floer homology of the sutured manifold complementary to F is affine isomorphic to the set of lattice points given as hypertrees in a certain hypergraph that is naturally associated to the diagram. This implies that the Floer groups in question are supported in a set of Spin^c structures that are the integer lattice points of a convex polytope. This property has an immediate extension to Seifert surfaces arising from homogeneous link diagrams (including all alternating and positive diagrams). In another direction, together with work in progress of the second author and others, our correspondence suggests a method for computing the "top" coefficients of the HOMFLY polynomial of a special alternating link from the sutured Floer homology of a Seifert surface complement for a certain dual link.

Consider a set of $r$ convex $d$-polytopes $P_1,P_2,...,P_r$, where $d\ge{}3$ and $r\ge{}2$, and let $n_i$ be the number of vertices of $P_i$, $1\le{}i\le{}r$. It has been shown by Fukuda and Weibel that the number of $k$-faces of the Minkowski sum, $P_1+P_2+...+P_r$, is bounded from above by $Φ_{k+r}(n_1,n_2,...,n_r)$, where $Φ_{\ell}(n_1,n_2,...,n_r)= \sum_{\substack{1\le{}s_i\le{}n_i s_1+...+s_r=\ell}} \prod_{i=1}^r\binom{n_i}{s_i}$, $\ell\ge{}r$. Fukuda and Weibel have also shown that the upper bound mentioned above is tight for $d\ge{}4$, $2\le{}r\le{}\lfloor\frac{d}{2}\rfloor$, and for all $0\le{}k\le{}\lfloor\frac{d}{2}\rfloor-r$. In this paper we construct a set of $r$ neighborly $d$-polytopes $P_1,P_2,...,P_r$, where $d\ge{}3$ and $2\le{}r\le{}d-1$, for which the upper bound of Fukuda and Weibel is attained for all $0\le{}k\le{}\lfloor\frac{d+r-1}{2}\rfloor-r$. Our approach is based on what is known as the Cayley trick for Minkowski sums. A direct consequence of our result is a tight asymptotic bound on the complexity of the Minkowski sum $P_1+P_2+...+P_r$, for any fixed dimension $d$ and any $2\le{}r\le{}d-1$, when the number of vertices of the polytopes is (asymptotically) the same.

Motivated by the theory of cluster algebras, F. Chapoton, S. Fomin and A. Zelevinsky associated to each finite type root system a simple convex polytope called \emph{generalized associahedron}. They provided an explicit realization of this polytope associated with a bipartite orientation of the corresponding Dynkin diagram. In the first part of this paper, using the parametrization of cluster variables by their $g$-vectors explicitly computed by S.-W. Yang and A. Zelevinsky, we generalize the original construction to any orientation. In the second part we show that our construction agrees with the one given by C. Hohlweg, C. Lange, and H. Thomas in the setup of Cambrian fans developed by N. Reading and D. Speyer.

The mixing operation for abstract polytopes gives a natural way to construct the minimal common cover of two polytopes. In this paper, we apply this construction to the regular convex polytopes, determining when the mix is again a polytope, and completely determining the structure of the mix in each case.

There are many open problems and some mysteries connected to the realizations of the associahedra as convex polytopes. In this note, we describe three -- concerning special realizations with the vertices on a sphere, the space of all possible realizations, and possible realizations of the multiassociahedron.

A polytopal digraph $G(P)$ is an orientation of the skeleton of a convex polytope $P$. The possible non-degenerate pivot operations of the simplex method in solving a linear program over $P$ can be represented as a special polytopal digraph known as an LP digraph. Presently there is no general characterization of which polytopal digraphs are LP digraphs, although four necessary properties are known: acyclicity, unique sink orientation(USO), the Holt-Klee property and the shelling property. The shelling property was introduced by Avis and Moriyama (2009), where two examples are given in $d=4$ dimensions of polytopal digraphs satisfying the first three properties but not the shelling property. The smaller of these examples has $n=7$ vertices. Avis, Miyata and Moriyama(2009) constructed for each $d \ge 4$ and $n \ge d+2$, a $d$-polytope $P$ with $n$ vertices which has a polytopal digraph which is an acyclic USO that satisfies the Holt-Klee property, but does not satisfy the shelling property. The construction was based on a minimal such example, which has $d=4$ and $n=6$. In this paper we explore the shelling condition further. First we give an apparently stronger definition of the shelling property, which we then prove is equivalent to the original definition. Using this stronger condition we are able to give a more general construction of such families. In particular, we show that given any 4-dimensional polytope $P$ with $n_0$ vertices whose unique sink is simple, we can extend $P$ for any $d \ge 4$ and $n \ge n_0 + d-4$ to a $d$-polytope with these properties that has $n$ vertices. Finally we investigate the strength of the shelling condition for $d$-crosspolytopes, for which Develin (2004) has given a complete characterization of LP orientations.

Unlike the situation in the classical theory of convex polytopes, there is a wealth of semi-regular abstract polytopes, including interesting examples exhibiting some unexpected phenomena. We prove that even an equifacetted semi-regular abstract polytope can have an arbitrary large number of flag orbits or face orbits under its combinatorial automorphism group.

In the classical setting, a convex polytope is said to be semiregular if its facets are regular and its symmetry group is transitive on vertices. This paper studies semiregular abstract polytopes, which have abstract regular facets, still with combinatorial automorphism group transitive on vertices. We analyze the structure of the automorphism group, focusing in particular on polytopes with two kinds of regular facets occurring in an "alternating" fashion. In particular we use group amalgamations to prove that given two compatible n-polytopes P and Q, there exists a universal abstract semiregular (n+1)-polytope which is obtained by "freely" assembling alternate copies of P and Q. We also employ modular reduction techniques to construct finite semiregular polytopes from reflection groups over finite fields.

A natural partial ordering exists on the set of all weighted games and, more broadly, on all linear games. We describe several properties of the partially ordered sets formed by these games and utilize this perspective to enumerate proper linear games with one generator. We introduce a geometric approach to weighted voting by considering the convex polytope of all possible realizations of a weighted game and connect this geometric perspective to the weighted games poset in several ways. In particular, we prove that generic vertical lines in $C_n$, the union of all weighted $n$-player polytopes, correspond to maximal saturated chains in the poset of weighted games, i.e., the poset is a blueprint for how the polytopes fit together to form $C_n$. We show how to compare the relationships between the powers of the players using the polytope directly. Finally, we describe the facets of each polytope, from which we develop a method for determining the weightedness of any linear game that covers or is covered by a weighted game.

We present a complete acyclic matching of the Hasse diagram associated with the face lattice of a hypersimplex. Since a hypersimplex is a convex polytope, there is a natural way to form a CW complex from its faces. We will then utilize this matching along with discrete Morse theory and some topological techniques to classify every subcomplex whose reduced homology groups are concentrated in a single degree. These reduced homology groups support a natural action of the symmetric group and a description of the characters that this action produces is given.

For an integral convex polytope $\Pc \subset \RR^N$ of dimension $d$, we call $δ(\Pc)=(δ_0, δ_1,..., δ_d)$ the $δ$-vector of $\Pc$ and $\vol(\Pc)=\sum_{i=0}^dδ_i$ its normalized volume. In this paper, we will establish the new equalities and inequalities on $δ$-vectors for integral simplices whose normalized volumes are prime. Moreover, by using those, we will classify all the possible $δ$-vectors of integral simplices with normalized volume 5 and 7.

We derive tight expressions for the maximum number of $k$-faces, $0\le{}k\le{}d-1$, of the Minkowski sum, $P_1\oplus{}P_2$, of two $d$-dimensional convex polytopes $P_1$ and $P_2$, as a function of the number of vertices of the polytopes. For even dimensions $d\ge{}2$, the maximum values are attained when $P_1$ and $P_2$ are cyclic $d$-polytopes with disjoint vertex sets. For odd dimensions $d\ge{}3$, the maximum values are attained when $P_1$ and $P_2$ are $\lfloor\frac{d}{2}\rfloor$-neighborly $d$-polytopes, whose vertex sets are chosen appropriately from two distinct $d$-dimensional moment-like curves.

The goal of this paper is to present a general and novel approach for the reconstruction of any convex d-dimensional polytope P, from knowledge of its moments. In particular, we show that the vertices of an N-vertex polytope in R^d can be reconstructed from the knowledge of O(DN) axial moments (w.r.t. to an unknown polynomial measure od degree D) in d+1 distinct generic directions. Our approach is based on the collection of moment formulas due to Brion, Lawrence, Khovanskii-Pukhikov, and Barvinok that arise in the discrete geometry of polytopes, and what variously known as Prony's method, or Vandermonde factorization of finite rank Hankel matrices.

An outstanding conjecture on roots of Ehrhart polynomials says that all roots $α$ of the Ehrhart polynomial of an integral convex polytope of dimension $d$ satisfy $-d \leq \Re(α) \leq d-1$. In this paper, we suggest some counterexamples of this conjecture.

Cyclic polytopes are generally known for being involved in the Upper Bound Theorem, but they have another extremal property which is less well known. Namely, the special shape of their f-vectors makes them applicable to certain constructions to present non-unimodal convex polytopes. Nevertheless, the f-vectors of cyclic polytopes themselves are unimodal.

A small cover was introduced by Davis and Januszkiewicz as an $n$-dimensional closed manifold with a locally standard $Z_2)^n$-action such that its orbit space is a simple convex polytope. There exist a one-to-one correspondence between small covers and $(Z_2)^n$-colored polytopes. In this paper we study a construction of 3-dimensional small covers by using two operations called a connected sum and a surgery. These operations correspondent to combinatorial operations on $(Z_2)^3$-colored simple convex polytopes. We shall show that each 3-dimensional small cover can be constructed from $T^3$, $RP^3$ and $S^1 \times RP^2$ with two different $(Z_2)^3$-actions by using these operations. This result is a generalization and an improvement of Lü-Yu's result.