Apparent Universal Behavior in Second Moments of Random Quantum Circuits

技術要約：ランダム量子回路の2次モーメントにおける見かけ上の普遍的挙動

問題提起
ランダム量子回路アンサンブルが近似ユニタリデザインへと収束することは、量子情報理論における中心的なトピックであり、実験的に観測可能な性質の、大規模な深さにおける振る舞いを支配している。特定の構造化されたアーキテクチャ（例：センサード・ブリックワーク）が、深さ $\Theta(\log n)$ で $\epsilon$-近似 $t$-デザインを形成することは知られているが、より一般的な、規則的に接続されたアーキテクチャの挙動については、依然として理解が進んでいない。主な未解決問題は以下の通りである：

1. 標準的な「ブリックワーク」回路は、どの程度の速さで近似2-デザインを形成するか？また、それはアンチコンセントレーション（非集中性）と異なるのか？
2. すべてのグラフサンプリングされたアーキテクチャは、同じ漸近的な速度で2-デザインを形成するのか？それとも、特定のトポロジー（例：接続性が乏しいもの）は、より多くのゲートを必要とするのか？
3. 与えられたアンサンブルをHaar測度から区別するための最適な実験セットアップは何か？また、衝突確率（アンチコンセントレーションの代用指標）が常に収束率を決定するのか？

従来の研究は、スペクトルギャップや特定の回路特性から導出された緩い上限または下限に依存することが多く、中規模なシステムサイズに対する正確な数値評価を欠いていた。

手法
著者らは、与えられたアンサンブルをHaar測度から区別するための最適な実験を、特に第2次モーメント（$t=2$）において明示的に決定する戦略を導入している。

• 理論的還元： 著者らは、正定値（PSD）ベクトル化を持つ局所不変アンサンブルについて、乗法的誤差 $M(\Phi_\epsilon, \Phi_{Haar})$ が特定の状態 $\rho_{\vec{a}}$ によって飽和されることを証明した（定理1）。これらの状態は、$n$ サイトにわたるシングレット状態（$|01\rangle - |10\rangle$）と積状態（$|00\rangle$）のテンソル積であり、バイナリベクトル $\vec{a} \in \{0, 1\}^n$ によってパラメータ化されている。
• 計算アルゴリズム： この還元により、問題は $2^n$ の有限集合上の関数を最大化することへと変換される。著者らは、モーメント演算子を置換基底（Schur-Weyl双対性による）を用いて表現し、テンソルネットワーク法を用いて行列要素 $v(\vec{a})^T H v(\vec{a})$ を正確に計算する。このアプローチにより、計算複雑度がナイーブな $64^n$ から $4^n$（あるいは対称性を用いた $2^n$）へと削減され、最大50量子ビットまでのシステムに対して正確な計算が可能となった。
• 調査対象のアーキテクチャ： 本研究では以下の構成を扱っている：
  • グラフサンプリングされたアーキテクチャ（線形、円形、完全グラフ、ロリポップ、スター、ラマヌジャン、アワーグラス、ブリッジ）。
  • 1Dブリックワーク回路（開境界および周期境界条件）。
  • 「高速」なアーキテクチャを含む（Parallel Complete Graph (PCG)、Permuted Brickwork (PB)、Permuted Brickwork with Fixed Evens (PBFE)）。

主要な貢献と結果

1. 正確な乗法的誤差の計算： 本論文は、中規模なシステムサイズにおいて、緩い境界値を超えて、正確な乗法的誤差を計算するための実用的なアルゴリズムを初めて提供する。
2. グラフ依存のスクランブリング率：
   • 普遍的な境界： ほとんどのグラフファミリー（線形、円形、ツリー、ラマヌジャン）は、深さ $\log n$ に比例する深さで $\epsilon$-近似2-デザインを形成する。
   • 例外： 著者らは、ロリポップやブリッジのような特定の「例外的な」アーキテクチャを特定した。これらは深さ $\Omega(n)$（具体的にはロリポップに対して $\Omega(n^2 \log n)$）を必要とする。これは、文献[1]における問いに対して、否定的な回答を与えるものである。
   • 接続性のメカニズム： 例外的なケースにおける遅いスクランブリングは、接続性の乏しさに起因している。これは、タイムスケールの分離（例：ロリポップグラフにおける「スティック」部分は、「キャンディ」部分よりも熱化が著しく遅い）を生じさせる。著者らは、接続が必要とされる量に関しては線形グラフが最も遅く、ゲートの総量に関しては完全グラフが最も速いと推測している。
3. ブリックワーク回路：
   • 1Dブリックワークについて、$\epsilon$-近似2-デザインに達するために必要な深さ $d_{brickwork}$ の半経験的な公式を導出した：
     $$d_{brickwork} \approx \frac{\log(\frac{3}{\pi^2} \frac{n}{\epsilon})}{\log(5/4)} + O\left(\frac{1}{n^2}\right)$$
   • 著者らは、開境界のブリックワークにおける最適実験が「エンタングルド・バウンダリ（絡み合った境界）」状態（端ではシングレット、バルクでは積状態）であることを特定した。これは衝突確率よりも収束が遅い。
4. 高速アーキテクチャ：
   • Permuted Brickwork (PB) および PBFE アーキテクチャは、グラフサンプリングされたアーキテクチャよりも著しく速くスクランブルすることが示された。
   • PBFEアーキテクチャは、わずか12レイヤーで50量子ビットの0.01-近似2-デザインを構築しており、これはこれらの特定の構成においては、必要な深さが量子ビット数にほとんど依存しないことを示唆している。
   • 最速のアンチコンセントレーターとして以前示唆されていたParallel Complete Graph (PCG) は、絶対的に最速のスクランブラーではないことが示されたが、グラフサンプリングされたどのアーキテクチャよりも高速である。
5. アンチコンセントレーション vs 2-デザイン：
   • アンチコンセントレーション（衝突確率）と2-デザインの形成は密接に関連しているが、必ずしも同等ではない。
   • スターグラフにおいて、衝突確率は乗法的誤差よりもはるかに速く収束しており、これは「最適実験」が常に衝突確率であるとは限らないことを示している。
   • 開境界の1Dブリックワークでは、アンチコンセントレーションに必要な深さと2-デザインに必要な深さの間にギャップが存在するが、周期境界ではこれらは一致する。

意義と主張
本論文は、ランダム量子回路の2次モーメントに関する包括的な数値的特性付けを提供していると主張している。

• 実用的な深さ： 結果は、現実的なパラメータ範囲において、多くのアーキテクチャで近似2-デザインを構築するために10〜20レイヤーがあれば十分であることを示唆しており、これは従来の構成に対する大きな定数倍の改善を意味する。
• 接続性の限界： 本研究は、グラフの幾何学がスクランブリング率に影響を与える一方で、主要なボトルネックは接続性であることを確立している。著者らは、線形グラフと完全グラフが、それぞれ接続数とゲート数の極値（最小および最大）を代表していると推測している。
• 理論的限界： 著者らは、数値結果が有限の $n$ に対しては正確であるが、$n \to \infty$ においては「強く示唆的」なものであると控えめに述べている。しかし、特定のグラフファミリー（ブリッジ/ロリポップ）が $\Omega(n)$ のゲートを必要とすることを厳密に証明しており、すべてのグラフが普遍的な漸近形式を持つという考えを否定している。
• アンチコンセントレーションのギャップ： 著者らは、アンチコンセントレーションと状態の2-デザインを結びつける結果（文献[15]）が、ユニタリデザインには単純には拡張できないことを強調している。これは、アーキテクチャに応じて衝突誤差と乗法的誤差の比が任意に大きくなり得るためである。

結論として、論文は今後の方向性として、アルゴリズムの $t > 2$ への拡張、他の群の探索、およびより単純なグラフ特性（最小カット比など）が、ここで用いられた複雑な接続性指標を代替できるかどうかの調査を提案している。