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

Sintesi Tecnica: Un formalismo Riemann–Silberstein complesso-quaternionico per pacchetti d'onda elettromagnetici a singolo fotone

Enunciato del Problema
Nell'ottica quantistica standard, i singoli fotoni sono descritti come eccitazioni elementari del campo elettromagnetico quantizzato, tipicamente rappresentate da operatori di campo elettrico ($\mathbf{E}$) e magnetico ($\mathbf{B}$) separati, espansi su modi trasversi. Sebbene operativamente efficace, questa formulazione spesso oscura la rigida relazione geometrica tra il campo elettrico, il campo magnetico e la direzione di propagazione intrinseca nella radiazione in spazio libero. Inoltre, la transizione da operatori di campo ad una "funzione d'onda del fotone" o ampiezza di pacchetto d'onda è spesso ambigua, in particolare riguardo all'interpretazione degli stati di Fock a singolo fotone come campi classici rispetto ad ampiezze di transizione. Gli autori mirano a sviluppare un formalismo compatto e algebricamente trasparente che incorpori le componenti elettriche e magnetiche trasverse in una singola struttura, codificando esplicitamente trasversalità, ortogonalità ed elicità senza sostituire la teoria quantistica dei campi (QED) standard con una nuova teoria quantistica quaternionica.

Metodologia
Il saggio impiega un approccio basato su teoremi utilizzando quaternioni complessi (biquaternioni) per unificare la rappresentazione del vettore Riemann–Silberstein (RS) con la QED canonica.

1. Cornice Algebrica: Gli autori definiscono un'algebra quaternionica complessa in cui le unità della base spaziale $\mathbf{e}_1, \mathbf{e}_2, \mathbf{e}_3$ soddisfano le relazioni di Hamilton. Fondamentalmente, il prodotto di due quaternioni puri $\mathbf{a}$ e $\mathbf{b}$ è definito come $\mathbf{a}\mathbf{b} = -\mathbf{a}\cdot\mathbf{b} + \mathbf{a}\times\mathbf{b}$. Questa singola operazione algebrica codifica simultaneamente il prodotto scalare (responsabile dei vincoli di ortogonalità) e il prodotto vettoriale (responsabile della generazione del campo magnetico dal campo elettrico).
2. Definizione del Campo: I campi elettrici e magnetici sono combinati in un campo biquaternionico risolto per elicità $\mathcal{F}_\eta$ (dove $\eta = \pm 1$ denota l'elicità):
   $$\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. Equazioni di Maxwell: Le equazioni di Maxwell senza sorgente sono mostrate essere equivalenti a una singola equazione differenziale quaternionica del primo ordine:
   $$\left(\nabla_\mathbb{H} - \frac{\eta i}{c}\partial_t\right) \mathcal{F}_\eta(\mathbf{r}, t) = 0$$
   dove $\nabla_\mathbb{H}$ è l'operatore gradiente quaternionico.
4. Quantizzazione: Il formalismo transita alla QED definendo l'operatore di campo biquaternionico a frequenza positiva $\hat{\mathcal{F}}_\eta^{(+)}$. L'ampiezza del pacchetto d'onda a singolo fotone è rigorosamente definita non come un campo medio classico (che svanisce per gli stati di Fock), ma come l'elemento di matrice di transizione vuoto-a-singolo-fotone:
   $$\Psi_{\eta, f}^{(+)}(\mathbf{r}, t) = \langle 0 | \hat{\mathcal{F}}_\eta^{(+)}(\mathbf{r}, t) | 1_f \rangle$$
   In questo caso, $|1_f\rangle$ è uno stato a singolo fotone costruito da un inviluppo spettrale $f_\lambda(\mathbf{k})$.

Contributi Chiave e Risultati

• Codifica Geometrica Unificata: Il formalismo dimostra che il prodotto quaternionico impone naturalmente la geometria elettromagnetica trasversa ($\mathbf{E} \perp \mathbf{B} \perp \mathbf{k}$) e le regole di selezione dell'elicità modo per modo. Il proiettore di elicità $P_\eta(\hat{\mathbf{k}}) = \frac{1}{2}(I + \eta i \hat{\mathbf{k}}\times)$ isola il corretto settore di polarizzazione circolare all'interno della struttura algebrica.
• Formulazione dell'Ampiezza di Transizione: Il saggio stabilisce che il pacchetto d'onda elettromagnetico a singolo fotone è una sovrapposizione spettrale di modi trasversi pesati dall'inviluppo del pacchetto d'onda del fotone $f_\lambda(\mathbf{k})$. Questa ampiezza soddisfa la stessa equazione di Maxwell quaternionica del primo ordine del campo classico.
• Limitazione del Campo Nullo: Un risultato significativo affronta la proprietà del "campo nullo". Mentre i singoli componenti di Fourier (onde piane) soddisfano la condizione di nullo $\mathcal{F} \cdot \mathcal{F} = 0$ (implicando $|\mathbf{E}|^2 = c^2|\mathbf{B}|^2$ e $\mathbf{E} \cdot \mathbf{B} = 0$), gli autori dimostrano che una sovrapposizione a banda larga (un generico pacchetto d'onda) non è generalmente nulla punto per punto. Il pacchetto totale soddisfa la condizione di nullo solo nel limite dei fasci parassiali o di propagazione in direzioni comuni dove i termini incrociati tra diversi modi svaniscono.
• Separazione Operativa: La costruzione separa esplicitamente tre ingredienti operativi di uno stato a singolo fotone:
  1. Localizzazione Spettrale: Controllata dalla funzione inviluppo $f_\lambda(\mathbf{k})$.
  2. Selezione dell'Elicità: Imposta dal proiettore $P_\eta$.
  3. Corrispondenza dei Modi (Mode Matching): L'ampiezza funge da oggetto che determina la sovrapposizione con i modi del detector o del target.

Significato e Rivendicazioni
Gli autori posizionano questo lavoro come un impacchettamento conservativo a livello di teorema della fisica esistente, piuttosto che una nuova ontologia fisica o una modifica della QED. La significatività risiede in:

1. Trasparenza Algebrica: Fornisce una notazione compatta in cui i vincoli geometrici dell'elettromagnetismo (trasversalità e ortogonalità) sono intrinseci nelle regole di moltiplicazione dell'algebra, anziché essere imposti come vincoli separati.
2. Chiarificazione della Meccanica d'Onda del Fotone: Risolve le ambiguità riguardanti la "funzione d'onda del fotone" definendo rigorosamente l'ampiezza del singolo fotone come un elemento di matrice di transizione. Ciò distingue il contenuto elettromagnetico misurabile di un fotone dal valore di aspettazione nullo dell'operatore di campo in uno stato di numero.
3. Utilità Pratica: Il formalismo offre un ponte diretto tra gli stati di Fock della teoria del campo e le operazioni misurabili a singolo fotone, come la modellazione del pacchetto d'onda, l'assorbimento da parte di emettitori localizzati e la proiezione su arbitrarie modalità temporali o spaziali. Chiarisce che, sebbene i pacchetti a banda larga non siano nulli punto per punto, possono essere approssimati come tali sotto specifiche condizioni parassiali.

Il saggio conclude che questo formalismo Riemann–Silberstein complesso-quaternionico serve come un utile linguaggio operativo per l'ottica quantistica e la nanofotonica, facilitando la discussione del contenuto elettromagnetico nelle eccitazioni a singolo fotone senza richiedere un allontanamento dalla teoria quantistica dei campi standard.