Abstract:We propose a recursive lattice reduction framework for finding short non-zero vectors or dense sublattices of a lattice. The framework works by recursively searching for dense sublattices of dense sublattices (or their duals) with progressively lower rank. When the procedure encounters a recursive call on a lattice $L$ with relatively low rank, we simply use a known algorithm to find a shortest non-zero vector in $L$. This new framework is complementary to basis reduction algorithms, which similarly work to reduce an $n$-dimensional lattice problem with some approximation factor $\gamma$ to a lower-dimensional exact lattice problem in some lower dimension $k$, with a tradeoff between $\gamma$, $n$, and $k$. Our framework provides an alternative and arguably simpler perspective. For example, our algorithms can be described at a high level without explicitly referencing any specific basis of the lattice, the Gram-Schmidt orthogonalization, or even projection (though, of course, concrete implementations of algorithms in this framework will likely make use of such things). We present a number of instantiations of our framework. Our main concrete result is an efficient reduction that matches the tradeoff achieved by the best-known basis reduction algorithms. This reduction also can be used to find dense sublattices with any rank $\ell$ satisfying $\min\{\ell,n-\ell\} \leq n-k+1$, using only an oracle for SVP in $k$ dimensions, with slightly better parameters than what was known using basis reduction. We also show a simple reduction with the same tradeoff for finding short vectors in quasipolynomial time, and a reduction from finding dense sublattices of a high-dimensional lattice to this problem in lower dimension. Finally, we present an automated search procedure that finds algorithms in this framework that (provably) achieve better approximations with fewer oracle calls.

Function Reconstruction Using Rank-1 Lattices and Lower Sets

A fast probabilistic component-by-component construction of exactly integrating rank-1 lattices and applications

On the reconstruction of functions from values at subsampled quadrature points

On the optimal rank-1 approximation of matrices in the Chebyshev norm

Reconstruction of rational functions made simple

Low-Rank Kernel Matrix Approximation Using Skeletonized Interpolation With Endo- or Exo-Vertices

Exact discretization, tight frames and recovery via D-optimal designs

Recursive lattice reduction -- A framework for finding short lattice vectors

A NONCONVEX ALGORITHM FOR SIMULTANEOUSLY SPARSE AND LOW-RANK MATRIX RECONSTRUCTION

Exploring Algorithmic Limits of Matrix Rank Minimization under Affine Constraints

Analytic Functions in a Complete Reinhardt Domain Having Bounded L-Index in Joint Variables

Constructing good higher order polynomial lattice rules with modulus of reduced degree

Bravais Lattices for Euclidean Degree Efficient Polynomial Interpolation

Learning-Based Low-Rank Approximations

RIP-based Performance Guarantee for Low Rank Matrix Recovery via $L_{*-F}$ Minimization

Optimal low rank tensor recovery

A Nonconvex Method to Low-Rank Matrix Completion

Enhanced Image Approximation Using Shifted Rank-1 Reconstruction

Remarks on the Rank of Hermite–Birkhoff Interpolation

Exact Recovery Low-Rank Matrix Via Transformed Affine Matrix Rank Minimization

An AI-aided algorithm for multivariate polynomial reconstruction on Cartesian grids and the PLG finite difference method