Il principio di Landauer è spesso trattato come una regola empirica o, al più, come una conseguenza del secondo principio. Lo ricostruiamo invece come teorema: una proposizione dimostrabile dalla struttura logica degli stati fisici e dall'irreversibilità dell'operazione di cancellazione. Partendo dal sistema assiomatico AS(B), mostriamo che il bit è il qubit ontologico minimale, che l'assioma di monotonia (A7) implica la decrescita dell'entropia ontologica, e che ogni esplicitazione paga un debito termico di almeno k_B T \ln 2 per bit. Offriamo quattro dimostrazioni e una risposta alle obiezioni recenti.
1. Il problema
Rolf Landauer pubblicò nel 1961 una frase che oggi sembra ovvia e allora era radicale: l'informazione è fisica. È parte della materia stessa. Qualsiasi operazione logicamente irreversibile su un bit — per esempio forzarlo a zero indipendentemente dal valore precedente — lascia una traccia termica. La traccia ha un pavimento: k_B T \ln 2 di energia dissipata per bit, almeno.
Negli ultimi decenni questo principio è stato contestato. Alcuni esperimenti hanno misurato calori inferiori; alcuni modelli teorici hanno proposto cancellazioni "gratuite". La discussione, utile, ha però spinto a chiedere: Landauer ha enunciato un teorema o una congettura? Sosteniamo che la risposta corretta sia la prima.
2. Il bit come qubit ontologico
Nel sistema assiomatico AS(B) il dominio ontologico minimale è il qubit \{P_0, P_1\}, con v(P_0)=\mathsf{V} e v(P_1)=\mathsf{N}. Qui P_0 è la proprietà di identità, P_1 quella di differenza. Questo è il bit nella sua forma più primitiva: due stati logici, uno esplicito e uno implicito (o non-apofantico).
Tutto ciò che chiamiamo "memoria" o "registro" non è altro che una realizzazione fisica di questo qubit. L'elettrone in una trappola, il dominio magnetico su un disco, il fotone in una fibra: sono implementazioni diverse dello stesso scheletro logico. Ciò che conta non è il supporto, ma la struttura: due stati distinguibili, compatibili nel dominio, separati da una differenza che può essere esplicitata.
3. Cosa significa cancellare un bit
Prendiamo un sistema fisico che codifica un bit. Ha due stati espliciti, V_0 e V_1. Prima della misura lo stato è implicito: ciascuna delle due proprietà ha peso non nullo. L'operazione di reset — la cancellazione — porta entrambi gli stati in V_0.
Questa operazione è logicamente irreversibile. Dal risultato V_0 non si risale a quale fosse lo stato precedente. L'informazione che distingueva V_0 da V_1 esce dal sistema informativo. Esce dal bit e finisce altrove.
Nella logica ontologica del modello, cancellare P_1 per rendere P_0 esplicito significa portare una proprietà dal valore \mathsf{N} al valore \mathsf{F} (impossibile per questo token) o, equivalentemente, restringere l'insieme coerente U=\{P_0,P_1\} al solo aggregato C=P_0. In entrambe le letture, il numero di possibilità si dimezza.
4. Prima dimostrazione: argomento termodinamico
Consideriamo lo spazio delle fasi del sistema che codifica il bit. Prima della cancellazione lo spazio contiene due regioni distinte, ciascuna corrispondente a uno dei due valori. Dopo la cancellazione lo spazio delle fasi si è ristretto a una sola regione: il volume si è dimezzato.
Una riduzione di volume nello spazio delle fasi equivale a una diminuzione di entropia di Gibbs del sistema informativo:
Se il processo fosse completamente reversibile, l'entropia totale dell'universo resterebbe invariata. Ma l'entropia del bit è diminuita. Per non violare il secondo principio, l'ambiente deve assorbire almeno la stessa quantità di entropia:
In un bagno termico a temperatura T, questa entropia si manifesta come calore:
Il fattore \ln 2 non è un accidente. È il logaritmo del numero di stati logici cancellati. Se cancellassimo n bit indipendenti, il costo minimo sarebbe n k_B T \ln 2.
5. Seconda dimostrazione: dall'assioma di monotonia
Questa è la dimostrazione centrale. Nel sistema AS(B), l'assioma (A7) di monotonia della valutazione stabilisce che per proprietà compatibili P \sim Q:
L'ordine sui valori logici è \mathsf{F} \prec_{\sigma_3} \mathsf{N} \prec_{\sigma_3} \mathsf{V}. L'aggregazione non può quindi essere più esplicita dei suoi fattori. Se mescoliamo una proprietà esplicita con una implicita, il risultato non torna implicito: scende verso l'impossibile.
Dalla monotonia della valutazione si ricava la monotonia dell'entropia ontologica; la dimostrazione completa di questo passaggio è ancora da scrivere, e fino ad allora questa via va letta come un argomento motivato. Sia U un insieme coerente e C=F_\triangleright(U) il suo aggregato. Allora:
Per un bit equilibrato, H_\triangleright(U) = \ln 2; dopo la cancellazione, H_\triangleright(C)=0. L'entropia ontologica persa è esattamente k_B \ln 2 per bit.
Dove va? Viene trasferita all'ambiente termico. La freccia del tempo stessa, in questa ontologia, è il gradiente discendente di H_\triangleright; ogni esplicitazione paga il suo debito entropico sotto forma di calore. Il principio di Landauer non è più un principio aggiunto a mano: è il secondo principio letto attraverso l'ontologia dell'informazione.
6. Terza dimostrazione: per assurdo
Immaginiamo di poter cancellare un bit senza dissipare calore. Costruiamo allora una macchina che misura le posizioni delle molecole in un gas, memorizza i risultati, compie lavoro sfruttando l'informazione e infine cancella la memoria a costo zero. Il ciclo estrarrebbe lavoro da un unico serbatoio termico.
Questa macchina è il demone di Maxwell con una memoria gratuita. Charles Bennett ha mostrato che il costo reale del demone sta proprio nella cancellazione dell'informazione che ha misurato. Se quella cancellazione fosse gratis, il secondo principio cadrebbe. Poiché il secondo principio è ben corroborato, l'ipotesi di cancellazione gratuita è falsa.
7. Quarta dimostrazione: reversibilità logica
Bennett ha dimostrato nel 1973 che ogni computazione può essere resa logicamente reversibile, a patto di non cancellare informazione. In una computazione reversibile il numero di stati iniziali e finali è lo stesso; la funzione che la descrive è biiettiva. Una tale computazione può in linea di principio essere eseguita senza dissipazione.
La cancellazione di un bit non è reversibile. La funzione f: \{0,1\} \to \{0\} mappa due ingressi in un'uscita sola. In termini di spazio delle fasi, una biettività avrebbe richiesto che a V_0 corrispondesse un'immagine disgiunta da quella di V_1. Dopo la cancellazione le due immagini si sovrappongono perfettamente. Per far questo, i gradi di libertà che distinguevano gli stati devono essere stati spostati altrove: nell'ambiente. Quello spostamento ha un costo termico minimo.
8. Le obiezioni e perché non reggono
Negli anni Duemila alcuni esperimenti hanno misurato il calore scambiato durante l'erasure di un bit. Berut, Arakelyan, Petrosyan e Ciliberto, nel 2012, hanno trovato un valore prossimo a k_B T \ln 2 in una trappola ottica. Altri gruppi hanno riportato valori inferiori, e qualche articolo ha parlato di "violazione del limite di Landauer".
Cosa manca in queste contestazioni? Spesso il protocollo sperimentale non cancella davvero l'informazione: la sposta in un grado di libertà non controllato, oppure la preparazione dello stato iniziale richiede già un costo entropico che non viene contabilizzato. In altri casi il "bit" è immerso in un bagno termico non all'equilibrio, e il confronto con k_B T \ln 2 diventa malposto.
La distinzione tra cancellazione logica e cancellazione fisica, poi, non aiuta chi vuole eludere il teorema. Se dopo l'operazione non esiste alcun procedimento fisico, neppure in linea di principio, per ricostruire lo stato precedente, allora l'informazione è stata effettivamente distrutta. La distruzione richiede un pagamento entropico. Non importa se il pagamento avviene nel momento dell'operazione o in quello della preparazione: alla fine dei conti deve comparire nel bilancio.
9. Perché è un teorema
Un teorema è una proposizione che segue da assiomi e definizioni. Il teorema di Landauer segue da:
- la definizione di bit come stato fisico con due realizzazioni distinte, cioè il qubit ontologico \{P_0,P_1\};
- l'irreversibilità logica dell'operazione di reset;
- il secondo principio della termodinamica, o equivalentemente l'assioma (A7) di monotonia della valutazione e il teorema di monotonia dell'entropia ontologica.
Ciascuno di questi ingredienti è o una definizione o una legge consolidata, con la sola riserva indicata nella sezione 5 per la via che passa dall'assioma (A7): le altre tre dimostrazioni non ne dipendono. Il valore numerico k_B T \ln 2 è il risultato inevitabile della combinazione.
Mostrare che l'operazione logicamente irreversibile di cancellazione sia esente da costo implicherebbe la violazione del secondo principio. Le contestazioni empiriche possono evidenziare che un particolare apparato non ha cancellato davvero l'informazione, o che il bilancio entropico è stato calcolato male. Non possono andare oltre.
10. Tre letture del teorema
Il teorema di Landauer si può leggere in almeno tre registri diversi, e ciascuno illumina un aspetto diverso della stessa proposizione.
10.1 Lettura analitica
Un bit è una variabile aleatoria X che assume due valori con probabilità p e 1-p. La sua entropia di Shannon è
Per un bit equilibrato, p=1/2, quindi H(X)=\ln 2. L'operazione di reset forza p a 1 (o a 0): l'entropia crolla a zero. La variazione è \Delta H = -\ln 2.
Nella meccanica quantistica lo stesso calcolo si fa con l'entropia di von Neumann. Lo stato di un bit equilibrato è la matrice densità
per cui S(\rho) = -\text{Tr}(\rho \log \rho) = \ln 2. Dopo la cancellazione lo stato è \rho' = |0\rangle\langle 0|, con S(\rho')=0.
La mappa che descrive la cancellazione è completamente positiva e trace-preserving, ma non è unitaria. Questo è il cuore analitico del teorema: una mappa non unitaria che riduce l'entropia di un sistema deve aumentare l'entropia di qualche altro sistema. Non c'è scappatoia.
Nel linguaggio del modello ontologico, la stessa cosa si esprime attraverso l'entropia condizionata H(\text{bit}\,|\,\text{ambiente}). Finché questa quantità è zero, l'informazione è recuperabile; quando sale fino a H(\text{bit}), il bit è diventato rumore.
10.2 Lettura sperimentale
Nel 2012 Antoine Bérut e collaboratori hanno pubblicato su Nature un esperimento che misurava direttamente il calore dissipato nella cancellazione di un bit. Hanno usato una sfera di vetro del diametro di pochi micrometri, sospesa in una trappola ottica a doppio pozzo. I due pozzi rappresentavano gli stati logici 0 e 1. Manipolando il potenziale con un protocollo di spostamento controllato, i ricercatori hanno forzato la sfera in uno dei due pozzi indipendentemente dalla posizione iniziale, realizzando l'erasure.
La temperatura del bagno termico era nota. Misurando il lavoro fatto sul sistema e sottraendo la variazione di energia potenziale, hanno ottenuto il calore scambiato con l'ambiente. Il risultato era prossimo a k_B T \ln 2, con andamenti coerenti con la previsione teorica al variare della durata del protocollo.
Altri esperimenti successivi hanno esplorato varianti: bit inizialmente correlati con l'ambiente, protocolli più rapidi, trappole magnetiche. In alcuni casi il calore misurato è risultato inferiore al limite, ma sempre perché l'informazione non era stata davvero cancellata: era rimasta correlata con un grado di libertà non monitorato. Nessun esperimento ha mai mostrato una cancellazione genuina al di sotto del limite.
10.3 Lettura computazionale
Un circuito logico reversibile non cancella informazione. Charles Bennett e, indipendentemente, Fredkin e Toffoli, hanno mostrato che qualunque funzione computabile può essere calcolata usando solo porte reversibili. Il trucco è conservare gli ingressi intermedi in bit di ancilla, invece di sovrascriverli.
La porta di Toffoli, per esempio, ha tre ingressi e tre uscite; è la sua stessa inversa. Può simulare il NAND aggiungendo un bit di ancilla. Il costo non è energetico, ma in memoria: per rendere reversibile un calcolo devi tenere traccia di tutti gli ingressi intermedi.
La cancellazione, invece, è irreversibile per definizione. Ogni RESET in un programma corrisponde a una porta che butta via informazione. In un processore reale, ogni RESET dissipa almeno k_B T \ln 2. Anche se i transistor moderni dissipano molto di più per altri motivi, il limite di Landauer fissa un pavimento fisico che nessuna ottimizzazione può scavare.
Per rendersi conto della scala, si pensi a un data center che elabora 10^{18} bit al secondo. Il minimo teorico di calore dovuto alla cancellazione sarebbe dell'ordine di qualche milliwatt a temperatura ambiente. Oggi i data center consumano megawatt: il limite di Landauer è ancora lontano, ma fissa la direzione in cui la fisica ci spinge.
11. Dalla cancellazione alla firma della storia fisica
Landauer non è solo un limite termico. È anche il caso limite di una teoria più generale della provenienza causale. Una trasformazione logicamente irreversibile richiede un aumento minimo di entropia nell'ambiente:
per bit cancellato. La Physical History Signature estende questo principio in una direzione concettualmente duale ma non matematicamente esatta, e ha nel principio di Landauer il proprio caso limite elementare.
Landauer descrive:
La PHS descrive:
Prendiamo una configurazione qualsiasi, non un bit. È lo stato finale C di una storia generativa:
dove le \Phi_i sono trasformazioni fisiche. Ogni transizione irreversibile lascia tracce \mathcal{T}: correlazioni residue, calore, struttura ambientale. La PHS misura quanto queste tracce distinguono \mathcal{H} dalle alternative.
La firma ha un nucleo di due quantità, la separabilità causale e la complessità storica, e tre quantità ausiliarie. La separabilità causale D_{\text{causale}}(\mathcal{H}, \mathcal{H}') = D_{KL}(P(\mathcal{T} \mid \mathcal{H}) \,\|\, P(\mathcal{T} \mid \mathcal{H}')) è la quantità centrale: misura quanto le tracce penalizzano una storia alternativa. L'informazione causale I_{\text{causale}} = D_{KL}(P(\mathcal{H} \mid C, \mathcal{T}) \,\|\, P(\mathcal{H} \mid C)) quantifica quanto le evidenze restringono la distribuzione sulle cause. La complessità storica C_{\text{storica}}^* = C_{\text{fisico}}(\mathcal{H}) - C_{\text{osservabile}}(C) misura la struttura generativa nascosta nello stato finale. La separazione causale \Delta_{\text{causale}} = S(\mathcal{H}_{\text{alt}}^*) - S(\mathcal{H}^*) dice quanto costa costruire una storia diversa con le stesse tracce, dove S(\mathcal{H}) = -\log P(\mathcal{T} \mid \mathcal{H}) + \lambda \, C_{\text{fisico}}(\mathcal{H}). La risorsa causale è il vettore R_{\text{causale}} = (R_{\text{traccia}}, R_{\text{generativa}}), con R_{\text{traccia}} = I(\mathcal{H}; \mathcal{T}) e R_{\text{generativa}} = C_{\text{fisico}}(\mathcal{H}) - C(C).
Nel bit cancellato tutto si semplifica. C=0 è banale. La storia contiene l'erasure di uno stato ignoto. La traccia principale è il calore dissipato. La separabilità causale è alta perché una traccia termica coerente esclude storie prive di dissipazione. La complessità storica è positiva perché dallo stato finale non si risale al valore precedente. \Delta_{\text{causale}} è grande: per costruire una storia alternativa bisogna replicare un processo irreversibile.
Fuori dal bit, le tracce formano reti. Un vaso romano non è interessante perché esiste, ma perché nessuna storia semplice spiega insieme la sua composizione isotopica, le microfratture, i pollini, la patina. La PHS non risolve il problema metafisico della realtà. Cambia la domanda: non è "questo è vero?", ma "questa storia ha il miglior rapporto tra potere esplicativo e costo generativo?".
In questo senso il teorema di Landauer è il primo capitolo di una teoria della provenienza fisica. La cancellazione paga un debito. Quel debito, opportunamente misurato, diventa la firma del percorso causale.
12. Coda
Se l'informazione non viene cancellata ma solo nascosta in gradi di libertà esterni, fino a che punto possiamo ancora chiamarla "informazione"? La risposta sta nel modo in cui il framework B-\tau-▷ tratta l'informazione.
I tipi nel piano dell'essere B non vengono mai distrutti: sono entità pre-spaziali e pre-temporali, unici e permanenti. Quello che cambia durante la cancellazione è la valutazione di un aggregato. Prima dell'operazione, l'aggregato che codifica il bit si trova in uno stato in cui due proprietà sono implicitamente possibili; dopo, una sola è esplicita. L'altra non scompare da B: diventa inaccessibile al sistema che ha fatto il reset, e la sua traccia si disperde nei gradi di libertà dell'ambiente.
L'informazione, allora, non è una sostanza conservata in un contenitore, ma una relazione strutturale recuperabile. Finché esiste una procedura fisica — anche solo in linea di principio — per risalire dallo stato attuale dell'ambiente allo stato precedente del bit, la traccia è ancora informazione. Quando la correlazione diventa irrecuperabile per l'osservatore, a causa del numero dei gradi di libertà coinvolti o della scala a cui sono nascosti, allora la chiamiamo rumore termico.
Il confine tra bit e rumore non è ontologico: è operativo. Dipende dal dominio di controllo dell'osservatore, cioè da quali gradi di libertà riesce a misurare e manipolare. Questo non indebolisce il teorema di Landauer, perché il teorema non parla di distruzione assoluta, ma di irreversibilità relativa al sistema che cancella. Pagare almeno k_B T \ln 2 significa proprio questo: rendere la traccia irrecuperabile per il calcolatore.
Fino a che finezza devo misurare l'ambiente per ricostruire il bit? La risposta sta nell'entropia condizionata H(\text{bit} \,|\, \text{ambiente}). Finché questa entropia si annulla, cioè conoscendo lo stato dell'ambiente posso determinare con certezza il valore precedente del bit, l'informazione è ancora lì. Nel linguaggio del modello, deve esistere un insieme coerente in S_2 che contenga sia le proprietà dell'ambiente misurato sia la proprietà P_0 o P_1 del bit passato. Quando l'aggregazione dell'ambiente con P_0 o P_1 diventa incompatibile — perché i gradi di libertà si sono mescolati a troppi altri gradi di libertà termici — la ricostruzione non è più possibile.
A quale scala il rumore diventa rumore davvero? Quando il costo della misura supera il guadagno. Se per ricostruire un bit devo misurare un numero di gradi di libertà dell'ambiente tale che l'entropia necessaria alla preparazione della misura stessa supera k_B \ln 2, allora non sto più recuperando informazione: sto spendendo più entropia di quanta ne recuperi. Il bit diventa rumore per quel dominio di controllo quando H(\text{bit} \,|\, \text{ambiente}) \approx H(\text{bit}), cioè quando la conoscenza dell'ambiente non riduce più l'incertezza sul bit.
Il teorema di Landauer non dice quale osservatore debba misurare, né con quale precisione. Dice solo che il passaggio da recuperabile a irrecuperabile ha un costo termico minimo, e che quel costo è k_B T \ln 2 per bit.
Resta il problema di chi decide se una misura è possibile. Ma questa è una questione ingegneristica, non ontologica.