[論文レビュー] Quantum Codes from High-Dimensional Manifolds

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

Quantum Computing Algorithms and Architecture被引用数 15

ひとこと要約

本稿は、幾何学的予想を用いて、高次元トーラス上に量子CSS安定化子コードを構築し、距離のスケーリングを $N^{1-\epsilon}$ にし、安定化子の重みを対数的 ($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$ ビットの量子CSSコードを構築し、任意の $\epsilon > 0$ に対して距離 $D = N^{1-\epsilon}$ と安定化子重み $W = \mathcal{O}(\log N)$ を達成する。
• この構成により、逆多項式対数的音響性要因 $\Omega(1/\log(N)^2)$ を有するコードが得られ、量子局所的検証可能コード（QLTC）として強い局所的検証可能性を示す。
• 本手法は、格子の外積空間における最短ベクトルが非分割的である可能性を示し、格子幾何学における新たな構造的知見を提供する。
• ランキン不変量の使用により、特定のランダム格子が最適またはほぼ最適な値を達成することを示し、幾何学的予想の確率的妥当性を支持する。
• ハイパーキューブ座標に沿ってチェーン境界を段階的に削減する証明技法により、安定化子の重みと音響性要因の上限が得られ、$\mathcal{O}(pd)$ ステップ（$p$ と $d$ はハイパーキューブのサイズと次元に関連）を用いる。
• 最短ベクトルが外積空間において非分割的であることを示す短い代替的証明が提供され、コランジュオンの結果を異なる手法で確認する。