Operational detection of Wigner negativity in arbitrary quantum states from few copies

Technische Samenvatting: Operationele Detectie van Wigner-negativiteit in Willekeurige Kwantumtoestanden vanuit Enkele Kopieën

Probleemstelling
Continue-variabele (CV) kwantumsystemen, met name optische platformen, vertrouwen op faseruimte-quasi-waarschijnlijkheidsverdelingen voor de beschrijving van toestanden. De Wigner-functie staat centraal in dit kader en dient als een volledige representatie van kwantumtoestanden. De Wigner-functie kan echter negatieve waarden aannemen, in tegen tegenstelling tot klassieke waarschijnlijkheidsverdelingen. Deze "Wigner-negativiteit" is een fundamentele niet-klassieke bron, gekoppeld aan het doorbreken van efficiënte klassieke simulatie (via het Gottesman-Knill-theorema) en essentieel voor kwantumcomputationeel voordeel, foutcorrectie en staat-distillatie.

Bestaande methoden voor het detecteren en kwantificeren van Wigner-negativiteit vertrouwen primair op volledige kwantumtoestandstoemografie om de Wigner-functie te reconstrueren. Deze procedures zijn experimenteel veeleisend, aangezien het aantal vereiste toestands-kopieën snel schaalt met de systeemgrootte, wat ze onpraktisch maakt voor grootschalige of willekeurige kwantumtoestanden. Er is een kritieke behoefte aan methoden die Wigner-negativiteit kunnen detecteren en kwantificeren met slechts een bescheiden aantal toestands-kopieën, zonder dat volledige faseruimte-reconstructie vereist is.

Methodologie
De auteurs ontwikkelen een verenigd kader gebaseerd op de momenten van de Wigner-functie. Het $m$-de orde Wigner-moment wordt gedefinieerd als de integraal van de $m$-de macht van de Wigner-functie over de faseruimte:
$$w_m := \int_{\mathbb{R}^{2N}} W^m d^N x d^N p$$
Het kerninzicht is dat als een Wigner-functie overal niet-negatief is (een positieve maat), deze momenten specifieke wiskundige beperkingen moeten voldoen. Schendingen van deze beperkingen dienen als getuigen (witnesses) voor Wigner-negativiteit.

De paper leidt drie complementaire hiërarchieën van detectiecriteria af op basis van deze beperkingen:

1. $L_p$-norm Hiërarchie (LP): Afgeleid van fundamentele $L_p$-norm ongelijkheden voor positieve maten, wat leidt tot condities van de vorm $(w_n)^{n-2} - (w_{n-1})^{n-1} \geq 0$.
2. Log-convexiteit (LC) Hiërarchie: Gebaseerd op de log-convexiteit van de momentenreeks voor positieve maten, wat leidt tot condities van de vorm $w_{n-1}w_{n+1} - w_n^2 \geq 0$.
3. Hankel-Matrix Positiviteits Hiërarchie: Een sterkere benadering die gebruikmaakt van de positiviteit van Hankel-matrices geconstrueerd uit de momentenreeks: voor een positieve Wigner-functie moet de matrix $H_n(w)$ met elementen $[H_n(w)]_{ij} = w_{i+j+1}$ positief semidefinitief zijn voor alle $n$. Deze hiërarchie wordt getoond als monotoon, waarbij hogere-orde matrices strikt sterkere detectiecriteria bieden dan lagere-orde matrices.

Om de operationele haalbaarheid van het meten van deze momenten aan te pakken, stellen de auteurs een exacte multi-kopie representatie vast. Ze bewijzen dat elk $n$-de Wigner-moment kan worden uitgedrukt als de verwachtingswaarde van een universele observeerbare werkend op $n$ identieke kopieën van de toestand:
$$w_n = \text{Tr}\left[\rho^{\otimes n} A_n\right]$$
waarbij $A_n$ een Hermitische operator is die een collectieve interferometrische transformatie volgt, gevolgd door een gezamenlijke pariteitsmeting op de relatieve vrijheidsgraden. Dit maakt het mogelijk om momenten direct te schatten via gerandomiseerde metingen (classical shadows) zonder volledige toestandreconstructie.

Belangrijkste Bijdragen en Resultaten

• Detectiehiërarchieën: De paper presenteert drie families van criteria voor het detecteren van Wigner-negativiteit. Numerieke simulaties op gemengde Fock-toestanden en ruizige kat-toestanden demonstreren dat de Hankel-matrix hiërarchie een systematische en monotone verbetering biedt in detectievermogen, waarbij de volledige niet-klassieke regio effectiever wordt gevangen dan de $L_p$-norm of log-convexiteit criteria, die niet noodzakelijkerwijs verbeteren met hogere orden.
• Kwantificering: Naast binaire detectie biedt het kader gecertificeerde ondergrenzen op de logaritmische Wigner-negativiteit maat, $L(W) = \log \int |W| d\mu$. De auteurs definiëren een familie van moment-gebaseerde grootheden $L_r(W)$ die fungeren als ondergrenzen. Ze identificeren $L_4(W)$, die alleen afhangt van de tweede en vierde momenten, als de optimale experimenteel toegankelijke kwantificator die de strakste ondergrens biedt.
• Operationele Schatting: De afleiding van de exacte multi-kopie representatie (Theorem 5) koppelt abstracte faseruimte-momenten aan fysieke observeerbaren. Specifiek is $w_n$ de verwachtingswaarde van een pariteits-gebaseerde observeerbare werkend op $n$ kopieën na een orthogonale transformatie die collectieve en relatieve coördinaten scheidt.
• Efficiëntie via Classical Shadows: De auteurs demonstreren door numerieke simulaties dat zowel de detectie-getuige ($\Gamma_3$) als de kwantificator ($L_4$) efficiënt kunnen worden teruggewonnen met classical-shadow protocollen met een bescheiden aantal toestand-kopieën (bijv. 500 shadows), wat de resource-overhead aanzienlijk vermindert vergeleken met volledige tomografie.
• Extensie naar Verstrengeling: Het kader wordt uitgebreid om kwantumverstrengeling te detecteren. Door de moment-hiërarchieën toe te passen op gereduceerde of collectieve Wigner-functies (bijv. door relatieve modi uit te laten, de trace-operatie), dienen de criteria als getuigen voor bipartiete NPT-verstrengeling en genuïne multipartiete verstrengeling (GME).

Betekenis en Claims
De paper claimt Wigner-momenten te hebben gevestigd als een veelzijdige tool voor de schaalbare detectie en kwantificering van niet-klassieke bronnen in CV-systemen. De betekenis ligt in:

1. Schaalbaarheid: Het vermogen om Wigner-negativiteit te detecteren en te kwantificeren vanuit een klein aantal toestand-kopieën zonder voorkennis van de toestand of volledige faseruimte-tomografie.
2. Operationele Interpretatie: Het bieden van een directe fysieke interpretatie van Wigner-momenten als meetbare multi-kopie pariteits-verwachtingswaarden, waardoor de kloof tussen abstracte faseruimte-eigenschappen en experimentele observeerbaren wordt overbrugd.
3. Verenigd Kader: Het aanbieden van een systematische hiërarchie van criteria waarbij experimenteelaren kunnen afwegen tussen de meetkosten (aantal kopieën/momenten) en het detectievermogen, waarbij de Hankel-hiërarchie de meest robuuste detectie biedt.
4. Resource Identificatie: Het demonstreren dat hetzelfde moment-gebaseerde kader kan worden verhoogd naar het detecteren van verstrengeling, waardoor de detectie van niet-klassieke eigenschappen en kwantumcorrelaties wordt verenigd.

De auteurs concluderen dat hoewel de $L_p$ en log-convexiteit hiërarchieën eenvoudige getuigen bieden, de Hankel-hiërarchie een progressief sterkere test vormt, met name voor gemengde toestanden. Het kader biedt een praktische route voor het certificeren van niet-klassieke bronnen in continue-variabele kwantumsystemen met behulp van gerandomiseerde metingen.