[論文レビュー] Measurement Quantum Cellular Automata and Anomalies in Floquet Codes

David Aasen, Jeongwan Haah+2 more|arXiv (Cornell University)|Apr 3, 2023

Electronic and Structural Properties of Oxides被引用数 6

ひとこと要約

この論文は、周期的パウリ測定回路、特にフロケットトポロジカルコードにおける論理的情報の流れを特徴付けるために測定量子セルオートマトン（MQCA）を導入する。2次元においては、自明な境界への障害を示す $Ω_2$ バルク不変量を確立し、ハスティングス＝ハウのヘキサゴンコードが局所性とユニタリティを保つために周期2倍のダイナミクスまたは異常な境界フローを示さなければならないことを証明する。

ABSTRACT

We investigate the evolution of quantum information under Pauli measurement circuits. We focus on the case of one- and two-dimensional systems, which are relevant to the recently introduced Floquet topological codes. We define local reversibility in context of measurement circuits, which allows us to treat finite depth measurement circuits on a similar footing to finite depth unitary circuits. In contrast to the unitary case, a finite depth locally reversible measurement circuit can implement a translation in one dimension. A locally reversible measurement circuit in two dimensions may also induce a flow of logical information along the boundary. We introduce "measurement quantum cellular automata" which unifies these ideas and define an index in one dimension to characterize the flow of logical operators. We find a $\mathbb{Z}_2$ bulk invariant for two-dimensional Floquet topological codes which indicates an obstruction to having a trivial boundary. We prove that the Hastings-Haah honeycomb code belongs to a class with such obstruction, which means that any boundary must have either nonlocal dynamics, period doubled, or admits anomalous boundary flow of quantum information.

研究の動機と目的

• 周期的パウリ測定回路下での量子情報のダイナミクスを理解すること、特にフロケットトポロジカルコードの文脈において。
• ハスティングス＝ハウのヘキサゴンコードのようなトポロジカルコードに対して、平面的で局所的な境界を構築する課題に取り組むこと、そうでなければ周期2倍が必要となる。
• 局所的可逆性を備えた測定回路への一般化を可能にするフレームワーク—測定量子セルオートマトン（MQCA）—を構築すること。
• 2次元測定回路における自明な境界またはギャップのある境界への障害を示すトポロジカル不変量を同定すること。
• 静的トポロジカル相におけるものと類似した測定ベースのトポロジカルコードにおけるバルク-境界対応を確立すること。

提案手法

• 有限深さのユニタリ回路の一般化として、局所的可逆性（LR）を持つ測定回路を導入し、逆転可能なダイナミクスを持つ測定シーケンスの取り扱いを可能にする。
• 測定回路下でのパウリ代数の局所的保存自己同型として測定量子セルオートマトン（MQCA）を定義し、非ユニタリな進化へのQCA形式の拡張を行う。
• フロケットコードにおける自明な境界への障害を検出できる2次元における $Ω_2$ バルク不変量を開発する。
• 1次元におけるMQCAインデックスを用いて論理的演算子のフローを特徴付け、フレドホルム写像と代数的K理論の道具を用いる。
• ウェンプラケット移動（WPT）モデルとハスティングス＝ハウのヘキサゴンコードを具体的な例として分析し、境界ダイナミクスとフロー行動を計算する。
• 1次元および2次元系における安定化子群と論理的演算子の分析に代数的還元技術を用い、マヨラナ鎖代数とその表現に焦点を当てる。

実験結果

リサーチクエスチョン

• RQ1 有限深さの測定回路は、局所的可逆性を保ちながら、翻訳のような非自明な論理的フローを実装できるか？
• RQ2 2次元フロケットコードのバルクを特徴付けるトポロジカル不変量は何か？ そして、自明な境界またはギャップのある境界の実現を妨げる要因となるか？
• RQ3 ハスティングス＝ハウのヘキサゴンコードの境界は、局所的で周期的な測定スケジュール下でどのように振る舞うか？
• RQ4 HHコードの局所的境界実装において、周期2倍は根本的な要件であるか、それとも代替的なダイナミクス的境界構造が存在可能か？
• RQ5 MQCA形式はフェルミオン系へ拡張可能か？ また、それにより論理的フローの可能なインデックスにどのような制約が課されるか？

主な発見

• 1次元において有限深さの局所的可逆測定回路は、ユニタリ量子セルオートマトンに類似した論理的情報の翻訳を実装できる。
• 2次元において、局所的可逆測定サイクルは、バルクにダイナミクスが存在しない状況でも境界に論理的情報のフローを引き起こすことができる。
• 本論文は、2次元フロケットコードにおいて自明な境界への障害を示す $Ω_2$ バルク不変量の存在を証明し、トポロジカル障害を示している。
• ハスティングス＝ハウのヘキサゴンコードは、この $Ω_2$ 障害を有するクラスに属するため、任意の局所的境界は周期2倍であるか、異常な境界ダイナミクスを有する必要がある。
• 1次元におけるMQCAインデックスは $½$ の単位で量子化されており、本論文は1次元では整数インデックスのみが実現可能であると主張し、1次元においては $ \mathrm{LRMC} \cong \mathrm{f\mbox{-}LRMC}$ が成り立つと示唆する。
• 解析により、非局所的可逆なコード（例：ベイコン＝ショアコードやヴイユロの境界構成）は熱力学的極限において補正不能な測定誤りにさらされうることを示し、誤り閾値の存在に向けた局所的可逆性が必須条件である可能性を示唆する。