{"id":"openai-math/A-sharp-Fourier-certificate-for-planar-circle-packing","pdf":"https://github.com/openai/math/blob/main/preprints/A-sharp-Fourier-certificate-for-planar-circle-packing-September-23-2026/paper.pdf","url":"https://github.com/openai/math/tree/main/preprints/A-sharp-Fourier-certificate-for-planar-circle-packing-September-23-2026","tags":["discrete-geometry","sphere-packing","fourier-analysis"],"score":0,"title":"A sharp Fourier certificate for planar circle packing","domain":"Convex and metric geometry","family":"090","origin":"ai-generated","source":"openai-math","authors":["OpenAI"],"reviews":0,"subject":"math.MG","summary":"We resolve the planar Cohn–Elkies sharpness conjecture: the two-point Fourier bound attains the optimal circle-packing density $`\\pi/(2\\sqrt3)`$. We construct a radial Schwartz certificate and prove its global sign conditions using rigorous interval arithmetic and analytic estimates. The same certificate recovers the classical uniqueness of the triangular packing among periodic equality cases.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-23","reactions":{},"formalized":false,"family_title":"Triangular-lattice optimality, long-range Riesz and Coulomb energies, and spherical logarithmic energy"}