[論文レビュー] Mathematics of Topological Quantum Computing

Eric C. Rowell, Zhenghan Wang|arXiv (Cornell University)|May 17, 2017

Quantum Computing Algorithms and Architecture被引用数 3

ひとこと要約

この論文は、位相的量子計算（TQC）の数学的基盤を調査し、ユニタリモジュラー圏、(2+1)-TQFT、位相的物質相の間の関係を確立する。非アーベル任意子が位相的量子場理論において、位相的不変量を通じて誤り耐性のある量子計算を可能にすることを示し、主な結果としてジョーンズ多項式の評価と量子計算複雑性の関係、および(3+1)-TQFTとループブレード群に関する予想を含む。

ABSTRACT

In topological quantum computing, information is encoded in "knotted" quantum states of topological phases of matter, thus being locked into topology to prevent decay. Topological precision has been confirmed in quantum Hall liquids by experiments to an accuracy of $10^{-10}$, and harnessed to stabilize quantum memory. In this survey, we discuss the conceptual development of this interdisciplinary field at the juncture of mathematics, physics and computer science. Our focus is on computing and physical motivations, basic mathematical notions and results, open problems and future directions related to and/or inspired by topological quantum computing.

研究の動機と目的

• 位相的量子計算の背後にある数学的構造、特にユニタリモジュラー圏と(2+1)-TQFTを統一的かつ明確にすること。
• 位相的物質相における位相的不変量——非アーベル任意子系における基底状態デゲネラシーなど——が、誤り耐性のある量子計算を可能にする仕組みを説明すること。
• 特にジョーンズ多項式の評価と#P困難性の関係に注目し、位相的量子場理論の計算的パワーを調査すること。
• 未解決問題と今後の方向性を提示すること、特に(3+1)-TQFT、ループブレード群、およびユニタリモジュラー圏から導かれる conformal field theories の実現可能性について。
• TQCが基礎的な数学に与える影響を検討すること、特に複雑性クラスを公理として扱うことや、量子論理への影響について。

提案手法

• 任意子系をユニタリモジュラー圏（UMC）によってモデル化し、任意子の融合則および編み込み則を記述する。
• ユニタリ(2+1)-TQFTとUMCの間の同値性を確立し、カテゴリ理論的構造を通じて位相的不変量を計算可能にする。
• 単位根におけるジョーンズ多項式の評価の計算複雑性を分析し、r ≠ 1,2,3,4,6のとき#P困難であることを示す。
• G-交差ブラケット融合カテゴリからの状態和構成を用いて(3+1)-TQFTを構築し、トポロジカルな物質相における格子実装を実現する。
• 3次元多様体における運動群の表現、特にループブレード群LBₙを、3次元におけるバーナード群の一般化として研究する。
• ユニタリ(3+1)-TQFTの分割関数がホモトピー不変量であると予想し、高次ホモトピー型を介してDijkgraaf-Witten TQFTを一般化する可能性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 ユニタリモジュラー圏と(2+1)-TQFTは、どのように位相的量子計算をモデル化し、誤り耐性を保証できるか？
• RQ2 単位根におけるジョーンズ多項式の評価の計算複雑性は何か？ そしてこれは量子優位性とどのように関係するか？
• RQ3 (3+1)-TQFTは、球面的2次元融合カテゴリーやG-交差ブラケット融合カテゴリから構成可能か？ その物理的およびトポロジカルな意味は何か？
• RQ4 3次元トポロジカルな物質相におけるループブレード群の表現は、2次元TQCにおけるバーナード群の表現をどのように一般化するか？
• RQ5 ユニタリ(3+1)-TQFTの分割関数はホモトピー不変量となり得るか？ そしてDijkgraaf-Witten TQFTを一般化する可能性はあるか？

主な発見

• r ≠ 1,2,3,4,6のとき、q = e²πi/rにおけるジョーンズ多項式の評価は#P困難であり、位相的不変量と量子計算複雑性の間の基礎的リンクを提供する。
• ユニタリ(2+1)-TQFTとユニタリモジュラー圏はカテゴリ的に同値であり、位相的物質相のモデル化に双対的な数学的枠組みを提供する。
• 非アーベル任意子が持つ位相的デゲネラシー——例えば分数量子ホール効果の液体中で観測されるように——は、実験的に10⁻¹⁰の精度で確認可能な位相的量子メモリを可能にする。
• ループブレード群LBₙは、3次元空間におけるループのジャンプと交換移動によって生成され、バーナード群の一般化として3次元TQCにおける新たな表現クラスを提供する。
• 予想：ユニタリ(3+1)-TQFTの分割関数はホモトピー不変量である。これは、滑らかな4次元多様体分類へのより深い関係を示唆する。
• トポロジカルなねじれ指数（mod 1）の一貫した上昇が、与えられた genus 内で対応するユニタリチャーラルCFTを決定する可能性があり、UMCとVOAの間のリンクを示唆する。