arXiv++ Combinatorics

We analyze lower bounds for the number of envy-free divisions, in the classical Woodall-Stormquist setting and in a non-classical case, when envy-freeness is combined with the equipartition of a measure. 1. In the first scenario, there are $r$ hungry players, and the cake (that is, the segment $[0,1]$) is cut into $r$ pieces. Then there exist at least two different envy-free divisions. This bound is sharp: for each $r$, we present an example of preferences such that there are exactly two envy-free divisions. 2. In the second (hybrid) scenario, there are $p$ not necessarily hungry players ($p$ is a prime) and a continuous measure $μ$ on $[0,1]$. The cake is cut into $2p-1$ pieces, the pieces are allocated to $p$ boxes (with some restrictions) and the players choose the boxes. Then there exists at least $\binom{2p-1}{p-1} \cdot 2^{2-p}$ envy-free divisions such that the measure $μ$ is equidistributed among the players.

The classic Ky Fan theorem is a combinatorial equivalent of Borsuk-Ulam theorem. It is a generalization and extension of Tucker's lemma and, just like its predecessor, it pinpoints important properties of antipodal colorings of vertices of a triangulated sphere $S^n$. Here we describe generalizations of Ky Fan theorem for the case when the sphere is replaced by the total space of a triangulated sphere bundle.

A triangulation of a circle bundle $ E \xrightarrow[\text{}]π B$ is a triangulation of the total space $E$ and the base $B$ such that the projection $π$ is a simplicial map. In the paper we address the following questions: Which circle bundles can be triangulated over a given triangulation of the base? What are the minimal triangulations of a bundle? A complete solution for semisimplicial triangulations was given by N. Mnëv. Our results deal with classical triangulations, that is, simplicial complexes. We give an exact answer for an infinite family of triangulated spheres (including the boundary of the $3$-simplex, the boundary of the octahedron, the suspension over an $n$-gon, the icosahedron). For the general case we present a sufficient criterion for existence of a triangulation. Some minimality results follow straightforwadly.

Relying on configuration spaces and equivariant topology, we study a general "cooperative envy-free division problem". A group of players want to cut a "cake" $I=[0,1]$ and divide among themselves the pieces in an envy-free manner. Once the cake is cut and served in plates on a round table (at most one piece per plate), each player makes her choice by pointing at one (or several) plates she prefers. The novelty is that her choice may depend on the whole "allocation configuration". In particular, a player may choose an empty plate (possibly preferring one of the empty plates over the other), and take into account not only the content of her preferred plate, but also the content of the neighbouring plates. We show that if the number of players is a prime power, in this setting an envy-free division exists under standard assumptions that the preferences are closed.

We prove several results addressing the envy-free division problem in the presence of an unpredictable (secretive) player, called the "dragon". There are two basic scenarios. 1. There are $r-1$ players and a dragon. Once the "cake" is divided into $r$ parts, the dragon makes his choice and grabs one of the pieces. After that the players want to divide the remaining pieces in an envy-free fashion. 2. There are $r+1$ players who divide the cake into $r$ pieces. A ferocious dragon comes and swallows one of the players. The players want to cut the cake in advance in such a way that no matter who is the unlucky player swallowed by the dragon, the remaining players can share the tiles in an envy-free manner. In both settings the players are allowed to choose degenerate pieces of the cake. Moreover, they construct in advance both a cut of the cake and a "decision tree", allowing them to minimize the uncertainty of what pieces can be given to each of the players.

The classical approach to envy-free division and equilibrium problems relies on Knaster-Kuratowski-Mazurkiewicz theorem, Sperner's lemma or some extension involving mapping degree. We propose a different and relatively novel approach where the emphasis is on configuration spaces and equivariant topology. We illustrate the method by proving several relatives (extensions) of the classical envy-free division theorem of David Gale, where the emphasis is on preferences allowing the players to choose degenerate pieces of the cake.

The type A colored Tverberg theorem of Blagojević, Matschke, and Ziegler provides optimal bounds for the colored Tverberg problem, under the condition that the number of intersecting rainbow simplices is a prime number. We extend this result to an optimal, type A colored Tverberg theorem for multisets of colored points, which is valid for each prime power $r=p^k$. One of the principal new ideas is to replace the ambient simplex $Δ^N$, used in the original Tverberg theorem, by an "abridged simplex" of smaller dimension, and to compensate for this reduction by allowing vertices to repeatedly appear a controlled number of times in different rainbow simplices. Configuration spaces, used in the proof, are combinatorial pseudomanifolds which can be represented as multiple chessboard complexes. Our main topological tool is the Eilenberg-Krasnoselskii theory of degrees of equivariant maps for non-free actions.

Chessboard complexes and their generalizations, as objects, and Discrete Morse theory, as a tool, are presented as a unifying theme linking different areas of geometry, topology, algebra and combinatorics. Edmonds and Fulkerson bottleneck (minmax) theorem is proved and interpreted as a result about a critical point of a discrete Morse function on the Bier sphere of an associated simplicial complex $K$. We illustrate the use of "standard discrete Morse functions" on generalized chessboard complexes by proving a connectivity result for chessboard complexes with multiplicities. Applications include new Tverberg-Van Kampen-Flores type results for $j$-wise disjoint partitions of a simplex.

We prove a "multiple colored Tverberg theorem" and a "balanced colored Tverberg theorem", by applying different methods, tools and ideas. The proof of the first theorem uses multiple chessboard complexes (as configuration spaces) and Eilenberg-Krasnoselskii theory of degrees of equivariant maps for non-free actions. The proof of the second result relies on high connectivity of the configuration space, established by discrete Morse theory.

We prove several versions of N. Alon's "necklace-splitting theorem", subject to additional constraints, as illustrated by the following results. (1) The "almost equicardinal necklace-splitting theorem" claims that, without increasing the number of cuts, one guarantees the existence of a fair splitting such that each thief is allocated (approximately) one and the same number of pieces of the necklace (including "degenerate pieces" if they exist), provided the number of thieves $r=p^ν$ is a prime power. (2) The "binary splitting theorem" claims that if $r=2^d$ and the thieves are associated with the vertices of a $d$-cube then, without increasing the number of cuts, one can guarantee the existence of a fair splitting such that adjacent pieces are allocated to thieves that share an edge of the cube. This result provides a positive answer to the "binary splitting necklace conjecture" of Asada at al. (Conjecture 2.11 in [7]) in the case $r=2^d$. (3) An interesting variation arises when the thieves have their own individual preferences. We prove several "envy-free fair necklace-splitting theorems" of various level of generality. By specialization we obtain numerous corollaries, among them envy-free versions of (a) "almost equicardinal splitting theorem", (b) "necklace-splitting theorem for $r$-unavoidable preferences", (c) "envy-free binary splitting theorem", etc. As a corollary we also obtain a recent result of Avvakumov and Karasev [1] about envy-free divisions where players may prefer an empty part of the necklace.

Universality theorems (in the sense of N. Mnëv) claim that the realization space of a combinatorial object (a point configuration, a hyperplane arrangement, a convex polytope, etc.) can be arbitrarily complicated. In the paper, we prove a universality theorem for a graph in the plane with a prescribed \textit{oriented matroid of stresses}, that is the collection of signs of all possible equilibrium stresses of the graph. This research is motivated by the Grassmanian stratification (Gelfand, Goresky, MacPherson, Serganova) by thin Schubert cells, and by a recent series of papers on stratifications of configuration spaces of tensegrities (Doray, Karpenkov, Schepers, Servatius).

We prove (Theorem 2.4) that the symmetrized deleted join $SymmDelJoin(\mathcal{K})$ of a "balanced family" $\mathcal{K} = \langle K_i\rangle_{i=1}^r$ of collectively $r$-unavoidable subcomplexes of $2^{[m]}$ is $(m-r-1)$-connected. As a consequence we obtain a Tverberg-Van Kampen-Flores type result (Theorem 3.2) which is more conceptual and more general then previously known results. Already the case $r=2$ of Theorem 3.2 seems to be new as an extension of the classical Van Kampen-Flores theorem. The main tool used in the paper is R. Forman's discrete Morse theory.

Alexander $r$-tuples are introduced as a common generalization of pairs of Alexander dual complexes (Alexander $2$-tuples) and $r$-unavoidable complexes of Blagojević, Frick and Ziegler. The associated "Bier complexes" include both the Bier spheres and "optimal multiple chessboard complexes" as interesting, special cases. Our main result is Theorem 4.3 saying that (1) the $r$-fold deleted join of Alexander $r$-tuple is a pure complex homotopy equivalent to a wedge of spheres, and (2) the $r$-fold deleted join of a collectively unavoidable $r$-tuple is $(n-r-1)$-connected. We also give a complete classification (Theorem 5.1 and Corollary 5.2) of Alexander $r$-tuples and Bier complexes.

The face poset of the permutohedron realizes the combinatorics of linearly ordered partitions of the set $[n]=\{1,...,n\}$. Similarly, the cyclopermutohedron is a virtual polytope that realizes the combinatorics of cyclically ordered partitions of the set $[n+1]$. The cyclopermutohedron was introduced by the third author by motivations coming from configuration spaces of polygonal linkages. In the paper we prove two facts: (1) the volume of the cyclopermutohedron equals zero, and (2) the homology groups $H_k$ for $k=0,...,n-2$ of the face poset of the cyclopermutohedron are non-zero free abelian groups. We also present a short formula for their ranks.

We introduce a perfect discrete Morse function on the moduli space of a polygonal linkage. The ingredients of the construction are: (1) the cell structure on the moduli space, and (2) the discrete Morse theory approach, which allows to reduce the number of cells to the minimal possible.

It is known that the $k$-faces of the permutohedron $Π_n$ are labeled by (all possible) linearly ordered partitions of the set $[n]=\{1,...,n\}$ into $(n-k)$ non-empty parts. The incidence relation corresponds to the refinement: a face $F$ contains a face $F'$ whenever the label of $F'$ refines the label of $F$. In the paper we consider the cell complex ${CP}$ defined in analogous way, replacing linear ordering by cyclic ordering. Namely, $k$-cells of the complex ${CP}$ are labeled by (all possible) cyclically ordered partitions of the set $[n+1]=\{1,...,n, n+1\}$ into $(n+1-k)$ non-empty parts, where $(n+1-k)>2$. The incidence relation again corresponds to the refinement: a cell $F$ contains a cell $F'$ whenever the label of $F'$ refines the label of $F$. In particular, two vertices are joined by an edge whenever their labels differ on a permutation of two neighbor elements. The complex ${CP}$ cannot be represented by a convex polytope, since it is not a combinatorial sphere (not even a combinatorial manifold). However, it can be represented by some \textit{virtual polytope} (Minkowski difference of two convex polytopes) which we call "cyclopermutohedron" $\mathcal{CP}_{n+1}$. It is defined explicitly, as a weighted Minkowski sum of line segments. Informally, the cyclopermutohedron can be viewed as "permutohedron with diagonals". One of the motivations is that the cyclopermutohedron is a "universal" polytope for moduli spaces of polygonal linkages.

Starting by a simple game $Q $ as a combinatorial data, we build up a cell complex $M(Q)$, whose construction resembles combinatorics of the permutohedron. The cell complex proves to be a combinatorial manifold; we call it the \textit{ simple game induced manifold.} By some motivations coming from polygonal linkages, we think of $Q$ and of $M(Q)$ as of\textit{ a quasilinkage} and the \textit{moduli space of the quasilinkage} respectively. We present some examples of quasilinkages and show that the moduli space retains many properties of moduli space of polygonal linkages. In particular, we show that the moduli space $M(Q)$ is homeomorphic to the space of stable point configurations on $S^1$, for an associated with a quasilinkage notion of stability.

We wish to draw attention to an interesting and promising interaction of two theories. On the one hand, it is the theory of \textbf{pseudo-triangulations} which was useful for implicit solution of thecarpenter's rule problem and proved later to give a nice tool for graph embeddings. On the other hand, it is the theory of hyperbolic virtual polytopes which arose from an old uniqueness conjecture for convex bodies (A. D. Alexandrov's problem): suppose that a constant $C$ separates (non-strictly) everywhere the principal curvature radii of a smooth 3-dimensional convex body $K$. Then $K$ is necessarily a ball of radius $C$. The two key ideas are: Passing from planar pseudo-triangulations to spherical pseudo-tilings, we avoid non-poited vertices. Instead, we use pseudo-di-gons. A theorem on spherically embedded Laman-plus-one graphs is announced. The difficult problem of hyperbolic polytopes constructing can be reduced to finding spherically embedded graphs.