Exact certification of a positive-order Rényi additivity violation for an explicit channel pair

技術要約：正の次数におけるレニー加法性の破れの厳密な証明

問題設定
本論文は、量子チャネルにおける最小出力レニーエントロピー $S_{\min}^p(\mathcal{N}) = \min_\rho S_p(\mathcal{N}(\rho))$ の加法性について扱う。加法性の予想 $S_{\min}^p(\mathcal{N}_1 \otimes \mathcal{N}_2) = S_{\min}^p(\mathcal{N}_1) + S_{\min}^p(\mathcal{N}_2)$ は、多くの次数において成立しないことが知られていたが、Cubitt, Harrow, Leung, Montanaro, および Winter (CHLMW) によって構成された特定の明示的なチャネル・ペアについては、特定のギャップが残っていた。CHLMWは次数 $p=0$ における破れを実証し、$p \approx 0.11$ までの正の次数における破れの数値的な証拠を報告していた。しかし、Leung, Lovitz, および Wu が指摘したように、この明示的なペアに対して、厳密で検証可能な正の次数の終点（endpoint）はこれまで確立されていなかった。過去の主張は、印刷された終点や証明書（certificate）を伴わない半正定値計画法の議論に依存していた。

手法
著者は、すべての実数次数 $0 < p \leq 1/22$ に対して、CHLMWチャネル・ペアが加法性を破ることを、厳密かつコンピュータで検証可能な証明によって提供する。その手法は、初等的な線形代数と区間演算に依拠しており、最終的な検証ステップにおいて複雑な最適化ソルバーの使用を回避している。証明の構造は、主に以下の3つの要素で構成される：

1. 固有値の境界（下限と上限）：
   著者は、個々のチャネルの出力状態の固有値に対する厳密な有理数境界を確立する。「ウィットネス行列」（小さな有理数のエルミート行列）を用いることで、任意の入力状態 $\rho$ に対して、出力 $\mathcal{N}_T(\rho)$（ここで $T \in \{R, \bar{S}\}$）のすべての固有値 $\lambda$ が、以下の区間 $[\ell, u]$ 内に存在することを証明する：

   • $\ell = 301/100000$
   • $u = 2/3$
     これらの境界は、部分転置を用いた分解補題を通じて導出されており、出力スペクトルがゼロおよび1から一様に離れていることを保証している。

2. 単一チャネルの下限：
   確立された固有値境界と、関数 $f(t) = t^p$ ($0 < p < 1$) の凹性を用いて、出力パワーのトレース $\text{Tr}(\mathcal{N}_T(\rho)^p)$ の下限を導出する。著者は「極限的な許容スペクトル」 $e = (u, 1-u-\ell, \ell)$ を定義し、任意の有効な出力スペクトル $\lambda$ に対して $\sum \lambda_i^p \geq \sum e_i^p$ が成り立つことを証明する。これにより、単一チャネルのエントロピーに対する下限 $A(p)$ が得られる。

3. 結合入力の上限：
   著者は、単一の明示的なもつれ状態 $\Psi$（CHLMWの部分空間の逆入力周辺正規化から導出される）を構成する。これにより、結合出力 $(\mathcal{N}_R \otimes \mathcal{N}_{\bar{S}})(\Psi\Psi^*)$ の正確な有理数スペクトル（ランク8）を計算する。これは、結合最小出力エントロピーの上限 $B(p)$ を提供する。

主要な結果
核心となる結果は、すべての $0 < p \leq 1/22$ において以下の厳密な不等式を示すことである：
$$S_{\min}^p(\mathcal{N}_R \otimes \mathcal{N}_{\bar{S}}) < S_{\min}^p(\mathcal{N}_R) + S_{\min}^p(\mathcal{N}_{\bar{S}})$$

これは、区間全体で $A(p)^2 > B(p)$ であることを示すことで達成される。この超越不等式の検証は、整数の有限な比較へと還元される。著者は、この区間を証明するために2つの独立した議論を用いている：

• 階段状の議論（Staircase Argument）： 区間 $[0, 1/22]$ を有理数の小区間に分割し、$x^p$ の単調性を用いて関数 $A(p)$ と $B(p)$ を端点で抑え込む。
• 微分による議論（Derivative Argument）： 関数 $D(p) = A(p)^2 - B(p)$ およびその導関数を有理数の区間に閉じ込めることで、$D(p)$ が区間全体で正であり、かつ減少していることを証明する。

貢献と主張
本論文は、その新規性を、現象そのものや固有値の下限・上限のメカニズム（これらはともにCHLMWに帰せられる）ではなく、証明の認証（certification）および明示的な定数に限定している。具体的な貢献は以下の通りである：

• 初の厳密な終点： CHLMWの明示的なペアに対し、印刷され、コンピュータで検証可能かつ厳密に認証された正の次数の終点（$p = 1/22$）を初めて提供した。
• 明示的な証明書： 短いプログラム、あるいは単一の次数であれば手計算によって、読者が証明を検証できるような、小さな有理数のウィットネス行列と有理数スペクトルを提供している。
• 独立性： 証明は、数値的な近似ではなく、厳密な算術（整数の比較）に依拠している。ウィットネス行列はAI支援による探索によって見出されたが、その探索自体は証明において役割を果たしておらず、得られた証明書のみが使用されている。

意義
本論文は、CHLMWの例に関する文献における特定の空白を埋めるものであり、「数値的な証拠」や「未印刷の半正定値的な議論」から、完全に明示的でチェック可能な証明へと移行させた。著者は、終点 $1/22$ が最適であるとは主張していない。この手法は現在の認証された下限および上限の値によって制限されており、数値的に観察されている $0.11$ に向けて区間を拡張するには、区間の微細な分割よりも、より鋭い境界値が必要となる。本研究は、初等的な検証可能な証明を用いて、量子情報理論的な不等式を厳密に認証するためのテンプレートとして機能する。