Certifying bipartite entanglement on a superconducting processor from a corrected QAOA cost layer

기술 요약: 교정된 QAOA 비용 레이어로부터 초전도 프로세서 상의 이분형 얽힘 인증

문제 및 동기
양자 근사 최적화 알고리즘(QAOA)은 근미래 양자 장치들을 위한 선도적인 휴리스틱이지만, 하드웨어 시연은 종종 의도한 물리적 결합이 실현되었는지, 진정한 얽힘이 준비되었는지, 또는 어떤 장치 파라미터가 해당 얽힘을 제어하는지를 증명하는 데 실패하곤 한다. 기존 연구들은 컴파일 오류나 하드웨어 결함으로 인해 회로가 분리 가능한 곱 상태(separable product state)로 퇴화할 가능성을 검증하지 않은 채, 무작위 베이스라인 대비 성공 확률만을 빈번하게 보고한다. 또한, 얽힘에 대한 주장은 일일 캘리브레이션 드리프트(calibration drift)나 물리적 제어 노브와 결과적인 양자 상태 사이의 인과 관계 결여로 인해 혼동될 수 있다. 본 논문은 QAOA 비용 레이어를 단순한 최적화 벤치마크가 아니라, 엄격하고 장치 독립적인 인증을 거치는 상태 준비 회로로 취급함으로써 이러한 간극을 해결한다.

방법론
본 연구는 바르셀로나 슈퍼컴퓨팅 센터의 9-큐비트 초전도 프로세서 "Red"를 사용하여 수행되었으며, 연결된 5-큐비트 구성 요소를 활용하였다. 실험 설계는 사전 등록(pre-registration), 출처 제어(provenance control), 그리고 "가드레일 및 트윈(guardrail-and-twin)" 아키텍처에 기반한다:

1. 컴파일 교정 및 가드레일: 저자는 QAOA 비용 레이어($CZ \cdot RZ \cdot CZ$)가 가환성(commutation)으로 인해 단일 큐비트 위상($RZ$)으로 붕괴되어, 실질적으로 분리 가능한 회로를 실행하게 되는 기존의 컴파일 오류를 식별하고 공개하였다. 교정된 레이어는 의도한 $ZZ$ 결합을 구현하기 위해 Hadamard 공액($CNOT \cdot RZ \cdot CNOT$)을 사용한다. 회로 실행 전, 컴파일된 노이즈 없는 상태가 의도한 유니터리(최대 편차 $8.4 \times 10^{-15}$)와 일치하는지 확인하기 위해 회로당 상태 벡터 가드레일을 적용한다.
2. 얽힘 인증: 주요 인증 지표는 특정 엣지에서의 2-큐비트 축소 상태(reduced state)에 대한 **네가티비티(negativity)**이며, 이는 전체 2-큐비트 토모그래피(팔당 일일 36,864 샷)로부터 도출된다. 네가티비티는 재구성된 밀도 행렬을 가장 가까운 물리적(양의 준정부호) 상태로 투영한 후 계산된다.
3. 제어 요소:
   • 결합-오프 트윈 ($J=0$): 결합 강도가 0인 매칭된 회로가 분리 가능한 베이스라인 역할을 한다.
   • 퇴화된 커플러 (Degrated Coupler): 동일 칩 상의 물리적으로 구별되는 낮은 충실도의 커플러가 음의 대조군 역할을 한다.
   • 무작위 측정 위너스 (Randomized-Measurement Witness): 부분 전치 모멘트(partial-transpose moments)를 추정하기 위해 로컬 무작위 측정(클래식 섀도우)을 사용하는 독립적인 교차 검증법이며, 통계적 검정력에 대해 정직하게 보고되었다.
4. 인과적 조작: 관찰적 상관관계를 넘어설 수 있도록, 별도로 사전 등록된 실험에서 고정된 벨 상태 준비(Bell preparation) 상의 CZ 펄스 진폭(드라이브)을 계단식 설정에 따라 의도적으로 변화시켰다. 이는 위상 래핑(phase wrapping)으로 인한 평균 게이트 충실도($F_{avg}$)의 비단조적 행동과 구별되는, 2-큐비트 드라이브와 얽힘 사이의 인과적 효과를 격리한다.
5. 통계: 모든 주장은 토모그래피의 경우 일 단위(day-level), 인과 실험의 경우 런 단위(rung-level)에서 편향 수정 및 가속(BCa) 부트스트랩 신뢰 구간을 통해 뒷받침되며, 필요한 경우 다중성 보정(Holm/Benjamini–Hochberg)이 적용되었다.

주요 결과

• 얽힘 인증: 깊이 1(depth one)에서 "좋은" 커플러(엣지 4-5) 상의 교정된 QAOA 비용 레이어는 인증된 네가티비티 0.077(BCa 95% CI [0.065, 0.091])을 가진 상태를 준비한다. 이 값은 6개의 독립적인 캘리브레이션 데이 모두에서 0을 제외한다.
• 제어 검증: 결합-오프 트윈과 퇴화된 커플러(엣지 6-8)는 모두 0과 구별할 수 없는 네가티비티를 반환하며, 이는 신호가 단일 큐비트 바이어스나 아티팩트가 아닌 실현된 결합으로부터 발생했음을 확인시켜 준다.
• 인과적 용량-반응 (Cose-Response): 조작 실험에서 CZ 펄스 진폭을 줄이면 세 개의 커플러와 두 개의 캘리브레이션 데이 전반에 걸쳐 양의 적합 곡선($R^2 = 0.83\text{--}0.96$)을 따라 인증된 네가티비티가 인과적으로 감소한다. 기울기는 네가티비티 1단위당 진폭 1% 변화당 약 0.085이다. 이 반응은 피크 함수(네가티비티는 조건부 위상 $|\zeta|=\pi$에서 피크를 가짐)의 국소적 선형화이다.
• 깊이 붕괴 (Depth Collapse): 깊이 1에서 존재하는 인증된 얽힘은 기본 인스턴스에서 이상적인 노이즈 없는 타겟보다 더 빠르게 깊이 3에서 0으로 붕괴한다.
• 최적화 신호: 깊이 3에서의 16개 인스턴스에 대한 사전 등록된 앙상블은 최적화 신호를 보여주지 못하며(일방향 Wilcoxon $p=0.15$), 이는 깊이 붕괴와 일치한다.
• 무작위 측정 위너스: 기본 장치에서, 위너스는 얽힘과 일치하지만 측정된 크기($W \approx 0.016$)에 대해 통계적으로 검정력이 부족하며, 완전한 검정력을 갖추기 위해서는 약 12,672개의 설정이 필요하다. 이는 주요 인증서가 아닌 보완 자료로서 보고되었다.

의의 및 주장
본 논문은 문제 인스턴스가 고전적으로 사소함을 언급하며 명시적으로 양자 우위가 없음을 주장한다. 본 연구의 가치는 방법론적이고 물리적인 데 있다:

1. 엄격한 인증: 실제 장치가 어떻게 교정된 QAOA 비용 레이어를 실현하는지에 대한 재현 가능한 사전 등록된 설명을 제공하며, 결합이 물리적으로 존재하고 상태가 진정으로 얽혀 있음을 입증한다. 이는 컴파일 오류와 순환 논리로부터 보호된다.
2. 인과적 장치 물리: 2-큐비트 드라이브 진폭이 초전도 프로세서 상의 인증 가능한 얽힘을 직접 제어한다는 측정된 인과 법칙을 확립한다. 이는 관찰적 상관관계가 아닌 직접적인 조작을 통해 입증되었다.
3. 정직한 보고: 근미한 하드웨어 상의 현재 얽힘 위너스의 한계를 강조하며, 위너스가 "편리한" 영점(Werner 경계)은 벗어날 수 있지만 "위협적인" 영점(거의 순수한 분리 가능 상태)에 대해서는 검정력이 부족할 수 있음을 보여준다.
4. 범위: 결과는 단일 장치, 단일 인증 인스턴스, 특정 깊이로 제한된다. 인과 법칙은 QAOA 비용 레이어 자체가 아닌 벨 준비(Bell preparation) 상에서 측정되었으며, 이는 명목 진폭 근처에서의 국소적 선형화이다.

본 논문은 장치의 "가치"가 깊은 회로나 사후 오차 완화에 있는 것이 아니라, 건강한 엣지에서 낮은 깊이로 결합을 올바르게 실현하는 데 있다고 결론짓는다.