근사 CVP와 MaxCut의 고전 양자 미세 복잡도

초록

이 논문은 gap Max‑2‑Lin(2)를 γ‑CVPₚ(γ=O(1), p≥1) 로 선형 크기의 감소시키는 방법을 제시하고, 이를 통해 γ‑CVP의 지수 시간 필요성을 증명한다. 또한 (1‑ε,1‑ς)‑gap Max‑2‑Lin(2) 에 대한 새로운 고전 및 양자 알고리즘을 제시하고, QSETH 기반 하드니스 증명에 비적응 양자 감소가 불가능함을 보인다.

상세 분석

본 연구는 세 가지 핵심 기여를 통해 근사 격자 문제와 전형적인 CSP인 Max‑2‑Lin(2) 사이의 미세 복잡도 관계를 명확히 한다. 첫째, 저자들은 gap Max‑2‑Lin(2) (즉, (1‑ε,1‑ς)‑gap Max‑Cut)의 인스턴스를 입력 변수 수 n 에 대해 정확히 n개의 기저 벡터만을 사용하는 γ‑CVPₚ 인스턴스로 변환하는 선형‑크기 감소를 설계한다. 이 감소는 γ = p^{ς/ε} 로, ε와 ς의 비율에 따라 γ를 임의로 크게 만들 수 있어 기존의 γ<3 제한을 완전히 뛰어넘는다. 선형‑시간(고전 및 양자)으로 수행되는 이 감소는 “하나의 보조 벡터당 변수”라는 제한을 만족하므로, γ‑CVPₚ의 시간 복잡도 T_{CVP,γ}(n) 와 Max‑2‑Lin(2)의 시간 복잡도 T_{Max‑2‑Lin}(n) 사이에 강력한 등가 관계 T_{Max‑2‑Lin}(n) ≤ T_{CVP,γ}(n) 를 부여한다.

둘째, 이 관계를 이용해 두 가지 새로운 알고리즘을 제시한다. 고전 알고리즘은 O(2^{(1/2+ε/(4ς)+o(1))n}) 시간에 (1‑ε,1‑ς)‑gap Max‑2‑Lin(2)를 해결하며, 이는 Williams(2004)와 Arora‑Barak‑Steurer(2015) 등 기존 최첨단 알고리즘보다 전반적으로 빠르다. 양자 알고리즘은 Grover 탐색을 초과하는 O(2^{(1/3+ε/(6ς)+o(1))n}) 시간 복잡도를 달성한다. 두 알고리즘 모두 ε와 ς 사이의 비율이 일정 범위(c₀ε < ς < c₁ε) 에 있을 때 최적의 성능을 보이며, 특히 ς가 ε에 비례할 때 기존 알고리즘을 크게 앞선다.

셋째, QSETH(Quantum Strong Exponential Time Hypothesis)를 이용한 하드니스 증명에 중요한 제한을 제시한다. 저자들은 “비적응 양자 감소”가 k‑SAT → CVP₂ 로 존재한다면 NP ⊆ pr‑QSZK 가 성립해야 함을 보이며, 이는 현재 알려진 복잡도 계층과 충돌한다. 따라서 QSETH 기반으로 Max‑Cut, Max‑2‑Lin(2), 혹은 CVP₂에 대한 상수 δ>0 의 2^{δn} 하한을 얻으려면 반드시 적응형 양자 감소가 필요하다. 이 결과는 최근 Aggarwal‑Kumar(2023)의 고전적 no‑go 결과와 일치하면서, 격자 기반 암호의 포스트‑양자 보안이 QSETH에 의존하기 어려움을 강조한다.

전체적으로, 이 논문은 (i) γ‑CVPₚ (γ=O(1)) 가 지수 시간 필요성을 강력히 뒷받침하고, (ii) 새로운 고전·양자 알고리즘으로 Max‑2‑Lin(2) 를 기존 최첨단보다 빠르게 해결하며, (iii) QSETH와 관련된 감소의 구조적 한계를 밝혀, 근사 CSP와 격자 문제 사이의 복잡도 지형을 크게 확장한다는 점에서 의미가 크다.