Abstract:We introduce a new class of algorithms for finding a short vector in lattices defined by codes of co-dimension $k$ over $\mathbb{Z}_P^d$, where $P$ is prime. The co-dimension $1$ case is solved by exploiting the packing properties of the projections mod $P$ of an initial set of non-lattice vectors onto a single dual codeword. The technical tools we introduce are sorting of the projections followed by single-step pairwise Euclidean reduction of the projections, resulting in monotonic convergence of the positive-valued projections to zero. The length of vectors grows by a geometric factor each iteration. For fixed $P$ and $d$, and large enough user-defined input sets, we show that it is possible to minimize the number of iterations, and thus the overall length expansion factor, to obtain a short lattice vector. Thus we obtain a novel approach for controlling the output length, which resolves an open problem posed by Noah Stephens-Davidowitz (the possibility of an approximation scheme for the shortest-vector problem (SVP) which does not reduce to near-exact SVP). In our approach, one may obtain short vectors even when the lattice dimension is quite large, e.g., 8000. For fixed $P$, the algorithm yields shorter vectors for larger $d$. We additionally present a number of extensions and generalizations of our fundamental co-dimension $1$ method. These include a method for obtaining many different lattice vectors by multiplying the dual codeword by an integer and then modding by $P$; a co-dimension $k$ generalization; a large input set generalization; and finally, a "block" generalization, which involves the replacement of pairwise (Euclidean) reduction by a $k$-party (non-Euclidean) reduction. The $k$-block generalization of our algorithm constitutes a class of polynomial-time algorithms indexed by $k\geq 2$, which yield successively improved approximations for the short vector problem.

Difficulties Constructing Lattices with Exponential Kissing Number from Codes

Lattices with exponentially large kissing numbers do exist

Lattices with exponentially large kissing numbers

New Constructions of Large Cyclic Subspace Codes and Sidon Spaces.

The kissing number in 48 dimensions for codes with certain forbidden distances is 52 416 000

A Constructive Bound on Kissing Numbers

A New Class of Algorithms for Finding Short Vectors in Lattices Lifted from Co-dimension $k$ Codes

New lower bounds on kissing numbers and spherical codes in high dimensions

Computer classification of linear codes based on lattice point enumeration and integer linear programming

SEARCHING FOR NEW MATTER PARTICLES AT FUTURE COLLIDERS

Towards Strong Reverse Minkowski-type Inequalities for Lattices

Functional Delsarte-Goethals-Seidel-Kabatianskii-Levenshtein-Pfender Bound

An Exponential Lower Bound for Linear 3-Query Locally Correctable Codes

On combinatorial structures in linear codes

Nonlinear Codes Exceeding the Gilbert-Varshamov and Tsfasman-Vlăduţ-Zink Bounds.

Diagonal Lattice Space–Time Codes from Number Fields and Asymptotic Bounds

Kissing Polytopes

Small kissing polytopes

Exponential Lower Bounds for Smooth 3-LCCs and Sharp Bounds for Designs

Connections Between Construction D and Related Constructions of Lattices

On the Existence of Cyclic Lattice Codes