Absorption capacity of separable noise: Bell-mixing thresholds on separability and teleportation

Technische Samenvatting: Absorptiecapaciteit van Scheidbaar Ruis

Probleemstelling
Het artikel behandelt de dynamiek van verstrengeling en kwantumteleportatie-utiliteit in twee-qubit systemen onder invloed van ruis. Specifiek wordt onderzoek gedaan naar de transities die optreden langs een "Bell-menglijn", gedefinieerd als een convexe combinatie van een vaste Bell-referentietoestand $|\Phi^+\rangle$ en een scheidbare ruistoestand $\sigma$:
$$\rho_\lambda = \lambda |\Phi^+\rangle\langle\Phi^+| + (1-\lambda)\sigma, \quad \lambda \in [0, 1].$$
Twee kritische operationele drempelwaarden worden geïdentificeerd langs deze lijn:

1. De Scheidbaarheidsdrempel ($\lambda^*$): De kleinste $\lambda$ waarvoor $\rho_\lambda$ verstrengeld wordt (equivalent aan het verlies van de Positive Partial Transpose, of PPT, op twee qubits).
2. De Teleportatiedrempel ($\lambda_F$): De kleinste $\lambda$ waarvoor de maximale teleportatie-getrouwheid $F(\rho_\lambda)$ de klassieke grens van $2/3$ overschrijdt.

Hoewel deze drempelwaarden bekend zijn voor specifieke gevallen (bijv. Werner-toestanden), streeft het artikel naar een verenigd kader om deze waarden te bepalen voor algemene scheidbare ruistoestanden $\sigma$ en om ze te volgen terwijl $\sigma$ evolueert onder lokale ruiskanalen.

Methodologie
De auteurs introduceren een "fixed-reference" perspectief, waarbij de focus verschuift van hoeveel ruis een vaste verstrengelde toestand vernietigt naar hoeveel Bell-referentie een vaste scheidbare achtergrond kan "absorberen" voordat een transitie plaatsvindt. Dit wordt geformaliseerd via twee absorptiecapaciteiten:

1. Verstrengelingsabsorptiecapaciteit ($C_{abs}(\sigma)$): Gedefinieerd als het supremum van een mengparameter $\eta$ waarvoor de partiële transpone van de menging positief blijft:
   $$C_{abs}(\sigma) := \sup \{ \eta \ge 0 : \sigma^{TB} + \eta Q \succeq 0 \},$$
   waarbij $Q = (|\Phi^+\rangle\langle\Phi^+|)^{TB}$ en $\sigma^{TB}$ de partiële transpone van de ruistoestand is.
2. Getrouwheidsabsorptiecapaciteit ($C_F(\sigma)$): Vergelijkbaar gedefinieerd, maar met de stopvoorwaarde dat de volledig verstrengelde fractie $f(\rho_\eta)$ op of onder $1/2$ blijft (equivalent aan $F \le 2/3$):
   $$C_F(\sigma) := \sup \{ \eta \ge 0 : f(\rho_\eta) \le 1/2 \}.$$

Het artikel stelt een Möbius-transformatie vast die deze capaciteiten verbindt met de operationele drempelwaarden:
$$\lambda^*(\sigma) = \frac{C_{abs}(\sigma)}{1 + C_{abs}(\sigma)}, \quad \lambda_F(\sigma) = \frac{C_F(\sigma)}{1 + C_F(\sigma)}.$$

De methodologie verloopt via het afleiden van gesloten vorm-expressies voor deze capaciteiten voor twee gestructureerde families van scheidbare ruis:

• Productruis ($\sigma = A \otimes B$): Onafhankelijke lokale decoherentie.
• Scheidbare X-toestanden: Toestanden met enkel niet-nul elementen op de diagonaal en de anti-diagonaal in de computationele basis.

Daarnaast maakt het artikel gebruik van decompositie-certificaten, waarbij gebruik wordt gemaakt van de concave eigenschap van de capaciteiten om ondergrenzen te bieden voor algemene scheidbare toestanden door deze te deconstrueren in opgeloste componenten (product- of X-toestanden).

Belangrijkste Bijdragen en Resultaten

1. Gesloten vorm-drempels voor Productruis:

   • De verstrengelingsabsorptiecapaciteit hangt alleen af van de lokale marginale zuiverheden:
     $$C_{abs}(A \otimes B) = \sqrt{(1 - \text{Tr} A^2)(1 - \text{Tr} B^2)}.$$
     Dit impliceert dat de scheidbaarheidsdrempel $\lambda^*$ uitsluitend wordt bepaald door lokale onzuiverheden en onafhankelijk is van het specifieke maximaal verstrengelde referentiekader.
   • De getrouwheidsabsorptiecapaciteit $C_F$ hangt af van zowel de lokale zuiverheden als de oriëntatie van de producttoestand ten opzichte van de Bell-referentie (specifiek de uitlijning van de Bloch-vectoren). Bijgevolg kan $\lambda_F$ verschillen van $\lambda^*$, wat een regime creëert waarin de toestand verstrengeld is maar nog niet nuttig voor teleportatie.
   • Voor willekeurige zuivere referentietoestanden $|\psi\rangle$ met concurrence $C_\psi$ schaalt de capaciteit universeel: $C_{abs}(A \otimes B; \psi) = C_{abs}(A \otimes B) / C_\psi$.

2. Gesloten vorm-drempels voor X-toestanden:

   • Het artikel leidt expliciete formules af voor $C_{abs}$ en $C_F$ voor scheidbare X-toestanden in alle vier de Bell-kaders ($\Phi^\pm, \Psi^\pm$).
   • Voor het $|\Phi^+\rangle$-kader hangt $C_{abs}$ af van de anti-diagonale coherentie $u$ en de populaties $b, c$ van de $\Psi$-blok:
     $$C_{abs}(\sigma_X; \Phi^+) = -2 \text{Re}(u) + 2\sqrt{bc - (\text{Im}(u))^2}.$$
   • De teleportatiecapaciteit $C_F$ heeft een vergelijkbare structuur maar hangt af van de som van de populaties $(b+c)$.
   • Een cruciaal resultaat is de expliciete karakterisering van de kloof $\lambda_F - \lambda^*$. Deze kloof verdwijnt (d.w.z. verstrengeling en teleportatie-utiliteit verschijnen gelijktijdig) indien en slechts indien de middelste populaties gelijk zijn ($b=c$). Anders bestaat er een interval van "nutteloze verstrengeling".

3. Decoherentie-trajecten:

   • Het kader wordt toegepast op lokale amplitude-damping en dephasing kanalen, die de X-toestandstructuur behouden.
   • Door tijd-afhankelijke termen in de gesloten vorm-formules te substitueren, genereert het artikel expliciete drempelwaarde-trajecten $\lambda^*(t)$ en $\lambda_F(t)$.
   • De resultaten tonen aan dat terwijl dephasing leidt tot monotone drempelwaarde-veranderingen, amplitude damping niet-monotoon gedrag kan veroorzaken (stijgende en dalende drempels) door gevolg van een tijdelijke herverdeling van diagonale populaties.

4. Decompositie-certificaten:

   • Het artikel bewijst dat beide capaciteiten concaaf zijn onder convexe decompositie. Dit maakt de berekening van gecertificeerde ondergrenzen voor drempelwaarden van algemene scheidbare ruis mogelijk door deze te deconstrueren in product- of X-componenten, waardoor volledige numerieke optimalisatie in sommige gevallen wordt vermeden.

Betekenis en Claims
Het artikel claimt een verenigd analytisch kader te bieden voor het lokaliseren van zowel de verstrengelings- als de teleportatie-transities langs een Bell-menglijn. De primaire betekenis ligt in:

• Analytische Controle: Verder gaan dan numerieke controles van PPT of getrouwheid op specifieke punten door gesloten vorm-formules te bieden die gebonden, gedifferentieerd en gevolgd kunnen worden langs kanalen.
• Richting-specifiteit: Expliciet de ruistoestand als input behandelen en de referentie als vast, wat deze capaciteiten onderscheidt van richting-onafhankelijke verstrengelingsmaten.
• Operationeel Inzicht: Duidelijk identificeren van het parameterregime waarin een toestand verstrengeld is maar geen kwantumvoordeel biedt voor teleportatie (het interval van "nutteloze verstrengeling"), en kwantificeren hoe de oriëntatie en het type van de ruis (product versus X) deze kloof beïnvloeden.
• Extensie naar Zuivere Referenties: Het bieden van een eenvoudige herschalingswet voor productruis wanneer de referentie een willekeurige zuivere toestand is, afhankelijk van enkel de concurrence van de referentie.

De auteurs merken op dat voor algemene scheidbare toestanden zonder speciale structuur, de exacte drempelwaarden het oplossen van een klein Semidefinite Program (SDP) vereisen, maar de afgeleide gesloten vormen voor product- en X-toestanden, gecombineerd met decompositie-certificaten, een praktische en analytisch hanteerbare benadering bieden voor veel fysiek relevante ruismodellen.