The Min-Rains Relative Entropy Is Not Tight for Exact PPT Entanglement Distillation

技術的要約：Min-Rains相対エントロピーは、厳密なPPTもつれ蒸留に対してタイトではない

問題の定義
本論文は、量子もつれ理論における、厳密なPPT（正の部分転置）蒸留可能もつれに関する根本的な未解決問題に取り組んでいる。厳密なもつれ蒸留とは、ノイズを含む二部系状態を、有限のブロック長において誤差ゼロで最大もつれ状態へと変換するタスクであり、これは入力状態の固有値ではなく、入力状態のサポートの幾何学的性質によって厳密に支配される。

Completely PPT-preserving操作への緩和の下では、min-Rains相対エントロピー（$R_{\min}(\rho)$と表記）は、正則化された厳密なPPT蒸留可能もつれ $E^\infty_{0,\text{PPT}}(\rho)$ に対する加法的かつ単一文字（single-letter）の上界として機能する。2017年の導入以来、この境界が常にタイトであるか、すなわち全ての状態に対して $E^\infty_{0,\text{PPT}}(\rho) = R_{\min}(\rho)$ が成立するかどうかは未解決の問題であった。この等式が成立するということは、一ショットの蒸留最適化における制約 $E \leq \mathbb{1}$ が、テンソル冪の下で漸近的に無視可能であることを意味する。

手法
著者らは、制約 $E \leq \mathbb{1}$ が漸近的に無視可能ではないことを示すことにより、この問題を解決する。彼らのアプローチは、主に以下の3つの技術的構成要素に基づいている：

1. テンソル安定な剛性（Tensor-Stable Rigidity）の特定:
   著者らは、条件 $P \leq E \leq \mathbb{1}$（ここで $P$ は入力状態のサポート射影）を満たす任意の実行可能な厳密蒸留効果 $E$ について、$E$ は $P$ の像に対して恒等写像として作用しなければならない（$EP = P$）という事実に注目した。この「固定された作用」という性質は、幾地学的な制約である。一方、min-Rainsの緩和は、min-Rains双対演算子が $R \geq P$ という条件のみを満たし、上限の制約を必要としないため、この性質を破棄してしまう。

2. 範囲支持テンソルウィットネス（Range-Supported Tensor Witness）の構築:
   この剛性を活用するために、著者らは一般に非エルミート演算子 $T$ に基づく、範囲支持テンソルウィットネスと呼ばれる新しい単一文字の上界を導入する。この演算子は $PT = T$および$\text{Tr}(T) = 1$を満たす。彼らは、状態の$n$個のコピーに対する一ショット蒸留量は、$T$ の部分転置のトレースノルムによって次のように抑えられることを証明した：
   $$W_0(P^{\otimes n}) \geq \|T^\Gamma\|_1^{-n}$$
   したがって、正則化された蒸留可能もつれは $E^\infty_{0,\text{PPT}}(\rho) \leq \log \|T^\Gamma\|_1$ によって抑えられる。

3. 半正定値計画法による明示的な反例:
   著者らは、ランク3の部分空間（qutrit–qutritシステム）を構築し、以下の2つの証明書（certificate）を見出した：

   • 範囲条件を満たすウィットネス $T$ で、$\|T^\Gamma\|_1 < 391/250$ を満たすもの。
   • $R \geq P$ であるmin-Rains双対証明書で、$\|R^\Gamma\|_\infty = 6393/10000$ を満たすもの。

   $\|T^\Gamma\|_1 \cdot \|R^\Gamma\|_\infty < 1$ であることを検証することで、新しい上界とmin-Rains相対エントロピーの間の厳密な分離を確立した。

主要な結果
主な結果は、min-Rains相対エントロピーが厳密なPPT蒸留可能もつれの閉形式の公式ではないことを証明することである。具体的には、構築されたランク3の状態 $\rho_\star$（サポート射影 $P$ を持つ）について、以下が成り立つ：
$$E^\infty_{0,\text{PPT}}(\rho_\star) < R_{\min}(\rho_\star)$$
論文は、この分離に関する正確な有理数の証明書を提供している：
$$E^\infty_{0,\text{PPT}}(\rho_\star) \leq \log\left(\frac{391}{250}\right) < -\log\left(\frac{6393}{10000}\right) \leq R_{\min}(\rho_\star)$$
この不等式は、min-Rainsの緩和によって破棄された制約が、任意のテンソル冪の下でも依然として重要であり、その緩和がタイトになることを防いでいることを裏付けている。

意義
本論文は、厳密な蒸留におけるmin-Rains境界のタイトネスに関する、2016年/2017年まで遡る問いを解決したと主張している。その意義は以下の通りである：

• 予想の反証: min-Rains相対エントロピーが、正則化された厳密なPPT蒸留可能もつれの正確な公式ではないことを決定的に示した。
• 漸近構造の解明: PPT操作の下での厳密なもつれ操作における微妙な漸近構造を明らかにし、蒸留効果の入力サポートに対する「固定された作用」が、以前考えられていたよりも厳しい制限を課すことを示した。
• 新しい解析ツールの導入: 標準的なmin-Rainsの緩和では見えない、厳密な蒸留の特定の幾何学的制約を尊重する新しい上界を導出するためのツールとして、範囲支持テンソルウィットネスを導入した。

著者らは、min-Rains境界はタイトではないものの、$E^\infty_{0,\text{PPT}}(\rho)$ の正確な閉形式の公式は依然として未解決問題であると述べている。