The body-centered cubic lattice, abbreviated BCC, is the cubic lattice consisting of points at the vertices
and centers of the cubes in a
simple cubic lattice. A realization is . Rescaling to covolume
one gives
|
(1)
|
For a Bravais lattice of covolume one, define its renormalized
Coulomb energy by
|
(2)
|
Muratov and Novaga (2026) report a computer-assisted proof that uniquely minimizes
, up to orthogonal
transformations. Their comparison is among three-dimensional Bravais
lattices of fixed covolume, not arbitrary point
configurations or periodic crystals with multiple points per cell. The proof uses
interval certificates. Muratov and Novaga (2026) report AI assistance with constructing,
executing, and cross-checking the verification code.
For positive screening parameter ,
the corresponding Yukawa energy is
|
(3)
|
Luo and Wei (2026) report a unique transition at : among Bravais
lattices in
of covolume one, BCC uniquely
minimizes
for
, and the face-centered cubic
lattice uniquely minimizes it for
,
up to orthogonal transformations. Exactly
these two lattice classes minimize it at
.
Their proof uses interval certificates. Luo and Wei (2026) credit AI with assisting
the certificate computations.
Bourne et al. (2026) proved the local optimality of BCC as a lattice quantizer for the moment among three-dimensional Bravais
lattices of fixed covolume, for every
. Here
is the Voronoi cell of
the origin. They also proved global optimality for
in an interval containing 2. Luo (2026) proved that for every
finite
the covolume-one BCC lattice uniquely minimizes this moment among full-rank point
lattices in
of covolume one, up to orthogonal
transformations. Luo (2026) reports AI assistance with the finite computations
in the proof.