Fixed-ray escort representations of sandwiched and $\alpha$--$z$ Rényi divergences on von Neumann algebras

技術要約：フォン・ノイマン環におけるサンドイッチおよび $\alpha$–$z$ レニー・ダイバージェンスの固定レイ・エスコート表現

問題設定
本論文は、任意のフォン・ノイマン環上の正規状態に対する $\alpha$–$z$ レニー・ダイバージェンス（サンドイッチ・レニー・ダイバージェンスを特殊なケースとして含む）の構造的表現を取り扱う。これらのダイバージェンスは量子情報理論や量子場理論（特に密度行列が存在しない Type III 代数において）で基礎的な役割を果たすが、その解析的性質を直接扱うことはしばしば困難である。既存の「ホッケースティック」分解や「レイヤーケーキ」分解に基づく積分表現は、バイナリ・テストのデータや尤度閾値からダイバージェンスを再構成するものである。著者らは、特定の状態の軌跡に沿った通常の荒キ（Araki）相対エントロピーの平均としてこれらのダイバージェンスを表現し、これにより、次数に依存するレニー量と標準的な相対エントロピーの確率平均とを結びつける表現を求めている。

手法
著者らは、有限次元の微積分と、ハアガード（Haagerup）非可換 $L^p$ 空間を利用した無限次元作用素環のテクニックを組み合わせて用いている。

1. 有限次元における導出: セクション2において、著者らは密度行列に対する積分公式を導出する。彼らは $(\alpha, z)$ パラメータ空間における「固定レイ（fixed-ray）」を $z = c\alpha$ と定義する。このレイに沿って、一族の「固定レイ・エスコート状態」$\rho^{(c)}_\beta$ を構成する。モーメント関数 $Q_{\beta, c\beta}$ を次数 $\beta$ に関して微分することにより、正規化されたモーメントの微分とエスコート状態の相対エントロピーとの関係を示す微分恒等式を確立する。この恒等式を積分することで、主公式が得られる。
2. 作用素論的拡張: 任意のフォン・ノイマン環へ拡張するため（セクション6）、著者らは標準的な非有界作用素の微分に依存することができない。代わりに、以下の手順を踏む：
   • 適合する重み付きハアガード・スケールの構築（補題6.1）。これは、特定の要素（低次では $h^{1/c}_\psi$、高次ではサンドイッチ因子）にアンカーされている。
   • 指数 $p < 1$ を扱うための準バナッハ補間（具体的には Gu, Yin, Zhang [16] の全-$p$ 補間定理）の利用。これは全パラメータ範囲において必要である。
   • アンカー付きエントロピー恒等式（命題6.4）の確立。これは、ハアガード・スケール内のパスの対数 $L^p$ ノルムが、その微分が正規化されたべき乗の荒キ相対エントロピーに比例する凸ポテンシャルであることを証明するものである。
   • 凸関数のための微積分基本定理を適用してこの微分を積分し、積分表現を回収する。

主要な貢献と結果

1. 固定レイ積分表現 (定理 4.1):
   主要な結果は、任意のフォン・ノイマン環上の正規状態 $\psi, \omega$ に対して、$\alpha$–$z$ ダイバージェンスが以下のように記述できることである：
   $$D_{\alpha,z}(\psi\|\omega) = \int_{I_\alpha} D(\psi^{(c)}_\beta \|\omega) \, d\mu_\alpha(\beta)$$
   ここで、$c = z/\alpha$、$I_\alpha$ は $1$と$\alpha$の間の区間、$\psi^{(c)}\beta$は固定レイ・エスコート状態、$d\mu\alpha$ は特定の確率測度である。

   • 条件: $0 < \alpha < 1$ の場合、サポート包含条件 $s(\psi) \leq s(\omega)$ が必要となる。$\alpha > 1$ の場合、ダイバージェンスの有限性はこの条件を意味する。
   • 汎用性: これはすべての $z > 0$ および $\alpha \neq 1$ に対して成立し、標準的なデータ処理不等式（DPI）の領域外のパラメータも含む。

2. サポート境界補正 (命題 4.2 & 系 4.4):
   $0 < \alpha < 1$ においてサポート条件 $s(\psi) \leq s(\omega)$ が成立しない場合、積分表現は正確な境界項によって修正される：
   $$D_{\alpha,c\alpha}(\psi\|\omega) = \int_{I_\alpha} D(\tilde{\psi}^{(c)}_\beta \|\omega_e) \, d\mu_\alpha(\beta) - \frac{\alpha}{1-\alpha} \log q_c$$
   ここで、$q_c$ は参照状態のサポート上に圧縮された状態の「質量」を表すスカラーである。$q_c = 0$ のとき、ダイバージェンスは無限大となる。この項は、エンドポイントのジャンプとして現れる「欠落したサポート」を説明するものである。

3. 単調性と凸幾何学 (系 4.5):
   本論文は、「洗練されたダイバージェンス（refined divergence）」$R_c(\beta) = D(\psi^{(c)}_\beta \|\omega)$ が固定レイの軌跡に沿って非減少であることを証明している。その結果、$\alpha$–$z$ ダイバージェンスは非減少関数の加重平均となり、レニー・ダイバージェンスと通常の相対エントロピーの間の境界を確立する。著者らは、その微分が洗練されたダイバージェンスとなる凸ポテンシャル $\Phi_c(\kappa)$ を定義し、ダイバージェンスの幾何学を凸解析へと結びつけている。

4. 安定性と剛性 (セクション 4.3):
   ピンサー（Pinsker）の不等式を用いて、著者らは、ダイバージェンスがエスコート状態の重心の周りでの平均二乗トレースノルム分散を制御することを示す安定性境界を導出する。彼らは、「ホレボ情報（Holevo information）」のエスコート・アンサンブルが消滅するための必要十分条件は、エスコートの軌跡が（ほとんど至る所で）定数であることであることを確立している。

運用的含意
本論文は、この積分表現を用いていくつかの運用的量を再定式化し、それらを符号付き面積またはレベル交差の言明として解釈している：

• 強逆則指数: サンドイッチ線（$z=\alpha$）の場合、非対称バイナリ仮説検定の正確な強逆則指数は、エスコート・プロファイルの符号付き面積の下の赤分（supremum）として表現される（式 4.55）。
• 仕事抽出: 有限次元熱的操作における信頼性指数は、エスコート・プロファイルに対する最適化として再定式化される（式 4.63）。
• ペア変換: 限定されたクラスの状態ペアの変換率は、一族のエスコート・プロファイルとそれに関連するサポート・オーバーラップ・コストによって整理される（式 4.67）。

意義と主張
著者らは、この表現が既存の積分公式（ホッケースティック分解など）とは異なる独自の幾何学的視点を提供すると主張している。尤度閾値ではなくレニーの次数自体に沿って積分することにより、この表現は以下の特性を持つ：

• サンドイッチおよび一般的な $\alpha$–$z$ ダイバージェンスの扱いを統一する。
• （元の代数に対する）グローバルな $\sigma$-有限性や忠実性を必要とせずに、任意のフォン・ノイマン環への有効な解析的恒等性を拡張する（サポートのコーナーに依拠する）。
• 最適化問題をレベル交差問題へと単純化する「凸順序ポテンシャル」を提供し、複雑な次数依存の最適化を簡略化する。
• サポート条件が失敗する場合のダイバージェンスの性質を正確に特定し、境界項を正確に分離する。

本論文は新しい実験プロトコルを提案したり、量子場理論の未解決問題を直接解決したりすることを目的としているのではなく、彼らの随伴研究（量子ヌルエネルギー条件に関するもの）で述べられているように、適用可能な解析的メカニズム（積分表現）を提供するものである。