Resource complexity of Symmetry Protected Topological phases

技術要約：対称保護トポロジカル相の計算リソースの複雑性

問題提起
量子情報科学における中心的な課題は、量子超越性を可能にする具体的な量子リソースを特定することであり、古典的なシミュレーションに対して計算上の優位性をもたらす量子状態を識別することである。歴史的に、多体物理学と量子情報の間の架け橋としてエンタングルメント（もつれ）が主要なものと見なされてきたが、現在ではエンタングルメントだけでは不十分であることが理解されている。高度にエンタングルした状態であっても古典的にシミュレート可能である一方、最小限のエンタングルメントから量子的な優位性が生じることもあるためである。その結果、「量子マジック（量子魔法）」あるいは「非スタビライザー性（nonstabilizerness）」が重要なリソースとして浮上してきた。これは、量子状態がスタビライザー多様体（クリフォード回路によって準備可能な状態）からどの程度離れているかを定量化するものである。

トポロジカル相、特に対称保護トポロジカル相（SPTP）は、その非局所的な符号化と局所的な摂動に対する保護性により、高い量子複雑性を有すると仮定されることが多い。しかし、この関連性は普遍的ではない（例：トーリックコードの基底状態はスタビライザー状態であり、マジックはゼロである）。1次元系において、SPTPは固有のトポロジカル相よりも脆弱であるが、測定ベース量子計算（MBQC）のリソースとして機能する。本研究が扱う中心的な問いは、1次元SPTPに内在するトポロジカルな秩序が、トポロジカルに自明な状態と比較して、量子マジックの本質的な増加として現れるかどうかである。

手法
著者らは、$L$個の量子ビットを持つ純粋状態 $|\psi\rangle$ に対して定義されるランク2スタビライザー・レニー・エントロピー（$M_2$）を用いて、量子マジックを評価する。
$$M_2(|\psi\rangle) = \log_2 \left( \frac{1}{2^L} \sum_P |\langle \psi| P |\psi\rangle|^4 \right)$$
ここで、和はすべてのパウリ文字列 $P$ にわたって取られる。本研究は、トポロジカル相と自明な相を双対写像（duality mapping）によって正確に結びつける1次元モデルに焦点を当てている。これにより、双対点におけるマジックの厳密な比較が可能となる。

解析には、以下の3つの特定のモデルを用いる：

1. 二量体化XX鎖（SSHモデル）： 二量体化 $\delta \in (0, 1]$ でSPTPを示し、$\delta \in [-1, 0)$ で自明な相を示す。
2. クラスター・イジング鎖： 三体クラスター相互作用が支配的な場合（$\lambda < 1$）にSPTP（クラスター相）を示し、イジング結合が支配的な場合（$\lambda > 1$）に自明な反強磁性相を示す。
3. 横磁場イジング鎖： 強磁性相と常磁性相の自己双対性を持つ非トポロジカルなモデルであり、コントロールケースとして使用される。

数値シミュレーションでは、行列積状態（MPS）を介して基底状態を得るために密度行列繰り込み群（DMRG）を利用する。$M_2$ の評価には、パウリ基底展開のためにボンド次元を $\chi \approx 200-450$ に制限した、2つの補完的なアプローチを用いる。

主な結果
本調査は、トポロジカルな秩序と量子マジックの関係に関して、いくつかの直感に反する知見を提示している：

• 双対点における同一のマジック（周期境界条件：PBCs）： 双対性が正確に保たれる周期境界条件下では、トポロジカル相と自明な相の基底状態における $M_2$ の値は同一である。二量体化XX鎖では $M_2(\delta) = M_2(-\delta)$ であり、クラスター・イジングモデルでは $M_2(\lambda) = M_2(1/\lambda)$ となる。これは、位相のトポロジカルな性質が、状態の準備に必要な非クリフォード・リソースを本質的に増加させるわけではないことを示している。
• 開境界条件（OBCs）における劣拡張的な非対称性： 開境界条件下では、双対点の間でマジックの差 $\Delta M_2$ が生じる。しかし、この非対称性はトポロジカル不変量ではない。むしろ、それは微視的なハミルトニアンのパラメータとシステムサイズに依存する劣拡張的な補正である。システムサイズ $L$ が増加するにつれ、$\Delta M_2$ は制御パラメータ（$\delta$ や $\lambda$ など）の有限かつ非定数な関数へと収束する。
• 非トポロジカルな起源： OBCs 下で観察された非対称性は、トポロジカルな秩序ではなく、エッジ効果による双対性の破れに起因する。これは、トポロジカルな秩序を全く持たない横磁場イジング鎖においても同様の現象（PBCs では消失するが、OBCs では有限でパラメータ依存の $\Delta M_2$ を示す）が観察されることから確認される。
• トポロジカルなフラストレーションとの対比： これらの結果は、非局在化した励起がマジックの対数的な成長を誘発するトポロジカル・フラストレーション系とは対照的である。本研究のSPTPにおいては、全マジックはトポロジカル・セクターに対してほとんど無感覚である。

意義および主張
著者らは、1次元SPTPにおけるトポロジカルな秩序は、量子マジック（非スタビライザー性）という観点からは必ずしも真の計算リソースではないと結論付けている。SPTPの基底状態は、そのトポロジカルに自明な双対の状態と同じ量の非クリフォード・リソースを用いて準備することが可能である。

本論文は、MBFCフレームワークにおけるSPTPの知覚された計算上の優位性が、必ずしも全マジックの本質的な増加に由来するものではないことを示唆している。代わりに、著者らは、これらの系における計算複雑性を評価するには、浅い局所回路によって排除できない非スタビライザー成分を捉える「長距離マジック（Long-Range Magic: LRM）」のような代替的な量が必要であると提案している。本研究の結果は、トポロジカルな秩序がクリフォード・リソースの枠組み内で自動的に高い計算複雑性と等価であるという仮定に疑問を投げかけ、観察された複雑性がトポロジカルな位相そのものではなく、境界条件や双対性の破れによって決定されることを明らかにしている。

本研究は、SPTPが特定の計算タスク（MBFCなど）のための貴重なリソースである一方で、クリフォード・リソースの枠組み内での分類は非自明であることを強調している。観察された複雑性は、トポロジカルな秩序の固有の性質というよりも、境界効果や特定の測定プロトコルの現れである可能性がある。