[논문 리뷰] Modular decoding: parallelizable real-time decoding for quantum computers

Héctor Bombín, Christopher Dawson외 4명|arXiv (Cornell University)|2023. 03. 08.

Quantum Computing Algorithms and Architecture인용 수 9

한 줄 요약

본 논문은 모듈식 디코딩을 도입하여 엣지-버텍스 분해를 통해 fault-tolerant quantum computers의 실시간, 병렬 가능 디코딩을 가능하게 한다. 이는 버퍼링 조건이 오류 거리를 보존함을 증명하고 몬테카를로 시뮬레이션을 통해 버퍼가 오프라인-디코딩 정확도를 유지하는 데 필요하고 충분하다는 것을 보여주며, 대규모 매직-상태 증류를 포함한다.

ABSTRACT

Universal fault-tolerant quantum computation will require real-time decoding algorithms capable of quickly extracting logical outcomes from the stream of data generated by noisy quantum hardware. We propose modular decoding, an approach capable of addressing this challenge with minimal additional communication and without sacrificing decoding accuracy. We introduce the edge-vertex decomposition, a concrete instance of modular decoding for lattice-surgery style fault-tolerant blocks which is remarkably effective. This decomposition of the global decoding problem into sub-tasks mirrors the logical-block-network structure of a fault-tolerant quantum circuit. We identify the buffering condition as a key requirement controlling decoder quality; it demands a sufficiently large separation (buffer) between a correction committed by a decoding sub-task and the data unavailable to it. We prove that the fault distance of the protocol is preserved if the buffering condition is satisfied. Finally, we implement edge-vertex modular decoding and apply it on a variety of quantum circuits, including the Clifford component of the 15-to-1 magic-state distillation protocol. Monte Carlo simulations on a range of buffer sizes provide quantitative evidence that buffers are both necessary and sufficient to guarantee decoder accuracy. Our results show that modular decoding meets all the practical requirements necessary to support real-world fault-tolerant quantum computers.

연구 동기 및 목표

• 실FAULT-tolerant quantum computation에서 실시간 디코딩의 필요성에 대응한다.
• 글로벌 디코딩을 fault-tolerant 회로 구조를 반영하는 병렬 하위 작업으로 분해한다.
• 디코딩 정확도를 보존하는 핵심 조건으로 버퍼링을 도입한다.
• 버퍼링을 전제한 모듈식 디코딩이 오프라인 디코딩과 일치함을 보장하는 건전성 정리를 증명한다.
• 15-to-1 매직-스테이트 증류를 포함한 복잡한 로직 블록 네트워크에서의 수치 시뮬레이션을 통해 실용성을 입증한다.

제안 방법

• 격자-수술(lattice-surgery) 스타일의 fault tolerance에 맞춘 모듈식 디코딩 및 edge-vertex decomposition 정의.
• 각 하위 작업이 충분한 경계 데이터 버퍼를 가져야 하는 버퍼링 조건 도입.
• 충분한 버퍼링이 있을 때 모듈식 분해가 오류 거리를 보존하고 정확성을 유지함을 보장하는 건전성 정리 증명.
• 동시성 있고 짧은 지연의 디코딩을 가능하게 하는 모듈식 하위 작업의 스케줄링 개발.
• edge-vertex 디코딩을 구현하고 몬테카를로 시뮬레이션을 통해 오프라인 디코딩과 벤치마크.
• 15-to-1 매직-스테이트 증류를 포함한 복잡한 로직 블록 네트워크에 프레임워크 적용.

실험 결과

연구 질문

• RQ1 전역 디코딩 문제를 디코딩 정확도를 해치지 않으면서 어떻게 더 작고 병렬화 가능한 하위 작업으로 분해할 수 있는가?
• RQ2 모듈식 디코딩이 오프라인 디코딩과 동일한 fault-tolerance 성능을 유지하게 하려면 필요한 버퍼링 너비는 얼마나 되는가?
• RQ3 엣지-버텍스 모듈식 디코딩이 다양한 fault-tolerant 프로토콜에서 반응 시간을 낮추면서 오류 거리를 보존할 수 있는가?
• RQ4 버퍼링 조건이 lattice-surgery 기반 회로 및 증류 프로토콜의 다양한 경우에 대해 건전성을 보장하는 충분조건인가?
• RQ5 모듈식 디코딩은 15-to-1 매직-스테이트 증류와 같은 대규모 로직-블록 네트워크에서 어떻게 동작하는가?

주요 결과

• 모듈식 디코딩을 사용할 때 버퍼링 조건은 오프라인 디코딩과 동일한 디코딩 성능을 유지하는 데 필요하고 충분하다.
• 충분한 버퍼링이 있을 때 모듈식 분해를 통한 디코딩은 건전성 정리에 의해 오류 거리의 절반까지도 효과적으로 유지될 수 있음을 보장한다.
• 엣지-버텍스 분해는 작업을 엣지(병렬) 하위 작업과 버텍스(경계 의존) 하위 작업으로 분리하여 동시성 높은 저지연 디코딩을 가능하게 한다.
• 스케줄링 및 버퍼링 전략은 대규모 로직-블록 네트워크에서도 실제 시간 디코딩을 가능하게 하되 논리적-오류율을 증가시키지 않는다.
• 몬테카를로 시뮬레이션은 다양한 버퍼 사이즈에서 이 접근법을 검증했고 15-to-1 매직-스테이트 증류와 같은 복잡한 블록도 포함한다.