Hadronic tensor in lattice gauge theories by quantum computing

기술 요약: 양자 컴퓨팅을 이용한 격자 게이지 이론에서의 하드론 텐서

문제 정의
하드론 텐서 $W^{\mu\nu}(q)$는 하드론의 비섭동적 내부 구조를 부호화하며, 레프톤-하드론 산란을 이해하는 데 핵심적인 역할을 한다. 유클리드 격자 QCD는 제1원리 기반의 프레임워크를 제공하지만, 하드론 텐서를 추출하기 위해서는 유클리드 데이터로부터 실시간 민코프스키 공간의 응답을 재구성해야 하며, 이는 역문제가 되는 불량 설정 문제(ill-posed inverse problem)이다. 양자 시뮬레이션은 양자 상태 수준에서 실시간 역학을 직접 시뮬레이션할 수 있게 함으로써 자연스러운 대안을 제시한다. 그러나 저차원 게이지 이론에서 하드론 텐서를 계산하고 폼 팩터(form factor)와 같은 물리적 관측량을 추출하기 위한 견고한 양자 알고리즘을 개발하는 것은, 하드론 구조에 대한 양자 컴퓨팅 접근법을 검증하기 위한 중요한 벤치마크로 남아 있다.

방법론
저자들은 (1+1)차원 $U(1)$ (슈윙거 모델) 및 $SU(2)$ 격자 게이지 이론에서 실시간 전류-전류 상관 함수를 통해 하드론 텐서를 평가하기 위한 양자 컴퓨팅 지향적 프레임워크를 제안한다. 방법론은 다음 단계로 진행된다:

1. 격자 정식화 (Lattice Formulation): 저자들은 유한한 격자 간격에서도 전하 켤레 대칭성(charge conjugation symmetry)을 보존하는 윌슨 페르미온(Wilson fermions)을 활용한다. 이 대칭성은 이산적인 양자수, 특히 $C$-패리티(C-parity)에 의해 하드론 상태와 전류 행렬 요소를 분류하는 데 매우 중요하다. 게이지 장은 가우스 법칙(Gauss's law)을 풀어 제거하며, 이를 통해 이론을 순수하게 페르미온 장의 관점으로 재정식화한다.
2. 큐비트 매핑 (Qubit Mapping): 해밀토니안과 전류 연산자는 조던-위그너 변환(Jordan-Wigner transformation)을 사용하여 큐비트로 매핑된다. $U(1)$ 모델의 경우, 페르미온은 인덱스 $k=2n+s-1$을 가진 큐비트로 매핑된다. 색 자유도(color degrees of freedom)를 포함하는 $SU(2)$모델의 경우, 매핑은$k=4n+2(s-1)+c$를 사용한다.
3. 상태 준비 (State Preparation): 대상 하드론 상태(메존 및 바리온)는 양자수 분별 변분 양자 고유값 솔버(quantum-number-resolving VQE)를 사용하여 준비된다. 이는 보존된 전하(운동량, 전하, 바리온 수)와 교환되는 해밀토니안 분해를 사용하는 양자 교대 연산 안사츠(QAOA)를 채택한다. 참조 상태는 국소적 색 단일항(local color-singlet) 상태들의 텐서 곱으로 구성되며, 전역 참조 상태를 준비하기 위해 디케 상태(Dicke states)의 보조 큐비트가 사용된다.
4. 상관 함수 시뮬레이션 (Correlation Function Simulation): 실시간 전류-전류 상관 함수 $\langle h | e^{iHt} J_\mu e^{-iHt} J_\nu | h \rangle$는 실수부와 허수부를 추출하기 위해 보조 큐비트 회로(하다마르 테스트)를 사용하여 시뮬레이션된다. 시간 진화는 표준 트로터화(Trotterization)를 통해 구현된다.
5. 추출 (Extraction): 하드론 텐서는 시뮬레이션된 상관 함수의 푸리에 변환을 수행함으로써 얻어진다. 이후 폼 팩터는 하나의 입자 중간 상태에 해당하는 특정 에너지-운동량 영역에 대해 텐서를 적분함으로써 추출된다.

주요 기여 및 결과
본 연구는 $U(1)$ 및 $SU(2)$ 이론에 대한 양자 회로를 시뮬레이션하는 클래식 하드웨어 상에서 이 프레임워크를 구현하고 벤치마킹하였다:

• 스펙트럼 구조 (Spectral Structure): 계산된 하드론 텐서 $W^{00}(q)$는 최저 에너지 상태의 에너지 차이에 상응하는 명확한 스펙트럼 피크를 보여준다. $U(1)$ 슈윙거 모델에서 결과는 기대되는 선택 규칙을 입증한다: $C$-짝(even) 초기 상태에 대해서는 $C$-짝 중간 상태(스칼라 메존)만이 텐서에 기여하며, $C$-홀(odd) 상태(의사스칼라 메존)는 기여가 사라진다. 이는 스태거드 페르미온(staggered fermion) 구성에서 위반될 가능성이 있다고 언급된 것과 대조적으로, 윌슨 페르미온이 전하 켤레 대칭성을 보존하는 데 유용함을 검증한다.
• 폼 팩터 추출 (Form Factor Extraction): 저자들은 $SU(2)$이론에서 메존 및 바리온 상태의 탄성 폼 팩터를 성공적으로 추출하였다. 추출된 폼 팩터$|F(Q^2)|^2$는 직접 계산 및 정확한 대각화(ED) 결과와 강한 일치를 보인다.
• 벤치마킹 (Benchmarking): 하드론 텐서 추출과 직접 계산 사이의 상대 오차는 시간 절단($n_t$)이 증가함에 따라 감소하며, 이는 선택된 시뮬레이션 파라미터가 필요한 정확도를 달取得하기에 충분함을 확인시켜 준다. $SU(2)$바리온 폼 팩터는 상태의 총 전하와 운동량 전이$Q^2$에 대한 비자명한 의존성을 올바르게 반영한다.

의의 및 주장
본 논문은 양자 알고리즘을 사용하여 저차원 게이지 이론에서 하드론 텐서를 계산하기 위한 구체적이고 검증된 프레임워크를 제공한다고 주장한다. 주요 의의는 다음과 같다:

1. 실시간 전류-전류 상관 함수를 신뢰성 있게 시뮬레이션하여 하드론 텐서를 추출할 수 있음을 입증하였다.
2. 하드론 폼 팩터를 이 텐서로부터 직접 추출할 수 있으며, 이는 심층 비탄성 산란(DIS) 구조 함수에 집중된 기존 양자 컴퓨팅 노력에 대한 중요한 보완책이 된다.
3. 윌슨 페르미온의 사용은 탄성 기여를 격리하고 전하 켤레 대칭성을 통해 신호를 해석하는 데 더 깨끗한 설정을 제공한다.

저자들은 현재의 작업이 격자 크기와 운동량 해상도의 제약으로 인해 낮은 $Q^2$ 영역에 국한되어 있지만, 동일한 알고리즘 프레임워크가 DIS 영역으로 확장 가능하도록 설계되었다고 언급하였다. 그들은 하드론 텐서가 향한 결함 허용 양자 컴퓨터(fault-tolerant quantum computers)의 이점을 입증하기 위한 유망한 관측량이라고 단언한다. 왜냐하면 심층 비탄성 영역에 접근하는 것은 현재의 클래식 시뮬레이션 능력을 넘어서는 훨씬 더 큰 큐비트 수를 요구하기 때문이다.