Design rules for fault-tolerant multi-gate teleportation

기술 요약: 결함 허용 다중 게이트 텔레포테이션을 위한 설계 규칙

문제 정의
분산 양자 컴퓨팅(DQC)은 계산 능력을 확장하기 위해 모듈 간에 원격 게이트를 텔레포테이션하는 것에 의존한다. 표준적인 순차적 게이트 텔레포테이션은 원격 게이트당 하나의 얽힘 비트(ebit)를 소비한다. 다중 게이트 텔레포테이션(MGT)은 $n$개의 원격 게이트를 하나의 "패킷"으로 묶어 하나의 ebit으로 구동함으로써 자원 최적화를 제공하며, 이를 위해 로컬 CNOT 팬아웃 트리를 사용하여 제어를 분배한다. 이는 $n-1$개의 ebit을 절약해주지만, 결정적인 결함 허용 위험을 초래한다: 비로컬 링크에서의 단일 실패가 팬아웃 트리를 통해 전파되어, 타겟 큐비트들에 걸쳐 상관관계가 있는 가중치-$n$ 파울리 오류를 주입하기 때문이다. 이는 순차적 텔레포테이션에서 링크 실패가 독립적인 가중치-1 오류를 생성하는 것과 대조적이다. 본 연구에서 다루는 핵심 문제는, 특히 회전된 표면 코드(rotated surface codes)에 대해, 상관된 오류 모델 하에서 결함 허용성을 유지할 수 있는 최대 패킷 크기 $n$을 결정하는 것이다. 또한 표준 디코더가 알려진 상관 구조를 활용할 수 있는지 여부를 식별하는 것이다.

방법론
본 논문은 분석적 유도와 수치 시뮬 much의 조합을 사용한다:

1. 오류 모델링: 저자들은 단일 비로컬 CNOT 이후 로컬 팬아웃 CNOT이 뒤따르는 동일 제어(same-control) MGT 패킷을 모델링한다. 이들은 제어 큐비트(또는 비로컬 링크)에서의 실패가 타겟들에 연속적인 가중치-$n$ 파울리 스트링을 생성하도록 전파됨을 입증한다. 데폴라라이징 노이즈(depolarizing noise) 하에서, 이 위험한 오류에 대한 유효율은 $2p_{net}/3$이다.
2. 분석적 설계 규칙: 저자들은 최소 가중치 완벽 매칭(MWPM) 디코더의 결함 메커니즘을 기반으로 최대 패키지 크기를 유도한다. 이들은 가중치-$n$ 오류와 그 보수(complement)가 논리 연산자를 따라 퇴화된 신드롬 쌍을 형성하는 조건을 분석한다.
3. 수치 시뮬레이션: 저자들은 PyMatching을 사용하여 거리 $d \in \{5, 7, 9\}$인 회전된 표면 코드에 대한 검출기 오류 모델(DEM)을 시뮬레이션한다. 이들은 두 가지 디코더 구성을 비교한다:
   • 나이브 디코더(Naive Decoder): 패킷을 $n$개의 독립적인 오류로 취급하는 기본 DEM으로부터 구축됨.
   • 상관 관계 인지 디코더(Correlation-Aware Decoder): 상관된 오류를 $-\ln(p_{net})$의 가중치를 가진 단일 에지로 인코딩하는 패킷 회로의 특정 DEM으로부터 구축됨.
4. 성능 지표: 연구는 네트워크-대-게이트 노이즈 비율($\gamma = p_{net}/p_{gate}$)에 따른 논리적 오류율(LER)을 사용하여 MGT 패킷을 개별 링크 순차적 베이스라인과 비교하여 평가한다.

주요 기여

1. 상관 오류 특성화: 본 논문은 MGT 패킷이 단일 네트워크 결함으로부터 본질적으로 가중치-$n$ 연속 파울리 오류를 생성함을 확립하며, 이는 기존의 분산 컴퓨팅 문헌에서 사용되는 독립적인 per-link 노이즈 모델과는 구별되는 실패 모드이다.
2. 패킷 크기에 대한 설계 규칙: 저자들은 코드 거리 $d$에 대한 최대 안전 패킷 크기 $n_{max}$에 대한 두 가지 별도의 경계값을 유도한다:
   • 나이브 경계: $n_{max}^{naive} = \lfloor d/2 \rfloor$. 이는 디코더가 상관 관계를 무시할 경우 적용된다.
   • 상관 관계 인지 경계: $n_{max}^{corr} = \lceil d/2 \rceil$. 이는 디코더가 상관된 오류를 낮은 가중치의 단일 에지로 취급할 경우 달성 가능하다.
     이 $\lfloor d/2 \rfloor$에서 $\lceil d/2 \rceil$로의 확장은 상관 관계 인지 디코더가 단일 패킷 오류를 매칭 그래프 상의 보수 경로를 형성하는 데 필요한 $n$개의 독립적인 오류보다 더 저렴한 것으로 인식하기 때문에 발생한다.
3. 디코더 통합: 본 논문은 개선된 경계를 달取得하기 위해 별도의 커스텀 디코더 아키텍처가 필요하지 않음을 입증한다. 표준 MWPM 디코더는 패킷의 회로 수준 DEM으로부터 구축될 때, 자연스럽게 상관 구조를 인코딩하며 $\lceil d/2 \rceil$ 한계까지 가중치-$n$ 오류를 자동으로 수정한다.
4. 성능 트레이드오프: 연구는 얽힘 절약과 오류율 사이의 트레이드오프를 정량화한다. MGT는 네트워크가 병목 구간인 경우($\gamma \gg 1$) 순차적 텔레포테이션보다 우수하지만, 추가적인 로컬 팬아웃 게이트의 오버헤드로 인해 낮은 $\gamma$에서는 약간의 페널티를 입을 수 있음을 식별한다.

결과

• 오류 수정 능력: 시뮬레이션은 상관 관계 인지 디코더가 $n = \lceil d/2 \rceil$ 크기의 패킷을 성공적으로 수정함을 확인한다. 예를 들어, $d=9$일 때 패킷 $n=4$는 수정 가능하지만, 나이브 디코더는 이 크기에서 실패한다.
• 논리적 오류율(LER):
  • 중간 내지 높은 $\gamma$ (예: $\gamma \ge 10$)에서, 상관 관계 인지 패킷 LER은 순차적 베이스라인과 일치하거나 이를 능가한다. 이 이점은 $\gamma$와 $d$가 커짐에 따라 증가한다.
  • 낮은 $\gamma$ ($\approx 1$)에서, 패킷 LER은 약간 더 높다(비율 $\le 1.13$). 이는 $n-1$개의 추가 로컬 게이트가 상당한 네트워크 절약 없이 게이트 노이즈를 도입하기 때문이다.
  • 상관 관계 인지 패킷의 LER은 $\gamma$에 독립적(게이트 노이즈 플로어에 머무름)이 된다. 이는 디코더가 단일 패킷 결함을 흡수하는 반면, 순차적 베이스라인은 $n$개의 독립적인 네트워크 결함을 축적하기 때문이다.
• 하이브리드 방식: $n_{max}^{corr}$를 초과하는 패킷의 경우, 본 논문은 최악의 경우 오류 가중치를 $\approx n/k$로 줄이기 위해 $k$개의 ebit을 사용하는 하이브리드 $k$-ary 팬아웃 트리를 제안한다.

의의 및 주장
본 논문은 통신 자원 절약과 상관 노이즈를 동시에 고려하는 최초의 설계 규칙을 제공한다고 주장한다. 주요 의의는 "노이즈 인지" 분산 회로 컴파일러가 결함 허용성을 희생하지 않고 팬아웃 패키제화를 선호할 수 있도록 하는 데 있다.

저자들은 다음과 같이 단언한다:

• MGT의 얽힘 절약은 패킷 크기가 $\lceil d/2 \rceil$ 경계를 준수하고 디코더가 회로 수준의 DEM을 사용한다면 결함 허용 계산에 실행 가능하다.
• 상관된 실패 모드는 1-ebit 병목 현상의 구조적 결과이며, 따라서 이 결론은 인터페이스 독립적이다(EJPP, 측정 기반, 또는 CAT-state 프로토콜에 적용 가능).
• 네트워크 노이즈가 로컬 게이트 노이즈보다 우세한 영역($\gamma \gtrsim 10$, 이는 광자 인터커넥트에 대한 현재 실험적 추정치와 일치함)에서, MGT는 독립적인 네트워크 오류의 축적을 줄임으로써 순차적 텔레포테이션에 비해 결정적인 이점을 제공한다.

본 논문은 범위에 대해 겸허한 태도를 유지하며, 정량적 주장이 회전된 표면 코드 및 단순화된 데폴라라이징 노이즈 모델에 국한됨을 명시한다. 반면, 구조적 경계에 관한 질적 결론은 다른 CSS 코드 및 최소 가중치 디코더로 확장될 것으로 기대된다. 향후 연구 과제로 qLDPC 코드, 편향된 노이즈(biased noise), 그리고 완전한 회로 수준 노이즈 통합이 언급되었다.