Arman–Bondarenko–Prymak–Radchenko lattice-coloring optimality conjecture

Let χlat(Rn)\chi_{\mathrm{lat}}(\mathbb{R}^n) denote the minimum number of colors in a lattice coloring of Rn\mathbb{R}^n such that no two points of the same color are at Euclidean distance 11. The conjecture asserts that χlat(R4)=49\chi_{\mathrm{lat}}(\mathbb{R}^4)=49 and χlat(R5)=140\chi_{\mathrm{lat}}(\mathbb{R}^5)=140; equivalently, there are lattice colorings with 4949 and 140140 colors, respectively, and no lattice colorings with fewer colors.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed solved

A new preprint claims to disprove the proposed lattice optima in four and five dimensions and improve several higher-dimensional coloring bounds, but the claims have not been independently verified.

Arman, Bondarenko, Prymak, and Radchenko’s 2022 paper proposed that 4949 and 140140 were optimal lattice-coloring values in dimensions 44 and 55. The conjecture concerns lattice constructions, not exact Euclidean chromatic numbers.

Known results

  • Arman, Bondarenko, Prymak, and Radchenko (2022): χ(E4)≤49\chi(\mathbb{E}^4)\le 49 and χ(E5)≤140\chi(\mathbb{E}^5)\le 140.
  • The same paper: χ(E7)≤1372\chi(\mathbb{E}^7)\le 1372 and χ(E9)≤17253\chi(\mathbb{E}^9)\le 17253; the 44- and 55-dimensional optima were stated as beliefs, not proved theorems.

September 2026 claimed refutation

Leonid Ivanov and Nadezhda Glushkova’s preprint claims explicit lattice colorings giving χ(R4)≤43\chi(\mathbb{R}^4)\le 43 and χ(R5)≤132\chi(\mathbb{R}^5)\le 132, thereby refuting the proposed optima, with exact-arithmetic finite certificates. It also claims χ(R7)≤1029\chi(\mathbb{R}^7)\le 1029, χ(R9)≤7203\chi(\mathbb{R}^9)\le 7203, and χ(R10)≤45619\chi(\mathbb{R}^{10})\le 45619. These are claimed results and do not determine the Euclidean chromatic numbers.

Current status (as of September 2026): The 4949 and 140140 lattice-optimality conjectures are claimed to be refuted, but the new bounds and certificates remain unverified; exact Euclidean chromatic numbers remain open.

Sources

Solutions 0

No solutions have been posted yet.