An Online Approach for Entanglement Verification Using Classical Shadows

Titel: Een Online Aanpak voor Verificatie van Verstrengeling met Behulp van Klassieke Schaduwen

Auteurs: Marwa Marso, Sabrina Herbst, Jadwiga Wilkens, Vincenzo De Maio, Ivona Brandić, en Richard Kueng.

---

1. Het Probleem

In huidige hybride quantum-classieke experimenten, met name in het NISQ-tijdperk (Noisy Intermediate-Scale Quantum), bestaat er een fundamentele asynchrone onbalans:

• Quantum-metingen zijn traag en duur (door opstarttijden, reset-tijden en hardware-overhead).
• Classieke verwerking is extreem snel en kan parallel worden uitgevoerd.

Bestaande protocollen behandelen quantum-metingen en classieke analyse als twee gescheiden fasen: eerst worden alle meetdata verzameld (offline), en pas daarna wordt de analyse uitgevoerd. Dit leidt tot twee grote problemen:

1. Inefficiëntie: De classieke processor blijft inactief tijdens het verzamelen van data, terwijl er voldoende tijd is om berekeningen uit te voeren.
2. Schaalbaarheid: Het opslaan van alle meetdata voorafgaand aan verwerking creëert een zware belasting voor het geheugensubsysteem, vooral bij grote systemen of hoge momenten (moments).

Specifiek voor verstrengelingsdetectie in gemengde toestanden (door ruis) is het berekenen van PT-momenten (momenten van de gedeeltelijk getransponeerde dichtheidsmatrix) cruciaal. Traditionele methoden vereisen vaak het reconstrueren van de volledige dichtheidsmatrix of het verwerken van enorme datasets achteraf, wat niet schaalbaar is.

2. Methodologie

De auteurs stellen een online algoritme voor dat de "slack time" (de wachttijd tussen quantum-shots) benut voor continue classieke verwerking. De kern van de aanpak ligt in het gebruik van Classical Shadows (klassieke schaduwen).

• Classical Shadows: Bij elke quantum-shot wordt een willekeurige Clifford-rotatie toegepast, gevolgd door een meting in de computatiebasis. Het resultaat is een "snapshot" ($\hat{\rho}_t$), een compacte klassieke beschrijving van de toestand die in verwachting de werkelijke toestand reproduceert.
• Online Update: In plaats van alle $T$ snapshots op te slaan en later te verwerken, worden de schatters voor PT-momenten ($P^{(m)} = \text{Tr}[(\rho^{TB})^m]$) incrementeel bijgewerkt zodra een nieuwe snapshot arriveert.
• PT-Momenten en Verstrengeling: De auteurs gebruiken de momenten van de gedeeltelijk getransponeerde matrix ($\rho^{TB}$). Als een van de elementaire symmetrische polynomen ($e_k$) van de eigenwaarden van $\rho^{TB}$ negatief is, is de toestand verstrengeld (NPT-verstrengeling).

De auteurs ontwikkelen twee complementaire online schatters die een fundamentele afweging maken tussen geheugengebruik en rekenkosten per shot:

A. Geheugenefficiënte Online Schatter (Zonder reconstructie)

• Principe: Bewaart de ruwe meetgegevens (bit-uitkomsten en Pauli-as indices) en berekent de bijdrage van de nieuwe snapshot direct met alle eerdere $(m-1)$-tupels.
• Voordeel: Het geheugengebruik is lineair in het aantal shots ($O(TN)$) en exponentieel goedkoper dan het opslaan van dichtheidsmatrices ($O(4^N)$). Geschikt voor grote systemen.
• Nadeel: De rekenkosten per shot groeien polynomiaal met het aantal shots ($\Theta(T^{m-1})$), wat een bottleneck wordt bij grote datasets.

B. Data-Lokale Online Schatter (Met reconstructie)

• Principe: Houdt een vaste set van $m$ geaccumuleerde matrices bij. Bij elke nieuwe shot worden deze matrices recursief bijgewerkt zonder de volledige meetgeschiedenis op te slaan.
• Voordeel: De rekenkosten per shot zijn constant en onafhankelijk van het aantal shots ($O(1)$ per shot). Geschikt voor hoge momenten ($m$).
• Nadeel: Het geheugengebruik is exponentieel in de systeemgrootte ($O(m \cdot 4^N)$), wat dit beperkt tot kleinere systemen (kleine $N$).

3. Belangrijkste Bijdragen

1. Paradigmaverschuiving: Het paper introduceert een hybride quantum-classiek online paradigma waarbij classieke verwerking parallel loopt met data-acquisitie, in plaats van achteraf.
2. Twee Onbevooroordeelde Schatters: De ontwikkeling van twee specifieke algoritmen die de afweging tussen geheugen en rekentijd formaliseren. Beide zijn statistisch onbevooroordeeld (unbiased) en overtreffen bestaande methoden.
3. Efficiëntie in PT-momenten: Het aantonen dat online verwerking het mogelijk maakt om alle $\binom{T}{m}$ combinaties van snapshots te benutten, wat leidt tot een lagere variantie en minder benodigde shots vergeleken met "batched" (geblokkeerde) methoden.
4. Conceptueel Inzicht: Het betogen dat de offline aanname (data eerst, verwerking later) geen fundamentele vereiste is, maar een suboptimale architecturale keuze die classieke resources onderbenut.

4. Resultaten

De auteurs hebben hun methoden getest op Werner-toestanden (gemengde toestanden met een instelbaar verstrengelingsniveau) voor systemen van 2 tot 8 qubits.

• Detectie van Verstrengeling: De online schatters slaagden erin verstrengeling te detecteren met aanzienlijk minder shots dan de bestaande "batched shadow" baseline.
  • Bijvoorbeeld: Voor een 2-qubit systeem was ongeveer 4.000 shots nodig voor convergentie, terwijl de batched methode meer shots nodig had voor dezelfde nauwkeurigheid.
  • De online methode detecteerde verstrengeling waar de batched methode faalde (bijvoorbeeld bij een 6-qubit systeem met een zeer kleine schending van de PPT-voorwaarde).
• Schaalbaarheid:
  • De geheugenefficiënte methode (zonder reconstructie) kon schalen tot 10 qubits voor lage momenten ($m=2, 3$), maar werd traag bij hoge $T$.
  • De data-lokale methode (met reconstructie) kon hoge momenten ($k$ tot 18) hanteren voor systemen tot 8 qubits, maar was beperkt door het exponentiële geheugenverbruik.
• Tijdsbesparing: Door de berekeningen tijdens de experimentele loop uit te voeren, wordt de totale "wall-clock time" (totale tijd van experiment tot resultaat) aanzienlijk verkort, omdat de classieke processor niet langer wacht op het einde van de data-acquisitie.

5. Betekenis en Conclusie

Dit werk is significant omdat het een praktische oplossing biedt voor een van de grootste inefficiënties in huidige quantum-experimenten: de idle tijd van de classieke processor.

• Voor NISQ-hardware: Het maakt verstrengelingsdetectie mogelijk in real-time, wat essentieel is voor feedback-lussen en adaptieve protocollen.
• Wiskundige Strenheid: Het bewijst dat het combinatorische probleem van het schatten van niet-lineaire functies (zoals momenten) uit enkele kopieën van een toestand kan worden opgelost zonder de volledige dataset op te slaan, zolang de juiste online structuur wordt gebruikt.
• Toekomstperspectief: Het paper suggereert dat deze aanpak kan worden uitgebreid naar andere shadow-protocollen en multi-copy metingen, en dat hardware-demonstraties op echte quantum-processoren (zoals supergeleidende qubits of ionenval-systemen) de voordelen verder zullen bevestigen.

Kortom, het paper transformeert verstrengelingsdetectie van een puur offline diagnostisch hulpmiddel naar een dynamisch protocol dat samenwerkt met het quantum-experiment, waardoor zowel de sample-efficiëntie als de operationele snelheid worden verbeterd.