Reconstructing non-Abelian braiding and fusion without anyon transport

문제 정의

비가환 애니온(Non-Abelian anyons)은 정보를 국소적 섭동에 무감각하도록 비국소적으로 저장하는 능력 덕분에 결함 허용 및 범용 양자 컴퓨팅을 위한 경로를 제공한다. 그러나 이러한 애니온의 핵심 데이터, 즉 브레이딩($R$) 및 퓨전($F$) 변환을 실험적으로 접근하는 것은 여전히 큰 과제로 남아 있다. 기존 프로토콜은 애니온의 생성, 물리적 이동, 그리고 결맞는 측정을 제어해야 하며, 이는 양자 하드웨어에 상당한 자원 오버헤드를 발생시킨다. "측정 전용(measurement-only)" 위상 양자 컴퓨팅은 물리적 이동 대신 시간적으로 순서화된 전하 측정을 통해 브레이딩을 생성할 수 있음을 이론적으로 입증했지만, 디지털 양자 하드웨어에서 비가환 모델(예: 양자 더블 $D(S_3)$)의 기저 $R$ 및 $F$ 데이터를 직접 재구성하는 것은 로컬 $d=6$ 큐디트(qudit)를 포함하는 복잡한 격자 기술과 비유니타리 연산으로 인해 어려움을 겪어 왔다.

방법론

저자들은 물리적으로 애니온을 이동시키지 않고도 $D(S_3)$ 양자 더블 모델의 비가환 브레이딩 및 퓨전 프리미티브를 재구성하는 측정 전용 프로토콜을 도입하고 실험적으로 구현하였다. 이 접근 방식은 세 가지 핵심적인 방법론적 혁신에 기반한다:

1. 밀집 축소(Dense Reduction): 저자들은 $D(S_3)$ 데이터를 추출하기 위해 필요한 유의미한 4-큐디트 중첩(overlap)이 단 두 개의 큐트리트(qutrit)에 작용하는 연산자의 기댓값으로 축소될 수 있음을 입증하였다. $S_3 \simeq Z_3 \rtimes Z_2$의 군 구조를 활용함으로써, 복잡한 4-큐디트 플레이켓(plaquette) 역학을 축소된 2-큐트리트 시스템으로 매핑하였다. 결정적으로, 이러한 기댓값은 전체 플레이켓의 얽힌 바닥 상태 대신 단순한 곱 상태 $|\xi\rangle$ 상에서 평가될 수 있어 상태 준비 과정을 크게 단순화한다.
2. 큐비트 인코딩 및 앤실라 보조 팽창(Ancilla-Assisted Dilation): 축소된 2-큐트리트 프로토콜은 Quantinuum의 H2 트랩 이온 프로세서에서 구현된다. 각 논리적 큐트리트는 세 개의 물리적 큐비트($|1,0,0\rangle, |0,1,0\rangle, |0,0,1\rangle$)로 구성된 단위 해밍 가중치(unit-Hamming-weight) 부공간에 인코딩된다. 리본(ribbon) 및 전하 투영 연산자는 비유니타리이므로, 앤실라 보조 팽창을 사용하여 확률적으로 구현된다. 성공적인 연산은 앤실라 큐비트에 대한 특정 측정 결과에 의해 헤럴딩(heralded)된다.
3. 재구성 프로토ло:s
   • 브레이딩(Braiding): 제곱 브레이딩 위상 $(R_i)^2$은 변형된 하다마르 테스트(Hadamard test)를 사용하여 재구성된다. 이를 통해 비유니타리 리본 투영 중첩의 실수부와 허수부 성분을 모두 추출할 수 있다. $G$-섹터 위상은 $+$ 섹터 결과에서 항등 채널(identity-channel) 측정을 뺀 값으로 추론된다.
   • 퓨전(Fusion): 제곱 퓨전 진폭 $|F_{ij}|^2$은 사후 선택된 중첩 및 정규화 확률을 통해 재구성된다. 프로토콜은 동일한 애니온 프로세스에 대해 두 가지 퓨전 기저 분해를 준비한다. 결과적으로 생성된 닫힌 다이어그램의 진공 기댓값은 퓨전 행렬 요소의 제곱 크기를 제공한다.

주요 기여

• 측정 전용 프로토콜의 실험적 실현: 본 논문은 물리적 애니온 이동 없이 시간적으로 순서화된 리본 연산과 로컬 전하 투영을 사용하여 비가환 브레이딩 및 퓨전 데이터를 재구성하는 컴팩트한 관측량 특화 프로토콜을 제공한다. 이 접근 방식은 관련 플레이켓 이력을 최소한의 2-큐트리트 논리 프로토콜로 압축하여, 큐비트 기반 하드웨어에서 기초적인 프리미티브를 특징짓기에 적합하도록 함으로써 이전의 대규모 구현(예: Ref. [24])을 보완한다.
• 컴팩트한 2-큐트리트 구현: $D(S_3)$ 플레이켓 역학을 2-큐트리트 논리 프로토콜로 축소함으로써, 저자들은 대규모 $d=6$ 큐디트 인코딩을 우회하여 큐비트 기반 하드웨어에서 비가환 프리미티브를 특징짓는 모듈형 경로를 제시한다.
• 고충실도 프리미티브 재구성: 본 연구는 최소 비가환 양자 더블 $D(S_3)$에 대한 제곱 브레이딩 위상과 퓨전 진폭을 성공적으로 재구성하였으며, 이때 폐쇄형 퓨전 부카테고리 $\{A, B, G\}$(여기서 $A$는 진공, $B$는 아벨리안, $G$는 비가환)에 집중하였다.

결과

실험은 Quantinuum의 H2 트랩 이온 프로세서에서 수행되었다. 결과는 재구성된 변환과 이상적인 이론적 값 사이의 높은 충실도를 보여준다:

• 브레이딩 위상: 재구성된 제곱 브레이딩 위상 $(R_+)^2$ 및 $(R_G)^2$은 평균 정규화 출력 상태 충실도 $F_R = 0.9988$로 추출되었다. 실험값은 제로 진폭 탈분극 한계로부터 5 표준 편차 이상의 통계적 유의성을 가지고 이론적인 단위 근(roots of unity) $\bar{\omega}$ 및 $\omega$와 일치하였다.
• 퓨전 진폭: 제곱 퓨전 진폭은 사후 선택된 확률로부터 재구성되었다. 결과 퓨전 행렬 $F_{exp}$는 Haar-무작위 입력 상태에 대해 테스트했을 때 평균 정규화 출력 상태 충실도 $F_F = 0.9987$을 달성하였다. $G$-채널 엔트리($F_{GG}$)의 재구성은 이론적 값인 0과 일치하였는데, 이는 수락된 이벤트가 관찰되지 않았기 때문이다 (11,000 샷 중 0건). 반면 다른 엔트리의 주요 불확실성은 낮은 수락 확률을 가진 $G$-정규화 채널($p(n_G) \approx 4.6 \times 10^{-4}$)에서 기인하였으며, 이는 13,000 샷 중 단 6개의 수락된 이벤트만을 생성하였다.
• 비클리포드 자원 생성: 재구성된 프리미티브를 결합하여, 저자들은 합성 브레이드 $B_s = F_s^\dagger R^2 F_s$를 생성하였다. 이 연산은 2차 스테빌라이저 레니 엔트로피(second-order stabilizer Rényi entropy) $M_2 \approx 0.258 \pm 0.0886$로 정량화되는 비스테빌라이저 자원 상태를 생성하였으며, 이는 이상적인 값인 $\approx 0.208$과 구별된다. 이는 범용 양자 컴퓨팅의 필수 요소인 비클리포드 자원의 생성을 확인시켜 준다.

의의 및 주장

본 논문은 이러한 결과가 프로그래밍 가능한 비가환 위상 처리를 위한 컴팩트한 하드웨어 빌딩 블록을 구축함을 주장한다. 관련 플레이켓 이력을 2-큐트리트 논리 프로토콜로 압축함으로써, 저자들은 더 큰 구조를 조립하기 전에 기초적인 브레이딩 및 퓨전 프리미티브를 높은 정확도로 특징짓는 모듈형 경로를 제공한다.

이 연구는 더 큰 위상적으로 인코딩된 양자 프로세서 내에서 "측정 전용" 애니온 인코딩이 빌딩 블록으로서 유효함을 뒷받침한다. 이는 확장된 위상 상태 준비나 물리적 애니온 이동의 자원 오버헤드 없이, 양자 하드웨어 상에서 기저 $R$ 및 $F$ 데이터를 직접 재구성할 수 있음을 입증한다. 저자들은 현재 실험이 단일 인코딩 플레이켓을 다루고 있지만, 컴팩트한 논리적 표현, 고충실도 프리미티브, 그리고 모듈형 측정 전용 아키텍처의 결합이 더 큰 인코딩된 애니온 프로세서 내에서 브레이딩, 퓨전, 매직 상태 준비 및 논리 게이트를 확장하는 유망한 경로를 제공한다고 언급하였다.