Sperner's lemma

In mathematics, Sperner's lemma is a combinatorial analog of the Brouwer fixed point theorem, which is equivalent to it.

Sperner's lemma states that every Sperner coloring (described below) of a triangulation of an n-dimensional simplex contains a cell colored with a complete set of colors.

The initial result of this kind was proved by Emanuel Sperner, in relation with proofs of invariance of domain. Sperner colorings have been used for effective computation of fixed points and in root-finding algorithms, and are applied in fair division (cake cutting) algorithms. It is now believed to be an intractable computational problem to find a Brouwer fixed point or equivalently a Sperner coloring even in the plane, in the general case. The problem is PPAD-complete, a complexity class invented by Christos Papadimitriou.

According to the Soviet Mathematical Encyclopaedia (ed. I.M. Vinogradov), a related 1929 theorem (of Knaster, Borsuk and Mazurkiewicz) has also become known as the Sperner lemma – this point is discussed in the English translation (ed. M. Hazewinkel). It is now commonly known as the Knaster–Kuratowski–Mazurkiewicz lemma.

Statement

One-dimensional case

In one dimension, Sperner's Lemma can be regarded as a discrete version of the Intermediate Value Theorem. In this case, it essentially says that if a discrete function takes only the values 0 and 1, begins at the value 0 and ends at the value 1, then it must switch values an odd number of times.

Two-dimensional case

Two-dimensional case

The two-dimensional case is the one referred to most frequently. It is stated as follows:

Given a triangle ABC, and a triangulation T of the triangle, the set S of vertices of T is colored with three colors in such a way that

1. A, B and C are colored 1, 2 and 3 respectively
2. Each vertex on an edge of ABC is to be colored only with one of the two colors of the ends of its edge. For example, each vertex on AC must have a color either 1 or 3.

Then there exists a triangle from T, whose vertices are colored with the three different colors. More precisely, there must be an odd number of such triangles.

Multidimensional case

In the general case the lemma refers to a n-dimensional simplex

We consider a triangulation T which is a disjoint division of into smaller n-dimensional simplices. Denote the coloring function as f : S → {1,2,3,...,n,n+1}, where S is again the set of vertices of T. The rules of coloring are:

1. The vertices of the large simplex are colored with different colors, i. e. f(A_i) = i for 1 ≤ i ≤ n+1.
2. Vertices of T located on any k-dimensional subface of the large simplex

are colored only with the colors

Then there exists an odd number of simplices from T, whose vertices are colored with all n+1 colors. In particular, there must be at least one.

Proof

We shall first address the two-dimensional case. Consider a graph G built from the triangulation T as follows:

The vertices of G are the members of T plus the area outside the triangle. Two vertices are connected with an edge if their corresponding areas share a common border with one endpoint colored 1 and the other colored 2.

Note that on the interval AB there is an odd number of borders colored 1-2 (simply because A is colored 1, B is colored 2; and as we move along AB, there must be an odd number of color changes in order to get different colors at the beginning and at the end). Therefore, the vertex of G corresponding to the outer area has an odd degree. But it is known (the handshaking lemma) that in a finite graph there is an even number of vertices with odd degree. Therefore, the remaining graph, excluding the outer area, has an odd number of vertices with odd degree corresponding to members of T.

It can be easily seen that the only possible degree of a triangle from T is 0, 1 or 2, and that the degree 1 corresponds to a triangle colored with the three colors 1, 2 and 3.

Thus we have obtained a slightly stronger conclusion, which says that in a triangulation T there is an odd number (and at least one) of full-colored triangles.

A multidimensional case can be proved by induction on the dimension of a simplex. We apply the same reasoning, as in the 2-dimensional case, to conclude that in a n-dimensional triangulation there is an odd number of full-colored simplices.

Commentary

A simple 2 dimensional triangulation of a figure colored and named in accordance with the assumptions of Sperner's Lemma.

The graph derived from the figure.

An elaboration of the proof given above for those new to graph theory. This diagram numbers the colors of the vertices of the example given above. The small triangles whose vertices all have different numbers are shaded in the graph. Each small triangle becomes a node in the new graph derived from the triangulation. The small letters identify the areas, eight inside the figure, and area i being the space outside of it. As described above, those nodes that share an edge whose endpoints are numbered 1 and 2 are joined in the derived graph. For example, node d shares an edge with the outer area i, and its vertices all have different numbers, so it is also shaded. Node b is not shaded because two vertices have the same number, but it is joined to the outer area. One could add a new full-numbered triangle, say by inserting a node numbered 3 into the edge between 1 and 1 of node a, and joining that node to the other vertex of a. Doing so would have to create a pair of new nodes, like the situation with nodes f and g.

Generalizations

Polytopes

Suppose that, instead of an -dimensional simplex, we have a -dimensional polytope with vertices.

Then there are at least fully labeled simplices, where "fully labeled" indicates that every label on the simplex has a different color. For example, if a (2-dimensional) polygon with n vertices is triangulated and colored according to the Sperner criterion, then there are at least fully labeled triangles.

The general statement was conjectured by Atanassov in 1996, who proved it for the case .^[1] The proof of the general case was first given by de Loera, Peterson, and Su in 2002.^[2]

Permutations

Suppose that, instead of a single labeling, we have different Sperner labelings.

We consider pairs (simplex,permutation) such that, the label of each vertex of the simplex is chosen from a different labeling (so for each simplex, there are different pairs).

Then there are at least fully labeled pairs. This was proved by Ravindra Bapat.^[3]

Another way to state this lemma is as follows. Suppose there are people, each of whom produces a different Sperner labeling of the same triangulation. Then, there exists a simplex, and a matching of the people to its vertices, such that each vertex is labeled by its owner differently (one person labels its vertex by 1, another person labels its vertex by 2, etc.). Moreover, there are at least such matchings. This can be used to find an envy-free cake-cutting with connected pieces.

Degrees

Suppose a triangle is triangluated and labeled with {1,2,3}. Consider the cyclic sequence of labels on the boundary of the triangle. Define the degree of the labeling as the difference between the number of switches from 1 to 2, and the number of switches from 2 to 1. See examples in the table at the right. Note that the degree is the same if we count switches from 2 to 3 minus 3 to 2, or from 3 to 1 minus 1 to 3.

Musin proved that the number of fully labeled triangles is at least the degree of the labeling.^[4] In particular, if the degree is nonzero, then there exists at least one fully labeled triangle.

If a labeling satisfies the Sperner condition, then its degree is exactly 1: there are 1-2 and 2-1 switches only in the side between vertices 1 and 2, and the number of 1-2 switches must be one more than the number of 2-1 switches (when walking from vertex 1 to vertex 2). Therefore, the original Sperner lemma follows from Musin's theorem.

Trees and cycles

There is a similar lemma about finite and infinite trees and cycles.^[5]

Applications

Sperner colorings have been used for effective computation of fixed points. A Sperner coloring can be constructed such that fully labeled simplices correspond to fixed points of a given function. By making a triangulation smaller and smaller, one can show that the limit of the fully labeled simplices is exactly the fixed point. Hence, the technique provides a way to approximate fixed points.

For this reason, Sperner's lemma can also be used in root-finding algorithms and fair division algorithms; see Simmons–Su protocols.

Sperner's lemma is one of the key ingredients of the proof of Monsky's theorem, that a square cannot be cut into an odd number of equal-area triangles.^[6]

Fifty years after first publishing it, Sperner presented a survey on the development, influence and applications of his combinatorial lemma.^[7]

Equivalent results

There are several fixed-point theorems which come in three equivalent variants: an algebraic topology variant, a combinatorial variant and a set-covering variant. Each variant can be proved separately using totally different arguments, but each variant can also be reduced to the other variants in its row. Additionally, each result in the top row can be deduced from the one below it in the same column.^[8]

See also

• Topological combinatorics

References

1. ↑ Atanassov, K. T. (1996), "On Sperner's lemma", Studia Scientiarum Mathematicarum Hungarica, 32 (1–2): 71–74, MR 1405126 
2. ↑ De Loera, Jesus A.; Peterson, Elisha; Su, Francis Edward (2002), "A polytopal generalization of Sperner's lemma", Journal of Combinatorial Theory, Series A, 100 (1): 1–26, doi:10.1006/jcta.2002.3274, MR 1932067 
3. ↑ Bapat, R. B. (1989). "A constructive proof of a permutation-based generalization of Sperner's lemma". Mathematical Programming. 44: 113. doi:10.1007/BF01587081. 
4. ↑ Oleg R Musin (2014). "Around Sperner's lemma". arXiv:1405.7513 [math.CO]. 
5. ↑ A Tree Sperner Lemma
6. ↑ Aigner, Martin; Ziegler, Günter M. (2010), "One square and an odd number of triangles", Proofs from The Book (4th ed.), Berlin: Springer-Verlag, pp. 131–138, doi:10.1007/978-3-642-00856-6_20, ISBN 978-3-642-00855-9 
7. ↑ Sperner, Emanuel (1980), "Fifty years of further development of a combinatorial lemma", Numerical solution of highly nonlinear problems (Sympos. Fixed Point Algorithms and Complementarity Problems, Univ. Southampton, Southampton, 1979), North-Holland, Amsterdam-New York, pp. 183–197, 199–217, MR 559121 
8. ↑ Nyman, Kathryn L.; Su, Francis Edward (2013), "A Borsuk–Ulam equivalent that directly implies Sperner's lemma", American Mathematical Monthly, 120 (4): 346–354, doi:10.4169/amer.math.monthly.120.04.346, MR 3035127 

External links

• Proof of Sperner's Lemma at cut-the-knot
• Sperner's lemma and the Triangle Game, at the n-rich site.