arXiv++ Combinatorics

We prove that in any $\mathbb{Z}^n$-periodic triangulation of $\mathbb{R}^n$ the number of $\mathbb{Z}^n$-orbits of $n$-dimensional simplices is at least the tensor rank of the $n$th determinant tensor. The latter is known to be at least $\frac{n^{n-1}}{(n-1)!}$, which is approximately $\frac{e^n}{\sqrt{2πn}}$ for large $n$. The triangulation is not assumed to be geometric, meaning that its simplices can be ``curved''. We also provide lower bounds for general spaces. A simplicial cell complex is a CW-complex glued out of simplices with the attaching maps being simplicial embeddings; this notion generalizes simplicial complexes. We prove that if $X$ is a simplicial cell complex with cohomological classes $α_i\in H^{d_i}(X;\mathbb{Z}_2)$ satisfying \[ α_1 \smile α_2 \smile \ldots \smile α_n \neq 0, \] then $X$ has at least $2^n$ simplices of dimension $d_1+d_2+\ldots+d_n$. In particular, a simplicial cell complex homeomorphic to $\mathbb{R} P^n$, $\mathbb{C} P^n$, or $(S^2)^n$, has at least $2^n$ top-dimensional simplices. A crystallization of a manifold is a simplicial cell complex homeomorphic to this manifold and having the least possible number of vertices. We give a short explicit construction of a crystallization and a triangulation of $\mathbb{R}^n/\mathbb{Z}^n$ with $n+1$ and $2^{n+1}-1$ vertices, resp. Triangulations with this many vertices were described before and no smaller triangulation is known.

We study the complexity of a class of promise graph homomorphism problems. For a fixed graph H, the H-colouring problem is to decide whether a given graph has a homomorphism to H. By a result of Hell and Nešetřil, this problem is NP-hard for any non-bipartite loop-less graph H. Brakensiek and Guruswami [SODA 2018] conjectured the hardness extends to promise graph homomorphism problems as follows: fix a pair of non-bipartite loop-less graphs G, H such that there is a homomorphism from G to H, it is NP-hard to distinguish between graphs that are G-colourable and those that are not H-colourable. We confirm this conjecture in the cases when both G and H are 4-colourable. This is a common generalisation of previous results of Khanna, Linial, and Safra [Comb. 20(3): 393-415 (2000)] and of Krokhin and Opršal [FOCS 2019]. The result is obtained by combining the algebraic approach to promise constraint satisfaction with methods of topological combinatorics and equivariant obstruction theory.

For each $d\geq 3$ we construct cube complexes homeomorphic to the $d$-sphere with $n$ vertices in which the number of facets (assuming $d$ constant) is $Ω(n^{5/4})$. This disproves a conjecture of Kalai's stating that the number of faces (of all dimensions) of cubical spheres is maximized by the boundaries of neighbourly cubical polytopes. The conjecture was already known to be false for $d=3$, $n=64$. Our construction disproves it for all $d\geq 3$ and $n$ sufficiently large. Moreover, since neighborly cubical polytopes have roughly $n (\log n)^{d/2}$ facets, we show that even the order of growth (at least for the number of facets) in the conjecture is wrong.

We prove that if an $n$-dimensional space $X$ satisfies certain topological conditions then any triangulation of $X$ as well as any its representation as a simplicial set with contractible faces has at least $2^n$ faces of dimension $n$. One example of such $X$ is the $n$-dimensional torus $(S^1)^n$.

Inspired by the classical Riemannian systolic inequality of Gromov we present a combinatorial analogue providing a lower bound on the number of vertices of a simplicial complex in terms of its edge-path systole. Similarly to the Riemannian case, where the inequality holds under a topological assumption of "essentiality", our proofs rely on a combinatorial analogue of that assumption. Under a stronger assumption, expressed in terms of cohomology cup-length, we improve our results quantitatively. We also illustrate our methods in the continuous setting, generalizing and improving quantitatively the Minkowski principle of Balacheff and Karam; a corollary of this result is the extension of the Guth--Nakamura cup-length systolic bound from manifolds to complexes.

We prove that, for any positive integer $m$, a segment may be partitioned into $m$ possibly degenerate or empty segments with equal values of a continuous function $f$ of a segment, assuming that $f$ may take positive and negative values, but its value on degenerate or empty segments is zero.

We address a long-standing and long-investigated problem in combinatorial topology, and break the exponential barrier for triangulations of real projective space, constructing a trianglation of $\mathbb{RP}^n$ of size $e^{(\frac{1}{2}+o(1))\sqrt{n}{\log n}}$.

In this paper we study envy-free division problems. The classical approach to such problems, used by David Gale, reduces to considering continuous maps of a simplex to itself and finding sufficient conditions for this map to hit the center of the simplex. The mere continuity of the map is not sufficient for reaching such a conclusion. Classically, one makes additional assumptions on the behavior of the map on the boundary of the simplex (for example, in the Knaster--Kuratowski--Mazurkiewicz and the Gale theorem). We follow Erel Segal-Halevi, Frédéric Meunier, and Shira Zerbib, and replace the boundary condition by another assumption, which has the meaning in economy as the possibility for a player to prefer an empty part in the segment partition problem. We solve the problem positively when $n$, the number of players that divide the segment, is a prime power, and we provide counterexamples for every $n$ which is not a prime power. We also provide counterexamples relevant to a wider class of fair or envy-free division problems when $n$ is odd and not a prime power. In this arxiv version that appears after the official publication we have corrected the statement and the proof of Lemma 3.4.

In the picture-hanging puzzle we are to hang a picture so that the string loops around $n$ nails and the removal of any nail results in a fall of the picture. We show that the length of a sequence representing an element in the free group with $n$ generators that corresponds to a solution of the picture-hanging puzzle must be at least $n2^{\sqrt{\log_2 n}}$. In other words, this is a lower bound on the length of a sequence representing a non-trivial element in the free group with $n$ generators such that if we replace any of the generators by the identity the sequence becomes trivial.

We prove that any convex body in the plane can be partitioned into $m$ convex parts of equal areas and perimeters for any integer $m\ge 2$; this result was previously known for prime powers $m=p^k$. We also discuss possible higher-dimensional generalizations and difficulties of extending our technique to equalizing more than one non-additive function.