[논문 리뷰] Scheme for constructing graphs associated with stabilizer quantum codes

Carlo Cafaro, Damian Markham외 1명|arXiv (Cornell University)|2014. 07. 10.

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

한 줄 요약

이 논문은 이원 stabilizer 양자 코드와 관련된 그래프를 체계적으로 구성하기 위한 방법을 제안한다. 먼저 코드를 표준형으로 된 codeword-stabilized (CWS) 형식으로 재구성하고, 그 다음 표준형을 이용해 국소 Clifford 동치를 통해 그래프 상태 표현을 유도하며, 마지막으로 입력 정점을 그래프에 부착한다. 핵심 기여는 Schlingemann과 Werner가 처음으로 제안한 바와 같이, 그래프 이론적 기준을 사용하여 오류 수정 능력을 검증할 수 있는 통합적이고 알고리즘적인 방법을 통해 어떤 이원 stabilizer 코드라도 그래픽적으로 표현할 수 있도록 한다.

ABSTRACT

We propose a systematic scheme for the construction of graphs associated with binary stabilizer codes. The scheme is characterized by three main steps: first, the stabilizer code is realized as a codeword-stabilized (CWS) quantum code; second, the canonical form of the CWS code is uncovered; third, the input vertices are attached to the graphs. To check the effectiveness of the scheme, we discuss several graphical constructions of various useful stabilizer codes characterized by single and multi-qubit encoding operators. In particular, the error-correcting capabilities of such quantum codes are verified in graph-theoretic terms as originally advocated by Schlingemann and Werner. Finally, possible generalizations of our scheme for the graphical construction of both (stabilizer and nonadditive) nonbinary and continuous-variable quantum codes are briefly addressed.

연구 동기 및 목표

• 기존에 존재하는 이원 stabilizer 코드의 그래픽 프레임워크에 체계적으로 통합하는 데 오랫동안 지속된 격차를 해소하기 위해.
• 기존의 stabilizer 코드 그래프 표현 방식이 비유일적이고 정보가 부족한 성향을 해결하기 위해.
• 모든 이원 stabilizer 코드를 그래프 상태 표현으로 매핑하는 통합적이고 알고리즘적인 절차를 제공함으로써 오류 수정 성질을 유지하기 위해.
• Schlingemann과 Werner가 주장한 바와 같이, 그래프 이론적 도구를 사용하여 오류 수정 능력을 검증할 수 있도록 하기 위해.
• 비이원 및 연속 변수 양자 코드로의 일반화를 위한 기초를 마련하기 위해.

제안 방법

• 이 방법은 이원 stabilizer 코드를 codeword-stabilized (CWS) 양자 코드로 표현함으로써 시작된다.
• CWS 코드는 안정자 생성자와 논리적 연산자가 오직 Z 및 X 연산자로만 표현되는 표준형으로 변환된다.
• 표준형 CWS 코드에 국소 Clifford 변환을 적용하여 안정자 생성자가 그래프 상태와 일치하는 형태로 만든다.
• 안정자 행렬을 사용하여 공식 $\Gamma = Z^{\top} \cdot (X^{\top})^{-1}$ 를 통해 그래프의 인접 행렬을 유도한다. 이때 $\det X \neq 0$ 라고 가정한다.
• 논리적 큐비트를 나타내기 위해 입력 정점을 그래프에 추가하여 코드의 완전한 그래픽 표현을 구성한다.
• Schlingemann과 Werner의 공식을 사용하여 공명 행렬과 그래프 이론적 기준을 통해 오류 수정 능력을 검증한다.

실험 결과

연구 질문

• RQ1 어떻게 CWS 형식을 활용하여 임의의 이원 stabilizer 코드를 그래프 상태 표현으로 체계적으로 매핑할 수 있는가?
• RQ2 국소 Clifford 동치는 안정자 코드가 잘 정의된 인접 행렬을 가진 그래프 상태로 표현될 수 있도록 보장하는 데 어떤 역할을 하는가?
• RQ3 공명 행렬의 구조와 같은 그래프 이론적 성질을 통해 안정자 코드의 오류 수정 능력을 순수하게 그래프 이론적 특성으로 검증할 수 있는가?
• RQ4 제안된 방법은 기존의 stabilizer 코드 그래프 표현 방식에서 비유일성과 정보 부족 문제를 어떻게 해결하는가?
• RQ5 이 방법은 비이원 및 연속 변수 양자 코드로 어떻게 일반화될 수 있는가?

주요 결과

• 이 방법은 [[8,3,3]]-코드에 대해 성공적으로 그래프 표현을 구성하였으며, 이는 안정자 행렬에서 유도된 인접 행렬을 가진 그래프 상태와 국소 Clifford 동치임을 확인하였다.
• 인접 행렬 $\Gamma = Z^{\top} \cdot (X^{\top})^{-1}$ 가 계산되었고, 이는 큐브 그래프와 일치함을 보여, 코드의 위상적 구조를 확인하였다.
• 정점 1에서 국소 보완을 수행한 후 그래프의 인접 행렬이 변화하였으며, 결과적으로 유도된 행렬 $\Gamma'$ 는 행렬식이 0이 되어 그래프 동치류가 변경됨을 나타내었다.
• 입력 및 출력 정점이 포함된 그래프에서 유도된 11×11 공명 행렬 $\Xi_{[[8,3,3]]}$ 이 구성되었으며, 이는 코드가 모든 단일 큐비트 오류를 탐지할 수 있음을 확인하였다.
• Schlingemann-Werner 기준을 사용하여 $\binom{8}{2}$ 개의 두 오류 구성이 모두 탐지 가능하다는 것이 검증되었으며, 이는 코드가 어떤 단일 큐비트 오류도 수정할 수 있음을 증명한다.