페르미온–보손 매핑: Jordan–Wigner 변환

개념 소개

양자화학·응집물질 물리의 중요한 모델들은 대부분 페르미온 입자(전자, 쿼크 등)로 기술된다. 페르미온은 반교환(anti-commutation) 관계를 만족한다.

$$\{c_i,c_j^{†}\}={\delta }_{ij},\{c_i,c_j\}=0$$

반면 양자 컴퓨터의 기본 소자인 큐비트는 스핀-1/2 대수, 즉 파울리 연산자 $\{X,Y,Z\}$로 표현된다. 두 대수 체계 사이를 잇는 것이 Jordan–Wigner(JW) 변환이다. 1928년 Pascual Jordan과 Eugene Wigner가 1차원 페르미온 시스템을 스핀 체인으로 변환하기 위해 처음 도입하였다.

---

핵심 원리

점유수 표현과 큐비트 대응

모드 $i$의 점유 여부를 $|n_i⟩\in \{|0⟩,|1⟩\}$으로 나타낸다. 단일 모드에서는 다음 대응이 자연스럽다.

$$c_i\leftrightarrow \frac{X_i+i{Y}_i}{2}={\sigma }_i^{-},c_i^{†}\leftrightarrow \frac{X_i-i{Y}_i}{2}={\sigma }_i^{+}$$

그러나 다중 모드에서 페르미온의 반교환 관계는 서로 다른 모드 간 부호를 요구한다. 스핀 연산자는 서로 다른 자리(site)에서 교환하므로 이 부호를 직접 재현하지 못한다.

Jordan–Wigner 스트링

이를 해결하기 위해 JW 변환은 사이트 $i$ 앞에 놓인 모든 모드의 점유수 패리티를 누적하는 스트링 연산자를 도입한다.

$$c_j=\left(\prod _{i<j}{Z}_i\right){\sigma }_j^{-}$$

$$c_j^{†}=\left(\prod _{i<j}{Z}_i\right){\sigma }_j^{+}$$

여기서 ${\prod }_{i<j}{Z}_i$가 Jordan–Wigner 스트링이다. $Z_i$는 해당 모드가 점유($|1⟩$)되면 $-1$, 비어($|0⟩$)있으면 $+1$을 곱하므로 정확히 반교환 부호를 생성한다.

반교환 관계 검증

$j<k$일 때:

$$\{c_j,c_k^{†}\}=0(j\ne k)$$

을 위 정의로 직접 계산하면, $j$ 위치의 ${\sigma }^{-}$와 $k$ 위치 스트링 내의 $Z_j$ 사이에서 $\{Z,{\sigma }^{-}\}=0$ 관계 덕분에 전체 반교환이 성립함을 확인할 수 있다.

해밀토니안 변환: 1차원 허바드 호핑 항

$H=-t{\sum }_j(c_j^{†}{c}_{j+1}+\text{h.c.})$ 에 JW를 적용하면:

$$c_j^{†}{c}_{j+1}={\sigma }_j^{+}{Z}_j\cdot Z_j{\sigma }_{j+1}^{-}={\sigma }_j^{+}{\sigma }_{j+1}^{-}$$

인접 항은 스트링이 상쇄되어 국소적 파울리 표현이 된다. 그러나 장거리 호핑 $c_j^{†}{c}_k$ ($|j-k|>1$)에서는 $Z_{j+1}\cdots Z_{k-1}$이 남아 $O(N)$ 길이 파울리 스트링이 발생한다.

---

예시·응용

수소 분자(${\text{H}}_2$) 양자 시뮬레이션

최소 기저(STO-3G)에서 ${\text{H}}_2$는 4개의 스핀 궤도를 갖는다. JW 변환 후 해밀토니안은 다음과 같은 형태가 된다.

$$H=g_{0}I+g_1{Z}_0+g_2{Z}_1+g_3{Z}_0{Z}_1+g_4{Y}_0{Y}_1+g_5{X}_0{X}_1$$

계수 $g_i$는 단전자·이전자 적분으로 결정되며, 이 파울리 표현에 VQE(변분 양자 고유값 분해) 알고리즘을 직접 적용한다.

# OpenFermion + Qiskit을 이용한 H2 JW 변환 예시 (개념 코드)
from openfermion import FermionOperator, jordan_wigner
from openfermion.utils import count_qubits

# 간단한 2-모드 호핑 항 생성
hop = FermionOperator('0^ 1', -1.0) + FermionOperator('1^ 0', -1.0)

# JW 변환
jw_op = jordan_wigner(hop)
print(jw_op)
# 출력 예: -0.5 [X0 X1] + -0.5 [Y0 Y1]

스케일링과 한계

항목	Jordan–Wigner	Bravyi–Kitaev
스트링 길이	$O(N)$	$O(\log N)$
큐비트 수	$N$	$N$
구현 복잡도	낮음	중간

장거리 상호작용이 많을수록 JW 스트링의 깊이 비용이 커져, 대형 분자에서는 Bravyi–Kitaev 변환이나 페르미온-프리 부분 공간 기법이 대안으로 사용된다.

---

정리

Jordan–Wigner 변환은 페르미온 대수의 반교환 관계를 파울리 Z 스트링으로 인코딩하는 정확한 동형(isomorphism)이다. 1차원 국소 모델에서는 스트링이 상쇄되어 효율적이지만, 비국소 항이 많은 경우 회로 깊이가 $O(N)$으로 증가한다. 양자화학 해밀토니안의 양자 컴퓨터 구현, VQE, 위상 추정 알고리즘의 전처리 단계로서 핵심적인 역할을 한다.