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

Resumo Técnico: Transformações Não Ortogonais de Luz Estruturada Usando Modos Ince–Gaussianos Dependentes de Elipticidade

Enunciação do Problema
Campos de luz estruturada são tipicamente descritos usando conjuntos completos de soluções da equação de onda paraxial, tais como modos Hermite–Gaussianos (HG), Laguerre–Gaussianos (LG) e Ince–Gaussianos (IG). Os modos IG são particularmente notáveis como a família separável mais geral, oferecendo uma interpolação contínua entre simetrias cartesianas (HG) e circulares (LG) por meio de um parâmetro de elipticidade $\varepsilon$. Embora os modos IG formem uma base ortogonal completa para qualquer $\varepsilon$ fixo, modos associados a elipticidades diferentes não são mutuamente ortogonais. Apesar da existência teórica dos modos IG, a relação entre bases de diferentes elipticidades permanece amplamente inexplorada. Técnicas existentes de decomposição modal operam quase exclusivamente dentro de uma única base ortogonal, e nenhuma expressão analítica explícita e finita foi relatada para transformar diretamente entre bases IG de elipticidade arbitrária sem depender de decomposições numéricas intermediárias ou truncamentos de base. Consequentemente, a elipticidade não foi totalmente explorada como um grau de liberdade funcional para engenharia de luz estruturada.

Metodologia
Os autores derivam uma expressão analítica compacta para conectar modos IG de elipticidade arbitrária através de superposições finitas. A derivação emprega modos LG como uma base intermediária:

1. Derivação Teórica: Modos IG são expandidos na base LG, e modos LG são expressos como uma relação inversa de volta aos modos IG. Ao combinar essas expressões, os autores eliminam a base LG intermediária para estabelecer uma transformação direta entre uma base IG de elipticidade $\varepsilon_1$ e outra de elipticidade $\varepsilon_2$.
2. Formulação Analítica: A transformação é definida por coeficientes de ponderação complexos, $c_{p,m_2}(\varepsilon_1, \varepsilon_2)$, que são calculados tanto como uma soma finita de produtos de coeficientes de expansão quanto, mais diretamente, como integrais de sobreposição entre os dois modos IG (Equação 5). Esses coeficientes dependem dos coeficientes de Fourier dos polinômios Ince, que codificam a dependência da elipticidade.
3. Implementação Experimental: Para validar a teoria, os autores implementam uma configuração experimental usando Moduladores Espaciais de Luz (SLMs).
   • Geração: Um modo IG alvo ($IG^{\varepsilon_1}$) é gerado usando modulação de amplitude complexa no primeiro SLM.
   • Decomposição: O campo gerado é projetado sobre uma série de modos de base ($IG^{\varepsilon_2}$) usando um segundo SLM exibindo hologramas gerados por computador (CGH).
   • Medição: Os coeficientes de sobreposição são determinados medindo a intensidade no eixo no campo distante (plano de Fourier) usando uma câmera CMOS de alta sensibilidade. Tanto a amplitude (a partir da intensidade) quanto a fase intermodal (via interferência com modos de referência e superposição auxiliares) são recuperadas para reconstruir os coeficientes complexos.

Principais Contribuições

• Primeiro Mapeamento Analítico Explícito: O artigo fornece a primeira expressão analítica explícita e finita (Equação 5) que relaciona diretamente modos IG de elipticidade arbitrária. Esta formulação evita a necessidade de decomposições numéricas intermediárias.
• Caracterização da Não Ortogonalidade: O trabalho demonstra que modos IG com diferentes elipticidades formam uma família de bases mutuamente não ortogonais, mas completas. A transformação preserva a ortogonalidade apenas na ordem modal ($p$) e paridade ($\sigma$), enquanto o índice modal ($m$) torna-se não ortogonal quando $\varepsilon_1 \neq \varepsilon_2$.
• Eipticidade como Parâmetro Sintonizável: O estudo estabelece a elipticidade como um parâmetro de transformação contínuo que deforma a base modal, permitindo a redistribuição controlada do peso modal através de representações não ortogonais.

Resultados

• Validação Teórica: Os coeficientes derivados foram mostrados a reduzir-se à relação de ortogonalidade padrão quando $\varepsilon_1 = \varepsilon_2$. Quando $\varepsilon_1 \neq \varepsilon_2$, os coeficientes para modos com índices diferentes tornam-se não nulos, quantificando a "distância" entre bases no espaço de Hilbert.
• Concordância Numérica e Experimental: Simulações numéricas da redistribuição do peso modal em função de $\varepsilon_2$ corresponderam às previsões analíticas. Experimentalmente, os autores decomporam com sucesso um modo alvo ($IG^{4}_{5,3}$) em uma base de elipticidade fixa ($\varepsilon_2 = 2$). Os coeficientes complexos recuperados experimentalmente ($c_{5,1}, c_{5,3}, c_{5,5}$) mostraram concordância próxima com as previsões teóricas, reconstruindo com sucesso a amplitude e a fase do modo alvo.
• Observação de Deformação da Base: Os resultados confirmaram que, à medida que o desajuste de elipticidade aumenta, o peso modal redistribui-se do modo com índices idênticos para outros modos dentro da mesma ordem $p$, evidenciando a natureza não ortogonal da transformação.

Significância
O artigo afirma introduzir um quadro prático para explorar a elipticidade como um grau de liberdade sintonizável no design de frente de onda e engenharia de luz estruturada. Ao permitir transformações explícitas e mensuráveis entre bases IG dependentes de elipticidade, este trabalho expande o conjunto de ferramentas para processamento de informação óptica além dos quadros modais ortogonais convencionais. Os autores sugerem que essa capacidade permite a seleção adaptativa de base em esquemas de codificação modal, onde a elipticidade pode ser sintonizada para otimizar a capacidade de informação, minimizar o diafonia modal ou corresponder a condições de propagação específicas. O trabalho confirma que essas relações modais são não apenas analiticamente exatas, mas também acessíveis experimentalmente, oferecendo novas estratégias para conversão de modos e processamento de informação óptica de alta dimensão.