Non-orthogonal Transformations of Structured Light Using Ellipticity-Dependent Ince-Gaussian Modes

Riepilogo Tecnico: Trasformazioni Non Ortogonali della Luce Strutturata Utilizzando Modi Ince–Gaussiani Dipendenti dall'Ellitticità

Enunciato del Problema
I campi di luce strutturata sono tipicamente descritti utilizzando insiemi completi di soluzioni dell'equazione d'onda parassiale, come i modi Hermite–Gaussiani (HG), Laguerre–Gaussiani (LG) e Ince–Gaussiani (IG). I modi IG sono particolarmente notevoli come la famiglia separabile più generale, offrendo un'interpolazione continua tra le simmetrie cartesiane (HG) e circolari (LG) tramite un parametro di ellitticità $\varepsilon$. Sebbene i modi IG formino una base ortogonale completa per qualsiasi $\varepsilon$ fisso, i modi associati a ellitticità diverse non sono mutuamente ortogonali. Nonostante l'esistenza teorica dei modi IG, la relazione tra basi di diversa ellitticità rimane largamente inesplorata. Le tecniche esistenti di decomposizione modale operano quasi esclusivamente all'interno di una singola base ortogonale, e non è stata riportata alcuna espressione analitica esplicita e finita per trasformare direttamente tra basi IG di ellitticità arbitraria senza affidarsi a decomposizioni numeriche intermedie o troncamenti della base. Di conseguenza, l'ellitticità non è stata sfruttata appieno come grado di libertà funzionale per l'ingegneria della luce strutturata.

Metodologia
Gli autori derivano un'espressione analitica compatta per collegare modi IG di ellitticità arbitraria attraverso sovrapposizioni finite. La derivazione impiega i modi LG come base intermedia:

1. Derivazione Teorica: I modi IG sono sviluppati nella base LG, e i modi LG sono espressi come relazione inversa verso i modi IG. Combinando queste espressioni, gli autori eliminano la base LG intermedia per stabilire una trasformazione diretta tra una base IG di ellitticità $\varepsilon_1$ e un'altra di ellitticità $\varepsilon_2$.
2. Formulazione Analitica: La trasformazione è definita da coefficienti di ponderazione complessi, $c_{p,m_2}(\varepsilon_1, \varepsilon_2)$, calcolati sia come somma finita di prodotti di coefficienti di sviluppo, sia, più direttamente, come integrali di sovrapposizione tra i due modi IG (Equazione 5). Questi coefficienti dipendono dai coefficienti di Fourier dei polinomi di Ince, che codificano la dipendenza dall'ellitticità.
3. Implementazione Sperimentale: Per validare la teoria, gli autori implementano un setup sperimentale utilizzando Modulatori Spaziali della Luce (SLM).
   • Generazione: Un modo IG target ($IG^{\varepsilon_1}$) è generato utilizzando modulazione di ampiezza complessa sul primo SLM.
   • Decomposizione: Il campo generato è proiettato su una serie di modi di base ($IG^{\varepsilon_2}$) utilizzando un secondo SLM che visualizza ologrammi generati al computer (CGH).
   • Misurazione: I coefficienti di sovrapposizione sono determinati misurando l'intensità sull'asse nel campo lontano (piano di Fourier) utilizzando una camera CMOS ad alta sensibilità. Vengono recuperati sia l'ampiezza (dall'intensità) che la fase intermodale (tramite interferenza con modi di riferimento e sovrapposizione ausiliari) per ricostruire i coefficienti complessi.

Contributi Chiave

• Prima Mappatura Analitica Esplicita: Il lavoro fornisce la prima espressione analitica esplicita e finita (Equazione 5) che mette direttamente in relazione modi IG di ellitticità arbitraria. Questa formulazione evita la necessità di decomposizioni numeriche intermedie.
• Caratterizzazione della Non Ortogonalità: Il lavoro dimostra che i modi IG con diverse ellitticità formano una famiglia di basi mutuamente non ortogonali ma complete. La trasformazione preserva l'ortogonalità solo nell'ordine modale ($p$) e nella parità ($\sigma$), mentre l'indice modale ($m$) diventa non ortogonale quando $\varepsilon_1 \neq \varepsilon_2$.
• Ellitticità come Parametro Sintonizzabile: Lo studio stabilisce l'ellitticità come parametro di trasformazione continuo che deforma la base modale, permettendo una ridistribuzione controllata del peso modale attraverso rappresentazioni non ortogonali.

Risultati

• Validazione Teorica: È stato dimostrato che i coefficienti derivati si riducono alla relazione di ortogonalità standard quando $\varepsilon_1 = \varepsilon_2$. Quando $\varepsilon_1 \neq \varepsilon_2$, i coefficienti per modi con indici diversi diventano non nulli, quantificando la "distanza" tra le basi nello spazio di Hilbert.
• Accordo Numerico e Sperimentale: Le simulazioni numeriche della ridistribuzione del peso modale in funzione di $\varepsilon_2$ hanno corrisposto alle previsioni analitiche. Sperimentalmente, gli autori hanno decomposto con successo un modo target ($IG^{4}_{5,3}$) in una base di ellitticità fissa ($\varepsilon_2 = 2$). I coefficienti complessi recuperati sperimentalmente ($c_{5,1}, c_{5,3}, c_{5,5}$) hanno mostrato una stretta concordanza con le previsioni teoriche, ricostruendo con successo l'ampiezza e la fase del modo target.
• Osservazione della Deformazione della Base: I risultati hanno confermato che, all'aumentare del disadattamento di ellitticità, il peso modale si ridistribuisce dal modo con indici identici ad altri modi all'interno dello stesso ordine $p$, evidenziando la natura non ortogonale della trasformazione.

Significato
Il lavoro afferma di introdurre un quadro pratico per sfruttare l'ellitticità come grado di libertà sintonizzabile nella progettazione del fronte d'onda e nell'ingegneria della luce strutturata. Abilitando trasformazioni esplicite e misurabili tra basi IG dipendenti dall'ellitticità, questo lavoro amplia la cassetta degli attrezzi per l'elaborazione ottica dell'informazione oltre i convenzionali framework modali ortogonali. Gli autori suggeriscono che questa capacità permetta una selezione adattiva della base in schemi di codifica modale, dove l'ellitticità può essere sintonizzata per ottimizzare la capacità informativa, minimizzare la diafonia modale o adattarsi a specifiche condizioni di propagazione. Il lavoro conferma che queste relazioni modali non sono solo analiticamente esatte, ma anche accessibili sperimentalmente, offrendo nuove strategie per la conversione modale e l'elaborazione ottica dell'informazione ad alta dimensionalità.