양자 다항계층 근사 난이도와 완전 문제

초록

이 논문은 고전 다항계층의 양자 버전을 정의하고, 그 두 번째 레벨에 해당하는 문제들이 완전함은 물론 근사적으로도 해결하기 어려움을 증명한다. 주요 예제로 양자 형태의 Succinct Set Cover와 혼합 고전‑양자 기반의 로컬 해밀토니안 문제를 제시하며, 분산자(disperser) 기법을 활용해 QCMA까지의 근사 난이도를 확장한다.

상세 분석

논문은 먼저 기존의 고전적 다항계층(PH)을 양자 컴퓨팅 환경에 맞게 일반화하여 양자 다항계층(QPH)을 도입한다. QPH는 레벨 i마다 두 개의 양자 증명자(증명자와 검증자)의 교환을 허용하는 구조로, QΣ_i와 QΠ_i라는 두 종류의 클래스가 정의된다. 특히 두 번째 레벨인 QΣ_2와 QΠ_2는 각각 “존재‑보편”과 “보편‑존재” 형태의 양자 회로를 통해 언어를 판정한다. 저자들은 이 레벨에 자연스럽게 귀속되는 완전 문제들을 설계한다. 첫 번째는 고전적인 Succinct Set Cover의 양자 버전으로, 입력은 압축된 집합 시스템이며, 목표는 제한된 크기의 양자 상태 집합이 모든 원소를 커버하도록 하는지 여부를 판단하는 것이다. 두 번째는 로컬 해밀토니안 문제의 변형으로, 시스템의 바닥 상태가 고전적인 비트와 양자 비트가 혼합된 형태(클래시컬‑양자 하이브리드)일 때 최소 에너지 값을 근사하는 문제이다.

근사 난이도 증명에 핵심적인 도구는 ‘분산자(disperser)’이다. 분산자는 작은 입력 집합을 큰 출력 집합에 고르게 퍼뜨리는 그래프 구조로, Umans가 고전 PH의 두 번째 레벨에 대해 근사 난이도를 보인 방법을 양자 버전으로 확장한다. 구체적으로, 저자들은 QΣ_2‑완전 문제를 NP‑완전인 Set Cover 인스턴스로부터 분산자를 이용해 양자 회로로 변환하고, 이 회로가 “YES” 인스턴스에서는 높은 성공 확률(≥2/3), “NO” 인스턴스에서는 낮은 성공 확률(≤1/3)을 보이도록 설계한다. 이때 양자 증명자는 고전적인 비트와 양자 비트를 동시에 포함할 수 있어, 기존의 QMA‑완전성 증명보다 복잡한 구조를 갖는다.

또한, 논문은 QCMA(양자 검증자와 고전 증명자) 클래스에 대한 근사 난이도도 도출한다. 이는 QΣ_2‑완전 문제를 QCMA 인스턴스로 압축하는 과정에서, 증명자의 양자 자유도를 제한하고 대신 고전적인 증명자를 활용함으로써 가능해진다. 결과적으로, QCMA‑완전 문제조차도 일정 비율(예: 1/2) 이하의 근사 해를 구하는 것이 NP‑hard임을 보인다. 이러한 결과는 기존에 알려진 QCMA‑완전성(예: Local Hamiltonian with classical witness)보다 강력한 근사 난이도 한계를 제공한다.

기술적 기여는 크게 세 가지로 요약된다. 첫째, QPH라는 새로운 복합 복잡도 계층을 체계적으로 정의하고, 그 구조적 특성을 분석하였다. 둘째, QΣ_2와 QΠ_2 레벨에 자연스럽게 귀속되는 두 종류의 완전 문제를 제시하고, 이들 문제에 대해 “gap‑preserving reduction”을 구축함으로써 근사 난이도를 입증했다. 셋째, 분산자 기반의 변환 기법을 양자 회로 설계에 성공적으로 적용하여, 기존 고전 결과를 양자 영역으로 확장하는 방법론을 제시했다. 이러한 접근법은 향후 양자 복잡도 이론에서 다른 레벨이나 다른 종류의 양자‑고전 혼합 문제에 대한 근사 난이도 연구에 활용될 수 있다.