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

Technische Samenvatting: De Min-Rains relatieve entropie is niet nauwkeurig voor exacte PPT-verstrengingsdistillatie

Probleemstelling
Het artikel behandelt een fundamentele openstaande vraag in de kwantumverstrengingstheorie met betrekking tot de exacte PPT (Positive Partial Transpose) distilleerbare verstrengeling. Exacte verstrengingsdistillatie vereist het omzetten van een ruisende bipartiete toestand naar een maximaal verstrengde toestand met nul fout bij eindige bloklengtes, een taak die strikt wordt beheerst door de geometrie van de ondersteuning (support) van de invoertoestand in plaats van door de eigenwaarden.

Onder de relaxatie naar volkomen PPT-behoudende operaties dient de min-Rains relatieve entropie, aangeduid als $R_{\min}(\rho)$, als een additieve, single-letter bovengrens op de geregulariseerde exacte PPT-distilleerbare verstrengeling, $E^\infty_{0,\text{PPT}}(\rho)$. Sinds de introductie ervan in 2017 is het een open vraag geweest of deze bovengrens altijd nauwkeurig is, oftewel of $E^\infty_{0,\text{PPT}}(\rho) = R_{\min}(\rho)$ geldt voor alle toestanden. Deze gelijkheid zou impliceren dat de beperking $E \leq \mathbb{1}$ in de one-shot distillatie-optimalisatie asymptotisch verwaarloosbaar wordt onder tensorproducten.

Methodologie
De auteurs lossen deze vraag op door aan te tonen dat de beperking $E \leq \mathbb{1}$ niet asymptotisch verwaarloosbaar is. Hun aanpak omvat drie belangrijke technische componenten:

1. Identificatie van een Tensor-stabiele Rigiditeit:
   De auteurs observeren dat voor elke haalbare exacte-distillatie effect $E$ die voldoet aan $P \leq E \leq \mathbb{1}$ (waarbij $P$ de ondersteuningsprojectie is van de invoertoestand), $E$ moet fungeren als de identiteit op de afbeelding van $P$ ($EP = P$). Deze "vaste werking" (fixed action) eigenschap is een geometrische beperking die de min-Rains relaxatie weglaat, aangezien min-Rains duale operatoren slechts moeten voldoen aan $R \geq P$ zonder de bovengrens-beperking.

2. Constructie van een Range-Supported Tensor Witness:
   Om deze rigiditeit uit te buiten, introduceren de auteurs een nieuwe single-letter bovengrens gebaseerd op een over het algemeen niet-Hermitische operator $T$, een zogenaamde range-supported tensor witness. Deze operator voldoet aan $PT = T$ en $\text{Tr}(T) = 1$. Zij bewijzen dat voor $n$ kopieën van de toestand, de one-shot distillatie grootheid begrensd wordt door de trace-norm van de partiële transpositie van $T$:
   $$W_0(P^{\otimes n}) \geq \|T^\Gamma\|_1^{-n}$$
   Consequentelijk wordt de geregulariseerde distilleerbare verstrengeling begrensd door $\log \|T^\Gamma\|_1$.

3. Expliciete Tegenvoorbeeld via Semidefinitie Programmering:
   De auteurs construeren een expliciete rang-drie subspace (een qutrit–qutrit systeem) waar zij twee certificaten vinden:

   • Een witness $T$ die voldoet aan de range-conditie zodanig dat $\|T^\Gamma\|_1 < 391/250$.
   • Een min-Rains dual certificaat $R \geq P$ zodanig dat $\|R^\Gamma\|_\infty = 6393/10000$.

   Door te verifiëren dat $\|T^\Gamma\|_1 \cdot \|R^\Gamma\|_\infty < 1$, stellen zij een strikte scheiding vast tussen de nieuwe bovengrens en de min-Rains relatieve entropie.

Belangrijkste Resultaten
Het primaire resultaat is het bewijs dat de min-Rains relatieve entropie geen gesloten vorm formule is voor de exacte PPT-distilleerbare verstrengeling. Specifiek voor de geconstrueerde rang-drie toestand $\rho_\star$ met ondersteuningsprojectie $P$:
$$E^\infty_{0,\text{PPT}}(\rho_\star) < R_{\min}(\rho_\star)$$
Het artikel levert exacte rationale certificaten voor deze scheiding:
$$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)$$
Deze ongelijkheid bevestigt dat de beperking die door de min-Rains relaxatie wordt weggelaten, zelfs onder willekeurige tensorproducten relevant blijft, wat voorkomt dat de relaxatie nauwkeurig is.

Significantie
Het artikel claimt een vraag op te lossen die dateert uit 2016/2017 betreffende de nauwkeurigheid van de min-Rains bovengrens in de context van exacte distillatie. De significantie ligt in:

• Het weerleggen van een Conjectuur: Het sluit definitief de min-Rains relatieve entropie uit als de exacte formule voor de geregulariseerde exacte PPT-distilleerbare verstrengeling.
• Het Onthullen van Asymptotische Structuur: Het belicht een subtiele asymptotische structuur in exacte verstrengingsmanipulatie onder PPT-operaties, waarbij het laat zien dat de "vaste werking" van distillatie-effecten op de invoer-ondersteuning een striktere limiet oplegt dan voorheen gedacht.
• Nieuwe Analytische Instrumenten: Het introduceert de range-supported tensor witness als een nieuw instrument voor het afleiden van bovengrenzen die de specifieke geometrische beperkingen van exacte distillatie respecteren, welke onzichtbaar zijn voor standaard min-Rains relaxaties.

De auteurs merken op dat hoewel de min-Rains bovengrens niet nauwkeurig is, de exacte gesloten vorm formule voor $E^\infty_{0,\text{PPT}}(\rho)$ een openstaand probleem blijft.