Experimental Demonstration of Commutation Relations Using Intensity Correlations

技術要約：強度相関を用いた交換関係の実証実験

問題提起
標準的な交換関係は量子論の基礎的な要素であり、ハイゼンベルクの不確定性原理の根拠となるものである。不確定性関係は様々な物理系において厳密に検証されてきたが、交換関係そのものの直接的な実験的検証は依然として困難な課題であった。この困難さは、非可換な観測量が同時確率分布を持たず、その積が一般にエルミートではないために、単純な測定が不可能であることに起因する。これまでの実験的実証は、主に有限次元の量子ビット系に限定されていたか、あるいは光子の逐次的な付加および除去といった、連続変数領域における間接的な手法に依存していた。

手法
著者らは、2つの異なる強度相関関数、すなわち相互相関（cross-correlation）と自己相関（auto-correlation）を定量的に比較することにより、場演算子の交換子の期待値を抽出する方法を提案し、実証した。

1. 理論的枠組み:

   • 相互相関 ($g^{(2)}_{cross}$): 標準的なハンブリー・ブラウン・トゥウェイト（HBT）セットアップを用い、光学場を50:50ビームスプリッターで分割し、2つの独立した検出器で検出する。この測定により、正規順序化された相関関数が得られる：$g^{(2)}_{cross}(\tau) \propto \langle \hat{a}^\dagger(t) \hat{a}^\dagger(t+\tau) \hat{a}(t) \hat{a}(t+\tau) \rangle$。
   • 自己相関 ($g^{(2)}_{auto}$): 単一の検出器による時間分解検出記録（または2つのストリームの結合）を記録し、信号をそれ自身と相関させることで得られる。これは次のように表される：$g^{(2)}_{auto}(\tau) \propto \langle \hat{a}^\dagger(t) \hat{a}(t) \hat{a}^\dagger(t+\tau) \hat{a}(t+\tau) \rangle$。
   • 交換子の関連性: 理論的解析によれば、純粋量子状態において、これら2つの関数のゼロ時間遅延（$\tau=0$）における差は、ボゾン交換子 $[\hat{a}, \hat{a}^\dagger]$ の期待値に直接比例する。具体的には、$g^{(2)}_{auto}(0) - g^{(2)}_{cross}(0) = \langle [\hat{a}, \hat{a}^\dagger] \rangle / \langle \hat{a}^\dagger \hat{a} \rangle$ である。自己相関におけるゼロ遅延ピークは、しばしばアーティファクト（偽像）と見なされるが、場演算子の非可換性の直接的な実験的現れであると同定される。

2. 実験の実装:
   著者らは、以下の2つの異なる光源を用いてこの枠組みを検証した。

   • 単一光子源: 深い放物面鏡の焦点にトラップされた単一の $^{174}\text{Yb}^+$ イオン。イオンは369.5 nmのレーザーによって駆動され、放出された蛍光はビームスプリッターによって分割され、2つの光電子増倍管（PMT）によって検出された。検出効率は、状態感受性法を用いて厳密に特性評価された（$\eta \approx 4.61\%$）。
   • コヒーレント光源: 周波数および出力が安定化された369.5 nmのレーザー（線幅 $\approx 10$ Hz）を、イオントラップ装置に散乱させて検出路に入れた。
   • データ処理: タイムタグ付き検出イベントを記録した。$g^{(2)}_{cross}$ のために2つの検出器からのストリームを相関させ、$g^{(2)}_{auto}$ のためにストリームを結合してそれ自身と相関させた。光学損失、検出器のデッドタイム、および有限の測定時間窓に対する補正が適用された。

主な結果

• 単一光子状態: 実験により、$g^{(2)}_{auto}(0) = 714.93 \pm 0.19$ および $g^{(2)}_{cross}(0) = 0.016 \pm 0.002$ が得られた。測定された平均光子数および検出効率を用いることで、抽出された交換子の期待値は $\langle [\hat{a}, \hat{a}^\dagger] \rangle = 1.01 \pm 0.04$ であり、理論値である1と一致した。
• コヒーレント状態: レーザー光源については、$g^{(2)}_{auto}(0) = 841.68 \pm 0.24$ （$1 + 1/\langle N \rangle$ と一致）および $g^{(2)}_{cross}(0) = 0.97 \pm 0.02$ であった。計算された交換子の期待値は $\langle [\hat{a}, \hat{a}^\dagger] \rangle = 1.00 \pm 0.02$ であり、再び量子論と定量的に一致した。
• 時間挙動: $\tau \neq 0$ において、自己相関関数と相互相関関数は同一であることが判明し、場演算子が異なる時刻において可換であること、すなわち $[\hat{a}(t), \hat{a}^\dagger(t')] = \delta(t-t')$ であることが確認された。

意義および主張
本論文は、強度相関測定に基づく、光学場演算子のボゾン交換関係の最初の直接的な実験的実証を提供すると主張している。著者らは、自己相関と相互相関の区別は単なる技術的な問題ではなく、演算子の非可換性の根本的な帰結を反映していることを強調している。

著者らが強調する主な貢献は以下の通りである：

1. 直接的なアクセス: 逐次操作や有限次元の量子ビット系を必要とせず、強度相関を通じて交換関係を決定する枠組みを確立した。
2. 普遍性: この手法は、統計が古典的（コヒーレント）であれ量子論的（単一光子）であれ、任意の光学場に適用可能である。
3. アーティファクトの再解釈: ゼロ遅延の自己相関ピークを、技術的なアーティファクトから、ボゾン交換関係の直接的な実験的現れへと再定義した。
4. 実験的堅牢性: 標準的な強度相関技術（HBTおよび自己相関）を用いて、この基本的な量子特性が検証可能であることを示した。これは、典型的な光学実験室でもアクセス可能な手法である。

著者らは、これらの相関関数の差には、しばしば見落とされがちな基礎的な情報が含まれており、量子場の演算子の非可換性を検証するための堅牢かつアクセシブルな手法を提供すると結論付けている。