[論文レビュー] The Gauge Theory of Measurement-Based Quantum Computation

Gabriel Wong, Robert Raussendorf+1 more|arXiv (Cornell University)|Jul 20, 2022

Quantum Computing Algorithms and Architecture参考文献 52被引用数 5

ひとこと要約

この論文は、測定に基づく量子計算（MBQC）とゲージ理論の根本的な接点を確立し、MBQCの計算出力がゲージホロノミーとして生じ、適応的測定基底の選択がゲージ変換に対応することを示している。この枠組みにより、MBQCのグローバルな相関関係とエンタングルメント構造が自然にゲージ理論的概念によって記述可能となり、量子計算とトポロジカルな物質相の統一的視点が得られる。

ABSTRACT

Measurement-Based Quantum Computation (MBQC) is a model of quantum computation, which uses local measurements instead of unitary gates. Here we explain that the MBQC procedure has a fundamental basis in an underlying gauge theory. This perspective provides a theoretical foundation for global aspects of MBQC. The gauge transformations reflect the freedom of formulating the same MBQC computation in different local reference frames. The main identifications between MBQC and gauge theory concepts are: (i) the computational output of MBQC is a holonomy of the gauge field, (ii) the adaptation of measurement basis that remedies the inherent randomness of quantum measurements is effected by gauge transformations. The gauge theory of MBQC also plays a role in characterizing the entanglement structure of symmetry-protected topologically (SPT) ordered states, which are resources for MBQC. Our framework situates MBQC in a broader context of condensed matter and high energy theory.

研究の動機と目的

• MBQCのグローバルかつ非局所的な側面を、その背後にあるゲージ構造を特定することで理論的基盤を確立すること。
• 対称性保護型トポロジカル（SPT）相内でのみ高エンタングル状態が計算的に有用であるという見かけのパラドックスを解消するため、ゲージ不変性と関連付けること。
• MBQCを高エネルギー物理学および凝縮系物理学の概念と統一するため、計算出力がゲージホロノミーに対応し、測定の適応的選択がゲージ変換に対応することを示すこと。
• 1次元MBQCにおける量子トランスポートおよびゲートトランスポートが、ゲージ平行移動の現れ方として理解可能であることを示し、1次元MBQCにおけるゲージ平行移動の構造を明らかにすること。
• 2次元リソース状態およびSPT秩序系における普遍的MBQCのゲージ理論的記述の基盤を築くこと。

提案手法

• MBQCの計算出力をゲージ場のホロノミー（ウィルソン線）として特定し、これはゲージ不変かつ非局所的な量である。
• MBQCにおける適応的測定基底の選択を、物理的出力を保つようにするゲージ変換にマッピングする。
• 量子ゲートトランスポートとゲージ場内での平行移動の対応関係を確立し、トランスポートにおける古典的通信がゲージポテンシャルの役割を果たすことを示す。
• 円形リソース状態を用いて閉じたウィルソン線を実現し、後選択を必要とせずにゲージ不変な計算出力を直接実現する。
• 端面（エッジモード）を扱うためにステュッケルベルク場（Stückelberg fields）を導入し、線分トポロジーアのオープン境界MBQCにおいても端点でのゲージ不変性を保証する。
• リソース状態の対称性保護型トポロジカル（SPT）秩序を等変トポロジカル場理論（TFT）と関連付け、MBQCの背後にあるより深いトポロジカル場理論的基盤を示唆する。

実験結果

リサーチクエスチョン

• RQ1 MBQCのグローバルかつ非局所的な性質、特に離れた測定結果の相関関係を、どのようにゲージ理論的概念で記述できるか？
• RQ2 適応的測定におけるゲージ対称性の役割は何か？また、測定基底の選択自由度をどのように説明できるか？
• RQ3 MBQCの計算出力がどのようにゲージホロノミーに対応するか？また、ゲージ理論におけるウィルソン線とどのような関係にあるか？
• RQ4 ゲージ理論の枠組みは、クラスター状態やAKLT状態といった高エンタングル状態がSPT相内で普遍的計算能力を示す理由をどのように説明できるか？
• RQ5 1次元円形リソース上でのMBQCの構造を、ゲージ理論的原理を用いて2次元普遍的リソース状態へ一般化可能か？

主な発見

• MBQCの計算出力は、数学的にゲージホロノミー（ウィルソン線）に等しく、これはゲージ不変かつ非局所的な量であり、計算のグローバル効果を捉えている。
• MBQCにおける適応的測定基底の選択は、物理的出力を保つようにするゲージ変換に物理的に等価であり、測定設定の局所的変更に対しても出力を不変に保つ。
• 1次元MBQCにおいて円形リソース状態を用いることで、閉じたゲージフラックスが実現され、後選択を必要とせずにゲージ理論的ホロノミーが直接実現可能となる。
• MBQCにおける量子トランスポートは、ゲージ場内での平行移動の一種と特定され、古典的通信がゲージポテンシャルに対応し、補正操作がゲージ接続に対応する。
• この枠組みにより、SPT秩序を持つリソース状態が普遍的計算能力を示す理由が説明される：そのトポロジカル秩序は本質的にゲージ不変性およびホロノミーに基づく計算と結びついている。
• 本論文は、線分リソース上での通常のMBQCをステュッケルベルク場を用いて記述する道筋を提供し、境界でのゲージ依存性をキャンセルすることで出力のゲージ不変性を維持する。