The View from Within: What Can Embedded Observers (Not) Learn?

Sintesi Tecnica: "La vista dall'interno: cosa possono (non) apprendere gli osservatori embedded?"

Enunciato del Problema
La fisica classica adotta tradizionalmente una prospettiva in terza persona, assumendo una realtà indipendente dall'osservatore dove le proprietà sono precisamente misurabili e i disturbi sono correggibili. Tuttavia, gli osservatori sono essi stessi sistemi fisici immersi nel mondo che osservano. Questo articolo investiga la tensione tra la descrizione in terza persona delle leggi fisiche e la prospettiva in prima persona di un osservatore embedded. Nello specifico, si chiede: quali limitazioni all'apprendimento (orizzonti epistemici) emergono per un osservatore che è un sistema fisico in interazione con un altro sistema, anche all'interno di un quadro classico completamente deterministico? Gli autori mirano a determinare se limiti fondamentali alla conoscenza, analoghi all'incertezza quantistica, possano emergere dai vincoli fisici del processo di osservazione stesso, piuttosto che da restrizioni epistemiche postulate.

Metodologia
Gli autori utilizzano una "teoria giocattolo nomica", un modello classico deterministico di particelle con coordinate di posizione e momento definite su uno spazio vettoriale simpletico. Il framework formalizza quattro aspetti chiave dell'apprendimento (Figura 1):

1. Teoria Fisica Fondamentale: La cinematica e la dinamica delle particelle classiche (mappe simpletiche e operazioni di scarto).
2. Variabile Manifesta: La variabile fisica del soggetto (osservatore) che costituisce il suo record empirico. Gli autori considerano tre tipi:
   • Triviale: Il record non trasporta alcuna informazione.
   • Poisson: Il record distingue solo una granularità grossolana dello stato del soggetto (ad esempio, proiezione della posizione), rappresentando una conoscenza parziale di sé.
   • Completa: Il record è l'intero stato ontico del soggetto, rappresentando una conoscenza completa di sé.
3. Stati Pronti (Ready States): Le risorse informative iniziali disponibili al soggetto (il "sistema pronto" $R$). Questi sono definiti dalla variabilità dello stato iniziale:
   • Triviale: Nessun vincolo sullo stato iniziale ($V=R$).
   • Poisson: Lo stato iniziale è vincolato a un sottospazio coisotropico (informazione parziale).
   • Completa: Lo stato iniziale è fissato ($V=\{0\}$).
4. Tipo di Apprendimento: La direzione temporale e la ripetibilità dell'interazione:
   • Retrodeduzione: Apprendere lo stato passato dell'oggetto.
   • Predizione: Apprendere lo stato futuro dell'oggetto.
   • Misurazioni Ripetibili: Interazioni in cui l'informazione retrodetta persiste nell'oggetto, permettendo l'apprendimento simultaneo di passato e futuro.

L'apprendimento è modellato come un'interazione fisica (misurazione) $M: B \oplus R \to B \oplus S$, dove $B$ è l'oggetto, $R$ è il sistema pronto e $S$ è il soggetto. Gli autori analizzano il "sottospazio retrodittivamente inaccessibile" ($I_{ret}$) e il "sottospazio predittivamente inaccessibile" ($I_{pre}$) per determinare quali variabili dell'oggetto possono essere inferite dal record del soggetto.

Contributi Chiave e Risultati
L'articolo mappa sistematicamente gli orizzonti epistemici per tutte le combinazioni di variabili manifeste, stati pronti e tipi di apprendimento (riassunti nelle Tabelle 2–4). Le principali scoperte sono:

1. Emergenza di Orizzonti Epistemici nel Determinismo: Anche in una teoria classica deterministica, gli osservatori embedded affrontano limitazioni fondamentali su ciò che possono apprendere. Questi orizzonti non sono postulati, ma derivati dai vincoli fisici dell'interazione e dalle risorse dell'osservatore.
2. Il Principio di Bilanciamento della Conoscenza: Per soggetti con variabili manifeste Poisson e stati pronti Poisson, il documento recupera il principio di bilanciamento della conoscenza di Spekkens: un soggetto può apprendere al massimo la metà dei gradi di libertà dell'oggetto. Nello specifico, possono essere appresi solo le variabili Poisson (quelle con kernel coisotropici). Ciò recupera le caratteristiche epistemiche della teoria giocattolo di Spekkens e, per estensione, della sottoteoria degli stabilizzatori della meccanica quantistica.
3. La Necessità dei Vincoli degli Stati Pronti: Gli autori dimostrano che la sola conoscenza parziale di sé (variabili manifeste Poisson) è insufficiente a generare un orizzonte epistemico.
   • Se un soggetto ha una variabile manifesta Poisson ma accesso a stati pronti completi, può retrodedurre l'intero stato ontico di qualsiasi oggetto (nessun orizzonte epistemico).
   • Tuttavia, se il soggetto ha una variabile manifesta completa (piena conoscenza di sé) ma solo stati pronti Poisson, un orizzonte epistemico non banale persiste se e solo se la misurazione deve essere ripetibile. In questo caso, solo le variabili Poisson possono essere ripetibilmente retrodette.
4. Asimmetria tra Retrodeduzione e Predizione:
   • La retrodeduzione è generalmente meno vincolata rispetto alla predizione. Ad esempio, un soggetto con una variabile manifesta completa e stati pronti Poisson può retrodedurre qualsiasi variabile (Corollario 3.4) ma affronta un orizzonte di bilanciamento della conoscenza per la retrodeduzione ripetibile (Teorema 3.8).
   • La predizione è sensibile al disturbo della misurazione. Con stati pronti triviali, la predizione è impossibile (orizzonte epistemico totale) perché le mappe suriettive non possono creare correlazioni da input non vincolati. Con stati pronti Poisson, la predizione è limitata alle variabili Poisson (Teorema 3.11).
5. La Ripetibilità come Vincolo Forte: Le misurazioni ripetibili impongono limiti più stretti rispetto alla sola retrodeduzione o predizione. Esse richiedono che l'informazione retrodetta sia preservata nell'oggetto, escludendo di fatto le interazioni che si limitano a scambiare stati o a disturbare l'oggetto per codificare l'informazione. Il documento prova che, per le misurazioni ripetibili, l'orizzonte epistemico è determinato interamente dagli stati pronti disponibili, non solo dalla variabile manifesta.

Significato e Rivendicazioni
L'articolo sostiene di fornire un linguaggio e strumenti formali per studiare come la prospettiva in prima persona differisca dalla prospettiva in terza persona oltre i semplici modelli giocattolo. La sua importanza risiede nel:

• Derivare l'Incertezza dal Fisicalismo: Dimostra che limitazioni di tipo incertezza (orizzonti epistemici) possono sorgere naturalmente dalla costituzione fisica dell'osservatore e dalla natura delle interazioni fisiche, senza invocare il principio di bilanciamento della conoscenza come un postulato fondamentale.
• Chiarire il Ruolo delle Risorse: Disentangled (disinnesta) i ruoli della conoscenza di sé (variabili manifeste) e dell'informazione iniziale (stati pronti). Gli autori sostengono che l'orizzonte epistemico derivato dal loro lavoro precedente [26] non era dovuto esclusivamente alla parziale conoscenza di sé, ma dipendeva criticamente dall'assunzione di informazione iniziale imperfetta (stati pronti Poisson).
• Connessione con la Teoria Quantistica: I risultati suggeriscono che caratteristiche simili a quelle quantistiche (specificamente la sottoteoria degli stabilizzatori) possono emergere in un'ontologia deterministica quando gli osservatori sono limitati a stati pronti Poisson. Ciò offre una potenziale via per spiegare l'incertezza inerente alla teoria quantistica dal punto di vista degli osservatori embedded.
• Perspettivismo: Il framework supporta un "perspettivismo fisico moderato", dove esiste una descrizione neutrale rispetto alla prospettiva, ma l'aspetto del sistema (stato epistemico) dipende dalle specifiche risorse fisiche e dalle interazioni del soggetto.

Gli autori rimangono modesti, notando che estendere questi risultati alla piena teoria quantistica è non banale a causa di questioni interpretative riguardanti gli stati ontici e la separabilità di soggetti e oggetti. Non pretendono di derivare l'intera meccanica quantistica, ma piuttosto di identificare le condizioni strutturali sotto le quali emergono restrizioni epistemiche di tipo quantistico in un contesto classico.