Preprint
AI statement: 🟡 Partially AI-assisted: AI helped draft ideas or lemmas, with a human-led core idea and approach.

Inserted: 22 oct 2026
Last Updated: 11 nov 2026

Year: 2026

Abstract:

We prove that the body-centered cubic lattice uniquely minimizes the renormalized Coulomb energy among three-dimensional Bravais lattices of fixed covolume, up to orthogonal transformations. Using Ewald summation, we write the energy, to within an additive constant, as a sum of two positive, rapidly convergent series in real and reciprocal space. Their positivity provides finite lower bounds for all competitors. A passage to the dual lattice reduces the problem to a face-centered cubic comparison. A short basis vector estimate, a certified local Hessian, and interval bounds on a compact five-dimensional domain complete the computer-assisted proof.