Poppy-seed bagel theorem explained

In physics, the poppy-seed bagel theorem concerns interacting particles (e.g., electrons) confined to a bounded surface (or body)

A when the particles repel each other pairwise with a magnitude that is proportional to the inverse distance between them raised to some positive power s . In particular, this includes the Coulomb law observed in Electrostatics and Riesz potentials extensively studied in Potential theory. Other classes of potentials, which not necessarily involve the Riesz kernel, for example nearest neighbor interactions, are also described by this theorem in the macroscopic regime.For N such particles, a stable equilibrium state, which depends on the parameter s , is attained when the associated potential energy of the system is minimal (the so-called generalized Thomson problem). For large numbers of points, these equilibrium configurations provide a discretization of A which may or may not be nearly uniform with respect to the surface area (or volume) of A . The poppy-seed bagel theorem asserts that for a large class of sets A , the uniformity property holds when the parameter s is larger than or equal to the dimension of the set A . For example, when the points ("poppy seeds") are confined to the 2-dimensional surface of a torus embedded in 3 dimensions (or "surface of a bagel"), one can create a large number of points that are nearly uniformly spread on the surface by imposing a repulsion proportional to the inverse square distance between the points, or any stronger repulsion (s\geq 2 ). From a culinary perspective, to create the nearly perfect poppy-seed bagel where bites of equal size anywhere on the bagel would contain essentially the same number of poppy seeds, impose at least an inverse square distance repelling force on the seeds.

Formal definitions

For a parameter

s> 0 and an N -point set \omega _{N} = \{x _{1,} \ldots, x _{N\}\subset} R ^{p} , the s -energy of \omega _{N} is defined as follows:$$E\_s(\backslash omega\_N):=\backslash sum\_\; \backslash frac$$

^s

For a compact set A we define its minimal N -point s -energy as $$\backslash mathcal\_s(A,\; N):=\backslash min\; E\_s(\backslash omega\_N),$$where the minimum is taken over all N -point subsets of A ; i.e., \omega _{N\subset} A . Configurations \omega _{N} that attain this infimum are called N -point s -equilibrium configurations.

Poppy-seed bagel theorem for bodies

We consider compact sets

A\subset R ^{p} with the Lebesgue measure λ (A)> 0 and s\geqslant p . For every N\geqslant 2 fix an N -point s -equilibrium configuration \omega ^{* = \{x} _{1 , N} , \ldots, x _{N,} \} . Set$$\backslash mu\_N:=\backslash frac\backslash sum\_\; \backslash delta\_,$$where \delta _{x} is a unit point mass at point x . Under these assumptions, in the sense of weak convergence of measures,$$\backslash mu\_N\; \backslash stackrel\; \backslash mu,$$where \mu is the Lebesgue measure restricted to A ; i.e., \mu(B) =λ (A \cap B)/ λ (A) .Furthermore, it is true that$$\backslash lim\_\; \backslash frac\; =\; \backslash frac,$$where the constant C _{s,p} does not depend on the set A and, therefore,$$C\_=\backslash lim\_\; \backslash frac,$$where [ 0 , 1 ] ^{p} is the unit cube in R ^{p} .

Poppy-seed bagel theorem for manifolds

A embedded in R ^{p} and denote its surface measure by \sigma . We assume \sigma(A)> 0 . Assume s\geqslant d As before, for every N\geqslant 2 fix an N -point s -equilibrium configuration \omega ^{* = \{x} _{1 , N} , \ldots, x _{N,} \} and set$$\backslash mu\_N:=\backslash frac\backslash sum\_\; \backslash delta\_.$$Then, in the sense of weak convergence of measures,$$\backslash mu\_N\; \backslash stackrel\; \backslash mu,$$where \mu(B) = \sigma(A \cap B)/\sigma(A) . If H ^{d} is the d -dimensional Hausdorff measure normalized so that H ^{d([0,1]} ^{d)=1} , then$$\backslash lim\_\; \backslash frac=2^s\; \backslash alpha\_d^\; \backslash cdot\; \backslash frac,$$where \alpha ^{d/ 2} _{d = \pi} /\Gamma( 1+ d/ 2 ) is the volume of a d-ball.

The constant C_s,p

For

p =1 , it is known that C _{s,1} =2 \zeta(s) , where \zeta(s) is the Riemann zeta function. Using a modular form approach to linear programming, Viazovska together with coauthors established in a 2022 paper that in dimensions p =8 and p =24 , the values of C _{s,p} , s>p , are given by the Epstein zeta function^[1] associated with the E _{8} lattice and Leech lattice, respectively.It is conjectured that for p =2 , the value of C _{s,p} is similarly determined as the value of the Epstein zeta function for the hexagonal lattice. Finally, in every dimension p\geq 1 it is known that when s = p , the scaling of l{E} _{s(A,} N) becomes N ^{2log} N rather than N ^{2=} N ^{1+s/p} , and the value of C _{s,p} can be computed explicitly as the volume of the unit p -dimensional ball:$$C\_\; =\; H^p(\backslash mathcal\; B^p)\; =\; \backslash frac.$$The following connection between the constant C _{s,p} and the problem of sphere packing is known:$$\backslash lim\_\; (C\_)^\; =\; \backslash frac\; \backslash left(\backslash frac\backslash right)^,$$where \alpha _{p} is the volume of a p-ball and $$\backslash Delta\_p\; =\; \backslash sup\; \backslash rho(\backslash mathcal),$$ where the supremum is taken over all families l{P} of non-overlapping unit balls such that the limit$$\backslash rho(\backslash mathcal)\; =\; \backslash lim\_\; \backslash frac$$exists.

See also

• Hausdorff dimension
• Geometric measure theory
• Sphere packing
• Riemann zeta function

Notes and References

1. Web site: Epstein zeta-function. Encyclopedia of Mathematics. EMS Press. June 17, 2023.