[論文レビュー] Local stabilizer codes in 3D without string logical operators

Jeongwan Haah|arXiv (Cornell University)|Jan 10, 2011

Advanced Data Storage Technologies被引用数 1

ひとこと要約

本稿では、ストリング型の論理演算子を備えない3次元局所安定化符号を提案し、自己正しく動作する量子メモリにおける主要な制限を克服する。論理的ストリングセグメントを導入し、すべてのストリング型演算子が互いに素な安定化セグメントに変形可能であることを証明することで、長距離ストリング演算子が存在しないトポロジカルオーダーを実現。境界の安定化違反を伴うサーフェス型論理演算子により、自己正しみが可能になる。

ABSTRACT

We suggest concrete models for self-correcting quantum memory by reporting examples of local stabilizer codes in 3D that have no string operators. Previously known local stabilizer codes in 3D all have string-like operators, which make the codes non-self-correcting. We introduce a notion of logical string segments to avoid difficulties in defining one dimensional objects in discrete lattices. We prove that every string-like operator of our code can be deformed to a disjoint union of short segments, and each segment is in the stabilizer group. The code has surface-like operators whose partial implementation has unsatisfied stabilizers along its boundary.

研究の動機と目的

• 従来のモデルで自己正しみを妨げるストリング型の論理演算子を避ける3次元局所安定化符号を開発すること。
• 離散格子において1次元トポロジカル演算子を定義する課題に応じ、論理的ストリングセグメントの概念を導入すること。
• すべてのストリング型演算子が、互いに素で安定化に囲まれたセグメントに変形可能であるコードを構築し、長距離の論理的演算子が存在しないことを保証すること。
• 部分的に実装された論理的演算子が境界に未満たされた安定化を生じることを示し、トポロジカル保護を示すこと。

提案手法

• 離散格子における従来の1次元演算子に代わる論理的ストリングセグメントの概念を導入すること。
• コード内に存在する任意のストリング型演算子が、安定化群に含まれる短いセグメントの互いに素な和に変形可能であることを証明すること。
• 部分的に実装されたときに境界に未満たされた安定化を生じるサーフェス型構造として論理演算子を定義すること。
• 代数的トポロジーと安定化符号形式を用いて、3次元格子における論理的演算子構造とトポロジカル不変量を分析すること。
• 局所的相互作用を有し、ストリング型論理演算子を一切持たない明示的な3次元安定化ハミルトニアンを構築すること。
• すべてのストリング型演算子が論理的意味で自明であることを示すことで、コードの論理的構造が長距離秩序を回避することを示すこと。

実験結果

リサーチクエスチョン

• RQ1 ストリング型論理演算子を有さない3次元局所安定化符号を構築可能か。これにより自己正しみが可能になるか。
• RQ2 ストリング型の1次元トポロジカル演算子を、このような対象が自然に存在しない離散格子において、どのように定義できるか。
• RQ3 ストリング型演算子が存在しないコードにおいて、サーフェス型論理演算子の役割は何か。部分的実装の下でどのように振る舞うか。
• RQ4 コード内に存在するすべてのストリング型演算子が、安定化に囲まれたセグメントに変形可能か。このことは、これらの演算子が自明であることを示唆するか。
• RQ5 3次元安定化符号が長距離論理演算子を有さずに自己正しみを支持するための、トポロジカル的および代数的条件は何か。

主な発見

• 提案された3次元安定化符号には、ストリング型の論理演算子が存在しない。すべてのストリング型演算子が、安定化群に含まれる互いに素な短いセグメントの和に変形可能であるため。
• 境界に未満たされた安定化を生じるサーフェス型論理演算子がコードに存在し、トポロジカル保護を示している。
• コードの論理的構造は、ストリング型演算子が変形後に論理的意味で自明であることを保証することで、長距離秩序を回避している。
• 論理的ストリングセグメントの使用により、離散格子における1次元演算子を一貫して定義するフレームワークが提供され、従来の曖昧さが解消された。
• コードのハミルトニアンは局所的かつ安定化に基づくものであり、長距離論理演算子を有さないため、自己正しく動作する量子メモリの候補である。