Sampling hard circuits with verifiably high fidelity

문제 정의

샘플링 기반 제안(예: 무작위 회로 샘플링, Random Circuit Sampling)을 통한 양자 우위 입증은 근미래적 시대에 두 가지 결정적인 병목 현상에 직면해 있습니다:

1. 오류 억제(Error Suppression): 고전적 난이도를 달성하기 위해 회로 크기를 키우면 일반적으로 하드웨어 노이즈가 증폭되어, 출력 분포가 사소해지고 고전적으로 시뮬레이션 가능한 상태가 됩니다. 기존의 하드웨어 친화적 제안들은 낮은 오버헤드의 오류 보호 기능이 부족하며, 구조화된 제안들은 고전적으로 어려운 영역에서 근미래적 하드웨어에 매핑하기 어렵습니다.
2. 검증(Verification): 복잡한 양자 계산이 높은 충실도(fidelity)로 수행되었는지 검증하는 것은 어렵습니다. 넓게 분포된 출력값에서 충실도를 해결하려면 과도한 수의 샘플이 필요합니다. 기존의 벤치마크(예: 교차 엔트로피 벤치마킹, XEB)는 노이즈에 대한 강력한 가정(예: 공간적 균질성, 시간적 독립성)에 의존하거나, 대리 지표로서 비싼 고전적 시뮬레이션을 요구합니다.

저자들은 고전적 난이도의 증명 가능성, 오류 탐지를 통한 고충실도 실행, 그리고 현재의 벤치마크보다 더 약한 노이즈 가정을 사용하는 장치 의존적 검증을 동시에 달성하는 프로토콜을 개발하고자 합니다.

방법론: 도핑된 클리포드 샘플링 (Doped Clifford Sampling, DCS)

저자들은 구조화된 클리포드 회로와 비-클리포드(non-Clifford) "매직(magic)" 자원을 결합하고, 이를 모두 시공간 코드(spacetime code) 내에 인코딩하는 도핑된 클리포드 샘플링(DCS) 프로토콜을 제안합니다.

1. 회로 구성:

• 클리포드 백본(Clifford Backbone): 실험은 무작위의 고엔탱글먼트(highly entangling) 클리포드 회로(구체적으로 $n$개의 큐비트에 대해 깊이 $n$인 브릭워크 패턴)로 시작됩니다. 이 구조는 효율적으로 인코딩될 수 있고 그 출력 충실도를 직접 측정할 수 있기 때문에 선택되었습니다.
• 시공간 인코딩: 클리포드 회로는 시공간 코드를 사용하여 인코딩됩니다. 이는 공간과 시간 모두에 분산된 파울리 체크(Pauli checks, 신드롬 측정)를 수행하기 위해 보조 큐비트(ancilla qubits)를 추가하는 것을 포함합니다. 이러한 체크는 신드롬을 측정하여 오류를 탐지하며, 신드롬이 0이 아닌 샷(shots)은 사후 선택(post-selection)되어 버려집니다. 이는 효과적으로 상태를 저오류 부공간(low-error subspace)으로 투영합니다.
• T-게이트 도핑: 고전적 난이도를 도입하기 위해, 회로에 비-클리포드 $T$ 게이트를 "도핑"합니다. 결정적으로, 이 $T$ 게이트들은 코드 스테빌라이저(code stabilizers)와 교환 법칙이 성립하는(구체적으로, 파울리 체크의 역-커먼턴트(back-cumulants)와 교환되는) 시공간 와이어에만 배치됩니다.
  • $T$ 게이트는 체크와 교환 법칙이 성립하므로 신드롬 분포를 변화시키지 않습니다.
  • 초전도 하드웨어에서 $Z$-회전(T 게이트 포함)은 프레임 트래킹을 통해 가상으로 구현되므로, 추가적인 노이즈를 거의 발생시키지 않습니다.

2. 충실도 인증 로직:
핵적인 혁신은 측정 가능한 미도핑 클리포드 상태의 충실도($F_1$)를 사용하여, 도핑된 어려운 상태의 충실도($F_2$)의 하한을 구하는 방법입니다.

• 불변성(Invariance): $T$ 게이트는 체크와 교환 법칙이 성립하므로, 수용된 결함(syndromes)의 집합은 도핑된 회로와 미도핑 회로 모두 동일합니다.
• 무해함 vs 유해함(Harmless vs. Harmful): 미도핑된 클리포드 회로에서 일부 결함은 "무해"하며(상태를 안정화함), 일부는 "유해"합니다. 도핑은 잠재적으로 이전에 무해했던 결함을 유해한 것으로 변환시켜 충실도를 감소시킬 수 있습니다.
• 경계값(The Bound): 저자들은 무작위 클리포드 회로에서 무해한 결함이 유해한 것으로 변환될 확률이 점근적으로 매우 작음(큐비트 수 $n$에 대한 역 다항식)을 증명했습니다.
• 결과: 도핑된 상태의 충실도는 다음과 같이 하한이 정해집니다:
  $$F_2 \ge F_1 - \text{Pr}(\text{harmless} \mid \text{accepted})$$
  이를 통해 저자들은 어려운 도핑 회로를 시뮬레이션할 필요 없이, 측정 가능한 $F_1$과 이론적 결함 변환 상한에만 의존하여 $F_2$를 추정할 수 있습니다.

실험 결과

이 프로토콜은 IBM 보스턴(IBM Boston) 프로세서에서 97개의 물리적 큐비트(데이터 70개 + 보조 2

• 오류 억제: 신드롬 사후 선택은 게이트 오류율을 물리적 오류율에 비해 10배 감소시켰습니다. 인코딩된 클리포드 참조 상태는 **0.32(1)**의 충실도를 달로 달성했습니다(판독 완화 적용 시 0.57(2)).
• 충실도 하한: 측정된 클리포드 충실도와 추정된 무해한 결함 변환 확률(0.013)을 바탕으로, 저자들은 고전적으로 어려운 도핑된 상태에 대해 95% 신뢰 구간에서 0.284의 하한을 설정했습니다.
• 고전적 난이도: 실험은 16분 동안 약 2,000개의 샘플을 생성했습니다. 저자들은 이 인스턴스가 현재의 텐서 네트워크 및 스테빌라이저 기반 알고리즘에 대해 실행 불가능할 것으로 추정합니다.
  • 텐서 네트워크: 회로는 높은 엔탱글먼트(최소 이분 결합 랭크 30)를 나타내며, 이는 현재 최첨단 슈퍼컴퓨터의 메모리를 초과하는 본드 차원(bond dimensions, $2^{30}$)을 요구합니다.
  • 스테빌라이저 분해: 468개의 $T$ 게이트로 인해, 스테빌라이저 랭크가 너무 높아 효율적인 시뮬레이션이 불가능합니다($\Omega(2^{0.228 \times 468})$).
• 검증: 중간 단계의 레짐(낮은 및 중간 $T$ 개수)에서 직접 충실도 추정(Direct Fidelity Estimation, DFE) 및 교차 엔트로피 벤치마킹(XEB)을 사용하여 충실도 하한을 검증하였으며, 이를 통해 이론적 경계가 유효함을 확인했습니다.

주요 기여

1. 오류 탐지를 동반한 구조화된 난이도: 이 논문은 스테빌라이저 상태를 매직 상태로 승격시키는 동시에(T-도핑을 통해) 시공간 코드의 오류 탐지 능력을 보존하는 체계적인 방법을 소개합니다. 이를 통해 고충실도의 고전적 난이도 회로 실행이 가능해집니다.
2. 장치 의존적 충실도 인증서: 저자들은 기존의 대리 지표(예: XEB)보다 훨씬 더 약한 노이즈 가정을 요구하는 어려운 양자 상태의 충실도 인증서를 제공합니다. 이는 공간적 균질성이나 시간적 독립성을 가정하지 않고, 트월링(twirling)을 통해 달성 가능한 일반적인 파울리 노이즈 모델만을 가정합니다.
3. 실험적 입증: 이 연구는 알고리즘 불가지론적 난이도 보장과 오류가 탐지된 깊은 회로의 신뢰할 수 있는 실행을 결합한 첫 번째 샘플링 실험을 보여줍니다.

의의 및 주장

이 논문은 양자 우위 입증의 "확장성 문제", 즉 회로 크기, 노이즈 억제, 결과 검증을 동시에 확장하는 것의 어려움을 해결한다고 주장합니다.

• 난이도와 신뢰의 공존: 주요 의의는 증명 가능한 고전적 난이도와 (오류 탐지를 통한) 신뢰할 수 있는 실행이 공존할 수 있음을 보여준 데 있습니다.
• 확장 경로: 현재 방식은 사후 선택(post-selection)에 의존하여 오버헤드가 발생하지만, 저자들은 하드웨어가 발전함에 따라 동일한 시공간 코드를 결함 허용(fault-tolerant) 양자 우위로 적응시킬 수 있다고 주장합니다.
• 검증 견고성: 이 방법은 XEB에 필요한 엄격한 노이즈 가정을 완화하여, 현실적이고 상관관계가 있는 하드웨어 노이즈에 대해 검증을 더욱 견고하게 만듭니다.

저자들은 절대적인 규모의 우위에 대해서는 알고리즘이나 하드웨어의 발전에 따라 시뮬레이션 시간이 변할 수 있음을 언급하며 겸손한 태도를 유지하면서도, 구조적 보장으로서의 난이도와 검증된 충실도가 핵심적인 성과임을 강조합니다. 개선된 알고리즘을 통한 더 빠른 시뮬레이션의 가능성은 열어두되, 특정 인스턴스가 현재의 최첨단 방법론으로는 난해하다는 점을 분명히 하고 있습니다.