Spectral Properties Versus Magic Generation in $T$-doped Random Clifford Circuits

技術要約：Tドープされたランダム・クリフォード回路におけるスペクトル特性とマジック生成の比較

問題提起
量子力学的なダイナミクスは、しばしば古典的シミュレーションが困難な状態を生成する。この現象は、もつれ（エンタングルメント）と「非スタビライザー性（またはマジック）」の両方に関連している。クリフォード回路は広範なエンタングルメントを生成できるが、そのスタビライザー構造とマジックの欠如により、古典的に効率的なシミュレーションが可能である。ユニバーサルな量子計算には、Tゲートのような非クリフォード・ゲートの注入が必要となる。本研究では、Tゲートをランダムなクリフォード回路に導入することで誘起される複雑さを、二つの異なる指標、すなわちスペクトル特性（固有値統計）とマジック生成（スタビライザー・レニー・エントロピーによって定量化）を用いて調査する。中心となる問いは、可積分的な挙動を示すクリフォード回路から、カオス的でハール乱数的な挙挙へと移行するプロセスが、これら二つの尺度においてどのように異なって現れるかである。

手法
著者らは、ブリックウォール型アーキテクチャで構成された、深層のランダムな$N$量子ビット回路のアンサンブルを分析している。回路は、ランダムな2量子ビット・クリフォード・ゲートの層と、Tゲートがランダムに注入される層が交互に並ぶ構造を持つ。

• スペクトル分析： 研究では、ユニタリ演算子$U$および、パウリ・ストリングの空間上で作用する演算子$\mathcal{C} U \mathcal{C}^\dagger$の固有値スペクトルを調査する。著者らは、スペクトルをパウリ・ストリング空間における周期軌道の分布に関連付けている。彼らは、アンサンブルをランダム行列理論（RMT）の円ユニタリ集合（CUE）の予測と比較するために、位相相関関数$\chi(\Theta)$およびレベル間隔統計$P(\zeta)$を計算する。
• マジック生成： 著者らは、スタビライザー・レニー・エントロピー（SRE）$M_2$を用いて、非スタビライザー性を定量化し、複雑さを測定する。彼らは、回路がランダムなスタビライザー状態に作用する際に生成される「非スタビライザー能力」を定義する。数値シミュレーションは、様々なシステムサイズ$N$およびTゲート数$N_T$に対して行われ、回路アンサンブルと初期スタビライザー状態の両方について平均化される。

主要な貢献および結果

1. 純粋なクリフォード回路のスペクトル特性：

   • 純粋なクリフォード回路は、ポアソン的（可積分）な統計ともCUE（カオス的）な統計とも異なる、独特のスペクトル構造を示す。
   • この構造は、ダイナミクスがパウリ・ストリング空間における周期軌道へと分解されることに起因する。これらの軌道は、大きな固有値の縮退と、$\pi$の有理倍に特徴付けられる固有位相の分布をもたらす。
   • 軌道の長さの分布は大きな軌道に対して疎であり、最大軌道長は$L_{\text{max}} = 2^{N+1}$とスケールする。これは全ストリング構成の数（$4^N$）よりも大幅に小さい。

2. Tドープによるスペクトル遷移：

   • Tゲートの注入は周期軌道を破壊し、スペクトル特性をRMT（CUE）の挙動へと収束させる。
   • 感度： スペクトル遷移は極めて迅速である。著者らは、熱力学的極限（$N \to \infty$）において、$O(1)$個のTゲートがあれば、スペクトルの縮退を取り除き、カオス的なレベル間隔統計を誘起するのに十分であることを発見した。
   • $\Theta = \pi$におけるデルタピーク（周期軌道の徴候）の抑制は、Tゲート数に対して指数関数的に起こる。具体的には、縮退の割合は$\sim e^{-c N N_T}$のようにスケールし、$N \to \infty$において有限の$N_T$に対して消失する。

3. マジック生成のダイナミクス：

   • スペクトル遷移とは対照的に、マジック生成はより遅く、緩やかなプロセスである。
   • 離散領域（$N_T \ll N$）： 少数のTゲートの場合、マジックは離散的な「量子」として生成される。マジック密度$m_2$の分布は離散的かつバイモーダル（二峰性）である。単一のTゲートに対して、可能な値は$m_2 = 0$および$m_2 = M_2^H/N$であり、ここで$M_2^H \approx 0.414$はH型状態のマジックに対応する。
   • 線形スケーリング： 希薄な極限において、平均非スタビライザー能力はTゲート数に対して線形にスケールする：$\langle M_2 \rangle \approx M_2^\infty(T) N_T$、ここで$M_2^\infty(T) \approx 0.414$である。
   • 飽和： $N_T$が$N$のオーダーに増加すると、分布は準連続的になり、最終的にはハール乱数ユニタリの分布へと収束する。平均マジック密度は、1に近い値（具体的には$1 - 2/N$）へと飽和する。
   • 相転移： 結果は、臨界Tゲート密度$n_T^* \approx 2.41$における相転移を支持している。この密度以下では、平均マジック密度はTゲート密度に比例する（$\langle m_2 \rangle = n_T / n_T^*$）。この密度以上では、システムはハール乱数状態の最大級の複雑さに達する。

意義および主張
本論文は、スペクトル特性とマジック生成が、補完的ではあるが明確に異なる量子複雑さの指標であることを結論付けている。

• スペクトル相関： これらは非クリフォード・ゲートの存在に対して非常に敏感である。周期軌道の破壊とカオス的なスペクトル統計の開始は、システムサイズに関わらず、定数個のTゲートによって起こる。
• マジック生成： これは複雑さの「程度」を示す、より感度の高い指標である。スペクトルは即座にカオス的になる一方で、マジックの生成には、ハール乱数状態の最大級の複雑さに達するために、広範な数のTゲート（$N_T \sim O(N)$）を必要とする。
• 結論： 著者らは、マジックはスペクトル統計単独よりも、量子回路の「リソース豊かな」性質をより精緻に測る尺度であると主張している。本研究は、少数のTゲートがクリフォード回路の可積分的な構造を壊す（スペクトル遷移）には十分であるが、ユニバーサルな量子優位性に必要な（マジックという）計算リソースを完全に解き放つには、有限の密度を持つTゲートが必要であることを浮き彫りにしている。