Optimizing Symmetry Informed Probabilistic Error Cancellation

기술 요약: 대칭 정보 기반 확률적 오류 제거의 최적화

문제 정의

확률적 오류 제거(Probabilistic Error Cancellation, PEC)와 같은 양자 오류 완화(Quantum Error Mitigation, QEM) 기술은 노이즈가 있는 중간 규모 양자(NISQ) 장치로부터 정확한 결과를 추출하는 데 필수적이다. 그러나 PEC는 시스템 크기와 오류 확률에 따라 샘플링 비용이 기하급급수적으로 증가하는 문제를 겪는다. 양자 오류 검출(Quantum Error Detection, QED)은 대칭 측정(symmetry measurement)을 통해 사후 선택(post-selection)을 수행함으로써 이러한 비용을 줄일 수 있지만, 대칭 측정 회로 자체에 내재된 노이즈가 QED의 이점을 상쇄하여 결과적으로 PEC 단독 사용보다 나은 이점을 없애버릴 수 있다. 본 연구에서 다루는 핵심 문제는 미검출 오류(undetectable errors)의 감소와 측정 과정에서 발생하는 노이즈 사이의 균형을 맞추어 전체 완화 오버헤드를 최소화하기 위해 대칭 측정 구성을 어떻게 최적으로 선택할 것인가 하는 점이다.

방법론

저자들은 QED를 PEC와 통합하고, 대칭 측정의 선택을 고전적 최적화 문제로 취급하는 PEC+QED 프레임워크를 제안한다.

1. 하이브리드 완화 프레임워크:

   • QED: 안정자(stabilizer, 대칭)를 측정하여 측정된 고유값이 기대값과 편차를 보이는 실행(run)을 폐기함으로써 오류를 검출한다.
   • PEC: 측정된 모든 안정자와 교환(commute)하는 "미검출 가능한" 오류들에 대해서만 적용되어 평균적으로 그 효과를 상쇄한다.
   • 비용 모델: 총 샘플링 비용은 미검출 오류에 대한 PEC 오버헤드와 QED 오버헤드(검출되지 않을 확률의 역수)의 곱이다. 결정적으로, 대칭 측정 회로($U_{SYM}$)에 의해 도입되는 노이즈는 편향(bias)이나 분산(variance)을 증가시키는 추가적인 비용으로 모델링된다.

2. 최적화 정식화:
   저자들은 안정자 선택을 **집합 피복 문제(set covering problem)**의 변형으로 구성하였다. 후보 안정자 집합 $S$가 주어졌을 때, 목표는 비용 함수 $\zeta(C)$를 최소화하는 부분 집합 $C \subseteq S$를 찾는 것이다.

   • 목표: 미검출 오류의 비용(PEC 오버헤드를 결정함)과 대칭 측정 자체의 비용의 합을 최소화한다.
   • 접근 방식:
     • 대칭 회로 완화(Symmetry Circuit Mitigation): 대칭 회로를 완화하여 편향을 제거하고 총 준확률(quasi-probability) 비용을 최소화한다고 가정한다. 이는 이득 항이 부서브모듈러(submodular)인 제약된 집합 피복 문제로 정식화되며, 성능 보증이 있는 탐욕적 근사 알고리즘(greedy approximation algorithms)을 사용할 수 있게 한다.
     • 지연된 대칭 측정(Deferred Symmetry Measurements): 대칭이 관측량(observable) 이후에 측정된다고 가정하며, 이 경우 측정 노이즈가 관측량을 직접적으로 편향시키지는 않지만 허위 검출을 통해 분산을 증가시킨다. 이 정식화는 서브모듈러 함수의 차이를 포함하므로 휴리스틱 최적화 방법이 필요하다.
   • 오류 전파: 이 방법은 오류가 회로(특히 클리포드 및 파울리 회전 레이어)를 통해 어떻게 전파되는지를 고려하여, 특정 시점에서 어떤 오류가 검출 가능한지를 결정한다.

3. 수치 실험:
   본 프레임워크는 두 가지 서로 다른 양자 태스크에 대해 테스트되었다:

   • GHZ 상태 준비: 선형 깊이(linear-depth) 및 로그 깊이(logarithmic-depth) 회로를 모두 사용하여 $n$-큐비트 GHZ 상태를 시뮬레이션하였다.
   • 페르미-허버드 모델 역학(Fermi-Hubbard Model Dynamics): 일반화된 초고속 인코딩(Generalized Superfast Encoding, GSE)을 사용하여 정사각형 격자 상의 스핀 없는 페르미-허버드 모델의 시간 진화를 시뮬레이션하였다.

주요 결과

1. GHZ 상태 출력 분포

• 선형 깊이 회로: 선형 깊이 회로의 경우, 표준적인 국소 안정자(예: $Z_i Z_{i+1}$)는 국소 측정의 노이즈 비용이 PEC 오버헤드 감소 효과를 상쇄하기 때문에 PEC 단독 사용보다 이점을 제공하기에 불충분했다. 최적화는 비국소 안정자(예: $Z_0 Z_{n-1}$)가 순 이득을 달려하기 위해 필수적임을 식별해 냈다. 최적화된 비국소 안정자를 사용했을 때, PEC+QED는 $n=50$에서 PEC 대비 총 제곱 오차(Total Square Error, TSE)를 거의 10배 가까이 감소시켰다.
• 로그 깊이 회로: 이러한 얕은 회로는 유휴 노이즈(idling noise)의 영향을 덜 받으므로, 대칭 측정의 상대적 비용이 더 높다. 결과적으로 PEC+QED의 PEC 대비 이점은 더 제한적이었다. $n \ge 15$에서 이점이 존재하기는 했으나, 더 큰 $n$에 대해서는 경험적 샘플링 비용이 PEC 단독 사용과 유사한 경우가 많았으며, 이는 회로 구조와 오류 전파에 대한 민감도를 보여준다.

2. 페르미-허버드 모델 시간 역학

• 관측량 추정: $2 \times 2$ 격자에 대해, PEC+QED는 해밀토니안 항 및 버텍스 연산자 곱을 추정하는 데 있어 단독 PEC 및 QED보다 일관되게 우수한 성능을 보였다. 이는 모든 진화 시간 동안 가장 낮은 평균 제곱 오차(RMSE)를 달s성했다.
• 상관 함수(Correlators):
  • 이점점 전하 상관 함수(Two-point charge correlator): PEC+QED는 가장 낮은 RMSE를 유지했으며, 회로 깊이가 증가함에 따라 성능 저하율이 PEC보다는 QED에 더 가깝게 나타났다.
  • 반경 방향 전하 상관 함수(Radial charge correlator): 값이 0에 가까운 경우, PEC와 PEC+QED의 성능이 비슷하게 나타났는데, 이는 이점이 신호 크기가 큰 관측량에서 더 두드러짐을 시사한다.
• 확장성 및 부분 안정자: 격자 크기 $m$이 증가함에 따라, 모든 방법의 샘플링 오버헤드는 초지수적으로 증가했다. 그러나 최적화 프레임워크는 더 큰 시스템($m=5, 6$)에서 가용한 루프 연산자의 일부 안정자만을 측정하는 것이(예: 78~83%) 총 샘플링 비용을 최소화한다는 것을 밝혀냈다. 이러한 "부분적" 구성은 모든 안정자를 측정하는 것보다 오버헤드를 줄였으며, 시스템 크기가 커질수록 절감 효과도 증가했다.

의의 및 주장

본 논문은 회로 특화형(circuit-specific) 튜닝이 실질적인 이점을 얻기 위해 매우 중요하다는 점을 주장한다. 주요 기여는 다음과 같다:

1. 대칭 사용의 최적화: 모든 가용 대칭을 무분별하게 적용하는 것은 최적이 아님을 입증하였다. 대칭 선택을 고전적 최적화 문제로 정식화함으로써, 노이즈가 있는 대칭 측정의 영향을 체계적으로 억제할 수 있다.
2. 맥락 의존적 이점: PEC+QED의 이점은 보편적이지 않다. 이는 회로 구조(예: 선형 vs 로그 깊이)와 검출 가능한 오류의 분포에 따라 달라진다. 예를 들어, 선형 깊이 GHZ의 경우 비국소 안정자가 필수적이며, 페르미-허버드의 경우 부분 안정자 세트가 최적이다.
3. 결함 허용 원칙의 근미래적 가치: 결과는 안정자 코드 및 대칭 검증과 같은 결함 허용 설계 원칙이, 확률적 오류 제거와 결합될 때 적절히 최적화된다면 근미래의 노이즈가 있는 하드웨어에서 즉각적인 가치를 제공할 수 있음을 시사한다.
4. 확장성: 더 큰 시스템에서 안정자의 부분 집합을 측정함으로써 샘플링 오버헤드를 줄일 수 있다는 능력은, 이러한 하이브리드 기술을 더 복잡한 시뮬레이션으로 확장할 수 있는 경로를 제시한다.

저자들은 PEC+QED가 완전한 결함 허용 양자 컴퓨팅(FTQC)을 대체하는 것은 아니지만, 대칭 측정 구성이 최적화될 때, 대칭 측정 능력과 측정 노이즈 사이의 트레이드오프를 엄격히 관리함으로써 근미래의 장치에서 실질적인 양자 우위를 달성하기 위한 유효한 전략이 될 수 있다고 결론짓는다.