[논문 리뷰] Minimum weight perfect matching of fault-tolerant topological quantum error correction in average $O(1)$ parallel time

Austin G. Fowler|arXiv (Cornell University)|2013. 07. 06.

Quantum Computing Algorithms and Architecture인용 수 16

한 줄 요약

이 논문은 고장 내성적인 위상 양자 오류 수정을 위한 최소 무게 완전 매칭 문제를 2차원 배열의 고전적 프로세서로 구성된 아키텍처를 사용해 평균 O(1)의 병렬 시간 내에 해결할 수 있음을 증명한다. 각 프로세서는 고정된 수의 큐비트를 처리하며, 시스템 크기 L에 관계없이 오류 감지 라운드당 평균 처리 시간이 일정한 상수이므로, 물리적으로 합리적인 오류율 조건 하에서 전역적으로 최적의 디코딩을 보장한다.

ABSTRACT

Consider a 2-D square array of qubits of extent $L imes L$. We provide a proof that the minimum weight perfect matching problem associated with running a particular class of topological quantum error correction codes on this array can be exactly solved with a 2-D square array of classical computing devices, each of which is nominally associated with a fixed number $N$ of qubits, in constant average time per round of error detection independent of $L$ provided physical error rates are below fixed nonzero values, and other physically reasonable assumptions. This proof is applicable to the fully fault-tolerant case only, not the case of perfect stabilizer measurements.

연구 동기 및 목표

• 대규모 양자 컴퓨터를 위한 실시간 위상 양자 오류 수정 코드 디코딩의 확장성 문제를 해결한다.
• 순차적 디코딩 알고리즘의 성능 저하 문제를 해결하기 위해 병렬이고 분산된 고전적 처리 아키텍처를 구현한다.
• 오류 감지 라운드당 고전적 디코딩이 시스템 크기 L과 무관하게 일정한 평균 시간 내에 수행됨을 입증한다.
• 실제 물리적 오류율과 하드웨어 제약 조건 하에서도 고장 내성 디코딩이 가능함을 보장한다.
• 국소적인 고전적 처리 요소를 사용한 확장 가능하고 비동기적이며 전역적으로 최적의 디코딩 전략의 이론적 타당성을 입증한다.

제안 방법

• 각각 고정된 수의 큐비트 N을 처리하는 고전적 계산 장치로 이루어진 2차원 배열을 사용하여 감지 이벤트의 국소적 디코딩을 수행한다.
• 각 처리 요소가 감지 이벤트의 국소 패치를 처리하는 최소 무게 완전 매칭 알고리즘의 병렬 버전을 구현한다.
• 감지 이벤트가 국소적으로 상관되어 있고 오류 체인이 일반적으로 근접한 범위 내에 존재하므로, 장거리 통신을 최소화한 국소 계산이 가능하다는 점을 활용한다.
• 에드몬즈의 매칭 알고리즘에서 유래한 교대 트리 기법을 사용하며, 이는 이질적인 업데이트와 확률적 정지 기능을 지원하는 병렬 실행에 적합하게 조정된다.
• 양자 하드웨어에서 정의된 일정한 허브 신호 주기 Tq를 활용하고, 고전적 ASIC가 평균 부하를 처리하고 드문, 지수적으로 불가능한 큰 교대 트리로 인한 지연을 복구할 수 있도록 충분히 빠르게 설계한다 (Tq = 2Tc).
• 감지 이벤트의 최대 영향 반경이 로그적으로 증가함에 따라 평균 처리 시간이 O(1)로 유지됨을 증명한다. 이는 O(log L)로 유계이다.

실험 결과

연구 질문

• RQ1 위상 양자 오류 수정을 위한 최소 무게 완전 매칭 문제를 분산된 고전적 아키텍처를 사용해 평균적으로 일정한 시간 내에 해결할 수 있는가?
• RQ2 실제 물리적 오류율 조건 하에서 2차원 큐비트 격자에서 감지 이벤트를 디코딩하는 데 필요한 평균 병렬 복잡도는 얼마인가?
• RQ3 결함이 있는 구성 요소나 확률적 게이트 오류가 위상 코드에서 고전적 디코딩의 확장성에 어떤 영향을 미치는가?
• RQ4 국소적 통신과 각 처리 단위의 유한한 메모리만을 사용해 전역적으로 최적의 디코딩 솔루션을 달성할 수 있는가?
• RQ5 지수적으로 드문 큰 교대 트리가 전체 디코딩 지연에 어떤 영향을 미치며, 전역 동기화 없이도 시스템이 복구할 수 있는가?

주요 결과

• 위상 양자 오류 수정을 위한 최소 무게 완전 매칭 문제는 시스템 크기 L과 무관하게 오류 감지 라운드당 평균 O(1) 병렬 시간 내에 해결될 수 있다.
• 감지 이벤트의 최대 영향 반경이 로그적으로 증가함에 따라 평균 처리 시간이 상수로 유계이며, 이는 O(log L)로 유계이다.
• 최악의 경우 복잡도는 O(n²)이지만, 평균 경우 복잡도는 n이 라운드당 감지 이벤트 수이므로 O(n)이다.
• 제안된 병렬 디코딩 아키텍처는 비동기적이며, 드문 지수적 불가능성의 큰 교대 트리로 인한 지연에 저항성이 있다.
• 고전적 ASIC는 평균 처리 속도의 두 배로 작동하도록 설계할 수 있다 (Tq = 2Tc). 이는 지연 후 복구하고 실시간 디코딩을 유지하는 데 충분하다.
• 제시된 방법은 비제로이지만 유계인 게이트, 누설, 손실 오류율을 가정할 때 전역적으로 최적의 오류 수정을 보장한다.