[論文レビュー] Projective plane and planar quantum codes

Michael Freedman, David Meyer|ArXiv.org|Oct 18, 1998

Quantum Computing Algorithms and Architecture参考文献 9被引用数 9

ひとこと要約

本稿は、実射影平面 RP² の細分を用いて位相的量子誤り訂正符号を構築する。これは、H₁(RP²; ℤ₂) に唯一の非自明なホモロジー類を持つため、1つの論理的キュービットをサポートする。3つの最小で同値でない符号が提示され、そのうちの1つはショアの9キュービット反復符号として特定され、平面的領域への一般化により、複数の論理的キュービットを符号化する高 genus の符号が得られる。

ABSTRACT

Cellulations of the projective plane RP^2 define single qubit topological quantum error correcting codes since there is a unique essential cycle in H_1(RP^2;Z_2). We construct three of the smallest such codes, show they are inequivalent, and identify one of them as Shor's original 9 qubit repetition code. We observe that Shor's code can be constructed in a planar domain and generalize to planar constructions of higher genus codes for multiple qubits.

研究の動機と目的

• 実射影平面 RP² を幾何的基盤として用いることで、量子誤り訂正のための位相的枠組みを確立すること。
• RP² の細分から最小の量子符号を構築し、局所 Clifford 操作の下での同値性を分類すること。
• ショアの元来の9キュービット反復符号が、RP² の平面的細分から自然に生じることを示すこと。
• RP² からの構成を平面的領域に一般化し、複数の論理的キュービットを符号化する高 genus の位相的符号を実現すること。
• 代数的位相幾何学（ℤ₂ 上のホモロジー）と量子符号設計を結びつけ、特に1キュービットおよび複数キュービット系に対して考察すること。

提案手法

• 実射影平面 RP² の細分を用い、その第1ホモロジー群 H₁(RP²; ℤ₂) を介して量子符号を定義する。この群は ℤ₂ に同型であり、1つの論理的キュービットを保証する。
• 細分の1スケルトンから量子符号を構築し、キュービットを辺に配置し、安定化子生成子を面に配置する。これは標準的なサーフェス符号の構成に従う。
• ℤ₂ 上のホモロジー代数学を用いて、境界でないサイクルとして論理的演算子を定義する。論理的 X および Z 演算子は、唯一の非自明なホモロジー類に対応する。
• クロスキャップ構成による射影平面の平面的埋め込みを用い、平面的表面における位相的符号を可能にし、フォールトトレランスの操作を促進する。
• 局所 Clifford ユニタリ変換の下での同値性を判定するために、論理的演算子構造と安定化子生成子を比較する。
• 複数のクロスキャップまたはハンドルを用いることで、平面に埋め込まれた高 genus の表面に一般化し、位相的保護を維持する。

実験結果

リサーチクエスチョン

• RQ1 実射影平面 RP² の細分をどのように用いて、1つの論理的キュービットを符号化する位相的量子符号を構築できるか？
• RQ2 RP² のホモロジーと、その結果得られる量子符号の論理的構造との関係は何か？
• RQ3 ショアの9キュービット反復符号は、RP² 上の位相的符号の特殊ケースとして得られるか？
• RQ4 RP² からの位相的構成をどのように平面的領域に拡張し、複数の論理的キュービットを符号化できるか？
• RQ5 異なる細分から得られる2つの符号が、局所 Clifford 変換の下で同値または非同値であるための条件は何か？

主な発見

• RP² の細分から3つの最小の位相的符号が構築され、すべて1つの論理的キュービットを符号化し、局所 Clifford 操作の下で同値でないことが証明された。
• 3つの最小符号のうちの1つは、ショアの元来の9キュービット反復符号として特定され、それが RP² における位相的起源を確認した。
• ショア符号の構成が、適切な細分を用いた平面的領域上で実現可能であることが示され、その誤り訂正構造に幾何的解釈が可能になった。
• 本稿は、RP² の構成を高 genus の平面的表面に一般化し、複数の論理的キュービットを符号化する位相的符号の設計を可能にした。
• ホモロジー群 H₁(RP²; ℤ₂) ≅ ℤ₂ が、1つの論理的キュービットを保証する主要な位相的不変量であり、この構造が符号の論理的保護を支えている。
• 本手法は、非自明なホモロジーを持つ曲面から、位相的量子符号を体系的に生成する方法を提供し、離散幾何学と量子誤り訂正を統合した。