The Locality Gap: A Thermodynamic Law for Objective Facts

Sintesi Tecnica: Il Gap di Località e la Fattualità Termodinamica

Problema
Nel quadro del Darwinismo Quantistico, i fatti oggettivi sono definiti come valori di un sistema impressi in modo ridondante in molti frammenti dell'ambiente indipendentemente accessibili. Sebbene la ridondanza spieghi come gli osservatori raggiungano un consenso senza l'accesso diretto al sistema, essa non aumenta l'informazione di Shannon dell'evento sottostante; $R$ copie di un bit contengono comunque un solo bit di incertezza logica. Di conseguenza, il significato termodinamico di questa ridondanza è rimasto oscuro. Il saggio affronta la domanda: quale risorsa fisica viene accumulata quando un evento acquisisce una grande nuvola di registrazioni, e esiste una firma termodinamica universale che distingua le registrazioni broadcast oggettive dallo stoccaggio unico o dalla condivisione segreta (secret sharing)?

Metodologia
L'autore propone un quadro termodinamico comparativo basato sull'eradicazione isotermica reversibile (eradicazione di Landauer) sotto controllo ristretto. La metodologia prevede:

1. Definizione delle Architetture: Stabilire una nuvola di registrazioni $F$ di un evento $X$ e una partizione $\mathcal{P}$ di questa nuvola in blocchi che non possono essere controllati congiuntamente.
2. Protocollo a Quattro Lavori: Confrontare il lavoro minimo richiesto per resettare la nuvola di registrazioni sotto quattro condizioni distinte:
   • Reset globale senza informazione sulla sorgente ($W^\emptyset_{glob}$).
   • Reset locale della partizione senza informazione sulla sorgente ($W^\emptyset_{\mathcal{P}}$).
   • Reset globale con l'evento $X$ fornito come informazione laterale classica catalitica ($W^X_{glob}$).
   • Reset locale della partizione con l'evento $X$ fornito come informazione laterale classica catalitica ($W^X_{\mathcal{P}}$).
3. Differenza Doppia: Calcolare il "Gap di Località" ($G^\emptyset_{\mathcal{P}}$) come la differenza di lavoro tra l'eradicazione locale e quella globale senza informazione laterale. Successivamente, calcolare il gap della "Legge della Sorgente" ($G^X_{\mathcal{P}}$) con informazione laterale. La quantità centrale, la Carica di Fattualità Termodinamica ($F^T_{\mathcal{P}}(X)$), è derivata come la differenza doppia: $F^T_{\mathcal{P}}(X) = G^\emptyset_{\mathcal{P}} - G^X_{\mathcal{P}}$.
4. Modellazione: La teoria è testata contro modelli esatti risolvibili, inclusi broadcast classici perfetti, registrazioni binarie simmetriche indipendenti, modelli di collisione quantistica a stato puro e condivisione segreta di parità.

Contributi Chiave e Risultati

• La Legge del Gap di Località: Il saggio stabilisce che l'asimmetria di lavoro tra un controllore globale e un controllore locale della partizione è esattamente l'energia libera di correlazione inaccessibile al controllore locale. Nello specifico, $G^\emptyset_{\mathcal{P}} = k_B T T_{\mathcal{P}}(F)$, dove $T_{\mathcal{P}}(F)$ è la correlazione totale della partizione.
• La Legge della Perdita della Sorgente di Fattualità: Sottraendo il gap assistito dalla sorgente, l'autore isola le correlazioni specificamente attribuibili all'evento $X$. La quantità risultante è:
  $$F^T_{\mathcal{P}}(X) = k_B T \left[ \sum_{B \in \mathcal{P}} I(X:F_B) - I(X:F) \right]$$
  Questa quantità rappresenta la temperatura moltiplicata per l'aumento dell'entropia specifica dell'evento causato dalla perdita della chiave della sorgente sotto controllo ristretto.
• Numero di Registrazione Termodinamica: L'autore definisce una coordinata normalizzata $N^{\mathcal{P}}_X = 1 + F^T_{\mathcal{P}}(X) / (k_B T H(X))$, che varia da 0 a $|\mathcal{P}|$.
  • Broadcast Perfetto: $N^{\mathcal{P}}_X = |\mathcal{P}|$ (Massima carica positiva). Ogni blocco determina indipendentemente $X$.
  • Stoccaggio Unico: $N^{\mathcal{P}}_X = 1$ (Carica zero). Solo un blocco trasporta $X$; gli altri sono non correlati.
  • Condivisione Segreta Perfetta: $N^{\mathcal{P}}_X = 0$ (Massima carica negativa). Nessun blocco rivela $X$, ma l'unione di essi lo determina.
• Limiti di Landauer-Darwin: Il saggio deriva limiti inferiori per la carica di fattualità basati sul numero di frammenti indipendentemente decodificabili. Se $R$ blocchi disgiunti permettono l'inferenza di $X$ con un deficit $\delta$, allora $F^T_{\mathcal{P}} \geq [R(1-\delta) - 1] k_B T H(X)$.
• Rigidità del Punto Finale: I limiti sono "rigidi". Una carica vicina al soffitto del broadcast certifica che ogni blocco è una registrazione quasi completa. Una carica vicina al pavimento della condivisione segreta certifica che ogni blocco è quasi ignorante di $X$.
• Correzioni di Interazione: Per gli Hamiltoniani con interazioni tra i blocchi, la legge basata solo sull'entropia acquisisce una correzione esatta dell'energia di interazione limitata da $2\|H_{int}\|$. Il saggio fornisce un limite raffinato tramite Pinsker che scala con la correlazione osservata, offrendo un criterio di positività più stringente.

Significato e Rivendicazioni
Il saggio sostiene di fornire una firma termodinamica precisa per i fatti oggettivi senza modificare la meccanica quantistica o postulare il collasso oggettivo.

• Identificazione della Risorsa: Identifica la risorsa termodinamica generata dalle registrazioni ridondanti come una "asimmetria di lavoro" tra architetture di controllo, piuttosto che come una variabile di stato aggiuntiva.
• Oggettività Operativa: Riformula l'oggettività da una dichiarazione sull'informazione accessibile a una asimmetria di lavoro quantitativa sotto controllo locale. Un "fatto termodinamicamente pubblico" è definito come una variabile classica indipendentemente decodificabile da più blocchi, dove la perdita della sorgente crea una doppia differenza positiva di eradicazione locale-globale.
• Classicità: Il punto finale di massima positività della fattualità richiede che i blocchi di registrazione contengano stati condizionali perfettamente distinguibili, implicando che la variabile saturante debba essere classica (algebra del puntatore commutativa). Ciò collega il baseline operativo al teorema di non-broadcasting.
• Sigillatura Causale: L'autore propone (come congettura, non come teorema) che la carica di fattualità possa definire una barriera di "sigillatura causale", in cui un evento diventa sigillato per un agente se nessun futuro controllore ammissibile può riunire abbastanza registrazioni per rimuovere la penalità positiva di località.

Limiti e Ambito
L'autore dichiara esplicitamente che la teoria non deriva la regola di Born, non modifica l'equazione di Schrödinger o non introduce il collasso fisico. I risultati sono esatti entro i parametri operativi dichiarati:

• Eradicazione reversibile, quasi-statica (regime asintotico).
• Protocolli strettamente locali della partizione (nessuna comunicazione tra i blocchi o memoria condivsa).
• Informazione laterale classica trattata cataliticamente.
• Hamiltoniani additivi (con un termine di correzione specifico fornito per i casi non additivi).

Il saggio conclude che la legge del sistema finito è chiusa, esatta, verificata numericamente e direttamente testabile tramite misurazioni della doppia differenza dei quattro lavori in sistemi quantistici controllati.