Characterization of extremal discrete Borsuk sets by cubes

From papers

Let SZdS \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 mNm \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.

Progress summary

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

Sources & referencesView supporting material

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).

Solutions 0

No solutions have been posted yet.