Radial Interaction Tomography: Recognizing Non-Transitive Evolutionary Games from One Range-Expansion Image

Resumo Técnico: Tomografia de Interação Radial

Formulação do Problema
O artigo aborda um problema de visão computacional inverso: recuperar o histórico de interações evolutivas pareadas a partir de uma única imagem de um ponto final de uma expansão microbiana. Enquanto trabalhos anteriores utilizaram a propriedade de "frente congelada" de colônias em expansão (onde o raio correlaciona-se com o tempo de deposição) para estimar o fitness relativo constante ou modelar o wandering estocástico, essas abordagens assumem uma hierarquia de fitness escalar transitiva. Este artigo investiga se uma única imagem de ponto final pode revelar interações não transitivas (ex: dominância cíclica como pedra-papel-tesoura ou antagonismo mediado por bacteriocinas) que não podem ser explicadas por uma ordenação de fitness escalar. O desafio central é distinguir os sinais geométricos de competição cíclica de artefatos de ruído de imagem, wandering de fronteira ou variações de fitness escalar.

Metodologia
Os autores propõem a Tomografia de Interação Radial, um pipeline determinístico que trata a imagem da colônia como um objeto de reconhecimento de padrões, em vez de depender de embeddings aprendidos ou redes neurais.

1. Observável Geométrico: O método extrai um campo de fluxo de fronteira pareado indexado pelo raio, $q_{ij}(\rho)$, definido como a derivada do ângulo desenrolado de uma fronteira de setor em relação a uma coordenada de deposição $\rho$ (tipicamente $\log(r/r_0)$).
2. Decomposição de Hodge: O vetor de fluxo de borda observado é decomposto em um componente compatível com escalar (gradientes de um potencial de nó, representando fitness transitivo) e um componente residual (fluxos não potenciais, representando interações cíclicas). Esta decomposição é ponderada por uma matriz de precisão para lidar com o ruído.
3. Análise de Identificabilidade: O artigo estabelece limites estritos sobre o que é recuperável:
   • Não-identificabilidade do Relógio Radial: O tempo físico não pode ser recuperado sem calibração independente; apenas a coordenada de deposição é identificável.
   • Não-identificabilidade de Mecanismo: A imagem revela o fluxo de fronteira pareado, mas não velocidades de frente isoladas ou mecanismos microscópicos sem dados adicionais.
   • Design de Contato Completo: Um teorema prova que para observar cada par em um jogo antissimétrico irrestrito de $n$ genótipos em uma única fronteira, é necessário um número mínimo de $\binom{n}{2}$ (para $n$ ímpar) ou $\binom{n}{2} + n/2$ (para $n$ par) fronteiras. Para $n=4$, pelo menos oito fronteiras são necessárias, não seis.
4. Teste Estatístico: O pipeline emprega um teste de razão de verossimilhança generalizado Gaussiano (GLRT) exato para detectar resíduos cíclicos, acoplado a correções de Bonferroni para varredura de intervalo ao longo do caminho radial.

Principais Contribuições

• Formulação da Tomografia de Interação Radial: Definindo o problema inverso de recuperar padrões transitivos e cíclicos indexados pelo raio a partir de uma única imagem.
• Separação de Observável e Interpretação: Desacoplando explicitamente o campo de fluxo de borda geométrico das interpretações biológicas (como velocidade de frente isolada), evitando inferências inválidas.
• Teorema de Design de Contato: Estabelecendo o número mínimo de fronteiras de setor necessários para resolver totalmente as interações pareadas em um design circular.
• Benchmarking Determinístico: Criando um conjunto de testes que inclui imagens de ponto final analíticas, "round trips" de nível de pixel, testes de estresse de nulidade escalar e rastreamento de imagem pública, tudo sem redes neurais.
• Controle de Design Ativo: Estendendo o resultado inverso para uma camada de controle que utiliza os resíduos cíclicos recuperados como sinais de força para controle de reação-difusão adimensional e otimização de design de linhagens.

Resultados Experimentais
O artigo valida o método através de vários benchmarks determinísticos e estocásticos:

• Recuperação de Nível de Pixel: Em um "pixel round trip" (renderizando uma imagem borrada/ruidosa e recuperando fluxos), o método alcançou um RMSE de fluxo de borda de $\approx 2.86 \times 10^{-3}$ e um RMSE de norma cíclica de $\approx 2.95 \times 10^{-3}$.
• Testes de Estresse de Nulidade Escalar: Quando o ground truth é puramente transitivo (escalar), o método identifica corretamente falsos positivos apenas quando fatores de incômodo (ruído, extinção, distorção) são severos. Sob alto incômodo, o sistema é projetado para abster-se em vez de inferir ecologia não transitiva (taxas de abstenção aumentam apropriadamente, ex: taxa de detecção falsa de 0.564 sob o pior caso de incômodo, provocando abstenção).
• Validação Mecanística: Usando um simulador de frente congelada não-aprendizado com quatro genótipos, o método recuperou com sucesso um anel estável e detectou um resíduo cíclico com um pico de norma de 0.358, correspondendo à interação cíclica programada.
• Resposta de Dose: Uma varredura das escalas de antagonismo cíclico programadas mostrou uma forte correlação ($r=0.776$) entre a escala programada e o resíduo cíclico recuperado.
• Controle Ativo: Os resíduos recuperados foram usados para conduzir uma varredura de controle de reação-difusão. Um design refinado por estado adjunto reduziu o estado populacional indesejado em 99.35%, enquanto manteve 161.39% da densidade benéfica.
• Robustez: Um teste de robustez de Monte Carlo com 1.000.000 de trajetórias confirmou que os designs selecionados mantiveram pelo menos 40% de redução de estado adverso e 85% de retenção de linhagem benéfica sob perturbações de parâmetros.
• Auditoria de Imagem Pública: O pipeline foi aplicado a uma figura pública de Weinstein et al., passando como um "teste de sanidade de visão computacional", mas observando explicitamente que as anotações de publicação impedem seu uso como ground truth quantitativo bruto.

Significância e Alegações
O artigo alega que uma única imagem de ponto final contém informação geométrica suficiente para reconstruir históricos de interação pareada e detectar assinaturas não transitivas, desde que o design experimental atenda aos critérios específicos de completude de contato. A principal contribuição é a alegação de reconhecimento visual falsificável: a capacidade de separar observáveis geométricos de interpretações biológicas subsequentes.

Os autores enfatem que, embora o método recupere com sucesso históricos de interação de "frente congelada" e conduza simulações de design ativo, ele não pretende substituir experimentos físicos. A camada de "design-controle ativo" é apresentada como um alvo de simulação adimensional, e o artigo afirma explicitamente que a tradução biológica requer calibração independente, tensores de fenótipo medidos e réplicas físicas. O trabalho serve como um framework rigoroso para interpretar imagens de expansão de alcance, definindo os limites do que pode ser inferido da geometria isolada e fornecendo uma ferramenta determinística para geração de hipóteses em ecologia evolutiva.