Second-order moment equivalence of twisted Gaussian Schell model beams and orbital angular momentum eigenmodes

Ce papier démontre que les matrices de covariance du moment d'ordre deux des modes propres du moment angulaire orbital cohérents à symétrie cylindrique sont universellement équivalentes à celles des faisceaux de Schell-Gauss tordus, établissant ainsi une correspondance paramétrique directe permettant de décrire entièrement les caractéristiques de propagation de diverses familles d'OML à l'aide de la boîte à outils TGSM établie.

L'essentiel

Imaginez que vous observez deux types de faisceaux lumineux très différents. L'un est un faisceau parfaitement organisé et cohérent (comme un laser) qui tourne avec une « torsion » spécifique dans sa structure, connu sous le nom de faisceau à Moment Angulaire Orbital (OAM). L'autre est un faisceau désordonné et partiellement chaotique (comme la lumière d'une lampe filtrée) appelé faisceau de Schell-Gaussien Tordu (TGSM).

Habituellement, les physiciens considèrent ces deux entités comme totalement différentes. L'un est un danseur précis et tournant ; l'autre est un nuage flou et tordu.

La Grande Découverte
Cet article révèle un secret surprenant : Si vous ne regardez que le comportement « moyen » de ces faisceaux, ils sont indiscernables.

Imaginez cela ainsi : imaginez que vous avez un toupie parfaite et tournante (le faisceau OAM) et un nuage de poussière tourbillonnant et vacillant (le faisceau TGSM). Si vous prenez une photo d'eux chaque seconde et mesurez uniquement leur taille moyenne, leur vitesse moyenne et leur degré de torsion, vous obtiendrez exactement les mêmes chiffres pour les deux.

Les auteurs ont prouvé que l'« empreinte digitale » mathématique (appelée matrice de covariance) utilisée pour décrire le nuage tordu et chaotique est identique à l'empreinte digitale de la toupie parfaite et tournante.

Le « Plan Directeur Universel »
L'article montre que pour tout faisceau lumineux tournant symétrique (qui ressemble au même de tous les angles autour du centre), ses statistiques du second ordre (sa taille moyenne et son étalement) dépendent de seulement trois choses :

1. Sa largeur moyenne.
2. La vitesse à laquelle il s'étale en moyenne.
3. Le nombre de fois qu'il tourne (le « nombre OAM »).

Peu importe si le faisceau a une forme mathématique parfaite (comme un faisceau de Laguerre-Gauss) ou s'il s'agit d'un anneau de lumière (comme un faisceau de Vortex Parfait). S'ils partagent ces trois nombres, ils partagent la même « empreinte digitale ».

La Connexion de la « Torsion »
Voici la partie astucieuse de l'analogie :

• Dans le faisceau parfaitement tournant, la torsion provient des ondes lumineuses elles-mêmes qui tournent autour du centre (comme un tire-bouchon).
• Dans le faisceau nuage chaotique, la torsion provient d'une corrélation spéciale entre différentes parties de la lumière, créant une « torsion de phase » même si la lumière n'est pas parfaitement cohérente.

L'article montre que la « quantité de torsion » dans le nuage chaotique est mathématiquement équivalente au « nombre de rotation » du faisceau parfait. C'est comme si le chaos du nuage s'organisait secrètement pour imiter la rotation du faisceau parfait.

Pourquoi est-ce important ? (Selon l'article)
Les auteurs expliquent que cette équivalence est un raccourci puissant.

• La Boîte à Outils : Les physiciens disposent d'une vaste et bien développée « boîte à outils » mathématique pour prédire comment les nuages tordus et chaotiques (faisceaux TGSM) se comporteront en traversant des lentilles, l'air ou l'espace.
• Le Raccourci : Comme les empreintes digitales sont identiques, vous pouvez utiliser cette même boîte à outils pour prédire exactement comment les faisceaux parfaitement tournants se comporteront. Vous n'avez pas besoin d'effectuer de nouveaux calculs difficiles pour les faisceaux parfaits ; vous utilisez simplement les résultats que vous avez déjà pour les faisceaux chaotiques.

Exemples Spécifiques Testés
Les auteurs ont testé cette idée sur trois familles spécifiques de faisceaux lumineux :

1. Laguerre-Gauss (LG) : Les faisceaux laser classiques en forme de « beignet ».
2. Vortex Parfait (PVB) : Des faisceaux qui forment un anneau restant de la même taille quelle que soit la quantité de rotation.
3. Bessel-Gauss (BG) : Des faisceaux ayant un noyau étroit et capables de se réparer s'ils sont bloqués.

Pour les trois, ils ont constaté qu'on peut les associer à un type spécifique de faisceau TGSM chaotique. Si vous les associez correctement, ils :

• Grandiront et rétréciront au même rythme exact en se déplaçant.
• S'étaleront (divergeront) de la même manière exacte.
• Auront exactement le même score de « qualité de faisceau » ($M^2$).

Les Limites de la Correspondance
L'article note également quelques limites :

• Rue à sens unique : Bien que n'importe lequel de ces faisceaux parfaits puisse être imité par un faisceau chaotique, l'inverse n'est pas toujours vrai. Un faisceau chaotique peut avoir une « empreinte digitale » qu'aucun faisceau parfait ne peut correspondre, car les faisceaux parfaits sont restreints à des étapes spécifiques et discrètes (comme des entiers), tandis que les faisceaux chaotiques peuvent être continus.
• Unicité : Pour les faisceaux classiques de Laguerre-Gauss, l'empreinte digitale est unique. Si vous connaissez la taille moyenne et l'étalement, vous savez exactement de quel faisceau il s'agit. Pour les autres types (Vortex Parfait et Bessel-Gauss), l'empreinte digitale vous indique les caractéristiques principales, mais il peut y avoir une petite ambiguïté dans les détails exacts.

En Résumé
L'article fait le pont entre deux mondes de l'optique. Il prouve qu'un faisceau lumineux parfaitement ordonné et tournant et un faisceau lumineux partiellement chaotique et tordu sont des jumeaux du second ordre. Ils semblent différents de près, mais si vous mesurez leur taille moyenne, leur étalement et leur torsion, ils sont identiques. Cela permet aux scientifiques d'utiliser les mathématiques simples des faisceaux chaotiques pour prédire le comportement des faisceaux complexes et tournants.

Résumé technique

Résumé technique : Équivalence des moments d'ordre deux des faisceaux gaussiens de Schell tordus et des modes propres du moment angulaire orbital

Énoncé du problème
L'étude des champs optiques structurés s'est historiquement développée selon deux voies largement indépendantes : l'investigation des modes propres du moment angulaire orbital (OAM) entièrement cohérents (tels que les faisceaux de Laguerre-Gauss, de Bessel-Gauss et de Vortex Parfait) et la théorie des faisceaux gaussiens de Schell tordus (TGSM) partiellement cohérents. Alors que les modes propres OAM sont caractérisés par une charge topologique $\ell$ bien définie et un profil radial spécifique $U(r)$, les faisceaux TGSM sont définis par leur fonction de cohérence mutuelle, incorporant une phase de « torsion » qui induit des corrélations entre les degrés de liberté spatiaux et angulaires transverses. Bien qu'il soit connu que les faisceaux TGSM peuvent être décomposés en un mélange statistique de modes OAM, et que l'OAM est encodé dans les moments croisés de faisceaux arbitraires, une équivalence structurelle directe entre les matrices de covariance des états propres OAM cohérents individuels et les faisceaux TGSM n'avait pas été explicitement établie. Le problème central abordé est de savoir si les propriétés statistiques d'ordre deux d'un faisceau OAM cohérent peuvent être mappées exactement sur un faisceau TGSM, permettant ainsi d'appliquer la boîte à outils de propagation étendue de l'optique partiellement cohérente à la lumière structurée cohérente.

Méthodologie
Les auteurs emploient une analyse rigoureuse basée sur les moments pour comparer les matrices de covariance (CM) de deux classes distinctes de faisceaux :

1. Modes propres OAM cohérents : Définis par la fonction d'onde $\psi(\vec{r}) = U(r)e^{i\ell\phi}$. Les auteurs dérivent la forme générale de la CM pour tout état propre OAM à symétrie cylindrique, calculant les valeurs moyennes de la position ($x, y$), du vecteur d'onde ($k_x, k_y$) et de leurs produits croisés. Ces calculs dépendent du profil radial $U(r)$ uniquement à travers les moments d'ordre deux $\langle r^2 \rangle$ et $\langle k_r^2 \rangle$.
2. Faisceaux gaussiens de Schell tordus (TGSM) : Définis par une densité spectrale croisée spécifique contenant un paramètre de torsion $u$. La CM standard pour les faisceaux TGSM est examinée, caractérisant les largeurs de faisceau, les courbures, les longueurs de cohérence et les corrélations spatiales-angulaires.

La méthodologie centrale implique une comparaison terme à terme de la CM dérivée pour l'état propre OAM général contre la CM TGSM standard. Les auteurs appliquent ensuite cette correspondance générale à trois familles spécifiques de faisceaux :

• Modes de Laguerre-Gauss (LG) : En utilisant leurs profils radiaux analytiques connus.
• Faisceaux de Vortex Parfait (PVB) : En utilisant des approximations pour la limite d'anneau étroit ($R \gg w$).
• Faisceaux de Bessel-Gauss (BG) : En appliquant des approximations pour le régime où la fonction de Bessel oscille de nombreuses fois à l'intérieur de l'enveloppe gaussienne.

Pour chaque famille, les auteurs dérivent des identifications de paramètres explicites reliant les paramètres du faisceau OAM (par exemple, le waist $w_0$, l'indice radial $p$, le rayon de l'anneau $R$) aux paramètres TGSM (waist du faisceau $\sigma$, torsion $u$, longueur de cohérence $\delta$). Ils investiguent en outre les conditions de réalisabilité physique (assurant que les paramètres TGSM satisfont la contrainte de type incertitude $|u| \leq 1/k\delta^2$) et l'inversibilité de la mapping (déterminant si la CM récupère de manière unique les paramètres du faisceau).

Contributions et résultats clés

• Structure de covariance universelle : L'article démontre que la matrice de covariance de n'importe quel mode propre OAM cohérent à symétrie cylindrique prend une forme universelle dépendant uniquement de $\langle r^2 \rangle$, $\langle k_r^2 \rangle$ et du nombre quantique $\ell$. Crucialement, cette matrice partage exactement le même motif d'entrées nulles/non nulles que la matrice de covariance TGSM.
• Mapping direct des paramètres : Les auteurs établissent une identification directe, terme à terme, entre les deux types de faisceaux :
  • La largeur de faisceau $\sigma^2$ correspond à $\langle r^2 \rangle/2$.
  • La variance du vecteur d'onde $\tau^2$ correspond à $\langle k_r^2 \rangle/2$.
  • Le paramètre de torsion TGSM $u$ est directement proportionnel au nombre quantique OAM $\ell$ et inversement proportionnel à la largeur du faisceau ($u = \ell / k\langle r^2 \rangle$).
  • La longueur de cohérence $\delta$ est déterminée par la différence entre la variance du vecteur d'onde et la contribution du moment angulaire.
• Réalisation spécifique aux familles :
  • Modes LG : Le mapping est toujours physiquement réalisable pour tout ordre de mode entier. Cependant, la correspondance est discrète ; pas chaque faisceau TGSM arbitraire ne peut être réalisé par un mode LG car le produit des moments d'ordre deux pour les modes LG est quantifié.
  • PVB et faisceaux BG : Dans les régimes d'intérêt (anneaux étroits pour les PVB, nombreuses oscillations pour les BG), les faisceaux TGSM appariés exhibent nécessairement une faible cohérence ($\sigma^2/\delta^2 \gg 1$). Dans ces limites, la longueur de cohérence devient effectivement découplée du nombre OAM $\ell$.
• Classes d'équivalence d'ordre deux : Le travail définit une « relation d'équivalence d'ordre deux » où deux faisceaux sont équivalents s'ils partagent la même CM. Par conséquent, tout faisceau OAM cohérent et son faisceau TGSM apparié sont indiscernables concernant tous les observables d'ordre deux sous des transformations symplectiques (ABCD) arbitraires. Cela inclut une évolution identique de la largeur de faisceau, la portée de Rayleigh, la divergence en champ lointain et les facteurs de qualité de faisceau $M^2$.
• Unicité des paramètres : L'article prouve que pour les modes LG, la matrice de covariance détermine de manière unique et exacte les paramètres du faisceau ($w_0$ et $p$). Pour les PVB et les faisceaux BG, la CM détermine les paramètres au premier ordre dans le cadre des approximations pertinentes, bien que l'unicité exacte à partir des équations complètes des moments reste une question ouverte.
• Propriétés de base : Les auteurs fournissent une preuve que les modes PVB forment une base orthonormée complète dans la limite d'une largeur d'anneau tendant vers zéro ($w \to 0$).

Signification et affirmations
L'article prétend fournir un « pont direct » entre les communautés des faisceaux structurés cohérents et de l'optique partiellement cohérente. En établissant que l'évolution des moments d'ordre deux des faisceaux OAM cohérents est régie par la même structure mathématique que celle des faisceaux TGSM, les auteurs affirment que la boîte à outils de propagation bien développée pour les faisceaux TGSM (incluant des solutions analytiques pour les systèmes ABCD) peut être appliquée directement aux faisceaux OAM cohérents sans calcul supplémentaire.

La signification réside dans la capacité à concevoir un faisceau TGSM partiellement cohérent qui imite la dynamique de propagation et le contenu OAM d'un état propre OAM cohérent spécifique, même si la structure détaillée du champ radial n'est pas reproduite. Inversement, cette équivalence permet la caractérisation des faisceaux OAM cohérents en utilisant les paramètres statistiques de la théorie TGSM. Les auteurs notent que cette équivalence s'applique spécifiquement aux moments d'ordre deux ; les détails structurels d'ordre supérieur restent distincts. Le travail clarifie également les conditions sous lesquelles des familles OAM spécifiques (LG, PVB, BG) se mappent sur des faisceaux TGSM physiquement réalisables, soulignant que pour les PVB et les BG, ce mapping requiert intrinsèquement un régime de faible cohérence.