We study the problem of high-dimensional multiple packing in Euclidean space. Multiple packing is a natural generalization of sphere packing and is defined as follows. Let N>0 and L\in\mathbb{Z}_{\ge2}. A multiple packing is a set \mathcal{C} of points in \mathbb{R}^n such that any point in \mathbb{R}^n lies in the intersection of at most L-1 balls of radius \sqrt{nN} around points in \mathcal{C}. Given a well-known connection with coding theory, multiple packings can be viewed as the Euclidean analog of list-decodable codes, which are well-studied for finite fields. In this paper, we derive the best known lower bounds on the optimal density of list-decodable infinite constellations for constant L under a stronger notion called average-radius multiple packing. To this end, we apply tools from high-dimensional geometry and large deviation theory.
Let N>0. Then for any \varepsilon>0,
There exist (N,L-1)-multiple packings of rate \frac{1}{2}\ln\frac{1}{2\pi eN} - \varepsilon for some L = {\mathcal O}\mleft(\frac{1}{\varepsilon}\ln\frac{1}{\varepsilon}\mright);
Any (N,L-1)-multiple packing of rate \frac{1}{2}\ln\frac{1}{2\pi eN} + \varepsilon must satisfy L = e^{\Omega(n\varepsilon)}.
Therefore, C_{\mathrm{LD}}(N) = \frac{1}{2}\ln\frac{1}{2\pi eN}.
For any N>0, \overline C_{\mathrm{LD}}(N) = \frac{1}{2}\ln\frac{1}{2\pi eN}.
Let {\mathcal U}\subset{\mathbb R}^n be an open set and \varphi\colon{\mathcal U}\to{\mathbb R}^n be an injective differentiable function with continuous partial derivatives, the Jacobian of which is nonzero for every {\underline x}\in{\mathcal U}. Then for any compactly supported, continuous function f \colon \varphi({\mathcal U})\to{\mathbb R}, the substitution {\underline v} = \varphi({\underline u}) yields the following formula
where \nabla\varphi\in{\mathbb R}^{n\times n} denotes the Jacobian matrix of \varphi.
Suppose f\colon{\mathbb R}^d\to{\mathbb R} is a twice continuously differentiable function on {\mathcal A}\subset{\mathbb R}^d, and there exists a unique point \vec t^*\in\operatorname{int}({\mathcal A}) (where \operatorname{int}(\cdot) denotes the interior of a set) such that
where \operatorname{Hess} f\in{\mathbb R}^{d\times d} denotes the Hessian matrix of f. Suppose g(\vec t) is positive. Then
Let \mleft\{{\mathbf x}_i\mright\}_{i = 1}^n be a sequence of i.i.d. real-valued random variables. Let {\mathbf s}_n \coloneq\frac{1}{n}\sum_{i = 1}^n{\mathbf x}_i. Then for any closed {\mathcal F}\subset{\mathbb R},
and for any open {\mathcal G}\subset{\mathbb R},
Furthermore, when {\mathcal F} or {\mathcal G} corresponds to the upper (resp. lower) tail of {\mathbf s}_n, the maximizer \lambda\ge0 (resp. \lambda\le0).
Let N>0 and L\in{\mathbb Z}_{\ge2}. A subset {\mathcal C} \subseteq {\mathbb R}^n is called a (N,L-1)-list-decodable code (a.k.a. an (N,L-1)-multiple packing) if for every {\underline y}\in{\mathbb R}^n,
The rate (a.k.a. density) of {\mathcal C} is defined as
where {\mathcal B} is an arbitrary centrally symmetric connected compact set in {\mathbb R}^n with nonempty interior.
Common choices of {\mathcal B} include the unit ball {\mathcal B}^n, the unit cube [-1,1]^n, the fundamental Voronoi region {\mathcal V}_\Lambda of a (full-rank) lattice \Lambda\subset{\mathbb R}^n, etc. Some choices of {\mathcal B} may be more convenient than the others for analyzing certain ensembles of packings. Therefore, we do not fix the choice of {\mathcal B} in Definition 1.
The rate of a packing (as per Definition 1) is also called the normalized logarithmic density in the literature. It measures the the normalized number of points per unit volume.
Let {\underline x}_1,\cdots,{\underline x}_L be L points in {\mathbb R}^n. Then the squared Chebyshev radius \operatorname{rad}^2({\underline x}_1,\cdots,{\underline x}_L) of {\underline x}_1,\cdots,{\underline x}_L is defined as the (squared) radius of the smallest ball containing {\underline x}_1,\cdots,{\underline x}_L, i.e.,
The average squared radius \overline\operatorname{rad}^2({\underline x}_1,\cdots,{\underline x}_L) of {\underline x}_1,\cdots,{\underline x}_L is defined as the average squared distance to the centroid, i.e.,
where {\underline x} \coloneqq \frac{1}{L}\sum_{i = 1}^L{\underline x}_i is the centroid of {\underline x}_1,\cdots,{\underline x}_L. We refer to the square root of the average squared radius as the average radius of the list.
One should note that for an L-list {\mathcal L} of points, the smallest ball containing {\mathcal L} is not necessarily the same as the circumscribed ball, i.e., the ball such that all points in {\mathcal L} live on the boundary of the ball. The circumscribed ball of the polytope \operatorname{conv}\mleft\{{\mathcal L}\mright\} spanned by the points in {\mathcal L} may not exist. If it does exist, it is not necessarily the smallest one containing {\mathcal L}. However, whenever it exists, the smallest ball containing {\mathcal L} must be the circumscribed ball of a certain subset of {\mathcal L}.
We remark that the motivation behind the definition of average squared radius (Definition 2) is to replace the maximization in Definition 2 with average.
Remark 4 holds since the inner summation \frac{1}{L}\sum_{i = 1}^L \mleft({\underline x}_i(j) - {\underline y}(j)\mright)^2 in Remark 4 only depends on y_j among all y_1,\cdots,y_n. Remark 4 follows since for each j, the minimizer of the minimization in Remark 4 is y_j^* \coloneqq \frac{1}{L}\sum_{i = 1}^L{\underline x}_i(j). In Remark 4, the minimizer {\underline y}^* equals {\underline x} \coloneqq \frac{1}{L}\sum_{i = 1}^L{\underline x}_i.
Given a code {\mathcal C}\subset{\mathbb R}^n of rate R, the squared (L-1)-list-decoding radius of {\mathcal C} is defined as
The (L-1)-average squared radius of {\mathcal C} is defined as
A subset {\mathcal C}\subset{\mathbb R}^n is called an (N,L-1)-average-radius list-decodable code (a.k.a. an (N,L-1)-average-radius multiple packing) if \overline\operatorname{rad}^2_L({\mathcal C})>nN. The rate (a.k.a. density) R({\mathcal C}) of {\mathcal C} is given by Definition 1. The (N,L-1)-average-radius list-decoding capacity (a.k.a. (N,L-1) average-radius multiple packing density) is defined as
The squared (L-1)-average-radius list-decoding radius at rate R (without input constraint) is defined as
Let N>0 and L\in{\mathbb Z}_{\ge2}. Let {\mathcal C}\subset{\mathbb R}^n be an (N,L-1)-multiple packing. Then \Delta({\mathcal C}) \stackrel{n\to\infty}{\asymp} R({\mathcal C}) + \frac{1}{2}\ln(2\pi eN).
Let L\in{\mathbb Z}_{\ge2} and {\underline x}_1,\cdots,{\underline x}_L\in{\mathbb R}^n. Then the squared Chebyshev radius of {\underline x}_1,\cdots,{\underline x}_L admits the following alternative representations:
\begin{aligned} \operatorname{rad}^2({\underline x}_1,\cdots,{\underline x}_L) &= \max_{{\vec z}\in\Delta_L} \sum_{i = 1}^L{\vec z}(i)\mleft\|{\underline x}_i - {\underline y}_{\vec z}\mright\|_{2}^2, \end{aligned} where {\underline y}_{\vec z} \coloneqq \sum_{i = 1}^L{\vec z}(i){\underline x}_i and \Delta_L denotes the probability simplex on [L];
\begin{aligned} \operatorname{rad}^2({\underline x}_1,\cdots,{\underline x}_L) &= \lim_{p\to\infty} \operatorname{rad}^{(p)}({\underline x}_1,\cdots,{\underline x}_L), \end{aligned} where
there exists a unique 1\le q\le\infty depending on {\underline x}_1,\cdots,{\underline x}_L such that
and {\underline x}\coloneqq\frac{1}{L}\sum_{i = 1}^L{\underline x}_i.
The average squared radius of {\underline x}_1,\cdots,{\underline x}_L admits the following alternative representations:
\begin{aligned} \overline\operatorname{rad}^2({\underline x}_1,\cdots,{\underline x}_L) &= \frac{1}{L}\sum_{i = 1}^L\mleft\|{\underline x}_i\mright\|_{2}^2 - \mleft\|{\underline x}\mright\|_{2}^2; \end{aligned}
\begin{aligned} \overline\operatorname{rad}^2({\underline x}_1,\cdots,{\underline x}_L) &= \frac{L-1}{L^2}\sum_{i = 1}^L\mleft\|{\underline x}_i\mright\|_{2}^2 - \frac{1}{L^2}\sum_{(i,j)\in[L]^2:i\ne j} \mleft\langle{\underline x}_i,{\underline x}_j\mright\rangle; \end{aligned}
\begin{aligned} \overline\operatorname{rad}^2({\underline x}_1,\cdots,{\underline x}_L) &= \frac{1}{2L^2}\sum_{(i,j)\in[L]^2:i\ne j} \mleft\|{\underline x}_i - {\underline x}_j\mright\|_{2}^2. \end{aligned}
For any N>0 and L\in{\mathbb Z}_{\ge2}, the (N,L-1)-average-radius list-decoding capacity is at least
Note that the above bound (Theorem 8) approaches \frac{1}{2}\ln\frac{1}{2\pi eN} as L\to\infty. The latter quantity is known to be the list-decoding capacity for asymptotically large L (see ?). On the extreme, when L=2, the above bound becomes \frac{1}{2}\ln\frac{1}{8\pi eN} which recovers the best known bound due to Minkowski [minkowski-sphere-pack].
There exists a finite codebook {\mathcal C}_K supported over {\mathcal A}, having minimum average squared radius at least \sqrt{nN} and density
For any {\underline{\mathbf{x}}}_1,\cdots,{\underline{\mathbf{x}}}_L drawn independently and uniformly at random from {\mathcal A}, we have
where the o(n) term is independent of K, and
The text on this page is from arXiv:2211.04407v2 by Yihan Zhang and Shashank Vatedka, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/2211/2211.04407.jsonl.