In fact, their argument is very close to a proof of the first theorem of Minkowski about lattice points in convex bodies which I had discovered in 2009. However, a final remark in their paper, appendix C, shows that this proof is not really new. Anyway, the whole story is nice enough to prompt me to discuss it in this blog.
1. The Poisson formula
I first recall the Poisson formula: let be a continuous function whose Fourier transform is integrable, let be a lattice in , and let be the dual lattice of . Then,
In fact, one needs a bit more about that the above hypotheses (but we'll ignore this in the sequel). For example, it is sufficient that and be bounded from above by a multiple of , for some strictly positive real number .
2. Minkowski's first theorem
Let a closed symmetric convex neighborhood of . Minkowski's first theorem bounds from below the cardinality of . A natural idea would be to apply the Poisson summation formula to the indicator function of . However, is not continuous, so we need to replace by some function which satisfies the following properties:
- , so that ;
- , so that .
The second condition suggest to take for a function of the form , so that . Then, the first condition will hold outside of if is supported in . Let's try for some positive real number . For all ,
It suffices to choose .
On the other hand,
Finally, the Poisson formula implies
This is exactly Minkowski's first theorem!
Of course, one may consider apply this argument to other functions . In the case where is an Euclidean ball, a natural choice consists in taking a Gaussian , since then has the same form. This is what has essentially been done by Schoof and van der Geer in their paper Effectivity of Arakelov divisors and the analogue of the theta divisor of a number field, Selecta Math. New Ser. 6 (2000), 377–398, and Damian Rössler independently. Indeed, up to normalization factors, the left hand side of the Poisson summation formula is then interpreted as the exponential of the of a line bundle over an arithmetic curve, and the Poisson summation formula itself is the analogue of Serre's duality theorem in Arakelov geometry. As Jean-Benoît Bost explained to me, Gaussian functions provide an inequality for which is sharper than Minkowski's first theorem. The details of the computation can be found in my notes about Arakelov geometry (beware, these are mostly a work in slow progress). I have not tried to look for optimal functions beyond that case.
3. The theorem of Cohn-Elkies
We consider a sphere packing, that is a set of points in with mutual distances at least 1,
and we want to bound from above its density, that is the ratio of volume occupied by balls of radius centered at these spheres. One may think of a lattice packing, the particular case where the centers of these spheres are exactly the points of a lattice or, more generally, of periodic packing when the centers of the spheres are finitely many translates of a lattice . In fact, Cohn and Elkies argue that it suffices to study such periodic packings (repeating periodically an arbitrarily large part of the sphere packing), so we shall do like them and assume that our sphere packing is periodic.
Now, let be a real valued function on satisfying the following properties:
- is continuous, integrable on as well as its Fourier transform.
- and for ;
- for all .
Then, the density of the sphere packing satisfies
where is the volume of the unit ball.
We assume that no difference is a point of the lattice (otherwise, we can exclude one translate from the list). With the above notation, the fundamental parallelepiped of the lattice contains exactly balls of radius , hence
For any , the Poisson summation formula for writes
hence
All terms of the right hand side are positive or null, so that we can bound it from below by
the term for , hence
Now, there is a sphere of our packing centered at , and another at ,
so that unless , that is hence and . In the first case, the value of at is negative or null; in the latter, it equal . Consequently, the left hand side of the previous inequality is at most . Finally, , hence the desired inequality.