Abstract:In 1933, Karol Borsuk asked whether each bounded set in the $n$-dimensional Euclidean space can be divided into $n$+1 parts of smaller diameter. Because it would not make sense otherwise, one usually assumes that he just forgot to require that the whole set contains at least two points. The hypothesis that the answer to that question is positive became famous under the name \emph{Borsuk's conjecture}. Counterexamples are known for any $n\ge 64$, since 2013. Let $\Lambda$ be the (original, unscaled) Leech lattice, a now very well-known infinite discrete vector set in the 24-dimensional Euclidean space. The smallest norm of nonzero vectors in $\Lambda$ is $\sqrt{32}$. Let $M$ be the set of the 196560 vectors in $\Lambda$ having this norm. For each $x \in M$, $-x$ is in $M$. Let $H$ be the set of all subsets of $M$ that for each $x$ in $M$ contain either $x$ or $-x$. Each element of $H$ has the same diameter $d = \sqrt{96}$. For dimensions $n<24$ one can analogously construct respective $M_n$ and $H_n$ from laminated $n$-dimensional sublattices $\Lambda_n$ of $\Lambda$. For uniformity, let $\Lambda_{24}=\Lambda$, $M_{24} = M$ and $H_{24} = H$. If $M_n$ is divisible into at most $n+1$ parts of diameter below $d$ then this applies to all elements of $H_n$, too. I have checked that this is the case for all $n \le 21$. For $n$ from 22 to 24, the minimum number of parts of diameter below $d$ that I was able to divide $M_n$ into are 25, 29 and 35, resp. The source package of this article contains a data file encoding an element of $H_{24}=H$ that I can not divide into less than 30 parts of smaller diameter.

A Computer Program for Borsuk's Conjecture

Borsuk’s Partition Conjecture

Proof of the Branner-Hubbard conjecture on Cantor Julia sets

D S ] 2 A ug 2 00 6 Proof of the Branner-Hubbard conjecture on Cantor Julia sets Weiyuan

Borsuk's Problem in Metric Spaces

On Boltyanski and Gohberg's Partition Conjecture

A proof of the Erdős-Sands-Sauer-Woodrow conjecture

A Quantitative Program for Hadwiger's Covering Conjecture and Borsuk's Partition Conjecture

A note on Borsuk's problem in Minkowski spaces

A quantitative program for Hadwiger’s covering conjecture

Topological Borsuk problem

Borsuk and Vázsonyi problems through Reuleaux polyhedra

Nahm's Conjecture: Asymptotic Computations and Counterexamples

A Proof of Brouwer's Conjecture

Sub-25-dimensional counterexamples to Borsuk's conjecture in the Leech lattice?

On the Elementary Proof of the Inverse Erdős-Heilbronn Problem

On the mathematical foundations of mutually unbiased bases

Formal Barriers to Simple Algorithms for the Matroid Secretary Problem

The Binary Goldbach Conjecture

A Bollobás-Type Problem: From Root Systems to Erdős–Ko–Rado

Proof of a Conjecture of Nath and Sellers on Simultaneous Core Partitions