Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Imagine I have an infinite lattice of spheres packed in a face centered cubic (fcc) lattice geometry which has the basis: $((-1, -1, 0), (1, -1, 0), (0, 1, -1))$. Here, provided that sphere-sphere intersection is forbidden, the maximum non-intersecting radius of each sphere is $r_c = \frac{1}{\sqrt{2}}$.

Let $R_v > \frac{r_c\sqrt{18}}{\pi}$ be the minimum radius of each sphere in the fcc packing arrangment s.t., allowing for sphere-sphere overlaps, no point in the lattice is outside of a sphere. Here, $\frac{\pi}{\sqrt{18}}=\frac{\pi}{3\sqrt{2}}$ is the maximum possible packing density of non-intersecting spheres as per Hales' proof of the Kepler conjecture.

What is the exact value of $R_v$? Can this value be easily calculated for other sphere packing geometries provided the lattice basis?

Update: Noam D. Elkies answered by question in the comments below. What I'm looking for is the "covering radius" for the lattice. I'm currently searching for this value for the fcc/$A_3$ lattice, but if anyone happens to know it, it would be great if you could help me out!

Update 2: The covering radius for the fcc/$A_3$ lattice appears to simply be $R_v=r_c*\sqrt{2}=1$.

share|improve this question
That's called the covering radius of the lattice. See Conway and Sloane's Sphere Packings, Lattices and Groups for more information, including the covering radius of this lattice (which they call $A_3$) and many others. –  Noam D. Elkies May 29 '13 at 2:57
@Noam D. Elkies Thanks so much for your response, that more or less answers my question. –  RMoser May 29 '13 at 3:05
A caution, SPLAG mostly write the covering radius as a multiple of the packing radius, which you have already scaled as $1/\sqrt 2.$ –  Will Jagy May 29 '13 at 4:40

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.