Cover Image

Progress in Formalizing Sphere Packing in Dimension 8

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hariharan, Sidharth, Birkbeck, Christopher, Lee, Seewoo, Ma, Ho Kiu Gareth, Mehta, Bhavik, Poiroux, Auguste, Viazovska, Maryna
Format:	Preprint
Published:	2026
Subjects:	Metric Geometry Artificial Intelligence Logic in Computer Science Number Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Stereographic compactification and affine bi-Lipschitz homeomorphisms
by: Grandjean, Vincent, et al.
Published: (2023)

Partitions of $\mathbb{R}^3$ into unit circles with no well-ordering of the reals
by: Fatalini, Azul
Published: (2025)

Embedding Borel graphs into grids of asymptotically optimal dimension
by: Bernshteyn, Anton, et al.
Published: (2024)

Large-scale geometry of Borel graphs of polynomial growth
by: Bernshteyn, Anton, et al.
Published: (2023)

New Sphere Packings from the Antipode Construction
by: Chen, Ruitao, et al.
Published: (2025)

Fractal dimensions and profinite groups
by: Mayordomo, Elvira, et al.
Published: (2025)

Topological Erdős similarity conjecture and strong measure zero sets
by: Jung, Yeonwook, et al.
Published: (2024)

Distinct Distances on Pfaffian Curves
by: Natarajan, Abhiram, et al.
Published: (2025)

Orbit pseudometrics and a universality property of the Gromov-Hausdorff distance
by: Kurka, Ondřej
Published: (2022)

A New Linear Programming Method in Sphere Packing
by: Mo, Qun, et al.
Published: (2024)

Critical modular lattices in the Gaussian core model
by: Joharian, Arian, et al.
Published: (2025)

Some Mathematical Problems Behind Lattice-Based Cryptography
by: Zong, Chuanming
Published: (2025)

A unified approach to mass transference principle and large intersection property
by: He, Yubin
Published: (2024)

A lower bound for Heilbronn's triangle-problem
by: Ellmann, Gabor
Published: (2017)

Fibonacci numbers and a metric on coprime pairs
by: Kimura, Mitsuaki
Published: (2026)

Sphere Packings in Euclidean Space with Forbidden Distances
by: Gonçalves, Felipe, et al.
Published: (2023)

Six-dimensional sphere packing and linear programming
by: de Courcy-Ireland, Matthew, et al.
Published: (2022)

Formalizing the Classical Isoperimetric Inequality in the Two-Dimensional Case
by: Samarakkody, Miraj
Published: (2026)

Lattice packing of spheres in high dimensions using a stochastically evolving ellipsoid
by: Klartag, Boaz
Published: (2025)

The integer point transform as a complete invariant
by: Robins, Sinai
Published: (2023)

On a Conjecture on Sharygin Triangles
by: Osipov, Nikolay
Published: (2024)

An explicit lower bound for the unit distance problem
by: Sawin, Will
Published: (2026)

On integer distance sets
by: Greenfeld, Rachel, et al.
Published: (2024)

The Lonely Runner Conjecture turns 60
by: Perarnau, Guillem, et al.
Published: (2024)

Prime and polynomial distances in colourings of the plane
by: Davies, James, et al.
Published: (2023)

The prime grid contains arbitrarily large empty polygons
by: Dillon, Travis
Published: (2024)

Poisson approximation of random lattices
by: Klartag, Boaz
Published: (2026)

Deep lattice points in zonotopes, lonely runners, and lonely rabbits
by: Beck, Matthias, et al.
Published: (2023)

On smoothness, tangent cones, and the metric geometry of definable sets
by: Rocha, André Gadelha, et al.
Published: (2025)

Fractional Divisibility of Spheres with Partially Generic Sets of Rotations
by: Grebík, Jan, et al.
Published: (2025)

$n^2 + 1$ unit equilateral triangles cannot cover an equilateral triangle of side $> n$ if all triangles have parallel sides
by: Baek, Jineon, et al.
Published: (2023)

How many sprays cover the space?
by: Andretta, Alessandro, et al.
Published: (2024)

Weighted approximation for limsup sets
by: Robert, Gerardo González, et al.
Published: (2023)

Computing intrinsic volumes of sublevel sets and applications
by: Lê, Trí Minh, et al.
Published: (2025)

Hausdorff dimension of double base expansions and binary shifts with a hole
by: Lu, Jian, et al.
Published: (2025)

Precise Asymptotics and Exact Formulas for Tensor Product Energies of Fibonacci Lattices
by: Haase, Melia, et al.
Published: (2026)

A note on limsup sets of annuli
by: Hussain, Mumtaz, et al.
Published: (2025)

Difficulties Constructing Lattices with Exponential Kissing Number from Codes
by: Bennett, Huck, et al.
Published: (2024)

Approximation by uniformly distributed sequences
by: Robert, Gerardo González, et al.
Published: (2025)

Slow polynomial mixing, dynamical Borel-Cantelli lemma and Hausdorff dimension of dynamical diophantine sets
by: Daviaud, Edouard
Published: (2025)