Optimal randomized measurements for a family of non-linear quantum properties

Titel: Optimal Randomized Measurements for a Family of Non-linear Quantum Properties

Auteurs: Zhenyu Du, Yifan Tang, Andreas Elben, Ingo Roth, Jens Eisert, en Zhenhuan Liu.

---

1. Probleemstelling

Het schatten van niet-lineaire eigenschappen van kwantumtoestanden, zoals de zuiverheid ($\text{Tr}(\rho^2)$) en niet-lineaire verwachtingswaarden ($\text{Tr}(O\rho^2)$), is fundamenteel uitdagend vanwege de inherente lineariteit van de kwantummechanica.

• Huidige beperkingen: Bestaande protocollen voor lineaire schatting ($\text{Tr}(O\rho)$) zijn optimaal, maar generalisatie naar niet-lineaire functies is lastig.
• Classical Shadows (CS): De huidige standaardmethode, "Classical Shadows", vereist voor het schatten van $\text{Tr}(O\rho^2)$ een steekproefgrootte (sample complexity) van $O(d)$, waarbij $d$ de dimensie van de Hilbertruimte is. Dit is suboptimaal.
• Theoretische ondergrens: Voor veel fysiek relevante observabelen (zoals Pauli-observabelen en lokale observabelen) is bewezen dat de theoretische ondergrens voor de steekproefgrootte $O(\sqrt{d})$ is. Er bestond echter geen enkel-kopie protocol dat deze ondergrens kon bereiken voor een brede klasse van observabelen zonder kwantumm geheugen of complexe coherente controles.

2. Methodologie

De auteurs introduceren twee nieuwe protocollen die de kloof tussen theorie en praktijk dichten:

A. Observable-Driven Randomized Measurement (ORM)

Dit is het hoofdprotocol voor het schatten van $\text{Tr}(O\rho^2)$ voor een willekeurige observabele $O$.

• Kernidee: In plaats van onafhankelijke willekeurige metingen te gebruiken (zoals bij Classical Shadows), wordt de meting "gestuurd" door de structuur van de doelobservabele $O$.
• Decompositie: De observabele $O$ wordt ontbonden in een som van dichotomische observabelen (eigenwaarden +1 en -1).
• Blokgewijze Unitaries: Voor elke dichotomische component wordt de toestand $\rho$ rotatie naar de eigenbasis van de observabele. Vervolgens worden er blokgewijze willekeurige unitaire evoluties ($U = \tilde{U}_+ \oplus \tilde{U}_-$) toegepast. Deze unitaries werken onafhankelijk op de deelruimten die corresponderen met de eigenwaarden van $O$.
• Post-processing: De meetresultaten worden geclassificeerd op basis van de eigenruimte. De zuiverheid binnen elke deelruimte wordt geschat en vervolgens afgetrokken om $\text{Tr}(O\rho^2)$ te verkrijgen.
• Efficiënte Implementatie: Voor Pauli-observabelen wordt het protocol vereenvoudigd door Clifford-circuits en middencircuit-metingen te gebruiken, waardoor de diepte van het circuit beperkt blijft.

B. Braiding Randomized Measurement (BRM)

Dit protocol is specifiek ontworpen voor laag-rang (low-rank) observabelen (bijv. stabilisator-toestanden).

• Hybride Aanpak: BRM combineert de data-verwerving van Randomized Measurements (RM) met de post-processing-ideeën van Classical Shadows.
• Virtuele Permutatie: In plaats van blokgewijze unitaries, gebruikt BRM globale willekeurige unitaries. De post-processing fungeert als een "virtuele" implementatie van een derde-orde permutatie-operator, waarbij één kopie van de toestand $\rho$ wordt vervangen door de observabele $O$ in de schatter.
• Voordeel: Dit elimineert de noodzaak om de observabele te diagonaliseren of blokgewijze unitaries te implementeren, wat de experimentele complexiteit verlaagt.

3. Belangrijkste Bijdragen en Resultaten

• Optimaliteit bewezen: Het ORM-protocol bereikt een steekproefgrootte van $O(\sqrt{d})$ voor observabelen met een grote spoor-norm (trace-norm), waaronder alle Pauli-observabelen en lokale Hamiltonians. Dit sluit de theoretische kloof en bewijst optimaliteit binnen het regime van enkel-kopie metingen.
• Vergelijking met Classical Shadows:
  • Steekproefgrootte: ORM is kwadratisch efficiënter dan Classical Shadows ($O(\sqrt{d})$ vs $O(d)$).
  • Meetbases: ORM vereist een constant aantal meetbases ($O(1)$), ongeacht de systeemgrootte, terwijl Classical Shadows $O(\sqrt{d})$ verschillende meetbases nodig heeft. Dit is cruciaal voor experimentele platforms waar het veranderen van de meetbasis tijdrovend is.
  • Post-processing: ORM heeft een eenvoudigere post-processing die niet afhankelijk is van de specifieke gerealiseerde unitaire transformatie (alleen de bitstrings worden vergeleken), wat kalibratievereisten verlaagt.
• Numerieke Validatie: Simulaties op een 6-qubit systeem (Heisenberg XX-model) tonen aan dat ORM aanzienlijk minder toestandskopieën nodig heeft dan Classical Shadows om dezelfde precisie te bereiken bij het schatten van $\text{Tr}(Z_1 Z_2 \rho^2)$.
• Toepassingen:
  • Virtuele Koeling: Het protocol kan gebruikt worden om de verwachtingswaarde van een toestand bij een lagere temperatuur te schatten ($\rho^2 \propto e^{-2\beta H}$), wat effectief ruis onderdrukt.
  • Fase-overgangen: Het maakt het detecteren van mengtoestands-fase-overgangen mogelijk die niet zichtbaar zijn met lineaire correlatoren.
  • Entropie: Schatting van Petz-Rényi relatieve entropie.

4. Significatie

Dit werk is een doorbraak in het veld van kwantumleren en karakterisering van kwantumtoestanden:

1. Oplossing voor een open vraag: Het beantwoordt de vraag hoe men $\text{Tr}(O\rho^2)$ optimaal kan schatten met enkel-kopie operaties, iets wat eerder als een open theoretisch probleem gold.
2. Praktische haalbaarheid: Door het gebruik van Clifford-circuits en lokale unitaries maakt het protocol de schatting van niet-lineaire eigenschappen haalbaar op huidige en nabije-toekomstige kwantumhardware (NISQ), zonder de noodzaak voor kwantumm geheugen.
3. Unificatie: Het introduceert een raamwerk dat de voordelen van Randomized Measurements (optimale steekproefgrootte) en Classical Shadows (flexibiliteit) combineert, vooral via het BRM-protocol voor laag-rang observabelen.

Kortom, de auteurs bieden een schaalbaar, optimaal en experimenteel haalbaar protocol om complexe niet-lineaire kwantumeigenschappen te meten, wat essentieel is voor foutmitigatie, thermodynamische simulaties en het bestuderen van kwantummaterie in gemengde toestanden.