Optimal Scaling of Unitary Design Formation in $U(1)$-Symmetric Random Circuits: A Bottleneck Slower than Charge Transport

技術要約：U(1)対称性を持つランダム回路におけるユニタリデザイン形成の最適スケーリング

問題提起
ランダム量子回路におけるユニタリデザインの形成は、カオス的なダイナミクスや対称性に制約された量子情報処理を理解する上で中心的なトピックである。制約のないランダム回路については収束率がよく特徴付けられているが、保存則（特に粒子数保存である$U(1)$対称性）に従う回路における振る舞いは、まだ十分に理解されていない。先行研究では、$U(1)$対称なユニタリ$k$デザインへの収束率は、保存量の単一粒子輸送率（拡散的な電荷輸送）によって支配されるという推測がなされていた。しかし、連続的な対称性が存在する状況下では、標準的な証明手法（ブートストラップ法など）が機能しないため、この推測を裏付けるタイトな下界を確立することは未解決の問題であった。本論文は、$k \ge 2$において、単一粒子輸送が確かに最も遅い緩和モードとなるのか、あるいはより遅いメカニズムが存在するのかという問いに取り組むものである。

手法
著者は、$U(1)$対称なランダム回路に関連するモーメント演算子の厳密なスペクトルギャップ解析を用いる。スペクトルギャップ $\Delta^{(k)}_\nu$ は、回路アンサンブルの第$k$次モーメントが$U(1)$対称なハール乱数ユニタリアンサンブルへと指数関数的に収束する速度を特徴付ける。

1. 上界の導出: 著者は、モーメント演算子の中に埋め込まれた特定の「二粒子遭遇（two-particle encounter）」プロセスを特定する。特定のローカルな型（例：あるサイトが$1010$型であり、別のサイトが$0110$型であるもの）に対応するモーメント空間の部分空間を構成することで、このモーメント演算子のこの部分空間への制限が、回路グラフ上の区別可能な二つのランダムウォーカーの遷移行列を正確に再現することを示す。このプロセスにおいて、ウォーカーたちがエッジ上で遭遇すると、彼らは「殺される」（状態が消滅する）。このプロセスの減衰率$\lambda^{\text{enc}}_G$ は、スペクトルギャップの上界を与える。
2. 下界の導出: この遭遇率が実際にボトルネックであることを証明するために、著者は標準的なブートストラップ法を回避する新しい証明手法を開発する。彼らは、補助的な部分群アンサンブルである「ドープされた2RPmix（doped 2RPmix）」回路を導入する。これは、局所的な二量子ビットゲートと、2RPmix群（サイト置換と二サイト位相回転によって生成される）からのグローバルなランダムユニタリを組み合わせたものである。
   • 彼らは、ドープされた2RPmix回路が、$k \le O(\sqrt{\log N})$ に対して定数スペクトルギャップを持つことを証明する。
   • 次に、2RPmix群が局所的な二量子ビットゲートのみを用いて生成される速度を分析する。彼らは、この局所的な生成速度が、上界で特定されたものと同じ二粒子遭遇プロセスによって支配されていることを示す。
   • この局所的な回路と補助的な部分群と比較することで、スペクトルギャップに対する一致する下界を確立する。
3. 効率的な構成: このボトルネックの実際的な影響に対処するため、中間段階で対称性を破る局所ゲートを用いるプロトコルを提案する。このプロトコルは、ターゲットとなる置換と位相回転を明示的にサンプリングすることで、厳密に対称的な局所ゲートに固有の拡散輸送および遭遇ボトルネックを回避し、定数ギャップの回路ユニットを構築する。

主要な貢献と結果

• 単一粒子輸送の仮説の反駁: モーメントの次数 $k \ge 2$ において、本論文は、$U(1)$対称ユニタリデザインの形成速度は、一般に単一粒子輸送 ($\lambda^{\text{tr}}_G$) によって支配されるのではなく、二粒子遭遇率 ($\lambda^{\text{enc}}_G$) によって支配されることを証明している。
• 幾何学的構造を横断する最適スケーリング: 著者は、$\alpha$次元格子、エキスパンダーグラフ、および全対全相互作用を含む幅広い回路幾何学において、定数倍の差を除いて一致する上界と下界を確立している。
  • $\alpha \ge 3$ の格子において、遭遇率は $\Theta(N^{-2})$ とスケーリングする一方、単一粒子輸送は $\Theta(N^{-1})$（並列/固定アーキテクチャの場合）または $\Theta(N^{-1-2/\alpha})$（シングルエッジの場合）となる。遭遇率はパラメトリックに遅い。
  • 2次元格子において、遭遇率は $\Theta(N^{-2}(\log N)^{-1})$ とスケーリングし、推測されていた $\Theta(N^{-2})$ の輸送率よりも遅い。
  • 1次元格子において、遭遇率は $\Theta(N^{-3})$ とスケーリングし、輸送率の $\Theta(N^{-2})$ よりも著しく遅い。
  • $k=1$ の場合、スペクトルギャップは単一粒子輸送率と完全に一致しており、遭遇ボトルネックが $k \ge 2$ に特有のものであることを確認している。
• ボトルネックの堅牢性: ゲートの局所性を $\ell$-局所ゲート（固定された $\ell$）に増加させても、この遅いモードは持続する。これは、ボトルネックが特定のゲートサイズではなく、対称性の制約に起因する固有のものであることを示している。
• ボトルネックの回避: 本論文は、中間段階で $U(1)$ 対称性を一時的に破るゲートを許容することで、この遭遇ボトルネックを回避できることを示している。明示的なプロトコルが提供されており、それによって定数ギャップのユニタリデザインを、厳密に対称なランダム回路が必要とする回路深さよりもパラメトリックに小さい回路深さで生成できる。例えば、$\alpha$ 次元格子において、深さは対称的な回路の $O(N)$ または $O(N \log N)$ スケーリングに対し、$O(N^{1/\alpha})$ とスケーリングする。

意義
本論文は、保存則の下でのランダム性形成に関する新しい構図を確立している。$k \ge 2$ において、$U(1)$対称ランダム回路における最も遅い緩和モードは、以前に想定されていた単一粒子電荷輸送よりもパラメトリックに遅い、二粒子遭遇プロセスであることを明らかにしている。この知見は、対称性がカオスやスクランブリングをどのように制約するかについての理論的理解を修正するものである。

さらに、本研究は、対称性が制約されたランダムネスを効率的に生成するための指針を提供している。中間的な対称性の破れを通じてボトルネックを回避できることを示すことで、その結果は、対称的な古典シャドウ・トモグラフィーや共変量子誤り訂正などのアプリケーションのための、より効率的なプロトコルへの道を開くものである。標準的なブートストラップ法ではなく、補助的な部分群アンサンブルを利用する証明フレームワークは、$SU(2)$ や $SU(d)$ のような非アーベル対称性を持つ他の制約付きランダム回路の解析にも新たな道を切り開くものである。最後に、この遅いモードの特定は、保存則を持つ一般的な孤立した多体系においても、同様の緩和メカニズムが存在する可能性を示唆している。