The lattice covering density of the regular octahedron

Yanlu Lian, Fei Xue

Published: 2026-09-19 | Updated: 2026-09-22

Comments: 31 pages, 1 figure

Note:

Publication:

math.CO math.MG

lattice

# BIB PDF ARXIV

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

arXiv++ Combinatorics