⚛️ quantum physics

Preparation of the single-spinon wave function on a quantum computer

이 논문은 하이젠베르크 모델과 홀던-샤스트리 모델 모두에 대해 단일 스피논 파동 함수의 에너지를 준비하고 분석하기 위해 유니터리의 선형 결합에 기반한 양자 알고리즘을 제시하며, 세 가지 서로 다른 전략을 계산 자원 및 성능 측면에서 비교한다.

원저자: D. Faílde, A. Gómez, J. Fernández-Rossier

게시일 2026-09-02

📖 5 분 읽기🧠 심층 분석

CC BY 4.0

원저자: D. Faílde, A. Gómez, J. Fernández-Rossier

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

양자 물질의 미시 세계에서 원자들은 종종 긴 1차원 사슬 형태로 배열되며, 이웃한 원자들과 상호작용하는 작은 자석처럼 행동합니다. 수십 년 동안 물리학자들은 가장 근본적인 수준에서 자성이 어떻게 작동하는지 이해하기 위해 이러한 사슬을 연구해 왔습니다. 이 분야의 핵심 난제 중 하나는 상호작면이 완벽하게 균형을 이루어 양자 무질서 상태를 만드는 특정 유형의 자기 사슬과 관련이 있습니다. 이러한 시스템에서 집단적 들뜸(collective excitations)—사슬이 교란되었을 때 반응하는 방식—은 소리나 빛의 익숙한 파동처럼 행동하지 않습니다. 대신, 이론은 이러한 들뜸이 더 작고 독립적인 조각들로 부서진다고 제안합니다. 이 조각들을 스피논(spinon)이라고 부릅니다. 완전한 자기 파동과 달리, 스피논은 단일 원자의 절반만큼의 자기 강도만을 운반하는데, 이는 고전적인 세계에서는 불가능해 보이지만 양자 영역에서는 지극히 정상적인 특성입니다. 이러한 스피논이 어떻게 움직이고 에너지를 운반하는지 이해하는 것은 이색적인 물질의 거동을 파악하는 데 매우 중요하지만, 스피논은 현실 세계에서 고립된 객체로 존재하지 않기 때문에 물리적 실험에서 직접 관찰하는 것은 매우 어렵습니다.

이 문제를 해결하기 위해 연구진은 부상하는 양자 컴퓨터의 힘에 주목했습니다. 물리적인 원자 사슬을 직접 구축하는 대신, 그들은 디지털 양자 프로세서를 사용하여 이러한 자기 사슬의 거동을 시뮬레이션하고 단일 스피논의 수학적 청사진을 구축했습니다. 연구진은 두 가지 특정 자기 사슬 모델에 집중했습니다. 하나는 원자들이 인접한 이웃하고만 상호작용하는 모델이고, 다른 하나는 원자들이 거리에 상관없이 체인의 모든 다른 원자와 상호작용하는 모델입니다. 그들의 목표는 단일 스피논을 나타내는 양자 상태를 준비하는 방법을 알아내는 것이었는데, 이는 이전에는 이론적 계산이나 고전 컴퓨터를 이용한 시뮬레이션에 국한되었던 과제였습니다. 양자 컴퓨터 상에서 이 상태를 성공적으로 생성함으로써, 연구진은 물리적 실험실에서 이를 격리할 필요 없이 에너지와 운동량 같은 이 미묘한 입자의 특성을 탐구할 수 있는 새로운 방법을 입증했습니다.

그들이 개발한 과정은 자기 사슬의 바닥 상태(ground state)를 준비하는 것으로 시작되는 다단계 절차입니다. 바닥 상태는 시스템이 가질 수 있는 가장 낮은 에너지 구성으로, 스핀들이 균형을 이루는 안정적인 배열입니다. 양자 컴퓨터 상에서 이 안정적인 상태가 확립되면, 연구진은 추가적인 자기 단위(magnetic unit)를 도입하여 사실상 체인에 원자 하나를 더 추가합니다. 이 추가는 완벽한 균형을 깨뜨려 스피논이 존재할 수 있는 조건을 만듭니다. 그러나 단순히 원자를 추가하는 것만으로는 충분하지 않습니다. 연구진은 이 추가된 단위가 정의된 운동량을 갖도록 체인 전체에 퍼져 있는 특정 패턴을 만들어야 했습니다. 이를 달성하기 위해 그들은 유니터리 선형 결합(linear combination of unitaries)이라는 기법을 사용했습니다. 쉽게 말해, 이는 양자 컴퓨터가 최종 상태를 단 한 번의 단계로 강제하여 생성하도록 시도하지 않았음을 의미합니다. 대신, 추가된 스핀이 체인의 여러 위치에 위치하는 다양한 가능성들의 중첩(superposition)을 만들고, 그 후 이 가능성들을 정밀한 수학적 방식으로 결의하여 최종적인 스피논 상태를 형성했습니다.

연구팀은 두 가지 다른 유형의 자기 사슬을 대상으로 이 방법을 테스트했습니다. 원자들이 이웃하고만 소통하는 체인의 경우, 바닥 상태를 찾기 위해 변분 양자 고유치 솔버(variational quantum eigensolver)라고 알려진 유연하고 반복적인 접근 방식을 사용했습니다. 장거리 상호작용이 있는 체인의 경우, 특정 수학적 투영에 기반한 더 직접적이고 정확한 방법을 사용했습니다. 두 경우 모두 연구진은 단일 스피논 상태를 성공적으로 생성하고 그 특성을 측정했습니다. 그들은 스피논의 에너지가 운동량에 따라 변화하는 방식이 수십 년 된 이론적 공식과 완벽하게 일치한다는 것을 발견했습니다. 이는 그들의 디지털 구축이 정확하다는 것을 확인시켜 주었습니다. 또한 그들은 상태가 얼마나 "실재적"이거나 잘 정의되어 있는지를 알려주는 '노름(norm)'이라는 양을 측정했습니다. 결과에 따르면 스피논 상태는 특정 운동량 값 범위 내에서만 존재하며, 그 범위를 벗어나면 사라지는데, 이는 스피논이 양자 경관의 특정 영역에 갇혀 있다는 이론적 이해와 일치합니다.

직접적인 상태 생성 방식이 작동하기는 하지만, 이를 위해서는 많은 수의 추가적인 양자 비트, 즉 보조 큐비트(ancilla qubits)가 필요하며, 작업의 성공 여부는 확률적(probabilistic)이라는 점, 즉 매번 성공하는 것은 아니라는 점이 특징입니다. 이를 해결하기 위해 연구진은 더 적은 자원을 요구하는 대안적 전략들을 탐구했습니다. 한 가지 접근 방식은 문제를 더 작고 관리 가능한 조각들로 나누어 개별적으로 측정함으로써 스피논의 에너지와 특성을 계산하는 것이었습니다. 헤밀턴 테스트(Hadamard test)라고 불리는 이 방법은 단 하나의 추가 큐비트를 사용하여 시스템을 조사합니다. 이 접근 방식은 동일한 양의 데이터를 모으기 위해 훨씬 더 많은 별도의 회로를 실행해야 하지만, 필요한 하드웨어 측면에서는 훨씬 효율적입니다. 연구진은 이러한 다양한 전략들을 비교하였으며, 직접적인 방식이 강력하긴 하지만 단계별 측정 방식이 큐비트 간의 연결이 제한적인 현재 세대의 양자 컴퓨터에 더 적합하다는 것을 발견했습니다.

이 연구는 전적으로 컴퓨터 시뮬레이션을 통해 수행되었습니다. 즉, 연구진은 양자 프로세서의 동작을 모방하는 고전 컴퓨터에서 알고리즘을 실행했습니다. 실제 물리적 양자 하드웨어에서 실험을 수행한 것은 아니지만, 시뮬레이션은 방법론의 타당성을 테스트하기에 충분히 엄격했습니다. 결과는 제안된 기술들이 실행 가능하다는 것과 단일 스피논 파동 함수를 정확하게 준비하고 분석할 수 있음을 보여줍니다. 연구진은 또한 장거리 상호작용을 가진 더 복잡한 시스템인 홀데인-섀스트리(Haldane-Shastry) 모델로 연구를 확장했으며, 동일한 방법들이 성공적으로 적용됨을 확인했습니다. 이는 단순한 단거리 사슬에 잘 작동하는 수학적 도구들이 더 복잡한 장거리 시스템에 적용될 때 흔히 실패한다는 점에서 중요한 진전입니다. 이러한 양자 알고리즘이 두 가지 유형의 모델을 모두 처리할 수 있음을 보여줌으로써, 연구팀은 더 복잡한 자기 물질을 연구할 수 있는 길을 열었습니다.

궁극적으로 이 연구는 양자 컴퓨터 상에서 복잡한 양자 입자를 연구하는 방법에 대한 로드맵을 제공합니다. 단일 스피논의 상태를 준비하고 측정하는 능력은 이러한 입자들이 2차원 물질에서 어떻게 행동하는지와 같은 더 복잡한 현상을 이해하기 위한 기초적인 단계입니다. 현실 세계에서 베테 방정식(Bethe ansatz)이나 밀도 행렬 재규격화(density matrix renormalization)와 같은 수학적 기법들은 2차원 시스템에 적용될 때 비효율적이거나 완전히 실패하게 됩니다. 양자 시뮬레이션은 이러한 병목 현상에 대한 잠재적인 해결책을 제시합니다. 연구진은 이러한 방법들이 시뮬레이션 환경에서 작동함을 보여줌으로써, 양자 컴퓨터가 결국 고차원에서의 스피논의 파동 함수와 역학을 탐구하는 주요 도구가 되어, 현재 고전 컴퓨터로는 도달할 수 없는 양자 물질의 거동에 대한 새로운 창을 열 수 있음을 입증했습니다.

기술 요약: 양자 컴퓨터를 이용한 단일 스피논 파동 함수의 준비

문제 정의
본 논문은 1차원 $S=1/2$ 스핀 모델에 대한 단일 스피논(single-spinon) 파동 함수를 양자 컴퓨터 상에서 준비하는 데 따르는 과제를 다룬다. 반강자성 상호작용을 가진 하이젠베르크 모델은 갭이 없는(gapless) 스펙트럼을 갖는데, 이러한 여기(excitation)는 고립된 마그논(magnon)보다는 스피논( $S=1/2$ )이라 불리는 복합 입자로 설명되는 경우가 많다. Kulka 등[1]이 제안한 단일 스피논 파동 함수에 대한 휴리스틱 안사츠(ansatz)는, $L$ 개 사이트로 구성된 사슬의 바닥 상태 구성에 $S_z=1/2$ 인 사이트를 추가함으로써 $L+1$ 개 사이트 체인 내에서 $S=1/2$ 상태를 구축한다. 그러나 이 안사츠를 양자 하드웨어에 구현하는 것은 까다로운데, 결과 상태가 정규화되지 않으며 단일 유니터리 연산자에 의해 생성될 수 없기 때문이다. 즉, 이는 유니터리의 선형 결합(LCU)을 필요로 한다. 또한, 이 안사츠는 XXZ 모델에 대해서는 검증되었으나, 장거리 상호작용을 갖는 홀데인-샤스트리(Haldane-Shastry) 모델에 대한 적용 가능성은 아직 확립되지 않았다.

방법론
저자들은 그림 1에 예시된 세 가지 주요 단계로 구성된 프로토콜을 제안한다:

바닥 상태 준비: 대상 스핀 모델(하이젠베르크 또는 홀데인-샤스트리)의 바닥 상태( $|\Psi_{GS}\rangle$ $∣ Ψ_{GS} ⟩$ )를 $L$ $L$ 개의 큐비트에 대해 준비한다.
- 하이젠베르크 모델의 경우, 변분 양자 고유값 솔버(VQE)를 활용한다. 저자들은 밸런스 본드 결정(valence bond crystal) 대신 자유 페르미온 상태(Givens 회전을 통해 얻음)로 초기화된 얕은 매개변수화된 양자 회로(PQC)를 사용하며, 그 뒤로 $R_{ZZ}$ 및 $R_{XX+YY}$ 게이트 층을 배치한다.
- 홀데인-샤스트리 모델의 경우, 바닥 상태가 구츠윌러 투영(Gutzwiller-projected)된 자유 페르미온 바다(sea)라는 점을 이용한다. 자유 페르미온 상태를 Givens 회전을 통해 준비한 후, 일련의 CNOT 게이트를 통해 구츠윌러 투영을 적용한다. 이 단계는 비결정론적이며, 성공 확률은 시스템 크기에 따라 지수적으로 감소한다.
단일 스피논 상태 구축: 격자를 한 사이트 확장하고( $|\uparrow\rangle$ 상태의 보조 큐비트 추가), 스피논 안사츠를 적용한다. 안사츠는 확장된 구성들의 푸리에 변환으로 정의된다: $|\Psi(q)\rangle = \frac{1}{\sqrt{L+1}} \sum_{m=0}^{L} e^{iqm} |\Psi(m)\rangle$ , 여기서 $|\Psi(m)\rangle$ 은 추가된 스핀이 사이트 $m$ 에 삽입된 바닥 상태를 나타낸다.
에너지 및 노름(Norm) 추정: 저자들은 운동량 의존 노름 $N(q)$ $N (q)$ 와 에너지 분산 $\epsilon(q)$ $ϵ (q)$ 를 계산하기 위한 세 가지 뚜렷한 전략을 평가한다:
- 유니터리의 선형 결합 (LCU): $L$ 개의 보조 큐비트를 사용하여 중첩 상태 $|\Psi(q)\rangle$ 를 직접 준비하는 비결정론적 알고리즘이다. 노름은 보조 레지스터를 $|0\rangle^{\otimes L}$ 상태로 측정할 확률에 의해 추정된다.
- SWAP 스트링의 기댓값: 보조 큐비트 없이 바닥 상태에서 오버랩 $\langle \Psi(n) | \Psi(m) \rangle$ 을 직접 계산하는 결정론적 접근 방식이다. 그러나 이는 지수적인 수의 파울리 스트링( $O(4^L)$ ) 측정을 요구한다.
- 하다마르 테스트 (Hadamard Test): 단일 보조 큐비트를 사용하여 오버랩과 전이 진폭을 항별(term-by-term)로 추정하는 결정론적 방법이다. 이는 $O(L^2)$ 개의 회로를 필요로 하지만, 파울리 스트링의 지수적 스케일링이나 LCU 방식의 높은 보조 큐비트 수를 피할 수 있다.

주요 기여

홀데인-샤스트리 모델로의 확장: 저자들은 원래 XXZ 모델을 위해 개발된 Kulka 등의 단일 스피논 안사츠가 홀데인-샤스트리 모델의 스피논을 정확하게 설명한다는 것을 입증한다. 그들은 이 안사츠가 해석적인 에너지 분산 $\epsilon(q) = \frac{J}{2}(q_0^2 - q^2)$ 와 노름이 0이 아닌 운동량 영역 $(-\pi/2 < q < \pi/2)$ 을 올바르게 재현함을 확인한다.
양자 구현 전략: 본 논문은 단일 스피논 안사츠를 양자 하드웨어에 구현하기 위한 상세한 로드맵을 제공한다. LCU, SWAP-스트링, 하다마르 테스트 방법 간의 자원 비용(큐비트, 게이트, 회로 깊이, 회로 수)을 비교한다.
인실리코(In-Silico) 검증: 제안된 방법들은 시스템 크기 $L=16$ (하이젠베르크) 및 $L=8$ (홀데인-샤스트리)까지의 수치 시뮬레이션("in-silico")을 통해 테스트된다. 시뮬레이션 결과, 하다마르 테스트와 LCU 방식 모두 정확한 대각화(exact diagonalization) 결과와 일치하는 결과를 얻었음을 확인하였다.

결과

바닥 상태 준비: 하이젠베르크 모델에 대한 VQE 접근법은 중간 길이의 체인( $L \leq 8$ )에 대해 낮은 불충분성(infidelity)을 달enc하며, $L$ 이 증가함에 따라 성능이 약간 저하되지만 샘플링 노이즈 임계값 미만으로 유지된다. 홀데인-샤스트리 모델의 경우, 구츠윌러 투영 방식은 높은 충실도를 보이지만 성공 확률이 지수적으로 감소( $p \sim 2^{-\sqrt{2}L/2}$ )하여, 적절한 체인 길이에 대한 실질적 적용을 제한한다.
스피논 분산: 계산된 에너지 분산 $\epsilon(q)$ 와 노름 $N(q)$ 는 모두 해석적 예측과 일치한다. 노름 $N(q)$ 는 $L$ 이 증가함에 따라 $|q| > \pi/2$ 에서 올바르게 0으로 수렴하며, 이는 스피논의 운동량 영역을 확인시켜 준다.
방법 비교:
- LCU 방식은 직접적인 상태 준비를 가능하게 하지만, $L$ 개의 보조 큐비트와 비결정론적 사후 선택(post-selection) 단계를 요구한다. 성공 확률은 $N(q)/(L+1)$ 에 따라 선형적으로 스케일링되어, 바닥 상태 준비를 위한 구츠윌러 투영보다 더 확장성이 높다.
- 하다마르 테스트는 단 하나의 보조 큐비트만을 필요로 하며 결정론적이다. $O(L^2)$ 번의 회로 실행을 요구하지만, 직접적인 SWAP-스트링 방식에서 발견되는 파울리 항의 지수적 스케일링과 LCU의 높은 큐비트 오버헤드를 피할 수 있다. 저자들은 홀데인-샤스트리 모델의 경우, 바닥 상태 준비의 성공 확률이 지수적으로 감소하는 현상이 오차 예산을 지배하므로, 정밀도를 유지하기 위해 샷(shot) 수를 지수적으로 늘려야 한다고 언급한다.

의의 및 주장
본 논문은 클래식 방법(Bethe Ansatz나 DMRG 등)이 비효적으로 변하는 고차원 영역에서 준입자(quasiparticle)를 연구하기 위한 필수 단계인, 물리적 양자 시스템에서 단일 스피논 파동 함수를 실현하기 위한 실질적인 프레임워크를 제공한다고 주장한다. 저자들은 자신들의 방법이 현재 "in-silico"로 테스트되었음을 명시하며, 물리적 하드웨어에서의 실험적 구현을 주장하는 것이 아님을 밝힌다. 주요 기여는 이러한 특수한 비자명(non-trivial) 스핀 파동 함수를 준비하기 위한 알고리즘적 제안과 자원 분석이며, 이는 정확한 해를 구할 수 없는 2차원 모델로 나아가기 위한 선행 연구 역할을 한다. 이 연구는 근사적인 양자 하드웨어 제약 조건 하에서 결정론적인 항별 추정(하다마르 테스트)과 확률적인 상태 준비(LCU) 사이의 트레이드오프를 강조한다.

기술 요약: 양자 컴퓨터를 이용한 단일 스피논 파동 함수의 준비

유사한 논문