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.

A Unified Framework of Array Codes Based on Vector Linear Network Coding.

New Systematic MDS Array Codes with Two Parities

New Construction of (k + R,k) Systematic MDS Array Codes with R ≤ 4.

Circular-shift Linear Network Codes with Arbitrary Odd Block Lengths.

A Unified Form of EVENODD and RDP Codes and Their Efficient Decoding

F-Code: An Optimized Mds Array Code

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

New Constructions of MDS Array Codes and Optimal Locally Repairable Array Codes

New EVENODD+ Codes with More Flexible Parameters and Lower Complexity

A New Class of Linear Codes

On the Linear Codes with (r, Δ)-Locality for Distributed Storage.

Variant Codes Based on A Special Polynomial Ring and Their Fast Computations

Achieving Arbitrary Locality and Availability in Binary Codes

Binary MDS Array Codes with Flexible Array Dimensions and Their Fast Encoding.

New constant dimension subspace codes from improved parallel subcode construction

Complex Orthogonal Designs With Forbidden 2 X 2 Submatrices

A Family of Low-Complexity Binary Codes with Constant Hamming Weights

Complex Orthogonal Designs with Forbidden $2 \times 2$ Submatrices

Novel Constructions of Complex Orthogonal Designs for Space-Time Block Codes

Linearized Reed-Solomon Codes with Support-Constrained Generator Matrix and Applications in Multi-Source Network Coding

Linear Network Code for Erasure Broadcast Channel with Feedback: Complexity and Algorithms