Rigorous quantum state tomography for distributed quantum computing

Probleemstelling

Distribueerde kwantumcomputing (DQC) belooft de schaalbaarheid van kwantumapparaten te vergroten door meerdere kleinere processors via klassieke of kwantumcommunicatie te netwerken. Een cruciale uitdaging bij DQC is echter het karakteriseren van de toestand van het systeem, met name het vaststellen van verstrengeling tussen verschillende knooppunten (remote entanglement).

Bestaande methoden voor kwantumtoestandsreconstructie (tomografie) hebben beperkingen in dit context:

1. Pauli-metingen: Deze zijn lokaal uitvoerbaar maar hebben een slechte steekproefcomplexiteit ($O(d^{1.6}r^2 \log d/\epsilon^2)$).
2. Projectieve 2-designs (zoals MUB's of SIC-POVM's): Deze bieden een betere steekproefcomplexiteit ($O(dr^2 \log d/\epsilon^2)$), maar vereisen in het algemeen willekeurige verstrengelde operaties voor implementatie. In een distribueerd systeem zou dit betekenen dat men remote entanglement moet aannemen als een primitieve, betrouwbare resource om de verstrengeling te meten. Dit leidt tot een logisch probleem: de resource die gemeten wordt, wordt al als gegeven aangenomen binnen het protocol zelf.

Het doel van dit werk is een tomografie-protocol te ontwikkelen dat specifiek is afgestemd op distribueerde systemen, waarbij remote entanglement niet als een betrouwbare resource wordt verondersteld, maar wel lokale verstrengeling binnen elk knooppunt wel.

Methodologie

De auteurs introduceren een Projected Least-Squares (PLS) toestandstomografie-protocol. De kern van de aanpak is als volgt:

1. Lokale 2-Designs: Het protocol gebruikt een verzameling metingen die is opgebouwd uit het tensorproduct van projectieve 2-designs op elk individueel knooppunt (node).

   • Elke node $j$ heeft een dimensie $d_j = 2^{n_j}$ (waarbij $n_j$ het aantal qubits is).
   • De metingen worden uitgevoerd met Mutually Unbiased Bases (MUBs) binnen elke node.
   • Cruciaal: Deze metingen vereisen alleen lokale operaties binnen de nodes en klassieke communicatie tussen de nodes. Er is geen noodzaak voor verstrengelde operaties tussen de nodes tijdens het meetproces.

2. Estimatieproces:

   • Stap 1: Verzameling van empirische frequenties ($f_{k_1...k_M}$) via lokale metingen en klassieke communicatie.
   • Stap 2: Constructie van een Least-Squares (LS) schatter ($\hat{L}$) door het oplossen van een kwadratisch probleem. Dankzij de structuur van de 2-designs heeft deze schatter een gesloten vorm.
   • Stap 3: Projectie van de LS-schatting op de verzameling van positief semi-definiete matrices met spoor 1 (de set van fysische kwantumtoestanden). Dit resulteert in de PLS-schatter ($\hat{\rho}$).

3. Theoretische Analyse:

   • De auteurs gebruiken concentratie-ongelijkheden voor willekeurige matrices (Matrix Bernstein-ongelijkheid) om strikte, niet-asymptotische foutgrenzen af te leiden.
   • Ze analyseren zowel de trace-norm fout ($\|\rho - \hat{\rho}\|_1$) als de fout bij het schatten van verstrengeling (gemeten via Negativiteit).

Belangrijkste Bijdragen

1. Protocol zonder aannames over remote entanglement: Het protocol karakteriseert distribueerde systemen zonder te vertrouwen op de kwaliteit van de verbinding tussen nodes, wat het ideaal maakt voor realistische, ruige DQC-scenario's.
2. Rigoureuze Foutgrenzen:
   • Ze leiden een bovengrens af voor de trace-norm fout: $\|\rho - \hat{\rho}\|_1 \leq \epsilon$ met een steekproefgrootte van $N = O(2^M r^2 d \log(d) / \epsilon^2)$.
   • Hierin is $M$ het aantal subsystemen (nodes), $d$ de totale dimensie, en $r$ de rang van de toestand.
   • De exponentiële afhankelijkheid van $M$ ($2^M$) weerspiegelt de statistische kosten van het gebruik van lokale metingen in plaats van globale.
3. Gecertificeerde Foutgrenzen voor Verstrengeling: Ze bewijzen dat de fout in het schatten van de Negativiteit (een maat voor verstrengeling) direct begrensd is door de trace-norm fout van de PLS-schatter: $|N(\rho) - N(\hat{\rho})| \leq \epsilon/2$.
4. Validatie via Simulatie: Numerieke simulaties voor systemen van 2 tot 7 qubits bevestigen de theoretische voorspellingen.

Resultaten

• Theoretische Schaling: De analyse toont aan dat globale 2-designs (één groot systeem) de beste nauwkeurigheid bieden ($O(d)$), terwijl volledig lokale Pauli-metingen de slechtste schaling hebben ($O(3^M)$). Het voorgestelde protocol met node-2-designs ligt hier tussenin met een schaling van $O(2^M d)$. Hoewel dit slechter is dan globale metingen, is het superieur aan lokale Pauli-metingen en vermijdt het het gebruik van onbetrouwbare remote entanglement.
• Numerieke Simulaties (Haar-random toestanden):
  • De simulaties tonen aan dat de reconstructiefout toeneemt naarmate het aantal nodes ($M$) toeneemt, in overeenstemming met de theorie.
  • De empirische schaling ($\bar{\epsilon}^2 \propto (2^M)^{0.8}$) is iets gunstiger dan de theoretische bovengrens, wat wijst op de conservatieve aard van de wiskundige bewijzen.
• Simulaties met Ruis (Noisy GHZ-toestanden):
  • In een scenario met een onbetrouwbare remote CNOT-gate (depolariserende ruis), faalt het protocol met globale 2-designs (de fout blijft hoog rond $10^{-2}$).
  • Het node-2-design protocol en lokale Pauli-metingen zijn onafhankelijk van deze remote ruis en halen de theoretische foutgrenzen.
  • Het node-2-design protocol presteert beter dan lokale Pauli-metingen, vooral bij een groter aantal qubits, en biedt de beste schatting van verstrengeling in ruige omgevingen.

Significantie en Conclusie

Dit werk biedt een fundamentele basis voor het benchmarken en certificeren van distribueerde kwantumcomputers, zowel voor de nabije toekomst (NISQ-apparaten) als voor toekomstige fouttolerante systemen.

• Praktische Toepassing: Het protocol stelt onderzoekers in staat om de kwaliteit van verstrengeling tussen nodes te verifiëren zonder dat ze de verbinding zelf hoeven te vertrouwen. Dit is essentieel voor het opschalen van kwantumnetwerken.
• Flexibiliteit: Het aantal subsystemen ($M$) kan worden gezien als een instelbare parameter. Door "circuit knitting" of het verdelen van een fysiek apparaat in virtuele nodes, kan men de balans vinden tussen de complexiteit van de schatting en de hardware-beperkingen.
• Toekomstperspectief: Hoewel de exponentiële schaling met het aantal nodes een uitdaging blijft voor zeer grote netwerken, suggereert het werk dat het gebruik van vertrouwen in lokale verstrengeling (binnen nodes) de meest efficiënte route is voor karakterisering. Het opent ook de deur voor verdere ontwikkelingen in deeltjes-tomografie en het gebruik van a priori informatie (zoals lage rang of zuiverheid) om de steekproefcomplexiteit te verlagen.

Kortom, dit artikel levert een wiskundig onderbouwde, experimenteel haalbare methode om de toestand van distribueerde kwantumcomputers nauwkeurig te reconstrueren, zelfs in aanwezigheid van onbetrouwbare verbindingen tussen de processors.