arXiv++ Combinatorics

A (continuous) necklace is simply an interval of the real line colored measurably with some number of colors. A well-known application of the Borsuk-Ulam theorem asserts that every $k$-colored necklace can be fairly split by at most $k$ cuts (from the resulting pieces one can form two collections, each capturing the same measure of every color). Here we prove that for every $k\geq 1$ there is a measurable $(k+3)$-coloring of the real line such that no interval can be fairly split using at most $k$ cuts. In particular, there is a measurable $4$-coloring of the real line in which no two adjacent intervals have the same measure of every color. An analogous problem for the integers was posed by Erdős in 1961 and solved in the affirmative in 1991 by Keränen. Curiously, in the discrete case the desired coloring also uses four colors.

Tucker and Ky Fan's lemma are combinatorial analogs of the Borsuk-Ulam theorem (BUT). In 1996, Yu. A. Shashkin proved a version of Fan's lemma, which is a combinatorial analog of the odd mapping theorem (OMT). We consider generalizations of these lemmas for BUT-manifolds, i.e. for manifolds that satisfy BUT. Proofs rely on a generalization of the OMT and on a lemma about the doubling of manifolds with boundaries that are BUT-manifolds.

A well known consequence of the Borsuk-Ulam theorem is that if the $d$-dimensional sphere $S^d$ is covered with less than $d+2$ open sets, then there is a set containing a pair of antipodal points. In this paper we provide lower and upper bounds on the minimum number of open sets, not containing a pair of antipodal points, needed to cover the $d$-dimensional sphere $n$ times, with the additional property that the northern hemisphere is covered $m > n$ times. We prove that if the open northern hemisphere is to be covered $m$ times then at least $ \lceil \frac{d-1}{2} \rceil+n+m$ and at most $d+n+m$ sets are needed. For the case of $n=1$ and $d \ge 2$, this number is equal to $d+2$ if $m \le \lfloor \frac{d}{2} \rfloor + 1$ and equal to $ \lfloor \frac{d-1}{2} \rfloor + 2 +m$ if $m > \lfloor \frac{d}{2} \rfloor + 1$. If the closed northern hemisphere is to be covered $m$ times then $d+2m-1$ sets are needed, this number is also sufficient. We also present results on a related problem of independent interest. We prove that if $S^d$ is covered $n$ times with open sets, not containing a pair of antipodal points, then there exists a point that is covered at least $ \lceil \frac{d}{2} \rceil +n$ times. Furthermore, we show that there are covers in which no point is covered more than $n+d$ times.

For a graph $G$, the tree graph ${\cal T}_{G,t}$ has all tree subgraphs of $G$ with $t$ vertices as vertex set and two tree subgraphs are neighbors if they are edge-disjoint. Also, the $r^{th}$ cut number of $G$ is the minimum number of edges between parts of a partition of vertex set of $G$ into two parts such that each part has size at least $r$. We show that if $t=(1-o(1))n$ and $n$ is large enough, then for any dense graph $G$ with $n$ vertices, the chromatic number of the tree graph ${\cal T}_{G,t}$ is equal to the $(n-t+1)^{th}$ cut number of $G$. In particular, as a consequence, we prove that if $n$ is large enough and $G$ is a dense graph, then the chromatic number of the spanning tree graph ${\cal T}_{G,n}$ is equal to the size of the minimum cut of $G$. The proof method is based on alternating Turán number inspired by Tucker's lemma, an equivalent combinatorial version of the Borsuk-Ulam theorem.

We study the Fadell-Husseini index of the configuration space F(R^d,n) with respect to different subgroups of the symmetric group S_n. For p prime and d>0, we completely determine Index_{Z/p}(F(R^d,p);F_p) and partially describe Index{(Z/p)^k}(F(R^d,p^k);F_p). In this process we obtain results of independent interest, including: (1) an extended equivariant Goresky-MacPherson formula, (2) a complete description of the top homology of the partition lattice Pi_p as an F_p[Z_p]-module, and (3) a generalized Dold theorem for elementary abelian groups. The results on the Fadell-Husseini index yield a new proof of the Nandakumar & Ramana Rao conjecture for a prime. For n=p^k a prime power, we compute the Lusternik-Schnirelmann category cat(F(R^d,n)/S_n)=(d-1)(n-1). Moreover, we extend coincidence results related to the Borsuk-Ulam theorem, as obtained by Cohen & Connett, Cohen & Lusk, and Karasev & Volovikov.

The Vapnik-Červonenkis dimension is a complexity measure of set-systems, or hypergraphs. Its application to graphs is usually done by considering the sets of neighborhoods of the vertices (cf. Alon et al. (2006) and Chepoi, Estellon, and Vaxes (2007)), hence providing a set-system. But the graph structure is lost in the process. The aim of this paper is to introduce the notion of paired VC-dimension, a generalization of VC-dimension to set-systems endowed with a graph structure, hence a collection of pairs of subsets. The classical VC-theory is generally used in combinatorics to bound the transversality of a hypergraph in terms of its fractional transversality and its VC-dimension. Similarly, we bound the chromatic number in terms of fractional transversality and paired VC-dimension. This approach turns out to be very useful for a class of problems raised by Erdős and Simonovits (1973) asking for H-free graphs with minimum degree at least cn and arbitrarily high chromatic number, where H is a fixed graph and c a positive constant. We show how the usual VC-dimension gives a short proof of the fact that triangle-free graphs with minimum degree at least n/3 have bounded chromatic number, where $n$ is the number of vertices. Using paired VC-dimension, we prove that if the chromatic number of $H$-free graphs with minimum degree at least cn is unbounded for some positive c, then it is unbounded for all c<1/3. In other words, one can find H-free graphs with unbounded chromatic number and minimum degree arbitrarily close to n/3. These H-free graphs are derived from a construction of Hajnal. The large chromatic number follows from the Borsuk-Ulam Theorem.

In this paper some results on the topology of the space of $k$-flats in $\mathbb R^n$ are proved, similar to the Borsuk-Ulam theorem on coverings of sphere. Some corollaries on common transversals for families of compact sets in $\mathbb R^n$, and on measure partitions by hyperplanes, are deduced.

We describe an explicit chain map from the standard resolution to the minimal resolution for the finite cyclic group Z_k of order k. We then demonstrate how such a chain map induces a "Z_k-combinatorial Stokes theorem", which in turn implies "Dold's theorem" that there is no equivariant map from an n-connected to an n-dimensional free Z_k-complex. Thus we build a combinatorial access road to problems in combinatorics and discrete geometry that have previously been treated with methods from equivariant topology. The special case k=2 for this is classical; it involves Tucker's (1949) combinatorial lemma which implies the Borsuk-Ulam theorem, its proof via chain complexes by Lefschetz (1949), the combinatorial Stokes formula of Fan (1967), and Meunier's work (2006).

In combinatorial problems it is sometimes possible to define a $G$-equivariant mapping from a space $X$ of configurations of a system to a Euclidean space $\mathbb{R}^m$ for which a coincidence of the image of this mapping with an arrangement $\mathcal{A}$ of linear subspaces insures a desired set of linear conditions on a configuration. Borsuk-Ulam type theorems give conditions under which no $G$-equivariant mapping of $X$ to the complement of the arrangement exist. In this paper, precise conditions are presented which lead to such theorems through a spectral sequence argument. We introduce a blow up of an arrangement whose complement has particularly nice cohomology making such arguments possible. Examples are presented that show that these conditions are best possible.

Tucker's Lemma is a combinatorial analog of the Borsuk-Ulam theorem and the case n=2 was proposed by Tucker in 1945. Numerous generalizations and applications of the Lemma have appeared since then. In 2006 Meunier proved the Lemma in its full generality in his Ph.D. thesis. There are generalizations and extensions of the Borsuk-Ulam theorem that do not yet have combinatorial analogs. In this note, we give a combinatorial analog of a result of Freeman J. Dyson and show that our result is equivalent to Dyson's theorem. As with Tucker's Lemma, we hope that this will lead to generalizations and applications and ultimately a combinatorial analog of Yang's theorem of which both Borsuk-Ulam and Dyson are special cases.

The principal aim of this paper is to determine the minimal dimension that a nerve of the cover of the sphere S^h by the open sets not containing a pair of antipodal points could have, and also to determine the minimal cardinality of such cover (or the minimal number of vertices of its nerve). In particular, our result provides the complete answer to the question posed by Micha Perles. Our results could be seen as the extensions of the Lyusternik-Schnirel'man version of the Borsuk-Ulam theorem. As a consequence, we also obtain the improved lower bound for the local chromatic number of certain class of graphs.

Combining Ky Fan's theorem with ideas of Greene and Matousek we prove a generalization of Dol'nikov's theorem. Using another variant of the Borsuk-Ulam theorem due to Bacon and Tucker, we also prove the presence of all possible completely multicolored t-vertex complete bipartite graphs in t-colored t-chromatic Kneser graphs and in several of their relatives. In particular, this implies a generalization of a recent result of G. Spencer and F. E. Su.

The local chromatic number of a graph was introduced by Erdos et al. in 1986. It is in between the chromatic and fractional chromatic numbers. This motivates the study of the local chromatic number of graphs for which these quantities are far apart. Such graphs include Kneser graphs, their vertex color-critical subgraphs, the Schrijver (or stable Kneser) graphs; Mycielski graphs, and their generalizations; and Borsuk graphs. We give more or less tight bounds for the local chromatic number of many of these graphs. We use an old topological result of Ky Fan which generalizes the Borsuk-Ulam theorem. It implies the existence of a multicolored copy of the balanced complete bipartite graph on t points in every proper coloring of many graphs whose chromatic number t is determined via a topological argument. (This was in particular noted for Kneser graphs by Ky Fan.) This yields a lower bound of t/2+1 for the local chromatic number of these graphs. We show this bound to be tight or almost tight in many cases. As another consequence of the above we prove that the graphs considered here have equal circular and ordinary chromatic numbers if the latter is even. This partially proves a conjecture of Johnson, Holroyd, and Stahl and was independently attained by F. Meunier. We also show that odd chromatic Schrijver graphs behave differently, their circular chromatic number can be arbitrarily close to the other extreme.

We give an extension of the lower bound of Vucic and Zivaljevic for the number of Tverberg partitions from the prime to the prime power case. Our proof is inspired by the Z_p-index version of the proof in Matousek's book "Using the Borsuk-Ulam Theorem" and uses Volovikov's Lemma. Analogously, one obtains an extension of the lower bound for the number of different splittings of a generic necklace to the prime power case.

The Kneser conjecture (1955) was proved by Lovász (1978) using the Borsuk-Ulam theorem; all subsequent proofs, extensions and generalizations also relied on Algebraic Topology results, namely the Borsuk-Ulam theorem and its extensions. Only in 2000, Matoušek provided the first combinatorial proof of the Kneser conjecture. Here we provide a hypergraph coloring theorem, with a combinatorial proof, which has as special cases the Kneser conjecture as well as its extensions and generalization by (hyper)graph coloring theorems of Dol'nikov, Alon-Frankl-Lovász, Sarkaria, and Kriz. We also give a combinatorial proof of Schrijver's theorem.