양자 코드 해밀토니안의 저에너지 상태에 대한 회로 복잡도 하한

초록

본 논문은 선형률·다항식 거리 LDPC 안정자 코드의 해밀토니안을 대상으로, 에너지 ≤ ε n인 모든 양자 상태가 최소 Ω(log d) 이상의 회로 깊이를 필요로 함을 증명한다. 엔트로피와 지역 구별성(LOCAL INDISTINGUISHABILITY) 기법을 활용해 코드 비율이 회로 복잡도 하한에 결정적 역할을 함을 보이며, 이는 NLTS(N​o Low‑energy Trivial States) 추측을 거의 완전하게 입증한다. 또한 2차원 격자 위의 펀치된 토릭 코드 등 물리적으로 실현 가능한 모델에도 적용 가능함을 논한다.

상세 분석

논문은 먼저 NLTS(저에너지 평범 상태가 존재하지 않는다) 추측이 양자 PCP(Probabilistically Checkable Proof) 문제 해결의 핵심 장애물임을 강조한다. 기존 연구는 주로 코드 거리 d에 의존해 코드 상태가 최소 Ω(log d) 깊이의 양자 회로를 필요로 한다는 사실을 이용했으며, 이는 지역 구별성(local indistinguishability)이라는 성질에 기반한다. 그러나 저에너지 상태는 단순히 몇 개의 체크만 위반하는 저오류 상태와는 달리, 에너지 스펙트럼 전체에 걸쳐 더 넓은 집합을 형성한다. 따라서 거리만으로는 충분한 하한을 얻기 어렵다.

저자들은 새로운 관점을 제시한다. 코드의 비율 k/n이 회로 복잡도에 직접적인 영향을 미친다는 점을 발견한 것이다. 엔트로피 논증을 통해, 회로 깊이가 log d 이하인 상태는 코드 공간과 ℓ₁ 거리 ≥ Ω(k²/n²)만큼 떨어져 있음을 보인다. 이는 비율이 큰(선형에 가까운) 코드일수록 저에너지 상태가 코드 공간에 가깝게 유지되기 어렵다는 의미다. 이어서, 모든 안정자 해밀토니안의 고유공간은 동일한 지역 구별성을 공유한다는 사실을 이용한다. 저에너지 상태에 대해 상수 깊이의 LDPC 구조를 활용해 증후를 측정하면, 이는 ‘부드러운 측정(gentle measurement)’으로 작용해 상태를 크게 교란시키지 않는다. 측정 후 얻어진 혼합 상태는 각 고유공간에 대한 직교 성분들의 혼합으로 분해될 수 있다.

이때, 각 고유공간에 대한 지역 구별성은 다시 엔트로피 상한을 제공한다. 즉, 저에너지 상태가 낮은 회로 깊이로 생성될 경우, 해당 상태의 엔트로피는 코드 비율에 의해 제한되며, 이는 곧 회로 깊이가 최소 Ω(log d) 혹은 Ω(log k) 이상이어야 함을 의미한다. 이러한 논증은 거리 d가 다항식 수준이더라도 비율 k가 선형에 가깝다면 강력한 하한을 제공한다. 결과적으로, 선형률·다항식 거리 LDPC 안정자 코드는 NLTS 추측을 거의 완전하게 만족한다는 결론에 도달한다.

또한 저자들은 2차원 격자 위에 구현 가능한 펀치된 토릭 코드와 같은 실제 물리 시스템에 이 결과를 적용한다. 이러한 코드는 지역 테스트 가능성(local testability)을 갖지 않음에도 불구하고, 비율이 거의 선형이므로 동일한 회로 깊이 하한을 얻는다. 이는 NLTS가 반드시 지역 테스트 가능한 코드에 의존하지 않으며, 비율이 핵심 파라미터임을 시사한다. 마지막으로, 저자들은 회로 복잡도 증폭을 통한 갭 확대(gap amplification) 가능성을 제시하며, 향후 NLTS 완전 증명 및 양자 PCP 문제 해결에 대한 연구 방향을 제시한다.