Almost no experiments have classical Kirkwood-Dirac representations

Technische Samenvatting: "Bijna geen experimenten hebben klassieke Kirkwood-Dirac representaties"

Probleemstelling
Een centrale uitdaging in de kwantuminformatie is het afbakenen van de grens tussen klassieke en kwantumfenomenen. In het raamwerk van quasiwarschijnlijkheid wordt een toestand als "klassiek" beschouwd als deze een representatie toelaat als een positieve waarschijnlijkheidsverdeling. Hoewel de Wigner-functie hierbij een cruciale rol heeft gespeeld, is de Kirkwood-Dirac (KD) distributie opgekomen als een veelzijdige tool voor discrete-variabele kwantuminformatie, met toepassingen in metrologie, zwakke waarden (weak values), thermodynamica en contextualiteit.

De KD-distributie $Q(\rho)$ wordt gedefinieerd ten opzichte van twee willekeurige bases, $\{|a_i\rangle\}$ en $\{|b_j\rangle\}$, geassocieerd met observabelen $A$ en $B$. Een toestand $\rho$ is KD-positief (klassiek) als alle termen van $Q(\rho)$ reëel en niet-negatief zijn. Een kritiek open probleem is de volledige karakterisering van de verzameling van KD-positieve toestanden, aangeduid als $E_{KD+}$. In tegenstelling tot de Wigner-functie, waarbij de verzameling van positieve toestanden bekend is als beperkt tot Gaussische toestanden (voor zuivere toestanden), is de structuur van $E_{KD+}$ voor KD-distributies complex. Het is niet noodzakelijkerwijs een polytoop, en de extreme punten kunnen gemengde toestanden bevatten die geen convexe combinaties zijn van zuivere KD-positieve toestanden (zogeheten "exotische toestanden"). Deze complexiteit maakt het moeilijk om niet-klassieke eigenschappen te identificeren of kwantumcircuits efficiënt te simuleren met behulp van KD-distributies.

Methodologie
De auteurs maken gebruik van een probabilistische geometrische benadering om de verzamelingen van KD-positieve toestanden, KD-reële observabelen en KD-positiviteit-behoudende unitair-transformaties te karakteriseren.

1. Selectie van willekeurige bases: In plaats van specifieke, potentieel pathologische gevallen te analyseren, beschouwen de auteurs twee verzamelingen basisprojectoren, $A = \{|a_i\rangle\langle a_i|\}$ en $B = \{|b_j\rangle\langle b_j|\}$, die willekeurig zijn gekozen volgens de Haar-maat op de unitaire groep $U(d)$.
2. Lineair-algebraïsche formulering: Het probleem wordt gemapt naar de studie van de transitie-matrix $U$ (waarbij $U_{ij} = \langle a_i | b_j \rangle$). De auteurs definiëren een lineaire afbeelding $C_U$ die werkt op de ruimte van reële matrices. Zij demonstreren dat de ruimte van de KD-reële observabelen, $V_{KDr}$, isomorf is aan de kern van deze afbeelding, $\text{Ker}(C_U)$.
3. Dimensionale analyse: De auteurs stellen vast dat het convexe omhulsel van de basisprojectoren, $\text{conv}(A \cup B)$, altijd binnen $E_{KD+}$ valt. De kern van het bewijs bestaat uit het aantonen dat voor bijna alle unitaire matrices $U$ (specifiek die met geen nul-elementen), de dimensie van de ruimte van KD-reële observabelen minimaal is ($2d-1$). Dit impliceert dat er geen "extra" KD-positieve toestanden of observabelen bestaan buiten het convexe omhulsel en de reële span van de basisprojectoren.
4. Maattheorie: Door een specifieke unitaire matrix $U_\star$ te construeren waarvoor de kern-dimensie minimaal is, en door gebruik te maken van het feit dat de determinant van de relevante lineaire afbeelding een niet-nul polynoom is in de matrix-elementen van $U$, roepen de auteurs Proposition 3 aan (een resultaat betreffende de nulfractie van de Haar-maat van de nul-verzamelingen van reële analytische functies) om te bewijzen dat deze minimale structuur met waarschijnlijkheid 1 geldt.

Belangrijkste bijdragen en resultaten
Het artikel presenteert Stelling 1, die stelt dat voor bijna alle keuzes van twee $d$-dimensionale bases (met $d > 2$), de klassieke objecten in het KD-raamwerk minimaal zijn en expliciet gekarakteriseerd worden:

• KD-Positieve Toestanden ($E_{KD+}$): De verzameling van KD-positieve toestanden is exact het convexe omhulsel van de twee bases:
  $$E_{KD+} = \text{conv}(A \cup B)$$
  Deze verzameling is een polytoop van dimensie $2(d-1)$ met exact $2d$ bekende hoekpunten (de projectoren van de twee bases). Er zijn geen "exotische" gemengde extreme toestanden voor bijna alle KD-distributies.
• KD-Reële Observabelen ($V_{KDr}$): Een observabele is KD-reëel dan en slechts dan als deze ligt in de reële vectorruimte gespannen door de twee bases:
  $$V_{KDr} = \text{span}_{\mathbb{R}}(A \cup B)$$
• KD-Positieve Metingen ($M_{KD+}$): Elk meetelement met een positieve KD-representatie moet een lineaire combinatie zijn van de basisprojectoren met niet-negatieve coëfficiënten.
• KD-Positiviteit-behoudende Unitaire Transformaties: De enige unitaire transformaties die KD-positieve toestanden naar KD-positieve toestanden mappen, zijn triviale globale fasen:
  $$T = e^{i\alpha}I, \quad \alpha \in \mathbb{R}$$

Betekenis en Implicaties
De auteurs betogen dat deze resultaten het begrip van klassieke eigenschappen in het KD-raamwerk fundamenteel vereenvoudigen voor "bijna alle" experimentele opstellingen:

1. Robuustheid van Niet-klassieke eigenschappen: Omdat de verzameling van klassieke toestanden een eenvoudige polytoop is met bekende facetten, wordt het construeren van getuigen (witnesses) voor niet-klassieke eigenschappen eenvoudig. Men kan gemakkelijk een ondergrens bepalen voor de afstand van een gegeven toestand tot de klassieke verzameling met behulp van de bekende geometrie van $E_{KD+}$.
2. Contextualiteit: De resultaten verhelderen de condities voor gegeneraliseerde contextualiteit. Aangezien de verzameling van input-toestanden die klassiek (niet-contextueel) gedrag vertonen minimaal en goed gedefinieerd is voor bijna alle observabelen, is de detectie van contextualiteit robuust tegen de specifieke keuze van de bases.
3. Afwezigheid van Exotische Toestanden: Het artikel demonstreert dat "exotische" KD-positieve toestanden (gemengde toestanden die niet gedecomposeerd kunnen worden in KD-positieve zuivere toestanden) zeldzame fenomenen zijn, die alleen bestaan in op maat gemaakte, niet-generieke KD-distributies (bijv. specifieke spin-1 of multi-qubit systemen).
4. Klassieke Simulatie: De resultaten impliceren ernstige beperkingen op de efficiëntie van klassieke simulaties van kwantumcircuits met behulp van KD-distributies. Aangezien de enige KD-positieve circuits bestaan uit initialisatie in $\text{conv}(A \cup B)$ gevolgd door directe meting in $M_{KD+}$, zullen bijna alle niet-triviale kwantumcircuits KD-niet-positiviteit vertonen, wat ze moeilijk maakt om klassiek te simuleren via Monte Carlo-samplingmethoden die steunen op positieve quasiwarschijnlijkheden.

Concluderend stelt het artikel vast dat de complexiteit die vaak met KD-distributies wordt geassocieerd, de uitzondering is en niet de regel. Voor het overgrote deel van de experimentele configuraties is de klassiek-kwantum grens scherp, eenvoudig en volledig gekarakteriseerd door de convexe geometrie van de meetbases.