Limits on the Hardness of Lattice Problems in ℓ p Norms.

Uloženo v:
Podrobná bibliografie
Název: Limits on the Hardness of Lattice Problems in ℓ p Norms.
Autoři: Chris Peikert
Zdroj: Computational Complexity; May2008, Vol. 17 Issue 2, p300-351, 52p
Témata: GAUSSIAN distribution, DISTRIBUTION (Probability theory), CHARACTERISTIC functions, PROPERTIES of matter
Abstrakt: Abstract.  Several recent papers have established limits on the computational difficulty of lattice problems, focusing primarily on the ℓ 2 (Euclidean) norm. We demonstrate close analogues of these results in ℓ p norms, for every 2 p ≤ ∞. In particular, for lattices of dimension n: •  Approximating the closest vector problem, the shortest vector problem, and other related problems to within $$O(\sqrt{n})$$ factors (or $$O(\sqrt{n \log n})$$ factors, for p = ∞) is in coNP. •  Approximating the closest vector and bounded distance decoding problems with preprocessing to within $$O(\sqrt{n})$$ factors can be accomplished in deterministic polynomial time. •  Approximating several problems (such as the shortest independent vectors problem) to within Õ(n) factors in the worst case reduces to solving the average-case problems defined in prior works (Ajtai 2004; Micciancio & Regev 2007; Regev 2005). Our results improve prior approximation factors for ℓ p norms by up to $$\sqrt{n}$$ factors. Taken all together, they complement recent reductions from the ℓ 2 norm to ℓ p norms (Regev & Rosen 2006), and provide some evidence that lattice problems in ℓ p norms (for p > 2) may not be substantially harder than they are in the ℓ 2 norm. One of our main technical contributions is a very general analysis of Gaussian distributions over lattices, which may be of independent interest. Our proofs employ analytical techniques of Banaszczyk that, to our knowledge, have yet to be exploited in computer science. [ABSTRACT FROM AUTHOR]
Copyright of Computational Complexity is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Databáze: Complementary Index
Popis
Abstrakt:Abstract.  Several recent papers have established limits on the computational difficulty of lattice problems, focusing primarily on the ℓ 2 (Euclidean) norm. We demonstrate close analogues of these results in ℓ p norms, for every 2 p ≤ ∞. In particular, for lattices of dimension n: •  Approximating the closest vector problem, the shortest vector problem, and other related problems to within $$O(\sqrt{n})$$ factors (or $$O(\sqrt{n \log n})$$ factors, for p = ∞) is in coNP. •  Approximating the closest vector and bounded distance decoding problems with preprocessing to within $$O(\sqrt{n})$$ factors can be accomplished in deterministic polynomial time. •  Approximating several problems (such as the shortest independent vectors problem) to within Õ(n) factors in the worst case reduces to solving the average-case problems defined in prior works (Ajtai 2004; Micciancio & Regev 2007; Regev 2005). Our results improve prior approximation factors for ℓ p norms by up to $$\sqrt{n}$$ factors. Taken all together, they complement recent reductions from the ℓ 2 norm to ℓ p norms (Regev & Rosen 2006), and provide some evidence that lattice problems in ℓ p norms (for p > 2) may not be substantially harder than they are in the ℓ 2 norm. One of our main technical contributions is a very general analysis of Gaussian distributions over lattices, which may be of independent interest. Our proofs employ analytical techniques of Banaszczyk that, to our knowledge, have yet to be exploited in computer science. [ABSTRACT FROM AUTHOR]
ISSN:10163328
DOI:10.1007/s00037-008-0251-3