17 March 2009

Quine + |Zurek>

Sto cominciando a giocare troppo coi titoli, eh? Effettivamente l'unico riferimento a Quine questa volta riguarda la giustificazione sul perchè questo post non parla di Quine. E la giustificazione è che Clodovendro mi ha distratto dalla mia priorità di conquistare il mondo di divulgare Quine, tentandomi con le sirene delle interpretazioni della meccanica quantistica. Già lo so che sarà la solita bella senz'anima, come tutte, ma, come tutte, l'idea è stuzzichevole e vien voglia di approfondire un po'.
Questa volta è il turno di Zurek e del suo darwinismo quantistico (esatto: si cita Charles nel nome, se ne poteva non parlare anche per Prgetto Darwin su Progetto Galileo?). Dalla breve review segnalatami da Clodovendro non ci ho capito molto, ma del resto il terreno mi franava sotto i piedi a sentir parlare di decoherence e profondi abissi mi si spalancavano davanti ad einselection ed envariance (termini per me fino a quel momento sconosciuti...).
Così, invece di lavorare per voi su Quine, mi sono spulciato la bibliografia, mi sono scaricato una review un po' più corposa e nel week-end mi sono dato alla lettura, nella speranza di capirci qualcosina in più.
Il risultato (ma non ho ancora finito di leggere quest'ultimo articolo) non è che ora ho le idee più chiare, ma è che ora voi vi beccate due belle domandine in bottiglia che lancio nell'etere digitale.

   —   ∴   —   
 
La prima domanda è forse la più tecnica delle due, per cui la lascio per seconda, altrimenti quasi tutti si fermeranno subito e non proseguiranno a leggere la seconda, che pertanto esporrò per prima.
 
La seconda domanda, dunque, rappresenta, o almeno così mi par di capire, il punto centrale dell'idea di Zurek. Uno dei tanti modi di raccontare il problema della meccanica quantistica di cui, da quasi un secolo ormai, si cerca di venire a capo, è sottolineare l'irriducibile stridore fra i suoi postulati "matematici" da una parte (stati come raggi di vettori in spazi di Hilbert ed evoluzione unitaria, lineare e deterministica) e dall'altra quelli "di misura" (la legge di Born sulla probabilità e il fantomatico collasso della funzione d'onda). Ebbene, l'approccio di Zurek è quello di provare a partire dai primi e dedurre come loro "ovvia" conseguenza i secondi. L'approccio, sempre per quel che capisco, non è "fondazionale": non pretende di fornire esplicitamente un'espressione puramente quantistica per l'interazione sistema-apparato da cui dedurre "matematicamente" (nel senso di sopra) il collasso della ψ dall'equazione di Schroedinger. Piuttosto Zurek parte dall'assunzione che un'interazione di questo tipo esista, e prova a studiarne alcune sue caratterische.
Zurek parte dunque mettendo sullo stesso piano "quantistico" tanto il sistema, descritto dallo stato , quanto l'apparato di misura, l'ambiente con cui il sistema interagisce, descritto anch'esso da uno stato quantistico . Ebbene, l'assunzione fondamentale di Zurek è che l'interazione () che ha luogo durante una misura sia di questo tipo: (M)
0 = k skk0    k skkk
Zurek assume, cioè, che esistano degli stati k del sistema che restano invariati durante la misura e che, di più, lasciano un loro "imprinting" nell'ambiente, il quale a seguito dell'interazione modifica il suo stato da 0 a una sovrapposizione di k ciascuno dei quali "si porta dietro l'informazione" sulla componente k dello stato .
Tale assunzione di Zurek, se è davvero nei termini che ho esposto, sembra chiaramente molto forte. Non so abbastanza di decoherence, magari esistono degli esempi di decoerenza che possono essere modellizzati in questo modo (magari proverò a chiedere al mio amico Dragon Ball...), ma è certo che deve trattarsi di una qualche modellizzazione efficace (nel senso tecnico di effective) perchè la linearità dell'evoluzione unitaria mi pare che proibisca un'evoluzione come quella scritta sopra (può benissimo essere che mi sia arrugginito molto a non far più fisica, in tal caso fatemelo notare nei commenti!).
L'obiezione a questa mia obiezione è che l'intento di Zurek è proprio quello di spiegare il collasso della funzione d'onda, ed è quindi ovvio che da qualche parte debba forzare la meccanica quantistica "classica". Se posso fare un appunto, però, mi sembra che nei suoi articoli non si evidenzi abbastanza che dietro questa assunzione si celi la presunta "spiegazione" del collasso e che si tratta di un'assunzione "non standard" (ed è per questo che ho il forte sospetto che sia io a non aver capito qualcosa...)
Il resto delle argomentazioni di Zurek, fatto questo passo, diventano concettualmente semplici, o almeno è possibile riassumerle brevemente e "senza formule". Quel che Zurek dimostrerebbe è che gli stati k che soddisfano la condizione (M) devono necessariamente costituire una base ortonormale, ovvero devono essere autostati di un operatore autoaggiunto. La cosa, cioè, sarebbe la spiegazione del fatto che i risultati di una misura possono essere solo autostati di un simile operatore (ci tengo a dire che non sono riuscito affatto a seguire nei dettagli tali ulteriori passaggi e che il riassunto di sopra rappresenta quasi sicuramente una semplificazione eccessiva).
 
E la regola di Born sulle probabilità? Per quello è sufficiente invocare l'envariance, altrimenti nota come environment assisted invariance — e non potendo linkare wikipedia, mi tocca linkare da arxiv... — e il gioco è fatto. O così almeno crede Zurek. Perchè io, proprio a questo proposito, avrei giusto la mia prima domandina in bottiglia che attende.
 
Come dicevo, questa domanda è ancora più tecnica della precedente (mi perdonino i lettori a digiuno di fisica). Detto in parole semplici (e così l'anima pia vagante che vorrà provare a rispondermi potrà puntare il dito sul punto preciso in cui non ho capito... JB sei in ascolto?) si tratterebbe della possibilità di poter cambiare arbitrariamente le relazioni di fase φ(k) fra le ampiezze sk nel generico stato  = k skk di un sistema:
 → k eιφ(k)skk
forti del fatto di poterle poi "annullare" nel sistema "ambiente" con cui il sistema è accoppiato:
 → k e-ιφ(k)k 
Ora sicuramente c'è qualcosa di banale che non ho capito, perchè uno degli insegnamenti basilari che mi sono rimasti della meccanica quantistica è prorpio quello che la fase irrilevante è solo quella overall, mentre le fasi relative non solo sono rilevabili, ma sono anche rilevanti, com'è proprio il caso paradigmatico della particella libera a una dimensione: lì le fasi relative fra le ampiezze nelle |x rappresentano proprio il momento della particella: cambiare quelle fasi significa cambiare la distribuzione dei momenti della particella. Di più: non è possibile scegliere arbitrariamente quelle fasi e preparare, ad esempio, uno stato gaussiano strettamente reale nelle |x (ossia  = x sx|x con tutti i coefficienti sx con parte immaginaria nulla), perchè violerebbe il principio di indeterminazione! Pensare di effettuare una trasformazione del genere non una (solo sulla ) ma addirittura due volte (anche sull'ambiente ) senza che questo modifichi la fisica dei due sistemi, non mi sembra possibile: cos'ha in mente, dunque, Zurek?!?
 
Insomma, questa volta, prima di potermi abbandonare alla delusione dell'ennesimo vano tentativo di interpretazione per la meccanica quantistica... vorrei almeno prima capirlo! :)

4 comments:

Unknown said...

??????????

Marco

delio said...

probabilmente a te non interessa, ma appena ho visto quine nel titolo ho smesso di leggere il feed. ho per venire a scrivere il commento che troverai qui sotto, e solo casualmente mi sono accorto dei buoni vecchi braket nel testo dell'articolo, al che ho deciso di ricominciare a leggere. insomma, basta con quine.

detto questo, il commento era: non è che - per favore - apriresti un bel blog con dei quine facts, tipo 'quine riesce a far accettare l'incommensurabilità di \sqrt{2} a pitagora quando gli pare e piace', e così smetti di postare le quinerie su questo, un tempo rispettabile, bel blog di fisica? grazie, eh.

Anonymous said...

Eh, perdonami Marco, questa volta sono andato molto nel tecnico... :)

delio, mi piace l'idea dei Quine Facts! :)
Quanto al resto, purtroppo questo non è mai stato un blog di fisica, ma solo un blog personale (e il fatto che non il blog ma io, ormai solo come categoria dello spirito, sia un fisico, può essere considerato un tratto caratteristico, non una prerogativa). Il fatto è che non riuscirei a trovare il tempo per mantenere un vero blog di fisica.
Ma questo può essere un vantaggio: posto così raramente che non sarà certo un problema di spam, per te, fare mark as read su qualche mia entry quiniana nel tuo reader (anche se la cosa, detto sinceramente, mi spiacerebbe un po').

Ah, delio, senti: visto che siamo in tema di richieste per il blog: sei riuscito o no a riabilitare i commenti su pubblicodimerda? grazie, eh.

PS
Visto che ti sono piaciuti i ket, non hai nessun commento nel merito del post?

Anonymous said...

Mumble mumble...

<short-reply>
Ciò di cui mi hai convinto è che devo darmi una ripassata (grosso eufemismo) alla teoria della decoherence.
</short-reply>

<long-reply target="JB, delio e i pochi altri lettori che ancora passano da questo post">
L'esempio che fai dell'atomo con due livelli è chiaro, ma è altrettanto chiaro che si sta nascondendo sotto il tappeto del "rumore dell'ambiente" il fatto che comunque, se fossimo in grado di mantenere una descrizione quantistica anche per l'ambiente, le sovrapposizioni di stato rimarrebbero intatte: l'evoluzione complessiva è sempre e^{i omega t}, solo che ora non ci sono soltanto i due omega dell'atomo a due stati, ma anche tutti gli omega dell'ambiente; i due autostati non riuscirebbero più, certo, ad interferire in maniera evidente (come dici, la relazione di fase semplice che potevano avere all'inizio vengono "complicate" dai numerosissimi altri gradi di libertà dell'ambiente) ma non riuscirai mai, quantisticamente, senza introdurre il postulato di Born, a giustificare quale dei due autostati il tuo sistema di misura visualizzerà come output.

Ma del resto è quel che riconosci anche tu quando, proseguendo, dici che fin qui è "standard" teoria di decoerenza. E che Zurek vuol fare il passo in più, il passo dal mondo quantistico a quello classico.

Il fatto è che, come dicevo nella mail privata, tutto il discorso sulla ridondanza dell'informazione ha anche senso ma, esposto nelle sue linee generali, non ha niente di prettamente quantistico (tu stesso commenti che per chi ha un minimo di esperienza di laboratorio questo approccio dovrebbe apparire subito abbastanza ovvio). Quando poi, però, si entra nel dettaglio sul tipo di interazione che viene considerata (l'espressione (M) nel mio post) le cose non mi tornano più, tecnicamente.

Ma (cfr. short-reply) mi rendo conto che dovrei rispolverarmi un po' di teoria della decoerenza...
</long-reply>

Grazie della risposta, ciao!