Pith. sign in

REVIEW 2 cited by

Optimality and uniqueness of the $D_4$ root system

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2404.18794 v2 pith:YJ3DNC6E submitted 2024-04-29 math.MG math.OC

David de Laat , Nando M. Leijenhorst , Willem H. H. de Muinck Keizer This is my paper · ORCID
classification math.MGmath.OC
keywords optimalkissingmathbbrootsystemboundcellcode
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
abstract

We prove that the $D_4$ root system (the set of vertices of the regular $24$-cell) is the unique optimal kissing configuration in $\mathbb R^4$, and is an optimal spherical code. For this, we use semidefinite programming to compute an exact optimal solution to the second level of the Lasserre hierarchy. We also improve the upper bound for the kissing number problem in $\mathbb R^6$ to $77$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Variations on five-dimensional sphere packings

    math.MG 2024-12 accept novelty 7.0 of 10

    New non-isometric kissing configurations are constructed in dimensions 5 and 9, and the uniform 5D packings containing the known kissing configurations are classified.

  2. The Augmented Mixing Method: Computing High-Accuracy Primal-Dual Solutions to Large-Scale SDPs via Column Updates

    math.OC 2025-07 conditional novelty 6.0 of 10

    The Augmented Mixing Method computes high-accuracy primal-dual solutions to large-scale SDPs via Burer-Monteiro factorization, inexact augmented Lagrangian, and block coordinate descent.

Pith tools