Independent stabilizer Rényi entropy and entanglement fluctuations in random unitary circuits

技術要約：ランダムユニタリ回路における独立なスタビライザー・レニー・エントロピーと量子もつれのゆらぎ

問題提起
量子複雑性は量子コンピューティングにおける中心的なテーマであり、「単純な」状態（古典に近い状態）と、「強い非局所性と量子相関を特徴とする複雑な」状態を区別するものである。量子もつれエントロピーは、量子リソースおよび複雑性の確立された尺度であるが、それだけでは全体像を捉えきれない。具体的には、高度に量子もつれた状態であっても、古典的にシミュレート可能なクリフォード回路によって生成された場合、それは複雑ではない可能性がある。この「マジック（魔法）」（あるいは非スタビライザー的な能力）という概念を、スタビライザー・レニー・エントロピー（SRE）を用いて定量化することで、量子状態の古典的シミュレーションの困難さを測定する手法が導入された。

マジックと量子もつれの間の関係については、依然として重要な未解決問題が残されている。これらは二つの異なる複雑性の尺度である（マジックは状態の計算の難しさを、量子もつれは非局所性の量を表す）。量子もつれは高マジック状態を生成するための手段となるが、マジックが極めて小さいが量子もつれが高い状態（あるいはその逆）が存在することは、両者の間に複雑な相互作用があることを示唆している。先行研究では、ヒルベルト空間における明確に異なる領域が特定されているが、一般的なハール乱数量子状態におけるマジックと量子もつれの統計的な関係は、まだ十分に解明されていない。本研究では、ランダム量子回路の熱力学的極限において、マジックと量子もつれが相関しているのか、それとも独立しているのかを調査する。

手法
著者らは、$N$量子ビットのハール乱数量子状態におけるマジック（$M_2$）と量子もつれエントロピー（$S$）の結合分布に関する数値的な調査を行っている。

• システム生成: ランダムな状態は、基準となる積状態 $|0\rangle = \bigotimes_{j=1}^N |0\rangle_j$ にランダムなユニタリ演算子 $U \in U_N$ を適用することによって生成される。また、深さ $D$ のブリックウォール回路についても検討しており、$D \gtrsim 2N$ において、これらの分布が一般的なハール乱数演算子の分布に収束することを示している。
• マジックの定量化: スタビライザー2-レニー・エントロピー（SRE）を、$M_2$ と表記し、パウリ文字列の確率分布を用いて計算する。状態 $|\psi\rangle$ に対して、パウリ文字列の確率は $\Xi_\psi(\sigma) = \frac{1}{d} |\langle \psi | \sigma | \psi \rangle|^2$ である（ここで $d=2^N$）。マジックは $M_2(|\psi\rangle) \equiv -\log_2 \sum_{\sigma \in P_N} \Xi_\psi^2(\sigma) - \log_2(d)$ と定義される。
• 量子もつれの定量化: フォン・ノイマン・エントロピー $S$ は、システムを二つの等しい部分系（または奇数 $N$ の場合はほぼ等しい部分系）に分割することで計算される。
• 統計分析: 著者らは、周辺分布 $P_N(M_2)$ および $P_N(S)$、ならびに結合分布 $P_N(M_2, S)$ を分析する。システムサイズ $N$ が増加するにつれて、平均値、分散、およびこれら二つの量間の共分散がどのようにスケールするかを検証する。

主な貢献と結果

1. 周辺分布の指数関数的な局在化:

   • マジック: マジックの分布 $P_N(M_2)$ は、$N \to \infty$ において典型的な値 $\tilde{M}_2 \approx N - 2$ の周囲に指数関数的に鋭く局在する。分散は $\text{var}(M_2) \propto 4^{-N}$ とスケールし、これは標準的な熱力学的スケーリング（$\sim N$）よりも指数関数的に速い。この集中は、SREの定義における弱く相関した項の和に起因する。
   • 量子もつれ: 同様に、量子もつれエントロピーの分布 $P_N(S)$ も、$\tilde{S} \approx N/2$（Pageの公式と一致）の周囲に指数関数的に集中する。分散は $\text{var}(S) \propto 2^{-N}$ とスケールする。
   • 分布の形状: 大きな $N$ に対して、両方の分布は消失する分散を持つガウス分布へと収束する。

2. ゆらぎの漸近的な独立性:

   • 本論文の核心的な発見は、結合分布 $P_N(M_2, S)$ の振る舞いである。マジックと量子もつれの典型的な値は強く相関している（共に $N$ に比例してスケールする）が、それらのゆらぎは指数関数的に無相関となる。
   • マジックと量子もつれの共分散 $\text{cov}(M_2, S)$ は、システムサイズに対して $\propto 2^{-3N}$ として指数関数的に減衰する。
   • 決定的なことに、この減衰は個々の分散の幾何平均（$\sqrt{\text{var}(M_2)\text{var}(S)}$）よりも速い。これは、相関係数が熱力学的極限において消失することを意味しており、マジックと量子もつれのゆらぎが漸近的に独立であることを示している。

3. 非典型的な状態の稀少性:

   • 本研究は、マジックが消失しつつ量子もつれが高い状態（あるいは高いマジックを持ちつつ量子もつれが低い状態）が存在する一方で、それらは典型的な状態（両方の大きなマジックと大きな量子もつれエントロピーを持つ状態）と比較して、ヒルベルト空間における指数関数的に微小な割合しか占めていないことを確認している。

意義と主張
本論文は、一般的な量子状態におけるマジックと量子もつれの関係に関する曖昧さを解消したと主張している。彼らのゆらぎが熱力学的極限において指数関数的に無相関であることを示すことで、著者らは、マジック（シミュレーションの困難さ）と量子もつれ（非局所性の量）という二つの指標の間に、根本的な統計的独立性を確立した。

• 理論的含意: この結果は、線形マジックについて示されていた以前の解析的な知見（共分散がゼロであること）を、非線形なスタビライザー2-レニー・エントロピーおよびフォン・ノイマン・エントロピーへと拡張するものである。これは、大規模なランダムシステムにおいて、シミュレーションの「困難さ」（マジック）と「非局所性の量」（量子もつれ）が、その典型的な値からの偏差において独立にゆらぐことを示唆している。
• リソース理論: 本研究は、ヒルベルト空間における、高い値のマジックと高い量子もつれの両方を特徴とする、高度に複雑な量子状態の優位性を強調している。また、ランダムユニタリ回路が、量子リソース理論の探索や、主要な複雑性指標の統計的性質を理解するための枠組みとして有用であることを再確認している。
• 主張の謙虚さ: 著者らは、新しい実験プロトコルや特定の量子アルゴリズムへの応用を提案しているのではない。代わりに、量子状態の景観（ランドスケープ）を厳密に統計的に記述しており、ランダム回路において、マジックと量子もつれは共に高い複雑性を生み出すために必要であるが、典型的な値からの偏差においては統計的に結合していないことを明らかにしている。