Theory of direct measurement of the quantum pseudo-distribution via its characteristic function

Technische Samenvatting: Theorie van de directe meting van de kwantum-pseudo-distributie via haar karakteristieke functie

Probleemstelling
In de kwantummechanica verhindert de niet-commutatie van observabelen een eenduidige gezamenlijke toewijzing van hun eigenschappen, waardoor een standaard gezamenlijke waarschijnlijkheidsverdeling onmogelijk is. Hoewel diverse pseudo-distributies (bijv. Wigner, Husimi, Glauber-Sudarshan) bestaan om kwantumtoestanden te representeren, kampt het vakgebied met een gebrek aan uniciteit: het is onduidelijk welke pseudo-distributie de "juiste" is voor een gegeven experiment, en veel bestaande methoden voor het meten van deze distributies vertrouwen op het scannen van zwakke metingen over alle eigenprojectoren, wat zeer resource-intensief is. Bovendien wordt de verbinding tussen deze distributies en niet-klassieke verschijnselen (zoals contextualiteit) bemoeilijkt door het oneindige aantal mogelijke representaties. De auteurs adresseren de noodzaak voor een theorie-agnostische methode om een unieke pseudo-distributie direct te reconstrueren uit experimentele data zonder a priori aannames over de vorm ervan.

Methodologie
Het artikel stelt een raamwerk voor gebaseerd op drie opeenvolgende temporele gebeurtenissen: de preparatie van een initiële toestand $|\psi\rangle$, een niet-invasieve (zwakke) meting van de momenten van een observabele $\hat{A}$, en een uiteindelijke projectieve meting in een basis $\{|b_j\rangle\}$.

1. Discrete Variabele Benadering: Voor een Hilbertruimte van dimensie $d$ analyseren de auteurs de conditionele verwachtingswaarden van de machten van een observabele, $\langle \hat{A}^n \rangle_{\psi}^{b_j}$, voor $n = 0, \dots, d-1$. Zij formuleren een matrixvergelijking $\vec{A} = V \cdot \vec{Q}$, waarbij $\vec{A}$ de gemeten geconditioneerde momenten bevat, $\vec{Q}$ de onbekende conditionele pseudo-distributie representeert, en $V$ een Vandermonde-matrix is geconstrueerd uit de eigenwaarden van $\hat{A}$. Door $V$ te inverteren, wordt de pseudo-distributie uniek bepaald.
2. Karakteristieke Functie Benadering: De auteurs breiden dit uit naar continue variabelen en gezamenlijke distributies door gebruik te maken van de karakteristieke functie. Zij definiëren een zwakke karakteristieke functie $Z(\chi) = \langle e^{i\chi \hat{O}} \rangle_{\psi}^{\phi}$, die direct gemeten kan worden via een enkele experimentele opstelling met een instelbare parameter, in plaats van het meten van een oneindig aantal momenten. De pseudo-distributie wordt vervolgens hersteld via een inverse Fourier-transformatie van deze karakteristieke functie.
3. Gezamenlijke en Omgekeerde Metingen: De methode wordt gegeneraliseerd naar twee niet-commuterende observabelen ($\hat{A}$ en $\hat{B}$) door een gezamenlijke karakteristieke functie $Z(\lambda, \chi) = \langle e^{i\lambda \hat{A}} e^{i\chi \hat{B}} \rangle$ te construeren. De auteurs stellen twee experimentele configuraties voor: één waarbij positie gevolgd wordt door impuls, en een andere waarbij de volgorde wordt omgedraaid (impuls gevolgd door positie).

Belangrijkste Resultaten

• Uniciteit van de Kirkwood-Dirac Distributie: Het artikel demonstreert dat indien men vereist dat de kwantum-conditionele verwachtingswaarden dezelfde statistische structuur voldoen als klassieke conditionele verwachtingswaarden (d.w.z. $\langle \hat{A}^n \rangle = \sum a_i^n Q_{i|j}$), de resulterende pseudo-distributie uniek geïdentificeerd wordt als de Kirkwood-Dirac (KD) distributie.
• Direct Meetprotocol: De auteurs bieden een constructieve methode om de KD-distributie direct te meten. In het discrete geval behelst dit het inverteren van een Vandermonde-matrix afgeleid van momentmetingen. In het continue geval behelst dit het meten van de karakteristieke functie (de verwachtingswaarde van een exponentiële operator) en het uitvoeren van een inverse Fourier-transformatie.
• Verificatie van Canonieke Commutatie: Door de gezamenlijke pseudo-distributies verkregen uit de $x \to p$ en $p \to x$ meetsequenties te vergelijken, tonen de auteurs aan dat het verschil in hun correlatiefuncties de canonieke commutatierelatie $[\hat{x}, \hat{p}] = i\hbar$ oplevert. Dit biedt een directe experimentele probe voor de commutatierelatie voor elke kwantumtoestand.
• Verbinding met Zwakke Waarden: De conditionele pseudo-distributie wordt getoond gelijk te zijn aan de zwakke waarde van de projector op de eigentoestanden van de gemeten observabele.

Betekenis en Claims
Het artikel claimt een theorie te hebben vastgesteld voor een karakteristieke functie-benadering van pseudo-distributies die een "theorie-agnostische" reconstructie van de representatie van de kwantumtoestand biedt.

• Theoretische Unificatie: Het lost de ambiguïteit op over welke pseudo-distributie gebruikt moet worden door aan te tonen dat de KD-distributie de unieke oplossing is die de klassieke statistische vorm van conditionele verwachtingswaarden behoudt in het kwantumregime.
• Experimentele Efficiëntie: De voorgestelde methode wordt gepresenteerd als efficiënter dan voorheen gebruikte technieken die het scannen van zwakke metingen over alle eigenprojectoren vereisten. Het "alles-in-één" karakter van de meting van de karakteristieke functie codeert globale eigenschappen van de toestand.
• Fundamentele Verificatie: Het werk biedt een directe, operationele instructie voor het verifiëren van de canonieke commutatierelatie, waarbij de complexe aard van de KD-distributie direct wordt gekoppeld aan de fundamentele niet-commutativiteit van de kwantummechanica.
• Potentieel voor Tomografie: De auteurs suggereren dat deze benadering een meer resource-efficiënte methode kan bieden voor kwantumtoestandstomografie in systemen met continue variabelen vergeleken met inverse Radon-transformaties of maximum-likelihood technieken, met name voor niet-Gaussische toestanden.

Het artikel concludeert door op te merken dat onafhankelijk werk over gerelateerde onderwerpen is uitgevoerd, en positioneert de KD-distributie als de natuurlijke pseudo-distributie voor experimenten waar conditionele verwachtingswaarden samenvallen met klassieke voorspellers.