[논문 리뷰] Quantum Codes from High-Dimensional Manifolds

M. B. Hastings|arXiv (Cornell University)|2016. 08. 17.

Quantum Computing Algorithms and Architecture인용 수 15

한 줄 요약

이 논문은 고차원 토러스 위에 양자 CSS 양자오류정정코드를 구성하며, 기하학적 추측을 활용하여 거리 스케일링을 $N^{1- ho}$로 하고 안정화자 무게는 로그 수준($W = \mathcal{O}(\log N)$)으로 달성한다. 격자 내 비자명한 호모로지 표면의 최소 부피에 대한 추측을 가정할 경우, 거의 선형 거리와 효율적인 국소적 검증 가능성을 갖는 코드를 도출할 수 있으며, 이는 기존의 양자 코드 스케일링 한계를 크게 초월한다.

ABSTRACT

We construct toric codes on various high-dimensional manifolds. Assuming a conjecture in geometry we find families of quantum CSS stabilizer codes on $N$ qubits with logarithmic weight stabilizers and distance $N^{1-ε}$ for any $ε>0$. The conjecture is that there is a constant $C>0$ such that for any $n$-dimensional torus ${\mathbb T}^n={\mathbb R}^n/Λ$, where $Λ$ is a lattice, the least volume unoriented $n/2$-dimensional surface (using the Euclidean metric) representing nontrivial homology has volume at least $C^n$ times the volume of the least volume $n/2$-dimensional hyperplane representing nontrivial homology; in fact, it would suffice to have this result for $Λ$ an integral lattice with the surface restricted to faces of a cubulation by unit hypercubes. The main technical result is an estimate of Rankin invariants\cite{rankin} for certain random lattices, showing that in a certain sense they are optimal. Additionally, we construct codes with square-root distance, logarithmic weight stabilizers, and inverse polylogarithmic soundness factor (considered as quantum locally testable codes\cite{qltc}). We also provide an short, alternative proof that the shortest vector in the exterior power of a lattice may be non-split\cite{coulangeon}.

연구 동기 및 목표

• 고차원 다각형에서 개선된 거리 및 안정화자 무게 스케일링을 갖는 양자 CSS 양자오류정정코드를 구성하는 것.
• 특히 거리 및 무게 간 상호보완성 측면에서 오랫동안 존재해온 고전적 코드와 양자 코드 성능 간 격차를 해결하는 것.
• 고차원 토러스 코드가 알려진 양자 코드 매개변수(예: 거리 및 안정화자 무게)의 한계를 초월할 수 있는지 탐색하는 것.
• 격자 호모로지에 대한 기하학적 추측과 양자 코드 성능 간의 연결 고리를 설정하는 것.
• 역다항로그 소음 인자와 함께 양자 국소 검증 가능 코드(QLTC)를 구성하는 프레임워크를 제공하는 것.

제안 방법

• 격자 $\Lambda$를 갖는 $n$차원 토러스 $\mathbb{T}^n = \mathbb{R}^n / \Lambda$ 위에서 토릭 코드를 사용하여 호모로지 기반으로 양자 CSS 코드를 정의한다.
• 비순향적 $n/2$차원 표면이 비자명한 호모로지를 표현할 때 최소 부피가 어떤 $C>0$에 대해 최소 초평면 부피의 $C^n$ 배 이상이어야 한다는 추측에 의존한다.
• 사슬의 경계를 큐브룰레이티드 초입방체의 좌표를 따라 반복적으로 이동시켜 경계 성분을 제거하는 방식으로, $\mathcal{O}(pd)$ 단계의 시퀀스를 사용해 사슬의 경계를 점진적으로 감소시키는 증명 기법을 사용한다.
• 격자의 기하학적 구조와 사슬 복합체의 구조를 분석함으로써 안정화자 및 소음 인자의 무게를 제한한다.
• 핵심 기술적 요소로는 외적 공간에서 랜덤 격자의 최적성 정도를 추정하기 위해 랭킨 불변량을 사용하는 것으로, 이는 기하학적 추측을 뒷받침한다.
• 쿠랑종의 결과를 활용하여 격자의 외적 공간에서 가장 짧은 벡터가 분리되지 않을 수 있음을 보여주는 대체 증명을 제공한다.

실험 결과

연구 질문

• RQ1 고차원 다각형 위의 양자 코드는 로그 수준의 안정화자 무게를 갖는 거의 선형 거리를 달성할 수 있는가?
• RQ2 격자 내 비자명한 호모로지 표면의 최소 부피에 대한 기하학적 추측이 개선된 양자 코드 매개변수를 암시하는가?
• RQ3 이러한 코드는 역다항로그 소음 인자를 갖는 국소 검증 가능할 수 있는가?
• RQ4 격자 기하학과 랭킨 불변량은 양자 코드 거리 및 무게 최적화에 어떤 역할을 하는가?
• RQ5 격자의 외적 공간에서 가장 짧은 벡터가 분리되지 않을 수 있으며, 이는 코드 구성에 어떤 영향을 미치는가?

주요 결과

• 기하학적 추측을 가정할 경우, 이 논문은 $N$ 큐비트, 거리 $D = N^{1-\epsilon}$ ($\epsilon > 0$ 임의의 값), 안정화자 무게 $W = \mathcal{O}(\log N)$를 갖는 양자 CSS 코드를 구성한다.
• 이 구성은 $\Omega(1/\log(N)^2)$의 역다항로그 소음 인자를 갖는다. 이는 양자 국소 검증 가능 코드(QLTC)로서 강력한 국소 검증 가능성을 시사한다.
• 이 방법은 격자의 외적 공간에서 가장 짧은 벡터가 분리되지 않을 수 있음을 입증하여 격자 기하학에 대한 새로운 구조적 통찰을 제공한다.
• 랭킨 불변량의 사용은 일부 랜덤 격자가 최적 또는 근접 최적의 값을 달성함을 보여주며, 이는 기하학적 추측의 확률적 타당성을 뒷받침한다.
• 초입방체 좌표를 따라 사슬의 경계를 반복적으로 감소시키는 증명 기법은 안정화자 및 소음 인자의 무게에 대한 경계를 도출하며, 이는 $\mathcal{O}(pd)$ 단계를 포함한다. 여기서 $p$와 $d$는 초입방체의 크기 및 차원과 관련된다.
• 논문은 쿠랑종의 결과를 다른 접근 방식으로 확인하는 짧고 대체적인 증명을 제공하여, 격자의 외적 공간에서 가장 짧은 벡터가 분리되지 않을 수 있음을 확인한다.