A Complex-Quaternionic Riemann–Silberstein Formalism for Single-Photon Electromagnetic Wave Packets

技術要約：単一光子電磁波パケットのための複素四元数リーマン・シルバーシュタイン形式論

問題提起
標準的な量子光学において、単一光子は、横波モードに展開された電場（$\mathbf{E}$）および磁場（$\mathbf{B}$）の演算子として個別に記述される、量子化された電磁場の基本励起として扱われる。この定式化は運用上は成功しているものの、自由空間放射に固有の、電場、磁場、および伝搬方向の間の厳格な幾何学的関係をしばずには隠蔽してしまう。また、場演算子から「光子波動関数」または波パケット振幅への移行は、特に、一光子フォック状態を古典場として扱うか、あるいは遷移振幅として扱うかという点において、しばしば曖昧である。著者らは、標準的な量子電磁力学（QED）を新しい四元数量子論に置き換えるのではなく、横波成分、直交性、およびヘリシティを明示的に符号化し、横波の電場成分と磁場成分を単一の構造へと統合する、コンパクトで代数的に透明な形式論の開発を目指している。

手法
本論文は、複素化された四元数（ビクアタニオン／複素四元数）を利用した定理に基づくアプローチを採用し、リーマン・シルバーシュタイン（RS）ベクトル表現と標準的なQEDを統一する。

1. 代数的枠組み: 著者らは、空間基底単位 $\mathbf{e}_1, \mathbf{e}_2, \mathbf{e}_3$ がハミルトンの関係を満たす複素四元数代数を定義する。決定的なのは、二つの純四元数の積 $\mathbf{a}\mathbf{b}$ が $\mathbf{a}\mathbf{b} = -\mathbf{a}\cdot\mathbf{b} + \mathbf{a}\times\mathbf{b}$ と定義されている点である。この単一の代数演算は、直交制約を司る内積と、電場から磁場を生成する外積を同時に符号化している。
2. 場の定義: 電場と磁場は、ヘリシティごとに分解されたビクアタニオン場 $\mathcal{F}_\eta$ に結合される（ここで $\eta = \pm 1$ はヘリシティを表す）：
   $$\mathcal{F}_\eta(\mathbf{r}, t) = \sqrt{\frac{\varepsilon_0}{2}} [\mathbf{E}(\mathbf{r}, t) + \eta i c \mathbf{B}(\mathbf{r}, t)]$$
3. マクスウェル方程式: 源のないマクスウェル方程式は、単一の一次の四元数微分方程式に等価であることが示される：
   $$\left(\nabla_\mathbb{H} - \frac{\eta i}{c}\partial_t\right) \mathcal{F}_\eta(\mathbf{r}, t) = 0$$
   ここで $\nabla_\mathbb{H}$ は四元数勾配演算子である。
4. 量子化: 本形式論は、正周波数ビクアタニオン場演算子 $\hat{\mathcal{F}}_\eta^{(+)}$ を定義することによってQEDへと移行する。単一光子波パケット振幅は、古典的な平均場（フォック状態では消失する）としてではなく、真空から一光子への遷移行列要素として厳密に定義される：
   $$\Psi_{\eta, f}^{(+)}(\mathbf{r}, t) = \langle 0 | \hat{\mathcal{F}}_\eta^{(+)}(\mathbf{r}, t) | 1_f \rangle$$
   ここで $|1_f\rangle$ は、スペクトル包絡線 $f_\lambda(\mathbf{k})$ から構成される一光子状態である。

主要な貢献と結果

• 統一された幾何学的符号化: この形式論は、四元数の積が、電磁気学の横波幾何（$\mathbf{E} \perp \mathbf{B} \perp \mathbf{k}$）およびヘリシティの選択規則を、モードごとに自然に強制することを実証している。ヘリシティ射影器 $P_\eta(\hat{\mathbf{k}}) = \frac{1}{2}(I + \eta i \hat{\mathbf{k}}\times)$ は、代数構造内の正しい円偏光セクターを孤立させる。
• 遷移振幅の定式化: 本論文は、単一光子電磁波パケットが、光子波パケットの包絡線 $f_\lambda(\mathbf{k})$ によって重み付けされた横波モードのスペクトル重ね合わせであることを確立している。この振幅は、古典場と同じ一次の四元数マクスウェル方程式を満たす。
• 零場（Null-field）の限界: 重要な結果として、「零場」特性に関する検討がある。個々のフーリエ成分（平面波）は、零条件 $\mathcal{F} \cdot \mathcal{F} = 0$（これは $|\mathbf{E}|^2 = c^2|\mathbf{B}|^2$ および $\mathbf{E} \cdot \mathbf{B} = 0$ を意味する）を満たすが、著者らは、広帯域の重ね合わせ（一般的な波パケット）は、一般には点ごとに零ではないことを証明した。全パケットは、パラキシャルビームや共通方向への伝搬など、異なるモード間の交差項が消失する場合の極限においてのみ、零条件を満たす。
• 操作的分離: この構成は、一光子状態の3つの操作的要素を明示的に分離している：
  1. スペクトル局在化: 包絡線関数 $f_\lambda(\mathbf{k})$ によって制御される。
  2. ヘリシティ選択: 射影器 $P_\eta$ によって強制される。
  3. モードマッチング: 振幅は、検出器または対象となるモードとの重なりを決定する対象となる。

意義と主張
著者らは、本研究を新しい物理的本体論やQEDの修正ではなく、既存の物理学の保守的な、定理レベルのパッケージングとして位置づけている。その意義は以下の通りである：

1. 代数的透明性: 電磁気学の幾何学的制約（横波性と直交性）が、個別の制約として課されるのではなく、代数の乗法規則の中に内在している、コンパクトな表記法を提供している。
2. 光子の波動力学の明確化: 一光子振幅を遷移行列要素として厳密に定義することで、「光子の波動関数」に関する曖昧さを解消している。これにより、測定可能な電磁的成分と、数状態における場演算子の期待値の消失を区別している。
3. 実用的有用性: 本形式論は、場論的なフォック状態と、測定可能な単一光子操作（波パケット成形、局在化されたエミッターによる吸収、任意の時間的または空間的モードへの射影など）との間の直接的な架け橋を提供する。また、広帯域パケットは点ごとに零ではないものの、特定のパラキシャル条件下ではそのように近似できることを明らかにしている。

結論として、この複素四元数リーマン・シルバーシュタイン形式論は、標準的な量子場理論からの逸脱を必要とせずに、単一光子励起の電磁的成分の議論を容易にする、量子光学およびナノフォトニクスのための有用な操作言語として機能する。