{"id":"arxiv/2609.23210","url":"https://arxiv.org/abs/2609.23210","tags":["math.MG","math.CO"],"score":0,"title":"The lattice covering density of the regular octahedron","domain":"math.MG","source":"arxiv","authors":["Yanlu Lian","Fei Xue"],"reviews":0,"subject":"math.MG","summary":"We prove that the lattice covering density of the regular octahedron is $9/8$, settling a conjecture of Dougherty and Faber.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-19","reactions":{}}