Certifying fermionic Gaussian states (and a little more) with optimal precision dependence

기술 요약: 최적의 정밀도 의존성을 갖는 페르미온 가우시안 상태 인증

문제 정의
슬레이터 행렬식(Slater determinants)과 바르딘-쿠퍼-슈리퍼(BCS) 쌍 상태를 포함하는 페르미온 가우시안 상태(fGSs)는 페르미온 계의 양자 시뮬레이션을 위한 근본적인 참조 상태 역할을 한다. 이러한 상태들은 양자 하드웨어에서 효율적으로 준비될 수 있지만, 장치가 특정 타겟 fGS를 올바르게 준비했는지 검증하는 것은 여전히 과제로 남아 있다. 기존의 인증 프로토콜은 샘플 복잡도, 측정 적응성(adaptivity), 그리고 인증 가능한 상태의 범주 사이에서 트레이드오프에 직면해 있다:

• 충실도 추정(Fidelity estimation) (예: 충실도 증인/fidelity witnesses)은 견고하지만 $O(\epsilon^{-2})$의 샘플을 요구하며, 이는 인증용으로는 최적이 아니다.
• 양자 상태 검증(QSV) 프로토콜은 $O(\epsilon^{-1})$의 최적 스케일링을 달론할 수 있으나, 종종 얽힌 측정(entangled measurements)을 요구하거나 "하르-전형적(Haar-typical)" 상태로 제한되어 fGS와 같은 구조화된 가족을 다루지 못한다.
• 오라클 기반 프로토콜은 $O(\epsilon^{-1})$ 스케일링으로 임의의 순수 상태를 인증할 수 있지만, $d-1$개의 큐비트에 대한 적응형 측정과 임의의 곱 상태 기저(product bases)에서의 확률 오라클 접근이 필요하다.

본 연구가 다루는 핵심 질문은 모든 순수 페르미온 가우시안 상태에 적용 가능하면서도, 단일 큐비트 측정을 사용하고, 효율적인 클래식 처리를 유지하며, 동시에 최적의 정밀도 스케일링($O(\epsilon^{-1})$)을 달성할 수 있는 방법이 존재하는가 하는 점이다.

방법론
저자들은 완벽한 완전성(perfect completeness)을 갖는 양자 상태 검증(QSV) 프레임워크 내에서 작동하는 적응형 인증 프로토콜(알고리나 1)을 제안한다. 이 프로토콜은 단일 큐비트 측정을 활용하며, 페르미온 가우시안 상태의 특정한 대수적 구조에 의존한다.

1. 프로토콜 구조: 각 라운드에서 프로토콜은 두 가지 테스트 중 하나를 무작위로 선택한다:

   • 패리티 테스트(Parity Test): 상태가 올바른 페르미온 패리티 섹터에 있는지 확인하기 위해 모든 $d$개의 큐비트를 계산 기저($Z$-기저)에서 측정한다.
   • 상관 테스트(Correlation Test):
     • 무작위로 모드 쌍 $\{k_1, k_2\}$를 선택한다.
     • 나머지 $d-2$개의 큐비트를 계산 기저에서 측정한다.
     • 큐비트 $k_1$을 $X$-기저에서 측정한다.
     • 이전 측정 결과들에 기초하여 마지막 큐비트 $k_2$의 조건부 상태를 계산한다.
     • 이 조건부 상태를 포함하는 기저에서 큐비트 $k_2$를 측정한다.
   • 프로토콜은 모든 테스트를 통과하는 경우에만 수락된다.

2. 이론적 프레임워크:

   • 프로토콜의 효율성은 검증 연산자 $\Omega$의 스펙트럼 갭 $\gamma(\Omega)$에 의해 결정된다.
   • 저자들은 검증 연산자를 **인증 워크(certification walk)**라고 불리는 마르코프 체인으로 매핑하는데, 이는 $d \leftrightarrow d-2$ 다운-업 워크(two-site Glauber dynamics과 동일)이다.
   • 스펙트럼 갭은 타겟 상태의 계산 기저 분포 $\pi(x) = |\langle x|\psi\rangle|^2$를 분석함으로써 하한값이 결정된다.
   • 결정적으로, 증명은 순수 fGS에 대해 $\pi(x)$의 생성 다항식이 열린 우반평면(open right-half plane)에서 **영점이 없음(zero-free)**을 활용한다. 공분산 행렬($\Gamma^T\Gamma = I$)의 플래피언(Pfaffian) 구조로부터 유도된 이 성질은 고차원 확장기(high-dimensional expanders) 이론의 엔트로피 수축 논거를 통해 인증 워크의 빠른 혼합(rapid mixing)을 보장한다.

주요 기여 및 결과

1. 최적의 샘플 복잡도: 이 프로토콜은 $d$-모드 순수 페르미온 가우시안 상태를 불충실도(infidelity) $\epsilon$와 신뢰도 $1-\delta$로 인증하는 데 다음의 복사본을 사용한다:
   $$N(\epsilon, \delta, d) \le \left\lceil \frac{d(d-1)}{\epsilon} \ln \frac{1}{\delta} \right\rceil$$
   $\epsilon^{-1}$ 의존성은 최적이며, 얽힌 측정을 사용하는 프로토콜의 스케일링과 일치한다. 시스템 크기에 대한 $O(d^2)$ 의존성은 기존의 비적응형 또는 추정 기반 방식의 $O(d^4)$ 또는 $O(d^3)$ 스케일링에 비해 상당한 개선이다.

2. 측정 및 처리 효율성:

   • 측정: 단일 큐비트 측정만이 필요하다. 결정적으로, 단 하나의 큐비트(상관 테스트의 마지막 큐비트)만이 이전 결과에 따라 적응적으로 측정된다.
   • 클래식 처리: 복사본당 클래식 처리 시간은 조건부 공분산 행렬과 플래피언 계산에 의해 지배되는 $O(d^3)$이다.

3. 경계의 엄밀성(Tightness of Bounds):

   • 저자들은 특정 물리적으로 유의미한 상태들, 즉 완전히 이중 결합된(fully dimerized) SSH 체인의 바닥 상태와 BCS 쌍 상태에 대해 $O(d^2)$ 경계가 타이트함을 증명한다. 이 상태들은 스펙트럼 갭 하한값 $\gamma(L) = 2/[d(d-1)]$을 포화시킨다.
   • $d=14$까지의 수치 시뮬레이션은 "하르-전형적"(무작위) 가우시안 상태에 대해 스펙트럼 갭이 $O(d^{-1})$로 스케일링됨을 시사하며, 이는 샘플 복잡도가 최악의 경우 경계보다 $d$배 더 나은 $O(d\epsilon^{-1})$임을 의미한다.

4. 위상 드레싱된 상태(Phase-Dressed States)로의 확장:

   • 프로토콜은 가우시안 상태에 효율적으로 계산 가능한 대각 위상 $U_\theta = \sum_x e^{i\theta(x)}|x\rangle\langle x|$를 적용하여 얻은 효율적으로 위상 드레싱된 상태로 확장된다.
   • 인증 워크는 계산 기저 분포에만 의존하며, 이는 $U_\theta$에 대해 불변이므로 위상 드레싱된 상태의 샘플 복잡도는 변하지 않는다.
   • 이 범주에는 매치게이트(matchgate) 계산을 위한 비가우시안 "매직 상태(magic states)"인 4-모드 가족 $(|0000\rangle + |0011\rangle + |1100\rangle + e^{i\theta}|1111\rangle)/2$가 포함된다.

의의 및 주장
본 논문은 최적의 정밀도 스케일링과 최소한의 측정 적응성을 갖춘 모든 순수 페르미온 가우시안 상태를 인증하는 공개된 문제를 해결한다고 주장한다. 고차원 확장기 이론과 마르코프 체인 혼합 시간 사이의 연결을 통해, 저자들은 가우시안 상태의 대수적 성질(특히 생성 다항식의 영점이 없는 성질)과 검증 효율성 사이의 엄격한 연결 고리를 확립한다.

이 연구는 적응성과 샘플 복잡도 사이의 트레이드오프에서 중간 지점을 제안한다: $O(d^2\epsilon^{-1})$ 스케일링을 달성하기 위해 단 하나의 적응형 큐비트를 사용함으로써, $O(d^4\epsilon^{-2})$의 비용이 드는 비적응형 추정과 $O(d\epsilon^{-1})$의 비용이 드는 $d-1$개의 적응형 측정이 필요한 프로토콜 사이의 균형을 맞춘다. 저자들은 특정 물리적 상태에 대해 최악의 경우 경계가 타이트하지만, 무작위 상태에 대한 평균적인 동작은 더 유리하게 나타나며, 이는 일반적인 시나리오에서 추가적인 최적화의 가능성을 시사한다고 언급한다. 위상 드레싱된 상태로의 확장은 위상 함수가 효율적으로 계산 가능하다면 프로토콜의 효율성이 광범위한 비가우시안 수정에 대해 견고함을 보여준다.