Characterization of extremal discrete Borsuk sets by cubes

About 1 year old · traced to

Let S⊂ZdS \subset \mathbb{Z}^d be a bounded set, and let βZ(S)\beta_{\mathbb{Z}}(S) denote its discrete Borsuk partition number. Let conv⁡(S)\operatorname{conv}(S) be the convex hull of SS, and call two lattice polytopes unimodularly equivalent if one is mapped to the other by an affine unimodular transformation. Discrete cube characterization conjecture.

βZ(S)=2d\beta_{\mathbb{Z}}(S)=2^d

if and only if conv⁡(S)\operatorname{conv}(S) is unimodularly equivalent to a dd-cube [0,m]d[0,m]^d for some m∈Nm \in \mathbb{N}. The paper proves the upper bound βZ(S)≤2d\beta_{\mathbb{Z}}(S)\leq 2^d and that it is attained by S={0,1}dS=\{0,1\}^d; the conjecture seeks to characterize all equality cases.

References

Primary source

Anouk E. Brose, Jesús A. De Loera, Gyivan Lopez-Campos and Antonio J. Torres, “On Lattice Diameter Segments and A Discrete Borsuk Partition Problem”, arXiv:2508.20009 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.