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.

Analyzing Subuniverse Counts in Finite Semilattices: Unveiling the Rankings and Descriptions

On Concept Lattices for Numberings

On the existence of free sublattices of bounded index and arithmetic applications

Lattice of intermediate subalgebras

CLASSIFICATION OF THE SUBLATTICES OF A LATTICE

On the enumeration of finite $L$-algebras

Minimal rank of universal lattices and number of indecomposable elements in real multiquadratic fields

Counting Unimodular Lattices in $\R^{r,s}$

Semilinear idempotent distributive l -monoids

On the number of subdirect products involving semigroups of integers and natural numbers

Abstract Vergleichsstellensätze for preordered semifields and semirings II

Divsets, numerical semigroups and Wilf's conjecture

On the number of countable subdirect powers of finite commutative semigroups

A computational approach to the study of finite-complement submonids of an affine cone

Largest component in Boolean sublattices

A Combinatorial Model of Numerical Semigroup

Optimal Bounds on the Growth of Iterated Sumsets in Abelian Semigroups

Finite subgroups of arithmetic lattices in U(2,1)

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

Finite Atomized Semilattices

Homology of Segre powers of Boolean and subspace lattices