English

Faster Closest-Point Algorithms for the $E_6^*$ and $E_7^*$ Lattices

Information Theory 2026-07-12 v1

Abstract

The dual lattices E6E_6^* and E7E_7^* are of particular interest in source coding and data compression applications. Among all known lattices in dimensions six and seven they attain the smallest normalized second moments, i.e., the smallest average quantization error. Their use in practice requires fast closest-point (nearest-lattice-point) algorithms. The known approach, due to Conway and Sloane and completed for E6E_6 and E6E_6^* by Takizawa, Yagi, and Kawabata (TYK), decodes these lattices as unions of cosets of root lattices AnA_n: each coset is decoded separately, and the best result is kept. This requires four coset decodings for E7E_7^* and six for E6E_6^*, together with explicit distance computations. This paper shows that all these coset decodings can be collapsed into a single sweep. Reformulated in terms of glue vectors, the TYK decompositions state that E7E_7^* is the union of the even glue classes of A7A_7^*, and that E6E_6^* is a parity-matched sublattice of A1A5A_1^*\oplus A_5^*. The candidate chain constructed by the closest-point algorithm of McKilliam, Clarkson, and Quinn (MCQ) for AnA_n^* visits every glue class of AnA_n exactly once and is optimal within each class. Consequently, one sorted sweep per coordinate block yields the closest points of all glue cosets simultaneously, and E6E_6^* and E7E_7^* are decoded at roughly the cost of a single A5A_5^* or A7A_7^* quantization. Rough operation counts indicate a 44--6×6\times reduction for E6E_6^* and 33--4×4\times for E7E_7^* relative to coset-by-coset decoding. We also discuss further constant-factor improvements available from recent refinements of the AnA_n^* algorithms, and an open question concerning sort-free linear-time decoding.

Cite

@article{arxiv.2607.10885,
  title  = {Faster Closest-Point Algorithms for the $E_6^*$ and $E_7^*$ Lattices},
  author = {Yuriy A. Reznik},
  journal= {arXiv preprint arXiv:2607.10885},
  year   = {2026}
}