The Voronoi Spherical CDF for Lattices and Linear Codes: New Bounds for Quantization and Coding
Author:
- 2 March 2026
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Information Theory
- Vol. 72 (5) , 2931-2948
Abstract
For a lattice/linear code, we define the Voronoi spherical cumulative density function (CDF) as the CDF of the $\ell _{2}$ -norm/Hamming weight of a random vector uniformly distributed over the Voronoi cell. Using the first moment method together with a simple application of Jensen’s inequality, we develop lower bounds on the expected Voronoi spherical CDF of a random lattice/linear code. Our bounds are valid for any finite dimension and are quite close to a ball-based lower bound. They immediately translate to new non-asymptotic upper bounds on the normalized second moment and the error probability of a random lattice over the additive white Gaussian noise channel, as well as new non-asymptotic upper bounds on the Hamming distortion and the error probability of a random linear code over the binary symmetric channel. In particular, we show that for most lattices in $\mathbb {R}^{n}$ the second moment is greater than that of a Euclidean ball with the same covolume only by a $\left ({{1+O\left ({{\frac {1}{n}}}\right)}}\right)$ multiplicative factor. Similarly, for most linear codes in $\mathbb {F}_{2}^{n}$ the expected Hamming distortion is greater than that of a corresponding Hamming ball only by an additive universal constant.Keywords
All Related Versions
Funding Information
- under (ISF 1641/21)
- under (ISF 2878/25)
This publication has 70 references indexed in Scilit:
- Bounds on the density of smooth lattice coveringsJournal d'Analyse Mathématique, 2025
- New bounds on the density of lattice coveringsJournal of the American Mathematical Society, 2021
- Lattice Coding for Signals and Networks2014
- Un lemme matriciel effectifMathematische Zeitschrift, 2012
- A Note on the Distribution of the Distance from a LatticeDiscrete & Computational Geometry, 2008
- Elements of Information Theory2001
- Sphere Packings, Lattices and Groups1999
- Information Theory and Reliable Communication1972
- The Leech lattice as a code for the Gaussian channelInformation and Control, 1971
- Sur la représentation d'une population infinie par un nombre fini d'élémentsActa Mathematica Hungarica, 1959