[논문 리뷰] Coherent Parity Check Construction for Quantum Error Correction

Nicholas Chancellor, Aleks Kissinger외 2명|arXiv (Cornell University)|2016. 11. 23.

Quantum Computing Algorithms and Architecture참고 문헌 44인용 수 18

한 줄 요약

이 논문은 고전적 패리티 체크와 유사한 구조를 가지며 직관적이고 장치에 특화된 코드 설계를 가능하게 하는 양자 오류 수정 코드를 설계하기 위한 일관된 패리티 체크(CPC) 프레임워크를 소개한다. 실제 이온 트랩 오류 비율을 사용하여 [[10,3,3]] 및 [[12,4,3]]와 같은 저오버헤드 코드를 구현하고, CPC 코드가 CSS 코드임을 입증하며, 자동화된 추론을 위해 ZX 계산법에 맵핑함으로써 단일 코드블록 내에서 전이 게이트나 다중 코드블록 없이도 계산을 수행할 수 있도록 한다.

ABSTRACT

We present a framework for constructing and analysing quantum error correction codes that gives simple and intuitive tools for designing codes based on device specifications. Built from a direct analog of classical parity checking, these coherent parity codes use a simple model for constraints between qubits and decoding of information. With an associated graphical language, this coherent parity check (CPC) construction enables automated search for codes, and we give discovered examples of low-overhead codes for small devices ([[10,3,3]], and [[12,4,3]]) based on realistic error rates taken from current ion trap state-of-the-art . We show that CPC codes form a class of CSS codes. We further show that the graphical language maps to the category-theoretic ZX calculus, which enables the use of the automated reasoning tool Quantomatic to derive properties of the codes. We show how automated reasoning allows us to perform computation between qubits in the same code-block without requiring multiple codeblocks and/or transversal gates. These tools offer a significant aid to put quantum error correction theory into design practice for practical quantum technologies in both the immediate future and looking forwards to large-scale deployable quantum computing. Furthermore, the close theoretical link between the CPC construction and classical error correction codes opens up the possibility of constructing quantum versions of modern high- performance error correction codes (such as LDPC and turbo codes) that approach the Shannon limit.

연구 동기 및 목표

• 실제 장치 사양에 맞는 프레임워크를 개발하여 양자 오류 수정 이론과 실질적 양자 하드웨어 설계를 연결한다.
• 고전적 패리티 체크의 직접적인 유사성에 기반한 단순하고 직관적인 양자 코드 설계 방법을 개발한다.
• 그래픽적 언어를 통해 ZX 계산법과 연계된 자동화된 도구를 활용한 코드 자동 탐색 및 분석을 가능하게 한다.
• 전이 게이트나 다중 코드블록 없이도 단일 코드블록 내에서 고뢰터널런트 양자 계산을 지원한다.
• LDPC 및 터보 코드와 같은 고성능 고전적 코드의 양자 유사체를 탐색한다.

제안 방법

• CPC 프레임워크는 고전적 패리티 체크의 직접적인 양자 유사체를 사용하여 큐비트 간의 제약 조건을 정의함으로써 체계적인 코드 설계 접근법을 제공한다.
• 코드 구조를 표현하고 분석하기 위해 그래픽적 언어를 도입하여 시각적이고 자동화된 추론을 가능하게 한다.
• 이 그래픽적 언어는 범주론적 ZX 계산법과 공식적으로 맵핑되어 Quantomatic과 같은 자동화 도구와의 통합을 가능하게 한다.
• 일관된 패리티 체크에 의한 안정화를 보장함으로써 CSS 코드의 구조를 지원한다.
• Quantomatic을 통한 자동화된 추론을 통해 코드 성질을 유도하고 단일 코드블록 내에서의 계산을 촉진한다.
• 현재 이온 트랩 기술에서의 실제 오류 비율을 활용하여 소규모 장치에서의 코드 탐색과 성능 평가를 이끌어낸다.

실험 결과

연구 질문

• RQ1 실제 구현을 위해 물리적 장치 제약 조건을 직접 반영할 수 있는 양자 오류 수정 프레임워크는 어떻게 설계할 수 있는가?
• RQ2 일관된 패리티 체크 구조는 근거리 양자 하드웨어에 적합한 저오버헤드 양자 코드를 도출할 수 있는가?
• RQ3 CPC 코드의 그래픽적 표현은 다항식 프레임워크인 ZX 계산법과 얼마나 정밀하게 형식화되고 연결될 수 있는가?
• RQ4 자동화된 추론 도구는 외부 게이트 텔레포테이션이나 다중 코드블록 없이도 양자 코드의 성질을 유도하고 검증하는 데 어떻게 활용될 수 있는가?
• RQ5 CPC 프레임워크는 LDPC 및 터보 코드와 같은 고성능 고전적 코드의 양자 버전을 구축하는 데 확장될 수 있는가?

주요 결과

• CPC 구조는 유효한 CSS 코드를 생성하며, 기존의 양자 오류 수정 이론과의 호환성을 확인한다.
• 이 프레임워크는 실제 이온 트랩 오류 비율을 사용하여 [[10,3,3]] 및 [[12,4,3]]와 같은 저오버헤드 양자 코드의 탐색을 가능하게 한다.
• CPC 코드의 그래픽적 표현은 정확히 ZX 계산법에 맵핑되어 Quantomatic과 같은 도구를 활용한 자동 검증 및 추론을 가능하게 한다.
• 자동화된 추론을 통해 단일 코드블록 내에서 논리 연산을 직접 수행할 수 있으며, 전이 게이트나 다중 코드블록이 필요 없어진다.
• CPC와 고전적 오류 수정 이론 간의 밀접한 이론적 연결은 양자 LDPC 및 터보 코드를 개발할 수 있는 길을 열며, 샤논 한계에 가까운 성능을 달성할 수 있다.
• 이 방법은 현재 및 근거리 양자 기술에서 양자 오류 수정 이론을 실제 구현으로 전환할 수 있는 실용적인 길을 제공한다.