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

Sintesi Tecnica: Tomografia delle Interazioni Radiali

Formulazione del Problema
Il documento affronta un problema di visione artificiale inverso: il recupero della storia delle interazioni evolutive a coppie da un'unica immagine finale di un'espansione microbica di un range. Mentre i lavori precedenti utilizzavano la proprietà del "fronte congelato" delle colonie in espansione (dove il raggio correla con il tempo di deposizione) per stimare la fitness relativa costante o modellare l'erranza stocastica, tali approcci assumono una gerarchia di fitness scalare transitiva. Questo articolo investiga se una singola immagine finale possa rivelare interazioni non transitive (ad esempio, dominanza ciclica come sasso-carta-forbice o antagonismo mediato da batteriocine) che non possono essere spiegate da un ordinamento di fitness scalare. La sfida centrale è distinguere i segnali geometrici della competizione ciclica dagli artefatti del rumore di imaging, dell'erranza dei confini o delle variazioni di fitness scalare.

Metodologia
Gli autori propongono la Tomografia delle Interazioni Radiali, una pipeline deterministica che tratta l'immagine della colonia come un oggetto di riconoscimento di pattern piuttosto che fare affidamento su embedding appresi o reti neurali.

1. Osservabile Geometrico: Il metodo estrae un campo di flusso di confine indicizzato per raggio $q_{ij}(\rho)$, definito come la derivata dell'angolo srotolato di un settore rispetto a una coordinata di deposizione $\rho$ (tipicamente $\log(r/r_0)$).
2. Decomposizione di Hodge: Il vettore di flusso dei bordi osservato viene decomposto in una componente compatibile con lo scalare (gradienti di un potenziale di nodo, che rappresentano la fitness transitiva) e una componente residua (flussi non potenziali, che rappresentano interazioni cicliche). Questa decomposizione è pesata da una matrice di precisione per gestire il rumore.
3. Analisi di Identificabilità: Il documento stabilisce confini rigorosi su ciò che è recuperabile:
   • Non-identificabilità dell'Orologio Radiale: Il tempo fisico non può essere recuperato senza calibrazione indipendente; solo la coordinata di deposizione è identificabile.
   • Non-identificabilità del Meccanismo: L'immagine rivela il flusso di confine a coppia ma non velocità di fronte isolate o meccanismi microscopici senza dati aggiuntivi.
   • Design a Contatto Completo: Un teorema dimostra che per osservare ogni coppia in un gioco antisimmetrico non ristretto di $n$ genotipi su un singolo fronte, è richiesto un minimo di $\binom{n}{2}$ (per $n$ dispari) o $\binom{n}{2} + n/2$ (per $n$ pari) confini. Per $n=4$, sono necessari almeno otto confini, non sei.
4. Test Statistico: La pipeline impiega un test esatto del rapporto di verosimiglianza generalizzato Gaussiano (GLRT) per rilevare residui ciclici, con correzioni di Bonferroni per la scansione degli intervalli lungo il percorso radiale.

Contributi Chiave

• Formulazione della Tomografia delle Interazioni Radiali: Definizione del problema inverso di recuperare pattern trasmissivi e ciclici indicizzati per raggio da una singola immagine.
• Separazione tra Osservabile e Interpretazione: Decoupling esplicito del campo di flusso geometrico dei bordi dalle interpretazioni biologiche (come la velocità del fronte isolato), prevenendo inferenze non valide.
• Teorema del Design di Contatto: Stabilire il numero minimo di confini di settore richiesti per risolvere completamente le interazioni a coppia in un design circolare.
• Benchmarking Deterministico: Creazione di una suite di test che include immagini finali analitiche, round trip a livello di pixel, stress test di nullità scalare e tracciamento di immagini pubbliche, tutto senza reti neurali.
• Controllo del Design Attivo: Estensione del risultato inverso a uno strato di controllo che utilizza i residui ciclici recuperati come segnali di forcing per il controllo di reazione-diffusione adimensionale e l'ottimizzazione del design dei ceppi.

Risultati Sperimentali
Il documento valida il metodo attraverso diversi benchmark deterministici e stocastici:

• Recupero a Livello di Pixel: In un "round trip di pixel" (renderizzazione di un'immagine sfocata/rumorosa e recupero dei flussi), il metodo ha ottenuto un RMSE del flusso di bordo di $\approx 2.86 \times 10^{-3}$ e un RMSE del norm ciclico di $\approx 2.95 \times 10^{-3}$.
• Stress Test di Nullità Scalare: Quando la verità di base è puramente trasitiva (scalare), il metodo identifica correttamente falsi positivi solo quando i fattori di disturbo (rumore, estinzione, distorsione) sono severi. Sotto alto disturbo, il sistema è progettato per astenersi piuttosto che inferire un'ecologia non transitiva, con tassi di astensione che aumentano appropriatamente (es. un tasso di falso rilevamento di 0.564 sotto il caso peggiore di disturbo, che induce l'astensione).
• Validazione Meccanicistica: Utilizzando un simulatore di fronte congelato non-learning con quattro genotipi, il metodo ha recuperato con successo un anello stabile e ha rilevato un residuo ciclico con un picco di norma di 0.358, corrispondente all'antagonismo ciclico programmato.
• Risposta alla Dose: Una scansione delle scale di antagonismo ciclico programmato ha mostrato una forte correlazione ($r=0.776$) tra la scala programmata e il residuo ciclico recuperato.
• Controllo Attivo: I residui recuperati sono stati utilizzati per guidare una scansione di controllo reazione-diffusione. Un design raffinato tramite stato aggiunto ha ridotto lo stato di popolazione indesiderato del 99.35% mantenendo il 161.39% della densità benefica.
• Robustezza: Un test di robustezza Monte Carlo con 1.000.000 di traiettorie ha confermato che i design selezionati mantenevano almeno il 40% di riduzione dello stato avverso e l'85% di ritenzione del ceppo benefico sotto perturbazioni dei parametri.
• Audit di Immagini Pubbliche: La pipeline è stata applicata a una figura pubblica di Weinstein et al., superando un "controllo di sanità mentale della visione artificiale", ma notando esplicitamente che le annotazioni di pubblicazione ne impediscono l'uso come verità di base quantitativa grezza.

Significatività e Rivendicazioni
L'articolo sostiene che una singola immagine finale contiene informazioni geometriche sufficienti per ricostruire le storie delle interazioni a coppie e rilevare firme non transitive, a condizione che il design sperimentale soddisfi specifici criteri di completezza di contatto. Il contributo primario è la rivendicazione di riconoscimento visivo falsificabile: la capacità di separare gli osservabili geometrici dalle downstream interpretazioni biologiche.

Gli autori sottolineano che, sebbene il metodo recuperi con successo le storie di interazione del "fronte congelato" e guidi le simulazioni di design attivo, non pretende di sostituire gli esperimenti fisici. Lo strato di "design-control attivo" è presentato come un target di simulazione adimensionale, e il documento afferma esplicitamente che la traduzione biologica richiede calibrazione indipendente, tensori fenotipici misurati e repliche fisiche. Il lavoro funge da quadro rigoroso per l'interpretazione delle immagini di espansione del range, definendo i limiti di ciò che può essere inferito dalla geometria da sola e fornendo uno strumento deterministico per la generazione di ipotesi in ecologia evolutiva.