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

Este artículo demuestra que las matrices de covarianza de segundo orden de los modos propios de momento angular orbital coherentes con simetría cilíndrica son universalmente equivalentes a las de los haces de Schell-Gauss enroscados, estableciendo así una correspondencia directa de parámetros que permite describir completamente las características de propagación de diversas familias de momento angular orbital utilizando la caja de herramientas TGSM establecida.

Lo esencial

Imagina que estás observando dos tipos muy diferentes de haces de luz. Uno es un haz perfectamente organizado y coherente (como un láser) que gira con un "giro" específico en su estructura, conocido como un haz de Momento Angular Orbital (OAM). El otro es un haz desordenado y parcialmente caótico (como la luz de una lámpara que ha sido filtrada) llamado haz de Schell-Gaussian Enrollado (TGSM).

Por lo general, los físicos piensan que estos dos son animales completamente diferentes. Uno es un bailarín preciso que gira; el otro es una nube borrosa y retorcida.

El Gran Descubrimiento
Este artículo revela un secreto sorprendente: Si solo observas el comportamiento "promedio" de estos haces, son indistinguibles.

Piénsalo así: Imagina que tienes un trompo perfecto que gira (el haz OAM) y una nube de polvo que gira tambaleándose (el haz TGSM). Si tomas una fotografía de ellos cada segundo y mides solo su tamaño promedio, velocidad promedio y cuánto giran, obtendrás exactamente los mismos números para ambos.

Los autores demostraron que la "huella dactilar" matemática (llamada matriz de covarianza) utilizada para describir la nube caótica y retorcida es idéntica a la huella dactilar del trompo perfecto que gira.

El "Plano Universal"
El artículo muestra que para cualquier haz de luz que gira y es simétrico (se ve igual desde todos los ángulos alrededor del centro), sus estadísticas de segundo orden (su tamaño promedio y dispersión) dependen de solo tres cosas:

1. Qué tan ancho es en promedio.
2. Qué tan rápido se expande en promedio.
3. Cuántas veces gira (el "número OAM").

No importa si el haz tiene una forma matemática perfecta (como un haz Laguerre-Gaussiano) o un anillo de luz (como un haz de Vórtice Perfecto). Si comparten esos tres números, comparten la misma "huella dactilar".

La Conexión del "Giro"
Aquí está la parte ingeniosa de la analogía:

• En el haz giratorio perfecto, el giro proviene de las propias ondas de luz girando alrededor del centro (como un sacacorchos).
• En el haz de nube caótica, el giro proviene de una correlación especial entre diferentes partes de la luz, creando un "giro de fase" incluso cuando la luz no es perfectamente coherente.

El artículo muestra que la "cantidad de giro" en la nube caótica es matemáticamente equivalente al "número de giro" del haz perfecto. Es como si el caos de la nube se organizara secretamente para imitar el giro del haz perfecto.

¿Por qué es esto importante? (Según el artículo)
Los autores explican que esta equivalencia es un atajo poderoso.

• La caja de herramientas: Los físicos tienen una enorme y bien desarrollada "caja de herramientas" de matemáticas para predecir cómo se comportarán las nubes caóticas y retorcidas (haces TGSM) a medida que viajan a través de lentes, aire o espacio.
• El atajo: Dado que las huellas dactilares son idénticas, puedes usar esa misma caja de herramientas para predecir exactamente cómo se comportarán los haces giratorios perfectos. No necesitas realizar nuevos cálculos difíciles para los haces perfectos; simplemente utilizas los resultados que ya tienes para los caóticos.

Ejemplos Específicos Probados
Los autores probaron esta idea en tres familias específicas de haces de luz:

1. Laguerre-Gaussiano (LG): Los clásicos haces láser con forma de "dona".
2. Vórtice Perfecto (PVB): Haces que forman un anillo que mantiene el mismo tamaño independientemente de cuánto gire.
3. Bessel-Gaussiano (BG): Haces que tienen un núcleo estrecho y pueden repararse a sí mismos si son bloqueados.

Para los tres, descubrieron que se pueden emparejar con un tipo específico de haz TGSM caótico. Si los emparejas correctamente, harán lo siguiente:

• Crecerán y se encogerán a exactamente la misma velocidad a medida que viajan.
• Se expandirán (divergirán) de exactamente la misma manera.
• Tendrán exactamente la misma puntuación de "calidad del haz" ($M^2$).

Los Límites del Emparejamiento
El artículo también señala algunos límites:

• Calle de un solo sentido: Aunque cualquiera de estos haces perfectos puede ser imitado por uno caótico, lo inverso no siempre es cierto. Un haz caótico podría tener una "huella dactilar" que ningún haz perfecto puede igualar, porque los haces perfectos están restringidos a pasos específicos y discretos (como números enteros), mientras que los caóticos pueden ser continuos.
• Unicidad: Para los clásicos haces Laguerre-Gaussiano, la huella dactilar es única. Si conoces el tamaño promedio y la dispersión, sabes exactamente qué haz es. Para los otros tipos (Vórtice Perfecto y Bessel-Gaussiano), la huella dactilar te dice las características principales, pero podría haber un pequeño margen de ambigüedad en los detalles exactos.

En Resumen
El artículo une dos mundos de la óptica. Demuestra que un haz de luz perfectamente ordenado y giratorio y un haz de luz parcialmente caótico y retorcido son gemelos de segundo orden. Se ven diferentes de cerca, pero si mides su tamaño promedio, dispersión y giro, son idénticos. Esto permite a los científicos utilizar las matemáticas sencillas de los haces caóticos para predecir el comportamiento de los haces giratorios complejos.

Resumen técnico

Resumen Técnico: Equivalencia de Momentos de Segundo Orden de los Hazes del Modelo de Schell Gaussiano Retorcido y los Modos Propios de Momento Angular Orbital

Planteamiento del Problema
El estudio de los campos ópticos estructurados se ha desarrollado históricamente a lo largo de dos vías largely independientes: la investigación de los modos propios de momento angular orbital (OAM) completamente coherentes (tales como los haces Laguerre-Gaussiano, Bessel-Gaussiano y Vórtice Perfecto) y la teoría de los haces del modelo de Schell Gaussiano retorcido (TGSM) parcialmente coherentes. Mientras que los modos propios de OAM se caracterizan por una carga topológica $\ell$ bien definida y un perfil radial específico $U(r)$, los haces TGSM se definen por su función de coherencia mutua, incorporando una fase "retorcida" que induce correlaciones entre los grados de libertad espaciales y angulares transversales. Aunque se sabe que los haces TGSM pueden descomponerse en una mezcla estadística de modos OAM, y que el OAM se codifica en los momentos cruzados de haces arbitrarios, no se había establecido explícitamente una equivalencia estructural directa entre las matrices de covarianza de estados propios de OAM coherentes individuales y los haces TGSM. El problema central abordado es si las propiedades estadísticas de segundo orden de un haz coherente de OAM pueden mapearse exactamente sobre un haz TGSM, permitiendo así aplicar la extensa caja de herramientas de propagación de la óptica parcialmente coherente a la luz estructurada coherente.

Metodología
Los autores emplean un análisis riguroso basado en momentos para comparar las matrices de covarianza (CM) de dos clases distintas de haces:

1. Modos Propios de OAM Coherentes: Definidos por la función de onda $\psi(\vec{r}) = U(r)e^{i\ell\phi}$. Los autores derivan la forma general de la CM para cualquier estado propio de OAM simétrico cilíndricamente, calculando los valores esperados de posición ($x, y$), vector de onda ($k_x, k_y$) y sus productos cruzados. Estos cálculos dependen del perfil radial $U(r)$ únicamente a través de los segundos momentos $\langle r^2 \rangle$ y $\langle k_r^2 \rangle$.
2. Haces del Modelo de Schell Gaussiano Retorcido (TGSM): Definidos por una función específica de densidad espectral cruzada que contiene un parámetro de retorcimiento $u$. Se revisa la CM estándar para haces TGSM, la cual caracteriza anchos de haz, curvaturas, longitudes de coherencia y correlaciones espaciales-angulares.

La metodología central implica una comparación término a término de la CM derivada para el estado propio general de OAM frente a la CM estándar de TGSM. Los autores aplican luego esta correspondencia general a tres familias específicas de haces:

• Modos Laguerre-Gaussiano (LG): Utilizando sus perfiles radiales analíticos conocidos.
• Haces Vórtice Perfecto (PVB): Empleando aproximaciones para el límite de anillo estrecho ($R \gg w$).
• Haces Bessel-Gaussiano (BG): Aplicando aproximaciones para el régimen donde la función de Bessel oscila muchas veces dentro de la envolvente gaussiana.

Para cada familia, los autores derivan identificaciones explícitas de parámetros que vinculan los parámetros del haz de OAM (por ejemplo, cintura $w_0$, índice radial $p$, radio del anillo $R$) con los parámetros TGSM (cintura del haz $\sigma$, retorcimiento $u$, longitud de coherencia $\delta$). Además, investigan las condiciones de realizabilidad física (asegurando que los parámetros TGSM satisfagan la restricción similar a la incertidumbre $|u| \leq 1/k\delta^2$) y la invertibilidad del mapeo (determinando si la CM recupera unívocamente los parámetros del haz).

Contribuciones y Resultados Clave

• Estructura Universal de Covarianza: El artículo demuestra que la matriz de covarianza de cualquier modo propio de OAM coherente simétrico cilíndricamente adopta una forma universal que depende únicamente de $\langle r^2 \rangle$, $\langle k_r^2 \rangle$ y el número cuántico $\ell$. Crucialmente, esta matriz comparte el mismo patrón exacto de entradas cero/no cero que la matriz de covarianza TGSM.
• Mapeo Directo de Parámetros: Los autores establecen una identificación directa, término a término, entre los dos tipos de haces:
  • El ancho del haz $\sigma^2$ corresponde a $\langle r^2 \rangle/2$.
  • La varianza del vector de onda $\tau^2$ corresponde a $\langle k_r^2 \rangle/2$.
  • El parámetro de retorcimiento TGSM $u$ es directamente proporcional al número cuántico de OAM $\ell$ e inversamente proporcional al ancho del haz ($u = \ell / k\langle r^2 \rangle$).
  • La longitud de coherencia $\delta$ está determinada por la diferencia entre la varianza del vector de onda y la contribución del momento angular.
• Realizabilidad Específica por Familia:
  • Modos LG: El mapeo es siempre físicamente realizable para cualquier orden de modo entero. Sin embargo, la correspondencia es discreta; no todo haz TGSM arbitrario puede ser realizado por un modo LG porque el producto de los segundos momentos para modos LG está cuantizado.
  • PVB y Haces BG: En los regímenes de interés (anillos estrechos para PVB, muchas oscilaciones para BG), los haces TGSM coincidentes exhiben necesariamente baja coherencia ($\sigma^2/\delta^2 \gg 1$). En estos límites, la longitud de coherencia se desacopla efectivamente del número de OAM $\ell$.
• Clases de Equivalencia de Segundo Orden: El trabajo define una "relación de equivalencia de segundo orden" donde dos haces son equivalentes si comparten la misma CM. En consecuencia, cualquier haz de OAM coherente y su haz TGSM coincidente son indistinguibles con respecto a todos los observables de segundo orden bajo transformaciones simplécticas (ABCD) arbitrarias. Esto incluye una evolución idéntica del ancho del haz, rango de Rayleigh, divergencia en campo lejano y factores de calidad de haz $M^2$.
• Unicidad de Parámetros: El artículo demuestra que para modos LG, la matriz de covarianza determina de manera única y exacta los parámetros del haz ($w_0$ y $p$). Para PVB y haces BG, la CM determina los parámetros al orden principal dentro de las aproximaciones relevantes, aunque la unicidad exacta a partir de las ecuaciones de momentos completas sigue siendo una pregunta abierta.
• Propiedades de la Base: Los autores proporcionan una prueba de que los modos PVB forman una base ortonormal completa en el límite de ancho de anillo nulo ($w \to 0$).

Significado y Afirmaciones
El artículo afirma proporcionar un "puente directo" entre las comunidades de haces estructurados coherentes y óptica parcialmente coherente. Al establecer que la evolución de momentos de segundo orden de haces de OAM coherentes está gobernada por la misma estructura matemática que los haces TGSM, los autores afirman que la caja de herramientas de propagación bien desarrollada para haces TGSM (incluyendo soluciones analíticas para sistemas ABCD) puede aplicarse directamente a haces de OAM coherentes sin cálculos adicionales.

El significado radica en la capacidad de diseñar un haz TGSM parcialmente coherente que imite la dinámica de propagación y el contenido de OAM de un estado propio de OAM coherente específico, incluso si la estructura detallada del campo radial no se reproduce. Por el contrario, esta equivalencia permite la caracterización de haces de OAM coherentes utilizando los parámetros estadísticos de la teoría TGSM. Los autores señalan que esta equivalencia se mantiene específicamente para momentos de segundo orden; los detalles estructurales de orden superior permanecen distintos. El trabajo también aclara las condiciones bajo las cuales familias específicas de OAM (LG, PVB, BG) se mapean sobre haces TGSM físicamente realizables, destacando que para PVB y BG, este mapeo requiere inherentemente un régimen de baja coherencia.