Experimental Demonstration of Commutation Relations Using Intensity Correlations

Technische Samenvatting: Experimentele Demonstratie van Commutatierelaties met behulp van Intensiteitscorrelaties

Probleemstelling
De canonieke commutatierelatie is een fundamenteel element van de kwantumtheorie en vormt de basis voor de onzekerheidsrelatie van Heisenberg. Hoewel onzekerheidsrelaties rigoureus zijn getest in diverse fysieke systemen, is directe experimentele verificatie van de onderliggende commutatierelatie zelf ongrijpend gebleven. Deze moeilijkheid komt voort uit het feit dat niet-commuterende grootheden geen gezamenlijke waarschijnlijkheidsverdeling bezitten, en hun product over het algemeen niet-Hermitisch is, wat directe meting verhindert. Eerdere experimentele demonstraties waren grotendeels beperkt tot einddimensionale qubit-systemen of vertrouwden op indirecte methoden in het continu-variabele domein, zoals opeenvolgende foton-additie en -subtractie.

Methodologie
De auteurs stellen een methode voor en demonstreren een methode om de verwachtingswaarde van de veldoperator-commutator te extraheren door twee verschillende intensiteitscorrelatiefuncties kwantitatief te vergelijken: cross-correlatie en auto-correlatie.

1. Theoretisch Kader:

   • Cross-correlatie ($g^{(2)}_{cross}$): Gebruikmakend van een standaard Hanbury Brown en Twiss (HBT) opstelling, waarbij een optisch veld wordt gesplitst door een 50:50 beam splitter en wordt gedetecteerd door twee onafhankelijke detectoren. Deze meting levert een normaal geordende correlatiefunctie op: $g^{(2)}_{cross}(\tau) \propto \langle \hat{a}^\dagger(t) \hat{a}^\dagger(t+\tau) \hat{a}(t) \hat{a}(t+\tau) \rangle$.
   • Auto-correlatie ($g^{(2)}_{auto}$): Verkregen door een tijdsopgelost detectierecord van een enkele detector te registreren (of twee stromen samen te voegen) en het signaal met zichzelf te correleren. Dit levert: $g^{(2)}_{auto}(\tau) \propto \langle \hat{a}^\dagger(t) \hat{a}(t) \hat{a}^\dagger(t+\tau) \hat{a}(t+\tau) \rangle$.
   • De Commutator-connectie: Theoretische analyse toont aan dat voor een zuivere kwantumtoestand het verschil tussen deze functies bij een tijdvertraging van nul ($\tau=0$) direct evenredig is met de verwachtingswaarde van de bosonische commutator $[\hat{a}, \hat{a}^\dagger]$. Specifiek geldt: $g^{(2)}_{auto}(0) - g^{(2)}_{cross}(0) = \langle [\hat{a}, \hat{a}^\dagger] \rangle / \langle \hat{a}^\dagger \hat{a} \rangle$. De piek bij nul-vertraging in de auto-correlatie, die vaak als een artefact wordt beschouwd, wordt geïdentificeerd als de directe experimentele manifestatie van de niet-commutativiteit van veldoperatoren.

2. Experimentele Implementatie:
   De auteurs valideerden dit kader met behulp van twee verschillende lichtbronnen:

   • Single-Photon Bron: Een enkel $^{174}\text{Yb}^+$ ion gevangen in het focuspunt van een diepe parabolische spiegel. Het ion werd aangedreven door een 369,5 nm laser, en de uitgezonden fluorescentie werd verzameld, gesplitst door een beam splitter en gedetecteerd door twee fotomultiplicatiebuizen (PMT's). De detectie-efficiëntie werd rigoureus gekarakteriseerd via een staat-gevoelige methode ($\eta \approx 4,61\%$).
   • Coherente Bron: Een frequentie- en vermogensgestabiliseerde 369,5 nm laser (lijnbreedte $\approx 10$ Hz) die wegverstrooid werd van de ion-trap assemblage in het detectiepad.
   • Gegevensverwerking: Tijd-getagde detectiegebeurtenissen werden geregistreerd. Voor $g^{(2)}_{cross}$ werden de stromen van de twee detectoren gecorreleerd. Voor $g^{(2)}_{auto}$ werden de stromen samengevoegd en met zichzelf gecorreleerd. Correcties werden toegepast voor optische verliezen, detector dode tijden en eindige meettijdvensters.

Belangrijkste Resultaten

• Single-Photon Toestand: Het experiment leverde $g^{(2)}_{auto}(0) = 714,93 \pm 0,19$ en $g^{(2)}_{cross}(0) = 0,016 \pm 0,002$ op. Gebruikmakend van het gemeten gemiddelde aantal fotonen en de detectie-efficiëntie, werd de geëxtraheerde commutator verwachtingswaarde bepaald als $\langle [\hat{a}, \hat{a}^\dagger] \rangle = 1,01 \pm 0,04$, wat consistent is met de theoretische waarde van eenheid.
• Coherente Toestand: Voor de laserbron was $g^{(2)}_{auto}(0) = 841,68 \pm 0,24$ (consistent met $1 + 1/\langle N \rangle$) en $g^{(2)}_{cross}(0) = 0,97 \pm 0,02$. De berekende commutator verwachtingswaarde was $\langle [\hat{a}, \hat{a}^\dagger] \rangle = 1,00 \pm 0,02$, wederom in kwantitatieve overeenstemming met de kwantumtheorie.
• Temporeel Gedrag: Voor $\tau \neq 0$ bleken de auto- en cross-correlatiefuncties identiek te zijn, wat bevestigt dat veldoperatoren op verschillende tijdstippen commutanteren, d.w.z. $[\hat{a}(t), \hat{a}^\dagger(t')] = \delta(t-t')$.

Betekenis en Claims
Het artikel claimt de eerste directe experimentele demonstratie te bieden van de bosonische commutatierelatie voor optische veldoperatoren gebaseerd op intensiteitscorrelatiemetingen. De auteurs benadrukken dat het onderscheid tussen auto- en cross-correlatie niet louter technisch is, maar een fundamenteel gevolg is van de niet-commutativiteit van operatoren.

De belangrijkste bijdragen die door de auteurs worden belicht, zijn:

1. Directe Toegang: Het vestigen van een kader om commutatierelaties te bepalen via intensiteitscorrelaties zonder dat opeenvolgende operaties of einddimensionale qubit-systemen vereist zijn.
2. Universaliteit: De methode is toepasbaar op willekeurige optische velden en werkt onafhankelijk van of de statistieken klassiek (coherent) of kwantum (single-photon) zijn.
3. Herinterpretatie van Artefacten: Het herformuleren van de zero-delay auto-correlatie piek van een technisch artefact naar een directe experimentele manifestatie van de bosonische commutatierelatie.
4. Experimentele Robuustheid: Het aantonen dat deze fundamentele kwantumeigenschap kan worden geverifieerd met standaard intensiteits-correlatietechnieken (HBT en auto-correlatie) die toegankelijk zijn in typische optische laboratoria.

De auteurs concluderen dat het verschil tussen deze correlatiefuncties bij nul-vertraging fundamentele informatie bevat die vaak over het hoofd wordt gezien, en een robuuste en toegankelijke methode biedt om de niet-commutativiteit van kwantum veldoperatoren te verifiëren.