Borsuk's conjecture
From Wikipedia, the free encyclopedia
The Borsuk conjecture is a claim in discrete geometry, now disproved. It states that:
- Every convex body in can be cut into (d + 1) pieces of smaller diameter.
The conjecture was introduced in 1932 by Karol Borsuk, who showed that d pieces is not enough for a ball. The proof is based on the Borsuk–Ulam theorem.
The conjecture is established in the following cases:
- d=2 – the original result by Borsuk (1932).
- d=3 – the result of Eggleston (1955). A simple proof was found later by Grünbaum and Heppes.
- For all d for the smooth convex bodies – the result of Hadwiger (1946).
- For all d for centrally-symmetric bodies.
- For all d for bodies of revolution – the result of Dexter (1995).
The conjecture was disproved in 1993 by Kahn and Kalai. The current best bound, due to Hinrichs and Richter, shows that the conjecture is false for all . Kahn-Kalai's proof implies that for large enough d one needs number of pieces. It is conjectured that (see e.g. Alon's article) that α(d) > cd for some c >1.
[edit] References
- J. Kahn and G. Kalai, A counterexample to Borsuk's conjecture, Bull. Amer. Math. Soc. (N.S.) 29 (1993), 60-62.
- N. Alon, Discrete mathematics: methods and challenges, Proc. of the ICM, Beijing 2002, vol. 1, 119-135.
- A. Hinrichs and C. Richter, New sets with large Borsuk numbers, Discrete Math. 270 (2003), 137-147
- A.M. Raigorodskii, The Borsuk partition problem: the seventieth anniversary, Math. Intelligencer 26 (2004), no. 3, 4-12.
- O. Pikhurko, Algebraic Methods in Combinatorics, course notes.
[edit] External links
- Borsuk's Conjecture – from MathWorld.