Physical History Signature - parte 2: separazione asintotica, esempi e protocollo

Teorema di separazione causale asintotica

Questo è il risultato centrale del lavoro. Colleghiamo il criterio operativo S(ℋ) alla separabilità causale D_causale e al costo fisico C_fisico .

Ipotesi:

1. Le tracce T_1,\dots,T_n sono condizionatamente i.i.d. dato ℋ (rilassata sotto in forma ergodica).
2. P(T_1\mid\mathcal{H}) \ll P(T_1\mid\mathcal{H}') (assoluta continuità, necessaria per D_{KL}<\infty ).
3. \mathbb{E}_{\mathcal{H}}\bigl[|\log P(T_1\mid\mathcal{H}')|\bigr] < \infty (momento primo finito).
4. C_fisico(ℋ;𝒜) e C_fisico(ℋ';𝒜) non dipendono da n (sono costi fissi del protocollo generativo, non per-traccia).

Teorema (separazione causale asintotica): Sotto le ipotesi 1–4, ponendo \Delta C := C_{\mathrm{fisico}}(\mathcal{H}';\mathcal{A}) - C_{\mathrm{fisico}}(\mathcal{H};\mathcal{A}) :

Equivalentemente, in forma estensiva, esiste un resto R_n = o(n) (q.c.) tale che:

Dimostrazione: Sia h = H(T_1\mid\mathcal{H}) . Per la legge forte dei grandi numeri applicata alle variabili i.i.d. -\log P(T_i\mid\mathcal{H}) (sotto la misura vera P(\cdot\mid\mathcal{H}) ):

Le variabili -\log P(T_i\mid\mathcal{H}') sono anch'esse i.i.d. sotto la misura vera P(\cdot\mid\mathcal{H}) (non sotto ℋ' , ed è qui che compare la cross-entropia), con valore atteso:

Per la SLLN (garantita dall'ipotesi 3):

Per definizione \Delta_{\mathrm{causale}} = S(\mathcal{H}') - S(\mathcal{H}) , quindi:

poiché \lambda\Delta C/n \to 0 per l'ipotesi 4. Questo dimostra la forma di densità. La forma estensiva segue ponendo R_n := \Delta_{\mathrm{causale}} - nD_{KL}^{(1)} - \lambda\Delta C , che per quanto sopra è o(n) q.c. □

Estensione al caso correlato: Se il processo delle tracce è stazionario ed ergodico sotto ℋ , il teorema ergodico generalizzato di Barron (1985, The strong ergodic theorem for densities) garantisce l'esistenza q.c. del tasso di divergenza:

e lo stesso enunciato vale sostituendo D_KL^(1) con d_\infty , eliminando l'ipotesi di indipendenza. Le correlazioni tra tracce modificano d_\infty rispetto al caso indipendente, incorporando il contributo informativo della rete causale, ma la direzione di questo effetto (aumento, diminuzione, invarianza) dipende dal processo e resta un problema aperto.

Interpretazione e scope: Il regime asintotico stabilisce la consistenza del criterio: la selezione delle storie non è arbitraria e converge al tasso informativo vero. Ma il contenuto operativo della PHS, la ragione per cui il costo fisico è parte irriducibile del criterio e non un artefatto rimovibile, si manifesta nel regime a n finito, che è quello di ogni applicazione reale (archeologia, sistemi quantistici misurati una volta, eventi storici non ripetibili). In quel regime il termine λΔ C non è trascurabile rispetto a nD_KL e può dominarlo. In questo senso la PHS è, per costruzione, una teoria del regime pre-asintotico: il teorema di separazione asintotica ne dimostra la coerenza con la teoria classica della selezione di modelli, non ne esaurisce il contenuto fisico.

Posizionamento in letteratura: Il risultato adatta la teoria della consistenza asintotica per criteri di selezione penalizzati (Rissanen; Barron & Cover 1991) al caso in cui la penalità di complessità è un costo fisico operativo anziché algoritmico, traducendo un principio di model selection in un principio di provenienza fisica.

Se si hanno infinite tracce, la statistica da sola basta a distinguere la storia vera da quella falsa. Ma nella vita reale non si hanno infinite tracce: si hanno dieci misure, un vaso, un campione. In quel mondo reale, quello che conta è il costo fisico. Il teorema dice "se avessi infinite tracce, la statistica vincerebbe da sola", ma aggiunge "dato che non le hai, tieni d'occhio il costo fisico, è lui che decide nel mondo in cui vivi".

Altri risultati di separabilità

Teorema (caso indipendente, forma non asintotica): Siano T_1, \dots, T_n tracce condizionatamente indipendenti dato ℋ . Sia ℋ' una storia alternativa con P(T_i \mid \mathcal{H}') \leq q < 1 per ogni i . Allora:

Dimostrazione: Dall'indipendenza condizionata, P(\mathcal{T} \mid \mathcal{H}') = \prod_{i=1}^n P(T_i \mid \mathcal{H}') \leq q^n . Prendendo il logaritmo negativo si ottiene il risultato. □ Questo è un limite inferiore semplice, utile prima ancora del limite asintotico.

Conseguenza asintotica (Chernoff–Stein): Per distinguere ℋ da ℋ' con errore massimo ε sulla base di campioni indipendenti di 𝒯 , il lemma di Stein garantisce che il numero minimo di campioni richiesti soddisfa asintoticamente:

Non è un risultato originale di questo lavoro, ma è un'istanza diretta del lemma di Chernoff–Stein applicata al problema di discriminazione tra storie generative, anche se predice la facilità con cui la separabilità causale può essere statisticamente verificata.

Cioè, se ogni traccia ha una probabilità bassa sotto la storia falsa, allora molte tracce indipendenti la rendono estremamente improbabile. È come giocare a dadi: se ogni dado ha 1/10 di probabilità di uscire sotto la storia falsa, con 10 dadi la probabilità diventa 1 su 10 miliardi. Questo è utile quando si hanno molte tracce, ma bisogna ricordare che nella vita reale spesso sono poche.

Esempi

Il bit di Landauer

Consideriamo due procedure che portano a C = 0 :

• A: reset irreversibile da uno stato ignoto.
• B: preparazione diretta dello stato 0 . In A la storia contiene una cancellazione logica. La traccia principale è il calore dissipato, almeno k_B T \ln 2 . In B il processo è diverso: accensione dello strumento, applicazione di campo, trasferimento di energia, ma senza distruzione di una distinzione logica. La PHS predice che le due storie lasciano tracce distinguibili. La separabilità causale D_{\mathrm{causale}}(A, B) è alta perché la traccia termica della cancellazione è difficile da replicare senza un processo equivalente. Resettare un bit da "non so" a "0", da uno stato apofantico non determinato ad uno apofantico determinato, produce calore. Scrivere direttamente "0" no. Se si misura il calore e c'è, la storia A è più probabile. Se non c'è, la storia B è più probabile. Landauer dice che il calore deve esserci nel caso A: è una legge fisica, non un'opinione.

Archeologia

Un vaso romano è interessante non perché esiste, ma perché nessuna storia semplice spiega simultaneamente tutte le sue proprietà. La storia naturale è:

Le tracce, quali isotopi, microstruttura, patina, pollini, sedimenti, sono nodi di un grafo causale. La cottura fissa composizione e porosità; la porosità influenza la corrosione; il pH del sedimento è correlato ai pollini. Una costruzione alternativa deve riprodurre la distribuzione congiunta, non solo le marginali. Questo aumenta il numero di vincoli simultanei e quindi D_causale . Con un numero di tracce dell'ordine della decina, questo è precisamente il regime finito in cui λΔ C (il costo di replicare fisicamente il processo di invecchiamento, sepoltura, alterazione chimica) resta osservativamente rilevante accanto a D_causale . Un falsario può copiare la forma del vaso. Può anche invecchiare artificialmente la ceramica. Ma deve anche far sì che i pollini nella capsula siano quelli toscani del II secolo, che i microscopi mostrino microfratture da gelo coerenti con 2000 anni di sepoltura, e che tutte queste cose si accordino tra loro. Se il costo di far combaciare tutto questo supera il valore del vaso, il falso non conviene.

Sistemi quantistici

Uno stato quantistico può essere simulato. Una storia quantistica, se la simulazione deve riprodurre anche le correlazioni residue con l'ambiente, è molto più difficile da replicare. Un processo di misura è irreversibile per il sistema misurato. Le tracce includono lo stato dell'apparato, le correlazioni entangled residue, il calore dissipato. Il punto non è la meccanica quantistica in sé, ma l'irreversibilità della storia. La quantistica fornisce un regime in cui le tracce sono particolarmente sensibili, ed è anche il caso in cui la forma di Cost(Π) basata su S_prod è preferibile a quella basata su W , perché l'ambiente della misura non è in generale riconducibile a un bagno termico canonico a temperatura fissata. In meccanica quantistica, misurare qualcosa la cambia irreversibilmente. Questo è un problema per chi vuole nascondere la storia: ogni misura lascia tracce nell'ambiente che sono difficili da cancellare. È come cercare di fotocopiare un biglietto: ogni fotocopia perde qualità, e la perdita è una traccia del numero di copie fatte.

Protocollo sperimentale

Proponiamo un protocollo generale per stimare la PHS.

1. Fissare lo stato finale: identificare C , l'insieme delle proprietà osservabili che definiscono il risultato.
2. Costruire la storia generativa: formulare \mathcal{H} = (U_0, \Phi_1, U_1, \dots, \Phi_n, U_n) coerente con le leggi fisiche note e con il modello AS(B).
3. Dichiarare la classe 𝒜 di operazioni ammesse e la forma di Cost(Π) (basata su W per protocolli isotermi a bagno singolo, su S_prod altrimenti).
4. Raccogliere tracce: misurare proprietà 𝒯 che la storia ℋ prevede. Le tracce devono essere indipendenti nel senso causale, non solo statistico.
5. Calcolare D_causale e I_causale : confrontare P(\mathcal{T} \mid \mathcal{H}) con P(\mathcal{T} \mid \mathcal{H}') per le alternative, e P(\mathcal{H} \mid C, \mathcal{T}) con P(\mathcal{H} \mid C) .
6. Stimare C_storica^* e Δ_causale : confrontare il costo operativo della storia proposta con quello dello stato finale e con quello della migliore storia alternativa, usando il teorema del §9 per stimare il contributo statistico ( nD_KL ) separatamente da quello fisico ( λΔ C ).
7. Verificare la consistenza termodinamica: controllare che il bilancio energetico-entropico sia coerente con le operazioni irreversibili dichiarate.
8. Modellare l'avversario informato: dichiarare esplicitamente la classe 𝒜 di attacco (remoto, ibrido, locale) e partizionare le tracce in 𝒯_pub (replicabili da database pubblici) e 𝒯_ctrl (richiedenti accoppiamento fisico non simulabile). Verificare che almeno due tracce controllate siano presenti e centrali nel grafo causale G_ℋ (§8). Stimare l'asimmetria di costo ρ_j per ogni traccia controllata. Se \rho_j < 10 per tutte le tracce controllate, il protocollo non garantisce provenienza contro 𝒜_info : occorre aggiungere sensori ausiliari proprietari o restringere 𝒜 . Il risultato ottenuto non è un vero/falso assoluto, ma un indice di consistenza causale e una stima della separabilità dalle alternative.

Il protocollo PHS, spiegato molto più ad alto livello può essere così descritto:

1. Si definisce che cosa si sta analizzando.
2. Si scrive la storia che si vuole difendere.
3. Si dichiara cosa può fare chi vuole ingannarci.
4. Si raccolgono tracce ambientali.
5. Si confrontano le probabilità.
6. Si confrontano i costi fisici.
7. Si controlla che la termodinamica torni.
8. Si verifica che l'avversario non possa semplicemente guardare Wikipedia per replicare le nostre tracce. Il risultato non è "è vero" per certo, ma "è molto più probabile che sia vero, e costerebbe una fortuna falsificarlo". L'unica prova tangibile di verità rimane sempre e comunque la replicazione dell'esperimento da sé qualora si nutrissero dubbi. E nel caso non potesse essere disponibile l'esperimento per via dei costi elevati, sarebbe da trattare come un caso non apofantico, poiché non è possibile indagarlo se non per gli output sospetti che produce.

Tesi centrale e limiti

La Physical History Signature non risolve il problema della simulazione perfetta. Se un laboratorio dispone di un simulatore sufficientemente potente, può generare le stesse tracce e una storia apparente indistinguibile. La distinzione non è metafisica in questo caso ma è economico-fisica, ed è per questo che C_fisico(ℋ;𝒜) è definito relativo a una classe di operazioni ammesse, la distinzione può erodersi al progredire della tecnologia disponibile. La tesi centrale della PHS è questa: la storia di un oggetto non è codificata nello stato locale C , ma nell'accoppiamento tra oggetto e ambiente. Le tracce 𝒯 sono le correlazioni residue di quel processo generativo. Lo stato finale è una compressione; le tracce sono i residui non comprimibili.

Questa tesi si collega naturalmente a:

• decoerenza quantistica: le correlazioni sistema-ambiente sono il canale attraverso cui la storia lascia tracce.
• causal inference: la struttura del grafo G_ℋ è una rete causale.
• termodinamica fuori equilibrio: l'irreversibilità produce entropia e contemporaneamente registra informazione.
• meccanica statistica dei records: i records fisici sono stati dell'ambiente correlati con lo stato passato del sistema. Landauer fornisce il limite minimo sul costo della cancellazione logica; la PHS propone una quantità complementare che caratterizza quanto della storia rimane statisticamente distinguibile nelle tracce residue, un vincolo inferiore su una sottoclasse di step e non un fondamento dell'intera teoria. La natura produce eventi improbabili. Un meteorite può creare una configurazione complessissima senza una storia "semplice". Il criterio corretto non è la storia più corta è vera, ma la storia con il miglior rapporto tra potere esplicativo e costo generativo è scientificamente preferibile. Un vaso falso rimane possibile. Se però deve incorporare una quantità di vincoli causali equivalente all'originale, il vantaggio del falso si dissolve. La firma non è nel reperto isolato, ma è nella rete causale che il reperto porta con sé, distribuita tra l'oggetto e il suo ambiente.

Un limite onesto e già precedentemente formalizzato, è che se l'avversario può operare fisicamente in locazione con la stessa classe di risorse del sistema legittimo (classe \mathcal{A}_{\mathrm{locale}} \subseteq \mathcal{A}_{\mathrm{info}} ), allora \Delta_{\mathrm{causale}}^{\mathrm{info}} \to 0 e il framework non distingue ℋ da ℋ' . In quel regime la PHS deve essere integrata con meccanismi di controllo degli accessi fisici, hardware attestation, o catena di custodia crittografica. La PHS è lo strumento giusto quando l'infrastruttura crittografica non esiste o va integrata con evidenza ex-post, non un sostituto di essa.

La PHS non dice "questo è autentico al 100%", ma dice "dato quello che sappiamo fare oggi, falsificarlo costerebbe più che farlo davvero". Se domani qualcuno inventasse una macchina che replica perfettamente le tracce, il framework si aggiornerebbe. Non è dunque questa una verità eterna, ma è una misura del vantaggio causale qui e ora. E se l'avversario potesse entrare fisicamente nel laboratorio, falsificandone i dati, allora nessuna teoria matematica lo fermerebbe: servirebbe più che altro una serratura, o magari un sistema informatico robusto.