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

Technische Samenvatting: Niet-orthogonale Transformaties van Gestructureerd Licht met Behulp van Ellipticiteitsafhankelijke Ince-Gaussian Modes

Probleemstelling
Gestructureerde lichtvelden worden doorgaans beschreven met behulp van complete sets van oplossingen voor de paraxiale golfvergelijking, zoals Hermite-Gaussian (HG), Laguerre-Gaussian (LG) en Ince-Gaussian (IG) modes. IG-modes zijn bijzonder opmerkelijk als de meest algemene scheidbare familie, die een continue interpolatie biedt tussen Cartesische (HG) en circulaire (LG) symmetrieën via een ellipticiteitsparameter $\varepsilon$. Hoewel IG-modes een complete orthogonale basis vormen voor elke vaste $\varepsilon$, zijn modes die geassocieerd zijn met verschillende ellipticiteiten niet onderling orthogonaal. Ondanks het theoretische bestaan van IG-modes, blijft de relatie tussen bases van verschillende ellipticiteiten grotendeels onontgonnen. Bestaande modale decompositietechnieken werken bijna uitsluitend binnen een enkele orthogonale basis, en er is geen expliciete, eindige analytische uitdrukking gerapporteerd die IG-bases van willekeurige ellipticiteit direct transformeert zonder te vertrouwen op tussentijdse numerieke decomposities of basisafkappingen. Bijgevolg is ellipticiteit niet volledig benut als een functionele vrijheidsgraad voor de engineering van gestructureerd licht.

Methodologie
De auteurs leiden een compacte analytische uitdrukking af om IG-modes van willekeurige ellipticiteit te verbinden via eindige superposities. De afleiding maakt gebruik van LG-modes als een tussentijdse basis:

1. Theoretische Afleiding: IG-modes worden uitgebreid naar de LG-basis, en LG-modes worden uitgedrukt als een inverse relatie terug naar IG-modes. Door deze uitdrukkingen te combineren, elimineren de auteurs de tussentijdse LG-basis om een directe transformatie vast te stellen tussen een IG-basis van ellipticiteit $\varepsilon_1$ en een andere van ellipticiteit $\varepsilon_2$.
2. Analytische Formulering: De transformatie wordt gedefinieerd door complexe weegcoëfficiënten, $c_{p,m_2}(\varepsilon_1, \varepsilon_2)$, die worden berekend als een eindige som van producten van expansiecoëfficiënten of, directer, als overlapintegralen tussen de twee IG-modes (Vergelijking 5). Deze coëfficiënten zijn afhankelijk van de Fourier-coëfficiënten van de Ince-polynomen, die de ellipticiteitsafhankelijkheid coderen.
3. Experimentele Implementatie: Om de theorie te valideren, implementeren de auteurs een experimentele opstelling met behulp van Ruimtelijke Lichtmodulatoren (SLM's).
   • Generatie: Een doel-IG-mode ($IG^{\varepsilon_1}$) wordt gegenereerd met behulp van complex-amplitudemodulatie op de eerste SLM.
   • Decompositie: Het gegenereerde veld wordt geprojecteerd op een reeks basismodes ($IG^{\varepsilon_2}$) met behulp van een tweede SLM die computergegenereerde hologrammen (CGH) toont.
   • Meting: De overlapcoëfficiënten worden bepaald door de intensiteit op de as in het verre veld (Fourier-vlak) te meten met een hooggevoelige CMOS-camera. Zowel de amplitude (afgeleid van intensiteit) als de intermodale fase (via interferentie met referentie- en hulp-superpositiemodes) worden teruggevonden om de complexe coëfficiënten te reconstrueren.

Belangrijkste Bijdragen

• Eerste Expliciete Analytische Mapping: Het artikel biedt de eerste expliciete, eindige analytische uitdrukking (Vergelijking 5) die IG-modes van willekeurige ellipticiteit direct relateert. Deze formulering vermijdt de noodzaak van tussentijdse numerieke decomposities.
• Karakterisering van Niet-Orthogonaliteit: Het werk demonstreert dat IG-modes met verschillende ellipticiteiten een familie vormen van onderling niet-orthogonale maar complete bases. De transformatie behoudt orthogonaliteit alleen in de modale orde ($p$) en pariteit ($\sigma$), terwijl de modale index ($m$) niet-orthogonaal wordt wanneer $\varepsilon_1 \neq \varepsilon_2$.
• Ellipticiteit als Instelbare Parameter: De studie vestigt ellipticiteit als een continue transformatieparameter die de modale basis vervormt, waardoor een gecontroleerde herverdeling van modale gewicht over niet-orthogonale representaties mogelijk wordt.

Resultaten

• Theoretische Validatie: De afgeleide coëfficiënten bleken te reduceren tot de standaard orthogonaliteitsrelatie wanneer $\varepsilon_1 = \varepsilon_2$. Wanneer $\varepsilon_1 \neq \varepsilon_2$, worden de coëfficiënten voor modes met verschillende indices niet-nul, waardoor de "afstand" tussen bases in de Hilbertruimte wordt gekwantificeerd.
• Numerieke en Experimentele Overeenkomst: Numerieke simulaties van de herverdeling van modale gewicht als functie van $\varepsilon_2$ kwamen overeen met de analytische voorspellingen. Experimenteel hebben de auteurs succesvol een doelmode ($IG^{4}_{5,3}$) gedecomposeerd in een basis met vaste ellipticiteit ($\varepsilon_2 = 2$). De experimenteel teruggevonden complexe coëfficiënten ($c_{5,1}, c_{5,3}, c_{5,5}$) toonden nauwe overeenkomst met theoretische voorspellingen, waarbij de amplitude en fase van de doelmode succesvol werden gereconstrueerd.
• Observatie van Basisvervorming: De resultaten bevestigden dat naarmate het ellipticiteitsverschil toeneemt, het modale gewicht wordt herverdeeld van de mode met identieke indices naar andere modes binnen dezelfde orde $p$, wat het niet-orthogonale karakter van de transformatie aantoont.

Betekenis
Het artikel claimt een praktisch kader te introduceren voor het benutten van ellipticiteit als een instelbare vrijheidsgraad in golfvoordesign en engineering van gestructureerd licht. Door expliciete en meetbare transformaties tussen ellipticiteitsafhankelijke IG-bases mogelijk te maken, breidt dit werk de toolbox voor optische informatieverwerking uit buiten de conventionele orthogonale modale kaders. De auteurs suggereren dat deze mogelijkheid adaptieve basisselectie in modale coderingschema's toelaat, waarbij ellipticiteit kan worden afgestemd om informatiecapaciteit te optimaliseren, modale kruispraat te minimaliseren of specifieke voortplantingscondities aan te passen. Het werk bevestigt dat deze modale relaties niet alleen analytisch exact zijn, maar ook experimenteel toegankelijk, wat nieuwe strategieën biedt voor modeconversie en optische informatieverwerking in hoge dimensies.