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

Resumen Técnico: Transformaciones No Ortogonales de Luz Estructurada Mediante Modos Ince–Gaussianos Dependientes de la Elipticidad

Enunciado del Problema
Los campos de luz estructurada se describen típicamente utilizando conjuntos completos de soluciones a la ecuación de onda paraxial, como los modos Hermite–Gaussianos (HG), Laguerre–Gaussianos (LG) e Ince–Gaussianos (IG). Los modos IG son particularmente notables como la familia separable más general, ofreciendo una interpolación continua entre las simetrías cartesianas (HG) y circulares (LG) mediante un parámetro de elipticidad $\varepsilon$. Si bien los modos IG forman una base ortogonal completa para cualquier $\varepsilon$ fijo, los modos asociados a diferentes elipticidades no son mutuamente ortogonales. A pesar de la existencia teórica de los modos IG, la relación entre bases de diferentes elipticidades permanece en gran medida inexplorada. Las técnicas existentes de descomposición modal operan casi exclusivamente dentro de una única base ortogonal, y no se ha reportado ninguna expresión analítica explícita y finita que transforme directamente entre bases IG de elipticidad arbitraria sin depender de descomposiciones numéricas intermedias o truncamientos de base. En consecuencia, la elipticidad no ha sido explotada plenamente como un grado de libertad funcional para la ingeniería de luz estructurada.

Metodología
Los autores derivan una expresión analítica compacta para conectar modos IG de elipticidad arbitraria mediante superposiciones finitas. La derivación emplea modos LG como una base intermedia:

1. Derivación Teórica: Los modos IG se expanden en la base LG, y los modos LG se expresan mediante una relación inversa hacia los modos IG. Al combinar estas expresiones, los autores eliminan la base LG intermedia para establecer una transformación directa entre una base IG de elipticidad $\varepsilon_1$ y otra de elipticidad $\varepsilon_2$.
2. Formulación Analítica: La transformación se define mediante coeficientes de ponderación complejos, $c_{p,m_2}(\varepsilon_1, \varepsilon_2)$, que se calculan ya sea como una suma finita de productos de coeficientes de expansión o, más directamente, como integrales de solapamiento entre los dos modos IG (Ecuación 5). Estos coeficientes dependen de los coeficientes de Fourier de los polinomios de Ince, que codifican la dependencia de la elipticidad.
3. Implementación Experimental: Para validar la teoría, los autores implementan una configuración experimental utilizando Moduladores Espaciales de Luz (SLM).
   • Generación: Un modo IG objetivo ($IG^{\varepsilon_1}$) se genera mediante modulación de amplitud compleja en el primer SLM.
   • Descomposición: El campo generado se proyecta sobre una serie de modos base ($IG^{\varepsilon_2}$) utilizando un segundo SLM que muestra hologramas generados por computadora (CGH).
   • Medición: Los coeficientes de solapamiento se determinan midiendo la intensidad en el eje en el campo lejano (plano de Fourier) mediante una cámara CMOS de alta sensibilidad. Se recuperan tanto la amplitud (a partir de la intensidad) como la fase intermodal (mediante interferencia con modos de referencia y superposición auxiliares) para reconstruir los coeficientes complejos.

Contribuciones Clave

• Primera Mapeo Analítico Explícito: El artículo proporciona la primera expresión analítica explícita y finita (Ecuación 5) que relaciona directamente modos IG de elipticidad arbitraria. Esta formulación evita la necesidad de descomposiciones numéricas intermedias.
• Caracterización de la No Ortogonalidad: El trabajo demuestra que los modos IG con diferentes elipticidades forman una familia de bases mutuamente no ortogonales pero completas. La transformación preserva la ortogonalidad únicamente en el orden modal ($p$) y la paridad ($\sigma$), mientras que el índice modal ($m$) se vuelve no ortogonal cuando $\varepsilon_1 \neq \varepsilon_2$.
• Elipticidad como Parámetro Sintonizable: El estudio establece la elipticidad como un parámetro de transformación continuo que deforma la base modal, permitiendo la redistribución controlada del peso modal a través de representaciones no ortogonales.

Resultados

• Validación Teórica: Se demostró que los coeficientes derivados se reducen a la relación de ortogonalidad estándar cuando $\varepsilon_1 = \varepsilon_2$. Cuando $\varepsilon_1 \neq \varepsilon_2$, los coeficientes para modos con diferentes índices se vuelven no nulos, cuantificando la "distancia" entre bases en el espacio de Hilbert.
• Acuerdo Numérico y Experimental: Las simulaciones numéricas de la redistribución del peso modal en función de $\varepsilon_2$ coincidieron con las predicciones analíticas. Experimentalmente, los autores descompusieron con éxito un modo objetivo ($IG^{4}_{5,3}$) en una base de elipticidad fija ($\varepsilon_2 = 2$). Los coeficientes complejos recuperados experimentalmente ($c_{5,1}, c_{5,3}, c_{5,5}$) mostraron una estrecha concordancia con las predicciones teóricas, reconstruyendo con éxito la amplitud y la fase del modo objetivo.
• Observación de la Deformación de la Base: Los resultados confirmaron que, a medida que aumenta el desajuste de elipticidad, el peso modal se redistribuye desde el modo con índices idénticos hacia otros modos dentro del mismo orden $p$, evidenciando la naturaleza no ortogonal de la transformación.

Significado
El artículo afirma introducir un marco práctico para explotar la elipticidad como un grado de libertad sintonizable en el diseño de frentes de onda y la ingeniería de luz estructurada. Al permitir transformaciones explícitas y medibles entre bases IG dependientes de la elipticidad, este trabajo expande el conjunto de herramientas para el procesamiento de información óptica más allá de los marcos modales ortogonales convencionales. Los autores sugieren que esta capacidad permite la selección adaptativa de bases en esquemas de codificación modal, donde la elipticidad puede ajustarse para optimizar la capacidad de información, minimizar la diafonía modal o coincidir con condiciones de propagación específicas. El trabajo confirma que estas relaciones modales no solo son analíticamente exactas, sino también accesibles experimentalmente, ofreciendo nuevas estrategias para la conversión de modos y el procesamiento de información óptica de alta dimensión.