# Capitolo 4: La Probabilità Ontologica e la Regola di Born

## 4.1 Perché Esiste la Probabilità?

La meccanica quantistica è probabilistica. Non possiamo prevedere con certezza se un elettrone, dopo essere passato attraverso un filtro, avrà spin su o spin giù: possiamo solo calcolare la *probabilità* di ogni esito. Questo ha disturbato profondamente Einstein, che affermava che "Dio non gioca a dadi".

Ma perché il mondo è probabilistico? Le teorie standard della meccanica quantistica semplicemente *postulano* la probabilità: si assume che la norma al quadrato dell'ampiezza d'onda dia la probabilità. Questa è la **regola di Born**, e non è derivata da nulla di più primitivo: è semplicemente una delle assunzioni della teoria.

TheoryFlow fa qualcosa di diverso: **deriva** la probabilità dalla struttura del piano dell'essere. La probabilità non è un fatto bruto del mondo: è una conseguenza necessaria della struttura ontologica.

---

## 4.2 L'Implicito come Fonte della Probabilità

Ricordate i tre valori logici: V (esplicito), F (impossibile), I (implicito). *[Corretto: questo capitolo, essendo interamente nel registro fisico, usa qui I anziché N. N resta riservato al dispositivo logico in senso stretto (il non-apofantico, doppia negazione di un concetto negativo, vedi 01-Ontologia §1.6); I è lo statuto fisico di una proprietà non ancora misurata. I due condividono la stessa posizione formale nell'algebra a tre valori, ma il nome resta distinto. Attenzione: non confondere questo I con il termine di interferenza $I(U_1,U_2,P)$ introdotto più avanti al §4.7: sono due usi dello stesso simbolo, completamente indipendenti, distinguibili dal contesto (il primo è un valore di verità, il secondo una funzione a tre argomenti).]*

Le proprietà con valore I sono "presenti ma non ancora determinate". Quando un sistema fisico viene misurato, le sue proprietà passano da I a V (o, se incompatibili con la misura, a F). Ma *quale* proprietà diventa V e quale diventa F? Questo è il problema della misura in meccanica quantistica.

In TheoryFlow, la risposta è: non c'è una risposta deterministica a questa domanda. L'implicito (I) ha una struttura interna che determina *con quale frequenza* le diverse possibilità si realizzano. Questa frequenza è la **probabilità ontologica**.

L'idea chiave è che le proprietà con valore I non sono tutte equivalenti. Alcune sono "più implicite" di altre, più profondamente nascoste, meno prossime all'esplicitazione. Questa differenza di "grado di implicito" si quantifica con un **peso**, e la distribuzione di questi pesi è la distribuzione di probabilità.

---

## 4.3 I Pesi Ontologici

Formalmente, ogni proprietà $P \in \mathcal{B}$ ha associato un **peso ontologico** $w(P) \geq 0$. Il peso misura "quanto facilmente" la proprietà tende a esplicitarsi nel dominio corrente.

Il peso non è una proprietà assoluta di $P$: dipende dal dominio $\mathcal{D}$ in cui $P$ si trova. Una proprietà può avere peso alto in un dominio (è "quasi esplicita") e peso basso in un altro (è "molto latente").

La funzione peso deve soddisfare alcune proprietà naturali:
1. $w(P) \geq 0$: i pesi sono non-negativi
2. $\sum_{P \text{ compatibile con } U} w(P) = 1$: la somma dei pesi su tutte le proprietà compatibili con un dato insieme coerente $U$ è 1 (normalizzazione)
3. Se $P \preceq Q$ (P più specifica di Q), allora $w(P) \leq w(Q)$: le proprietà specifiche hanno peso minore o uguale alle proprietà generiche che le contengono

La terza condizione ha un'interpretazione intuitiva bella: le proprietà generiche (tipo "colorato") sono più facilmente esplicitabili delle proprietà specifiche (tipo "rosso porpora esatto"), perché ci sono molti più modi di essere "colorato" che di essere "rosso porpora esatto".

---

## 4.4 La Distribuzione di Born

La **distribuzione di Born** (o **probabilità ontologica**) è la distribuzione di probabilità sulle proprietà di $\mathcal{B}$ determinata dai pesi ontologici.

**Definizione.** Dato un insieme coerente $U \in S_2$ e una proprietà $P \in \mathcal{B}$, la probabilità di Born che la misura dell'insieme $U$ riveli la proprietà $P$ è:

$$\Pr_B(U \to P) \;=\; \frac{\mu_w\bigl(\phi^{-1}(U) \cap \Phi^{-1}(P)\bigr)}{\mu_w\bigl(\phi^{-1}(U)\bigr)}$$

dove:
- $\mu_w$ è la misura di probabilità generata dai pesi ontologici
- $\phi^{-1}(U)$ è la preimmagine di $U$ nella mappa $\phi: S_1 \to S_2$
- $\Phi^{-1}(P)$ è la preimmagine di $P$ nella mappa di aggregazione $\Phi: S_1 \to S_3$

In parole più semplici: la probabilità di Born di trovare $P$ dato che siamo nello stato $U$ è il "peso" dell'intersezione tra "ciò che punta verso $U$" e "ciò che punta verso $P$", diviso per il "peso totale" di $U$.

Questa formula sembra complicata, ma ha un'interpretazione geometrica semplice: è la **misura dell'angolo** tra i vettori corrispondenti nello spazio di Hilbert $\mathcal{H}_\mathcal{D}$.

---

## 4.5 Dal Peso al Quadrato dell'Ampiezza

Ecco il collegamento preciso con la meccanica quantistica standard.

In meccanica quantistica, uno stato quantistico è un vettore $|\psi\rangle$ nello spazio di Hilbert $\mathcal{H}$. La probabilità di trovare il sistema nello stato $|\phi\rangle$ quando si misura è:

$$\Pr_{QM} = |\langle\phi|\psi\rangle|^2$$

Questo è il modulo quadrato del prodotto scalare tra i due vettori. È la regola di Born della meccanica quantistica standard.

In TheoryFlow, lo stato $|\psi\rangle$ corrisponde all'insieme coerente $U \in S_2$, e il vettore $|\phi\rangle$ corrisponde alla proprietà $P$ che si vuole misurare. La probabilità di Born di TheoryFlow $\Pr_B(U \to P)$ coincide esattamente con $|\langle P|U\rangle|^2$ quando si esprime nella base dello spazio di Hilbert.

**Teorema (Born).** Per ogni dominio $\mathcal{D}$ con spazio di Hilbert associato $\mathcal{H}_\mathcal{D}$, la probabilità ontologica $\Pr_B$ soddisfa:

$$\Pr_B(U \to P) \;=\; |\langle P | \phi(U) \rangle|^2$$

dove $\phi(U) \in \mathcal{H}_\mathcal{D}$ è il vettore corrispondente all'insieme coerente $U$.

Questo è esattamente la regola di Born della meccanica quantistica. Non è un postulato: è una conseguenza della struttura dei pesi ontologici.

---

## 4.6 Unicità della Regola di Born

Un risultato tecnico molto importante è che la distribuzione di Born è l'**unica** distribuzione di probabilità consistente con la struttura topologica di $(\mathcal{B}, \tau)$.

Per capire l'importanza di questo risultato, notiamo che ci sono molte distribuzioni di probabilità che potremmo in principio assegnare alle proprietà. Perché proprio $|\langle\phi|\psi\rangle|^2$ e non, che so, $|\langle\phi|\psi\rangle|^3$ o $|\langle\phi|\psi\rangle|$?

La risposta di TheoryFlow è: perché le altre distribuzioni sono inconsistenti con la struttura di compatibilità e genericità. Un argomento rigoroso, dovuto a Gleason (1957) nel contesto della meccanica quantistica standard, mostra che l'unica funzione sugli stati di uno spazio di Hilbert di dimensione $\geq 3$ che soddisfa:
- $\Pr(P) \geq 0$ per ogni proprietà $P$
- $\sum_i \Pr(P_i) = 1$ per ogni insieme di proprietà mutualmente incompatibili $\{P_i\}$

è esattamente la misura di Born $\Pr(P) = |\langle P|\psi\rangle|^2$ per qualche stato $|\psi\rangle$.

Il Teorema di Gleason è una derivazione rigorosa della regola di Born dagli assiomi geometrici della meccanica quantistica. E poiché TheoryFlow deriva già quegli assiomi (attraverso il Teorema di Piron, visto nel capitolo precedente), la regola di Born emerge automaticamente.

---

## 4.7 L'Interferenza Quantistica

Uno degli aspetti più misteriosi della meccanica quantistica è l'**interferenza**: le probabilità quantistiche non si sommano come le probabilità classiche. Questo produce effetti come le frange di interferenza in esperimenti con la doppia fenditura.

In meccanica quantistica classica, le ampiezze (vettori complessi) si sommano:
$$\psi_{tot} = \psi_1 + \psi_2$$

e le probabilità sono i moduli quadrati delle ampiezze:
$$|\psi_{tot}|^2 = |\psi_1|^2 + |\psi_2|^2 + 2\text{Re}(\psi_1^* \psi_2)$$

Il termine $2\text{Re}(\psi_1^* \psi_2)$ è il termine di interferenza: può essere positivo (interferenza costruttiva) o negativo (interferenza distruttiva). Non è presente nella probabilità classica.

In TheoryFlow, l'interferenza emerge naturalmente dalla struttura degli insiemi coerenti. Quando due insiemi coerenti $U_1$ e $U_2$ si sovrappongono (hanno proprietà in comune), le loro contribuzioni alla probabilità ontologica si combinano con un termine di interferenza che dipende dalla struttura della loro sovrapposizione:

$$\Pr_B(U_1 \cup U_2 \to P) \;=\; \Pr_B(U_1 \to P) + \Pr_B(U_2 \to P) + I(U_1, U_2, P)$$

dove $I(U_1, U_2, P) = 2\text{Re}\bigl(\langle P|\phi(U_1)\rangle^*\langle P|\phi(U_2)\rangle\bigr)$ è il termine di interferenza.

Questo termine non è "misterioso": è semplicemente la conseguenza geometrica del fatto che gli insiemi coerenti si sovrappongono nella topologia di $(\mathcal{B}, \tau)$.

---

## 4.8 L'Entanglement

Un altro fenomeno quantistico apparentemente misterioso è l'**entanglement** (o entanglement quantistico).

Due particelle sono entangled quando le loro proprietà sono correlate in modo tale che misurare una di esse determina istantaneamente lo stato dell'altra, indipendentemente dalla distanza tra di loro. Questo sembra violare la località della fisica.

In TheoryFlow, l'entanglement ha un'interpretazione naturale: due sistemi entangled sono due insiemi di proprietà che appartengono allo *stesso* insieme coerente nel piano dell'essere, anche se i sistemi fisici corrispondenti si trovano in luoghi distanti.

Formalmente: se $U_{AB} \in S_2$ è un insieme coerente che contiene proprietà sia del sistema $A$ che del sistema $B$, allora $A$ e $B$ sono entangled. Le correlazioni tra le misurazioni su $A$ e $B$ sono correlazioni tra le proprietà dello stesso insieme coerente: non richiedono alcuna comunicazione "istantanea" perché sono *già correlate* a livello ontologico.

Questo risolve il paradosso EPR (Einstein-Podolsky-Rosen): non c'è alcuna "azione a distanza": c'è semplicemente la struttura coerente di un insieme di proprietà nel piano dell'essere.

**Attenzione a non estendere il concetto oltre il suo dominio.** L'entanglement così definito è una relazione a livello $S_2$ tra **sistemi-token specifici** che condividono un insieme coerente $U_{AB}$, richiede una storia comune (produzione condivisa, interazione passata), esattamente come in fisica sperimentale (coppie EPR prodotte in laboratorio). Non è, e non deve essere usato come, un meccanismo generale per spiegare perché una proprietà-*tipo* (es. "rosso") ricorre identica in aggregati privi di qualunque storia comune, sparsi per l'universo. Quel fenomeno non richiede alcuna correlazione: è già risolto un livello più a monte, a livello $S_1$, dall'identità numerica dei tipi in $\mathcal{B}$: si veda §2.11 per la discussione completa del problema degli universali e la ragione per cui l'entanglement è lo strumento sbagliato per quel problema.

---

## 4.9 La Disuguaglianza di Bell e il Bound di Tsirelson

Un risultato sperimentale fondamentale della fisica quantistica è la **violazione delle disuguaglianze di Bell**. Bell mostrò nel 1964 che qualunque teoria realista locale (una teoria in cui le correlazioni si spiegano con variabili nascoste locali) deve soddisfare certe disuguaglianze sulle correlazioni misurabili. Gli esperimenti mostrano che la meccanica quantistica *viola* queste disuguaglianze, ma non in modo arbitrario: c'è un limite superiore alla violazione, chiamato **bound di Tsirelson** (o Cirel'son).

La meccanica quantistica viola le disuguaglianze di Bell fino al bound di Tsirelson ma non oltre. Perché non oltre?

In TheoryFlow, il bound di Tsirelson ha un'interpretazione topologica precisa. Le correlazioni tra sistemi entangled sono correlazioni tra insiemi coerenti nel piano dell'essere. La topologia di $(\mathcal{B}, \tau)$ pone un limite alle correlazioni possibili: le proprietà di un insieme coerente non possono essere "più correlate" di quanto permette la struttura topologica.

**Proposizione.** Il bound di Tsirelson $2\sqrt{2}$ per la disuguaglianza CHSH è equivalente al limite geometrico sulla correlazione tra due insiemi coerenti in $(\mathcal{B}, \tau)$:

$$\max_{U_{AB} \in S_2} C(U_{AB}) \;=\; 2\sqrt{2}$$

dove $C(U_{AB})$ è la correlazione di CHSH per lo stato bipartito $U_{AB}$.

Questo risultato emerge direttamente dalla struttura hilbertiana dello spazio degli insiemi coerenti: non è un postulato ma una conseguenza geometrica.

---

## 4.10 La Probabilità come Misura dell'Implicito

Riassumiamo la struttura conceptuale di questo capitolo.

La probabilità in TheoryFlow non è un'aggiunta esterna alla struttura fisica. È la misura naturale del regime **I** (implicito): le proprietà implicite non sono tutte equivalenti: alcune sono più "prossime" all'esplicitazione di altre, e questa differenza si misura con i pesi ontologici.

Quando un sistema viene misurato, il processo $I \to V$ (o $I \to F$) è fondamentalmente stocastico, non perché il mondo sia "casuale" in senso primitivo, ma perché la struttura dell'implicito ha una distribuzione che non può essere ulteriormente specificata senza violare la coerenza topologica del piano dell'essere.

In termini più tecnici: la probabilità di Born è l'**unica** misura su $(\mathcal{B}, \tau)$ che è:
1. Compatibile con la struttura di compatibilità e genericità
2. Normalizzata correttamente
3. Additiva sulle proprietà mutualmente incompatibili

Qualunque altra scelta produrrebbe inconsistenze nella struttura topologica. La probabilità quantistica non è una scelta: è una necessità.

---

## Riepilogo del Capitolo 4

- Le proprietà implicite (I) hanno **pesi ontologici** che misurano la loro "prossimità" all'esplicitazione
- La **distribuzione di Born** è la distribuzione di probabilità determinata da questi pesi
- **Teorema**: la regola di Born $\Pr = |\langle\phi|\psi\rangle|^2$ è l'unica distribuzione consistente con $(\mathcal{B}, \tau)$ (Teorema di Gleason via Teorema di Piron)
- L'**interferenza** quantistica emerge dalla sovrapposizione di insiemi coerenti nella topologia
- L'**entanglement** è la condizione in cui due sistemi appartengono allo stesso insieme coerente
- Il **bound di Tsirelson** è un limite geometrico sulla correlazione tra insiemi coerenti
- La probabilità non è un postulato: è una conseguenza necessaria della struttura ontologica