Temporal nonlocality of a qudit resides in the input state, not the channel, and certifies temporal teleportation up to a fundamental limit

Technische Samenvatting: Temporele Nonlokaliteit van een Qudit

Probleemstelling
Het artikel behandelt de aard van kwantumcorrelaties door de tijd voor een enkel systeem (een qudit) dat door een ruisig kanaal gaat. Terwijl ruimtelijke nonlokaliteit goed begrepen is als een eigenschap van gedeelde verstrengelde toestanden, is de bron van "temporele nonlokaliteit" (Bell-achtige schendingen in de tijd) minder duidelijk geweest. Specifiek is het onbekend of temporele nonlokaliteit voortkomt uit de inputtoestand, de kanaaldynamica, of hun wisselwerking. Bovendien is er een behoefte aan het vaststellen van een rigoureuze hiërarchie van temporele correlaties (verstrengeling, steering, nonlokaliteit) analoog aan de ruimtelijke hiërarchie, en om de operationele bruikbaarheid van deze correlaties voor taken zoals temporele teleportatie te bepalen. Een cruciale open vraag is of device-onafhankelijke certificering van temporele correlaties een getrouwe garantie biedt voor het vermogen van het kanaal om kwantuminformatie over te dragen, of dat het lijdt onder "over-certificering".

Methodologie
De auteurs hanteren een verenigd kader gebaseerd op semidefiniete programmering (SDP) om de robuustheid van temporele correlaties tegen ruis te kwantificeren. Ze definiëren drie robuustheidsmaten voor een enkele qudit die door een kanaal $E$ wordt gestuurd en op twee tijdstappen ($t_A$ en $t_B$) wordt gemeten:

1. Temporele Verstrengelingsrobuustheid ($TER$): Specifiek $TER_{sep}$ (gebaseerd op de scheidbaarheid van de Choi-toestand van het kanaal) en $TER_{PPT}$ (gebaseerd op het Peres-Horodecki PPT-criterium).
2. Temporele Steering-robuustheid ($TSR$): Het kwantificeren van de minimale ruis die nodig is om het vermogen van de assemblage om verklaard te worden door een verborgen-toestandsmodel te vernietigen.
3. Temporele Nonlokaliteitsrobuustheid ($TNR$): Het kwantificeren van de minimale ruis die nodig is om de twee-tijd statistieken lokaal te maken (die een LHV-model toelaten).

De studie maakt gebruik van een twee-MUB (Mutually Unbiased Bases) meetinstrument, waarbij de instellingen van Alice de eigenbasis van de inputtoestand $\rho_A$ en de bijbehorende Fourier-conjugaat bevatten. Om dimensionaliteit $d \geq 3$ te behandelen en contextuele artefacten te vermijden die geassocieerd worden met standaard $SU(d)$-generatoren, gebruiken de auteurs een niet-contextuele Wigner fase-ruimte realisatie voor de pseudo-dichtheidstoestand (PDO).

De analyse combineert:

• Analytische Bewijzen: Het vaststellen van condities voor het verdwijnen van robuustheidsmaten en het afleiden van hiërarchie-grenzen.
• Numerieke Verificatie: Uitgebreide Monte-Carlo sweeps ($10^6$ configuraties) voor dimensies $d=2$ tot $d=5$, waarbij willekeurige toestanden, kanalen (depolariserend, fase-demping, amplitude-demping) en tijden worden getest.

Belangrijkste Bijdragen en Resultaten

1. Toestandsgebondenheid van Temporele Nonlokaliteit:
   De centrale bevinding is dat voor standaard ruisfamilies, temporele nonlokaliteit asymmetrisch toestandsgebonden is. De robuustheid $TNR(\rho_A, E)$ verdwijnt dan en slechts dan als de inputtoestand maximaal gemengd is ($\rho_A = 1/d$), ongeacht het kanaal (mits het kanaal niet op een specifieke manier adversarieel is).

   • Mechanisme: De bron is de back-action van de meting op een niet-maximaal gemengde toestand. Als $\rho_A \neq 1/d$, verstoort de keuze van de basis door Alice de toestand op een manier die door de statistieken van Bob wordt gedetecteerd, wat een temporeel signaal creëert. Dit signaal blijft aanwezig zelfs als het kanaal de toestand volledig decohereert.
   • Implicatie: Het kanaal zelf is overbodig voor het bestaan van temporele nonlokaliteit; de bron ligt volledig in de gemengdheid van de inputtoestand.

2. Hiërarchie van Temporele Robuustheid:
   De auteurs stellen een strikte hiërarchie vast voor de robuheidsmaten:

   • Ondergrens: $TSR \geq TNR \geq 0$ houdt universeel stand voor alle inputs en kanalen.
   • Bovengrens: De ongelijkheid $TER_{sep} \geq TSR$ houdt alleen stand onder de No-Signaling-in-Time (NSIT) conditie (d.w.z. wanneer $\rho_A = 1/d$).
   • NSIT-schending: Wanneer $\rho_A \neq 1/d$, schendt de inputtoestand NSIT, en kan de steering-bron ($TSR$) de verstrengelingsrobuustheid van het kanaal ($TER_{sep}$) overtreffen. De auteurs leiden een universele, NSIT-gecorrigeerde grens af: $TSR \leq TER_{sep} + \frac{1}{2}V_{NSIT}$, waarbij $V_{NSIT}$ de NSIT-schendingsmonitor is.

3. Operationele Betekenis: Temporele Teleportatie:
   Het artikel legt een link tussen $TNR$ en de fideliteit van device-onafhankelijke temporele teleportatie (DI-TIT). In een prepare-and-measure protocol met Heisenberg-Weyl codering:

   • De gecertificeerde $TNR$ biedt een ondergrens op de gemiddelde teleportatie-fideliteit: $F_{DI} \geq 1/d + (d-1)TNR/d$.
   • Voor $d=3$ is de hoogst gegarandeerde fideliteit $7/9$.

4. De "Over-Certificering" Valstrik:
   Een belangrijke bevinding is dat $TNR$ de prestaties van het kanaal kan over-certificeren. Omdat $TNR$ afhangt van de back-action van de inputtoestand in plaats van de coherentie-transmissie van het kanaal, kan een "beschermde" inputtoestand (bijv. een eigentoestand van een fase-dempingskanaal) een maximale $TNR$ opleveren, zelfs wanneer het kanaal de coherentie vernietigt die nodig is voor het teleporteren van superposities.

   • Resolutie: Eerlijke certificering wordt gegarandeerd als de probe-toestand voldoende gemengd is. Het artikel geeft een gemengdheid-drempel ($\lambda_{min} \geq 1/d - p/(d-1)$) die ervoor zorgt dat $TNR$ de werkelijke twirl-parameter $p$ van het kanaal niet overschrijdt. Geen enkele keuze van probes kan de certificering universeel geldig maken voor alle kanalen.

5. Numerieke Verificatie:
   De resultaten worden numeriek geverifieerd voor $d=2, 3, 4, 5$. De data bevestigt dat $TNR=0$ uitsluitend optreedt bij $\rho_A = 1/d$ (onder aangepaste metingen), de lagere hiërarchie $TSR \geq TNR$ standhoudt tot op machineprecisie, en de bovenste hiërarchie precies in proportie breekt met de NSIT-schendingen.

Betekenis en Claims
Het artikel claimt de fundamentele vraag te hebben opgelost waar de locatie van temporele nonlokaliteit ligt, door het te identificeren als een eigenschap van de gemengdheid van de inputtoestand in plaats van het kanaal. Dit staat in contrast met ruimtelijke nonlokaliteit, wat een eigenschap is van de gedeelde toestand.

Het werk biedt een verenigd operationeel kader voor temporele correlaties, waarbij wordt vastgesteld dat:

• Temporele nonlokaliteit een bron is voor device-onafhankelijke temporele teleportatie.
• Er is een fundamentele limiet aan wat device-onafhankelijk gecertificeerd kan worden ($7/9$ voor $d=3$) vanwege de ontkoppeling van de certificeringsmetriek ($TNR$) van de werkelijke transmissiecapaciteit van het kanaal.
• De "valstrik" van over-certificering een algemeen kenmerk is van certificering op basis van temporele correlaties, wat gemengde probes noodzakelijk maakt voor eerlijke garanties.

De auteurs benadrukken dat hun resultaten zijn afgeleid voor standaard ruisfamilies en aangepaste meetregelingen, en zij merken expliciet op dat de equivalentie $TNR=0 \iff \rho_A=1/d$ niet universeel is over alle injectieve kanalen (bijv. adversariële unitair-operaties kunnen de bron verbergen voor vaste schema's). Het artikel stelt geen nieuwe experimentele opstellingen voor, maar biedt de theoretische grenzen en certificeringsprotocollen voor bestaande scenario's van temporele kwantumgeheugens en teleportatie.