A proof of a conjecture by Haviv, Lyubashevsky and Regev on the second moment of a lattice Voronoi cell (Q2301364)

Let \(\Lambda\) be an \(n\)-dimensonal lattice, \(R=\sup\limits_{x\in\mathbb{R}^n} dist(x,\Lambda)\) be its covering radius and \(P=\{x\in\mathbb{R}^n:||x||=\mathrm{dist}(x,\Lambda)\}\) be a Voronoi cell containing zeropoint. Then \[\int_P ||x||^2dx\geq \frac{1}{3}R^2|P|.\] This result was previously conjectured by \textit{I. Haviv} et al. [Discrete Comput. Geom. 41, No. 1, 162--176 (2009; Zbl 1163.68040)]. Also, it is shown that the equality holds if and only if \(P\) is a rectangular box.