A Bayesian framework for posterior bounds on self-replicating probes in the Solar System under observational incompleteness

Resumo Técnico: Uma Estrutura Bayesiana para Limites Posteriores de Sondas Autorreplicantes no Sistema Solar

Declaração do Problema
Apesar de décadas de buscas sistemáticas, nenhuma evidência robusta de artefatos extraterrestres (sondas autorreplicantes) dentro do Sistema Solar foi relatada. Embora o "Paradoxo de Fermi" tenha sido extensivamente analisado em relação à prevalência de civilizações na Galáxia, há uma carência de uma inferência unificada de ponta a ponta que traduza quantitativamente a ausência de detecções em regiões específicas do Sistema Solar em uma restrição falsificável sobre o número esperado ($\lambda$) de sondas residentes. As estruturas existentes focam ou nos parâmetros da equação de Drake para civilizações Galácticas (ex: Sandberg et al., 2018) ou discutem qualitativamente alvos de busca sem integrar dados heterogêneos de completude de levantamento em uma única distribuição posterior.

Metodologia
Os autores constroem uma estrutura de inferência Bayesiana que combina um prior paramétrico com uma verossimilhança de Poisson derivada de resultados nulos observacionais.

1. Construção do Prior: O modelo adota um prior log-uniformo em $\lambda$, derivado de um produto de fatores do tipo equação de Drake (taxa de formação estelar, fração de planetas habitáveis, probabilidade de inteligência, etc.) estendido para incluir parâmetros específicos de sondas ($f_{probe}$ e o número de estado estacionário de sondas por sistema $\langle n_{probe/sys} \rangle$). Isso resulta em um prior de cauda pesada com um limite superior de 95% de $\lambda_{prior} \approx 230$.
2. Função de Verossimilhança: A verossimilhança é modelada como um evento de zero-detecção de tentativa única de Poisson: $L(\lambda) \propto e^{-\lambda p_{det}}$. Aqui, $p_{det}$ representa a probabilidade efetiva de que uma única sonda, se presente, teria sido detectada pelos levantamentos existentes.
3. Decomposição da Probabilidade de Detecção ($p_{det}$): A estrutura decompõe $p_{det}$ através de sete regiões distintas do Sistema Solar: Objetos Próximos à Terra (NEOs), co-orbitais da Terra, pontos de Lagrange Terra-Lua, superfície lunar, cinturão principal de asteroides, Cinturão de Kuiper e o Sistema Solar externo/miscelânea.
   • Para cada região, uma curva de completude dependente do tamanho $p^{(i)}(d)$ é construída através da inversão ou interpolação de dados de eficiência de levantamento publicados (ex: Harris & Chodas para NEOs, Gregg & Wiegert para pontos de Lagrange).
   • Um cenário de peso de residência ($w_i$) é aplicado para ponderar a contribuição de cada região para o $p_{det}$ total. Três cenários são testados: "Default" (dominado pelo sistema solar externo), "Diffuse" (distribuição de volume uniforme) e "Lurker" (concentrado em co-orbitais da Terra).
4. Implementação: A inferência é executada via amostragem de Monte Carlo ($N = 2 \times 10^5$) usando um pacote Python (seta_bayesian). O código inclui uma suíte de testes rigorosa que verifica limites de prior, monotonicidade de completude e convergência.

Resultos Principais
O estudo reporta limites superiores posteriores de 95% em $\lambda$ para três tamanhos canônicos de sondas (10 m, 100 m e 1 km) sob os três cenários de residência, com base nos dados disponíveis até 2025.

• Restrições Atuais (2025):
  • Sondas de 10 m: Sob o modelo de residência padrão (default), o limite superior de 95% é $\lambda < 14,3$. O limite é frouxo porque a probabilidade de detecção efetiva é baixa ($p_{det} \approx 0,0019$), impulsionada pela suposição de que a maioria das sondas reside no sistema solar externo, onde a completude de levantamento é negligenciável para este tamanho.
  • Sondas de 100 m: O limite torna-se mais rigoroso: $\lambda < 3,16$.
  • Sondas de 1 km: O limite torna-se significativamente mais rigoroso: $\lambda < 0,68$. Nesta escala, o posterior está "saturado pelo prior" porque os levantamentos existentes (NEO, Cinturão Principal) já estão próximos da completude ($>90\%$) para objetos deste tamanho; os dados adicionam pouca informação além da cauda superior do prior.
• Sensibilidade: O cenário "Lurker" (sondas em co-orbitais da Terra) produz os limites mais rigorosos (ex: $\lambda < 2,27$ para 10 m), enquanto o cenário "Diffuse" produz resultados intermediários. O cenário "Default" produz os limites mais frouxos devido ao alto peso atribuído às regiões externas mal monitoradas.
• Previsões Futuras (2025–2035): A estrutura projeta o impacto de missões futuras (LSST, NEO Surveyor, Telescópio Roman).
  • Para sondas de 10 m, o limite de residência padrão é previsto para comprimir por um fator de 7,6× (estreitando o limite de ~14,3 para ~1,9) até 2035. Esta compressão é altamente sensível à realização das metas de completude abaixo de 100 m (envelope: 4,8×–10,0×).
  • Para sondas de 1 km, o limite move-se em apenas ~14–16%, confirmando que os levantamentos de escala de quilômetros já estão no regime dominado pelo prior.

Significância e Alegações
Os autores declaram explicitamente que a principal contribuição não é uma probabilidade definitiva de que as sondas existam, mas sim uma estrutura reprodutível e baseada em dados que:

1. Quantifica Resultados Nulos: Converte dados de levantamento de não-detecção heterogêneos em uma restrição rigorosa do posterior sobre a abundância de sondas.
2. Audita Suposições: Ao usar priors fixados via YAML e proveniência explícita para cada entrada de completude, a estrutura torna as suposições de prior e as fontes de dados transparentes e auditáveis.
3. Identifica o Canal Crítico de Descoberta: A análise revela que a capacidade da próxima década de restringir a existência de sondas depende quase inteiramente da descoberta sub-100 m (especificamente o regime de 10 m). Levantamentos visando objetos de escala de km fornecem retornos decrescentes porque o prior já satura o limite nesses tamanhos.
4. Define a Estrutura de Regimes: A estrutura distingue entre um regime de "prior-saturado" (objetos grandes, onde os dados adicionam pouco) e um regime de "dados-restritos" (objetos pequenos, onde a melhoria na completude do levantamento aumenta diretamente o limite).

O artigo conclui que, embora os dados atuais não possam descartar a existência de sondas pequenas, a estrutura fornece um limite superior falsificável que se estreitará significativamente se os próximos levantamentos atingirem seus alvos de completude para objetos menores que 100 metros.