The sphere packing problem in dimension 24
From MaRDI portal
Publication:2358748
Abstract: Building on Viazovska's recent solution of the sphere packing problem in eight dimensions, we prove that the Leech lattice is the densest packing of congruent spheres in twenty-four dimensions and that it is the unique optimal periodic packing. In particular, we find an optimal auxiliary function for the linear programming bounds, which is an analogue of Viazovska's function for the eight-dimensional case.
The sphere packing problem is probably the most intriguing problem of discrete geometry. This problem is closely related to geometry, number theory and information theory (eg. optimal codes). Despite the numerous partial results in this field, up to 2016 the final solution was obtained only in dimensions 2 and 3. In [Ann. Math. (2) 185, No. 3, 991--1015 (2017; Zbl 1373.52025)], \textit{M. S. Viazovska} proposed a new breakthrough approach to sphere packing problem and proved that no packing of unit balls in Euclidean space \(\mathbb{R}^8\) has density greater than that of the \(E_8\)-lattice packing. Viazovska's idea was to use modular and quasimodular forms to construct radial eigenfunctions of Fourier transform in \(\mathbb{R}^8\) with eigenvalues \(\pm 1\) and to use some of their linear combination as auxiliary function in the Cohn-Elkies version of the linear programming bound. In this paper, the analogue of Viazovska's approach in the dimension 24 is presented. The main result states that the Leech lattice achieves the optimal sphere packing density in \(\mathbb{R}^{24}\), and it is the only periodic packing in \(\mathbb{R}^{24}\) with that density, up to scaling and isometries.
Recommendations
- A Conceptual Breakthrough in Sphere Packing
- A breakthrough in sphere packing: the search for magic functions
- Sharp sphere packings
- Dual linear programming bounds for sphere packing via modular forms
- scientific article; zbMATH DE number 7503192
- A note on Schwartz functions and modular forms
- The sphere packing problem in dimension 8
- Optimality and uniqueness of the Leech lattice among lattices
- scientific article; zbMATH DE number 2115093
- A new sphere packing in 20 dimensions
Cited in
(only showing first 100 items - show all)- New upper bounds on sphere packings. I
- The Gaussian core model in high dimensions
- Hyperuniform states of matter
- Wiener's problem for positive definite functions
- Globally optimized packings of non-uniform size spheres in \(\mathbb {R}^{d}\): a computational study
- Optimal lattice configurations for interacting spatially extended particles
- On percolation of two-dimensional hard disks
- A new sphere packing in 20 dimensions
- Lattices from abelian extensions and error-correcting codes
- Automorphisms of modular lattices
- Crystallization to the square lattice for a two-body potential
- Compact packings of space with two sizes of spheres
- Quantum stabilizer codes, lattices, and CFTs
- Perfect simulation of the hard disks model by partial rejection sampling
- Estimates of the asymptotic Nikolskii constants for spherical polynomials
- Compact packings of the plane with three sizes of discs
- On regularity and mass concentration phenomena for the sign uncertainty principle
- On minima of sum of theta functions and application to Mueller-Ho conjecture
- Almost impossible \(E_8\) and Leech lattices
- Universal optimality of the E₈ and Leech lattices and interpolation formulas
- Conway invariant Jacobi forms on the Leech lattice
- Continuum limits of discrete isoperimetric problems and Wulff shapes in lattices and quasicrystal tilings
- Fourier uniqueness pairs of powers of integers
- Dual bounds for the positive definite functions approach to mutually unbiased bases
- Complete positivity and distance-avoiding sets
- Saturated configuration and new large construction of equiangular lines
- A note on Schwartz functions and modular forms
- On the existence of an extremal function in the Delsarte extremal problem
- Extremal determinants of Laplace-Beltrami operators for rectangular tori
- Effect of periodic arrays of defects on lattice energy minimizers
- Asymptotic optimality of the triangular lattice for a class of optimal location problems
- Locally optimal 2-periodic sphere packings
- Optimal and non-optimal lattices for non-completely monotone interaction potentials
- Pair correlation estimates for the zeros of the zeta function via semidefinite programming
- Sphere packing and quantum gravity
- Exponential improvements for superball packing upper bounds
- A crossing-symmetric OPE inversion formula
- An optimal uncertainty principle in twelve dimensions via modular forms
- The theta number of simplicial complexes
- An extremal property of the hexagonal lattice
- The Cartan-Hadamard conjecture and the little prince
- Fourier optimization and prime gaps
- The sphere packing problem in dimension 8
- New upper bounds for the density of translative packings of three-dimensional convex bodies with tetrahedral symmetry
- Fourier interpolation on the real line
- Typical ground states for large sets of interactions
- High-dimensional sphere packing and the modular bootstrap
- A Conceptual Breakthrough in Sphere Packing
- A breakthrough in sphere packing: the search for magic functions
- Asymptotic linear programming lower bounds for the energy of minimizing Riesz and Gauss configurations
- The local optimality of the double lattice packing
- Sergiy and the MPIM
- Coloring the Voronoi tessellation of lattices
- A spectral approach for the design of experiments: design, analysis and algorithms
- New p-dimensional lattices from cyclic extensions
- On the hard sphere model and sphere packings in high dimensions
- Efficient approximations for the online dispersion problem
- scientific article; zbMATH DE number 2115093 (Why is no real title available?)
- Eigenfunctions of the Fourier transform with specified zeros
- Theta functions and optimal lattices for a grid cells model
- Asymptotic bounds for spherical codes
- On integral estimates of nonnegative positive definite functions
- Metrically homogeneous graphs of diameter \(3\)
- Perfect simulation of the hard disks model by partial rejection sampling
- Dual linear programming bounds for sphere packing via modular forms
- Bounds for zeta and primes via Fourier analysis
- scientific article; zbMATH DE number 7503192 (Why is no real title available?)
- A computer approach to determine the densest translative tetrahedron packings
- Lattice-packing by spheres and eutactic forms
- Kissing numbers of closed hyperbolic manifolds
- Some extremal problems of harmonic analysis and approximation theory
- Crystallization for Coulomb and Riesz interactions as a consequence of the Cohn-Kumar conjecture
- Sharp sphere packings
- Uncertainty principles for eventually constant sign bandlimited functions
- Quasimodular forms as solutions of modular differential equations
- Fourier interpolation from spheres
- On the optimality of the rock-salt structure among lattices with charge distributions
- The Delsarte extremal problem for the Jacobi transform
- Symplectic embedding problems, old and new
- A combinatorial approach to small ball inequalities for sums and differences
- Bounds for several-disk packings of hyperbolic surfaces
- Turán, Fejér and Bohman extremal problems for the multivariate Fourier transform in terms of the eigenfunctions of a Sturm-Liouville problem
- Varieties of mathematical understanding
- Bootstrapping boundaries and branes
- Flat Tori with Large Laplacian Eigenvalues in Dimensions up to Eight
- Unique optima of the Delsarte linear program
- Minimal Riesz energy on balanced fractal sets
- Generalized sign Fourier uncertainty
- The BCC Lattice in a Long-Range Interaction System
- Three‐dimensional lattice ground states for Riesz and Lennard‐Jones–type energies
- Cohn-Elkies functions from Gabor frames
- The work of Maryna Viazovska
- Six-dimensional sphere packing and linear programming
- Mathematics and the formal turn
- From sphere packing to Fourier interpolation
- Perturbed interpolation formulae and applications
- Narain CFTs and quantum codes at higher genus
- Conic linear optimization for computer-assisted proofs. Abstracts from the workshop held April 10--16, 2022
- Maximum gaps in one-dimensional hard-core models
- Averaging over codes and an SU(2) modular bootstrap
This page was built for publication: The sphere packing problem in dimension \(24\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2358748)
