arXiv++ Combinatorics

Symmetric strongly shifted ideals are a class of monomial ideals which come equipped with an action of the symmetric group and are analogous to the well-studied class of strongly stable monomial ideals. In this paper we focus on algebraic and combinatorial properties of symmetric strongly shifted ideals. On the algebraic side, we elucidate properties that pertain to behavior under ideal operations, primary decomposition, and the structure of their Rees algebra. On the combinatorial side, we develop a notion of partition Borel generators which leads to connections to discrete polymatroids, convex polytopes, and permutohedral toric varieties.

Let $ES_{d}(n)$ be the smallest integer such that any set of $ES_{d}(n)$ points in $\mathbb{R}^{d}$ in general position contains $n$ points in convex position. In 1960, Erdős and Szekeres showed that $ES_{2}(n) \geq 2^{n-2} + 1$ holds, and famously conjectured that their construction is optimal. This was nearly settled by Suk in 2017, who showed that $ES_{2}(n) \leq 2^{n+o(n)}$. In this paper, we prove that $$ES_{d}(n) = 2^{o(n)}$$ holds for all $d \geq 3$. In particular, this establishes that, in higher dimensions, substantially fewer points are needed in order to ensure the presence of a convex polytope on $n$ vertices, compared to how many are required in the plane.

Abstract polytopes generalize the classical notion of convex polytopes to more general combinatorial structures. The most studied ones are regular and chiral polytopes, as it is well-known, they can be constructed as coset geometries from their automorphism groups. This is also known to be true for 2- and 3- orbit 3-polytopes. In this paper we show that every abstract $n$-polytope can be constructed as a coset geometry. This construction is done by giving a characterization, in terms of generators, relations and intersection conditions, of the automorphism group of a $k$-orbit polytope with given symmetry type graph. Furthermore, we use these results to show that for all $k\neq 2$, there exist $k$-orbit $n$-polytopes with Boolean automorphism groups, for all $n\geq 3$.

An $n \times m$ array with nonnegative entries is called doubly stochastic if the sum of its entries at each row is $m$ and at each column is $n$. The set of all $n \times m$ doubly stochastic arrays is a convex polytope with finitely many extremal points. The main result of this paper characterizes the possible sizes of the supports of all extremal $n \times m$ doubly stochastic arrays. In particular we prove that the minimal size of the support of an $n \times m$ doubly stochastic array is $n + m - \gcd(n,m)$. Moreover, for $m=kn+1$ we also characterize the structure of the support of the extremal arrays.

The first three sections of this survey represent an updated and much expanded version of the abstract of my talk at FPSAC'2010: new results are incorporated and several concrete conjectures on the interactions between the three perspectives on normal polytopes in the title are proposed. The last section outlines new challenges in general convex polytopes, motivated by the study of normal polytopes.

The coefficients of the chain polynomial of a finite poset enumerate chains in the poset by their number of elements. The chain polynomials of the partition lattices and their standard type $B$ analogues are shown to have only real roots. The real-rootedness of the chain polynomial is conjectured for all geometric lattices and is shown to be preserved by the pyramid and the prism operations on Cohen--Macaulay posets. As a result, new families of convex polytopes whose face lattices have real-rooted chain polynomials are presented. An application to the face enumeration of the second barycentric subdivision of the boundary complex of the simplex is also included.

First, we examine the notion of nonrational convex polytope and nonrational fan in the context of toric geometry. We then discuss and interrelate some recent developments in the subject.

Toric quasifolds are highly singular spaces that were first introduced in order to address, from the symplectic viewpoint, the longstanding open problem of extending the classical constructions of toric geometry to those simple convex polytopes that are not rational. We illustrate toric quasifolds, and their atlases, by describing some notable examples. We conclude with a number of considerations.

Despite a full characterization of the face vectors of simple and simplicial polytopes, the face numbers of general polytopes are poorly understood. Around 1997, Bárány asked whether for all convex $d$-polytopes $P$ and all $0 \leq k \leq d-1$, $f_k(P) \geq \min\{f_0(P), f_{d-1}(P)\}$. We answer Bárány's question in the affirmative and prove a stronger statement: for all convex $d$-polytopes $P$ and all $0 \leq k \leq d-1$, \[ \frac{f_k(P)}{f_0(P)} \geq \frac{1}{2}\biggl[{\lceil \frac{d}{2} \rceil \choose k} + {\lfloor \frac{d}{2} \rfloor \choose k}\biggr], \qquad \frac{f_k(P)}{f_{d-1}(P)} \geq \frac{1}{2}\biggl[{\lceil \frac{d}{2} \rceil \choose d-k-1} + {\lfloor \frac{d}{2} \rfloor \choose d-k-1}\biggr]. \] In the former, equality holds precisely when $k=0$ or when $k=1$ and $P$ is simple. In the latter, equality holds precisely when $k=d-1$ or when $k=d-2$ and $P$ is simplicial.

For a finite point set $P \subset \mathbb{R}^d$, denote by $\text{diam}(P)$ the ratio of the largest to the smallest distances between pairs of points in $P$. Let $c_{d, α}(n)$ be the largest integer $c$ such that any $n$-point set $P \subset \mathbb{R}^d$ in general position, satisfying $\text{diam}(P) < α\sqrt[d]{n}$, contains an $c$-point convex independent subset. We determine the asymptotics of $c_{d, α}(n)$ as $n \to \infty$ by showing the existence of positive constants $β= β(d, α)$ and $γ= γ(d)$ such that $βn^{\frac{d-1}{d+1}} \le c_{d, α}(n) \le γn^{\frac{d-1}{d+1}}$ for $α\geq 2$.

The tree complex is a simplicial complex defined in recent work of Belk, Lanier, Margalit, and Winarski with natural applications to mapping class groups and complex dynamics. In this article, we connect this setting with the study of certain convex polytopes: associahedra and cyclohedra. Specifically, we describe a characterization of these polytopes using planar embeddings of trees and show that the tree complex is the barycentric subdivision of a polyhedral cell complex for which the cells are products of associahedra and cyclohedra.

There has been significant interest in studying the asymptotics of certain generalised moments, called the moments of moments, of characteristic polynomials of random Haar-distributed unitary and symplectic matrices, as the matrix size $N$ goes to infinity. These quantities depend on two parameters $k$ and $q$ and when both of them are positive integers it has been shown that these moments are in fact polynomials in the matrix size $N$. In this paper we classify the integer roots of these polynomials and moreover prove that the polynomials themselves satisfy a certain symmetry property. This confirms some predictions from the thesis of Bailey. The proof uses the Ehrhart-Macdonald reciprocity for rational convex polytopes and certain bijections between lattice points in some polytopes.

The convex hulls of face-vertex incident vectors of 3-face-colorable convex polytopes are computed. It is found that every such convex hull is a $d$-polytope with $d+2$ or $d+3$ vertices. Utilizing Gale transform and Gale diagram, we calculate its combinatorial structure. Finally, a necessary and sufficient criterion for combinatorial equivalence of two such convex hulls is given.

Tverberg's theorem 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. Moreover, generic collections of fewer points cannot be so divided. Extending earlier work of the first author, we show that one can nonetheless guarantee inscribed ``polytopal partitions" with specified symmetry conditions in many such circumstances. Namely, for any faithful and full--dimensional orthogonal representation $ρ\colon G\rightarrow O(d)$ of any order $r$ group $G$, we show that a generic set of $t(r,d)-d$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets so that there are $r$ points, one from each of the resulting convex hulls, which are the vertices of a convex $d$--polytope whose isometry group contains $G$ via the regular action afforded by the representation. As with Tverberg's theorem, the number of points is optimal for this. At one extreme, this gives polytopal partitions for all regular $r$--gons in the plane, as well as for three of the six regular 4--polytopes in $\mathbb{R}^4$. At the other extreme, one has polytopal partitions for $d$-polytopes on $r$ vertices with isometry group equal to $G$ whenever $G$ is the isometry group of a vertex--transitive $d$-polytope.

We investigate the intersection body of a convex polytope using tools from combinatorics and real algebraic geometry. In particular, we show that the intersection body of a polytope is always a semialgebraic set and provide an algorithm for its computation. Moreover, we compute the irreducible components of the algebraic boundary and provide an upper bound for the degree of these components.

Many results in mass partitions are proved by lifting $\mathbb{R}^d$ to a higher-dimensional space and dividing the higher-dimensional space into pieces. We extend such methods to use lifting arguments to polyhedral surfaces. Among other results, we prove the existence of equipartitions of $d+1$ measures in $\mathbb{R}^d$ by parallel hyperplanes and of $d+2$ measures in $\mathbb{R}^d$ by concentric spheres. For measures whose supports are sufficiently well separated, we prove results where one can cut a fixed (possibly different) fraction of each measure either by parallel hyperplanes, concentric spheres, convex polyhedral surfaces of few facets, or convex polytopes with few vertices.

A general (convex) polytope $P\subset\mathbb R^d$ and its edge-graph $G_P$ can have very distinct symmetry properties. We construct a coloring (of the vertices and edges) of the edge-graph so that the combinatorial symmetry group of the colored edge-graph is isomorphic (in a natural way) to $\mathrm{Aut}_{\mathrm{GL}}(P)$, the group of linear symmetries of the polytope. We also construct an analogous coloring for $\mathrm{Aut}_{\mathrm{O}}(P)$, the group of orthogonal symmetries of $P$.

This note provides a simple proof for the equality between the normalized volume of a convex polytope with $m$ vertices and the mixed volume of $m$ simplices and thus shows the seemingly restrictive problem of computing mixed volume of simplices is still at least as hard as computing volumes of convex polytopes.

In this paper we deal with the calculation of the signed (total) Roman domination numbers, $γ_{sR}$ and $γ_{stR}$ respectively, on a few classes of planar graphs from the literature. We give proofs for the exact values of the numbers $γ_{sR}(A_n)$ and $γ_{sR}(R_n)$ as well as the numbers $γ_{stR}(S_n)$ and $γ_{stR}(T_n)$. For some other classes of planar graphs, such as $Q_n$, %$S_n"$ and $T_n"$, lower and upper bounds on $γ_{sR}$ are calculated and proved. %We give some open problems on the exact values of $γ_{sR}$ and $γ_{stR}$ for some classes of planar graphs.

We introduce the notion of a \emph{conic sequence} of a convex polytope. It is a way of building up a polytope starting from a vertex and attaching faces one by one with certain regulations. We apply this to a toric variety to obtain an iterated cofibration structure on it. This allows us to prove several vanishing results in the rational cohomology of a toric variety and to calculate Poincaré polynomials for a large class of singular toric varieties.