[논문 리뷰] On Quantum Weight Reduction

M. B. Hastings|arXiv (Cornell University)|2021. 02. 19.

Quantum Computing Algorithms and Architecture인용 수 8

한 줄 요약

이 논문은 임의의 양자 코드를 안정자 무게가 최대 5인 저무게 안정자 코드로 변환하면서 물리적 큐비트 수와 거리에 대해 상수배의 오버헤드만을 유발하는 새로운 양자 무게 감소 기법인 '코닝(coning)'을 소개한다. 이 방법은 거리가 $\tilde{\Omega}(N^{2/3})$이고 논리 큐비트 수가 $\tilde{\Omega}(N^{2/3})$인 새로운 LDPC 양자 코드를 구축할 수 있게 하여 이전의 경계를 뛰어넘고 고거리, 고비율 양자 코드로 향하는 새로운 길을 열어준다.

ABSTRACT

We give a general procedure for weight reducing quantum codes. This corrects a previous work\cite{owr}, and introduces a new technique that we call "coning" to effectively induce high weight stabilizers in an LDPC code. As one application, any LDPC code (with arbitrary $O(1)$ stabilizer weights) may be turned into a code where all stabilizers have weight at most $5$ at the cost of at most a constant factor increase in number of physical qubits and constant factor reduction in distance. Also, by applying this technique to a quantum code whose $X$-stabilizers are derived from a classical log-weight random code and whose $Z$-stabilizers have linear weight, we construct an LDPC quantum code with distance $ ilde Ω(N^{2/3})$ and $ ildeΩ(N^{2/3})$ logical qubits.

연구 동기 및 목표

• 안정자 무게를 감소시키는 일반적인 절차를 개발하여 거리나 비율에 큰 영향을 주지 않도록 하는 것.
• 기존의 LDPC 양자 코드 설계에서 고무중량 안정자나 복잡한 토폴로지적 구조에 의존하는 한계를 극복하는 것.
• 더 단순하고 더 영리한 방법을 통해 거리와 논리 큐비트 수의 스케일링이 향상된 새로운 양자 코드 가족을 구축할 수 있도록 하는 것.
• 무게 감소를 통해 임의의 양자 코드에 대해 논리 클리포드 연산을 구현할 수 있는 실용적 프레임워크를 제공하는 것.
• 보다 정교한 그래프 기반 구조를 통해 양자 코드의 타당성 요소를 $\Omega(1)$로 향상시켜 코드의 강인성을 강화하는 것.

제안 방법

• 기본 코드에서 축소된 코네 복합체를 구성하여 LDPC 코드에 고무중량 안정자를 효과적으로 유도하는 새로운 기법인 '코닝'을 도입한다.
• 모든 안정자가 최대 5의 중량을 가지도록 하는 무게 감소 절차(정리 1)를 적용하여 안정자 중량이 임의인 코드를 중량이 최대 5인 코드로 변환하며, 큐비트 수는 상수배 증가하고 거리는 상수배 감소하는 데 그친다.
• 코드의 $X$-거리 증가를 위해 매개변수 $\ell$를 사용한 두꺼운 구조를 적용한 후, 거리 균형 조정을 통해 $X$와 $Z$ 거리를 동일하게 만든다.
• 타당성 요소를 향상시키기 위해 기초가 되는 그래프 구조를 정교화한다: 연결된 성분 내에 간선을 추가하여 $h(G') = \Omega(1)$를 달성함으로써 오류에 대한 강인성을 확보한다.
• 사슬 사상과 호모로지적 구성 방법을 활용하여 고전적 코드를 양자 코드로 올리면서 핵심적인 위상수학적 및 대수적 성질을 유지한다.
• 상수 무게의 $X$-안정자와 선형 무게의 $Z$-안정자를 가진 양자 코드에 이 방법을 적용하여, 거리가 $\tilde{\Omega}(N^{2/3})$이고 논리 큐비트 수가 $\tilde{\Omega}(N^{2/3})$인 새로운 LDPC 코드를 생성한다.

실험 결과

연구 질문

• RQ1 임의의 안정자 중량을 가진 일반적인 양자 코드가, 중량이 유한한 LDPC 코드로 변환될 수 있으며, 오버헤드가 최소한일 수 있는가?
• RQ2 주어진 물리적 큐비트 수와 논리 큐비트 수에서 LDPC 양자 코드의 최대 도달 가능한 거리 스케일링은 무엇인가?
• RQ3 무게 감소 기법을 사용하여 임의의 양자 코드에 대해 논리 클리포드 연산을 구현할 수 있는가?
• RQ4 큐비트 수나 거리 비용을 크게 증가시키지 않고도 양자 코드의 타당성 요소를 $\Omega(1)$로 향상시킬 수 있는가?
• RQ5 코닝 구조는 LDPC 양자 코드에서 $\tilde{\Omega}(N^{2/3})$ 거리 스케일링을 달성하기 위한 새로운 간단한 길을 제공하는가?

주요 결과

• 논문은 거리가 $\tilde{\Omega}(N^{2/3})$이고 논리 큐비트 수가 $\tilde{\Omega}(N^{2/3})$인 LDPC 양자 코드를 구축하여, LDPC 코드의 새로운 거리 스케일링을 달성한다.
• 모든 안정자가 중량 최대 5를 가지도록 하는 변환은 물리적 큐비트 수에 대해 상수배 증가와 거리에 대해 상수배 감소만을 초래한다.
• $\ell = \Theta(N)$로 코드를 두껍게 한 후 감소 및 거리 균형 조정을 거친 후, $X$ 및 $Z$ 안정자 모두에 대해 거리 스케일링이 $\tilde{\Omega}(N^{2/3})$로 달성된다.
• 향상된 타당성 구조는 큐비트 수에 대해 최대 상수배 증가와 거리에 대해 상수배 감소를 동반하면서도 타당성 요소를 $\Omega(1)$로 향상시킨다.
• 이 방법은 이전의 구성에서 부분적인 비확률화를 가능하게 하며 거리 스케일링의 다항로그 인자들을 향상시킨다.
• 코닝 기법은 고거리 LDPC 코드를 향한 새로운 대안적 길을 제공하며, 양자 코드 설계의 기본 한계나 향후 개선 가능성을 시사한다.