Benchmarking non-Clifford gates using only Pauli twirling group

기술 요약: 오직 파울리 트월링 그룹만을 이용한 비-클리포드 게이트 벤치마킹

문제 정의
양자 프로세스의 정확한 벤치마킹은 결함 허용 양자 컴퓨팅(fault-tolerant quantum computation)을 개발하는 데 필수적이다. 그러나 표준 기술인 랜덤화된 벤치마킹(Randomized Benchmarking, RB)은 종종 상태 준비 및 측정(SPAM) 오류에 의해 혼동된다. RB는 그룹 트월링(group twirling)을 사용하여 노이즈 채널을 정규화함으로써 이 문제를 해결하지만, 실제 구현에서는 높은 충실도와 실험적 용이성 때문에 "로컬" 트월링 게이트(예: 파울리 또는 단일 큐비트 클리포드 게이트)를 선호한다. 여기서 중요한 격차가 존재한다. 로컬 트월링은 클리포드 게이트를 벤치마킹하는 데는 효과적이지만, 일반적인 다중 큐비트 비-클리포드 게이트에 적용될 때는 근본적인 한계에 직면한다. 기존의 비-클리포드 게이트 방식은 게이트 독립적 노이즈 가정을 위반하고 상당한 컴파일 오버헤드를 초р 발생하는 복잡한 다중 큐비드 트월링 그룹을 필요로 한다. 또한, 로컬 트월링 게이트가 특정 다중 큐비트 제어 위상(controlled-phase) 게이트의 노이즈 채널을 효과적으로 트월링할 수 없다는 것이 밝혀졌다. 결과적으로, 오직 로컬 연산만을 사용하여 비-클리포드 게이트를 특성화할 수 있는 견고한 SPAM-오류 프리 프로토콜이 부족한 실정이다.

방법론: 파울리 전사 특성 벤치마킹 (PTCB)
이를 해결하기 위해 저자들은 파울리 전사 특성 벤치마킹(Pauli Transfer Character Benchmarking, PTCB) 프로토콜을 제안한다. 핵심 혁신은 노이즈 채널 $\tilde{U}$에 대해 오직 파울리 트월링 그룹과 파울리 기저 SPAM만을 사용하여 두 개의 대칭적인 파울리 전사 행렬(Pauli Transfer Matrix, PTM) 요소의 곱, 즉 $\tilde{U}_{PQ} \tilde{U}_{QP}$를 추정하는 데 있다.

이 프로토콜은 다음 원칙에 따라 작동한다:

1. 가상 공액 (Virtual Conjugation): 노이즈 채널을 직접 트월링하는 대신, 프로토콜은 타겟 게이트 $U$와 클리포드 게이트 $C$를 결합하여 "트월링된" 채널을 구성한다. $C P C^\dagger = \pm Q$를 만족하도록 $C$를 선택함으로써($P$와 $Q$는 파울리 연산자), 비대각 PTM 요소 $\tilde{U}_{PQ}$를 효과적으로 대각 위치로 이동시킨다.
2. 가상 클리포드 쌍 (Virtual Clifford Pair): 모든 연산이 로컬(파울리) 상태를 유지하도록, 프로토콜은 가상 공액 클리포드 쌍($C$와 $C^\dagger$)을 사용한다. 회로 구현에서 시퀀스는 타겟 게이트 $\tilde{U}$, 그 다음 $C^\dagger$, 파울리 연산, 그리고 $C$ 순으로 진행된다. 결정적으로, 저자들은 $C^\dagger P_2 P_1^\dagger C$ 시퀀스가 단일 파울리 게이트로 컴파일될 수 있음을 입증했다. 이를 통해 프로토콜은 다중 큐비드 클리포드 컴파일과 관련된 노이즈 및 오버헤드를 피하면서 비대각 PTM 요소에 접근할 수 있다.
3. SPAM 강건성 (SPAM Robustness): 프로토콜은 파울리 그룹에 대한 그룹 트월링을 활용한다. 무작위 파울리 시퀀스를 평균화하고 특정 투영기(projectors, 파울리 게이트의 가중 합)를 적용함으로써, 방법론은 항 $(\tilde{U}_{PQ} \tilde{U}_{QP})^m$을 고립시킨다. 생존 확률(survival probability)은 지수 함수적으로 피팅되어 PTM 요소의 곱을 추출하며, 이 과정은 SPAM 오류에 대해 강건하게 설계되었다.
4. 충실도 추정 (Fidelity Estimation): $U^2 = I$를 만족하는 유니터리 게이트(자기-수반, self-adjoint)의 경우, 프로토콜은 프로세스 충실도를 추정한다. 저자들은 추정된 PTM 곱의 기하 평균을 기반으로 충실도에 대한 하한(lower bound)을 도출한다. 그들은 노이즈 채널이 항등 연산(identity)에 충분히 가까울 때 이 하한이 타이트한 근사치임을 언급한다. 또한, 이 프로토콜은 역 게이트 $U^\dagger$를 회로 구조에 포함시킴으로써 비-자기-수반 게이트로 확장 가능하다.

주요 기여

• PTCB 프로토콜: 다중 큐비드 트월링 그룹의 필요 없이 오직 로컬 파울리 연산만을 사용하여 PTM 요소의 곱을 추정하는 새로운 벤치마킹 방법을 도입하였다.
• 비-클리포드 벤치마킹: SPAM 오류에 강건한 특정 비-클리포드 게이트(특히 $U^2=I$를 만족하는 게이트)를 위한 충실도 벤치마킹 체계를 개발하였다.
• 가상 구현: 비대각 PTM 요소에 접근하면서도 모든 물리적 연산의 로컬성을 유지하기 위해 가상 공액 클리포드 쌍을 사용하였다.
• 이론적 프레임워크: 노이즈를 직접 트월링하는 대신 타겟 게이트와 클리포드 게이트의 조합으로 트월링된 채널을 구성함으로써, 로컬 트월링이 비-클리포드 게이트를 특성화할 수 있도록 확장될 수 있음을 입증하였다.

결과
저자들은 Toffoli 게이트를 구체적인 예시로 사용하여 수치 시뮬레이션을 통해 프로토콜을 검증하였다. 노이즈 모델에는 로컬 디페이징(dephasing), 로컬 진폭 감쇠(amplitude damping), 그리고 유니터리 노이즈(CNOT 게이트에 대한 제어 회전 오류로 모델링됨)가 포함되었으며, 불충실도(infidelities)는 0.01에서 0.04 사이였다.

• 정확도: 실제 프로세스 불충실도와 추정된 불충실도(도출된 하한 사용) 사이의 차이는 모든 시뮬레이션 노이즈 채널에 대해 $1 \times 10^{-4}$를 초과하지 않을 정도로 무시할 만한 수준이었다.
• SPAM 강건성: 시뮬레이션은 프로토콜이 SPAM 오류에 대해 여전히 강건하며, SPAM 오류율에 관계없이 추정치가 실제 값으로 수렴함을 확인하였다.
• 샘플링 효율성: 연구는 "외부 샘플링"($(P,Q)$ 쌍 선택)과 "내부 샘플링"(파울리 시퀀스 선택)에 필요한 샘플 크기를 분석하였다. 적절한 수의 외부 샘플($M=30$)과 내부 샘플($M'$)이면 수렴하기에 충분하며, 회로 반복 횟수가 추정 정확도에 미치는 영향은 미미하다는 것을 결정하였다.

의의 및 주장
본 논문은 오직 로컬 연산만을 사용하여 비-클리포드 게이트를 벤치마킹할 수 있는 이론적 경로를 제공한다고 주장한다. 이는 비-클리포드 게이트가 범용 양자 컴퓨팅에 필수적임에도 불구하고 현재의 로컬 트월링 방식으로는 특성화하기 어렵다는 점을 고려할 때, 결함 허용 양자 컴퓨팅을 향한 중요한 단계로 제시된다. 저자들은 자신들의 방법이 다중 큐비드 트월링 그룹의 오버헤드 없이 다중 큐비드 비-클리포드 게이트를 특성화하는 문제를 해결한다고 강조한다.

저자들은 즉각적인 확장성과 분산(variance) 문제에 대해 겸허한 태도를 유지한다. 그들은 PTM 항이 지수적으로 감소하는 다중 큐비드 게이트(예: 제어-X 게이트)의 경우, 현재의 프레임워크가 수렴을 위해 큰 샘플링 수를 요구할 수 있음을 인정한다. 또한, 현재 프로토콜이 Toffoli 게이트의 충실도 추정에서 무시할 수 없는 분산을 보인다는 점을 언급하며, 이는 근사적인 응용 분야에서 최적화의 여지가 있음을 시사한다. 향후 연구로는 샘플링 오버헤드를 더욱 줄이기 위해 다른 트월링 그룹(예: 로컬 클리포드 그룹)이나 다른 충실도 지표를 탐구할 것을 제안한다.