[논문 리뷰] Constant-Overhead Magic State Distillation

Adam Wills, Min-Hsiu Hsieh외 1명|arXiv (Cornell University)|2024. 08. 14.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 1024차원의 퀴드에 대해 渐近적으로 좋은 대수기하 코드를 활용하여 큐비트의 마법 상태 증식 프로토콜을 제시한다. 이는 클리포드 계층의 세 번째 수준에서 횡단 논리 게이트를 가능하게 하며, 일정한 오버헤드를 달성한다. 주요 결과는 오차율에 따라 달라지는 오버헤드 지수 γ = 0을 달성하여 오랜 기간 동안 미해결이었던 마법 상태 증식에서 최적의 일정한 오버헤드를 달성하는 문제를 해결한다.

ABSTRACT

Magic state distillation is a crucial yet resource-intensive process in fault-tolerant quantum computation. The protocol's overhead, defined as the number of input magic states required per output magic state with an error rate below $ε$, typically grows as $\mathcal{O}(\log^γ(1/ε))$. Achieving smaller overheads, i.e., smaller exponents $γ$, is highly desirable; however, all existing protocols require polylogarithmically growing overheads with some $γ> 0$, and identifying the smallest achievable exponent $γ$ for distilling magic states of qubits has remained challenging. To address this issue, we develop magic state distillation protocols for qubits with efficient, polynomial-time decoding that achieve an $\mathcal{O}(1)$ overhead, meaning the optimal exponent $γ= 0$; this improves over the previous best of $γ\approx 0.678$ due to Hastings and Haah. In our construction, we employ algebraic geometry codes to explicitly present asymptotically good quantum codes for $2^{10}$-dimensional qudits that support transversally implementable logical gates in the third level of the Clifford hierarchy. The use of asymptotically good codes with non-vanishing rate and relative distance leads to the constant overhead. These codes can be realised by representing each $2^{10}$-dimensional qudit as a set of $10$ qubits, using stabiliser operations on qubits. The $10$-qubit magic states distilled with these codes can be converted to and from conventional magic states for the controlled-controlled-$Z$ ($CCZ$) and $T$ gates on qubits with only a constant overhead loss, making it possible to achieve constant-overhead distillation of such standard magic states for qubits. These results resolve the fundamental open problem in quantum information theory concerning the construction of magic state distillation protocols with the optimal exponent.

연구 동기 및 목표

• 고장내성 양자 계산에서 최적의 마법 상태 증식 오버헤드를 달성하는 데 있어 오랜 기간 동안 미해결이었던 문제를 해결하기 위해.
• 일정한 오버헤드를 갖는 프로토콜을 구축하기 위해, 즉 오차율에 따라 달라지는 오버헤드 스케일링이 ϵ⁰ = ϵ⁰으로 이루어지며, 다항로그 스케일링이 아닌 방식으로.
• 1024차원 퀴드를 위한 渐진적으로 좋은 양자 코드를 사용하여 CCZ 및 T 게이트 마법 상태의 횡단 구현을 가능하게 하기 위해.
• 비상실률과 상대적 거리가 0이 아닌 渐진적으로 좋은 코드가 단일 라운드, 일정한 오버헤드 증식을 가능하게 함을 보여주기 위해.
• 일정한 오버헤드 증식을 위한 엄밀한 이론적 프레임워크와 증명을 제공하여 향후 수치 시뮬레이션에 의한 최적화를 가능하게 하기 위해.

제안 방법

• 프로토콜은 2¹⁰차원 퀴드에 대해 비상실률과 상대적 거리가 0이 아닌 비율을 갖는 [[n,k,d]] 퀴드 코드를 대수기하 코드를 사용하여 구성한다.
• 이러한 코드들은 클리포드 계층의 세 번째 수준에서 횡단 논리 게이트를 지원하여, CCZ 및 T 게이트 마법 상태의 고장내성 구현을 가능하게 한다.
• 각 2¹⁰차원 퀴드는 안정자 연산을 사용하여 10개의 물리적 큐비트로 매핑되며, 논리 게이트의 횡단성을 유지한다.
• 프로토콜은 단일 라운드 증식을 수행한다: Cn개의 초기 CCZ 상태가 거리 t = Θ(n)인 삼직교 코드를 통해 k개의 고정밀도 CCZ 상태로 변환된다.
• 오차 억제는 유니온 바운드와 이진 엔트로피 함수를 통해 달성되며, 오차율 상한 ε ≤ ((p_ph / p_th)^(t+1))를 도출한다. 여기서 t+1 = Θ(n).
• 오버헤드가 일정함을 증명하기 위해, ζ / ξ(ζ) = Cn / k = O(1)임을 보이며, k = Θ(n) 및 C = O(1)이므로.

실험 결과

연구 질문

• RQ1 마법 상태 증식을 일정한 오버헤드로 달성할 수 있는가, 즉 오차율에 따라 달라지는 오버헤드 지수 γ = 0인가?
• RQ2 클리포드 계층의 세 번째 수준에서 횡단 논리 게이트를 지원하는 퀴드를 위한 渐진적으로 좋은 양자 코드를 구성할 수 있는가?
• RQ3 이러한 코드는 오직 큐비트 안정자 연산만을 사용하여 실현 가능하며, 일정한 임계값을 갖는 단일 라운드 증식을 가능하게 할 수 있는가?
• RQ4 T 및 CCZ 마법 상태 증식에서 달성 가능한 최소 오버헤드 지수 γ는 얼마인가?
• RQ5 선형 거리 코드(t = Θ(n))의 사용이 코드 콘카테네이션의 필요성을 제거하고, 따라서 다항로그 오버헤드 증가를 방지할 수 있는가?

주요 결과

• 프로토콜은 오차 억제율 ε ≤ ((p_ph / p_th)^(t+1))를 달성하며, t+1 = Θ(n)이므로 선형 자원 스케일링으로 지수적 오차 억제를 달성한다.
• 오버헤드 비율 ζ / ξ(ζ) = Cn / k = O(1)는 일정하며, 이는 프로토콜이 오버헤드 스케일링 O(log^γ(1/ε))에서 γ = 0을 달성함을 증명한다.
• 2¹⁰차원 퀴드를 위한 渐진적으로 좋은 양자 코드가 대수기하를 사용하여 명시적으로 구성되었으며, 비상실률과 상대적 거리가 0이 아닌 비율을 갖는다.
• 각 퀴드의 10큐비트 인코딩은 전환 손실이 일정하게 유지되며, CCZ 및 T 게이트 마법 상태의 횡단 구현을 가능하게 한다.
• 일정한 임계값 p_th > 0의 존재가 증명되었으며, 이는 충분히 큰 n에 대해 선형 자원 비용으로 지수적으로 작은 오차율을 달성할 수 있음을 보장한다.
• 선형 거리 코드에 의존함으로써 코드 콘카테네이션을 피함으로써, 다중 라운드가 필요 없어지고, 따라서 다항로그 오버헤드 증가를 방지한다.