지오메트리적 국소성 스투키스틱 해밀토니안의 복잡도

초록

본 논문은 1차원 및 2차원 격자에 배치된 스투키스틱(부호 없는) 해밀토니안 문제의 복잡도 클래스를 조사한다. 저자들은 충분히 높은 로컬 차원을 갖는 입자를 이용해, 이러한 기하학적 국소 해밀토니안이 MA‑hard임을 증명하고, 비마찰(frustration‑free) 조건을 없앨 경우 StoqMA‑complete임을 보인다.

상세 분석

논문은 먼저 스투키스틱 해밀토니안이 Monte Carlo 시뮬레이션에서 사인 문제를 회피한다는 물리적 배경을 소개하고, Bravyi‑Terhal이 제시한 MA‑completeness 결과를 기반으로 연구 방향을 설정한다. 핵심 기술은 MA 검증 회로를 두 차원 격자와 일차원 체인에 매핑하는 두 가지 건설적 변환이다. 2‑D 경우, 기존의 6‑차원 큐디트 기반 회로‑투‑해밀토니안 변환을 확장하여, 각 토폴리게이트(Toffoli)와 X 게이트를 두‑국소(인접 입자) 스투키스틱 항으로 구현한다. 이를 위해 입자 차원을 14‑차원으로 높여, 세 개의 논리 큐비트를 하나의 고차원 입자에 압축하고, 토폴리게이트의 비대각선 요소를 ‘‑U’ 형태로 넣어도 부호가 음수인 외부 곱 형태가 되도록 설계한다. 이렇게 하면 모든 항이 스투키스틱 조건을 만족하면서도 인접 두 입자 사이의 상호작용만을 사용한다.

1‑D 경우는 인접성 제약이 더 강해, 수평·수직 방향을 동시에 활용할 수 없으므로, 추가적인 초기화 단계와 다중‑스텝 리셋 프로세스를 도입한다. 여기서는 입자 차원을 19‑차원으로 설정해, 동일한 토폴리게이트를 두‑국소로 구현하지만, 금지된 구성(state)들을 완전히 로컬 검증하기 어려운 점을 보완하기 위해 ‘허용되지 않은 상태’와 ‘허용된 상태’ 사이의 에너지 차이를 다항식 수준으로 유지한다. 이는 완전성(completeness)에는 영향을 주지 않으며, 사운드니스(soundness) 분석에서 허용되지 않은 상태들의 최소 에너지가 허용된 상태와 동일한 차이를 갖도록 증명한다.

또한, 마찰‑없는(프러스트레이션‑프리) 가정 없이 일반 스투키스틱 해밀토니안을 고려하면, 기존의 회로‑투‑해밀토니안 변환에 약간의 변형을 가해 StoqMA‑complete임을 보인다. 여기서 StoqMA는 MA와 QMA 사이의 중간 복잡도 클래스로, 스투키스틱 해밀토니안의 검증이 양자 마법사(Merlin)와 고전적 검증자(Arthur) 사이의 상호작용으로 표현될 수 있음을 의미한다.

전체적으로 논문은 (i) 충분히 높은 로컬 차원을 이용해 MA‑hardness를 기하학적 국소성에 보존하고, (ii) 마찰‑없는 제약을 제거하면 StoqMA‑completeness를 얻으며, (iii) 2‑D와 1‑D 두 경우 모두에 대해 구체적인 Hamiltonian 구성과 스펙트럼 갭 분석을 제공한다는 점에서 기술적 기여가 크다.