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

技术摘要：用于单光子电磁波包的复四元数黎曼–西尔伯斯坦形式体系

问题陈述
在标准量子光学中，单光子被描述为量子化电磁场的初级激发，通常表示为在横向模上展开的独立的电场 ($\mathbf{E}$) 和磁场 ($\mathbf{B}$) 算符。尽管这种表述在操作上是成功的，但它往往掩盖了自由空间辐射中电场、磁场与传播方向之间固有的严格几何关系。此外，从场算符到“光子波函数”或波包振幅的过渡往往存在歧义，特别是在如何解释一光子福克态（Fock states）是经典场还是跃迁振幅的问题上。作者旨在开发一种紧凑且在代数上透明的形式体系，将横向电分量和磁分量嵌入到一个单一结构中，在不取代标准量子电动力学（QED）的前提下，显式地编码横向性、正交性和螺旋度。

方法论
本文采用基于定理的方法，利用**复四元数（biquaternions）**来统一黎曼–西尔伯斯坦（Riemann–Silberstein, 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 Limitation）： 一个重要的结果解决了“零场”属性问题。虽然单个傅里叶分量（平面波）满足零条件 $\mathcal{F} \cdot \mathcal{F} = 0$（意味着 $|\mathbf{E}|^2 = c^2|\mathbf{B}|^2$ 且 $\mathbf{E} \cdot \mathbf{B} = 0$），但作者证明了宽带叠加（一般的波包）在逐点意义上通常不是零场。总波包仅在近轴光束或共同方向传播（使得不同模之间的交叉项消失）的极限下才满足零条件。
• 操作分离： 该构造显式地分离了一光子态的三个操作要素：
  1. 谱定位： 由包络函数 $f_\lambda(\mathbf{k})$ 控制。
  2. 螺旋度选择： 由投影算符 $P_\eta$ 强制执行。
  3. 模匹配： 振幅作为决定与探测器或目标模重叠的对象。

意义与主张
作者将这项工作定位为对现有物理学的保守的、定理层面的封装，而非一种新的物理本体论或对 QED 的修改。其意义在于：

1. 代数透明性： 它提供了一种紧凑的符号表示，其中电磁学的几何约束（横向性和正交性）内置于代数的乘法规则中，而不是作为独立的约束条件强加。
2. 澄清光子波力学： 它通过将单光子振幅严格定义为跃迁矩阵元，解决了关于“光子波函数”的歧义。这区分了光子的可测量电磁内容与场算符在数态中的消失期望值。
3. 实际效用： 该形式体系为场论层面的福克态与可测量的单光子操作（如波包整形、局部发射体的吸收以及向任意时间或空间模的投影）之间提供了直接的桥梁。它阐明了虽然宽带波包在逐点意义上不是零场，但在特定的近轴条件下可以近似为零场。

文章结论指出，这种复四元数黎emann–silberstein 形式体系是量子光学和纳米光子学中有用的操作语言，它有助于在不脱离标准量子场论的情况下，讨论单光子激发的电磁内容。