La Meccanica Quantistica
La meccanica quantistica è una teoria fisica sviluppata all’inizio del XX secolo per spiegare fenomeni che la fisica classica non riusciva a descrivere, come la radiazione del corpo nero e l’effetto fotoelettrico.
La funzione d’onda, introdotta da Schrödinger, fornisce una rappresentazione matematica dello stato di una particella e permette di calcolare le probabilità di vari risultati di misurazioni.
La quantizzazione implica che alcune grandezze, come energia, sono discrete e non possono assumere valori arbitrari, come dimostrato nelle linee spettrali degli atomi.
Il principio di indeterminazione di Heisenberg afferma che più precisamente si conosce la posizione di una particella, meno precisamente si conosce la sua velocità, e viceversa, creando limiti fondamentali alla conoscenza.
La sovrapposizione quantistica consente a una particella di trovarsi in più stati contemporaneamente, come illustrato dal famoso esempio del gatto di Schrödinger.
Quando si effettua una misurazione, la funzione d’onda collassa in uno dei possibili stati, determinando in modo risultato specifico, ma senza prevedere quale in anticipo.
La teoria include anche l’entanglement, un fenomeno in cui due o più particelle diventano correlate in modo tale che lo stato di una dipende istantaneamente dallo stato dell’altra, anche a grandi distanze.
Questi concetti hanno portato allo sviluppo di tecnologie avanzate come i computer quantistici, la crittografia quantistica e i sensori ultra sensibili.
La meccanica quantistica mette in discussione le nostre intuizioni sulla realtà, introducendo idee come il non-localismo e la realtà probabilistica.
Nonostante le sue stranezze e interpretazioni diverse (come quella di Copenhagen o quella dei Many-Worlds), la meccanica quantistica rimane una delle teorie più accurate e confermate sperimentalmente in fisica.
Non-Località e Contestualità nella Meccanica Quantistica
La non-località si riferisce al fenomeno in cui due o più particelle entangled influenzano istantaneamente il loro stato, indipendentemente dalla distanza che le separa, contraddicendo l’idea che le influenze abbiano una velocità limitata alla velocità della luce.
Questa proprietà è stata confermata attraverso esperimenti di violazione della disuguaglianza di Bell, dimostrando che le correlazioni tra particelle entangled non possono essere spiegate da teorie locali.
La contestualità, invece, riguarda il fatto che i risultati di una misurazione dipendono dal contesto in cui vengono effettuati, cioè dall’esistenza di altre misurazioni compatibili o meno con quella effettuata.
In termini semplici, la contestualità significa che l’“essere” di un’osservabile dipende dallo specifico insieme di misurazioni eseguite, e quindi non esiste un valore predefinito indipendentemente dal contesto.
Mentre la non-località riguarda le correlazioni tra particelle distanti, la contestualità riguarda la natura intrinseca delle proprietà quantistiche e come queste siano condizionate dall’ambiente di misurazione.
La controversia tra queste due caratteristiche è centrale nelle varie interpretazioni della meccanica quantistica, come quella di Copenhagen che enfatizza la contestualità, e quella di Einstein che sottolineava il principio di località.
La non-località sfida le idee di un universo in cui le influenze si propagano a velocità limitata, implicando che la realtà abbia un aspetto più complesso delle spiegazioni classiche.
La contestualità suggerisce che le proprietà di una particella non sono definite fino a quando non vengono misurate nel suo specifico contesto sperimentale.
Entrambi i fenomeni contribuiscono a rendere la teoria quantistica altamente controintuitiva rispetto al modo in cui percepiamo il mondo quotidiano.
In sintesi, la non-località riguarda le correlazioni istantanee tra particelle distanti, mentre la contestualità riguarda come le proprietà delle particelle siano dipendenti dall’ambiente di misurazione.
La Torcia Qubit
Immagina di avere una torcia che può illuminare sia a destra che a sinistra contemporaneamente, un po’ come se avesse due lampadine accese insieme (Marletto & Vedral, 2025, p. 1). Questo articolo parla di cercare di descrivere questa torcia speciale usando delle regole che funzionano per le normali torce che illuminano solo in una direzione alla volta.
Punti Principali
Si può usare un trucco con dei numeri speciali per descrivere come questa torcia “qubit” si comporta quando passa attraverso un labirinto di specchi (Marletto & Vedral, 2025, p. 1).
Ma c’è un problema: questa torcia speciale non può “giocare” con altre torce speciali. Nel mondo quantistico, le particelle possono essere “amiche” in un modo speciale chiamato “entanglement”, ma questa torcia non sa come farlo (Marletto & Vedral, 2025, p. 2). È come se fosse troppo timida per fare amicizia.
Inoltre, questa torcia non rispetta una regola importante del mondo quantistico, che dice che non puoi sapere tutto su di essa contemporaneamente (Marletto & Vedral, 2025, p. 2).
Quindi, anche se possiamo usare delle regole “normali” con un trucco per descrivere questa torcia speciale, non è una vera torcia “qubit” perché non può fare amicizia con altre torce e non rispetta le regole del mondo quantistico (Marletto & Vedral, 2025, p. 1).
Le Idee Filosofiche di Kronecker
Le idee filosofiche di Kronecker, documentate nei suoi scritti e corrispondenze, si fondano su tre pilastri interconnessi: finitismo radicale, costruttivismo algoritmico e un fondamentalismo aritmetico. Ecco una sintesi rigorosa basata sulle fonti primarie:
1. Fondamentalismo aritmetico
Tesi centrale:
“Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk” (“Dio creò gli interi, tutto il resto è opera dell’uomo”).
Fonte: Attribuita a Kronecker nel Jahresbericht der Deutschen Mathematiker-Vereinigung (1893, postumo), ma coerente con le sue lezioni dagli anni 1880.
Implicazione:
Gli interi ( ℤ) sono l’unica realtà matematica “dati” a priori. Ogni altro oggetto (frazioni, irrazionali, funzioni) dev’essere costruito algoritmicamente da essi.
2. Costruttivismo algoritmico
Definizione di esistenza matematica:
Un oggetto esiste solo se può essere definito tramite un algoritmo finito a partire dagli interi.
Fonte: Über den Zahlbegriff (1887): “Jede mathematische Größe muss durch eine endliche Anzahl von Rechenoperationen aus den ganzen Zahlen gewonnen werden können” (“Ogni entità matematica dev’essere ottenibile mediante un numero finito di operazioni sugli interi”).
Esempi:
Numeri razionali: Ammissibili (costruibili come coppie di interi).
Numeri algebrici: Ammissibili (radici di polinomi a coefficienti interi).
Numeri trascendenti (es. π, e): Rigettati se non definibili algebricamente.
3. Rifiuto dell’infinito attuale
Critica a Cantor:
Negò l’esistenza di insiemi infiniti “completi” (es. ℝ), definendoli non matematici.
Fonte: Lettera a Cantor (1883): “Ihre ‘Mannigfaltigkeiten’ sind keine mathematischen Gegenstände, sondern Glaubensartikel” (“Le sue ‘molteplicità’ non sono oggetti matematici, ma articoli di fede”).
Infinito potenziale:
Ammise solo processi finiti che potenzialmente proseguono all’infinito (es. algoritmi iterativi), mai enti infiniti “finiti”.
4. Critica all’analisi classica
Limiti e continuità:
Rigettò le definizioni ϵ-δ di Weierstrass, considerandole “non costruttive”.
Fonte: Lettere a Weierstrass (1885): “Beweise, die die Existenz ohne Konstruktion behaupten, sind theologisch, nicht mathematisch” (“Dimostrazioni che affermano l’esistenza senza costruzione sono teologiche, non matematiche”).
Serie infinite:
Accettò solo serie con convergenza algoritmicamente verificabile (es. serie geometriche), non quelle la cui somma è inaccessibile (es. la maggior parte delle serie di Fourier).
5. Programma di aritmetizzazione
Obiettivo:
Riformulare tutta la matematica (inclusa geometria e analisi) in termini di equazioni diofantee (polinomi a coefficienti interi).
Fonte: Zur Theorie der elliptischen Funktionen (1889): “Die ganze Mathematik muss sich auf die Lösung diophantischer Gleichungen zurückführen lassen” (“Tutta la matematica dev’essere riducibile alla soluzione di equazioni diofantee”).
Esempio:
Un punto su una curva ellittica è accettabile solo se le sue coordinate sono numeri algebrici.
6. Epistemologia matematica
Priorità del discreto:
Il continuo è un’illusione derivante da processi discreti.
Fonte: Vorlesungen über Mathematik (1894, ed. Hensel): “Der Begriff der Stetigkeit ist eine Fiktion, die aus der Diskretion abgeleitet wird” (“Il concetto di continuità è una finzione derivata dal discreto”).
Critica alla logica formale:
Sostenne che la validità di un teorema dipende dalla sua costruibilità, non dalla coerenza logica astratta.
Fonti primarie
- Kronecker, L. (1887). Über den Zahlbegriff. Journal für die reine und angewandte Mathematik.
- Kronecker, L. (1882). Grundzüge einer arithmetischen Theorie der algebraischen Größen.
- Mathematische Werke (5 voll., 1895-1931), in particolare i vol. III (testi) e V (corrispondenza).
Kronecker non fu solo un critico: propose un progetto alternativo per la matematica, basato su aritmetica e algebra costruttiva. La sua influenza sul moderno costruttivismo (Brouwer, Bishop) e sull’informatica teorica (Church, Turing) è riconosciuta, ma la sua visione radicale rimane unica nel rigore con cui subordinò l’intera matematica agli interi.
Critica di Kronecker alla Meccanica Quantistica
Kronecker avrebbe criticato la meccanica quantistica nella sua formulazione matematica per motivi profondi legati alla sua filosofia della matematica, che era fortemente finitista e costruttivista. Egli riteneva che solo i numeri interi e le operazioni finite avessero una reale esistenza matematica, mentre gli oggetti infiniti, i numeri reali e complessi, e le costruzioni basate sul continuo fossero mere astrazioni prive di fondamento oggettivo.
La meccanica quantistica, invece, si basa su spazi di Hilbert infiniti, operatori lineari continui, funzioni d’onda complesse e integrali su insiemi infiniti, tutti concetti che Kronecker avrebbe considerato illegittimi perché non riducibili a operazioni finite e concrete.
Inoltre, la probabilità e l’indeterminazione intrinseca della meccanica quantistica si fondano su strutture matematiche che non possono essere costruite passo dopo passo a partire dai numeri interi, ma richiedono l’uso di limiti, infiniti e oggetti astratti.
Dal punto di vista di Kronecker, questa dipendenza da entità non costruttive mina la certezza e la validità della teoria, rendendola, ai suoi occhi, più una costruzione formale che una descrizione reale e affidabile della natura.
In sintesi, la sua critica sarebbe stata che la matematica della meccanica quantistica si allontana troppo dal concreto e dal costruttivo, affidandosi a strumenti che lui considerava filosoficamente e matematicamente inaccettabili.
Analisi del Disaccordo di Kronecker con la Meccanica Quantistica
Premessa metodologica: Mi atterrò rigorosamente agli scritti originali di Kronecker, in particolare al saggio Über den Zahlbegriff (1887), alla corrispondenza con Cantor, e alle critiche ai fondamenti dell’analisi matematica. Kronecker rifiutava ogni entità matematica non costruibile finitisticamente a partire dagli interi.
1. Kronecker: filosofia finitista e costruttivista
Fondamento negli interi:
Kronecker dichiarò: “Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk” (“Dio creò gli interi, tutto il resto è opera dell’uomo”).
Fonte: Jahresbericht der Deutschen Mathematiker-Vereinigung (1893, postumo), ma già presente in lezioni degli anni 1880.
Critica al continuo e all’infinito attuale:
Rigettava i numeri irrazionali, i reali non algebrici e l’infinito attuale (es. insiemi infiniti completi).
Fonte: Lettera a Cantor (1883), dove definisce le idee cantoriane “non matematiche” poiché non costruibili algoritmicamente.
Costruttività algoritmica:
Ogni oggetto matematico deve essere definibile mediante un numero finito di operazioni sugli interi.
Fonte: Über den Zahlbegriff (1887), §2: “Jede mathematische Größe muss durch eine endliche Anzahl von Rechenoperationen aus den ganzen Zahlen gewonnen werden können”.
2. Meccanica quantistica: elementi antitetici alla filosofia di Kronecker
Spazi di Hilbert infinito-dimensionali:
La formulazione di von Neumann (1932) si basa su spazi di Hilbert completi, che richiedono l’infinito attuale (es. serie convergenti, basi ortonormali infinite).
Critica kroneckeriana: L’infinito attuale è inammissibile. Kronecker accetterebbe solo spazi vettoriali finito-dimensionali, come esplicitato in Vorlesungen über Mathematik (1894, ed. Hensel).
Numeri reali e complessi come fondamento:
La meccanica quantistica usa funzioni d’onda a valori complessi, operatori non limitati e misure spettrali sui reali.
Critica kroneckeriana: I numeri reali/complessi non sono “costruibili” finitisticamente. Kronecker ammetteva solo numeri algebrici (definibili come radici di polinomi a coefficienti interi), come in Grundzüge einer arithmetischen Theorie der algebraischen Größen (1882).
Teorema spettrale non costruttivo:
L’esistenza di misure spettrali per operatori autoaggiunti (fondamentale in QM) è dimostrata non costruttivamente, usando l’assioma della scelta o l’infinito attuale.
Critica kroneckeriana: Ogni esistenza deve essere provata con un algoritmo finito. Kronecker rifiutò le dimostrazioni di esistenza non costruttive, come nel caso del teorema di Bolzano-Weierstrass (lettere a Weierstrass, 1885).
Delta di Dirac e distribuzioni:
La delta di Dirac (usata in QM per stati impropri) non è una funzione nel senso classico, e richiede teorie non archimedee o distribuzioni.
Critica kroneckeriana: Ogni oggetto deve essere definibile algebricamente o tramite espressioni finite. Kronecker bollò come “senza senso” le entità non algebriche (Über den Zahlbegriff, §4).
3. Confronto con il contesto storico
Kronecker morì nel 1891, prima della nascita della QM (1925-27), ma le sue critiche ai fondamenti dell’analisi sono dirette contro gli stessi strumenti usati da von Neumann:
In una lettera a Lipschitz (1886), attaccò l’uso di serie infinite non “controllabili algoritmicamente”.
Nel saggio Zur Theorie der elliptischen Funktionen (1889), insistette che l’analisi va riformulata in termini di “equazioni diofantee”, eliminando limiti e continuità.
La QM, basata sull’analisi funzionale, viola tutti questi principi.
Conclusione
Kronecker avrebbe rigettato la formulazione matematica della meccanica quantistica perché:
- Dipende da spazi di Hilbert infinito-dimensionali (infinito attuale).
- Usa numeri reali/complessi non costruibili finitisticamente.
- Si fonda su teoremi di esistenza non costruttivi.
- Introduce entità “non algebriche” (es. delta di Dirac).
Fonti primarie:
- Kronecker, L. (1887). Über den Zahlbegriff. Journal für die reine und angewandte Mathematik.
- Kronecker, L. (1894). Vorlesungen über Mathematik (ed. Hensel).
- Corrispondenza con Cantor, Weierstrass, Lipschitz (pubblicate in Mathematische Werke, Vol. V, 1931).
Kronecker avrebbe forse apprezzato le conseguenze discrete della QM (es. livelli energetici quantizzati), ma non la sua matematica sottostante, che giudicherebbe “opera arbitraria dell’uomo”, non fondata sugli interi.
Comprendere i Qubit
Immagina di avere una moneta che può essere sia testa che croce allo stesso tempo, questa è l’idea di un “qubit” in informatica quantistica. Questo articolo cerca di descrivere il comportamento di un singolo fotone (una particella di luce) che si comporta come un qubit usando delle equazioni che normalmente descrivono oggetti classici, come delle palline che rotolano, ma con un piccolo trucco: usa numeri complessi (Marletto & Vedral, 2025, p. 1).
Punti Principali
Si può usare un trucco matematico con numeri complessi per descrivere come un singolo fotone passa attraverso un dispositivo chiamato interferometro di Mach-Zehnder e crea figure di interferenza (Marletto & Vedral, 2025, p. 1).
Anche se sembra funzionare, questo sistema non è un vero qubit. Perché? Perché non può “entangled” (intrecciarsi) con altri qubit (Marletto & Vedral, 2025, p. 2). L’entanglement è come avere due monete che sono legate in modo che se una mostra testa, l’altra mostra sempre croce, non importa quanto siano distanti.
Inoltre, questo sistema non rispetta il principio di indeterminazione, che dice che non puoi conoscere contemporaneamente alcune proprietà di una particella con precisione (Marletto & Vedral, 2025, p. 2).
In parole povere, l’articolo dimostra che anche se puoi imitare il comportamento di un singolo qubit usando matematica “classica” con numeri complessi, questo non significa che hai creato un vero qubit. Manca la capacità di entangled e di rispettare il principio di indeterminazione, che sono fondamentali per il mondo quantistico (Marletto & Vedral, 2025, p. 1).
Interferenza Quantistica di un Qubit
Questo articolo discute formalmente l’interferenza quantistica di un singolo qubit, rappresentato da un fotone in un interferometro di Mach-Zehnder, utilizzando il framework Hamiltoniano classico con variabili canoniche complesse (Marletto & Vedral, 2025, p. 1).
Formalismo Hamiltoniano Classico con Variabili Complesse
L’articolo utilizza la formulazione Hamiltoniana delle leggi di Newton, che si basa sulle coordinate canonicamente coniugate posizione (q) e momento (p) (Marletto & Vedral, 2025, p. 1). Introduce coordinate complesse z e z∗, che sono trattate come variabili indipendenti, analogamente a q e p (Marletto & Vedral, 2025, p. 1). L’Hamiltoniana per l’oscillatore armonico viene semplificata in H(z, z∗) = zz∗ (Marletto & Vedral, 2025, p. 1).
Interferenza del Qubit Singolo
L’articolo mostra come la descrizione Hamiltoniana classica complessa possa rendere conto del fenomeno dell’interferenza del qubit singolo, prendendo come esempio un singolo fotone che attraversa un interferometro di Mach-Zehnder (Marletto & Vedral, 2025, p. 1).
Analogie e Limiti
Viene dimostrato che l’insieme completo di trasformazioni su un singolo qubit può essere rappresentato con la meccanica Hamiltoniana classica complessa (Marletto & Vedral, 2025, p. 2). Tuttavia, viene sottolineato che il bit classico complesso non è equivalente a un qubit, poiché non obbedisce al principio di indeterminazione tra le diverse componenti x, y, z (Marletto & Vedral, 2025, p. 2).
Entanglement
Un punto cruciale è che il bit classico complesso non può essere entangled con un altro qubit (Marletto & Vedral, 2025, p. 2). L’articolo spiega che se l’entanglement esistesse, si potrebbe trasferire fedelmente l’informazione dal qubit al bit complesso, violando il principio di indeterminazione sul qubit (Marletto & Vedral, 2025, p. 2).
Modelli Ibridi
L’articolo evidenzia come tutti i modelli semi-classici soffrano di problemi simili, e che la capacità di un bit complesso di descrivere l’interferenza di un singolo fotone non è sorprendente, dato che le equazioni di Maxwell possono essere formulate in modo simile a un’equazione quantistica (Marletto & Vedral, 2025, p. 2).
Conclusioni
L’articolo suggerisce che, sebbene i modelli ibridi siano teoricamente inconsistenti, la natura potrebbe averli scelti in alcuni domini, come la gravità quantistica, dove sono necessarie ulteriori evidenze sperimentali (Marletto & Vedral, 2025, p. 2).
In sintesi, l’articolo dimostra che, sebbene sia possibile descrivere formalmente l’interferenza di un singolo qubit utilizzando la meccanica Hamiltoniana classica con variabili complesse, questo sistema non è un vero qubit a causa della sua incapacità di entangled con altri qubit e della violazione del principio di indeterminazione (Marletto & Vedral, 2025, p. 1). Questo mette in discussione la validità dei modelli ibridi quantistico-classici (Marletto & Vedral, 2025, p. 1).