Resource Theory Causale: una teoria quantitativa della provenienza fisica
Questo è il seguito formale del protocollo PHS (Physical History Signature). Se il protocollo chiedeva "come si misura la storia di un oggetto?", questa teoria risponde: "definendo esattamente cosa si può fare senza spendere risorse, e cosa invece costa". È l'analogo causale delle resource theory quantistiche e termodinamiche, applicato alla provenienza fisica. Come il protocollo, anche questo testo è strutturato in livelli di accessibilità: ogni sezione tecnica è seguita da un riquadro In parole povere.
Glossario
| Termine | Significato semplice |
|---|---|
| Resource theory | Teoria di cosa si può fare "gratis" e cosa costa risorse. Come la termodinamica, ma per l'informazione. |
| Operazione gratuita | Una trasformazione che non aumenta la "storia leggibile" di un oggetto. |
| Monotono | Una misura che non sale quando fai operazioni gratuite. Il termometro della storia. |
| R_{\text{causale}} | Risorsa causale combinata: quanto le tracce raccontano + quanto costa generarle. |
| \mathcal{F}_{\text{info}} | Operazioni gratuite che includono lookup su internet. Pericolose per la provenienza. |
| Traccia primitiva | Una traccia che nemmeno internet può replicare. La tua arma segreta. |
| M_{\text{causale}} | Massa causale: quanto è fitta la rete di tracce. |
| d_\infty | Tasso di divergenza: quanto velocemente la storia vera si separa da quella falsa all'aumentare delle tracce. |
| Stato libero | Un oggetto senza storia distinguibile. Il foglio bianco. |
| Costo di formazione | Quanto costa creare un oggetto con storia partendo da uno senza. |
| Distillazione | Quanta "storia pura" puoi estrarre da un oggetto senza spenderne di nuova. |
| DPI | Data Processing Inequality: processare l'informazione non può aumentare la correlazione. |
| CPTP | Canale quantistico completamente positivo e trace-preserving. |
| Proof of Theory (PoT) | Idea di usare questa teoria per verificare dati su blockchain. |
Da protocollo a teoria
Il protocollo PHS ha introdotto il concetto di provenienza fisica come proprietà misurabile: la storia di un oggetto lascia tracce nell'ambiente, e il costo di replicare quelle tracce senza seguire la storia vera definisce un vantaggio causale. Tuttavia, il protocollo lasciava aperto il programma di una resource theory causale — una teoria che dica esattamente quali operazioni sono "gratuite" (non consumano risorsa) e quali funzioni sono monotone (non aumentano sotto operazioni gratuite).
Questo articolo sviluppa quel programma. Definiamo:
- La classe ℱ delle operazioni gratuite come quelle trasformazioni fisiche che non introducono nuove correlazioni sistema-ambiente e non aumentano la provenienza leggibile.
- Un monotono generaleR_{\text{causale}} che quantifica la risorsa di provenienza, dimostrando la sua invarianza sotto ℱ.
- L'insensibilità di questo monotono rispetto alla classe estesa \mathcal{F}_{\text{info}} (lookup in database pubblici), che giustifica l'introduzione delle tracce controllate come risorsa primitiva aggiuntiva.
- Il legame tra divergenza e massa causale del grafo delle tracce, nel caso dell'avversario che replica le singole tracce ma non le loro correlazioni.
- Una metrica di costo assiomatica che induce una distanza tra storie e dà un margine minimo garantito alla separazione causale.
- Una resource theory completa con stati liberi, costo di formazione e distillazione.
Il risultato è un framework in cui la "provenienza" non è più un concetto intuitivo, ma una risorsa fisica quantificata, con le stesse proprietà formali dell'entanglement, della coerenza, o del calore in termodinamica.
0. Collocazione e gerarchia dei risultati
Questo lavoro si colloca come seguito diretto del protocollo PHS. Manteniamo la gerarchia a livelli:
Livello 1 — matematica nota. Teoria delle resource theory (quantistiche e termodinamiche), data processing inequality, proprietà dell'informazione mutua, teoria dei grafi, disuguaglianze di Jensen. Nessuna di queste è originale.
Livello 2 — adattamento. Il nucleo dell'adattamento è la traduzione del concetto di "operazione gratuita" dalle resource theory standard (dove le operazioni gratuite sono unitarie globali, LOCC, o scambi di calore con bagni termici) al contesto della provenienza causale. Qui le operazioni gratuite sono quelle che non alterano la leggibilità della storia fisica. La struttura matematica è quella nota; l'interpretazione è nuova.
Livello 3 — risultati originali (dimostrati in questo lavoro).
- Definizione assiomatica della classe ℱ delle operazioni gratuite nella provenienza causale (§1).
- Teorema di monotonia generale per R_{\text{causale}} sotto ℱ (§2).
- Teorema di insensibilità di R_{\text{traccia}} rispetto a \mathcal{F}_{\text{info}}, con costruzione esplicita dell'esempio (§3).
- Teorema del bound inferiore D_{\text{causale}} \geq M_{\text{causale}} contro l'avversario marginale, che lega divergenza e massa causale (§4).
- Assiomi della metrica di costo generale e teorema di minorazione della separazione causale tramite la distanza di costo D_{\mathcal{C}} (§5).
- Teorema del costo di formazione: per stati con n_{\text{ctrl}} > 0, il costo di formazione da stati liberi è strettamente positivo e dato da C_{\text{fisico}}(\mathcal{H}_{\text{ctrl}}; \mathcal{A}_{\text{info}}) (§6).
Livello 4 — prospettive (programma aperto).
- Estensione quantistica con canali CPTP e misure di entanglamento sistema-ambiente.
- Algoritmi per la ricostruzione del grafo causale G_ℋ da dati empirici (causal discovery).
- Implementazione computazionale del protocollo di verifica per sistemi distribuiti (Proof of Theory).
1. Stati, tracce e operazioni gratuite
1.1 Spazio degli stati causali
Uno stato causaleσ è una coppia:
dove:
- \mathcal{H} = (U_0, \Phi_1, U_1, \dots, \Phi_n, U_n) è la storia generativa (come definita nel protocollo PHS, §1);
- \mathcal{T} = \{T_1, \dots, T_m\} è l'insieme delle tracce osservabili, ciascuna T_i essendo una variabilezza aleatoria sullo spazio delle misure.
Lo stato causale include anche il grafo causaleG_{\mathcal{H}} = (V, E), dove V = \{1, \dots, m\} e (i,j) \in E se e solo se I(T_i; T_j \mid \mathcal{H}) > 0 (dipendenza condizionata dalla storia). Lo spazio di tutti gli stati causali è denotato 𝒮.
1.2 Operazioni gratuite
Definizione 1.1 (Operazione gratuita). Una trasformazione \Phi: \mathcal{S} \to \mathcal{S} è un'operazione gratuita se soddisfa quattro assiomi:
(F1) Conservazione dello stato finale. Lo stato finale C = F_\triangleright(U_n) è invariante: C(\Phi(\sigma)) = C(\sigma). L'operazione non altera le proprietà esplicite dell'oggetto.
(F2) Non-amplificazione delle correlazioni ambiente. Sia ℰ l'ambiente fisico. L'operazione Φ non introduce nuove correlazioni tra il sistema e ℰ:
dove ℰ' e 𝒯' sono ambiente e tracce post-trasformazione.
(F3) Località causale. L'operazione agisce localmente sulle tracce: \mathcal{T}' = g(\mathcal{T}) per una funzione g che non dipende da ℋ se non attraverso 𝒯. In altre parole, non si può "inventare" una traccia che dipenda direttamente dalla storia senza passare per le tracce esistenti.
(F4) Non-aumento del costo. L'operazione non rende la storia più costosa da realizzare: C_{\text{fisico}}(\Phi(\mathcal{H}); \mathcal{A}) \leq C_{\text{fisico}}(\mathcal{H}; \mathcal{A}). È una richiesta in più rispetto a (F1)–(F3), che da soli non la implicano.
La classe di tutte le operazioni gratuite è denotata ℱ.
1.3 Sottoclassi di operazioni gratuite
Per applicazioni concrete, distinguiamo due sottoclassi e una classe estesa:
- \mathcal{F}_{\text{no-env}}: operazioni che non toccano l'ambiente (il caso speciale del protocollo, §14). Questa è la sottoclasse più restrittiva.
- \mathcal{F}_{\text{info}}: operazioni che includono lookup in database pubblici, simulazione computazionale, e generazione di numeri pseudo-casuali. Questa è la classe \mathcal{A}_{\text{info}} del protocollo, §15: operazioni a costo nullo per chi le esegue, ma che non soddisfano (F3), perché un lookup produce tracce che non derivano dalle tracce esistenti.
- \mathcal{F}_{\text{local}}: operazioni fisiche locali sul sistema, senza comunicazione con l'esterno. Analogo delle operazioni locali in teoria quantistica.
Osservazione 1.2. \mathcal{F}_{\text{no-env}} \subseteq \mathcal{F}_{\text{local}} \subseteq \mathcal{F}. La classe \mathcal{F}_{\text{info}} è definita come ℱ più le operazioni di lookup e simulazione: contiene ℱ, ma le operazioni che aggiunge violano (F3). Per questo i teoremi di monotonia dimostrati per ℱ non si trasferiscono a \mathcal{F}_{\text{info}}.
Uno "stato causale" non è un oggetto fisico: è la coppia "storia + tracce". Le "operazioni gratuite" sono le cose che puoi fare all'oggetto senza alterare la sua "storia leggibile". Se sposti il vaso da una stanza all'altra, la storia non cambia (è gratuita). Se lo frantumi e lo ricollassi, cambia (non è gratuita). La sottoclasse \mathcal{F}_{\text{info}} include anche "guardare il meteo su internet": è gratuita per te, ma può ingannare chi verifica la provenienza se il meteo è la tua unica traccia.
2. Monotoni della provenienza causale
2.1 Definizione generale
Definizione 2.1 (Monotono). Una funzione M: \mathcal{S} \to \mathbb{R}_+ è un monotono rispetto a ℱ se:
Un monotono misura quanta "risorsa" è contenuta nello stato: se puoi trasformare lo stato gratuitamente, la risorsa non può aumentare.
2.2 Monotono traccia
Definizione 2.2 (Risorsa traccia).
Teorema 2.3 (Monotonia della risorsa traccia).R_{\text{traccia}} è un monotono rispetto a ℱ, e quindi anche rispetto a \mathcal{F}_{\text{no-env}}.
Dimostrazione. Sia \Phi \in \mathcal{F}. Per (F3) le nuove tracce 𝒯' sono un processamento delle tracce originali 𝒯: \mathcal{T}' = g(\mathcal{T}); e la storia trasformata \Phi(\mathcal{H}) è determinata da ℋ. Applicando la Data Processing Inequality (DPI) a entrambi gli argomenti dell'informazione mutua:
Ma R_{\text{traccia}}(\Phi(\sigma)) = I(\Phi(\mathcal{H}); \mathcal{T}') e R_{\text{traccia}}(\sigma) = I(\mathcal{H}; \mathcal{T}). Quindi R_{\text{traccia}}(\Phi(\sigma)) \leq R_{\text{traccia}}(\sigma). □
2.3 Monotono generativo
Definizione 2.4 (Risorsa generativa).
dove C(C) è la complessità osservabile dello stato finale (§6 del protocollo).
Teorema 2.5 (Monotonia della risorsa generativa).R_{\text{generativa}} è un monotono rispetto a ℱ.
Dimostrazione. Sia \Phi \in \mathcal{F}. Per (F1), C(\Phi(\sigma)) = C(\sigma), quindi C(C) è invariante. Per (F4), C_{\text{fisico}}(\Phi(\mathcal{H}); \mathcal{A}) \leq C_{\text{fisico}}(\mathcal{H}; \mathcal{A}). Quindi: