An Efficient Quantum Algorithm for a Variant of the Closest Lattice-Vector Problem
Abstract
The Systematic Normal Form (SysNF) is a canonical form of lattices introduced in [Eldar,Shor '16], in which the basis entries satisfy a certain co-primality condition. Using a "smooth" analysis of lattices by SysNF lattices we design a quantum algorithm that can efficiently solve the following variant of the bounded-distance-decoding problem: given a lattice L, a vector v, and numbers b = {\lambda}_1(L)/n^{17}, a = {\lambda}_1(L)/n^{13} decide if v's distance from L is in the range [a/2, a] or at most b, where {\lambda}_1(L) is the length of L's shortest non-zero vector. Improving these parameters to a = b = {\lambda}_1(L)/\sqrt{n} would invalidate one of the security assumptions of the Learning-with-Errors (LWE) cryptosystem against quantum attacks.
Cite
@article{arxiv.1611.06999,
title = {An Efficient Quantum Algorithm for a Variant of the Closest Lattice-Vector Problem},
author = {Lior Eldar and Peter W. Shor},
journal= {arXiv preprint arXiv:1611.06999},
year = {2016}
}
Comments
This paper has been withdrawn by the author due to an error in Fact 7: the concentration of measure of the n-dimensional sinc^2 function is not a probability of at least 1-n^{-3} for vectors of length at most n^2, but rather 1 - n^{-1.5} for vectors of length n^3