Non-Haar random circuits form unitary designs as fast as Haar random circuits

技術要約：非Haar型ランダム回路はHaar型ランダム回路と同等の速さでユニタリ・デザインを形成する

問題提起
ランダム量子回路は、量子情報処理（ランダム化ベンチマーキング、量子トモグラフィーなど）の基礎的なツールであり、また非平衡多体系ダイナミクスのモデルでもあります。この分野における中心的な指標は、回路がグローバルなランダム性を生成する速度であり、これはユニタリ $t$-デザインを形成する能力によって定量化されます。Haar型ランダム回路（ゲートがHaar測度からサンプリングされるもの）が、多項式深さ（$\text{poly}(N)$）、あるいは特定の幾何学的構造においては対数深さ（$O(\log N)$）で $t$-デザインを形成することは確立された事実ですが、非Haar型の挙動については理解が進んでいません。

実験設定において、ゲートは通常、離散的で非Haar型の集合（例：Clifford+$T$）から選択されます。非Haar型アンサンブルを扱った先行研究では、回路の深さの上限が $\text{poly}(N)$ の因子分だけ緩かったり、特定の回路構造（固定されたブリックワーク回路などを除く）に限定されていたりしました。本研究が取り組んだ重要な未解決問題は、一般的な非Haar型ランダム回路において、ユニタリ $t$-デザインを形成するために必要な回路深さが、対応するHaar型ランダム回路と比較して、システムサイズ $N$ に依存せず同等であるかどうかという点です。

手法
著者らは、回路構造を3つのカテゴリに分類し、それぞれに対して特定の証明手法を開発することで、ユニタリ $t$-デザインの形成を分析しています。彼らの手法の核心は、Haar測度への収束率を決定するモーメント演算子のスペクトルギャップ（$\Delta^{(t)}_\nu$）を評価することにあります。

1. 単一層連結回路（Single-Layer-Connected Circuits）： これらの回路（例：1次元局所ランダム回路）では、単一の層における2つの量子ディット（qudit）ゲートが、全サイトをカバーする連結グラフを形成します。著者らは、非Haar型アンサンブル $\nu$ のスペクトルギャップを、対応するHaar型アンサンブル $\nu_H$ のスペクトルギャップに関連付けます。彼らは、コーシー＝シュワルツの不等式とモーメント演算子の残留部分の性質を用いて、非Haar型スペクトルギャップの下限を導出しました。これにより、$\text{poly}(N)$ の緩い因子を排除することで、従来の境界を改善しました。
2. 多層連結回路（Multilayer-Connected Circuits）： 単一の層ではすべてのサイトを接続しない固定アーキテクチャ（例：1次元ブリックワーク回路）の場合、スペクトルギャップは複数層のブロックにわたって評価される必要があります。Haar回路で使用される標準的な「検出可能性補題（detectability lemma）」は、非Haar型アンサンブルには直接適用できません。著者らは、非Haar型多層ブロックのスペクトルギャップを、構成するゲートの局所的なスペクトルギャップによってスケールされた、対応するHaar型ブロックのスペクトルギャップに関連付ける一般化された不等式を導出することにより、この補題の非Haar型回路への適用性を拡張しました。
3. パッチワーク回路（Patchwork Circuits）： これらは、小さなランダム回路のパッチを貼り合わせることで構築される特殊な幾何学的構造です。著者らは、小さなパッチが近似デザインを形成すれば、グローバルなシステムも同様に形成するという先行研究（Schusterら）の補題を活用しています。彼らは、非Haar型設定における各パッチの必要深さが、Haar型深さに対して局所スペクトルギャップによって決定される定数倍の差であることを示しました。

主要な貢献と結果
本論文は、幅広い回路構造において、一般的な非Haar型ランダム回路が $\epsilon$ 近似ユニタリ $t$-デザインを形成するために必要な回路深さ $L$ が、対応するHaar型ランダム回路の深さ $L_H$ に対して、システムサイズ $N$ に依存しない定数の前係数を除いて上界を持つことを証明しています。

• 単一層連結回路： 必要とされる深さは $L = 2(\Delta^{(t)}_{\text{loc},\nu})^{-1} L_H$ である（ここで $\Delta^{(t)}_{\text{loc},\nu}$ は、局所的な2量子ディット・アンサンブルの最小スペクトルギャップである）。
• 多層連結回路： 接続深さ $l$ を持つ固定アーキテクチャの場合、必要な深さは $L_A = (\Delta^{(t)}_{\text{loc},\nu_A})^{-l} L^H_A$ である。
• パッチワーク回路： Haar型回路で達成可能な $O(\log N)$ の深さ形成は、局所スペクトルギャップに依存する定数倍にスケールされた上で、非Haar型回路でも維持される。

決定的なことに、この前係数は、局所的な2量子ディット・ユニタリ・アンサンブルの「ランダムネスの強さ」（具体的には、そのスペクトルギャップの逆数）のみに依存します。もし局所アンサンブルがユニバーサルなゲートセット（および恒等演算子）を含んでいる場合、この前係数は高々 $\text{polylog}(t)$ とスケールし、これは形成深さが $N$ および $t$ の両方に対して、特定の局所ランダム化子の選択に鈍感であることを示しています。

意義と示唆
著者らは、本研究が、局所的なゲートの変形に対するグローバルなランダム性生成率の**堅牢性（robustness）**を確立したと主張しています。これらの結果は以下を示唆しています：

1. 実験的柔軟性： 離散的なゲートセットを使用する現実世界の実験においても、理想的なHaar型ランダム回路と同じ深さのスケーリングでユニタリ・デザインを実現できることが保証され、ランダム化ベンチマーキングやランダム回路サンプリングといったプロトコルが、非Haar型の局所ゲートを用いても効率的に機能することを意味しています。
2. カオス現象の普遍性： ユニタリ・デザインの形成は量子カオス現象（情報のスクランブリング、複雑性の増大、熱化）と結びついています。これらの現象は、局所的なランダム化子がHaar型か非Haar型かにかかわらず、同じ回路深さのオーダーで普遍的に出現することが示されました。
3. アンチコンセントレーション（反集中性）： ランダム回路サンプリングにおける量子優位性の実証に必要な条件であるアンチコンセントレーションが、非Haar型ランダム回路（特にパッチワーク回路）においても $O(\log N)$ 深さで起こることが確認されました。

本論文は、これらの知見が、量子多体系における柔軟なランダム性生成の基礎を築き、ボゾン/フェルミオン系や対称性に制約されたダイナミクスへの将来の研究への道を開くものであると結論付けています。