Weak Typicality of von Neumann Entanglement Entropy in Gaussian Boson Sampling

技術要約：ガウス型ボソンサンプリングにおけるフォン・ノイマン・エントロピーの弱い典型性

問題提起
本論文は、ガウス型ボソンサンプリング（GBS）のシナリオにおいて生成されるフォン・ノイマン・エントロピー（$S_{1,n}$）の統計的振る舞いに対処するものである。具体的には、$n$ 個の等しいスクイージング入力モード（$s \neq 0$）が、ハール分布に従う受動的な線形光学干渉器を通過する場合における、このエントロピーの「弱い典型性（weak typicality）」を調査している。

先行研究では、整数次レニー・エントロピー（$\alpha \ge 2$）に対する比例的な弱い典型性が確立されており、フォン・ノイマン・エントロピーに対する漸近的に厳密な平均曲線も提供されていたが、サブシステムサイズ $k_n \sim rn$ において、フォン・ノマン・エントロピー自体が比例的な弱い典型性（すなわち、$S_{1,n} / \mathbb{E}[S_{1,n}] \to 1$ となる性質）を示すかどうかは未解決の問題であった。この困難さは、シンプレクティック固有値が純粋状態の極限（$\nu \to 1$）に近づくにつれて、エントロピー関数の導関数が対数的な特異性を有することにあり、これが直接的な分散計算や集中不等式の適用を複雑にしている。

手法
著者は、エントロピーを特異値統計量へと変換し、正則化技術を適用することで、直接的な分散計算を回避する証明戦略を開発している：

1. スペクトルへの還元： フォン・ノイマン・エントロピーは、行列 $U$（ハール分布に従うユニタリ干渉器）の $k \times k$ 主ブロック（$B_U$）の特異値 $\tau_j$ に対してスカラー関数 $\phi_s$ を適用した和として正確に表される。シンプレクティック固有値 $\nu_j$ は、これらの特異値を用いて $\nu_j = \sqrt{1 + \sinh^2(2s)(1-\tau_j^2)}$ と関連付けられる。
2. 端点正則化： 関数 $\phi_s(t)$ は $t=1$（$\nu=1$ に対応）において導関数に対数的な特異性を持つ。これを扱うため、ドメインを $1-\eta$ で打ち切ることで、真のエントロピーを近似するリプシッツ連続な関数 $\phi_{s,\eta}$ を導入する。これにより、近似統計量 $F_{n,\eta}$ が作成される。
3. 集中不等式： 証明は、ユニタリ群 $U(n)$ 上の測度集中（特にハール測量の集中）を利用する。ヒルベルト・シュミット距離に関する $F_{n,\eta}$ のリプシッツ定数を抑えることにより、平均からの偏差に対する裾（tail）の境界を導出する。
4. 誤差制御： 正則化によって導入される決定論的な誤差（$S_{1,n}$ と $F_{n,\eta}$ の差）は、カットオフ・パラメータを $\eta_n = n^{-2}$ と選択することで、$n \to \infty$ において消失することが示される。
5. 平均の下限： レニー・エントロピー（次数2）および円環直交アンサンブル（COE）の性質を用いて、期待エントロピーの線形な下限が導かれ、これにより正規化比が適切に定義されることが保証される。

主な結果
主要な定理は、フォン・ノマン・エントロピーの定量的な相対集中境界を確立する。サブシステム $k_n$ モードにおいて $k_n/n \to r \in (0,1)$ であるとき、任意の $\varepsilon > 0$ に対して以下が成立する：
$$P\left( \left| \frac{S_{1,n}}{\mathbb{E}S_{1,n}} - 1 \right| \ge \varepsilon \right) \le 2 \exp\left[ -c_{s,r} \frac{\varepsilon^2 n^2}{\log^2(en)} \right]$$
ここで、$c_{s,r} > 0$ はスクイージング強度 $s$ と比率 $r$ に依存する定数である。

この境界から、本論文は以下の系を導出する：

• 弱い典型性： $S_{1,n} / \mathbb{E}S_{1,n} \xrightarrow{P} 1$。
• ほとんど確実な収束： この収束は、正規化されたハール周辺分布を持つユニタリ行列の列のあらゆる結合に対して、ほとんど確実に成立する。
• 典型的なボリューム則： エントロピーはサブシステムサイズに対して線形にスケールする（$S_{1,n} = \Theta_P(n)$）。これは、Page曲線の平均値によって抑えられる。
• 分散の境界： エントロピーの分散は $\text{Var}(S_{1,n}) = O_s(\log^2 n)$ であり、これは平均の二乗のスケールである $O(n^2)$ よりも大幅に小さい。
• 対数的なタイトネス： 平均の周りのエントロピーの揺らぎは $O_P(\log n)$ のオーダーである。

さらに、本論文は、すべての比例的な比率 $r \neq 1/2$ において、強い典型性（加法的偏差 $S_{1,n} - \mathbb{E}S_{1,n} \to 0$）が成立しないことを証明している。これは、$\beta$-ヤコビ・アンサンブルの線形統計量の中心極限定理を用いることで、揺らぎが $O(1)$ のオーダーであり、消失しないことを示すことで実証されている。

意義と主張
本論文は、固定された等しいスクイージングを持つハール・アンサンブルにおける、フォン・ノマン・エントロピーの比例的な弱い典型性に関する特定の未解決問題を解決したと主張している。これは、先行研究（Iosueら、Youmら）によって残された空白を埋めるものである。本結果の意義は以下の点にある：

1. 厳密な確認： 公表されているGBSの平均Page曲線が、単なる平均値ではなく、ほとんどすべての干渉器の実現において観察される「典型的な」値であることを確認した。
2. 手法的な貢献： 対数的な特異性を持つスペクトル統計量を正則化して集中測度を適用するという、再利用可能な戦略を導入した。これにより、超幾何級数を含む正確な分散展開を回避している。
3. 形式的検証： スペクトル値への還元、正則化、および集中議論を含む証明の全工程は、数学的厳密性を保証するためにLean 4を用いて形式的に検証されている。

著者は、この結果が理想的で損失のない事前測定状態に適用されるものであり、サンプリングの困難さ、有限深さの回路、または不等しいスクイージングのシナリオを直接扱うものではないことを明記しているが、これらより複雑な設定に対する厳密なベンチマークを提供するものである。