arXiv++ Combinatorics

The Vietoris-Rips complex of a metric space is the simplicial complex whose faces are the subsets of points with pairwise distance bounded above by a given scale $r$. In this paper, we study Vietoris-Rips complexes on the vertex set of the $n$-dimensional hypercube equipped with the Hamming distance. These complexes are stable under the action of the automorphism group of the hypercube graph, also known as the hyperoctahedral group, which therefore acts on their homology groups. Our results completely describe the decomposition of these homology groups into irreducible representations of the hyperoctahedral group at scales $r\leqslant 3$ and $r=n-1$.

We determine the maximum number $N_α(d)$ of equiangular lines with fixed angle $\arccosα$ for $α= 1/(1+2\sqrt2)$ in $d$-dimensional Euclidean space: $2,3,4,6,8,10,14,15,16,17,18,20,22$ for $d \in \{2,\dots,14\}$, and $\max(24, \lfloor 3(d-1)/2 \rfloor)$ for $d \ge 15$. This appears to be the first complete determination of $N_α(d)$ in all dimensions $d$ for a fixed nontrivial $α$, since the work of Lemmens and Seidel for $α= 1/3$ in 1973.

We prove multiple generalizations of Fan's combinatorial labeling result for sphere triangulations. This can be seen as a comprehensive extension of the Borsuk--Ulam theorem. In typical applications, the Borsuk--Ulam theorem gives complexity bounds in a suitable sense, whereas our extension additionally provides insight into the structure of objects satisfying the complexity bound. This structure is governed by order types of finite point sets in Euclidean space and more generally by the intersection combinatorics of faces under continuous maps from the simplex. We develop some of those applications for sphere coverings, Kneser-type colorings, Hall-type results for hypergraphs, and hyperplane mass partitions, among other consequences. We provide a new proof of the topological Hall theorem and extend it into a result that simultaneously generalizes hypergraph Hall theorems and topological lower bounds for chromatic numbers.

A cornerstone result of Erd\H os, Ginzburg, and Ziv (EGZ) states that any sequence of $2n-1$ elements in $\mathbb{Z}/n$ contains a zero-sum subsequence of length $n$. While algebraic techniques have predominated in deriving many deep generalizations of this theorem over the past sixty years, here we introduce topological approaches to zero-sum problems which have proven fruitful in other combinatorial contexts. Our main result (1) is a topological criterion for determining when any $\mathbb{Z}/n$-coloring of an $n$-uniform hypergraph contains a zero-sum hyperedge. In addition to applications for Kneser hypergraphs, for complete hypergraphs our methods recover Olson's generalization of the EGZ theorem for arbitrary finite groups. Furthermore, we (2) give a fractional generalization of the EGZ theorem with applications to balanced set families and (3) provide a constrained EGZ theorem which imposes combinatorial restrictions on zero-sum sequences in the original result.

We prove a colorful generalization of the Borsuk--Ulam theorem and derive colorful consequences from it, such as a colorful generalization of the ham sandwich theorem. Even in the uncolored case this specializes to a strengthening of the ham sandwich theorem, which given an additional condition, contains a result of Bárány, Hubard, and Jerónimo on well-separated measures as a special case. We prove a colorful generalization of Fan's antipodal sphere covering theorem, we derive a short proof of Gale's colorful KKM theorem, and we prove a colorful generalization of Brouwer's fixed point theorem. Our results also provide an alternative between Radon-type intersection results and KKM-type covering results. Finally, we prove colorful Borsuk--Ulam theorems for higher symmetry.

Recent progress on flow polytopes indicates many interesting families with product formulas for their volume. These product formulas are all proved using analytic techniques. Our work breaks from this pattern. We define a family of closely related flow polytopes $\mathcal{F}_{(λ, {\bf a})}$ for each partition shape $λ$ and netflow vector ${\bf a}\in \mathbb{Z}^n_{> 0}$. In each such family, we prove that there is a polytope (the limiting one in a sense) which is a product of scaled simplices, explaining their product volumes. We also show that the combinatorial type of all polytopes in a fixed family $\mathcal{F}_{(λ, {\bf a})}$ is the same. When $λ$ is a staircase shape and ${\bf a}$ is the all ones vector the latter result specializes to a theorem of the first author with Morales and Rhoades, which shows that the combinatorial type of the Tesler polytope is a product of simplices.

We treat problems of fair division, their various interconnections, and their relations to Sperner's lemma and the KKM theorem as well as their variants. We prove extensions of Alon's necklace splitting result in certain regimes and relate it to hyperplane mass partitions. We show the existence of fair cake division and rental harmony in the sense of Su even in the absence of full information. Furthermore, we extend Sperner's lemma and the KKM theorem to (colorful) quantitative versions for polytopes and pseudomanifolds. For simplicial polytopes our results turn out to be improvements over the earlier work of De Loera, Peterson, and Su on a polytopal version of Sperner's lemma. Moreover, our results extend the work of Musin on quantitative Sperner-type results for PL manifolds.

Reay's relaxed Tverberg conjecture and Conway's thrackle conjecture are open problems about the geometry of pairwise intersections. Reay asked for the minimum number of points in Euclidean d-space that guarantees any such point set admits a partition into r parts, any k of whose convex hulls intersect. Here we give new and improved lower bounds for this number, which Reay conjectured to be independent of k. We prove a colored version of Reay's conjecture for k sufficiently large, but nevertheless k independent of dimension d. Requiring convex hulls to intersect pairwise severely restricts combinatorics. This is a higher-dimensional analog of Conway's thrackle conjecture or its linear special case. We thus study convex-geometric and higher-dimensional analogs of the thrackle conjecture alongside Reay's problem and conjecture (and prove in two special cases) that the number of convex sets in the plane is bounded by the total number of vertices they involve whenever there exists a transversal set for their pairwise intersections. We thus isolate a geometric property that leads to bounds as in the thrackle conjecture. We also establish tight bounds for the number of facets of higher-dimensional analogs of linear thrackles and conjecture their continuous generalizations.