Exact chiral symmetry with quantum signal processing

기술 요약: 양자 신호 처리를 이용한 정확한 카이랄 대칭성

문제 정의
격자 양자 색역학(QCD)에서 비섭동적, 비평형 관측량을 양자 시뮬레이션하는 것은 페르미온 이중화(fermion doubling) 문제와 해밀토니안 형식에서의 카이랄 대칭성 보존이라는 중대한 과제에 직면해 있다. 유클리드 시공간에서는 긴스파르그-윌슨(Ginsparg-Wilson, GW) 관계식과 오버랩 연산자가 우아한 해결책을 제공하지만, 이에 상응하는 정준 해밀토니안 형태의 오버랩 페르미온은 그동안 부재했다. 도메인 벽 페르미온(domain-wall fermions)과 같은 기존 방식은 5차원 차원을 명시적으로 요구하여 큐비트 비용을 증가시키지만, 이는 해밀토니안 설정에 잘 매핑된다. 반대로, 오버랩 페르미온은 물리적 공간 차원 내에서 공식을 제공하지만, 윌슨-디락 해밀토니안의 부호 함수(sign function) $\varepsilon(h_W)$와 같이 구현하기 매우 까다로운 고도의 비국소적 전-대-전(all-to-all) 상호작용을 포함한다. 본 연구가 다루는 핵심 문제는 큐비트 메모리 비용과 게이트 복잡도 사이의 균형을 유지하면서, 정확한(또는 제어 가능한 수준으로 깨진) 카이랄 대칭성을 유지하는 효율적인 양자 알고리즘을 어떻게 구축할 것인가이다.

방법론
저자들은 오버랩 페르미온 해밀토니안을 시뮬레이션하기 위해 양자 신호 처리(Quantum Signal Processing, QSP) 알고리즘을 제안한다. 방법론은 다음과 같은 주요 단계로 진행된다:

1. 해밀토니안 공식화: 본 연구는 윌슨-디랙 단일 입자 해밀토니안 $h_W$를 사용하는 오버랩 해밀토니안 $H_{ov} = \psi^\dagger (\Gamma_0 + \varepsilon(h_W)) \psi$를 활용한다. 여기서 부호 함수 $\varepsilon(X) = X/\sqrt{X^\dagger X}$는 차수가 $M$인 다항식 $p_M(x)$로 근사된다.
2. 블록 인코딩(Block Encoding): 저자들은 "준비(prepare)" 연산자 $P$와 "선택(select)" 연산자 $S$를 사용하여 단일 입자 윌슨 해밀토니안 $\hat{h}_W$(게이지 장 포함)의 블록 인코딩을 구성한다. 이는 확장된 힐베르트 공간(보조 큐비트 포함) 내에서 유니터리 연산자 $U_{\hat{h}_W}$를 통해 해밀토니안을 인코딩한다.
3. 양자 신호 처리(QSP): 부호 함수 근사를 구현하기 위해 저자들은 QSP(구체적으로 양자 특이값 변환, QSVT)를 채택한다. 이를 통해 블록 인코딩된 연산자에 대해 차수 $M$인 다항식 $p_M(U_{\hat{h}_W})$를 적용할 수 있다. 다항식은 스펙트럼 갭 $[\kappa, 1]$ 내에서 오차 $\epsilon_e$를 가지도록 선택된다.
4. 시간 진화(Time Evolution): 오버랩 해밀토니안이 블록 인코딩되면, QSP를 사용하여 시간 진화 연산자 $e^{-iHt}$를 근사한다. 이때 필요한 게이트 수는 블록 인코딩 비용과 진화 시간에 따라 결정된다.

주요 기여 및 결과

• 알고리즘 구축: 본 논문은 제어 가능한 오차 $\epsilon_e$까지 GW 관계를 보존하는 오버랩 해밀토니안을 위한 구체적인 QSP 기반 알고리즘을 제공한다. 수정된 카이랄 연산자 $\hat{\gamma}_5$는 오차 $\epsilon_e$ 차수 내에서 근사 해밀토니안과 교환(commute)함이 입증되었다.
• 복잡도 분석:
  • 게이트 복잡도: 오버랩 해밀토니안을 블록 인코딩하는 비용은 $O(Q \kappa^{-1} \log(1/\epsilon_e))$로 스케일링된다. 여기서 $Q$는 격자 사이트 수(내부 자유도 포함)이며, $\kappa$는 스펙트럼 갭과 관련된다. 시간 진화를 위한 총 게이트 복잡도는 $O(Q \kappa^{-1} \log(1/\epsilon_e) [Qt + \log(1/\epsilon_t)])$로 스케일링된다.
  • 큐비트 비용: 알고리즘은 $O(Q + \log Q)$ 큐비트를 요구한다. 이는 $L_5$라는 추가 차원의 확장이 필요한 도메인 벽 페르미온의 $O(Q L_5)$ 큐비트 요구량에 비해 크게 감소한 수치이다.
  • 비교: 도메인 벽 페르미온은 기하학적 국소성 덕분에 (Suzuki-Trotter 등을 통해) 거의 선형적인 비용 $O(Q t \text{polylog})$를 누릴 수 있지만, 오버랩 형식은 부호 함수 근사의 비국소적 특성으로 인해 더 높은 게이트 깊이를 부담하게 된다. 그러나 오버랩 방식은 메모리 측면에서 우수한 점근적 스케일링을 제공한다.
• QSP의 물리적 해석: 저자들은 오차 $\epsilon_e$를 달성하기 위해 필요한 다항식 차수 $M$이 $M = O(\kappa^{-1} \log(1/\epsilon_e))$로 스케일링됨을 보여준다. 저자들은 이 스케일링을 도메인 벽 페르미온에서 오차가 $e^{-c L_5}$로 스케일링되는 $L_5$의 크기와 동일시한다. 따라서 QSP 구현은 회로의 깊이를 통해 추가 차원을 실질적으로 "구성"하며, 이는 오버랩 연산자와 도메인 벽 페르미온의 경계 이론 사이의 물리적 대응 관계를 반영한다.

의의 및 주장
본 논문은 정확한 카이랄 대칭성을 가진 디락 페르미온의 양자 시뮬레이션이 "거의 무료(nearly free)"라고 주장한다. 즉, 오버랩 해밀토니안을 적용하는 비용은 윌슨-디락 해밀토니안을 적용하는 것보다 (오차 허용 범위 측면에서) 로그 인자만큼만 더 높다는 것이다.

핵심 통찰은 QSP가 오버랩 연산자와 도메인 벽 페르미온의 추가 차원 사이의 알려진 대응 관계를 양자 알고리즘적으로 실현한다는 점이다. 여기에는 명시적인 트레이드오프가 존재한다:

• 도메인 벽 페르미온: 큐비트 비용은 높지만($O(Q L_5)$), 국소성 덕분에 게이트 깊이는 낮다.
• 오버랩 페르미온 (QSP를 통한): 큐비트 비용은 낮지만($O(Q)$), 비국소성으로 인해 게이트 깊이가 높다(시간 진화 시 최악의 경우 $O(Q^2)$ 스케일링).

저자들은 두 형식 사이의 선택이 하드웨어 제약 조건(큐비트 수 vs 회로 깊이)에 달려 있다고 결론짓는다. 또한 클래식 격자 QCD에서는 부호 함수를 위해 더 효율적인 유리 근사(예: Zolotarev)를 사용하지만, 이러한 방식은 표준 QSP와 직접적인 유사점이 없음을 언급하며 이를 향후 연구 방향으로 제시한다. 마지막으로, 저자들은 스케일링 결과가 게이지 장의 특정 인코딩 방식에 관계없이 견고함을 밝히면서도, 상수 계수는 달라질 수 있음을 명시한다.