Indexed metadata

The lattice covering density of the regular octahedron

Yanlu Lian, Fei Xue

Source record

Source: arXiv

Published: Sep 19, 2026

arXiv: 2609.23210

Open original source ↗

Source abstract

We prove that the lattice covering density of the regular octahedron is 9/89/8, settling a conjecture of Dougherty and Faber.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.

The lattice covering density of the regular octahedron — Mathematical Frontier Network