Now we’ll move away from spectral methods, and into a few lectures on topological methods. Today we’ll look at the Borsuk-Ulam theorem, and see a stunning application to combinatorics, given by Lovász in the late 70′s. A great reference for this material is Matousek’s book, from which I borrow heavily. I’ll also discuss why the Lovász-Kneser theorem arises in theoretical CS.
The Borsuk-Ulam Theorem
We begin with a statement of the theorem. We will think of the n-dimensional sphere as the subset of given by
Borsuk-Ulam Theorem: For every continuous mapping , there exists a point with .
Pairs of points are called antipodal.
There are a couple of common illustrative examples for the case . The theorem says that if you take the air out of a basketball, crumple it (no tearing), and flatten it out, then there are two points directly on top of each other which were antipodal before. Another common example states that at every point in time, there must be two points on the earth which both have exactly the same temperature and barometric pressure (assuming, of course, that these two parameters vary continuously over the surface of the eath).
The n=1 case is completely elementary. For the rest of the lecture, let’s use and to denote the north and south poles (the dimension will be obvious from context). To prove the n=1 case, simply trace out the path in starting at and going clockwise around . Simultaneously, trace out the path starting at and going counter-clockwise at the same speed. It is easy to see that eventually these two paths have to collide: At the point of collision, .
We will give the sketch of a proof for Let , and note that our goal is to prove that for some . Note that is antipodal in the sense that for all . Now, if for every , then by compactness there exists an such that for all . Because of this, we may approximate arbitrarily well by a smooth map, and prove that the approximation has a 0. So we will assume that itself is smooth.
Now, define by , i.e. the north/south projection map. Let be a hollow cylinder, and let be given by so that linearly interpolates between and .
Also, let’s define an antipodality on by . Note that is antipodal with respect to , i.e. , because both and are antipodal. For the sake of contradiction, assume that for all .
Now let’s consider the structure of the zero set . Certainly since , and these are h’s only zeros. Here comes the sketchy part: Since is smooth, is also smooth, and thus locally can be approximated by an affine mapping . It follows that if is not empty, then it should be a subspace of dimension at least one. By an arbitrarily small perturbation of the initial , ensuring that is sufficiently generic, we can ensure that is either empty or a subspace of dimension one. Thus locally, should look like a two-sided curve, except at the boundaries and , where (if non-empty) would look like a one-sided curve. But, for instance, cannot contain any Y-shaped branches.
It follows that is a union of closed cycles and paths whose endpoints must lie at the boundaries and . ( is represented by red lines in the cylinder above.) But since there are only two zeros on the sphere, and none on the sphere, must contain a path from to Since is antipodal with respect to , must also satisfy this symmetry, making it impossible for the segment initiating at N to ever meet up with the segment initiating at S. Thus we arrive at a contradiction, implying that must take the value 0.
Notice that the only important property we used about (other than its smoothness) is that is has a number of zeros which is twice an odd number. If had, e.g. four zeros, then we could have two -symmetric paths emanating from and returning to the bottom. But if has six zeros, then we would again reach a contradiction.
The Kneser conjecture
While the Borsuk-Ulam theorem seems initially far removed from any combinatorial applications, the following result of Lyusternik and Shnirel’man starts to hint at the combinatorial significance.
LS Lemma: Let be a cover of by closed sets. Then some contains an antipodal pair.
Proof: Consider the continuous map given by , where denotes e.g. the geodesic distance on . By the Borsuk-Ulam theorem, there exists a with . Now if for some , then . Otherwise, if this holds for no , then .
In fact, it is not difficult to show that the LS Lemma is equivalent to Borsuk-Ulam. For our application to the Kneser conjecture, we will need to consider both open and closed sets.
Corollary 1: Let be a cover of by open sets. Then some contains an antipodal pair.
Proof: This follows from the LS Lemma by choosing a family of closed sets such that forms a cover of . The existence of such sets follows from applying compactness to the following open cover of : For every , choose an open set whose closure lies completely within some . By compactness, there is a finite subcover. By piecing together elements of its closure, we can form the sets .
Finally, we address the case of both open and closed sets.
Corollary 2: Let be a cover of with each open or closed. Then some contains an antipodal pair.
Proof: Suppose that are closed and are open. Consider the open cover , where denotes the -neighborhood of . Taking and applying Corollary 1 to each cover results in a sequence . If for some , we are done. Thus we may pass to a subsequence for which for some fixed . Choose a convergent subsequence , and observe that since is closed, we have . We conclude that there exists an with .
The Kneser graphs.
Now, we introduce the Kneser graphs . The vertex set is , i.e. the vertices are k-element subsets of . There is an edge between two sets if and only if and are disjoint. In 1955, Kneser posed the following conjecture.
Conjecture: For every and , , where denotes the chromatic number.
First, we note that the upper bound is easy: Construct a coloring by defining
Clearly if , then and have the same minimum element, and thus they are not disjoint. On the other hand, if , then , and the latter set contains only elements. Thus again .
Proof: Consider and let . Let be a set of points in general position, so that no -dimensional hyperplane through the origin contains more than points of . Clearly we may assume that actually has vertex set . For every , let
denote the open hemisphere centered at .
Now, suppose we have a proper coloring of , and define sets as follows: is the set of all points such that contains a k-set colored . Finally, .
By Corollary 2 above, there must exist an and a such that . If , then since and are disjoint, there must exist two disjoint k-sets colored , which means we did not start with a proper coloring.
If, instead , it implies that both . But then the -dimensional hyperplane contains points, contradicting the fact that was chosen in general position.
Appearances in TCS
One of the most useful properties of the Kneser graphs is that there is a large gap between their chromatic number and their fractional chromatic number . The fractional chromatic number of graph is the minimum value such that can be covered by independent sets, where each vertex occurs in at least of them.
It is easy to see that by choosing the n independent sets
The Kneser graphs are a particularly natural family to have a large gap between and because we can define for an arbtirary G as the minimum ratio such that G admits a homomorphism into . One can also see that using the Erdős–Ko–Rado theorem.
See e.g. this FOCS’08 paper of Alon, et. al. for a recent application which uses this gap between fractional and actual chromatic numbers. The Kneser graphs also arise very naturally in PCP constructions, as one can see in this paper of Dinur, Regev, and Smyth about the computational hardness of coloring hypergraphs.