Local qubit invariants on quantum computer

Dit paper presenteert twee algemene methoden om quantumcircuits te implementeren voor het direct meten van lokale unitaire invarianten op een quantumcomputer, met een specifieke toepassing op drie-qubit invarianten en entanglementmaten die zijn gedemonstreerd op het IBM Quantum Platform.

De kern

Wiskundige "Vingerafdrukken" voor Quantum-Verstrengeling: Een Simpele Uitleg

Stel je voor dat je een heel ingewikkeld, glinsterend kristal hebt. Dit kristal is een kwantumtoestand. Het kan van vorm veranderen, roteren, of zelfs in de hand worden gedraaid, maar de essentie van het kristal – hoe het is samengesteld – blijft hetzelfde. In de quantumwereld noemen we deze onveranderlijke eigenschappen invarianten.

De auteurs van dit paper, Szilárd Szalay en Frédéric Holweck, hebben een manier bedacht om deze "essentie" direct te meten op een echte quantumcomputer, zonder dat je het hele kristal eerst volledig hoeft te analyseren (wat extreem moeilijk is).

Hier is de kern van hun werk, vertaald naar alledaags taal:

1. Het Probleem: De "Vingerafdruk" van Verstrengeling

In de quantumwereld zijn deeltjes soms verstrengeld. Dat betekent dat ze als één geheel gedragen, zelfs als ze ver uit elkaar staan. Het is alsof je twee muntjes hebt die altijd hetzelfde laten zien, of altijd tegengesteld, ongeacht hoe je ze draait.

Om te weten hoe sterk deze verstrengeling is, gebruiken wetenschappers wiskundige formules (invarianten). Het probleem is: deze formules zijn vaak ingewikkeld en op een normale computer rekenen ze alles uit door de hele quantumtoestand te "fotograferen" (tomografie). Dat is als proberen een heel huis te tekenen door elke steen, elk raam en elk dakpan apart te meten. Het duurt eeuwen en is onpraktisch voor grote systemen.

2. De Oplossing: Twee Nieuwe Methoden

De auteurs hebben twee methoden bedacht om deze "vingerafdrukken" direct af te lezen op een quantumcomputer. Ze gebruiken een slimme truc: in plaats van het hele kristal te analyseren, laten ze het kristal met zichzelf "praten" en kijken ze naar het antwoord.

Ze gebruiken twee verschillende benaderingen:

• Methode A (De Slimme, Compacte Manier):
  Stel je voor dat je een spiegelbeeld van je quantumtoestand maakt en deze tegen het origineel laat botsen. Door te kijken hoe ze interfereren (zoals golven in een badkuip die elkaar opheffen of versterken), kun je direct zien hoe sterk de verstrengeling is.

  • Voordeel: Je hebt minder "ruimte" (qubits) nodig. Het is efficiënt en snel.
  • Nadeel: Je moet de "spiegel" (de transpositie van de toestand) kunnen maken, wat soms lastig is.

• Methode B (De Ruimtelijke, Grote Manier):
  Als je de spiegel niet kunt maken, maak je gewoon een tweede, echte kopie van het kristal. Je laat twee volledige kristallen met elkaar interageren.

  • Voordeel: Je hoeft geen complexe spiegel-trucs te doen.
  • Nadeel: Je hebt twee keer zoveel ruimte (qubits) nodig en de meting is iets minder precies, omdat er meer kans is op ruis (foutjes).

3. De Analogie: De "Index-Contractie"

De paper gebruikt termen als "indexcontractie". Laten we dat vertalen:
Stel je voor dat je twee sets van gekleurde sokken hebt (de quantumtoestanden).

• De norm (een basismeting) is gewoon tellen hoeveel sokken er zijn.
• De verstrengeling (de interessante meting) is kijken of de sokken van de ene persoon perfect matchen met die van de andere, zelfs als ze door elkaar zijn gehusseld.

De auteurs hebben een circuit (een quantum-schakeling) ontworpen dat deze sokken automatisch sorteert en telt. Als de sokken perfect matchen (hoge verstrengeling), krijg je een specifiek meetresultaat. Als ze niet matchen, krijg je een ander resultaat. De kans om dat specifieke resultaat te krijgen, is precies het getal dat de wetenschappers zoeken.

4. Wat hebben ze getest?

Ze hebben hun methoden getest op de IBM Quantum Platform (een echte, online quantumcomputer). Ze hebben drie soorten "kristallen" (toestanden) gemaakt:

1. GHZ-toestanden: Zeer sterk verstrengeld (als drie vrienden die altijd samen zijn).
2. W-toestanden: Iets minder sterk verstrengeld, maar robuust (als een groep vrienden waar één persoon weg kan, maar de rest nog steeds verbonden is).
3. Gescheiden toestanden: Geen verstrengeling (drie losse mensen).

De resultaten:

• Hun methode werkte! Ze konden de verstrengeling van deze toestanden meten.
• De "kleine" methode (Methode A) gaf de beste resultaten.
• Er was wel wat ruis (foutjes) door de onvolmaaktheid van de huidige quantumcomputers (ze zijn nog "luidruchtig"), maar de trend was duidelijk.

5. Waarom is dit belangrijk?

Vroeger moest je voor deze metingen duizenden experimenten doen om de hele toestand te reconstrueren. Nu kunnen ze met één slim circuit direct het antwoord krijgen.

• Efficiëntie: Het is veel sneller en kost minder rekenkracht.
• Toekomst: Zelfs als quantumcomputers groter worden (met meer qubits), blijven deze methoden werken. Je hoeft niet het hele huis te tekenen; je kijkt gewoon naar de "vingerafdruk".
• Foutdetectie: Omdat ze weten wat de ideale waarde zou moeten zijn, kunnen ze ook zien hoe goed hun quantumcomputer werkt. Als de meting afwijkt, weten ze dat er ruis is.

Samenvattend

De auteurs hebben een manier gevonden om de "ziel" van een quantumtoestand (de verstrengeling) direct te meten door slimme quantum-circuits te bouwen. Het is alsof ze een speciale scanner hebben bedacht die direct zegt: "Dit kristal is sterk verstrengeld," zonder dat ze urenlang hoeven te meten. Ze hebben bewezen dat dit werkt op echte machines, wat een grote stap is voor de toekomst van quantumtechnologie.

Technische samenvatting

Titel: Lokale Qubit-invarianten op een Quantumcomputer

Auteurs: Szilárd Szalay (Wigner Research Centre for Physics, Hongarije) en Frédéric Holweck (Université de Technologie de Belfort-Montbéliard, Frankrijk / Auburn University, VS).

---

1. Het Probleem

Verstrengeling (entanglement) is een fundamenteel kenmerk van kwantumsystemen. De meest nauwkeurige beschrijving van verstrengeling wordt gegeven door lokale unitaire (LU) invarianten. Deze grootheden blijven onveranderd onder lokale unitaire transformaties en kunnen in principe alle informatie over de verstrengeling van een kwantumtoestand bevatten.

Hoewel de theorie van deze invarianten goed ontwikkeld is (met name voor 2- en 3-qubit systemen), is het direct meten ervan op fysieke quantumcomputers een uitdaging. Bestaande methoden omvatten:

• Ad-hoc methoden: Specifiek ontworpen circuits voor specifieke invarianten (zoals concurrence), vaak gebaseerd op het volgen van coëfficiënten.
• Optimalisatie: Het vinden van LU-canonieke vormen via iteratieve optimalisatie, wat veel runs vereist.
• Full State Tomography: Het volledig reconstrueren van de toestand, wat exponentieel schaalt met het aantal qubits ($3^n$ metingen) en dus onpraktisch is voor grotere systemen.

De auteurs stellen een probleem: er is een behoefte aan een algemene, directe meetmethode voor LU-invarianten die schaalt met de graad van de invariant en niet met het aantal qubits op een exponentiële manier, en die toepasbaar is op huidige Noisy Intermediate-Scale Quantum (NISQ) computers.

---

2. Methodologie

De auteurs presenteren twee algemene methoden om quantumcircuits te implementeren die direct de waarde van LU-invarianten meten. De kern van de methode ligt in het vertalen van indexcontracties uit de wiskundige definitie van invarianten naar quantumlogica.

A. Basisprincipes

• Invarianten en Covarianten: Polynoom-invarianten van kwantumtoestanden worden geformuleerd via contracties met de Kronecker-delta ($\delta$, voor normen) en de Levi-Civita-tensor ($\epsilon$, voor determinanten/verstrengeling).
• Oracle $U_\psi$: De methode vereist een unitaire operator $U_\psi$ die de te meten toestand $|\psi\rangle$ bereidt uit de $|0\rangle$-toestand.
• Kopieën van de toestand: Omdat het kopiëren van kwantumtoestanden onmogelijk is (No-Cloning Theorem), gebruiken de methoden meerdere instanties van de oracle $U_\psi$ (of zijn getransponeerde/geconjugeerde varianten) om effectief meerdere kopieën van de toestand te genereren binnen het circuit.

B. De Twee Methoden

1. Methode 1 (Kleiner Circuit):

   • Gebruikt $nk/4$ qubits (waarbij $n$ het aantal qubits in het systeem is en $k$ de graad van de invariant).
   • Gebruikt $k/2$ kopieën van de toestand.
   • Implementeert contracties via het gebruik van de getransponeerde unitaire operator ($U_\psi^T$) of de geconjugeerde operator.
   • Voordeel: Minder qubits, minder CNOT-gates, hogere precisie.
   • Nadeel: Vereist de implementatie van $U_\psi^T$, wat soms lastig kan zijn als de oorspronkelijke circuit-ontleding niet triviaal te transponeren is.

2. Methode 2 (Groter Circuit met Bell-metingen):

   • Gebruikt $nk/2$ qubits (twee keer zoveel als Methode 1).
   • Gebruikt $k/2$ kopieën van de toestand, maar in plaats van transpositie, worden contracties uitgevoerd via Bell-metingen (of equivalent CNOT-gates en Hadamard-gates).
   • Voordeel: Werkt zelfs als $U_\psi^T$ moeilijk te implementeren is; robuuster voor complexe protocollen.
   • Nadeel: Vereist meer qubits, meer gates, en introduceert een factor $1/2$ per Bell-meting in de waarschijnlijkheid, wat leidt tot een hogere relatieve fout.

C. Implementatie

De auteurs toetsen deze methoden aan op de IBM Quantum Platform (processor ibmq_pittsburgh). Ze gebruiken specifieke 3-qubit toestanden:

• Scheibare toestanden: $|1|23\rangle$
• W-toestanden: $|W\rangle$
• GHZ-toestanden: $|GHZ\rangle$
  De circuits worden geoptimaliseerd met Qiskit.

---

3. Belangrijkste Bijdragen

1. Algemene Vertaalstrategie: De auteurs tonen aan hoe indexcontracties (de wiskundige basis van invariantentheorie) direct kunnen worden omgezet in quantumcircuits. Dit is een systeematische aanpak die niet afhankelijk is van ad-hoc oplossingen voor specifieke toestanden.
2. Directe Meting: In plaats van de volledige toestand te reconstrueren (tomografie), meten de circuits direct de waarschijnlijkheid van een specifieke uitkomst die evenredig is met de kwadraatwaarde van de invariant (bijv. $p \propto |\text{Invariant}|^2$).
3. Schaalbaarheid: De methoden schalen lineair met de graad van de invariant ($k$) in plaats van exponentieel met het aantal qubits, wat ze veel efficiënter maakt dan full state tomography voor het evalueren van verstrengeling.
4. Experimentele Validatie: De eerste experimentele demonstratie van het meten van complexe 3-qubit invarianten (zoals de drie-tangle $\tau$ en Kempe-invariant $\omega$) op echte NISQ-hardware.

---

4. Resultaten

• Experimentele Data: De auteurs maten invarianten ($c^2$, $\omega^2$, $\tau^2$) voor 10 willekeurige instanties van de SLOCC-klassen (1|23, W, GHZ).
• Nauwkeurigheid:
  • Er werd een kleine maar significante fout waargenomen door ruis (noise) op de IBM-processor.
  • Methode 1 vs. Methode 2: De kleinere circuits (Methode 1) presteerden over het algemeen beter (lagere foutmarge) dan de grotere circuits (Methode 2), zoals verwacht door het minder aantal qubits en gates.
  • Voor de GHZ-toestand werden beide methoden vergeleken voor het meten van $\tau^2$; de kleinere circuit gaf duidelijk betere resultaten.
• SLOCC Classificatie: Hoewel de ruis het perfect onderscheiden van klassen met nul-maat (zoals volledig gescheiden toestanden) bemoeilijkt (omdat ruis de toestand vaak naar de GHZ-klasse "duwt"), zijn de gemeten waarden voldoende om de sterkte van de verstrengeling te karakteriseren. Een kleine, niet-nul waarde duidt op zwakke verstrengeling of ruis.

---

5. Betekenis en Toekomstperspectief

• Benchmarking: Deze methoden bieden een nieuwe manier om huidige quantumcomputers te benchmarken door het meten van fundamentele kwantumeigenschappen in plaats van alleen logische gates.
• Algebraïsche Meetkunde in de Praktijk: Het werk maakt abstracte concepten uit de invariantentheorie (zoals Cayley's hyperdeterminant) fysiek meetbaar.
• Generaliteit: Hoewel het artikel zich richt op 2- en 3-qubit systemen, is de methode volledig algemeen toepasbaar op systemen met willekeurig veel subsysteem en dimensies.
• Toekomst: De auteurs benadrukken dat ondanks de ruis van NISQ-apparatuur, deze invarianten nuttig blijven als maatstaf voor "hoeveel" verstrengeling er aanwezig is. De methoden vormen een brug tussen theoretische kwantuminformatietheorie en praktische hardware-implementatie.

Conclusie: Het artikel levert een robuust raamwerk voor het direct meten van verstrengeling via quantumcircuits, vermijdt de kosten van volledige tomografie en valideert deze theorie experimenteel op huidige quantumhardware.