[논문 리뷰] Catalytic quantum error correction

Todd A. Brun, Igor Devetak외 1명|arXiv (Cornell University)|2006. 08. 02.

Quantum Computing Algorithms and Architecture참고 문헌 26인용 수 23

한 줄 요약

이 논문은 이전에 공유된 양자 얽힘을 활용함으로써 이중 포함 조건이 필요 없어지는 안정자 코드의 일반화로, 엔트랑글먼트 보조 양자 오류 수정(EAQEC) 코드를 소개한다. 임의의 4진 고전적 코드가 EAQEC 코드로 변환될 수 있음을 보여줌으로써, LDPC 및 터보 코드와 같은 효율적인 고전적 코드를 직접적으로 활용하여 해싱 한계에 도달하는 양자 코드를 구성할 수 있게 되었으며, 이는 코드 설계를 크게 단순화하고 촉매 작용하는 양자 오류 수정을 가능하게 한다.

ABSTRACT

We develop the theory of entanglement-assisted quantum error correcting (EAQEC) codes, a generalization of the stabilizer formalism to the setting in which the sender and receiver have access to pre-shared entanglement. Conventional stabilizer codes are equivalent to dual-containing symplectic codes. In contrast, EAQEC codes do not require the dual-containing condition, which greatly simplifies their construction. We show how any quaternary classical code can be made into a EAQEC code. In particular, efficient modern codes, like LDPC codes, which attain the Shannon capacity, can be made into EAQEC codes attaining the hashing bound. In a quantum computation setting, EAQEC codes give rise to catalytic quantum codes which maintain a region of inherited noiseless qubits. We also give an alternative construction of EAQEC codes by making classical entanglement assisted codes coherent.

연구 동기 및 목표

• 사전에 공유된 얽힘을 통합함으로써 안정자 형식을 일반화하여 새로운 종류의 양자 오류 수정 코드를 도출한다.
• 기존 안정자 코드에서 요구되는 이중 포함 조건을 제거함으로써, 양자 코드의 구축을 단순화한다.
• 양자 오류 수정과 양자 샤논 이론 사이의 연결 고리를 확립하기 위해 엔트랑글먼트 보조 양자 통신의 '아빠 프로토콜'을 추적한다.
• 고장 내성 양자 계산 중에 소음이 없는 큐비트 영역을 유지하는 촉매 작용 양자 오류 수정 코드를 개발한다.
• 이론을 엔트랑글먼트 보조 고전적 코드로 확장하고, 그 일관성을 입증함으로써 양자 및 고전적 통신 프로토콜을 통합적으로 다룰 수 있도록 한다.

제안 방법

• 양자 게이트군에서의 심플렉틱 대수를 사용하여 EAQEC 코드를 수식화하며, 코드의 안정자 구조는 이중 포함 조건이 필요 없는 $\mathbb{F}_4$ 위의 고전적 코드로 정의된다.
• 임의의 4진 고전적 코드를 심플렉틱 코드로 매핑함으로써 EAQEC 코드를 구성하며, 이중 포함되지 않는 정도가 필요한 얽힘의 양을 수량화한다.
• 새로운 EAQEC 코드 구성 방법을 도입하여 $[[n,k,d;c]]$ 표기법을 사용하며, 여기서 $c$는 사전에 공유된 벨 상태 쌍의 수를 나타낸다.
• 자르기(puncturing)와 확장(extension) 기법을 적용하여 기존 코드에서 새로운 EAQEC 코드를 생성하며, 거리와 비율을 유지하거나 향상시킨다.
• EAQEC 코드를 사용하여 고장 내성 양자 계산 중에 소음이 없는 큐비트 영역을 유지하는 촉매 작용 양자 오류 수정 코드를 구축할 수 있음을 보여준다.
• 엔트랑글먼트 보조 고전적 코드(EACEC)는 일관성 있게 만들 수 있으며, 이는 아빠 프로토콜로의 대체 경로를 제공하고, 양자 용량 계열 수목과 연결된다.

실험 결과

연구 질문

• RQ1 안정자 형식은 사전에 공유된 얽힘을 포함함으로써 일반화될 수 있으며, 이로 인해 이중 포함 조건이 완화될 수 있는가?
• RQ2 특히 해싱 한계에 도달하는 현대적 코드인 LDPC와 같은 고전적 오류 수정 코드는 어느 정도 엔트랑글먼트 보조를 통해 양자 코드로 변환될 수 있는가?
• RQ3 EAQEC 코드는 고장 내성 양자 계산 중에 소음이 없는 큐비트 영역을 유지하는 촉매 작용 양자 오류 수정 코드를 어떻게 구성할 수 있는가?
• RQ4 엔트랑글먼트 보조 고전적 코드는 일관성 있게 만들 수 있으며, 이는 더 넓은 양자 샤논 프로토콜 계열과 어떻게 관련이 있는가?
• RQ5 EAQEC 코드에서 촉매 크기(얽힘 비용)와 코드 성능 사이의 상충 관계는 무엇이며, 기존 QEC 코드와 비교해 볼 때 어떻게 다를 수 있는가?

주요 결과

• 임의의 4진 고전적 코드는 이중 포함 조건이 필요 없이 EAQEC 코드로 변환될 수 있으며, 이는 구축 과정을 크게 단순화한다.
• EAQEC 코드는 해싱 한계에 도달할 수 있으며, 이는 LDPC 코드처럼 샤논 용량에 도달하는 고전적 코드로부터 구성된 경우에 해당한다.
• $[[8,0,4;0]]$ 코드는 $[[7,1,3;0]]$ 코드를 확장함으로써 구성되며, 새로운 구성 방법에서 거리가 증가할 수 있음을 보여준다.
• 한 $[[n,k,d;c]]$ 코드를 자르면 $[[n-1,k-c+c'+1,d-1;c']]$ 코드가 되며, 거리가 최대 1만큼 감소한다. 이는 코드 비율 최적화를 가능하게 한다.
• EAQEC 코드를 통해 촉매 작용 양자 오류 수정을 실현할 수 있으며, 이는 계산 중에 소음이 없는 큐비트 영역을 유지함으로써 고장 내성 동작을 가능하게 한다.
• 엔트랑글먼트 보조 고전적 코드(EACEC)는 일관성 있게 만들 수 있으며, 아빠 프로토콜로의 대체 경로를 제공하고, 고전적 및 양자 통신 프로토콜을 통합적으로 다룰 수 있도록 한다.