통합가능 모델의 고에너지 상태를 위한 효율적 아디아빗 양자 준비법

초록

본 논문은 적분가능 양자 모델의 고에너지 고유 상태를 디지털 양자 컴퓨터에서 다항식 깊이의 회로로 준비할 수 있는 새로운 아디아빗 알고리즘을 제안한다. 먼저 XXZ Heisenberg 체인의 바닥 상태를 각 자화 구역별로 준비하는 기존 방법을 베테- 앙스 방정식과 열역학적 베테- 앙스 Ansatz를 이용해 회로 깊이가 O(N)임을 보이고, 이후 모든 적분가능 모델에 대해 완전한 보존량 집합을 이용해 목표 상태의 ‘부모 해밀토니안’ H_v를 구성한다. 이 H_v를 초기의 쉬운 상태에서 시작해 파라미터를 서서히 변형함으로써 원하는 고유 상태를 효율적으로 얻는다. XY 체인과 Richardson‑Gaudin 모델에 대한 구체적 구현과 수치·이론적 검증을 통해, 상호작용이 있는 경우에도 회로 깊이가 다항식 규모임을 입증한다.

상세 분석

본 연구는 적분가능 시스템의 고유 상태를 효율적으로 준비한다는 두 가지 핵심 아이디어를 결합한다. 첫 번째는 전통적인 아디아빗 알고리즘을 이용해 바닥 상태를 준비하는 과정에서, 적분가능 모델이 갖는 자화 보존 대칭을 활용해 전체 스펙트럼이 아닌 동일 자화 구역 내의 에너지 차이만을 고려함으로써 최소 갭이 O(1/N) 수준으로 유지된다는 점을 열역학적 베테- 앙스 Ansatz를 통해 정량화한다. 이는 회로 깊이 D = O(poly(N))을 보장하는 충분조건(갭 ≥ Ω(1/poly(N)), 파울리 문자열 수 S = O(poly(N)), 계수와 그 도함수의 크기 제한)을 만족한다는 것을 의미한다.

두 번째 아이디어는 임의의 목표 고유 상태 |v⟩ 에 대해, 완전한 보존량 집합 {Q_k} 을 이용해 ‘부모 해밀토니안’ H_v = ∑k (Q_k − q_k^{(v)})² 을 정의하는 것이다. 이 해밀토니안은 양의 준정부호이며 |v⟩ 을 유일한 바닥 상태로 만든다. 중요한 점은 H_v 가 여전히 적분가능성을 유지하면서도 파라미터 g 에 따라 부드럽게 변형될 수 있다는 점이다. 따라서 g = g* 에서 H_v(g_*) 의 바닥 상태를 쉽게 준비할 수 있다면, 아디아빗 경로 g(t) 를 따라 H_v(g(t)) 를 서서히 변형함으로써 최종적으로 목표 상태 |v⟩ 을 얻을 수 있다. 효율성은 다음 세 조건에 의해 보장된다: (i) H_v(g) 가 O(poly(N)) 개의 파울리 문자열로 표현 가능하고, 계수의 절댓값이 O(poly(N)) 이하, (ii) H_v(g) 의 최소 갭이 Ω(1/poly(N)) 보다 빨리 닫히지 않음, (iii) Q_k(g) 와 q_k^{(v)}(g) 를 고전적으로 O(poly(N)) 시간에 계산 가능.

구체적인 구현으로, 논문은 비상호작용 XY 체인에서 c†_p c_p 와 같은 보존량을 이용해 H_v 를 구성하고, 이 경우 갭이 정확히 δ = 1 이므로 아디아빗 진행이 언제든지 다항식 시간 내에 가능함을 증명한다. 파울리 문자열 수는 O(N²) 이지만, 계수 스케일이 O(1/N) 이므로 전체 회로 깊이는 O(N⁵) 이하로 제한된다.

마지막으로 Richardson‑Gaudin 모델에 적용했을 때, 상호작용이 존재함에도 불구하고 수치 실험을 통해 H_v(g) 의 최소 갭이 O(1/N) 수준을 유지하고, 파울리 문자열 수와 계수 규모가 모두 다항식임을 확인하였다. 이는 기존에 상호작용 적분가능 모델에 대해 알려진 지수적 복잡도 한계를 뛰어넘는 중요한 결과이다. 전체적으로, 이 논문은 적분가능 모델의 보존량 구조를 활용해 아디아빗 알고리즘을 고에너지 상태에도 확장할 수 있음을 이론적·수치적으로 입증하고, 양자 시뮬레이션에서 실용적인 고유 상태 준비 프로토콜을 제공한다.