Classically Spoofing System Linear Cross Entropy Score Benchmarking

技術要約：劣線形深度回路における System Linear Cross Entropy Score の古典的スプーフィング・ベンチマーキング

問題提起
近年の「量子超越性」の主張は、多くの場合、量子デバイスが（古典コンピュータにとって手に負えない）タスク（ランダム回路サンプリングなど）を実行していることを検証するための指標である、Linear Cross-Entropy Benchmarking (Linear XEB) に依存してきました。Linear XEB の古典的なスプーフィングに関する理論的な困難さは、Cross-Entropy Quantum Threshold (XQUATH) 予想に基づいています。しかし、近年の研究により、劣線形深度回路において XQUATH が成立しないことが証明されており、これは、超越性のベンチマークとしての Linear XEB の堅牢性を揺るがすものとなっています。

これを受けて、Minimal Quantum Singular Value Transform (mQSVT) 回路を用いた量子ハミルトニアンシミュレーション実験のために、変種ベンチマークである System Linear Cross Entropy Score (sXES) が提案されました。標準的な Random Circuit Sampling (RCS) とは異なり、mQSVT 回路は、同一のユニタリ $U$ とその共役 $U^\dagger$ の複数コピーを含む特有の構造を持っています。この構造的な違いから、System Linear Cross-Entropy Quantum Threshold Assumption (sXQUATH) が導かれました。これは、多項式時間の古典アルゴリズムが、自明な一様近似よりも有意に低い平均二乗誤差で mQSVT 回路の出力確率を近似することはできないという仮定です。以前は、sXQUATH と XQUATH の形式的な関係は不明確であり、既存のスプーフィング手法が sXQUATH を反証するために適応可能かどうかの疑問が残されていました。

手法
著者らは、mQSVT 回路の出力確率分布に対する効率的な古典近似を構築するために、Pauli path アルゴリズムを採用しています。彼らのアプローチの中核は、すべてのレイヤーにおいて、正規化された Pauli 行列を用いて回路の密度行列を展開することにあります。

主な技術的ステップは以下の通りです：

1. Pauli Path 展開: 出力確率 $p(U, x)$ は、Pauli path $s$ に対応するフーリエ係数の和として表現されます。$d$ 個のブロックを持つ mQSVI 回路の場合、Pauli path は $U$ と $U^\dagger$ を横断するサブパスのシーケンスとなります。
2. 直交性の問題の克服: 標準的な RCS では、「直交性（orthogonality property）」により、異なるパスのフーリエ係数の積の期待値はゼロになります。しかし、mQSVT 回路では、同じランダムなユニタリ $U$ が複数回（具体的には $d$ ブロックの回路において $2d$ 回）出現するため、この性質が崩れます。その結果、分析には従来の RCS スプーフィング結果で使用された第2モーメントではなく、Haar ランダムユニタリの高次モーメント（具体的には第4モーメント）が必要となります。
3. Weingarten Calculus: 複数のコピーを持つ同一のユニタリに関する積の期待値を評価するために、著者らは Weingarten calculus を利用します。これにより、Weingarten 関数と置換演算子を用いて Haar ランダムユニタリのモーメントを表現することが可能になります。
4. 特定のパス構築: 著者らは、第1層において最初の量子ビットとその結合パートナーに非恒等 Pauli ($Z \otimes Z$) を用い、その後のレイヤーでは恒等 Pauli を用いる、効率的に計算可能な特定の Pauli path $r$ を定義します。彼らは、古典近似 $q(U, x) = 2^{-n} + F(U, r, x)$ を構築します。ここで、$F(U, r, x)$ はパス $r$ のフーリエ係数です。

主な貢献と結果
本論文は、sXQUATH の破綻と sXES のスプーフィブル（spoofable）であることを示す2つの主要な定理を提示しています。

1. sXQUATH の反証 (定理 1): 著者らは、単一ブロック ($d=1$) の劣線形深度 ($d_U = o(n)$) mQSVT 回路について、構築された古典アルゴリズム $q(U, x)$ が、自明な近似 ($2^{-n}$) よりも有意に低い平均二乗誤差 (MSE) を達成することを証明しました。具体的には、$sXQ$（自明な近似と提案されたアルゴリズムの間の MSE の差）が $\Omega(2^{-3n})$ のオーダーでスケールすることを示しています。これは、sXQUATH 予想を直接的に反証するものであり、多項式時間の古典アルゴリズムが、仮定が許容するよりも優れた出力確率の近似が可能であることを証明しています。

2. sXES ベンチマークのスプーフィング (定理 2): 著者らは、同じアルゴリズムがノイズのある mQSVT 回路の sXES ベンチマークをスプーフィングできることを示しています。特定の閾値を超えるデポラリゼーション・ノイズによって汚染された回路に対して、構築された古典アルゴリズムが、ノイズのある量子回路と同等の sXES スコアを生成することを示しました。スプーフィングされた sXES は $2^{-n}(\sum_{x \neq 0^n} \mathbb{E}_U[p(U, x)] + c d_U)$ によって抑えられており、これは、この領域においてベンチマークが、ノイズのある量子実験と古典シミュレーションを区別できないことを示しています。

意義
本論文は、これらの結果が、RCS における Linear XEB のスプーフィングに関する Aharonov ら (2023) の先駆的な知見を拡張するものであると主張しています。mQSVT 回路の構造的な違いが、現在の最先端の古典的シミュレーション手法に対する十分な保護にはならないことを示すことで、著者らは以下のことを論じています：

• sXES の複雑性理論的基盤 (sXQUATH) は、特に劣線形深度回路において脆弱であること。
• mQSVT 回路の構造的差異は、現在の Pauli path アルゴリズムや同様の手法による古典的スプーフィングを防ぐための十分な防御にはならないこと。
• RCS またはハミルトニアンシミュレーションに基づく将来の量子超越性の主張には、Pauli path アルゴリズムや同様の手法によるスプーフィングを排除できる、より強力な複雑性理論的保証を備えた新しい検証タスクが必要であること。

本研究は、新しい実験プロトコルや将来の応用を提案するものではなく、理論的な警告としての役割を果たしており、量子優位性の実証に向けた、より堅牢な検証方法の必要性を強調しています。