[論文レビュー] Topological Quantum Computation with Gapped Boundaries and Boundary Defects

Iris Cong, Zhenghan Wang|arXiv (Cornell University)|Oct 19, 2017

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

ひとこと要約

本稿は、Dijkgraaf-Witten トポロジカル量子場理論におけるギャップを持つ境界および境界デフェクトを用いた、普遍的トポロジカル量子計算のフレームワークを提案する。特に、$\mathbb{Z}_3$ や $S_3$ のような有限群に対して有効である。バーティカル操作と一般化されたトポロジカル電荷測定を組み合わせることで、非アーベル anyon にとどまらず、境界に基づく anyon 的自由度を含めた普遍的量子計算を実現する。

ABSTRACT

We survey some recent work on topological quantum computation with gapped boundaries and boundary defects and list some open problems.

研究の動機と目的

• 非アーベル anyon にとどまらず、ギャップを持つ境界および境界デフェクトを計算資源として含めることで、トポロジカル量子計算を拡張すること。
• ユニタリモジュラー圏におけるギャップを持つ境界を用いた、qudit の符号化とトポロジカルに保護された操作の体系的メソッドを確立すること。
• $\mathfrak{D}(\mathbb{Z}_3)$ において、バーティカル操作と一般化されたトポロジカル電荷測定を組み合わせることで、量子計算における普遍性を示すこと。
• ギャップを持つ境界のハミルトニアン構成を、非自明なコサイクルおよび有限群モデルを超えたより一般的な TQFT に一般化すること。
• トポロジカルな相における境界デフェクトおよびドメインウォールの計算パワーを調査し、特に普遍的ゲートセットにおける役割を明らかにすること。

提案手法

• Dijkgraaf-Witten理論 $\mathfrak{D}(G)$ に対して、部分群 $K \subseteq G$ でラベル付けされたギャップを持つ境界および自明な2次コサイクル $\omega$ を持つ、修正・一般化された局所的可換プロジェクター ハミルトニアンを構築する。
• 二重カテゴリカル構造 $\mathcal{B} = \mathcal{Z}(\mathcal{C})$ 内のラグランジュ代数 $\mathcal{A}$ を用いて、安定なギャップを持つ境界を分類し、それらをバルク anyon の凝縮としてモデル化する。
• バーティカル操作を補完する計算原素として、一般化されたトポロジカル電荷測定を実装し、$\mathfrak{D}(\mathbb{Z}_3)$ における普遍性を達成する。
• カテゴリ $\mathcal{C}$ 上の不分解的モジュールカテゴリとラグランジュ代数の対応関係を活用し、ギャップを持つ境界および境界デフェクトをラベル付け・分類する。
• Kitaev のトーリックコードモデルを、境界辺における局所的ハミルトニアン項を含む形に拡張し、ギャップを持つ境界を実現する。
• 折りたたみテクニックを用いて、ギャップを持つ境界を特別なドメインウォールのケースとして扱い、境界およびデフェクト構造の統一的数学的・物理的記述を可能にする。

実験結果

リサーチクエスチョン

• RQ1 Dijkgraaf-Witten理論におけるギャップを持つ境界および境界デフェクトが、バーティカル操作と一般化された電荷測定を組み合わせることで、普遍的トポロジカル量子計算を実現できるか？
• RQ2 ギャップを持つ境界のハミルトニアン枠組みを、非自明な2次コサイクル $\omega \in H^2(K, \mathbb{C}^\times)$ やより一般的な TQFT に一般化できるか？
• RQ3 アーベル的理論（例：$\mathbb{Z}_2$ トーリックコード）における境界デフェクトの計算パワーは何か？また、それらは普遍的ゲートセットを支えることができるか？
• RQ4 アーベル的理論において、対称性保護を回避する純粋なトポロジカル実装の電荷測定が達成可能か？これにより、普遍的トポロジカルゲートセットが可能になるか？
• RQ5 $\mathfrak{D}(S_3)$ におけるギャップを持つドメインウォールおよび境界デフェクトは、バーンド群表現およびトンネル作用素を介して、どのように普遍的量子計算を実現するか？

主な発見

• $\mathfrak{D}(\mathbb{Z}_3)$ において、ギャップを持つ境界のバーティカル操作と一般化されたトポロジカル電荷測定を組み合わせることで、バーティカル操作のみでは普遍でないという制限を克服し、普遍的量子計算が達成された。
• $\mathfrak{D}(G)$ におけるギャップを持つ境界は、部分群 $K \subseteq G$ および自明な2次コサイクル $\omega$ によって分類され、境界 anyon の量子次元 $d_{\mathcal{A}}$ はラグランジュ代数 $\mathcal{A}$ に対応する。
• バーティカル操作が不十分な弱い整数次元 anyon 理論において、一般化されたトポロジカル電荷測定が普遍性を達成するための必要十分な原素であることが示された。
• $\mathfrak{D}(G)$ におけるギャップを持つ境界の修正ハミルトニアン構成は、Kitaev の元々のトーリックコードモデルを、トポロジカル縮退を安定化する境界項を含む形に拡張した。
• $\mathfrak{D}(S_3)$ における境界デフェクトは、非ユニタリなトンネル作用素と完全なバーンド群表現をサポートしており、非アーベル理論における普遍的量子計算の可能性を示唆している。
• 境界デフェクト上での qudit の符号化およびトポロジカルに保護された操作の体系的フレームワークが提案され、分数量子ホール系に超伝導結合を施した物理的実装の可能性を秘めている。