arXiv++ Combinatorics

In their seminal paper introducing the theory of random graphs, Erdős and Rényi considered the evolution of the structure of a random subgraph of $K_n$ as the density increases from $0$ to $1$, identifying two key points in this evolution -- the \emph{percolation threshold}, where the order of the largest component seemingly jumps from logarithmic to linear in size, and the \emph{connectivity threshold}, where the subgraph becomes connected. Similar phenomena have been observed in many other random graph models, and in particular, works of Ajtai, Komlós and Szemerédi and of Spencer and Erdős determine corresponding thresholds for random subgraphs of the hypercube. We study similar questions on the \emph{permutahedron}. The permutahedron, like the hypercube, has many different equivalent representations, and arises as a natural object of study in many areas of combinatorics. In particular, as a highly-symmetric simple polytope, like the $n$-simplex and $n$-cube, this percolation model naturally generalises the Erdős-Rényi random graph and the percolated hypercube. We determine the percolation threshold and the connectivity threshold for random subgraphs of the permutahedron. Along the way we develop a novel graph exploration technique which can be used to find exponentially large clusters after percolation in high-dimensional geometric graphs and we initiate the study of the isoperimetric properties of the permutahedron.

We consider (non-necessarily free) actions of subgroups $H\subset \mathbb Z_2^m$ on the real moment-angle manifold $\mathbb R\mathcal{Z}_P$ corresponding to a simple convex $n$ polytope $P$ with $m$ facets. The criterion when the orbit space $\mathbb R\mathcal{Z}_P/H$ is a topological manifold (perhaps with a boundary) can be extracted from results by M.A. Mikhailova and C. Lange. For any dimension $n$ we construct series of manifolds $\mathbb R\mathcal{Z}_P/H$ homeomorphic to $S^n$ and series of manifolds $M^n=\mathbb R\mathcal{Z}_P/H$ admitting a hyperelliptic involution $τ\in\mathbb Z_2^m/H$, that is an involution $τ$ such that $M^n/\langleτ\rangle$ is homeomorphic to $S^n$. For any simple $3$-polytope $P$ we classify all subgroups $H\subset\mathbb Z_2^m$ such that $\mathbb R\mathcal{Z}_P/H$ is homeomorphic to $S^3$. For any simple $3$-polytope $P$ and any subgroup $H\subset\mathbb Z_2^m$ we classify all hyperelliptic involutions $τ\in\mathbb Z_2^m/H$ acting on $\mathbb R\mathcal{Z}_P/H$. As a corollary we obtain that a $3$-dimensional small cover has $3$ hyperelliptic involutions in $\mathbb Z_2^3$ if and only if it is a rational homology $3$-sphere and if and only if it correspond to a triple of Hamiltonian cycles such that each edge of the polytope belongs to exactly two of them.

We use the differential algebra of polytopes to explain the known remarkable relation of the combinatorics of the associahedra and permutohedra with the universal compositional and multiplicative inversion formulas for the formal power series. This approach allows to single out the associahedra and permutohedra among all graph-associahedra and emphasizes the significance of the differential equations for special sequences of simple polytopes derived earlier by one of the authors. We discuss also the link with the geometry of Deligne-Mumford moduli spaces $\bar M_{0,n}$ and the interpretation of the combinatorics of cyclohedra in relation with the classical Faà di Bruno's formula.

We show that the facet-ridge graph of a shellable simplicial sphere $Δ$ uniquely determines the entire combinatorial structure of $Δ$. This generalizes the celebrated result due to Blind and Mani (1987), and Kalai (1988) on reconstructing simple polytopes from their graphs. Our proof utilizes the notions of good acyclic orientations from Kalai's proof as well as $k$-systems introduced by Joswig, Kaibel, and Körner.

Volume computation for $d$-polytopes $\mathcal{P}$ is fundamental in mathematics. There are known volume computation algorithms, mostly based on triangulation or signed-decomposition of $\mathcal{P}$. We consider $ \mathrm{cone}(\mathcal{P})$ as a lift of $\mathcal{P}$ in view of Ehrhart theory. By using technique from algebraic combinatorics, we obtain a volume algorithm using only signed simplicial cone decompositions of $ \mathrm{cone}(¶)$. Each cone is associated with a simple algebraic volume formula. Summing them gives the volume of the polytope. Our volume formula applies to various kind of cases. In particular, we use it to explain the traditional triangulation method and Lawrence's signed decomposition method. Moreover, we give a completely new primal-dual method for volume computation. This solves the traditional problem in this area: All existing methods are hopelessly impractical for either the class of simple polytopes or the class of simplicial polytopes. Our method has a good performance in computer experiments.

We define a certain merging operation that given two $d$-polytopes $P$ and $Q$ such that $P$ has a simplex facet $F$ and $Q$ has a simple vertex $v$ produces a new $d$-polytope $P\hspace{0.1em}\triangleright Q$ with $f_0(P)+f_0(Q)-(d+1)$ vertices. We show that if for some $1\leq i\leq d-1$, $P$ and $Q$ are $(d-i)$-simplicial $i$-simple $d$-polytopes, then so is $P\hspace{0.1em}\triangleright Q$. We then use this operation to construct new families of $(d-i)$-simplicial $i$-simple $d$-polytopes. Specifically, we prove that for all $2\leq i \leq d-2\leq 6$ with the exception of $(i,d)=(3,8)$ and $(5,8)$, there is an infinite family of $(d-i)$-simplicial $i$-simple $d$-polytopes; furthermore, for all $2\leq i\leq 4$, there is an infinite family of self-dual $i$-simplicial $i$-simple $2i$-polytopes. Finally, we show that for any $d\geq 4$, there are $2^{Ω(N)}$ combinatorial types of $(d-2)$-simplicial $2$-simple $d$-polytopes with at most $N$ vertices.

The chromatic number for properly colouring the facets of a combinatorial simple $n$-polytope $P^n$ that is the orbit space of a quasitoric manifold satisfies the inequality $n\leq P^n\leq 2^n-1$. The inequality is sharp for $n=2$ but not for $n=3$ due to the Four Color theorem. In this note, we construct a simple 4-polytope admitting a characteristic map whose chromatic number equals $15$ and deduce that the predicted upper bound is attained for $n=4$. Analogues results are verified for the case of oriented small covers in dimensions $4$ and $5$.

For $d \ge 2$, we show that all graphs of $d$-polytopes have a Hamiltonian line graph if and only if $d \ne 3$: We exhibit a graph of a $3$-polytope on $252$ vertices whose line graph does not even have Hamiltonian paths. Adapting a construction by Grünbaum and Motzkin, for large $n$ we also construct simple $3$-polytopes on $3n$ vertices in whose line graph any simple path is shorter than $10 n^α$, for some constant $α<1$. Moreover, we give four elementary counterexamples of plausible extensions to simplicial complexes of four famous results in Hamiltonian graph theory.

This article mainly aims to give combinatorial characterizations and topological descriptions of quasitoric manifolds with string property. We provide a necessary and sufficient condition for a simple polytope in dimension 2 and 3 to be realizable as the orbit polytope of a string quasitoric manifold. In particular, a complete description of string quasitoric manifolds over prisms is obtained. On the other hand, we characterize string quasitoric manifolds over $n$-dimensional simple polytopes with no more than $2n+2$ facets. Further results are available when the orbit polytope is the connected sum of a cube and another simple polytope. In addtion, a real analogue concerning small cover is briefly discussed.

The moduli space of $n$ chains in the plane with generic side lengths that terminate on a fixed line is a smooth, closed manifold of dimension $n-1$. This manifold is also equipped with a locally standard action of $\mathbb{Z}_2^{n-1}$. The orbit space of this action is a simple polytope called the moment polytope. Interestingly, this manifold is also the fixed point set of an involution on a toric manifold known as the abelian polygon space. In this article we show that the moment polytope of the moduli space of chains is completely characterized by the combinatorial data, called the \emph{short code} of the length vector. We also classify aspherical chain spaces using a result of Davis, Januszkiewicz and Scott.

We prove upper bounds on the graph diameters of polytopes in two settings. The first is a worst-case bound for polytopes defined by integer constraints in terms of the height of the integers and certain subdeterminants of the constraint matrix, which in some cases improves previously known results. The second is a smoothed analysis bound: given an appropriately normalized polytope, we add small Gaussian noise to each constraint. We consider a natural geometric measure on the vertices of the perturbed polytope (corresponding to the mean curvature measure of its polar) and show that with high probability there exists a "giant component" of vertices, with measure $1-o(1)$ and polynomial diameter. Both bounds rely on spectral gaps -- of a certain Schrödinger operator in the first case, and a certain continuous time Markov chain in the second -- which arise from the log-concavity of the volume of a simple polytope in terms of its slack variables.

This paper is concerned with the linkedness of Cartesian products of complete graphs. A graph with at least $2k$ vertices is {\it $k$-linked} if, for every set of $2k$ distinct vertices organised in arbitrary $k$ pairs of vertices, there are $k$ vertex-disjoint paths joining the vertices in the pairs. We show that the Cartesian product $K^{d_{1}+1}\times K^{d_{2}+1}$ of complete graphs $K^{d_{1}+1}$ and $K^{d_{2}+1}$ is $\floor{(d_{1}+d_{2})/2}$-linked for $d_{1},d_{2}\ge 2$, and this is best possible. %A polytope is said to be {\it $k$-linked} if its graph is $k$-linked. This result is connected to graphs of simple polytopes. The Cartesian product $K^{d_{1}+1}\times K^{d_{2}+1}$ is the graph of the Cartesian product $T(d_{1})\times T(d_{2})$ of a $d_{1}$-dimensional simplex $T(d_{1})$ and a $d_{2}$-dimensional simplex $T(d_{2})$. And the polytope $T(d_{1})\times T(d_{2})$ is a {\it simple polytope}, a $(d_{1}+d_{2})$-dimensional polytope in which every vertex is incident to exactly $d_{1}+d_{2}$ edges. While not every $d$-polytope is $\floor{d/2}$-linked, it may be conjectured that every simple $d$-polytope is. Our result implies the veracity of the revised conjecture for Cartesian products of two simplices.

A two-step model for generating random polytopes is considered. For parameters $d$, $m$, and $p$, the first step is to generate a simple polytope $P$ whose facets are given by $m$ uniform random hyperplanes tangent to the unit sphere in $\mathbb{R}^d$, and the second step is to sample each vertex of $P$ independently with probability $p$ and let $Q$ be the convex hull of the sampled vertices. We establish results on how well $Q$ approximates the unit sphere in terms of $m$ and $p$ as well as asymptotics on the combinatorial complexity of $Q$ for certain regimes of $p$.

Toric topology assigns to each $n$-dimensional combinatorial simple convex polytope $P$ with $m$ facets an $(m+n)$-dimensional moment-angle manifold $\mathcal{Z}_P$ with an action of a compact torus $T^m$ such that $\mathcal{Z}_P/T^m$ is a convex polytope of combinatorial type $P$. A simple $n$-polytope is called $B$-rigid, if any isomorphism of graded rings $H^*(\mathcal{Z}_P,\mathbb Z)= H^*(\mathcal{Z}_Q,\mathbb Z)$ for a simple $n$-polytope $Q$ implies that $P$ and $Q$ are combinatorially equivalent. An ideal almost Pogorelov polytope is a combinatorial $3$-polytope obtained by cutting off all the ideal vertices of an ideal right-angled polytope in the Lobachevsky (hyperbolic) space $\mathbb L^3$. These polytopes are exactly the polytopes obtained from any, not necessarily simple, convex $3$-polytopes by cutting off all the vertices followed by cutting off all the "old" edges. The boundary of the dual polytope is the barycentric subdivision of the boundary of the old polytope (and also of its dual polytope). We prove that any ideal almost Pogorelov polytope is $B$-rigid. This produces three cohomologically rigid families of manifolds over ideal almost Pogorelov manifolds: moment-angle manifolds, canonical $6$-dimensional quasitoric manifolds and canonical $3$-dimensional small covers, which are "pullbacks from the linear model".

Problem 4.19 in Ziegler's "Lectures on Polytopes" asserts that every simple $3$-dimensional polytope has the property that its dual can be constructed as the convex hull of a subset of the vertices of the original simple polytope. In this note we state a higher-dimensional analogue of this conjecture and provide a family of counterexamples for dimension $d \geq 3$.

Toric topology assigns to each $n$-dimensional combinatorial simple convex polytope $P$ with $m$ facets an $(m+n)$-dimensional moment-angle manifold $\mathcal{Z}_P$ with an action of a compact torus $T^m$ such that $\mathcal{Z}_P/T^m$ is a convex polytope of combinatorial type $P$. We study the notion of $B$-rigidity. A property of a polytope $P$ is called $B$-rigid, if any isomorphism of graded rings $H^*(\mathcal{Z}_P,\mathbb Z)= H^*(\mathcal{Z}_Q,\mathbb Z)$ for a simple $n$-polytope $Q$ implies that it also has this property. We study families of $3$-dimensional polytopes defined by their cyclic $k$-edge-connectivity. These families include flag polytopes and Pogorelov polytopes, that is polytopes realizable as bounded right-angled polytopes in Lobachevsky space $\mathbb L^3$. Pogorelov polytopes include fullerenes -- simple polytopes with only pentagonal and hexagonal faces. It is known that the properties to be flag and Pogorelov polytope are $B$-rigid. We focus on almost Pogorelov polytopes, which are strongly cyclically $4$-edge-connected polytopes. They correspond to right-angled polytopes of finite volume in $\mathbb L^3$. There is a subfamily of ideal almost Pogorelov polytopes corresponding to ideal right-angled polytopes. We prove that the properties to be an almost Pogorelov polytope and an ideal almost Pogorelov polytope are $B$-rigid. As a corollary we obtain that $3$-dimensional associahedron $As^3$ and permutohedron $Pe^3$ are $B$-rigid. We generalize methods known for Pogorelov polytopes. We obtain results on $B$-rigidity of subsets in $H^*(\mathcal{Z}_P,\mathbb Z)$ and prove an analog of the so-called separable circuit condition (SCC). As an example we consider the ring $H^*(\mathcal{Z}_{As^3},\mathbb Z)$.

In this paper we introduce a direct family of simple polytopes $P^{0}\subset P^{1}\subset\ldots$ such that for any $k$, $2\leq k\leq n$ there are non-trivial strictly defined Massey products of order $k$ in the cohomology rings of their moment-angle manifolds $\mathcal Z_{P^n}$. We prove that the direct sequence of manifolds $\ast\subset S^{3}\hookrightarrow\ldots\hookrightarrow\mathcal Z_{P^n}\hookrightarrow\mathcal Z_{P^{n+1}}\hookrightarrow\ldots$ has the following properties: every manifold $\mathcal Z_{P^n}$ is a retract of $\mathcal Z_{P^{n+1}}$, and one has inverse sequences in cohomology (over $n$ and $k$, where $k\to\infty$ as $n\to\infty$) of the Massey products constructed. As an application we get that there are non-trivial differentials $d_k$, for arbitrarily large $k$ as $n\to\infty$ in the Eilenberg--Moore spectral sequence connecting the rings $H^*(ΩX)$ and $H^*(X)$ with coefficients in a field, where $X=\mathcal Z_{P^n}$.

Nestohedra are a family of convex polytopes that includes permutohedra, associahedra, and graph associahedra. In this paper, we study an extension of such polytopes, called extended nestohedra. We show that these objects are indeed the boundaries of simple polytopes, answering a question of Lam and Pylyavskyy. We also study the duals of (extended) nestohedra, giving a complete characterization of isomorphisms (as simplicial complexes) between the duals of extended nestohedra and a partial characterization of isomorphisms between the duals of nestohedra and extended nestohedra. In addition, we give formulas for their $f$-, $h$-, and $γ$-vectors. This includes showing that the $f$-vectors of the extended nestohedron corresponding to a forest $F$ and the nestohedron corresponding to the line graph of $F$ are the same, as well as showing that all flag extended nestohedra have nonnegative $γ$-vectors, thus proving Gal's conjecture for a large class of flag simple polytopes. We also relate the $f$- and $h$-vectors of the nestohedra and extended nestohedra, as well as give explicit formulas for the $h$- and $γ$-vectors in terms of descent statistics for a certain class of flag extended nestohedra. Finally, we define a partial ordering on partial permutations that is a join semilattice quotient of the weak Bruhar order on the symmetric group, and such that any linear extension of the partial order provides a shelling of the dual of the stellohedron.

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).