[論文レビュー] Fibre bundle framework for unitary quantum fault tolerance

Daniel Gottesman, Lucy Liuxuan Zhang|arXiv (Cornell University)|Sep 26, 2013

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

ひとこと要約

本稿は、平坦な射影接続を備えたファイバー束を用いた微分幾何的枠組みを導入し、横断的ゲートとトーリックコードのようなトポロジカルコードにおけるユニタリ量子誤り耐性を統一する。故障耐性のある論理的ゲートがこれらの接続のモノドロミー群から生じることを示し、安定化子モデルおよび任意ons的モデルにおける誤り耐性のトポロジカルな起源を明らかにする。

ABSTRACT

We introduce a differential geometric framework for describing families of quantum error-correcting codes and for understanding quantum fault tolerance. This work unifies the notion of topological fault tolerance with fault tolerance in other kinds of quantum error-correcting codes. In particular, we use fibre bundles with a natural flat projective connection to study the transformation of codewords under unitary fault-tolerant evolutions. We show that the fault-tolerant logical operations are given by the monodromy group for either of two bundles, both of which have flat projective connections. As concrete realizations of the general framework, we construct the bundles explicitly for two examples of fault-tolerant families of operations, the qudit transversal gates and the string operators in the toric code.

研究の動機と目的

• 横断的ゲートとトポロジカルコードという、異なる故障耐性量子計算プロトコルを、一つの幾何的枠組みで統一すること。
• コード空間と論理的演算をファイバー束上の接続としてモデル化することで、故障耐性の背後にある数学的構造を特定すること。
• 故障耐性のある論理的ゲートが平坦な射影接続のモノドロミーに対応することを示し、故障耐性のトポロジカルなメカニズムを明らかにすること。
• プロジェクト型平坦性が量子誤り訂正符号における故障耐性に必要な条件であると特定することで、故障耐性の一般理論の基盤を築くこと。

提案手法

• 量子誤り訂正符号をGr(K,N)というグラスマン多様体の部分空間としてモデル化し、コード空間を表す。
• 標準的ベクトル束ξ(K,N)およびその関連する主束P(K,N)を用い、符号語と符号化を表す。
• 物理的実装としての論理的ゲートに対応する配置空間M ⊂ Gr(K,N)を単位的変換を用いて定義する。
• 制限束ξ(K,N)|MおよびP(K,N)|Mに平坦な射影接続を構成し、故障耐性のある変化を捉える。
• 論理的ゲートがM内の経路に沿った平行移動に対応することを示し、接続が射影的に平坦である場合に故障耐性が保証されることを示す。
• M内のループのモノドロミー群を用いて論理的演算を特徴づけ、特に横断的ゲートおよびトーリックコードにおけるストリング演算子を扱う。

実験結果

リサーチクエスチョン

• RQ1 トーリックコードにおける横断的ゲートとトポロジカルなバーニング操作は、ファイバー束と接続の同一の幾何的言語で記述可能か？
• RQ2 プロジェクト型平坦性は、異なる量子誤り訂正符号族にわたって故障耐性を保証するために果たす役割は何か？
• RQ3 配置空間Mのトポロジカル性質、特にその基本群π₁(M)は、モノドロミーによって実装される論理的ゲート集合とどのように関係するか？
• RQ4 測定およびアシスタント状態操作を含める場合でも、この枠組みを故障耐性を保ちながら拡張可能か？
• RQ5 プロジェクト型平坦性は、一般の量子プロトコルにおける故障耐性の必要十分条件か？

主な発見

• 横断的ゲート族における故障耐性のある論理的ゲートは、制限束ξ(K,N)|Mに定義された平坦な射影接続のモノドロミー群から生じる。
• トーリックコードでは、ストリング演算子が配置空間M内の非可縮みループに沿ったモノドロミーによって論理的ゲートを誘導し、接続は平坦かつ射影的である。
• 本枠組みにより、横断的ゲートとトポロジカルコードが、両者とも同じ幾何的原理、すなわち平坦な射影接続からのモノドロミーによって支配されることを示した。
• 本稿では、プロジェクト型平坦性が故障耐性に必要な条件であると予想している。これは、ゲート実装における小さな誤差が論理的効果を変えるのを防ぐからである。
• 重ね合わせを用いて連続的な配置空間を模倣することで、離散的量子系の連続的幾何的解釈が可能になる。
• 本枠組みは、配置空間Mのトポロジー、特にπ₁(M)が直接的に論理的ゲート集合を符号化していることを示唆し、故障耐性プロトコルの新しいトポロジカルな特徴づけを提供する。