[논문 리뷰] Graphical Structures for Design and Verification of Quantum Error Correction

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

Quantum Computing Algorithms and Architecture인용 수 8

한 줄 요약

이 논문은 고수준의 그래픽적 방법인 Coherent Parity Check (CPC) 프레임워크를 소개한다. 이 프레임워크는 ZX-계산법을 사용하여 양자 오류 수정 코드의 설계 및 검증을 수행한다. 이를 통해 고전적 코드—특히 CSS 코드—에서 안정자 코드를 체계적으로 구성할 수 있으며, 이는 [[2n−k+2, k, 3]] 코드로 표현된다. 이는 근접한 양자 장치에서 효율적인 큐비트 사용과 자동화된 검색 및 컴파일러 툴체인과의 호환성을 바탕으로 한 유연하고 확장 가능한 접근 방식을 제공한다.

ABSTRACT

We introduce a high-level graphical framework for designing and analysing quantum error correcting codes, centred on what we term the coherent parity check (CPC). The graphical formulation is based on the diagrammatic tools of the zx-calculus of quantum observables. The resulting framework leads to a construction for stabilizer codes that allows us to design and verify a broad range of quantum codes based on classical ones, and that gives a means of discovering large classes of codes using both analytical and numerical methods. We focus in particular on the smaller codes that will be the first used by near-term devices. We show how CSS codes form a subset of CPC codes and, more generally, how to compute stabilizers for a CPC code. As an explicit example of this framework, we give a method for turning almost any pair of classical [n,k,3] codes into a [[2n - k + 2, k, 3]] CPC code. Further, we give a simple technique for machine search which yields thousands of potential codes, and demonstrate its operation for distance 3 and 5 codes. Finally, we use the graphical tools to demonstrate how Clifford computation can be performed within CPC codes. As our framework gives a new tool for constructing small- to medium-sized codes with relatively high code rates, it provides a new source for codes that could be suitable for emerging devices, while its zx-calculus foundations enable natural integration of error correction with graphical compiler toolchains. It also provides a powerful framework for reasoning about all stabilizer quantum error correction codes of any size.

연구 동기 및 목표

• 근접한 양자 하드웨어에 적합한 고수준의 직관적인 프레임워크를 개발하여 양자 안정자 코드의 설계 및 검증을 수행한다.
• 표면 코드와 같은 토폴로지 코드의 큐비트 오버헤드 문제를 해결하기 위해 더 효율적인 코드 설계를 가능하게 한다.
• 고전적 오류 수정 코드 기법을 통합된 그래픽 언어인 ZX-계산법을 기반으로 하여 양자 코드에 통합한다.
• 분석적 및 수치적 방법을 통해 자동화된 코드 발견과 하드웨어 인식 코드 설계를 지원한다.
• 그래픽적 추론을 통해 구성된 코드 내에서 고장 내성 클리포드 연산을 수행할 수 있도록 한다.

제안 방법

• 고전적 오류 수정 코드를 양자 코드로 해석할 수 있는 새로운 방법으로 Coherent Parity Check (CPC) 구성법을 제안한다. 이는 패리티 체크를 인코더 회로로 간주함으로써 이루어진다.
• 데이터, 비트-체크, 위상-체크 큐비트로 구성된 삼분할 큐비트 구조를 사용하여 코드 설계를 체계화한다.
• 비트-체크 및 위상-체크 레이어의 기본 요소로 고전적 [n, k, 3] 코드를 사용하며, 오류 탐지 및 정확한 코드 거리 확보를 위해 크로스-체크 행렬을 적용한다.
• 양자 회로 및 안정자 구조에 대한 추론을 위해 ZX-계산법을 그래픽 언어로 활용하여 코드 성질의 시각적 검증 및 조작을 가능하게 한다.
• CPC 형식론을 기반으로 한 기계적 검색 기법을 개발하여 거리 3 및 5에 해당하는 수천 개의 후보 코드를 발견한다.
• 그래픽적 계산법을 활용하여 CPC 코드 내에서 클리포드 연산을 수행할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 고수준의 그래픽 프레임워크를 사용하여 고전적 오류 수정 코드를 고성능 양자 안정자 코드로 체계적으로 변환할 수 있는가?
• RQ2 CPC 구성법이 비가환 안정자로 인해 발생할 수 있는 문제에도 불구하고, 결과적으로 원하는 최소 거리를 확보할 수 있는가?
• RQ3 CPC 프레임워크가 하드웨어 제약 조건 하에서 자동화되고 대규모로 코드 발견을 지원할 수 있는 정도는 어느 정도인가?
• RQ4 ZX-계산법이 CPC 코드 내의 안정자 구조 및 클리포드 연산에 대해 효과적으로 검증하고 추론하는 데 사용될 수 있는가?
• RQ5 근접한 장치에서 기존의 CSS 코드나 표면 코드와 비교해 볼 때 CPC 코드는 성능과 자원 효율성 측면에서 어떻게 성과를 내는가?

주요 결과

• CPC 프레임워크는 임의의 고전적 [n, k, 3] 코드 쌍에서 [[2n−k+2, k, 3]] 양자 코드를 구성하여 높은 논리적 코드율을 확보하는 효율적인 코드 설계를 가능하게 한다.
• CSS 코드가 CPC 코드의 부분집합임을 입증함으로써, 토폴로지적 및 비토폴로지적 코드를 모두 포함하는 통합 프레임워크를 확립한다.
• 기계적 검색 기법을 통해 수천 개의 후보 코드를 발견함으로써 확장성과 실용적 유용성을 입증한다.
• 프레임워크는 CPC 코드 내에서 클리포드 연산의 구현을 지원하여 고장 내성 논리 게이트를 가능하게 한다.
• ZX-계산법을 통한 그래픽적 추론은 양자 컴파일러 툴체인과 자연스럽게 통합되며 코드 성질의 검증을 가능하게 한다.
• 큰 크기의 CPC 코드는 LDPC와 같이 선형적으로 증가하는 최소 거리를 확보하지 못할 수 있지만, 유한한 노이즈 하에서의 유한 거리 코드는 여전히 잘 작동하므로 근접한 응용 분야에 실용적이다.