Mathematical derivation and verification of the amplitude of LISA's interferometric signals on an ultra-stable interferometer testbed

Resumo Técnico: Derivação Matemática e Verificação da Amplitude dos Sinais Interferométricos da LISA

Definição do Problema
A missão LISA (Laser Interferometer Space Antenna) visa detectar ondas gravitacionais medindo o afastamento entre massas de teste (TMs) em queda livre com sensibilidade de nível picométrico ($\text{pm}/\sqrt{\text{Hz}}$). Um desafio crítico para alcançar essa sensibilidade é a presença de inclinações de feixe (beam tilts) nos fotodetectores, causadas pelo jitter angular da espaçonave e da massa de teste. Essas inclinações degradam a eficiência de heteródino (HE) — a sobreposição entre os feixes interferentes — reduzindo, consequentemente, a amplitude do sinal e a razão sinal-ruído (SNR). Uma SNR reduzida aumenta o acoplamento de ruído de leitura aditivo (como o ruído de disparo/shot noise e o ruído eletrônico) na medição de fase. Embora trabalhos anteriores tenham estabelecido a relação entre a inclinação do feixe e o sinal de DWS (Differential Wavefront Sensing), faltava um modelo analítico abrangente que descrevesse a resposta de amplitude dependente da inclinação (HE) para detectores finitos, particularmente para Fotodiodos de Quadrante (QPDs) com descasamentos de curvatura de frente de onda, especificamente para a topologia da LISA. Além disso, o impacto dessas variações de amplitude no orçamento total de ruído de fase, distinguindo entre fontes de ruído correlacionadas e não correlacionadas, exigia uma quantificação rigorosa.

Metodologia
Os autores desenvolveram uma estrutura analítica baseada em aproximações mínimas e fisicamente justificadas para relacionar a inclinação do feixe à amplitude do sinal de heteródino. O estudo considera duas topologias interferométricas primárias relevantes para a LISA:

1. Interferômetro de Massa de Teste (TMI): Interferência entre dois feixes Gaussianos de modo fundamental (GB-GB).
2. Interferômetro de Ciência (SCI): Interferência entre um feixe Gaussiano e um feixe de topo plano (flat-top/top-hat) (GB-TH), resultante da propagação de um feixe Gaussiano por distâncias interplanetárias e subsequente corte (clipping).

A análise abrange dois geometrias de detector:

• Fotodiodos de Elemento Único (SEPDs): Utilizados para completude teórica e comparação.
• Fotodiodos de Quadrante (QPDs): Os detectores reais utilizados na LISA, modelados como segmentos sem fendas para tratabilidade analítica, com extensões para tamanhos finitos.

A derivação procede por:

1. Definir os campos elétricos do feixe de referência e do feixe de medição em um referencial de laboratório, contabilizando a rotação do feixe em torno do centro do detector.
2. Calcular a integral de sobreposição das intensidades dos feixes sobre a superfície do detector para determinar o termo de potência de heteródino.
3. Derivar soluções exatas para detectores infinitos e aproximações de série de Maclaurin de forma fechada (até sétima ordem) para detectores finitos.
4. Validar essas expressões analíticas contra simulações numéricas (usando um integrador personalizado) e medições experimentais.
5. Utilizar os modelos de HE derivados para quantificar o acoplamento dependente da inclinação do ruído de fase, distinguindo entre ruídos não correlacionados (ruído de disparo, ruído eletrônico) e ruídos correlacionados (Ruído de Intensidade Relativa - RIN).

A validação experimental foi realizada no Tilt-to-Length (TTL) coupling e no DWS Optical Bench Simulator (TDOBS), um banco óptico de teste ultraestável representativo do banco óptico da LISA. A configuração utilizou um laser Nd:YAG de 1064 nm, moduladores acusto-ópticos para deslocamento de frequência e QPDs comerciais com seus respectivos amplificadores de transimpedância.

Principais Contribuições

1. Modelos Analíticos de HE: O artigo fornece expressões analíticas exatas para a eficiência de heteródino de SEPDs e QPDs infinitos, além de aproximações de série de Maclaurin para detectores finitos. Esses modelos incorporam explicitamente o raio efetivo do ponto (spot radius), o descasamento de curvatura de frente de onda ($\rho$) e o ângulo de inclinação ($\theta$).
2. Descoberta de Assimetria nos QPDs: Uma descoberta inovadora é que, na presença de descasamento de curvatura de frente de onda ($\rho \neq 0$), a eficiência de heteródino de segmentos individuais de QPD torna-se assimétrica em relação ao ângulo de inclinação. Especificamente, o pico de HE para os segmentos superior e inferior desloca-se para ângulos de inclinação opostos e não nulos. Este efeito não havia sido modelado anteriormente no contexto do ruído de leitura da LISA.
3. Fatores de Acoplamento de Ruído: Os autores derivam novos fatores de acoplamento ($k_{unc}$, $k_{cor,\Sigma}$, $k_{cor,\Delta}$) que capturam a dependência angular dos ruídos de fase não correlacionados e correlacionados em leituras de QPD. Esses fatores demonstram que tratar o QPD como uma entidade única (ou assumir uma resposta de segmento simétrica) é insuficiente quando há descasamentos de curvatura de frente de obra, pois a contribuição de ruído dos segmentos com menor HE é dominante.
4. Verificação Experimental: Os modelos analíticos foram validados contra medições de alta precisão no banco de testes TDOBS. Os resultados confirmaram a assimetria prevista nos picos de HE para as metades do QPD e a dependência geral da HE em relação à inclinação e ao descasamento de curvatura.
5. Impacto no Orçamento de Ruído da LISA: O estudo quantifica a penalidade de ruído associada à operação das massas de teste em pequenas inclinações estáticas (para corrigir desalinhamentos do banco óptico, uma estratégia conhecida como "DWS-zero"). A análise sugere que, embora a inclinação melhore a HE, a redução de ruído resultante é marginal (ordem de $10^{-3}$) comparada ao potencial aumento do ruído de acoplamento TTL, sugerindo que operar com um offset de DWS pode ser preferível.

Resultos

• Degradação da HE: Inclinações de feixe reduzem significamente a HE. Para uma configuração típica da LISA, uma inclinação de 1 mrad pode reduzir a HE em até cinco vezes.
• Descasamento de Curvatura de Frente de Onda: O parâmetro $\rho$ (descasamento de curvatura de frente de onda normalizado) é um fator crítico. Mesmo com inclinação zero, um $\rho$ não nulo reduz a HE máxima alcançável. Mais importante, ele faz com que o pico de HE se desloque para longe do zero de inclinação para segmentos individuais de QPD, criando uma assimetria que aumenta o acoplamento de ruído de fase global.
• Aumento de Ruído: No pior cenário (máximo $\rho$ esperado na LISA), a presença de descasamento de curvatura de frente de onda aumenta o ruído de leitura não correlacionado em aproximadamente 10-16% mesmo sem inclinações. Com as inclinações, o acoplamento de ruído aumenta ainda mais.
• Concordância Experimental: As medições experimentais da HE normalizada versus o ângulo de inclinação no banco de testes TDOBS mostraram excelente concordância com os modelos numéricos e as aproximações analíticas, particularmente ao capturar a assimetria entre as metades do QPD.
• Compromisso de Inclinação Estática: Cálculos para o TMI indicam que inclinar intencionalmente a massa de teste para compensar desalinhamentos do LOB (para atingir o DWS-zero) produz uma redução muito modesta no ruído interferométrico (aumento relativo de $\sim 10^{-3}$ a $10^{-2}$). Este pequeno ganho é provavelmente superado pelo aumento do acoplamento do jitter lateral da massa de teste ao sinal de comprimento de caminho (ruído TTL).

Significância e Alegações
O artigo alega fornecer a primeira descrição analítica da eficiência de heteródino para QPDs que considera a assimetria induzida por descasamentos de curvatura de frente de onda. Isso é significativo porque corrige uma possível omissão no orçamento de ruído onde se assumia que os segmentos de QPD possuíam respostas idênticas. Os autores enfatizam que, para uma modelagem precisa do ruído de fase na LISA, o QPD deve ser tratado como um todo, e o comportamento dos segmentos individuais deve ser considerado quando há descasamentos de frente de onda.

Os modelos derivados são gerais e aplicáveis a qualquer topologia interferométrica sujeita a inclinações em torno do plano do detector, embora sejam especificamente adaptados às restrições de interferômetros espaciais como LISA, Taiji e Tianqin. O trabalho fornece uma função compacta para capturar a dependência angular dos ruídos de fase correlacionados e não correlacionados, oferecendo uma ferramenta para otimizar o projeto e a operação de futuras missões de ondas gravitacionais. Os autores concluem modestamente que, embora seus modelos prevejam um benefício de ruído ao corrigir desalinhamentos via inclinação estática, o benefício líquido é provavelmente insignificante comparado à penalidade de ruído TTL, uma conclusão apoiada pelos dados experimentais e pela publicação pendente sobre o desempenho de DWS.