First-Quantized Relativistic Quantum Simulation with Periodic and Dirichlet Boundary Conditions

기술 요약: 주기적 및 디리클레 경계 조건을 갖는 제1 양자화 상대론적 양자 시뮬레이션

문제 정의
유한 도메인에서의 상대론적 양자 시뮬레이션은 상대론적 운동 에너지 연산자가 운동량의 비선형 함수라는 근본적인 문제에 직면해 있으며, 이는 특히 약한 상대론적 영역에서 고차 운동량 모멘트($\langle \hat{p}^2 \rangle$ 및 $\langle \hat{p}^4 \rangle$)의 추정을 요구한다. 큐비트 레지스터를 사용하는 제1 양자화 격자 인코딩에서 자연스러운 이동(shift) 연산은 순환적(cyclic)이다. 이러한 순환적 변환은 주기적 경계 조건(PBC)에는 완벽하게 부합하지만, 파동함수가 경계에서 0이 되어야 하는 디리클레 경계 조건(DBC)에서는 물리적으로 타당하지 않은 "되돌아오는(wrap-around)" 결합을 유발한다. 기존 방법들은 경계 조건을 이산화의 사후 처리 대상으로 취급하는 경우가 많으나, 본 연구는 경계 조건이 유한 도메인 해밀토니안 정의의 본질적인 부분이며, 따라서 PBC와 DBC를 위한 별도의 격자 운동량 연산자와 추정 전략이 필요하다고 주장한다.

방법론
저자들은 $L$-큐비트 위치 레지스터($N=2^L$ 격자점)를 사용하여 1차원 구간 길이 $R$ 상의 양의 에너지 제1 양자화 상대론적 단일 입자 연산자를 시뮬레이션하기 위한 프레임워크를 개발한다.

1. 해밀토니안 정식화:

   • 약한 상대론적 전개: 상대론적 운동 연산자 $\hat{T}_{rel}$은 운동량의 4차 항까지 다음과 같이 전개된다: $\hat{T}_{rel} \approx \frac{\hat{p}^2}{2m} - \frac{\hat{p}^4}{8m^3c^2}$.
   • PBC 구현: 격자 운동량 연산자 $\hat{P}_P$는 유니타리 순환 이동 연산자 $\hat{A}$를 통해 정의된다. 모멘트 $\langle \hat{P}_P^2 \rangle$ 및 $\langle \hat{P}_P^4 \rangle$는 이동 모멘트 $\langle \hat{A} \rangle$와 $\langle \hat{A}^2 \rangle$의 실수부만으로 완전히 표현된다.
   • DBC 구현: 목표는 개방형 체인(open-chain) 유한 차분 연산자이다. 저자들은 순환 연산자(DBC 격자 간격으로 평가된)를 취하고, 물리적으로 타당하지 않은 되돌아오는 연결을 상쇄하기 위해 경계 국소 보정 항을 추가함으로써 이를 구축한다. 연산자 $\hat{P}_D$는 경계 투영 연산자($\hat{E}_0, \hat{E}_1, \hat{E}_2$)에 의존하는 경계 국소 항과 순환 부분의 합으로 분해된다. 여기서 투영 연산자는 끝점 확률 및 근접 경계 코히어런스에 의존한다.

2. 양자 추정기:

   • 이동 모멘트: PBC와 DBC의 벌크(bulk) 모두에 대해, $\langle \hat{A}^l \rangle$ ($l=1, 2$)의 실수부는 제어된 유니타리 프리미티브를 이용한 하다마드 테스트 스타일의 회로를 사용하여 추정된다.
   • 경계 중첩(Boundary Overlaps): DBC의 경우, 보정 항은 "경계 중첩 항등식"을 사용하여 추정된다. 이 방법은 계산 기저 확률($P_f, P_g$)과 중첩 상태 $|s^+_{fg}\rangle = (|f\rangle + |g\rangle)/\sqrt{2}$의 확률만을 사용하여 코히어런스 $\langle |f\rangle\langle g| + |g\rangle\langle f| \rangle$를 재구성한다. 이는 복잡한 위상 추정이나 전체 상태 토모그래피의 필요성을 배제한다.
   • 퍼텐셜 에너지: 대각 퍼텐셜은 직접적인 위치 기저 샘플링과 고전적 후처리 과정을 통해 추정된다.

주요 기여

1. 경계 해결 해밀토니안: 경계 조건이 도메인의 물리적 경계 제약과 일치하도록 운동량 연산자를 보장하는, 경계가 해결된 약한 상대론적 격자 해밀토니안 정식화.
2. 추정기 분해: 필요한 $\langle \hat{P}^2 \rangle$ 및 $\langle \hat{P}^4 \rangle$ 모멘트를 재구성하는 관측 가능한 추정량의 유도. 결정적으로, DBC 추정기는 근본적으로 다른 측정 프리미티브가 아니라, 순환 추정기에 유한한 집합의 경계 국소 항이 더해진 분해 형태임을 보여준다.
3. 검증 프레임워크: 유한 격자 이산화, 약한 상대론적 절단, 통계적 측정 오차라는 세 가지 뚜xt한 오차원을 분리하는 종합적인 검증 전략.

결과
프레임워크는 여러 벤치마크를 통해 분석적 및 수치적으로 검증되었다:

• PBC 자유 입자: 격자 분산 관계가 격자 크기가 증가함에 따라 연속체 상대론적 에너지로 수렴함을 입증하였으며, 섭동 추정기가 정확한 제곱근 격자 에너지에 대한 절단 오차를 올바르게 포착함을 보여주었다.
• DBC 무한 퍼텐셜 우물: 경계 보정된 순환 추정기가 개방형 체인 유한 차분 연산자(및 해석적 사인 스펙트럼)의 고윳값을 기계 정밀도 수준(상대적 불일치 $< 10^{-11}$)으로 재현함을 확인하였다.
• 매끄러운 퍼텐셜: 주기적 코사인(PBC) 및 조화 진동자(DBC) 퍼텐셜에 대해 테스트하였다. 전체 에너지 워크플로우(운동 + 퍼텐셜)는 직접 행렬 평가와 추정기 재구성 사이의 시각적 구분이 불가능할 정도로 일치하였으며, 최대 절대 차이는 $10^{-7}$ 수준이었다.
• 통계적 스케일링: 유한 샷(finite-shot) 시뮬레이션을 통해 운동 에너지 추정기의 제곱평균제곱근 오차(RMSE)가 샷 수 $M$에 따라 $O(M^{-1/2})$로 스케일링됨을 확인하였으며, 이는 표준 통계적 기대치와 일치한다. DBC 추정기는 추가적인 경계 측정을 위해 약간 더 큰 계수를 가졌으나 동일한 점근적 스케일링을 유지하였다.

의의 및 주장
본 논문은 경계 조건을 해밀토니안 정의의 근본적인 구성 요소로서 존중하는, 상대론적 양자 시뮬레이션을 위한 압축적이고 체계적인 방법론을 확립했다고 주장한다. 저자들은 자신들의 접근 방식이 주요 상대론적 보정을 위해 질적으로 새로운 측정 프리미티브를 요구하는 것이 아니라, 단순히 측정 가능한 관측량의 집합을 $\langle \hat{A} \rangle$에서 $\langle \hat{A} \rangle, \langle \hat{A}^2 \rangle$ 및 DBC를 위한 작은 집합의 경계 중첩 항으로 확장하는 것임을 강조한다.

본 연구는 상태의 운동량 지지(support)가 $mc$에 비해 작은 약한 상대론적 영역을 위해 명시적으로 설계되었다. 저자들은 시뮬레이션의 타당성이 추정 항등식 자체가 아니라, 물리적 상태가 이 조건을 만족하는지에 달려 있음을 언급한다(항등식 자체는 정의된 격자 연산자에 대해 엄밀하게 성립한다). 이 프레임워크는 연속체 시스템의 신뢰할 수 있는 상대론적 시뮬레이션을 향한 실질적인 단계로 제시되며, 더 복잡한 퍼텐셜과 기하학적 구조로 확장될 가능성을 가진다.