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

Résumé technique : Transformations non orthogonales de la lumière structurée utilisant des modes Ince–Gaussiens dépendants de l'ellipticité

Énoncé du problème
Les champs de lumière structurée sont généralement décrits à l'aide d'ensembles complets de solutions de l'équation d'onde paraxiale, tels que les modes Hermite–Gaussiens (HG), Laguerre–Gaussiens (LG) et Ince–Gaussiens (IG). Les modes IG sont particulièrement remarquables en tant que famille séparable la plus générale, offrant une interpolation continue entre les symétries cartésiennes (HG) et circulaires (LG) via un paramètre d'ellipticité $\varepsilon$. Bien que les modes IG forment une base orthogonale complète pour tout $\varepsilon$ fixe, les modes associés à des ellipticités différentes ne sont pas mutuellement orthogonaux. Malgré l'existence théorique des modes IG, la relation entre les bases de différentes ellipticités reste largement inexplorée. Les techniques existantes de décomposition modale opèrent presque exclusivement au sein d'une seule base orthogonale, et aucune expression analytique explicite et finie n'a été rapportée pour transformer directement entre des bases IG d'ellipticités arbitraires sans recourir à des décompositions numériques intermédiaires ou à des troncatures de base. Par conséquent, l'ellipticité n'a pas été pleinement exploitée comme degré de liberté fonctionnel pour l'ingénierie de la lumière structurée.

Méthodologie
Les auteurs dérivent une expression analytique compacte reliant des modes IG d'ellipticités arbitraires par des superpositions finies. La dérivation utilise les modes LG comme base intermédiaire :

1. Dérivation théorique : Les modes IG sont développés dans la base LG, et les modes LG sont exprimés comme une relation inverse vers les modes IG. En combinant ces expressions, les auteurs éliminent la base LG intermédiaire pour établir une transformation directe entre une base IG d'ellipticité $\varepsilon_1$ et une autre d'ellipticité $\varepsilon_2$.
2. Formulation analytique : La transformation est définie par des coefficients de pondération complexes, $c_{p,m_2}(\varepsilon_1, \varepsilon_2)$, qui sont calculés soit comme une somme finie de produits de coefficients de développement, soit, plus directement, comme des intégrales de recouvrement entre les deux modes IG (Équation 5). Ces coefficients dépendent des coefficients de Fourier des polynômes Ince, qui encodent la dépendance à l'ellipticité.
3. Mise en œuvre expérimentale : Pour valider la théorie, les auteurs mettent en œuvre une configuration expérimentale utilisant des Modulateurs Spatiaux de Lumière (SLM).
   • Génération : Un mode IG cible ($IG^{\varepsilon_1}$) est généré en utilisant une modulation d'amplitude complexe sur le premier SLM.
   • Décomposition : Le champ généré est projeté sur une série de modes de base ($IG^{\varepsilon_2}$) en utilisant un deuxième SLM affichant des hologrammes générés par ordinateur (CGH).
   • Mesure : Les coefficients de recouvrement sont déterminés en mesurant l'intensité sur l'axe dans le champ lointain (plan de Fourier) à l'aide d'une caméra CMOS haute sensibilité. À la fois l'amplitude (dérivée de l'intensité) et la phase intermodale (via l'interférence avec des modes de référence et de superposition auxiliaires) sont récupérées pour reconstruire les coefficients complexes.

Contributions clés

• Première cartographie analytique explicite : L'article fournit la première expression analytique explicite et finie (Équation 5) reliant directement des modes IG d'ellipticités arbitraires. Cette formulation évite le besoin de décompositions numériques intermédiaires.
• Caractérisation de la non-orthogonalité : Le travail démontre que les modes IG avec différentes ellipticités forment une famille de bases mutuellement non orthogonales mais complètes. La transformation préserve l'orthogonalité uniquement dans l'ordre modal ($p$) et la parité ($\sigma$), tandis que l'indice modal ($m$) devient non orthogonal lorsque $\varepsilon_1 \neq \varepsilon_2$.
• Ellipticité en tant que paramètre réglable : L'étude établit l'ellipticité comme un paramètre de transformation continu qui déforme la base modale, permettant une redistribution contrôlée du poids modal à travers des représentations non orthogonales.

Résultats

• Validation théorique : Les coefficients dérivés se sont avérés se réduire à la relation d'orthogonalité standard lorsque $\varepsilon_1 = \varepsilon_2$. Lorsque $\varepsilon_1 \neq \varepsilon_2$, les coefficients pour les modes avec des indices différents deviennent non nuls, quantifiant la « distance » entre les bases dans l'espace de Hilbert.
• Accord numérique et expérimental : Les simulations numériques de la redistribution du poids modal en fonction de $\varepsilon_2$ correspondaient aux prédictions analytiques. Expérimentalement, les auteurs ont réussi à décomposer un mode cible ($IG^{4}_{5,3}$) en une base d'ellipticité fixe ($\varepsilon_2 = 2$). Les coefficients complexes récupérés expérimentalement ($c_{5,1}, c_{5,3}, c_{5,5}$) ont montré une bonne concordance avec les prédictions théoriques, reconstruisant avec succès l'amplitude et la phase du mode cible.
• Observation de la déformation de la base : Les résultats ont confirmé que, à mesure que le désaccord d'ellipticité augmente, le poids modal se redistribue du mode aux indices identiques vers d'autres modes au sein du même ordre $p$, témoignant de la nature non orthogonale de la transformation.

Signification
L'article prétend introduire un cadre pratique pour exploiter l'ellipticité comme degré de liberté réglable dans la conception de fronts d'onde et l'ingénierie de la lumière structurée. En permettant des transformations explicites et mesurables entre des bases IG dépendantes de l'ellipticité, ce travail élargit la boîte à outils pour le traitement de l'information optique au-delà des cadres modaux orthogonaux conventionnels. Les auteurs suggèrent que cette capacité permet une sélection adaptative de la base dans les schémas de codage modal, où l'ellipticité peut être réglée pour optimiser la capacité d'information, minimiser la diaphonie modale ou correspondre à des conditions de propagation spécifiques. Le travail confirme que ces relations modales sont non seulement analytiquement exactes mais aussi accessibles expérimentalement, offrant de nouvelles stratégies pour la conversion de modes et le traitement de l'information optique de haute dimension.