Showing posts with label decoherence. Show all posts
Showing posts with label decoherence. Show all posts

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! :)