The poppy-seed bagel theorem, in potential theory, concerns large numbers of mutually repelling particles confined to a bounded surface or body, where the repulsion between two particles falls off as a power of the distance between them governed by a parameter s. The theorem states that once s is at least as large as the dimension of the set the particles are confined to, the particles' equilibrium configuration becomes nearly uniformly distributed across the set as their number grows, the same conclusion that would place poppy seeds uniformly across a two-dimensional bagel surface if the seeds obeyed at least an inverse-square repulsion. Applications of the underlying mathematics include Coulomb's law in electrostatics, Riesz potential theory, and the generalized Thomson problem of arranging repelling points on a sphere; in 2022 the mathematician Maryna Viazovska and coauthors used modular forms and linear programming to determine the exact constants involved in dimensions 8 and 24, the dimensions of the E8 and Leech lattices.
Facts
StatementFor a large class of bounded sets, when particles confined to the set repel each other with a force proportional to the inverse of their distance raised to a power s, their minimum-energy equilibrium configurations become nearly uniformly distributed over the set as the number of particles grows, provided s is at least the dimension of the set. 1 Classification
Statement Form Connections
Has Statement Form
Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.
Sources
1. Poppy-seed bagel theorem, Wikipedia
Lede section, final sentenceQuote, Lede section, final sentence
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.
View the Source Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.