No off-diagonal quantum focusing for Rényi divergences

技術要約：レニー・ダイバージェンスにおける非対角量子フォーカシングの不在

問題提起
量子フォーカシング・コンジェクチャー（QFC）は、零曲面における量子膨張 $\Theta$ が、そのコングレース（束）に沿って非増加であることを提唱している。この言明は、古典的なフォーカシング定理を半古典的領域へと一般化したものであり、重力が普遍的に引力的であり続けることを示唆している。QFCは、「対角」成分（単一の横方向の位置で変化が生じるもの）と、「非対角」成分（異なる横方向の位置で変化が生じるもの）の2つの要素から構成される。

対角成分は量子ヌルエネルギー条件（QNEC）に関連付けられており、代数的量子場理論における相対エントロピー（ウムガミ・ダイバージェンス）に対して証明されている。一方で、近年の研究により、サンドイッチ型レニー・ダイバージェンス（SRD）やその他の整数次における「対防的なレニー型量子ヌルエネルギー条件（RQNEC）」が確立された。これにより、重要な疑問が生じた。すなわち、標準的な情報理論的公理を満たす任意のレニー型ダイバージェンスにおいて、完全な非対角成分を含むレニー版QFCが成立し得るのか、という点である。著者らは、任意のレニー型ダイバージェンスが、普遍的な非対角フォーカシング不等式を支持できるかどうかを調査している。

手法
著者らは、ミンコフスキー時空（$d > 2$）における零量子化自由場理論の枠組みを用いて反例を構築する。その手法は、以下のセットアップと公理に基づいている：

1. 零量子化と因子分解： 理論の、ある零カット $V(\vec{y})$ の未来にあるヒルベルト空間は、独立した横方向の零ペンシル（null pencil）上の状態のテンソル積として因子分解される。真空状態および励起状態は、これらの独立したペンシル上の状態のテンソル積として扱われる。
2. ダイバージェンスのクラス： 解析は、以下の4つの特定の公理を満たすレニー・ダイバージェンス $D_\gamma(\psi \parallel \omega)$ のクラスに限定される：
   • 忠実性（Faithfulness）： $D_\gamma \geq 0$ であり、$D_\gamma = 0$ となるのは $\psi = \omega$ の時に限る。
   • データ処理不等式（DPI）： 量子チャネルの下での単調性。
   • テンソル加法性（Tensor Additivity）： 積状態のダイバージェンスは、各因子のダイバージェンスの和となる。
   • 一致した古典・量子（cq）条件付け： 古典的なブロック（同一の古典レジスタを持つ直交セクターの直和）に分解された状態に対し、$\gamma \neq 0$ の場合は「log-sum-exp」則に従い、$\gamma = 0$ の場合は線形和則に従う。このルールは、Petz、サンドイッチ型、および $\alpha$-$z$ レニー・ファミリーによって満たされる。
3. 「シード（種）」の構築： 著者らは、「有限非剛性シード（finite non-rigid seed）」、すなわち、零カットが移動するにつれてダイバージェンスの値が変化する（すなわち、$d(u) \neq d(w)$ となる）単一ペンシル励起が存在すると仮定する。このようなシードは、局所的なユニタリ励起に対して存在することが示されている。
4. 非対角テスト： 著者らは、2つの活性化されたペンシルと、スペクテーター（観測者）ペンシル（古典レジスタとして機能する）を含む、非対角な有限差 $\Delta_{12}D_\gamma$ を定義する。スペンシル間の相関とスペクテーター・ブロックとの関係を操作することで、混合変分（mixed variation）の符号をテストする。

主要な貢献と結果
本論文は、上述の公理を満たし、$\gamma \neq 0$ である任意のレニー・ダイバージェンス $D_\gamma$ に対して、普遍的な非対角フォーカシング不等式は成立し得ないことを示す**ノーゴー定理（Theorem 1）**を証明している。

• 不等式の破れ： 著者らは、$\Delta_{12}D_\gamma < 0$ となるような特定の状態 $\psi$ と真空参照状態 $\omega$ を構築する。
  • $\gamma > 0$ の場合、「排他的（exclusive）」な活性化パターン（2つのペンシルが同時に同じブロック内で励起されないパターン）を利用して、$\Delta_{12}D_\gamma < 0$ となることを示す。
  • $\gamma < 0$ の場合、「正の相関を持つ」活性化パターンを利用して、関数が厳密に凹であることを示し、$\Delta_{12}D_\gamma < 0$ となることを導く。
• アフィン極限（$\gamma = 0$）： $\gamma \to 0$ の極限において、ダイバージェンスはウムガミ相対エントロピーに帰着する。このとき、log-sum-exp則は線形和へと崩壊し（式25）、非対角項は分離可能となる。その結果、$\Delta_{12}D_0 = 0$ となり、これは強劣加法性（Strong Subadditivity）から導かれる相対エントロピーの既知の非対角QFCの妥当性と一致する。
• 最大相対エントロピーの除外： この結果は、最大相対エントロピー（SRDの $\alpha \to \infty$ 極限）にも拡張され、これも非対角テストに失敗することを示している。

意義と主張
本論文は、量子フォーカシングの文脈における相対エントロピーの操作的な特徴付けを提供していると主張している。結果は以下のことを示唆している：

1. 相対エントロピーの一意性： 忠実性、DPI、テンソル加法性、および一致したcq条件を満たすレニー・ダイバージェンスのクラスの中で、ウムガミ相対エントロピー（アフィン極限）のみが、普遍的な非対角フォーカシングの言明を支持できる唯一の候補である。
2. レニー一般化の限界： 対角的なレニー型QNECの言明（整数次については証明済み）は成立し得るものの、ゼロではないレニー変形は、普遍的な非対角フォーカシング不等式を満たすことはできない。これは、「重力の引力性」が、非対角QFCにエンコードされている場合、標準的な相対エントロピーに特有の性質であることを示唆している。
3. 結果の範囲： 著者らは、本結果が対角的なレニー型フォーカシングの言明（重力バックリアクションを含めた場合には未解決問題である）を否定するものではないこと、また、特定の公理クラスの外側にあるダイバージェンス（例えば、一致したcq条件の下でアフィンとなるBelavkin–Staszewski相対エントロピーは、この特定の反例によっては排除されないが、そのレニー一般化は排除される）には適用されないことを明記している。

要約すると、本論文は、非対角QFCが標準的な相対エントロピーを選択する厳格な制約であることを確立しており、非対角セクターにおける重力の引力の普遍的な表明としての候補から、レニー一般化を排除している。