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

Resumo Técnico: Equivalência de Momentos de Segunda Ordem de Feixes do Modelo de Schell-Gaussiano Torcido e Modos Autovalores de Momento Angular Orbital

Declaração do Problema
O estudo de campos ópticos estruturados desenvolveu-se historicamente ao longo de duas trilhas amplamente independentes: a investigação de modos autovalores de momento angular orbital (OAM) totalmente coerentes (como feixes de Laguerre-Gaussiano, Bessel-Gaussiano e Vórtice Perfeito) e a teoria de feixes do Modelo de Schell-Gaussiano Torcido (TGSM) parcialmente coerentes. Enquanto os modos autovalores de OAM são caracterizados por uma carga topológica bem definida $\ell$ e um perfil radial específico $U(r)$, os feixes TGSM são definidos por sua função de coerência mútua, incorporando uma fase de "torção" que induz correlações entre os graus de liberdade espaciais e angulares transversais. Embora seja conhecido que os feixes TGSM podem ser decompostos em uma mistura estatística de modos de OAM, e que o OAM é codificado nos momentos cruzados de feixes arbitrários, uma equivalência estrutural direta entre as matrizes de covariância de estados próprios coerentes individuais de OAM e feixes TGSM não havia sido explicitamente estabelecida. O problema central abordado é se as propriedades estatísticas de segunda ordem de um feixe coerente de OAM podem ser mapeadas exatamente sobre um feixe TGSM, permitindo assim que a extensa caixa de ferramentas de propagação da óptica parcialmente coerente seja aplicada à luz estruturada coerente.

Metodologia
Os autores empregam uma análise rigorosa baseada em momentos para comparar as matrizes de covariância (MC) de duas classes distintas de feixes:

1. Modos Autovalores Coerentes de OAM: Definidos pela função de onda $\psi(\vec{r}) = U(r)e^{i\ell\phi}$. Os autores derivam a forma geral da MC para qualquer estado próprio de OAM com simetria cilíndrica, calculando os valores esperados de posição ($x, y$), vetor de onda ($k_x, k_y$) e seus produtos cruzados. Esses cálculos dependem do perfil radial $U(r)$ apenas através dos momentos de segunda ordem $\langle r^2 \rangle$ e $\langle k_r^2 \rangle$.
2. Feixes do Modelo de Schell-Gaussiano Torcido (TGSM): Definidos por uma função específica de densidade espectral cruzada contendo um parâmetro de torção $u$. A MC padrão para feixes TGSM é revisada, caracterizando larguras de feixe, curvaturas, comprimentos de coerência e correlações espaciais-angulares.

A metodologia central envolve uma comparação termo a termo da MC derivada para o estado próprio geral de OAM contra a MC padrão de TGSM. Os autores então aplicam essa correspondência geral a três famílias específicas de feixes:

• Modos de Laguerre-Gaussiano (LG): Utilizando seus perfis radiais analíticos conhecidos.
• Feixes de Vórtice Perfeito (PVBs): Utilizando aproximações para o limite de anel estreito ($R \gg w$).
• Feixes de Bessel-Gaussiano (BG): Aplicando aproximações para o regime onde a função de Bessel oscila muitas vezes dentro do envelope gaussiano.

Para cada família, os autores derivam identificações explícitas de parâmetros ligando os parâmetros do feixe de OAM (por exemplo, cintura $w_0$, índice radial $p$, raio do anel $R$) aos parâmetros do TGSM (cintura do feixe $\sigma$, torção $u$, comprimento de coerência $\delta$). Eles investigam ainda as condições para realizabilidade física (garantindo que os parâmetros do TGSM satisfaçam a restrição semelhante à incerteza $|u| \leq 1/k\delta^2$) e a invertibilidade do mapeamento (determinando se a MC recupera unicamente os parâmetros do feixe).

Principais Contribuições e Resultados

• Estrutura Universal de Covariância: O artigo demonstra que a matriz de covariância de qualquer modo próprio coerente de OAM com simetria cilíndrica assume uma forma universal dependente apenas de $\langle r^2 \rangle$, $\langle k_r^2 \rangle$ e do número quântico $\ell$. Crucialmente, essa matriz compartilha o mesmo padrão exato de entradas zero/não-zero que a matriz de covariância do TGSM.
• Mapeamento Direto de Parâmetros: Os autores estabelecem uma identificação direta, termo a termo, entre os dois tipos de feixe:
  • A largura do feixe $\sigma^2$ corresponde a $\langle r^2 \rangle/2$.
  • A variância do vetor de onda $\tau^2$ corresponde a $\langle k_r^2 \rangle/2$.
  • O parâmetro de torção do TGSM $u$ é diretamente proporcional ao número quântico de OAM $\ell$ e inversamente proporcional à largura do feixe ($u = \ell / k\langle r^2 \rangle$).
  • O comprimento de coerência $\delta$ é determinado pela diferença entre a variância do vetor de onda e a contribuição do momento angular.
• Realizabilidade Específica por Família:
  • Modos LG: O mapeamento é sempre fisicamente realizável para qualquer ordem de modo inteira. No entanto, a correspondência é discreta; nem todo feixe TGSM arbitrário pode ser realizado por um modo LG, porque o produto dos momentos de segunda ordem para modos LG é quantizado.
  • PVBs e Feixes BG: Nos regimes de interesse (anéis estreitos para PVBs, muitas oscilações para BG), os feixes TGSM correspondentes exibem necessariamente baixa coerência ($\sigma^2/\delta^2 \gg 1$). Nesses limites, o comprimento de coerência torna-se efetivamente desacoplado do número de OAM $\ell$.
• Classes de Equivalência de Segunda Ordem: O trabalho define uma "relação de equivalência de segunda ordem" onde dois feixes são equivalentes se compartilharem a mesma MC. Consequentemente, qualquer feixe coerente de OAM e seu feixe TGSM correspondente são indistinguíveis em relação a todos os observáveis de segunda ordem sob transformações simpléticas (ABCD) arbitrárias. Isso inclui evolução idêntica da largura do feixe, distância de Rayleigh, divergência no campo distante e fatores de qualidade de feixe $M^2$.
• Unicidade de Parâmetros: O artigo prova que, para modos LG, a matriz de covariância determina de forma única e exata os parâmetros do feixe ($w_0$ e $p$). Para PVBs e feixes BG, a MC determina os parâmetros à ordem principal dentro das aproximações relevantes, embora a unicidade exata a partir das equações completas de momentos permaneça uma questão em aberto.
• Propriedades da Base: Os autores fornecem uma prova de que os modos PVB formam uma base ortonormal completa no limite de largura de anel nula ($w \to 0$).

Significado e Alegações
O artigo alega fornecer uma "ponte direta" entre as comunidades de feixes estruturados coerentes e óptica parcialmente coerente. Ao estabelecer que a evolução do momento de segunda ordem de feixes coerentes de OAM é governada pela mesma estrutura matemática que os feixes TGSM, os autores afirmam que a caixa de ferramentas de propagação bem desenvolvida para feixes TGSM (incluindo soluções analíticas para sistemas ABCD) pode ser aplicada diretamente a feixes coerentes de OAM sem cálculos adicionais.

O significado reside na capacidade de projetar um feixe TGSM parcialmente coerente que imite a dinâmica de propagação e o conteúdo de OAM de um estado próprio específico de OAM coerente, mesmo que a estrutura detalhada do campo radial não seja reproduzida. Inversamente, essa equivalência permite a caracterização de feixes coerentes de OAM usando os parâmetros estatísticos da teoria TGSM. Os autores observam que essa equivalência vale especificamente para momentos de segunda ordem; detalhes estruturais de ordem superior permanecem distintos. O trabalho também esclarece as condições sob as quais famílias específicas de OAM (LG, PVB, BG) mapeiam para feixes TGSM fisicamente realizáveis, destacando que, para PVBs e BGs, esse mapeamento inerentemente requer um regime de baixa coerência.