46 research outputs found
On the construction of dense lattices with a given automorphism group
We consider the problem of constructing dense lattices of R^n with a given
automorphism group. We exhibit a family of such lattices of density at least
cn/2^n, which matches, up to a multiplicative constant, the best known density
of a lattice packing. For an infinite sequence of dimensions n, we exhibit a
finite set of lattices that come with an automorphism group of size n, and a
constant proportion of which achieves the aforementioned lower bound on the
largest packing density. The algorithmic complexity for exhibiting a basis of
such a lattice is of order exp(nlogn), which improves upon previous theorems
that yield an equivalent lattice packing density. The method developed here
involves applying Leech and Sloane's construction A to a special class of codes
with a given automorphism group, namely the class of double circulant codes.Comment: 10 pages. Corrected typos and ambiguous definitio
Multiple Packing: Lower Bounds via Infinite Constellations
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 and . A multiple packing is a
set of points in such that any point in lies in the intersection of at most balls of radius around points in . 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 under a stronger notion called
average-radius multiple packing. To this end, we apply tools from
high-dimensional geometry and large deviation theory.Comment: The paper arXiv:2107.05161 has been split into three parts with new
results added and significant revision. This paper is one of the three parts.
The other two are arXiv:2211.04408 and arXiv:2211.0440
Quantum Stabilizer Codes, Lattices, and CFTs
There is a rich connection between classical error-correcting codes, Euclidean lattices, and chiral conformal field theories. Here we show that quantum error-correcting codes, those of the stabilizer type, are related to Lorentzian lattices and non-chiral CFTs. More specifically, real self-dual stabilizer codes can be associated with even self-dual Lorentzian lattices, and thus define Narain CFTs. We dub the resulting theories code CFTs and study their properties. T-duality transformations of a code CFT, at the level of the underlying code, reduce to code equivalences. By means of such equivalences, any stabilizer code can be reduced to a graph code. We can therefore represent code CFTs by graphs. We study code CFTs with small central charge c = n ≤ 12, and find many interesting examples. Among them is a non-chiral E8 theory, which is based on the root lattice of E8 understood as an even self-dual Lorentzian lattice. By analyzing all graphs with n ≤ 8 nodes we find many pairs and triples of physically distinct isospectral theories. We also construct numerous modular invariant functions satisfying all the basic properties expected of the CFT partition function, yet which are not partition functions of any known CFTs. We consider the ensemble average over all code theories, calculate the corresponding partition function, and discuss its possible holographic interpretation. The paper is written in a self-contained manner, and includes an extensive pedagogical introduction and many explicit examples
Cavity approach to sphere packing in Hamming space
In this paper we study the hard sphere packing problem in the Hamming space
by the cavity method. We show that both the replica symmetric and the replica
symmetry breaking approximations give maximum rates of packing that are
asymptotically the same as the lower bound of Gilbert and Varshamov.
Consistently with known numerical results, the replica symmetric equations also
suggest a crystalline solution, where for even diameters the spheres are more
likely to be found in one of the subspaces (even or odd) of the Hamming space.
These crystalline packings can be generated by a recursive algorithm which
finds maximum packings in an ultra-metric space. Finally, we design a message
passing algorithm based on the cavity equations to find dense packings of hard
spheres. Known maximum packings are reproduced efficiently in non trivial
ranges of dimensions and number of spheres.Comment: 23 pages, 11 figures; typos correcte
Multiple Packing: Lower and Upper Bounds
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 and . A multiple packing is a
set of points in such that any point in lies in the intersection of at most balls of radius around points in . We study the multiple packing
problem for both bounded point sets whose points have norm at most
for some constant and unbounded point sets whose points are allowed to be
anywhere in . 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 limit under the average-radius notion of
multiple packing. To derive these results, we apply tools from high-dimensional
geometry and large deviation theory.Comment: The paper arXiv:2107.05161 has been split into three parts with new
results added and significant revision. This paper is one of the three parts.
The other two are arXiv:2211.04408 and arXiv:2211.0440
From Random Matrix Theory to Coding Theory : Volume of a Metric Ball in Unitary Group
Volume estimates of metric balls in manifolds find diverse applications in information and coding theory. In this paper, new results for the volume of a metric ball in unitary group are derived via tools from random matrix theory. The first result is an integral representation of the exact volume, which involves a Toeplitz determinant of Bessel functions. A simple but accurate limiting volume formula is then obtained by invoking Szego's strong limit theorem for large Toeplitz matrices. The derived asymptotic volume formula enables analytical evaluation of some coding-theoretic bounds of unitary codes. In particular, the Gilbert-Varshamov lower bound and the Hamming upper bound on the cardinality as well as the resulting bounds on code rate and minimum distance are derived. Moreover, bounds on the scaling law of code rate are found. Finally, a closed-form bound on the diversity sum relevant to unitary space-time codes is obtained, which was only computed numerically in the literature.Peer reviewe