[논문 리뷰] Hardness of the (Approximate) Shortest Vector Problem: A Simple Proof via Reed-Solomon Codes

Huck Bennett, Chris Peikert|arXiv (Cornell University)|2022. 02. 15.

Cryptography and Data Security인용 수 2

한 줄 요약

이 논문은 Reed-Solomon 코드를 이용한 Construction A를 통해 국소적으로 조밀한 격자를 구축함으로써, 임의의 p ≥ 1 및 상수 γ < 2^{1/p}에 대해 ℓp 노름에서의 근사 최단벡터 문제(γ-GapSVPp)의 NP-난이도에 대한 간소화된 증명을 제시한다. 주요 기여는 이러한 격자의 코스에 대한 기본적인 점 수 계산 추론을 활용한 간결한 감소법으로, 랜덤화된 감소 하에 가장 잘 알려진 근사 인자에 도달한다.

ABSTRACT

$ ewcommand{\NP}{\mathsf{NP}} ewcommand{\GapSVP}{ extrm{GapSVP}}$We give a simple proof that the (approximate, decisional) Shortest Vector Problem is $\NP$-hard under a randomized reduction. Specifically, we show that for any $p \geq 1$ and any constant $γ&lt; 2^{1/p}$, the $γ$-approximate problem in the $\ell_p$ norm ($γ$-$\GapSVP_p$) is not in $\mathsf{RP}$ unless $\NP \subseteq \mathsf{RP}$. Our proof follows an approach pioneered by Ajtai (STOC 1998), and strengthened by Micciancio (FOCS 1998 and SICOMP 2000), for showing hardness of $γ$-$\GapSVP_p$ using locally dense lattices. We construct such lattices simply by applying "Construction A" to Reed-Solomon codes with suitable parameters, and prove their local density via an elementary argument originally used in the context of Craig lattices. As in all known $\NP$-hardness results for $\GapSVP_p$ with $p &lt; \infty$, our reduction uses randomness. Indeed, it is a notorious open problem to prove $\NP$-hardness via a deterministic reduction. To this end, we additionally discuss potential directions and associated challenges for derandomizing our reduction. In particular, we show that a close deterministic analogue of our local density construction would improve on the state-of-the-art explicit Reed-Solomon list-decoding lower bounds of Guruswami and Rudra (STOC 2005 and IEEE Trans. Inf. Theory 2006). As a related contribution of independent interest, we also give a polynomial-time algorithm for decoding $n$-dimensional "Construction A Reed-Solomon lattices" (with different parameters than those used in our hardness proof) to a distance within an $O(\sqrt{\log n})$ factor of Minkowski's bound. This asymptotically matches the best known distance for decoding near Minkowski's bound, due to Mook and Peikert (IEEE Trans. Inf. Theory 2022), whose work we build on with a somewhat simpler construction and analysis.

연구 동기 및 목표

• ℓp 노름에서의 근사 최단벡터 문제(γ-GapSVPp)의 NP-난이도 증명을 단순화하는 것.
• Reed-Solomon 코드를 이용한 Construction A를 통해 국소적으로 조밀한 격자를 구축함으로써, 이전 방법보다 더 깔끔한 분석을 가능하게 하는 것.
• 점 수 계산 함수의 부드러운 대체 함수를 탐색하여 결정론적 대안 경로를 제공함으로써 감소를 비랜덤화하고자 하는 것.
• Construction A를 이용한 Reed-Solomon 격자를 위한 디코딩 알고리즘을 향상시켜 Minkowski의 경계로부터 O(√log n) 이내의 거리에 도달하는 것.

제안 방법

• Reed-Solomon 코드 C ⊆ F_q^n에 Construction A를 적용하여 L = C + qZ^n을 통해 격자를 구축한다.
• Craig 격자에서 영감을 얻은 기본적인 점 수 계산 추론을 사용하여 이러한 격자의 국소 조밀성을 증명한다.
• 지수 합 Θ_p(τ) = ∑_{v∈x+L} exp(−τ‖v‖_p^p)를 사용하여 [MO90, EOR91]의 분석 기법을 적용하여 짧은 벡터의 수를 근사한다.
• ℓp 노름의 p제곱 모멘트와 벡터 수 사이의 관계를 맺기 위해 µ_p(τ) 및 Hp(τ,δ)를 포함하는 부등식을 통해 N_p(r; x+L)의 하한을 유도한다.
• ln Θ_p(τ)가 감소하고 볼록적이며 양의 이阶도 도함수를 가지는 함수로 행동함을 분석하여 분산 기반의 근사치를 도출한다.
• 점 수 계산의 부드러운 함수를 대체로 사용하여 결정론적 비랜덤화 가능성을 탐색하지만, 결정론적 코스에 대한 짧은 벡터의 명확한 하한은 확보되지 않았다.

실험 결과

연구 질문

• RQ1 이전의 국소적으로 조밀한 격자를 사용한 접근 방식보다 더 단순한 구성으로 γ-GapSVPp의 NP-난이도를 증명할 수 있는가?
• RQ2 Reed-Solomon 코드를 이용한 Construction A가 γ < 2^{1/p}에 대해 경직된 난이도를 확립할 수 있을 정도로 충분한 국소 조밀성을 갖춘 격자를 생성할 수 있는가?
• RQ3 랜덤화된 감소의 결정론적 동반자가 존재하는가? 만약 존재한다면, NP ⊆ P를 암시할 수 있으며, 그에 대한 장벽은 무엇인가?
• RQ4 Construction A를 이용한 Reed-Solomon 격자의 디코딩 거리를 Minkowski의 경계에 도달하거나 이를 근접하게 개선할 수 있는가?
• RQ5 [MO90, EOR91]의 분석 도구가 Reed-Solomon 기반 격자와 같이 정수 외의 격자에 적응되어 짧은 벡터의 수를 근사하는 데 사용될 수 있는가?

주요 결과

• 논문은 임의의 p ≥ 1 및 상수 γ < 2^{1/p}에 대해 γ-GapSVPp가 RP에 속하지 않음을 증명하며, 이는 [Mic98]에서 확보한 최고 수준의 난이도 결과와 일치한다.
• Reed-Solomon 코드와 Construction A를 통한 격자 구축은 이전 방법보다 더 단순하고 투명한 국소 조밀성 도달 경로를 제공한다.
• n차원 Construction A Reed-Solomon 격자에 대해 O(√log n)-근사 디코딩 알고리즘이 제시되며, 이는 [Mook-Peikert 2022]에서 확보한 최고 수준의 경계를 유지하지만 더 단순한 구성 방식을 사용한다.
• 분석 결과, 적절한 τ에 대해 식 (19), N_p(r) ≤ exp(τ r^p) · Θ_p(τ), 는 상당히 날카로운 근사치를 제공함을 시사하며, 지수 합이 짧은 벡터의 진정한 수를 지수적 요소 이내로 포괄하고 있음을 시사한다.
• 점 수 계산 함수의 부드러운 대체 함수를 통한 접근은 비랜덤화 가능성이 있으며, 잠재적으로 유망하지만 결정론적 코스에 대한 짧은 벡터의 명확한 하한은 아직 입증되지 않았다.
• 감소의 비랜덤화와 Reed-Solomon 코드의 명시적 리스트 디코딩 하한 향상 간 잠재적 연결 고리가 확인되었으며, 이는 복잡도 이론과 부호 이론 간 깊은 연관성을 시사한다.