Improved Hardness of BDD and SVP Under Gap-(S)ETH

09/09/2021
by   Huck Bennett, et al.
0

We show improved fine-grained hardness of two key lattice problems in the ℓ_p norm: Bounded Distance Decoding to within an α factor of the minimum distance (BDD_p, α) and the (decisional) γ-approximate Shortest Vector Problem (SVP_p,γ), assuming variants of the Gap (Strong) Exponential Time Hypothesis (Gap-(S)ETH). Specifically, we show: 1. For all p ∈ [1, ∞), there is no 2^o(n)-time algorithm for BDD_p, α for any constant α > α_𝗄𝗇, where α_𝗄𝗇 = 2^-c_𝗄𝗇 < 0.98491 and c_𝗄𝗇 is the ℓ_2 kissing-number constant, unless non-uniform Gap-ETH is false. 2. For all p ∈ [1, ∞), there is no 2^o(n)-time algorithm for BDD_p, α for any constant α > α^_p, where α^_p is explicit and satisfies α^_p = 1 for 1 ≤ p ≤ 2, α^_p < 1 for all p > 2, and α^_p → 1/2 as p →∞, unless randomized Gap-ETH is false. 3. For all p ∈ [1, ∞) ∖ 2 ℤ and all C > 1, there is no 2^n/C-time algorithm for BDD_p, α for any constant α > α^†_p, C, where α^†_p, C is explicit and satisfies α^†_p, C→ 1 as C →∞ for any fixed p ∈ [1, ∞), unless non-uniform Gap-SETH is false. 4. For all p > p_0 ≈ 2.1397, p ∉ 2ℤ, and all C > C_p, there is no 2^n/C-time algorithm for SVP_p, γ for some constant γ > 1, where C_p > 1 is explicit and satisfies C_p → 1 as p →∞, unless randomized Gap-SETH is false.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/04/2017

(Gap/S)ETH Hardness of SVP

We prove the following quantitative hardness results for the Shortest ...
research
03/17/2020

Hardness of Bounded Distance Decoding on Lattices in ℓ_p Norms

Bounded Distance Decoding _p,α is the problem of decoding a lattice when...
research
05/24/2020

A Note on the Concrete Hardness of the Shortest Independent Vectors Problem in Lattices

Blömer and Seifert showed that 𝖲𝖨𝖵𝖯_2 is NP-hard to approximate by givin...
research
11/06/2019

Fine-grained hardness of CVP(P)— Everything that we can prove (and nothing else)

We show that the Closest Vector Problem in the ℓ_p norm (CVP_p) cannot b...
research
02/15/2022

Hardness of the (Approximate) Shortest Vector Problem: A Simple Proof via Reed-Solomon Codes

We give a simple proof that the (approximate, decisional) Shortest Vecto...
research
04/16/2012

Hardness Results for Approximate Pure Horn CNF Formulae Minimization

We study the hardness of approximation of clause minimum and literal min...
research
05/09/2023

Scheme-Theoretic Approach to Computational Complexity. IV. A New Perspective on Hardness of Approximation

We provide a new approach for establishing hardness of approximation res...

Please sign up or login with your details

Forgot password? Click here to reset