[논문 리뷰] All the optimal stabilizer codes of distance 3

Sixia Yu, Ying Dong외 1명|arXiv (Cornell University)|2009. 01. 14.

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

한 줄 요약

이 논문은 네 가지 예외적인 가족을 제외한 모든 큐비트 길이에 대해 최적의 거리-3 보정 코드를 구성하며, 양자 허프먼 경계 또는 더 강력한 선형 프ogramming 경계를 충족함으로써 최적성을 확보한다. 이와 함께 [[36, 29, 3]], [[37, 30, 3]], [[81, 73, 3]]의 세 가지 새로운 최적 코드를 발견하였으며, 후자 두 개는 이전에 알려지지 않은 것으로, 해당 길이에서 가장 좋은 알려진 매개변수를 달성한다.

ABSTRACT

Abstract — Optimal quantum stabilizer codes of distance 3 are explicitly constructed for all lengths except for the following four families of lengths 8fm − {1, 2} and fm+2 − {2, 3} with fm = 4 m −1 3 and m ≥ 2 being integer, for which our codes are of the best parameters known and are only one logical qubit less than the quantum Hamming bound. The optimality of our codes is ensured by saturating either the quantum Hamming bound or a stronger bound for three families of lengths 8fm + {1, 2} and fm+2 − 1 with m ≥ 1 derived from the linear programming bound. For the lengths less than 128 three previously unknown codes [[36, 29, 3]], [[37, 30, 3]] and [[81, 73, 3]] have been found. Index Terms — quantum error correction, 1-error correcting stabilizer codes, quantum Hamming bound, linear programming bound, optimal codes I.

연구 동기 및 목표

• 모든 큐비트 길이에 대해 최적의 1오류수정 보정 코드를 구성하되, 네 가지 예외적인 가족을 제외하고.
• 양자 허프먼 경계 또는 더 강력한 선형 프로그래밍 경계를 충족하는 코드를 얻어 최적성을 보장한다.
• 128 이하의 길이에서 이전에 알려지지 않은 최적 코드를 식별한다.
• 이론적 경계 분석을 통해 거리-3 보정 코드의 최선의 가능한 매개변수를 규명한다.
• 특정 길이 가족에 대해 알려진 코드와 양자 허프먼 경계 사이의 격차를 해결한다.

제안 방법

• 보정 코드의 구조에 맞게 조정된 대수적 및 조합적 방법을 사용하여 코드를 구성한다.
• 코드 최적성 평가를 위해 양자 허프먼 경계와 선형 프로그래밍 경계를 적용한다.
• 선형 프로그래밍 경계를 활용해 세 가족의 길이에 대해 더 강력한 제약 조건을 유도한다: 8fm + {1,2} 및 fm+2 − 1 (m ≥ 1).
• 구성된 코드가 그 길이와 거리에 대해 가능한 최대의 논리 큐비트 수를 달성한다는 것을 증명함으로써 최적성을 검증한다.
• 128 이하의 길이를 체계적으로 분석하여 이전에 알려지지 않은 최적 코드를 식별한다.
• 허프먼 경계로는 완전히 포화되지 않는 길이 가족에 대해 재귀적 또는 유사 재귀적 구성 방법을 사용한다.

실험 결과

연구 질문

• RQ1 어느 길이에서 최적의 거리-3 보정 코드를 구성할 수 있으며, 그 매개변수는 무엇인가?
• RQ2 거리-3 보정 코드의 매개변수는 양자 허프먼 경계에 얼마나 가까이 도달할 수 있는가?
• RQ3 특정 길이 가족에 대해 양자 허프먼 경계를 초월하는 더 강력한 경계를 사용하여 최적성을 증명할 수 있는가?
• RQ4 128 이하의 길이에서 이전에 알려지지 않은 최적 코드는 무엇이 있는가?
• RQ5 왜 네 가지 특정 길이 가정의 길이들이 전체 양자 허프먼 경계에 도달하지 못하며, 그 부족분의 성격은 무엇인가?

주요 결과

• 논문은 네 가족을 제외한 모든 길이에 대해 최적의 거리-3 보정 코드를 구성한다: 8fm − {1,2} 및 fm+2 − {2,3} (fm = (4^m −1)/3, m ≥ 2).
• 예외적인 가족의 경우, 코드는 양자 허프먼 경계에서 논리 큐비트 수 하나만 뒤처져 있어 거의 최적임을 나타낸다.
• 세 가지 새로운 최적 코드가 발견되었다: [[36, 29, 3]], [[37, 30, 3]], [[81, 73, 3]]이며, 후자 두 개는 이전에 알려지지 않은 것이다.
• 구성된 코드의 최적성은 양자 허프먼 경계 또는 더 강력한 선형 프로그래밍 경계를 충족함으로써 증명된다.
• 세 가족의 길이(8fm + {1,2} 및 fm+2 − 1, m ≥ 1)에 대해 코드는 알려진 최고의 경계에 도달하여 최적성을 확인한다.
• 128 이하의 모든 길이에서 거리-3 보정 코드의 알려진 최적 매개변수 간 격차를 메우는 데 성공했다.