Dimension-Preserving Reductions Between SVP and CVP in Different p-Norms

04/14/2021
by   Divesh Aggarwal, et al.
0

We show a number of reductions between the Shortest Vector Problem and the Closest Vector Problem over lattices in different ℓ_p norms (_p and _p respectively). Specifically, we present the following 2^ m-time reductions for 1 ≤ p ≤ q ≤∞, which all increase the rank n and dimension m of the input lattice by at most one: ∙ a reduction from O(1/^1/p)γ-approximate _q to γ-approximate _p; ∙ a reduction from O(1/^1/p) γ-approximate _p to γ-approximate _q; and ∙ a reduction from O(1/^1+1/p)-_q to (1+)-unique _p (which in turn trivially reduces to (1+)-approximate _p). The last reduction is interesting even in the case p = q. In particular, this special case subsumes much prior work adapting 2^O(m)-time _p algorithms to solve O(1)-approximate _p. In the (important) special case when p = q, 1 ≤ p ≤ 2, and the _p oracle is exact, we show a stronger reduction, from O(1/^1/p)-_p to (exact) _p in 2^ m time. For example, taking = log m/m and p = 2 gives a slight improvement over Kannan's celebrated polynomial-time reduction from √(m)-_2 to _2. We also note that the last two reductions can be combined to give a reduction from approximate-_p to _q for any p and q, regardless of whether p ≤ q or p > q. Our techniques combine those from the recent breakthrough work of Eisenbrand and Venzin (which showed how to adapt the current fastest known algorithm for these problems in the ℓ_2 norm to all ℓ_p norms) together with sparsification-based techniques.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/21/2022

Lattice Problems Beyond Polynomial Time

We study the complexity of lattice problems in a world where algorithms,...
research
11/08/2022

Why we couldn't prove SETH hardness of the Closest Vector Problem for even norms, and of the Subset Sum Problem!

Recent work [BGS17,ABGS19] has shown SETH hardness of some constant fact...
research
06/10/2020

The nearest-colattice algorithm

In this work, we exhibit a hierarchy of polynomial time algorithms solvi...
research
07/10/2018

Effects of Some Lattice Reductions on the Success Probability of the Zero-Forcing Decoder

Zero-forcing (ZF) decoder is a commonly used approximation solution of t...
research
01/27/2023

Exact linear reductions of dynamical models

Dynamical models described by ordinary differential equations (ODEs) are...
research
10/06/2020

On Simplifying Dependent Polyhedral Reductions

Reductions combine collections of input values with an associative (and ...
research
07/22/2020

Simplifying Multiple-Statement Reductions with the Polyhedral Model

A Reduction – an accumulation over a set of values, using an associative...

Please sign up or login with your details

Forgot password? Click here to reset