Simultaneous Detection of High-Dimensional Entanglement for Two Unknown Quantum States

Probleemstelling

De detectie en kwantificering van kwantumverstrengeling, met name in hoge dimensies (gemeten door het Schmidt-getal), is een fundamentele uitdaging in de kwantuminformatiewetenschap. Traditionele methoden, zoals volledige toestands-tomografie, vereisen een aantal metingen dat exponentieel groeit met het aantal qubits, wat ze onpraktisch maakt voor experimenten.

Bestaande criteria voor verstrengeling, zoals het zuiverheidscriterium (purity criterion), het op fideliteit gebaseerde criterium (fidelity-based criterion) en de $p_3$-PPT-methode (gebaseerd op momenten van de partiële transpositie), hebben beperkingen:

1. Ze detecteren vaak niet alle verstrengelde toestanden (bijvoorbeeld "ontrouwe" toestanden of unfaithful states).
2. Ze zijn vaak beperkt tot het analyseren van één onbekende toestand per keer.
3. Ze bieden niet altijd een schatting van het Schmidt-getal (de dimensie van de verstrengeling).

Het doel van dit werk is een nieuwe, experimenteel haalbare methode te ontwikkelen die gelijktijdig verstrengeling en het Schmidt-getal kan detecteren voor twee onbekende kwantumtoestanden, zonder volledige tomografie.

Methodologie

De auteurs introduceren een nieuw criterium, het Inproductcriterium voor het Schmidt-getal (Inner Product Criterion for Schmidt number, r-IPC). De kern van de methode ligt in het gebruik van de verhouding tussen de globale en lokale overlap van twee kwantumtoestanden.

1. Definitie van Overlap: De overlap tussen twee toestanden $\rho$ en $\sigma$ wordt gedefinieerd als het Hilbert-Schmidt inproduct: $\langle \rho, \sigma \rangle = \text{Tr}[\rho\sigma]$.
2. Lokale vs. Globale Overlap: Voor een bipartiete toestand wordt de overlap berekend voor het totale systeem ($\langle \rho, \sigma \rangle$) en voor de lokale subsystemen ($\langle \rho_A, \sigma_A \rangle$ en $\langle \rho_B, \sigma_B \rangle$).
3. De Ratio: De auteurs definiëren de ratio $S(\rho, \sigma) = \max \{ \frac{\langle \rho, \sigma \rangle}{\langle \rho_A, \sigma_A \rangle}, \frac{\langle \rho, \sigma \rangle}{\langle \rho_B, \sigma_B \rangle} \}$.
4. Het Criterium (Stelling 1): Als het Schmidt-getal $SN(\rho) \leq r$, dan geldt voor elke toestand $\sigma$:
   $$\langle \rho, \sigma \rangle \leq \min \{ r \langle \rho_A, \sigma_A \rangle, r \langle \rho_B, \sigma_B \rangle \}$$
   Als deze ongelijkheid wordt geschonden, impliceert dit dat zowel $SN(\rho)$ als $SN(\sigma)$ strikt groter zijn dan $r$. Concreet geldt: $SN(\rho) \geq \lceil S(\rho, \sigma) \rceil$.

Experimentele Implementatie:
Een cruciaal aspect van deze methode is dat de benodigde overlaps ($\text{Tr}[\rho\sigma]$) niet via volledige tomografie hoeven te worden bepaald. Ze kunnen efficiënt worden geschat via:

• Lokale gerandomiseerde metingen (local randomized measurements), waarbij lokale unitaire operaties uit een 2-design worden toegepast gevolgd door projectieve metingen.
• De Swap-test, die een Hadamard-poort en een gecontroleerde swap-poort gebruikt.

Dit maakt de methode experimenteel haalbaar voor middengrote tot grote systemen.

Belangrijkste Bijdragen

1. Gelijktijdige Detectie: In tegenstelling tot bestaande methoden die zich op één toestand richten, kan het r-IPC de Schmidt-getallen van twee verschillende onbekende toestanden ($\rho$ en $\sigma$) gelijktijdig bepalen.
2. Kwantitatieve Schatting: Het criterium levert een ondergrens voor het Schmidt-getal op, wat inzicht geeft in de dimensie van de verstrengeling, niet alleen in de aanwezigheid ervan.
3. Overwinnen van Bestaande Criteria:
   • Het r-IPC is strikt sterker dan het op zuiverheid gebaseerde criterium (PC) en het op fideliteit gebaseerde criterium (FBC).
   • Het kan een subset van $(r+1)$-ontrouwe toestanden ($(r+1)$-UFS) detecteren die door de FBC worden gemist.
   • In specifieke gevallen (zoals geïsoleerde toestanden) overtreft het zelfs de $p_3$-PPT-methode.
4. Equivalentie met het Reductiecriterium: De auteurs bewijzen dat het r-IPC theoretisch equivalent is aan het bekende $r$-reductiecriterium (r-RC) wat betreft detectiekracht. Echter, terwijl het r-RC experimenteel moeilijk uitvoerbaar is, biedt het r-IPC een natuurlijke operationele realisatie via lokale metingen.
5. Verbinding met Kwantuminformatie: De methode wordt gelinkt aan concepten zoals distillatie en teleportatie. Voor de maximale verstrengelde toestand als referentie ($\sigma = |\Psi\rangle\langle\Psi|$) relateert de ratio direct aan de fully entangled fraction ($F_\rho$).

Resultaten

• Isotrope Toestanden: In een analyse van isotrope toestanden (een klasse van gemengde toestanden) tonen de auteurs aan dat het r-IPC robuust is tegen variaties in parameters en het Schmidt-getal nauwkeurig kan bepalen.
• Detectie van Ontrouwe Toestanden: Via voorbeelden (zoals varianten van isotrope toestanden en specifieke mengsels van GHZ-achtige toestanden) wordt aangetoond dat het r-IPC toestanden kan detecteren die "ontrouw" zijn voor de FBC (d.w.z. de FBC geeft geen negatief resultaat, maar het r-IPC wel).
• Vergelijking met $p_3$-PPT: Voor kleine waarden van de parameter $x$ in geïsoleerde toestanden faalt de $p_3$-PPT-methode (waardoor $p_2^2 \leq p_3$), terwijl het r-IPC de verstrengeling wel detecteert.
• Uitbreiding tot Multipartite Systemen: Het criterium is succesvol gegeneraliseerd naar multipartite systemen (meer dan twee deeltjes), waarbij het in staat is om echte multipartite verstrengeling te detecteren of de Schmidt-getallen van bipartiete decomposities te begrenzen.

Significantie

Deze studie biedt een doorbraak in de experimentele detectie van kwantumverstrengeling. Door de afhankelijkheid van volledige tomografie te elimineren en in te zetten op lokale gerandomiseerde metingen, maakt het r-IPC de karakterisering van hoge-dimensionale verstrengeling praktisch uitvoerbaar voor huidige en toekomstige kwantumcomputers en -simulatoren.

De mogelijkheid om twee toestanden tegelijk te analyseren en een kwantitatieve ondergrens voor het Schmidt-getal te geven, opent nieuwe wegen voor:

• Het valideren van de kwaliteit van kwantumtoestanden in cross-platform verificatie.
• Het optimaliseren van kwantumkanalen voor teleportatie en distillatie.
• Het ontwikkelen van robuustere protocollen voor kwantumsensoren en communicatie die vertrouwen op hoge-dimensionale verstrengeling.

Kortom, het paper presenteert een theoretisch sterk en experimenteel haalbaar instrument dat de grenzen van bestaande detectiemethoden verlegt en een nieuwe standaard zet voor het karakteriseren van complexe kwantumtoestanden.