Comment on `On computing quantum waves exactly from classical action'

Questo articolo confuta l'affermazione secondo cui l'equazione di Schrödinger può essere risolta esattamente utilizzando solo l'azione classica e la densità fluida, dimostrando che la derivazione degli autori contiene un errore fondazionale che trascura il potenziale quantistico, riducendo così il loro metodo proposto a una standard approssimazione semiclassica piuttosto che a una soluzione esatta.

L'essenziale

Immagina di cercare di prevedere il percorso di uno sciame di lucciole al buio.

Un recente articolo degli scienziati Lohmiller e Slotine ha affermato di aver trovato una "scorciatoia magica". Hanno detto che si poteva prevedere esattamente dove sarebbe stata ogni lucciola e come si sarebbe mossa utilizzando solo le regole della fisica classica (come la rotolamento di una singola palla giù per una collina) e la densità dello sciame, senza aver bisogno delle regole complesse e strane della meccanica quantistica. Hanno affermato che questo metodo era "esatto" e non richiedeva alcuna approssimazione.

Questo nuovo articolo, scritto da Gábor Vattay, è una lettera gentile ma ferma che grida "fermate le stampe". Vattay sostiene che la scorciatoia magica non è affatto magica; è in realtà una versione nota e semplificata della fisica che funziona solo in situazioni molto specifiche e rare.

Ecco la scomposizione dell'argomento usando semplici analogie:

1. L'ingrediente mancante: la "forza fantasma"

Nella meccanica quantistica, le particelle non agiscono solo come palle solide; agiscono come onde. Per descrivere questo, i fisici usano una formula che ha due parti:

• La fase: Come il ritmo o il tempismo di un'onda.
• L'ampiezza (densità): Quanto è "spessa" o concentrata l'onda in un punto specifico.

Lohmiller e Slotine hanno cercato di costruire l'intera onda usando solo il ritmo (derivato dai percorsi classici) e la densità. Tuttavia, Vattay sottolinea che hanno commesso un errore matematico: hanno trattato la densità come se fosse perfettamente liscia e immutabile, come un foglio d'acqua piatto.

In realtà, la densità di un'onda quantistica è spesso irregolare e variabile. Quando si hanno queste irregolarità, appare una speciale "forza fantasma", chiamata Potenziale Quantistico.

• L'analogia: Immagina di guidare un'auto su una strada. Lohmiller e Slotine hanno calcolato la velocità dell'auto basandosi solo sul motore (azione classica) e sulla densità del traffico, assumendo che la strada fosse perfettamente piatta. Vattay dice: "Hai dimenticato le buche!". Quelle buche sono il Potenziale Quantistico. Se le ignori, il tuo calcolo è solo un'approssimazione, non una soluzione esatta.

2. Perché i loro esempi hanno funzionato?

Potresti chiederti: "Se la loro matematica era sbagliata, perché i loro esempi (come l'esperimento della doppia fenditura o una particella in una scatola) sembravano corretti?" Vattay spiega che hanno avuto fortuna perché hanno scelto due tipi di trucchi:

Trucco A: L'illusione della "strada piatta"
In alcuni scenari specifici (come una particella che rimbalza tra due pareti o passa attraverso una fenditura), le "irregolarità" nell'onda sono disposte in modo così perfetto che la "forza fantasma" (Potenziale Quantistico) si annulla fino a zero.

• L'analogia: È come dire: "Posso prevedere il tempo esattamente ignorando il vento". Questo funziona perfettamente se sei in una stanza senza finestre e senza ventilatori (senza vento). Ma fallisce nel momento in cui esci all'aperto. Lohmiller e Slotine hanno scelto esempi in cui il vento era per caso zero, quindi la loro formula "senza vento" sembrava perfetta, anche se non è una regola generale.

Trucco B: Barare con la linea di partenza
Per problemi più complessi (come un atomo o una molla vibrante), la "forza fantasma" è decisamente non zero. Allora, come hanno ottenuto la risposta giusta?

• L'analogia: Immagina che abbiano affermato di poter prevedere l'esito di una partita di calcio usando solo le regole della corsa. Ma, per far funzionare la loro previsione, hanno segretamente iniziato la partita con i giocatori già disposti nella formazione esatta della vittoria.
• Vattay mostra che in questi esempi, Lohmiller e Slotine non hanno effettivamente derivato il comportamento quantistico dalle regole classiche. Invece, hanno iniziato con le condizioni iniziali (la posizione iniziale delle particelle) e hanno segretamente usato le risposte quantistiche note (la "formazione vincente") per impostarle. Hanno poi usato la fisica classica solo per far ruotare i giocatori. Non hanno scoperto le regole quantistiche; hanno semplicemente nascosto le risposte quantistiche dentro la linea di partenza.

La conclusione

Vattay conclude che la relazione tra la fisica classica e le onde quantistiche è un campo ben noto chiamato approssimazione semiclassica. È uno strumento utile, ma è un'approssimazione, non un sostituto esatto.

L'articolo afferma che Lohmiller e Slotine non hanno trovato un nuovo modo per risolvere la meccanica quantistica esattamente. Invece, hanno accidentalmente riscoperto un metodo standard di approssimazione, e i loro esempi hanno funzionato solo perché hanno scelto problemi in cui l'approssimazione è perfetta per fortuna, oppure hanno segretamente costruito la risposta quantistica nel problema fin dall'inizio.

Sommario tecnico

1. Enunciato del Problema

Il documento affronta una recente affermazione di Lohmiller & Slotine (Proc. R. Soc. A 482: 20250413) secondo cui l'equazione di Schrödinger può essere risolta esattamente utilizzando solo il principio di minima azione classico e la densità fluida classica. La loro formulazione proposta costruisce una funzione d'onda quantistica $\psi_j = \sqrt{\rho_j} e^{i\phi_j/\hbar}$ a partire da un singolo percorso classico $j$, affermando che ciò produce una soluzione esatta senza approssimazioni semiclassiche.

Vattay sostiene che tale affermazione sia matematicamente errata. Il problema centrale risiede nel fatto che Lohmiller & Slotine confondono la derivata totale lungo una traiettoria con le derivate parziali spaziali richieste dall'operatore di energia cinetica quantistica. Trattando la densità di probabilità $\rho_j$ come priva di variazione spaziale lungo il percorso, gli autori eliminano involontariamente il potenziale quantistico, riducendo la loro formulazione "esatta" alla standard approssimazione semiclassica (WKB).

2. Metodologia

Vattay impiega una rigorosa rielaborazione matematica per testare la validità del lemma centrale di Lohmiller & Slotine (Lemma 3.1). La metodologia comprende:

• Sostituzione dell'Ansatz: Sostituire l'ansatz della funzione d'onda $\psi_j = \sqrt{\rho_j} e^{i\phi_j/\hbar}$ nell'equazione di Schrödinger dipendente dal tempo per un potenziale scalare $V(x)$.
• Verifica del Calcolo: Applicare le regole standard del prodotto e della catena per calcolare il gradiente spaziale ($\nabla \psi_j$) e il laplaciano ($\nabla^2 \psi_j$).
• Separazione delle Parti Reale e Immaginaria: Decomporre l'equazione risultante per isolare l'equazione di continuità (parte immaginaria) e l'equazione di conservazione dell'energia (parte reale).
• Analisi Comparativa: Confrontare l'equazione della parte reale derivata con l'equazione di Hamilton-Jacobi classica per identificare le discrepanze, concentrandosi specificamente sul termine che rappresenta il potenziale quantistico.
• Revisione del Caso di Studio: Analizzare gli esempi specifici forniti nel documento originale (particella in una scatola, doppia fenditura, oscillatore armonico, atomo di idrogeno) per determinare perché sembravano produrre risultati corretti nonostante l'errore teorico.

3. Contributi Chiave e Risultati Matematici

A. Identificazione dell'Errore Fondamentale

Vattay dimostra che l'equazione di Schrödinger richiede che il laplaciano agisca sull'intera dipendenza spaziale di $\psi_j$, inclusa l'ampiezza $\sqrt{\rho_j}$.

• La Derivazione:
  $$\nabla^2 \psi_j = \left[ \nabla^2\sqrt{\rho_j} + \frac{2i}{\hbar}\nabla\sqrt{\rho_j} \cdot \nabla\phi_j + \frac{i}{\hbar}\sqrt{\rho_j}\nabla^2\phi_j - \frac{1}{\hbar^2}\sqrt{\rho_j}(\nabla\phi_j)^2 \right] e^{i\phi_j/\hbar}$$
• L'Equazione Reale Risultante:
  $$\frac{\partial\phi_j}{\partial t} + \frac{1}{2M}(\nabla\phi_j)^2 + V - \underbrace{\frac{\hbar^2}{2M}\frac{\nabla^2\sqrt{\rho_j}}{\sqrt{\rho_j}}}_{Q} = 0$$
  Il termine $Q$ è il potenziale quantistico, originariamente identificato da Madelung e sottolineato da Bohm.
• L'Errore: Lohmiller & Slotine assumono implicitamente che $\nabla\sqrt{\rho_j} = 0$ (cioè, la densità non ha gradiente spaziale). Questa assunzione imposta artificialmente $Q=0$, facendo collassare l'equazione nell'equazione classica di Hamilton-Jacobi. Vattay afferma che questa è la definizione del limite semiclassico, non di una soluzione esatta.

B. Spiegazione degli Esempi "Riusciti"

Vattay spiega perché gli esempi nel documento originale sembravano funzionare, classificandoli in due tipi distinti dove l'errore è mascherato:

1. Densità Triviale (Il Potenziale Quantistico si Annulla):

   • Casi: Particella in una scatola, tunneling quantistico e esperimento della doppia fenditura (nello spazio libero).
   • Ragionamento: In questi scenari, la densità classica $\rho$ è o spazialmente costante (onde piane) o varia come $1/r$ (onde sferiche). In 3D, $\nabla^2(1/r) = 0$ ovunque tranne che nella singolarità. Di conseguenza, $Q=0$ identicamente. L'errore è invisibile perché il termine omesso è naturalmente zero a causa della geometria del problema.

2. Ragionamento Circolare (Importazione di Soluzioni Quantistiche):

   • Casi: Oscillatore armonico e atomo di idrogeno.
   • Ragionamento: Per questi stati legati, la densità varia spazialmente e $Q \neq 0$. Tuttavia, gli autori originali non hanno utilizzato un singolo ramo classico. Invece, hanno sommato su un insieme infinito di condizioni iniziali.
   • Il Difetto: I coefficienti di espansione utilizzati per la densità iniziale (ad esempio, polinomi di Hermite per l'oscillatore) sono stati scelti specificamente perché corrispondono a autofunzioni quantistiche.
   • Conclusione: Gli autori non hanno derivato la meccanica quantistica dalla meccanica classica; hanno assunto le funzioni di base quantistiche nelle condizioni iniziali e utilizzato l'azione classica semplicemente per propagare la fase. Questo è un argomento circolare che maschera l'errore del singolo ramo.

4. Risultati

• L'affermazione secondo cui l'equazione di Schrödinger può essere risolta esattamente utilizzando solo l'azione classica e la densità su un singolo percorso è falsa.
• La formulazione presentata da Lohmiller & Slotine è matematicamente equivalente alla standard approssimazione semiclassica (WKB), che trascura il potenziale quantistico.
• I risultati "esatti" ottenuti negli esempi illustrativi sono artefatti di:
  1. Geometrie speciali in cui il potenziale quantistico si annulla naturalmente.
  2. L'iniezione implicita di autofunzioni quantistiche nelle condizioni iniziali, rendendo la derivazione tautologica.

5. Significato

• Correzione della Letteratura: Il documento corregge un significativo fraintendimento nella letteratura riguardo alla relazione tra azione classica e funzioni d'onda quantistiche. Chiarisce che le traiettorie classiche da sole non possono generare funzioni d'onda quantistiche esatte senza tenere conto del potenziale quantistico (dispersione spaziale).
• Chiarimento dei Limiti Semiclassici: Rafforza la comprensione consolidata (citando Berry & Mount, Madelung e Bohm) che la transizione dalla meccanica classica a quella quantistica richiede l'inclusione del termine del potenziale quantistico per tenere conto dell'interferenza e della dispersione delle onde.
• Avvertimento Metodologico: Serve come avvertimento contro derivazioni "da retrobottega" in cui le soluzioni quantistiche vengono introdotte di nascosto attraverso parametrizzazioni delle condizioni iniziali, scambiando il risultato per una derivazione dai primi principi.
• Impatto sull'Idrodinamica Quantistica: Il commento riafferma la necessità della formulazione idrodinamica di Madelung, che include naturalmente il potenziale quantistico, come il quadro corretto per collegare la densità fluida alla meccanica quantistica.