Practical Entanglement Distillation Protocols with Quadratic Error Suppression

본 논문은 모듈 간 반복적인 잡음 있는 연산과 고충실도 지역 게이트를 활용하여 모듈당 두 개의 큐비트만으로 2 차적 오류 억제를 달성함으로써 근미래 아키텍처의 잡음 있는 링크를 효과적으로 극복하는 모듈형 양자 컴퓨팅에 맞춘 실용적이고 공간 최적화된 얽힘 증류 프로토콜을 소개한다.

핵심

두 개의 다른 방이 있는 크고 시끄러운 공장에서 귀하고 깨지기 쉬운 메시지를 전달하려고 상상해 보십시오.

문제: 시끄러운 복도
양자 컴퓨터의 세계에서는 이러한 "방"이 별도의 칩이나 냉동고에 해당합니다. 각 방 안에서는 작업자들 (로컬 연산) 이 매우 신중하고 정밀하며 조용합니다. 그들은 거의 완벽한 정확도로 섬세한 작업을 처리할 수 있습니다. 그러나 두 방을 연결하는 복도 (모듈 간 링크) 는 재앙 지대입니다. 시끄럽고 울퉁불퉁하며 정전기로 가득 차 있습니다.

작업자들이 이 복도를 통해 특별한 "얽힘" 패키지 (벨 쌍) 를 전달하려고 할 때, 패키지는 종종 손상됩니다. 과거에 과학자들은 이러한 손상된 패키지를 수리하는 방법을 가지고 있었지만, 그들의 방법은 거대하고 비효율적인 산업용 기계에서 옷을 씻어 muddy 셔츠를 청소하려는 것과 같았습니다. 그들은 엄청난 공간 (많은 추가 작업자) 과 시간이 필요했고, 셔츠를 조금만 청소할 수 있었습니다.

해결책: 스마트하고 소규모 청소 팀
IBM Quantum 에서 일한 이 논문의 저자들은 이 시끄러운 복도를 위해 특별히 설계된 새로운 고효율 "청소 팀"을 개발했습니다.

그들의 새로운 프로토콜을 각 방에 배치된 2 인 탐정 팀으로 생각하십시오.

1. 설정: 더러운 패키지가 도착하기를 기다렸다가 수리하는 대신, 이 탐정들은 청소 과정 중에 시끄러운 복도 자체를 도구로 사용합니다. 그들은 시작 시뿐만 아니라 청소 과정 동안에도 빠르고 시끄러운 신호를 왕복으로 보냅니다.
2. 마법 같은 트릭 (2 차 억제): 복도의 잡음이 패키지가 얼룩질 확률이 10% 라고 상상해 보십시오. 기존 방법은 그 얼룩 확률을 9% 나 8% 로 줄일 수 있습니다 (선형 개선). 이 새로운 방법은 얼룩 확률을 10% 에서 **1%**로 줄이는 마법 같은 지우개와 같습니다 (2 차 개선). 이는 오류율을 제곱하여 결과를 기하급수적으로 깨끗하게 만듭니다.
3. 공간 효율성: 가장 인상적인 점은 그들이 필요로 하는 공간이 얼마나 적은지입니다. 대부분의 이전 방법은 작업을 수행하기 위해 전체 부대 (많은 추가 큐비트) 가 필요했습니다. 이 새로운 프로토콜은 방당 두 명의 작업자로만 작동합니다. 이는 모든 유형의 오류를 포착할 수 있는 가장 작은 팀입니다.

테스트 방법
연구자들은 이 작업을 종이 위에서만 하지 않았습니다. 그들은 새로운 "2 인 탐정" 프로토콜을 실제 현재 IBM 양자 컴퓨터 (특히 "피츠버그" 프로세서) 에서 실행했습니다.

• 그들은 칩 사이의 시끄러운 링크가 실제로 가장 큰 병목 현상임을 발견했습니다.
• 그들이 새로운 프로토콜을 사용했을 때, 최종 "패키지"(벨 쌍) 는 기존 방법을 사용하거나 전혀 청소하지 않았을 때보다 훨씬 더 깨끗했습니다.
• 복도가 여전히 시끄러웠음에도 불구하고, 새로운 방법은 최악의 손상을 성공적으로 필터링하여 작은 시끄러운 연결을 수리하기 위해 거대한 기계가 필요하지 않으며, 스마트하고 컴팩트한 전략만 필요하다는 것을 증명했습니다.

결론
이 논문은 양자 컴퓨터의 서로 다른 부분 사이의 시끄러운 연결을 수리하는 실용적이고 소규모의 방법을 소개합니다. 시끄러운 링크 자체를 해결책의 일부로 사용하고 양측당 두 명의 "작업자"(큐비트) 만 요구함으로써, 그들은 매우 지저분한 연결을 매우 깨끗한 연결로 바꿀 수 있습니다. 이는 많은 작은 연결 모듈로 구성된 더 큰 양자 컴퓨터를 구축하는 데 중요한 단계입니다.

기술 요약

기술 요약: 2 차 오차 억제를 갖춘 실용적 얽힘 증류 프로토콜

문제 제기
단기 및 초기 내결함성 양자 컴퓨팅 아키텍처, 특히 모듈형 설계는 치명적인 병목 현상에 직면해 있습니다: 매우 불균일한 오차율입니다. 단일 칩 또는 희석 냉동기 내의 로컬 연산은 점점 더 신뢰할 수 있게 되지만, 서로 다른 모듈을 연결하는 연산 (모듈 간 연산) 은 여전히 훨씬 더 많은 노이즈를 가지고 있습니다. 이러한 모듈 간 링크는 종종 장거리 게이트나 노이즈가 많은 인터커넥트를 통해 구현되며, 양자 오류 정정 (QEC) 이 적용되더라도 오차 예산을 지배할 수 있습니다. 표준 얽힘 증류 프로토콜은 일반적으로 로컬 연산 및 고전적 통신 (LOCC) 자원 모델에서 공식화되는데, 이는 노이즈가 있는 벨 쌍이 프로토콜 시작 전에 생성되고 후속 처리는 로컬 연산만 포함한다고 가정합니다. 이 모델은 동일한 노이즈가 있는 모듈 간 게이트가 원시 벨 쌍을 생성하는 데 사용될 뿐만 아니라 증류 과정 중에도 재사용될 수 있는 모듈형 프로세서의 특정 하드웨어 제약을 활용하지 못합니다. 또한, 기존 소규모 프로토콜들은 종종 1 차 오차 억제를 겪거나 과도한 공간 (큐비트 수) 및 시간 오버헤드를 요구하여 자원이 제한된 하드웨어에서는 실용적이지 않습니다.

방법론
저자들은 모듈형 양자 하드웨어에 맞춘 일반화된 자원 모델을 제안합니다. 이 모델에서 두 모듈은 고품질 로컬 연산 및 측정에 접근할 수 있을 뿐만 아니라, 프로토콜 도중 동일한 노이즈가 있는 모듈 간 얽힘 연산을 반복적으로 사용할 수 있는 능력을 갖습니다. 노이즈는 확률적 파울리 채널로 모델링되며, 로컬 오류 (분석적 비교를 위해 무시할 수 있다고 가정) 와 모듈 간 오류 (주요 노이즈 원인) 를 구분합니다.

이 논문은 공간 및 시간 오버헤드를 최소화하면서 2 차 오차 억제 (출력 오차가 $O(\epsilon^2_{inter})$로 스케일링됨) 를 달성하도록 설계된 세 가지 새로운 프로토콜을 소개합니다:

1. 공간 최적 프로토콜: 모듈당 2 개의 큐비트만 필요합니다. 이는 노이즈가 있는 모듈 간 게이트를 초기 상태 준비를 위한 것이 아니라 증류 회로 내의 능동 구성 요소로 활용합니다. 이 프로토콜은 임의의 단일 및 2 큐비트 파울리 오류를 감지합니다.
2. 감소된 공간 최적 프로토콜: 위 프로토콜의 변형으로, 하나의 모듈 간 게이트를 제거하여 임의의 단일 큐비트 오류에 대해서는 2 차 억제를 달성하지만 특정 2 큐비트 상관 오류에 대해서는 1 차 억제만 달성합니다.
3. 고율 프로토콜: 모듈당 $m$개의 큐비트가 있는 시나리오를 위한 일반화로, 2 차 오차 억제를 갖춘 $m-2$개의 벨 쌍을 출력합니다.

이러한 프로토콜들은 큐비트 수, 회로 깊이 (1 차원 및 전체-대-전체 연결성), 지속 시간, 그리고 출력 오차율을 기준으로 기존 방법 (Recurrence, Maneva-Smolin, Leung-Shor) 과 분석적으로 비교됩니다.

주요 기여

• 자원 모델 전환: 이 논문은 정적 LOCC 모델에서 노이즈가 있는 모듈 간 게이트가 능동 회로 요소가 되는 동적 모델로 증류 패러다임을 전환합니다.
• 공간 최적 2 차 억제: 주요 기여는 모듈당 이론적 최소인 2 개의 큐비트 (출력 쌍용 1 개, 오류 추출용 1 개) 로 2 차 오차 억제를 달성하는 프로토콜입니다. 이는 모듈 간 결함을 감지하는 모든 프로토콜에 대해 공간적으로 최적입니다.
• 효율성: 제안된 프로토콜들은 기존 소규모 프로토콜에 비해 시간 및 공간 오버헤드를 크게 줄이며, 알려진 2 차 오차 억제 방법 중 가장 빠른 방법 중 하나임이 입증되었습니다.
• 실험적 검증: 프로토콜들은 ibm_pittsburgh 156 큐비트 초전도 프로세서에 구현되었으며, 특히 알려진 노이즈 링크를 대상으로 했습니다.

결과

• 시뮬레이션: 다양한 모듈 간 및 로컬 노이즈 강도에서 공간 최적 프로토콜은 일관되게 최고의 성능을 보여주었으며, 로컬 오류가 설정한 하한선으로 수렴했습니다. 감소된 프로토콜은 단일 큐비트 오류에 대해서만 2 차 억제를 보여주어 특정 노이즈 영역으로의 제한을 확인시켰습니다.
• 실험: ibm_pittsburgh에서 공간 최적 프로토콜은 테스트된 모든 노이즈 링크에 걸쳐 일관되게 가장 낮은 출력 오차율을 보였으며, 단일 반복, 2 회 반복 및 Leung-Shor 프로토콜보다 우수한 성능을 발휘했습니다.
  • 감소된 프로토콜은 전체 공간 최적 버전보다 성능이 저하되었는데, 이는 물리적 모듈 간 오류 (CZ 게이트) 가 단일 큐비트 오류뿐만 아니라 무시할 수 없는 2 큐비트 성분 ($\epsilon_2$) 을 포함하고 있음을 나타냅니다.
  • 단일 반복 프로토콜은 1 차 오차 억제로 인해 예상대로 원시 링크에 비해 최소한의 개선만 보여주었습니다.
  • 고율 프로토콜은 2 차 오차 억제로 인해 Maneva-Smolin 프로토콜보다 향상된 충실도를 보였으나, 장치의 1 차원 연결성으로 인해 더 큰 $m$에 대해 지속 시간이 증가함에 따라 효율성이 제한되었습니다.

의의 및 주장
이 논문은 모듈 간 게이트 보조 얽힘 증류가 모듈형 양자 아키텍처에서 노이즈가 있는 링크를 극복하기 위한 실용적인 원시 연산이라고 주장합니다. 그 중요성은 추가 연산 및 큐비트와 교환하여 최소한의 오버헤드로 훨씬 더 높은 충실도의 얽힘을 달성할 수 있는 능력에 있습니다.

저자들은 공간 최적 프로토콜이 큐비트 수와 회로 깊이가 중요한 제약 조건인 단기 장치 및 초기 내결함성 아키텍처에 특히 관련이 있다고 강조합니다. 모듈 간 오류가 로컬 오류보다 수배 더 클 때 이 이점이 가장 두드러지지만, 이러한 프로토콜들은 인터커넥트 충실도를 개선할 수 있는 실현 가능한 경로를 제공합니다.

이 논문은 논리적 수준 응용에 대해 겸손한 범위를 유지합니다. 물리적 수준에서는 효과적이지만, 이러한 증류 기술의 논리적 수준 적용성은 모듈 간 연산으로 유도된 오류의 국소성에 달려 있다고 지적합니다. 광범위한 지지를 가진 코드 (예: Gross 코드) 의 경우, 단일 모듈 간 오류가 여러 논리적 큐비트에 걸쳐 상관된 오류를 유발하여 증류를 무효화할 수 있습니다. 그러나 물리적 수준 인터커넥트의 경우, 이 기술은 광범위하게 적용 가능하고 강력하게 제시됩니다.