[논문 리뷰] Homological Product Codes

Sergey Bravyi, Matthew B. Hastings|arXiv (Cornell University)|2013. 11. 04.

Quantum Computing Algorithms and Architecture참고 문헌 19인용 수 10

한 줄 요약

이 논문은 임의의 양자 코드와 대수적 위상수학 기법을 조합하는 호모로지 곱 구조를 사용하여, 일정한 인코딩 속도와 선형 거리를 갖는 최초의 양호한 양자 LDPC 코드 가족을 소개한다. 이로 인해 얻어진 코드들은 안정자 무게 $O(ar{n})$를 달성하여 이전까지 알려진 모든 양호한 양자 코드에서 관찰된 선형 안정자 무게의 제한을 초월하였으며, 랜덤화된 구성과 쿠른트 공식을 통해 증명된다.

ABSTRACT

Quantum codes with low-weight stabilizers known as LDPC codes have been actively studied recently due to their simple syndrome readout circuits and potential applications in fault-tolerant quantum computing. However, all families of quantum LDPC codes known to this date suffer from a poor distance scaling limited by the square-root of the code length. This is in a sharp contrast with the classical case where good families of LDPC codes are known that combine constant encoding rate and linear distance. Here we propose the first family of good quantum codes with low-weight stabilizers. The new codes have a constant encoding rate, linear distance, and stabilizers acting on at most $\sqrt{n}$ qubits, where $n$ is the code length. For comparison, all previously known families of good quantum codes have stabilizers of linear weight. Our proof combines two techniques: randomized constructions of good quantum codes and the homological product operation from algebraic topology. We conjecture that similar methods can produce good stabilizer codes with stabilizer weight $n^a$ for any $a>0$. Finally, we apply the homological product to construct new small codes with low-weight stabilizers.

연구 동기 및 목표

• 일찍이 해결되지 않은 문제인 일정한 인코딩 속도와 선형 거리를 갖는 양호한 양자 LDPC 코드를 구축하는 것.
• 모든 알려진 양호한 양자 코드에서 안정자가 선형 무게를 가졌던 이전의 제한을 극복하는 것.
• 호모로지 대수학과 랜덤화된 복합체를 이용한 새로운 구성 방법을 개발하여 개선된 코드 파라미터를 달성하는 것.
• 호모로지 곱이 작은, 저중량 안정자 코드를 생성하여 실용적인 거리 성질을 갖는다는 것을 보여주는 것.
• 이 방법이 안정자 무게 $O(n^\alpha)$를 갖는 코드로 일반화될 수 있다는 추측을 제기하는 것 (모든 $\alpha > 0$에 대해).

제안 방법

• 논문은 두 개의 랜덤 체인 복합체의 호모로지 곱을 통해 양자 코드를 구성하며, 대수적 위상수학을 활용해 코드의 구조를 정의한다.
• 좋은 고전적 코드의 랜덤화된 구성 방법을 사용하고, 복합체의 호모로지 분석을 위해 쿠른트 공식을 적용한다.
• 양자 코드는 $\mathbb{F}_4$-선형 코드에서 유도된 경계 연산자 $\partial = \delta_1 \otimes I + I \otimes \delta_2$를 사용해 정의된다.
• 확률적 카운팅을 통한 축소된 사이클과 균일한 저중량 사건을 이용해 얻어진 코드의 거리를 한정한다.
• 증명는 호모로지에 저중량 사이클이 존재하지 않을 확률이 0이 아니라는 것을 보여, 좋은 코드의 존재를 암시한다.
• 작은 코드들(예: $[[25,1,5]]$는 $[[5,1,3]]$ 코드에서 유도)에 대해 수치적 검증을 수행하여 거리와 안정자 무게를 확인한다.

실험 결과

연구 질문

• RQ1 일정한 인코딩 속도와 선형 거리를 갖는 동시에 저중량 안정자를 유지하는 양자 LDPC 코드의 가족을 구축할 수 있는가?
• RQ2 호모로지 곱 구조가 이전의 양자 LDPC 코드에서 내재된 $O(\sqrt{n})$ 거리 장벽을 극복할 수 있는가?
• RQ3 랜덤화된 코드 구성과 위상수학적 곱 연산의 조합이 증명 가능한 양호한 파라미터를 갖는 코드를 생성하는가?
• RQ4 호모로지 곱을 이용해 작은, 실용적인 양자 코드를 생성할 수 있으며, 저중량 안정자와 높은 거리 성질을 갖는가?
• RQ5 이 구성 방법을 일반화하여 안정자 무게 $O(n^\alpha)$를 갖는 코드를 얻는 것이 가능한가? (모든 $\alpha > 0$에 대해)

주요 결과

• 논문은 일정한 인코딩 속도와 선형 거리를 갖는 최초의 양호한 양자 LDPC 코드 가족을 구성하였으며, 거리 $d = \Omega(n)$를 달성하였다.
• 안정자는 $O(\sqrt{n})$ 큐비트에 작용하며, 이는 이전 코드에서 관찰된 선형 무게 안정자에 비해 상당한 향상이다.
• 두 개의 랜덤 복합체의 호모로지 곱은 높은 거리를 갖는 코드를 생성하며, 축소된 사이클에 대한 확률적 경계를 통해 증명된다.
• 수치적 결과는 두 개의 $[[5,1,3]]$ 코드의 곱이 안정자 무게 최대 8인 $[[25,1,5]]$ 코드를 생성한다는 것을 확인한다.
• [[7,1,3]]과 [[5,1,3]] 코드의 곱은 $[[35,1,d]]$ 코드를 생성하며, $d \leq 6$임을 보여, 소규모 코드에서의 방법의 타당성을 입증한다.
• 저자들은 이 방법이 안정자 무게 $O(n^\alpha)$를 갖는 코드를 생성하는 데로 일반화될 수 있을 것이라 추측한다 (모든 $\alpha > 0$에 대해).