반무작위 해밀토니안에서 스펙트럴 인증과 SoS 하한

초록

이 논문은 k‑XOR 문제의 양자 버전인 k‑XOR 해밀토니안을 대상으로, 반무작위(semirandom) 및 가우시안 부호 모델에서 평균적인 인스턴스의 바닥 에너지를 ½ + ε 이하로 인증하는 n^{O(ℓ)} 시간의 고전적 스펙트럴 알고리즘을 제시한다. 또한, 동일한 트레이드오프가 비가환 Sum‑of‑Squares(ncSoS) 계층에서도 최적임을 보이기 위해, 고전적 k‑XOR 인스턴스를 완전히 고전적인 해밀토니안으로 임베딩하는 하드 인스턴스를 구성한다.

상세 분석

본 연구는 두 가지 핵심 기여를 제공한다. 첫 번째는 반무작위 혹은 가우시안 부호를 갖는 k‑XOR 해밀토니안에 대해, “Kikuchi 행렬”의 양자 변형을 이용해 스펙트럴 인증을 수행하는 고전적 알고리즘을 설계한 점이다. ℓ을 자유 변수로 두고, ℓ≥k/2, ℓ≤n/2인 경우에 알고리즘은 입력 해밀토니안 H_I의 기대값을 상한하는 값 algval(H_I)를 n^{O(ℓ)} 시간 내에 계산한다. 특히, |H|≥O(n)·⌈n/ℓ⌉^{k/2−1}·log n·ε^{−4}인 경우, 반무작위 인스턴스에서 algval(H_I)≤½+ε가 고확률로 성립한다. 이는 기존의 무작위 CSP에서 알려진 “refutation threshold”와 정확히 일치한다는 점에서 의미가 크다. 알고리즘은 두 단계로 구성된다. (1) 해밀토니안의 기대값 ⟨ψ|H_I|ψ⟩을 Kikuchi 행렬 K̃의 2차 형식으로 표현하고, (2) 트레이스 모멘트 기법을 이용해 K̃의 스펙트럴 노름을 상한한다. 짝수 k와 홀수 k에 대해 각각 다른 구조(예: bipartite 인스턴스, odd‑arity Kikuchi 행렬, edge‑deletion 절차)를 사용해 분석을 정교화한다.

두 번째 기여는 비가환 Sum‑of‑Squares(ncSoS) 계층에 대한 하한을 제시한 것이다. 저자들은 “one‑basis” 해밀토니안(모든 항이 동일한 기준에서 대각화되는 경우)을 고려하고, 고전적 k‑XOR 인스턴스를 동일한 부호 b_C를 갖는 Z_C 파울리 연산자로 교체함으로써 완전히 고전적인 해밀토니안을 만든다. 이 변환은 값(val)과 ncSoS 값이 정확히 보존되도록 설계되었으며, 따라서 기존에 알려진 k‑XOR의 SoS‑hard 인스턴스를 바로 Hamiltonian 형태로 옮길 수 있다. 결과적으로, ℓ≈n 수준의 ncSoS 계층에서도 바닥 에너지 ½+ε를 증명하지 못함을 보이며, 이는 Theorem 1.2의 스펙트럴 알고리즘이 ncSoS가 포착하지 못하는 “semirandom” 난이도를 정확히 반영한다는 것을 의미한다. 특히, 반무작위 모델에서는 비가환성이 오히려 증명에 도움이 되지 않으며, 실제 난이도는 고전적인 부호의 무작위성에 의해 좌우된다는 흥미로운 통찰을 제공한다.

이러한 결과는 (i) 반무작위 해밀토니안의 바닥 에너지 추정이 고전적으로 쉬워짐을, (ii) ncSoS가 최적의 증명 체계임을, (iii) 고전적 CSP와 양자 CSP 사이의 구조적 유사성을 명확히 보여준다. 또한, 제품 상태(product state) ansatz가 평균적인 인스턴스에서 충분히 좋은 근사임을 증명함으로써, 양자 복잡도 이론에서 QMA‑hard 문제의 평균‑케이스 난이도에 대한 새로운 관점을 제시한다.