양자 국소 테스트 코드의 한계와 가능성

초록

본 논문은 양자 오류 정정 코드 중에서도 국소 테스트가 가능한 양자 코드를 정의하고, 특히 안정자(stabilizer) 코드를 위한 간소화된 정의(sLTC)를 제시한다. 주요 결과로는 작은 집합 확장성을 가진 상호작용 그래프에서는 확장이 좋을수록 소리니스(soundness)가 낮아지는 양자 고유 현상을 증명하고, 모든 그래프에 대해 상대적 소리니스에 대한 일반적인 상한을 도출한다. 또한 양자 PCPP와 qLTC 사이의 연결 고리를 제시하여 양자 PCP 문제와의 연관성을 탐색한다.

상세 분석

이 논문은 먼저 고전적인 Locally Testable Codes(LTC)의 개념을 양자 영역으로 확장하여 Quantum Locally Testable Codes(qLTC)를 정의한다. qLTC는 O(1) 로컬 제약조건(프로젝션)으로 정의된 양자 해밀토니안의 영공간을 코드 공간으로 삼으며, 코드로부터 거리 δ·n 만큼 떨어진 상태 ψ에 대해 평균 에너지 ⟨ψ|H|ψ⟩/m이 최소 R(δ) 이상이 되도록 하는 소리니스 함수를 도입한다. 여기서 m은 제약조건의 총 개수이다.

특히 안정자 코드에 한정한 sLTC(simplified LTC) 정의를 제시하고, 이는 일반 qLTC 정의와 동등함을 증명한다(Claim 3). 이 정의는 오류 연산자가 몇 개의 안정자 생성자를 위반하는가를 직접 세는 방식으로, 양자 경우에 특유의 비가환성 문제를 회피한다.

주요 기술적 결과는 두 가지 정리이다. 첫 번째 정리(Theorem 1)는 작은 집합 확장성(ε‑small‑set expander) 그래프 위에 구축된 좋은 안정자 코드에 대해, 상대 소리니스 r(δ)=R(δ)/(k·δ) 가 O(ε) 로 제한된다는 것이다. 즉, 그래프가 더 좋은 확장성을 가질수록 오류가 적게 위반되므로 소리니스가 악화된다. 이는 다중 입자 얽힘의 ‘모노가미’ 현상에 기인한다는 해석이 가능하며, 고전적인 LTC에서는 반대로 좋은 확장성이 높은 소리니스를 보장한다는 점과 뚜렷한 대조를 이룬다. 논문은 토리코드와 양자 Reed‑Muller 코드를 예시로 들어, 토리코드가 √n 길이의 문자열 오류에 대해 단 두 개의 제약만 위반하므로 소리니스가 1/√n 수준에 머무르는 등, 실제 코드에서 이 현상이 어떻게 나타나는지를 설명한다.

두 번째 정리(Theorem 2)는 그래프 구조와 무관하게 모든 좋은 안정자 sLTC에 대해 상대 소리니스가 α(d)·(1−γ_gap) 이하임을 보인다. 여기서 α(d)=1−1/d²는 알파벳(양자 차원) d에만 의존하는 상수이고, γ_gap은 (k,d) 에 따라 정의되는 양자적 갭 상수이다. 이 결과는 고전 LTC에서는 존재하지 않는, 양자 얽힘과 비가환성에 뿌리를 둔 제한임을 강조한다.

또한 부록에서는 양자 PCPP(Proofs of Proximity)를 정의하고, 기존 고전 결과