  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} $. We study the multiple packing
problem for both bounded point sets whose points have norm at most $\sqrt{nP}$
for some constant $P>0$ and unbounded point sets whose points are allowed to be
anywhere in $ \mathbb{R}^n $. 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
various bounds on the largest possible density of a multiple packing in both
bounded and unbounded settings. A related notion called average-radius multiple
packing is also studied. Some of our lower bounds exactly pin down the
asymptotics of certain ensembles of average-radius list-decodable codes, e.g.,
(expurgated) Gaussian codes and (expurgated) spherical codes. In particular,
our lower bound obtained from spherical codes is the best known lower bound on
the optimal multiple packing density and is the first lower bound that
approaches the known large $L$ limit under the average-radius notion of
multiple packing. To derive these results, we apply tools from high-dimensional
geometry and large deviation theory.
