[論文レビュー] 3D local qupit quantum code without string logical operator

Isaac H. Kim|arXiv (Cornell University)|Jan 1, 2011

Quantum Computing Algorithms and Architecture被引用数 10

ひとこと要約

この論文は、素数次元のクーディットを用いた3次元局所量子符号の新規族を紹介し、ストリング論理演算子を有さない。有限体上の安定化子符号を活用し、空間反転に対する対称的・反対称的性質に基づき、2つのクラスの双対性を確立。論理誤りにおける対数的エネルギー障壁を証明。最小の実現可能なクーディット次元は5である。

ABSTRACT

Recently Haah introduced a new quantum error correcting code embedded on a cubic lattice. One of the defining properties of this code is the absence of string logical operator. We present new codes with similar properties by relaxing the condition on the local particle dimension. The resulting code is well-defined when the local Hilbert space dimension is prime. These codes can be divided into two different classes: the local stabilizer generators are either symmetric or antisymmetric with respect to the inversion operation. These is a nontrivial correspondence between these two classes. For any symmetric code without string logical operator, there exists a complementary antisymmetric code with the same property and vice versa. We derive a sufficient condition for the absence of string logical operator in terms of the algebraic constraints on the defining parameters of the code. Minimal number of local particle dimension which satisfies the condition is 5. These codes have logarithmic energy barrier for any logical error.

研究の動機と目的

• 合成次元（例：d=4）ではなく、素数次元のクーディットを用いて、ストリング論理演算子を有さない3次元局所量子誤り訂正符号を構築すること。
• ハウの符号と同様に、対数的エネルギー障壁によって自己修正的挙動を達成できるかどうかを調査すること。
• 空間反転に対する変換の性質（対称的 vs. 反対称的）に基づき、安定化子符号を分類し、2つのクラス間の双対性を確立すること。
• ストリング論理演算子を回避するために必要な最小のクーディット次元を特定すること。ハウの符号における既知のd=4のケースを超えて拡張すること。
• 系のサイズと境界条件に応じた体積のトポロジカル性質および論理演算子構造を調査すること。

提案手法

• 立方格子上に安定化子符号を構築し、各立方体に1つの安定化子生成子を配置。局所的クーディット次元を素数pとする。
• 空間反転に対する挙動に基づき、符号を対称的（不変）または反対称的（符号反転）に分類。生成子係数に代数的制約を課す。
• 局所的ユニタリ変換を用いて、対称的・反対称的符号間に一対一の対応を確立。重要なトポロジカル性質を保持する。
• ストリング論理演算子の存在を回避するための符号パラメータ（安定化子生成子内の係数）に必要な代数的条件を導出。
• 平面的表面における論理演算子を分析し、周期的境界条件が系のサイズの偶奇に依存して特定の論理演算子の存在を制限することを示す。
• ストリング不成立則とアスペクト比の議論を用いて、論理誤りプロセスにおける対数的エネルギー障壁を証明。ブレイヴィ・ハウの結果を素数次元クーディットへの一般化。

実験結果

リサーチクエスチョン

• RQ1 合成次元（例：d=4）ではなく、素数次元のクーディットを用いて、ストリング論理演算子を有さない3次元局所量子符号を構築可能か？
• RQ2 このような符号がストリング論理演算子を有さずに存在可能な最小のクーディット次元pは何か？
• RQ3 空間反転に対する対称的・反対称的符号はどのように関連しているか？この双対性はストリング論理演算子の不在を保持するか？
• RQ4 ハウの符号に類似した対数的エネルギー障壁が、素数次元クーディット上の非CSS符号に対しても一般化可能か？
• RQ5 系のサイズと境界条件は、これらの符号における論理演算子の存在にどのように影響するか？

主な発見

• ストリング論理演算子を有さない3次元局所安定化子符号を構築するための最小の局所的クーディット次元は5であり、p=2およびp=3では必然的にストリング論理演算子が出現する。
• 対称的符号と反対称的符号の間には一対一の対応が存在する：ストリング論理演算子を有さない任意の対称的符号に対して、同じ性質を持つ補完的反対称的符号が存在し、逆も同様である。
• ストリング論理演算子の不在は、有限体GF(p)上での安定化子生成子の係数に課される代数的制約によって決定され、特定の多項式条件を満たす必要がある。
• 反対称的符号は、安定化子生成子間のグローバル関係により、常に少なくとも1つの論理的クーディットを符号化するが、対称的符号では平面的論理演算子の明示的解析が必要となる。
• 論理誤りのエネルギー障壁は系のサイズに比例して対数的に増加する。これはストリング不成立則と有界なアスペクト比に起因し、3次元における自己修正の可能性を保証する。
• 平面的表面における論理演算子は系のサイズに制限を受ける：周期的構造は、幅と高さが両方偶数である場合、または複数の演算子を積算して周期的パターンを形成する場合にのみ存在する。