arXiv++ Combinatorics

We survey Jean-Louis Loday's vertex description of the associahedron, and its far reaching influence in combinatorics, discrete geometry and algebra. We present in particular four topics were it plays a central role: lattice congruences of the weak order and their quotientopes, cluster algebras and their generalized associahedra, nested complexes and their nestohedra, and operads and the associahedron diagonal.

For $3$-dimensional convex polytopes, inscribability is a classical property that is relatively well-understood due to its relation with Delaunay subdivisions of the plane and hyperbolic geometry. In particular, inscribability can be tested in polynomial time, and for every $f$-vector of $3$-polytopes, there exists an inscribable polytope with that $f$-vector. For higher-dimensional polytopes, much less is known. Of course, for any inscribable polytope, all of its lower-dimensional faces need to be inscribable, but this condition does not appear to be very strong. We observe non-trivial new obstructions to the inscribability of polytopes that arise when imposing that a certain inscribable face be inscribed. Using this obstruction, we show that the duals of the $4$-dimensional cyclic polytopes with at least $8$ vertices---all of whose faces are inscribable---are not inscribable. This result is optimal in the following sense: We prove that the duals of the cyclic $4$-polytopes with up to $7$ vertices are, in fact, inscribable. Moreover, we interpret this obstruction combinatorially as a forbidden subposet of the face lattice of a polytope, show that $d$-dimensional cyclic polytopes with at least $d+4$ vertices are not circumscribable, and that no dual of a neighborly $4$-polytope with $8$ vertices, that is, no polytope with $f$-vector $(20,40,28,8)$, is inscribable.

The classical 1966 theorem of Tverberg with its numerous variations was and still is a motivating force behind many important developments in convex and computational geometry as well as the testing ground for methods from equivariant algebraic topology. In 2018, Bárány and Soberón presented a new variation, the "Tverberg plus minus theorem." In this paper, we give a new proof of the Tverberg plus minus theorem, by using a projective transformation. The same tool allows us to derive plus minus analogues of all known affine Tverberg type results. In particular, we prove a plus minus analogue of the optimal colored Tverberg theorem.

Grünbaum, Barnette, and Reay in 1974 completed the characterization of the pairs $(f_i,f_j)$ of face numbers of $4$-dimensional polytopes. Here we obtain a complete characterization of the pairs of flag numbers $(f_0,f_{03})$ for $4$-polytopes. Furthermore, we describe the pairs of face numbers $(f_0,f_{d-1})$ for $d$-polytopes; this description is complete for even $d\ge6$ except for finitely many exceptional pairs that are "small" in a well-defined sense, while for odd $d$ we show that there are also "large" exceptional pairs. Our proofs rely on the insight that "small" pairs need to be defined and to be treated separately; in the $4$-dimensional case, these may be characterized with the help of the characterizations of the $4$-polytopes with at most $8$ vertices by Altshuler and Steinberg (1984).

Holmsen, Kynčl and Valculescu recently conjectured that if a finite set $X$ with $\ell n$ points in $\mathbb{R}^d$ that is colored by $m$ different colors can be partitioned into $n$ subsets of $\ell$ points each, such that each subset contains points of at least $d$ different colors, then there exists such a partition of $X$ with the additional property that the convex hulls of the $n$ subsets are pairwise disjoint. We prove a continuous analogue of this conjecture, generalized so that each subset contains points of at least $c$ different colors, where we also allow $c$ to be greater than $d$. Furthermore, we give lower bounds on the fraction of the points each of the subsets contains from $c$ different colors. For example, when $n\geq 2$, $d\geq 2$, $c\geq d$ with $m\geq n(c-d)+d$ are integers, and $μ_1, \dots, μ_m$ are $m$ positive finite absolutely continuous measures on $\mathbb{R}^d$, we prove that there exists a partition of $\mathbb{R}^d$ into $n$ convex pieces which equiparts the measures $μ_1, \dots, μ_{d-1}$, and in addition every piece of the partition has positive measure with respect to at least $c$ of the measures $μ_1, \dots, μ_m$.

We show that the $f$-vector sets of $d$-polytopes have non-trivial additive structure: They span affine lattices and are embedded in monoids that we describe explicitly. Moreover, for many large subclasses, such as the simple polytopes, or the simplicial polytopes, there are monoid structures on the set of $f$-vectors by themselves: "addition of $f$-vectors minus the $f$-vector of the $d$-simplex" always yields a new $f$-vector. For general $4$-polytopes, we show that the modified addition operation does not always produce an $f$-vector, but that the result is always close to an $f$-vector. In this sense, the set of $f$-vectors of \emph{all} $4$-polytopes forms an "approximate affine semigroup." The proof relies on the fact for $d=4$ every $d$-polytope, or its dual, has a "small facet." This fails for $d>4$. We also describe a two further modified addition operations on $f$-vectors that can be geometrically realized by glueing corresponding polytopes. The second one of these may yield a semigroup structure on the $f$-vector set of all $4$-polytopes.

We show that there are simple 4-dimensional polytopes with n vertices such that all separators of the graph have size at least $Ω(n/\log n)$. This establishes a strong form of a claim by Thurston, for which the construction and proof had been lost. We construct the polytopes by cutting off the vertices and then the edges of a particular type of neighborly cubical polytopes. The graphs of simple polytopes thus obtained are 4-regular; they contain 3-regular "cube-connected cycle graphs" as minors of spanning subgraphs.

Monsky's theorem from 1970 states that a square cannot be dissected into an odd number of triangles of the same area, but it does not give a lower bound for the area differences that must occur. We extend Monsky's theorem to "constrained framed maps"; based on this we can apply a gap theorem from semi-algebraic geometry to a polynomial area difference measure and thus get a lower bound for the area differences that decreases doubly-exponentially with the number of triangles. On the other hand, we obtain the first superpolynomial upper bounds for this problem, derived from an explicit construction that uses the Thue-Morse sequence.

Bárány, Kalai, and Meshulam recently obtained a topological Tverberg-type theorem for matroids, which guarantees multiple coincidences for continuous maps from a matroid complex to d-dimensional Euclidean space, if the matroid has sufficiently many disjoint bases. They make a conjecture on the connectivity of k-fold deleted joins of a matroid with many disjoint bases, which would yield a much tighter result - but we provide a counterexample already for the case of k=2, where a tight Tverberg-type theorem would be a topological Radon theorem for matroids. Nevertheless, we prove the topological Radon theorem for the counterexample family of matroids by an index calculation, despite the failure of the connectivity-based approach.

We show that any $d$-colored set of points in general position in $\mathbb{R}^d$ can be partitioned into $n$ subsets with disjoint convex hulls such that the set of points and all color classes are partitioned as evenly as possible. This extends results by Holmsen, Kynčl & Valculescu (2017) and establishes a special case of their general conjecture. Our proof utilizes a result obtained independently by Soberón and by Karasev in 2010, on simultaneous equipartitions of $d$ continuous measures in $\mathbb{R}^d$ by $n$ convex regions. This gives a convex partition of $\mathbb{R}^d$ with the desired properties, except that points may lie on the boundaries of the regions. In order to resolve the ambiguous assignment of these points, we set up a network flow problem. The equipartition of the continuous measures gives a fractional flow. The existence of an integer flow then yields the desired partition of the point set.

We present a new algorithmic approach that can be used to determine whether a given quadruple $(f_0,f_1,f_2,f_3)$ is the f-vector of any convex 4-dimensional polytope. By implementing this approach, we classify the f-vectors of 4-polytopes in the range $f_0+f_3\le22$. In particular, we thus prove that there are f-vectors of cellular 3-spheres with the intersection property that are not f-vectors of any convex 4-polytopes, thus answering a question that may be traced back to the works of Steinitz (1906/1922). In the range $f_0+f_3\le22$, there are exactly three such f-vectors with $f_0\le f_3$, namely $(10,32,33,11)$, $(10,33,35,12)$, and $(11,35,35,11)$.

Bárány's "topological Tverberg conjecture" from 1976 states that any continuous map of an $N$-simplex $Δ_N$ to $\mathbb{R}^d$, for $N\ge(d+1)(r-1)$, maps points from $r$ disjoint faces in $Δ_N$ to the same point in $\mathbb{R}^d$. The proof of this result for the case when $r$ is a prime, as well as some colored version of the same result, using the results of Borsuk-Ulam and Dold on the non-existence of equivariant maps between spaces with a free group action, were main topics of Matoušek's 2003 book "Using the Borsuk-Ulam theorem." In this paper we show how advanced equivariant topology methods allow one to go beyond the prime case of the topological Tverberg conjecture. First we explain in detail how equivariant cohomology tools (employing the Borel construction, comparison of Serre spectral sequences, Fadell-Husseini index, etc.) can be used to prove the topological Tverberg conjecture whenever $r$ is a prime power. Our presentation includes a number of improved proofs as well as new results, such as a complete determination of the Fadell-Husseini index of chessboard complexes in the prime case. Then we introduce the "constraint method," which applied to suitable "unavoidable complexes" yields a great variety of variations and corollaries to the topological Tverberg theorem, such as the "colored" and the "dimension-restricted" (Van Kampen-Flores type) versions. Both parts have provided crucial components to the recent spectacular counter-examples in high dimensions for the case when $r$ is not a prime power.

In this paper we use the strength of the constraint method in combination with a generalized Borsuk-Ulam type theorem and a cohomological intersection lemma to show how one can obtain many new topological transversal theorems of Tverberg type. In particular, we derive a topological generalized transversal Van Kampen-Flores theorem and a topological transversal weak colored Tverberg theorem.

We give a new, systematic proof for a recent result of Larry Guth and thus also extend the result to a setting with several families of varieties: For any integer $D\geq 1$ and any collection of sets $Γ_1,\ldots,Γ_j$ of low-degree $k$-dimensional varieties in $\mathbb{R}^n$ there exists a non-zero polynomial $p\in\mathbb{R}[X_1,\ldots,X_n]$ of degree at most $D$ so that each connected component of $\mathbb{R}^n{\setminus}Z(p)$ intersects $O(jD^{k-n}|Γ_i|)$ varieties of $Γ_i$, simultaneously for every $1\leq i\leq j$. For $j=1$ we recover the original result by Guth. Our proof, via an index calculation in equivariant cohomology, shows how the degrees of the polynomials used for partitioning are dictated by the topology, namely by the Euler class being given in terms of a top Dickson polynomial.

Using the authors' 2014 "constraints method," we give a short proof for a 2015 result of Dobbins on representations of a point in a polytope as the barycenter of points in a skeleton, and show that the "r-fold Whitney trick" of Mabillard and Wagner (2014/2015) implies that the Topological Tverberg Conjecture for r-fold intersections fails dramatically for all r that are not prime powers.

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.

The Grünbaum-Hadwiger-Ramos hyperplane mass partition problem was introduced by Grünbaum (1960) in a special case and in general form by Ramos (1996). It asks for the "admissible" triples $(d,j,k)$ such that for any $j$ masses in $\mathbb{R}^d$ there are $k$ hyperplanes that cut each of the masses into $2^k$ equal parts. Ramos' conjecture is that the Avis-Ramos necessary lower bound condition $dk\ge j(2^k-1)$ is also sufficient. We develop a "join scheme" for this problem, such that non-existence of an $G_k$-equivariant map between spheres $(S^d)^{*k} \rightarrow S(W_k\oplus U_k^{\oplus j})$ that extends a test map on the subspace of $(S^d)^{*k}$ where the hyperoctahedral group $G_k$ acts non-freely, implies that $(d,j,k)$ is admissible. For the sphere $(S^d)^{*k}$ we obtain a very efficient regular cell decomposition, whose cells get a combinatorial interpretation with respect to measures on a modified moment curve. This allows us to apply relative equivariant obstruction theory successfully, even in the case when the difference of dimensions of the spheres $(S^d)^{*k}$ and $S(W_k\oplus U_k^{\oplus j})$ is greater than one. The evaluation of obstruction classes leads to counting problems for concatenated Gray codes. Thus we give a rigorous, unified treatment of the previously announced cases of the Grünbaum-Hadwiger-Ramos problem, as well as a number of new cases for Ramos' conjecture.

We present a first example of a flag vector of a polyhedral sphere that is not the flag vector of any polytope. Namely, there is a unique 3-sphere with the parameters $(f_0,f_1,f_2,f_3;f_{02})=(12,40,40,12;120)$, but this sphere is not realizable by a convex 4-polytope. The 3-sphere, which is 2-simple and 2-simplicial, was found by Werner (2009); we present results of a computer enumeration which imply that the sphere with these parameters is unique. We prove that it is non-polytopal in two ways: First, we show that it has no oriented matroid, and thus it is not realizable; this proof was found by computer, but can be verified by hand. The second proof is again a computer-based oriented matroid proof and shows that for exactly one of the facets this sphere does not even have a diagram based on this facet. Using the non-polytopality, we finally prove that the sphere is not even embeddable as a polytopal complex.

We give a short and simple proof of a recent result of Dobbins that any point in an $nd$-polytope is the barycenter of $n$ points in the $d$-skeleton. This new proof builds on the constraint method that we recently introduced to prove Tverberg-type results.

Brouwer's fixed point theorem from 1911 is a basic result in topology - with a wealth of combinatorial and geometric consequences. In these lecture notes we present some of them, related to the game of HEX and to the piercing of multiple intervals. We also sketch stronger theorems, due to Oliver and others, and explain their applications to the fascinating (and still not fully solved) evasiveness problem.