[논문 리뷰] Quantum stabilizer codes and beyond

Sarvepalli, Pradeep Kiran|ArXiv.org|2008. 10. 14.

Quantum Computing Algorithms and Architecture참고 문헌 95인용 수 8

한 줄 요약

이 박사학위논문은 이차 확장체 위에서 비이진 안정자 코드를 확장하고, 하위계 코드를 위한 특성 이론적 프레임워크를 개발하며, 노이즈가 있는 채널에 맞춤형으로 설계된 비대칭 양자 안정자 코드를 구성하여 양자 오류 수정을 발전시킨다. 표준의 분극화 채널 모델을 초월하여 좋은 양자 코드의 설계 및 분석을 크게 향상시키기 위해, 양자 BCH 코드 설계를 위한 단순화된 기준을 제공하고, 순환 코스와 쌍대 조건을 사용하여 명시적인 매개변수를 도출한다.

ABSTRACT

The importance of quantum error correction in paving the way to build a practical quantum computer is no longer in doubt. This dissertation makes a threefold contribution to the mathematical theory of quantum error-correcting codes. Firstly, it extends the framework of an important class of quantum codes -- nonbinary stabilizer codes. It clarifies the connections of stabilizer codes to classical codes over quadratic extension fields, provides many new constructions of quantum codes, and develops further the theory of optimal quantum codes and punctured quantum codes. Secondly, it contributes to the theory of operator quantum error correcting codes also called as subsystem codes. These codes are expected to have efficient error recovery schemes than stabilizer codes. This dissertation develops a framework for study and analysis of subsystem codes using character theoretic methods. In particular, this work establishes a close link between subsystem codes and classical codes showing that the subsystem codes can be constructed from arbitrary classical codes. Thirdly, it seeks to exploit the knowledge of noise to design efficient quantum codes and considers more realistic channels than the commonly studied depolarizing channel. It gives systematic constructions of asymmetric quantum stabilizer codes that exploit the asymmetry of errors in certain quantum channels.

연구 동기 및 목표

• 거리, 비율, 오류 내성 측면에서 여전히 해결되지 않은 '좋은' 양자 코드를 설계하는 데 있어 도전 과제를 해결하기 위해.
• 이차 확장체 위의 고전적 코드와 연결하여 비이진 안정자 코드 이론을 확장하고, 양자 BCH 코드 설계를 단순화하기 위해.
• 특성 이론을 활용한 체계적인 하위계 코드 프레임워크를 개발하여 임의의 고전적 코드로부터의 구성 가능성을 보장하기 위해.
• 노이즈의 비균형성을 활용하여 비대칭 노이즈 채널을 위한 효율적인 양자 코드를 설계함으로써 이상화된 분극화 채널 모델을 초월하기 위해.

제안 방법

• 유한체 위의 덧셈적 코드와 갈로아 연결을 사용하여 안정자 코드를 비이진 및 고차원 양자 시스템으로 일반화한다.
• 순환 코스 분석을 적용하여 고전적 BCH 코드가 그 쌍대를 포함하는 조건을 규명하고, 이는 CSS 및 허미트 구성 방법에 의한 양자 코드 설계를 가능하게 한다.
• 특성 이론적 방법을 활용하여 하위계 코드를 분석하고 구성하며, 고전적 코드와의 직접적 대응 관계를 수립한다.
• BCH와 유한 기하학 기반 LDPC 코드를 조합한 캘러드본-쇼어-스타인(CSS) 기반 구성법을 도입하여 비대칭 양자 채널을 위한 코드를 설계한다.
• 설계 거리와 체 매개변수에 기반한 양자 코드의 차원과 최소 거리에 대한 명시적 공식을 유도한다.
• 쌍대성 성질과 순수성 조건을 활용하여 고정밀 오류 수정을 보장하며, 특히 높은 최소 거리를 가진 코드에 대해 유리하다.

실험 결과

연구 질문

• RQ1 이차 확장체 위의 고전적 코드를 사용하여 비이진 양자 안정자 코드의 설계를 어떻게 단순화하고 일반화할 수 있는가?
• RQ2 고전적 BCH 코드가 그 쌍대를 포함하기 위한 조건은 무엇이며, 이는 CSS 구성 방법에 의한 양자 코드 설계를 가능하게 하는가?
• RQ3 특성 이론을 활용하여 하위계 코드를 어떻게 체계적으로 구성하고 분석할 수 있으며, 이는 고전적 코드와 어떤 관계가 있는가?
• RQ4 노이즈의 비대칭성이 양자 채널에서 수행하는 역할은 무엇이며, 이를 어떻게 활용하여 더 효율적인 양자 코드를 설계할 수 있는가?
• RQ5 통합된 대수적 프레임워크를 사용하여 BCH 및 LDPC 코드로부터 명시적이고 최적의 양자 코드를 도출할 수 있는가?

주요 결과

• 논문은 설계 거리에만 기반하여 양자 BCH 코드를 설계하기 위한 단순화된 기준을 수립하여 직접 매개변수 계산이 가능하게 한다.
• 비이진 양자 BCH 코드의 차원에 대한 명시적 공식을 제공하여 이전 연구를 향상시킨다.
• 쌍대를 포함하는 BCH 코드로부터 구성된 양자 코드의 차원과 순수성을 정확히 특성화하였으며, 순수성은 δmax + 1까지 증명되었다.
• 하위계 코드는 특성 이론적 프레임워크를 통해 어떤 고전적 코드로부터도 구성 가능하다는 것이 입증되어 적용 범위가 크게 확장된다.
• BCH와 유한 기하학 기반 LDPC 코드를 활용하여 비대칭 양자 안정자 코드를 체계적으로 구성하였으며, 매개변수는 CSS 및 허미트 구성 방법을 통해 유도되었다.
• 고전적 코드의 우수한 쌍대성 및 순환 코스 구조를 가진 경우, 높은 최소 거리와 양호한 비율을 갖는 양자 코드를 도출할 수 있음을 보여주었다.