La Flèche Du Temps PDF
La Flèche Du Temps PDF
La Flèche Du Temps PDF
Didier Lauwaert.
Copyright 2013.
I. Introduction
II. Irrversibilit
II.1. Rversibilit
Les interactions fondamentales ; Phnomnes rversibles ; Phnomnes irrversibles
II.2. Thermodynamique
Phnomnes irrversibles ; Entropie et second principe ; Equation pour les changes de chaleur
II.3. Physique statistique
Description macroscopique et microscopique ; Entropie statistique ; Temprature et chaleur ; Processus irrversibles
III. Electromagntisme
Irrversibilit ; Rayonnement
IV. Mcanique quantique
IV.1. Violation de la symtrie T
Le mson K de charge nulle ; Dsintgrations des msons K ; Systme deux tats ; Rsultats ; Violation T
IV.2. Rduction de la fonction donde
Principe de rduction ; Problmes ; Bases privilgies ; Solutions
IV.3. Etats relatifs
Introduction ; Le problme de la mesure ; La proposition dEverett ; La thorie nue ; Probabilits ; Prsentation ; Comment
appliquer la rgle ? ; Approche statistique ; Approche classique, dcohrence ; Caractre arbitraire de la dcomposition ;
Mathmatique v.s. physique ; Choix de la distribution ; Probabilits objectives v.s. subjectives
IV.4. Dcohrence
IV.4.1. Introduction
Matrice densit ; Introduction ; Le problme de la mesure ; Schma de mesure quantique ; Le problme des rsultats
dfinis ; Le problme de la base privilgie ; La transition quantique - classique et la dcohrence ; Le programme de
dcohrence ; Rsolution en sous-systmes ; Le concept de matrice de densit rduite ; Un schma de mesure de von
Neumann modifi ; Dcohrence et suppression locale d'interfrence ; Superslection induite par l'environnement ;
Exemples
IV.4.2. Irrversibilit quantique
Lien entre dcohrence et physique statistique ; La mesure ; Lien avec la mcanique quantique ; Dmon de Maxwell
V. Trous noirs
Trou noir et irrversibilit ; Thermodynamique des trous noirs ; Effet Hawking ; Trou blanc ; Caractre statistique
VI. Gravit quantique
Grandeurs de Planck ; Longueur minimale ; Gravit quantique boucles ; Comment quantifier la gravit ; Quelques proprits
VII. Cosmologie
Asymtrie globale ; Solutions cosmologiques ; Gravit quantique ; Lien entre les deux flches du temps
VIII. Rfrences
I. Introduction
Quest-ce que le temps ? Cest une question qui a fait couler beaucoup dencre autant chez les
physiciens et les philosophes que les potes et les romanciers. Cest une question difficile et qui
fascine.
Pour le physicien, le temps na a priori rien de mystrieux. Le temps est ce quindiquent les horloges.
Les horloges tant des instruments construits selon certaines rgles ou des phnomnes (tel que le
mouvement des astres) obissant certaines rgles. Cest une dfinition pragmatique, conforme la
mthode scientifique et aux objectifs de la science, et qui se retrouve mme dans la dfinition de
lunit de mesure du temps (la seconde a dabord t dfinie par des phnomnes astronomiques
puis par des phnomnes lis aux atomes).
La mesure du temps est avant tout un processus de comparaison. Cest la mise en concidence
dtalons servant dfinir le temps (les horloges) avec les phnomnes tudis. De mme que la
mesure de lespace est un processus de mise en concidence dun talon de longueur et dun objet
mesurer. Ces mesures permettant alors daffecter des coordonnes un vnement selon certaines
rgles (en parties arbitraires) tel que des coordonnes cartsiennes ou des coordonnes sphriques
par rapport un certain vnement de rfrence, par exemple.
Vu de cette manire, le temps nest pas diffrent de lespace. Cest juste des tiquettes ici et
maintenant colles aux phnomnes. Lensemble de ces phnomnes affects de leurs tiquettes
tant relis entre eux par des rgles que sont les lois physiques.
Mme le fait que le signe du temps soit diffrent dans les mtriques relativistes nimplique pas une
nature fondamentalement diffrente de lespace et du temps. Comme en tmoigne dailleurs le
mlange du temps et de lespace lorsque lon change de rfrentiel en relativit. Ce signe ne fait
que prciser les rgles permettant de relier les vnements (en loccurrence, la classification des
intervalles relativistes de type espace, lumire et temps).
Pourtant, le temps est diffrent. Nul besoin dun diplme du M.I.T. pour sen rendre compte. En quoi
est-il si diffrent ? Simplement par lexistence dun pass et dun futur. Plus exactement par le fait
quil existe une asymtrie nette entre ce pass et le futur. Cette asymtrie cest la flche du temps
caractrise par les phnomnes irrversibles, cest--dire ne se produisant que du pass vers le
futur et jamais linverse.
Cest donc de ce ct-l quil faut chercher la nature du temps.
Cette petite tude va sattacher approfondir ce concept, sa signification, son origine.
Cette tude nest pas de la vulgarisation ! Cela signifie quil est indispensable davoir dj une bonne
connaissance de la physique : physique classique, lectromagntisme, mcanique quantique,
relativit gnrale, Mme si les calculs ne seront pas extrmement labors.
Cela signifie aussi que nous nexpliquerons pas ces thories et les considrerons comme acquises. Si
le dbut sera essentiellement connu et servira dintroduction, ce nest que par la suite que nous
introduirons plus en profondeur des sujets moins classiques tels que la violation de la symtrie T ou
la dcohrence.
Nous commencerons par lapproche classique de lirrversibilit et son application dans
llectromagntisme. Nous attaquerons ensuite la mcanique quantique avec la violation de la
symtrie T et la dcohrence quantique. Nous passerons ensuite aux trous noirs, la gravit
quantique et nous terminerons notre voyage pas une vue densemble de lunivers.
Entamons maintenant ce voyage.
II. Irrversibilit
II.1. Rversibilit
Les interactions fondamentales
Rappelons que toute la physique drive de quelques interactions fondamentales.
Linteraction lectromagntique, transmise par le photon.
Linteraction forte, transmise par le gluon.
Linteraction faible, transmise par les bosons intermdiaires W et Z.
Linteraction gravitationnelle, dcrite par la relativit gnrale et peut-tre transmise par
lhypothtique graviton.
Toutes les autres interactions drivent de ces quatre interactions fondamentales. Citons par
exemple :
Linteraction nuclaire entre nuclons, transmise par les pions (et dautres msons) et qui
drive directement de linteraction forte.
La plupart des interactions drives viennent de linteraction lectromagntique comme :
o Les forces de van der Waals.
o Les liaisons atomiques dans les ractions chimiques.
Phnomnes rversibles
Les interactions fondamentales sont rversibles ( une exception prs que nous verrons plus tard).
Cela signifie que si une solution () aux quations existe pour une situation exprimentale donne,
alors () est aussi une solution des quations pour le mme systme (avec galement une
ventuelle inversion de la coordonne t sil y a lieu). Cela ne peut se produire que si les quations
dcrivant le systme sont elles-mmes invariantes sous le renversement du temps.
Cette opration est appele symtrie T.
Donnons quelques exemples dquations dont on vrifie facilement linvariance sous la symtrie T.
Gravitation classique. Pour un ensemble de masses
Equations de Maxwell.
Equation de Schrdinger.
Notons deux choses :
o Cette quation nest invariante sous la symtrie T que si loprateur hamiltonien
est hermitique. Cest en principe le cas puisque lnergie est un observable.
On utilise parfois un oprateur non hermitique pour tudier des processus tel que la
diffusion dlectrons par un atomes avec possibilit que llectron se lie latome. La
perte de linvariance T est lie au faut que lon escamote une partie des dtails de
linteraction pour les remplacer par un hamiltonien phnomnologique.
o Cette quation seule ne suffit pas car il faut prendre en compte le processus de
mesure quantique avec rduction de la fonction donde. Nous y reviendrons.
Phnomnes irrversibles
Mais il existe aussi des phnomnes irrversibles tel que le transfert de chaleur entre un corps chaud
et un corps froid, le frottement ou la turbulence avec dissipations visqueuse.
Tous ces phnomnes ont la caractristique de dcrire des phnomnes macroscopiques. Mais le
dtail microscopique de ces phnomnes est bien compris. Comment des lois irrversibles peuvent-
elles dcouler de lois microscopiques rversibles ?
II.2. Thermodynamique
Phnomnes irrversibles
La thorie des phnomnes macroscopiques irrversibles est la thermodynamique.
Elle dcrit, par exemple, les changes de chaleur.
Deux corps temprature diffrentes
et
.
Entropie et second principe
On caractrise les processus irrversibles par une grandeur extensive S appele entropie et qui
caractrise ltat des systmes.
Le second principe de la thermodynamique affirme que lentropie dun systme isol nest jamais
dcroissante : .
Le mot isol est important car lentropie dun systme peut diminuer si cela se fait au dtriment
dautres systmes avec lequel il change de la chaleur, du travail ou de la matire.
Equation pour les changes de chaleur
Lchange de chaleur est caractris par lquation :
O la temprature T est la temprature absolue dun corps, dQ la chaleur reue et dS la variation
dentropie.
Ainsi, dans lchange de chaleur ci-dessus, lentropie totale varie comme :
Quantit qui est bien positive si
.
II.3. Physique statistique
Description macroscopique et microscopique
Considrons un systme caractris par en ensemble de variables macroscopiques : pression P,
nergie interne E, temprature T, volume V,
Cet tat peut alors tre obtenu au niveau microscopique de nombreuses manires. Les lois de la
mcanique quantique quantifiant les grandeurs (par exemple pour un gaz, les impulsions sont
quantifies du fait de la taille finie du volume V) on a un nombre fini de micro-tats W correspondant
ltat macroscopique.
Ces tats sont considrs comme tant quiprobables. Le systme parcourant alatoire lensemble
de lespace des tats (hypothse ergodique).
Entropie statistique
On dfinit lentropie comme la grandeur :
O k est la constante de Boltzmann. Si les nombres dtats microscopiques possibles pour un tat
macroscopique donn de deux systmes 1 et 2 sont
et
Ou
Et nous nobtiendrons jamais
Ou
cause de la conservation de la charge. On savait aussi que le nombre de baryons est conserv. Le
nombre de baryons sortant doit tre gal au nombre de baryons entrants. Daprs cette loi,
lantiparticule dun baryon est compte comme moins un baryon. Ceci signifie que nous pouvons
observer, et de fait nous lobservons
Ou
(o est lantiproton, lequel transporte une charge ngative). Mais nous ne voyons jamais
Ou
Mme lorsquil y a beaucoup dnergie disponible, parce que les baryons ne seraient pas conservs.
Nanmoins, ces lois nexpliquent pas ltrange absence des ractions suivantes, qui ne semblent pas
premire vue particulirement diffrentes de certaines autres ci-dessus :
Ou
Ou
Lexplication en est la conservation de ltranget. Pour chaque particule, il y a un nombre, son
tranget S, et une loi existe selon laquelle ltranget totale sortante, pour toute interaction forte,
doit tre gale ltranget totale entrante. Le proton et lantiproton, le neutron et lantineutron et
les msons pi ont tous zro pour nombre dtranget. Les msons
et
et le
(lanti
), les particules
Msons
Voyons comment fonctionne la conservation de ltranget pour certaines des ractions que nous
avons crites. Si nous avons au dpart un
. La raction est
Avec S = 0 des deux cts.
Si ctait le
au lieu du
Dtranget 0. Ou
Dtranget -1.
Peut-tre vous dites-vous : "tout cela, c'est du vent, car comme savez-vous s'il s'agit d'un
ou
d'un
? Ils se ressemblent tout fait. Ils sont antiparticules l'un de l'autre, ils ont donc exactement
la mme masse et tous deux ont une charge lectrique zro. Le mson K pourrait tre sa propre
antiparticule comme le photon. Comment les distinguez-vous ?" Par les ractions qu'ils produisent.
Par exemple, un
peut interagir avec la matire pour produire une particule , comme ceci :
Un
ou
d'autres particules d'tranget totale +1. Il suffit d'imaginer qu'il s'agit ici de ractions o l'nergie
est insuffisante pour produire ces particules supplmentaires tranges. Et, quoi qu'il en soit, ces
diffrents cas sont exprimentalement faciles distinguer en regardant les particules produites. Les
produits par
d'autres ractions produisent certaines ractions diffrentes. Il y a clairement deux particules
diffrentes. Ainsi, une distinction exprimentale possible entre le
et le
disparat, mais quelque part ailleurs une paire de traces apparat (un proton et un
)
montrant qu'une particule s'est dsintgre. Vous savez alors qu'il existe quelque part un
que
vous ne pouvez pas voir.
Vous pouvez quand mme savoir par o il est parti en utilisant la conservation de l'impulsion et de
l'nergie (il pourrait se manifester plus tard en se dsintgrant en deux particules charges, comme
indiqu dans la figure (a)). Tandis qu'il continue son chemin, le
Alors qu'un
peut trs bien le faire. Autrement dit, dans une chambre bulles, un
pourrait
produire l'vnement schmatis dans la figure (b), dans lequel un
est vu grce sa
dsintgration, un
par contre ne peut pas le produire. C'est la premire partie de notre histoire :
la conservation de l'tranget.
Notons que les trajectoires dans les chambres bulles reprsentes droites sont en ralit courbes
par la prsence d'un champ magntique qui permet ainsi, par la mesure du rayon de courbure, de
mesurer l'impulsion de chaque particule charge laissant une trace.
La conservation de l'tranget n'est pas absolument stricte. Il existe des dsintgrations trs lentes
de particules tranges, elles prennent beaucoup de temps, typiquement de l'ordre de
sec,
dans lesquelles l'tranget n'est pas conserve (un temps caractristique, pour les interactions
fortes, est plutt de l'ordre de
ou
bien un n et un
sec . De mme, le
se dsintgre en deux
msons pi (+ et -) avec une dure de vide de
Ne conserve pas l'tranget et ne peut donc pas avoir lieu "rapidement" par interaction forte. Elle ne
peut procder que d'une interaction faible.
Le
se dsintgre lui aussi de cette manire, en deux msons pi, et aussi avec la mme dure de
Vie
A nouveau, nous avons une dsintgration faible puisque l'tranget n'est pas conserve. Il existe un
principe selon lequel toute raction correspond une autre raction, o "matire" est remplac par
"antimatire" et vice versa. L'antimatire tant ce qui est obtenu aprs renversement du signe de
toutes les charges, y compris les charges des particules internes dans le cas o la particule possde
une structure interne (ce qui est le cas des msons qui contiennent deux quarks). C'est une simple
opration de symtrie. Le
tant l'antiparticule du
et du
c'est le
et le
et le
peuvent l'un et l'autre se transformer en des tats forms de deux msons pi, il doit
exister une certaine amplitude pour que le
puisse devenir un
puisse
devenir un
Ces ractions impliquent qu'il existe une certaine amplitude par unit de temps, disons que
multiplie
||
, pour qu'un
se transforme en
||
||
||
C'est l, on dit Gell-Mann et Pais, une situation trs intressante. L o les gens ont vu jusqu'
prsent deux tats distincts du monde, le
et le
et le
et |
. Tout tat de la
particule K neutre pouvait alors tre dfini en prcisant les amplitudes pour qu'il soit dans l'un et
l'autre des tats de base. Nous dsignerons ainsi ces amplitudes
|
L'tape suivante fut d'crire les quations hamiltoniennes pour ce systme deux tats. S'il n'y avait
pas de couplage entre le
et le
Mais puisqu'il existe une amplitude
||
pour que le
se transforme en
, il faut inclure le
terme additionnel
||
Ajout droite de la premire quation. Il faut de mme insrer le terme
dans l'quation
concernant le taux de variation de
.
Mais ce n'est pas tout. Lorsqu'on tient compte de l'effet des deux pions, il faut additionner
l'amplitude pour que le
L'amplitude additionnelle que nous pourrions crire
||
||
puisque les amplitudes pour passer du systme de deux pions ou pour en revenir sont les mmes,
qu'il s'agisse d'un
ou d'un
||
||||
et
||
||||
Nous faisons ici une simplification car le systme de deux pions peut avoir beaucoup d'tats
correspondant aux diverses impulsions des msons pi. Nous devrions crire le ct droit de cette
quation sous la forme d'une somme portant sur les divers tats de base des pi. Mais le traitement
complet conduirait aux mmes conclusions avec juste des notations beaucoup plus lourdes.
Du fait de la symtrie entre matire et antimatire, on a
||
||
Et aussi
||
||
Il s'ensuit que
||
||
et aussi que
||
||
||
et
||
, l'une et
l'autre gale A, qu'il faut insrer dans les quations hamiltoniennes. La premire donne un terme
et la seconde un terme
dans l'quation
concernant
Quelque chose peut vous tonner. Habituellement, les amplitudes pour deux processus inverses sont
toujours complexes conjugus lune de lautre. C'tait vrai tant qu'il s'agissait de particules qui ne se
dsintgraient pas. Mais si les particules peuvent se dsintgrer, et donc "se perdre", les deux
amplitudes ne sont plus ncessairement des complexes conjugus. Le raisonnement permettant de
montrer que les amplitudes taient conjugues utilise le fait que le passage d'un tat A vers B, si on
le renversait dans le temps, donnerait le passage de l'tat B vers A. Mais ici il existe un autre tat : un
tat avec deux pions s'chappant, dfinitivement. Il existe donc une "perte" et il n'est pas toujours
possible de revenir la situation initiale. Ainsi le mson
peut se transformer en
mais le retour
n'est pas toujours possible si, avant, les deux msons pi s'chappent. La description en deux tats
n'est qu'approximative, comme nous l'avions signal plus haut, et le dtail est cach dans l'amplitude
A. L'galit ne signifie donc pas que les amplitudes sont des nombres rels. Elles sont en fait
complexes. Par consquent le coefficient A est complexe et nous ne pouvons pas simplement
l'incorporer dans l'nergie
.
Ayant souvent t confront des systmes deux tats comme celui de l'ammoniac ou le spin de
l'lectron, nos hros savaient que les quations hamiltoniennes signifiaient qu'il existait une autre
paire d'tats de base que l'on pourrait utiliser aussi pour reprsenter le systme de la particule K et
qui auraient des comportements particulirement simples. Ils se dirent prenons la somme et la
diffrence de ces deux quations. D'autre part, mesurons toutes nos nergies en prenant
pour
origine et prenons des units d'nergie et de temps pour lesquelles (c'est ce que font
toujours les thoriciens modernes de la physique. Cela ne change rien la physique mais les
quations prennent une forme plus simple et rintroduire la ou les constantes manquantes la fin
peut se faire par simple analyse dimensionnelle, ce qui revient revenir des units plus
conventionnelles). Voici leur rsultat :
) (
)
On voit immdiatement que les combinaisons d'amplitudes (
) et (
) agissent
indpendamment l'une de l'autre. Ils pensrent donc que l'utilisation d'une reprsentation diffrente
pour la particule K serait plus pratique. Ils dfinirent les deux tats
|
(|
)
|
(|
)
Les facteurs racine carre de deux sont l pour normaliser les amplitudes. C'est--dire pour veiller
ce que la probabilit de trouver la particule dans l'tat
ou
ou
et
et
. Cela n'a rien d'extraordinaire puisque nous avons vu que ces deux msons sont en
fait deux tats d'un mme systme, d'une mme particule pouvant prendre plusieurs tats.
Mais Gell-Mann et Pais ne firent pas tout cela dans le seul but de donner de nouveaux noms aux
particules. Il y a aussi dans tout cela une certaine physique trange et nouvelle. Supposez que
et
ou
|
Des relations prcdentes, on peut tirer
)
Les quations deviennent alors
Les solutions en sont
()
() ()
()
()
o, bien sr,
() et
() ,
() ()
()
Si l'on se souvient que A est un nombre complexe, il est commode de poser (nous
crivons moins parce que la partie imaginaire de 2A se trouve tre ngative). Aprs cette
substitution,
() devient
()
() () ()
La probabilit de trouver une particule
. O va-t-elle ?
Elle se dsintgre en deux msons pi avec la vie moyenne laquelle est,
exprimentalement,
sec . Nous tenions compte de cela lorsque nous disions que A tait
complexe.
D'autre part, les quations nous disent que si nous mettons une particule K entirement dans l'tat
, elle y restera pour toujours. Eh bien, ce n'est pas tout fait vrai. Exprimentalement, on observe
qu'il se dsintgre en trois msons pi, mais 600 fois plus lentement que la dsintgration en deux
pions que nous avons dcrite. Mais, tant que l'on considre seulement la dsintgration en deux
pions, le
. Ainsi, t = 0,
ce n'est ni un
ni un
()
()
Mais cela signifie que
()
()
Et donc,
()
() ()
()
Maintenant, souvenez-vous que
et
et
.
Dans les quations, les amplitudes ont t choisies de sorte qu' t = 0, les contributions de
s'annulent l'une l'autre par interfrence, laissant seul l'tat
. Mais l'tat
et
donnera des
amplitudes finies pour
et
.
Que signifie tout cela ? Revenons-en l'exprience que nous avions schmatise dans la figure plus
haut. Un mson
et un mson
dans une telle interaction. Nous voyons maintenant que ceci n'est pas
vrai. Car, bien que notre particule K soit, lors de sa cration, un
, elle ne reste pas dans cet tat. Bientt, il y aura une certaine amplitude pour qu'elle ait bascul
dans l'tat
et
(() () )
Tandis que notre particule K continue son chemin, la probabilit pour qu'elle "agisse comme" un
est gale |
|, c'est--dire
( () () ())
Un rsultat trange et compliqu !
Rsultats
Voil donc la remarquable prdiction de Gell-Mann et Pais. Quand un
, varient
avec le temps selon l'quation ci-dessus. Cette prdiction provient seulement de la logique pure et
des principes de base de la mcanique quantique, sans qu'il soit ncessaire de rien savoir du
fonctionnement interne de la particule K. Etant donn que personne ne savait rien l'poque sur les
rouages internes, Gell-Mann et Pais ne pouvaient pas aller au-del. Ils ne pouvaient pas donner des
valeurs thoriques et . Et personne n'a su le faire depuis mme si les rouages internes ont t
dcrypts (la structure en quark et l'interaction faible dont la violation de la symtrie dite CP. Mais
l'importance de cette violation reste un paramtre libre, non calcul). Ils ont pu donner pour une
valeur dduite du taux exprimental de dsintgration en deux pi (
et ainsi
de suite. Aprs manipulation, on aboutit en effet deux quations similaires celles que nous avons
ici. Mais comme il y a un nombre infini d'tats deux pions, selon leurs impulsions, l'intgration sur
toutes les possibilits donne un infini. Pourtant l' de la nature n'est pas infini. Les thories
dynamiques sont donc fausses. Il est vraiment remarquable que les seules prdictions que l'on puisse
faire dans le monde des particules tranges aient pour origine les principes de base de la mcanique
quantique.
Violation T
Venons-en laspect irrversibilit.
Notons tout dabord que la dsintgration nest pas irrversible ! En effet, la raction
.
Il y a donc violation de la symtrie T.
Notons quun thorme trs gnral affirme que la symtrie CPT est toujours respecte
(combinaison du renversement du temps, de la parit et de linversion des charges). Plus haut nous
avons dit quil y avait une violation CP, il est donc normal davoir la violation T correspondante afin
de prserver la combinaison CPT.
En pratique, cette asymtrie est sans importance car au final il y a dsintgration en trois msons pi
si la dsintgration en deux pi ne sest pas dj produite. Et les msons pi peuvent parfaitement
produire des msons K dans des collisions. La situation globale est rversible.
Mais sur une (courte) priode dexistence du K, il y a bel et bien une flche du temps impose qui
nest, a priori, pas dorigine statistique. Cest une exception dont lorigine nest pas connue.
Notons que la conservation de la symtrie CPT implique que le
. Mais
lvolution ci-dessus ne se produit que parce quune des composantes se dsintgre en deux msons
pi. Pour que cela se produire il faut que linverse de la raction de dsintgration puisse se produire,
ce qui est improbable. Toutefois, dans une situation o lon a une grande densit de msons K et de
msons pi trs haute temprature, comme au dbut de lunivers, en quilibre thermique, il y a
autant de production de particules que de dsintgration. Les ractions peuvent alors se produire
dans tous les sens, ne fut-ce que via la symtrie CPT. Il ny a dans cette situation aucune volution
irrversible.
Cette violation T nest donc pas anecdotique mais elle ne joue quun rle au mieux mineur dans la
problmatique de la flche du temps.
IV.2. Rduction de la fonction donde
Principe de rduction
Le principe de rduction est un lment ajout aux postulats habituels de la mcanique quantique. Il
faut partie de linterprtation orthodoxe de Copenhague ou de linterprtation instrumentale. Cette
dernire est celle qui est la plus proche de la pratique exprimentale et cest celle qui est prsente
dans la plupart des cours de mcanique quantique, au moins implicitement.
Ce principe affirme que si lon dispose dun instrument de mesure capable de mesurer une grandeur
X et que ltat quantique du systme est un tat superpos
normalis (|
) alors :
Linstrument mesurera les valeurs
ou
et |
.
Cest la rgle de Born.
Et aprs mesure, le systme se trouvera (par exemple si lon a mesur ltat
) dans ltat
|
Initialement linstrument de mesure est dans ltat
ou
refltant
ltat du systme. Cette tape peut tre plus ou moins complexe et elle cache ventuellement une
longue chane de mesure compose dinteractions successives et de transformation de ltat de
linstrument. Nous supposons galement que cette interaction ne modifie pas ltat du systme. Une
telle modification ne ferait que compliquer les notations sans modifier les consquences et
raisonnements qui vont suivre.
Notons que ltape 2 est une intrication de linstrument et du systme.
Ltape 3 est la rduction proprement, ltat de linstrument et du systme prenant une valeur
dfinie (1 dans lexemple ci-dessus).
L aussi il peut y avoir un prolongement comme, par exemple, un enregistrement du rsultat, sa
lecture par un exprimentateur, etc.
Problmes
Le principe de rduction pose toutefois plusieurs problmes.
Tout dabord, il est incompatible avec la mcanique quantique ! Ce problme est le plus
srieux.
La mcanique quantique affirme que si lon a un systme dcrit par un tat | , alors il
volue selon :
|
o
()|()
o
et
et |
. On a un appareil de mesure
pouvant mesurer la position de la particule, par exemple, par interaction avec un rayon lumineux.
L'observable correspondant est l'oprateur position x . On observe toujours des valeurs dfinies et
jamais un tat superpos tel que |
.
On peut aussi avoir une autre base forme des deux tats |
et |
, par
exemple. A cette base peut correspondre un oprateur X dont ces tats sont tats propres. Mais on
n'observe pas la particule dans des tats propres de cet oprateur. Notons que des exceptions
existent, dans les condensats de Bose-Einstein, les diffrents atomes sont tous dans le mme tat
quantique sans position prcise et cela peut se traduire dans certains cas par des effets visibles
(comme l'opalescence critique due aux corrlations longues portes). Cela montre bien que si base
position est la plus commune l'chelle macroscopique, elle ne doit pas tre considre comme
absolue.
Ne devrait-on pas parler d'observables privilgis ? Pourquoi les appareils de mesure
macroscopiques ne permettent-ils pas de mesurer certains observables comme X ? Pourquoi les
observables ne peuvent-ils pas tre arbitraires (comme le suppose implicitement l'interprtation de
Copenhague) ?
En fait, il y a un lien entre la base d'tats propres de l'observable et la base position de l'appareil. Le
lien se fait via les interactions complexes de la mesure passant du systme microscopique au systme
macroscopique. L'appareil tant toujours observ dans une position dfinie, l'observable prend
forcment des valeurs dfinies galement. On peut parfaitement concevoir un appareil capable de
mesurer X et les valeurs mesures, bien dfinies, seront toujours des valeurs propres de cet
observable. Ce qui est dit ci-dessus n'est donc pas tout fait vrai. Il est possible de mesurer, a priori,
tous les observables dsirs. Mais le rsultat n'est pas "stable". Il est mme tellement instable que
parfois on n'arrive pas effectuer la mesure. Illustrons la signification de ce point sur un exemple.
Soit des grosses molcules de sucres pouvant se trouver dans deux configurations G gauche et D
droite. Les molcules de ce type ont la proprit, lorsqu'elles sont en solution, de faire tourner le
plan de polarisation de la lumire ( gauche ou droite, d'o leurs noms). Nous avons donc un
moyen simple de mesurer l'observable configuration gauche ou droite , en utilisant de la lumire
polarise.
Supposons que nous ayons un moyen de sparer les diffrentes configurations. Aprs la mesure d'un
grand nombre de molcule dans les configurations G et D, on les spare, et on obtient deux flacons.
Un contenant uniquement des molcules G et l'autre contenant uniquement des molcules D.
Si aprs quelques heures on effectue nouveau la mesure sur le flacon G, on constate qu'il contient
toujours des molcules dans la configuration G. Tout va bien.
Maintenant, on aimerait utiliser un moyen de mesurer les configurations dans une autre base. Par
exemple | | | et | | | . L'observable sera appel "configuration X ou Y".
La polarisation de la lumire peut aussi se mettre dans de tels tats, c'est la polarisation dite
circulaire. On peut donc imaginer concevoir un appareil utilisant non plus de la lumire polarise
linairement mais circulairement pour mesurer ces deux tats.
Ici aussi, aprs un grand nombre de mesures, on va se retrouver avec des molcules dans des tats
bien dfinis X et Y. On peut sparer nos molcules et prparer un flacon de molcules X et un flacon
de molcules Y. Aprs quelques heures (en fait, quelques millimes de secondes seraient suffisantes)
on reprend le flacon de X et on refait la mesure. Surprise ! On trouve peu prs la moiti de X et la
moiti de Y ! L'tat X n'est donc pas stable, contrairement l'tat G.
Il existe donc bien des bases privilgies. Leur caractre principal n'est pas d'avoir des valeurs
dfinies. Cela n'est pas d qu' la mesure, au fait que l'on mesure toujours des valeurs dfinies et au
fait que la base privilgie macroscopique est la base position. Non, leur caractre principal est la
stabilit. Par exemple, si vous observez un stylo sur une table, aprs avoir ferm les yeux un instant,
il est toujours au mme endroit (si un farceur n'est pas venu le subtiliser). C'est cet aspect de stabilit
qui permet de suivre une balle des yeux pendant qu'elle roule. Cette stabilit donne un sens au
concept classique de "trajectoire".
Le fait d'avoir des appareils de mesure qui mesurent uniquement des valeurs dans les bases
privilgies n'est pas non plus d aux appareils de mesure eux-mmes mais au caractre stable des
proprits. On peut construire des appareils pour mesurer (presque) tout ce que l'on veut. Mais seuls
certains appareils de mesure ont un intrt. Un physicien n'a aucun intrt mesurer une proprit
totalement vanescente !
Il existe donc bien des bases privilgies, intimement lies au caractre "classique" du quotidien,
reste savoir pourquoi.
Le problme est en effet plus pineux quil ny parat. Si les bases sont toutes quivalentes, pourquoi
certaines seraient-elles privilgies ? De plus, cela ne rsout pas du tout notre problme de mesure.
En effet, lappareil de mesure lui-mme peut tre dans des tats particuliers dcrits selon certaines
bases et toutes ces bases sont quivalentes. Avec le schma de von Neumann, la base |
, |
utilise la fin de ltape deux nest pas plus lgitime quune autre base |
, |
. La rduction
pouvant se produire nimporte o dans la chane, il devient impossible de dire sans la rduction si
lappareil sert mesurer les tats 1 et 2 ou toute combinaison linaires de ces tats. Cest la
rduction qui semble choisir la bonne base et donc les tats possibles. Cela ne dpend plus de la
manire dont on a conu linstrument (par exemple il peut mesurer les tats G et D de polarisation
ou les tats X et Y). Lappareil en soi ne sert plus rien car il ne mesure plus rien !
Voil une situation totalement absurde qui montre bien que le processus de rduction doit tre
examin de plus prs.
Solutions
Ces problmes sont rarement voqus dans les cours. Pourquoi ? Car lutilisation de la mcanique
quantique est presque toujours oriente laboratoire , tout comme lobjectif des cours que suivent
la majorit des tudiants. Linterprtation instrumentale, cre pour coller aux rsultats observs,
suffit donc largement mme sans se poser des questions sur les curiosits de cette interprtation.
Pourtant, on peut tre amen sy frotter forcment dans certains cas. Par exemple en cosmologie
quantique o une mesure extrieur au systme tudi (lunivers) devient impossible. Ou bien
dans ltude de la flche du temps quand on se penche sur le caractre irrversible de la mesure.
Ces problmes se manifestent aussi dans tout une srie dexprience de penses, correspondant
parfois des expriences relles, parfois prsentes comme des paradoxes . Lexemple type est le
chat de Schrdinger la fois mort et vivant tant quil na pas t observ.
Il existe des dizaines dinterprtations de la mcanique quantique. Certaines ne tranchent pas la
problmatique ci-dessus. Mais il est inutile de les passer en revue car les solutions ces problmes
peuvent se regrouper en seulement deux grandes options.
Puisque la mcanique quantique est incompatible avec le processus de rduction, une ide
assez vidente est de modifier la thorie.
Ainsi, les interprtations avec rduction physique imaginent un processus (dorigine a
priori inconnue, en tout cas ne pouvant se dmontrer partir de la mcanique quantique
seule) provoquant la rduction certain stades des processus (de la chane de mesure par
exemple). Ils sont appels coups et modifient ltat superpos pour voluer vers un tat
rduit.
Cette interprtation initialement imagine par Ghirardi a fortement volu et relie ces
coups des effets gravitationnels.
Cette interprtation nest pas sans tche :
o Comme signal plus haut, la rduction ne peut avoir lieu ni trop tt ni trop tard. Elle
se place donc volontairement dans la zne dombre o ni les proprits
rellement classiques (tats dfinis, rduits) ni les effets quantiques (superposition
dtats) ne peuvent tre vrifis exprimentalement avec certitude. Les paramtres
de la thorie sont choisis pour quil en soit ainsi.
Une thorie qui chappe (volontairement) la possibilit dtre rfute est assez
douteuse.
o Elle impose forcment une base privilgie, celle des coups et de la rduction qui
sen suit.
Nous verrons que le problme des bases privilgies trouve sa solution dans la
dcohrence.
Il y a donc un conflit potentiel qui semble difficile rgler.
Lautre ide, souleve initialement par Everett, est de simplement ignorer la rduction. Cest-
-dire de ne pas lutiliser.
Cela peut sembler totalement absurde puisque les mesures dfinies sont bien observes.
Comme nous lavons dit, on ne trouve jamais une table deux endroits en mme temps. Ou
bien, essayez deffectuer une exprience dinterfrences de Young avec des boules de
ptanque ! Ca ne marche pas car les boules ne passent jamais par les deux fentes en mme
temps comme peuvent le faire des ondes (ou des tats superposs de particules).
Mais en ralit, nous verrons que cette difficult de linterprtation peut tre contourne.
On aimerait ne pas modifier la thorie, si cest possible, cest prfrable puisque rien dans
lexprience ne nous y obligerait. Donc on va opter pour la deuxime solution.
Nous souhaitons aussi ne pas plonger dans les eaux profondes de la philosophie et de lontologie.
Restons physique. Par consquent, on se contentera dune interprtation minimale mais qui
fonctionne et ne pose pas les problmes signals ci-dessus.
IV.3. Etats relatifs
La formulation des tats relatifs d'Everett de la mcanique quantique est une tentative de rsoudre
le problme de la mesure en liminant la dynamique de rduction de la thorie standard de von
Neumann - Dirac de la mcanique quantique. Le principal problme avec la thorie d'Everett est qu'il
n'est pas du tout clair comment elle est suppose marcher. En particulier, bien qu'il soit clair qu'il
dsirait expliquer pourquoi nous avons des rsultats dfinis des mesures dans le contexte de sa
thorie, il n'est pas clair comment il comptait faire cela. Il y a eu plusieurs tentatives de reconstruire
la thorie sans rduction d'Everett afin de prendre en compte l'indtermination apparente du
rsultat des mesures. Ces tentatives ont conduit des formulations de la mcanique quantique telles
que les mondes multiples, les consciences multiples, les histoires multiples et les thories des faits
relatifs.
Chacune capture une partie de ce que Everett affirmait pour sa thorie mais chacune rencontre aussi
des problmes.
Introduction
Everett formula son interprtation des tats relatifs de la mcanique quantique quand il tait un
tudiant en graduat de physique l'universit de Princeton. Sa dissertation de doctorat fut
recommande pour publication en mars 1957 et un article rapportant le rsultat de sa dissertation
fut publi en juillet de la mme anne. Il publia aussi plus tard une discussion tendue de son
interprtation des tats relatifs dans l'anthologie de DeWitt et Graham (1973). Aprs son graduat
Princeton, Everett a travaill comme analyste pour la dfense. Il est mort en 1982.
La formulation sans rduction d'Everett de la mcanique quantique fut une raction aux problmes
soulevs par la formulation standard avec rduction de von Neumann - Dirac. La proposition
d'Everett tait d'liminer le postulat de rduction de la formulation standard de la mcanique
quantique et de dduire ensuite les prdictions empiriques de la thorie standard comme les
expriences subjectives des observateurs qui sont eux-mmes traits comme des systmes
physiques dcrits par sa thorie. Il n'est cependant pas clair comment prcisment Everett comptait
faire ce travail. Par consquent, il y a eu plusieurs tentatives, mutuellement incompatibles, d'essayer
d'expliquer ce qu'il avait en fait en tte. En effet, il est probablement honnte de dire que la plus part
des thories sans rduction de la mcanique quantique ont un moment ou un autre t
attribues Everett.
Dans ce qui suit, nous dcrirons les inquitudes d'Everett sur la formulation standard avec rduction
de la mcanique quantique et ses propositions pour rsoudre le problme comme il l'a prsent dans
son article de 1957. Nous dcrirons alors brivement quelques approches pour interprter la thorie
d'Everett. Nous y reviendrons plus en profondeur par la suite
Le problme de la mesure
Everett prsenta sa formulation de l'tat relatif de la mcanique quantique comme un moyen
d'viter les problmes rencontrs par la formulation standard avec rduction de von Neumann -
Dirac. Le principal problme, selon Everett, tait que la formulation standard avec rduction de la
mcanique quantique ncessite que les observateurs soient toujours traits comme extrieurs au
systme dcrit par la thorie. Une consquence de cela tait que la formulation standard avec
rduction ne pouvait pas tre utilise pour dcrire l'univers comme un tout puisque l'univers
contient les observateurs.
Afin de comprendre ce qui inquitait Everett, on doit d'abord comprendre comment la formulation
standard de la mcanique quantique fonctionne. La thorie standard de von Neumann - Dirac est
base sur les principes suivant (von Neumann, 1955) :
1. Reprsentation des tats : les tats physiques possibles d'un systme S sont reprsents par
des vecteurs de longueur unit dans un espace de Hilbert (que pour l'occasion on peut voir
comme un espace vectoriel avec un produit scalaire). L'tat physique un moment est alors
reprsent par un seul vecteur dans l'espace de Hilbert.
2. Reprsentation des proprits : pour chaque proprit physique P que l'on peut observer sur
un systme S, il y a un oprateur (appel aussi projecteur) P (sur les vecteurs qui
reprsentent les tats possibles de S) qui reprsente la proprit.
3. Lien valeur propre - tat propre : un systme S dtermin a la proprit physique P si et
seulement si P oprant sur S (le vecteur reprsentant l'tat de S) redonne S. Nous disons
alors que S est un tat propre de P avec la valeur propre 1. S n'a pas la proprit P si et
seulement si P oprant sur S donne zro.
4. Dynamique :
a. Si aucune mesure n'est faite, alors un systme S volue de manire continue selon la
dynamique linaire, dterministe qui dpend seulement des proprits nergie du
systme.
b. Si une mesure est faite, alors le systme S saute instantanment et alatoirement
dans un tat o il est ou bien dtermin ou il n'a pas la proprit mesure. La
probabilit de chaque tat possible aprs mesure est dtermine par l'tat initial du
systme. Plus spcifiquement, la probabilit de finir dans un tat final est gale au
carr de la norme de la projection de l'tat initial sur l'tat final.
Selon le lien valeur propre - tat propre (rgle 3), un systme pourrait tre non dtermin et ne pas
avoir la proprit particulire donne. Afin d'avoir une proprit particulire, le vecteur reprsentant
l'tat d'un systme doit tre sur la ligne (ou le sous-espace) dans un espace d'tats reprsentant la
proprit et afin de ne pas avoir la proprit l'tat d'un systme doit tre dans le plan (ou le sous
espace) orthogonal, et la plus part des vecteurs d'tat ne seront ni parallles ni orthogonaux une
ligne (ou un sous espace) donne. De plus, la dynamique dterministe (rgle 4a) ne garantit
typiquement pas qu'un systme aura ou n'aura pas une proprit dtermine quand on observe le
systme pour voir si le systme a cette proprit. C'est pourquoi la dynamique de rduction (rgle
4b) est ncessaire dans la formulation standard de la mcanique quantique. C'est la dynamique de
rduction qui garantit qu'un systme aura ou n'aura pas de manire dtermine une proprit
particulire quand on observe le systme pour voir s'il a la proprit. Mais la dynamique linaire
(rgle 4a) est aussi ncessaire pour prendre en compte les effets d'interfrences de la mcanique
quantique. Ainsi, la formulation standard de la mcanique quantique a deux lois dynamiques : la
rgle 4a dterministe, continue, linaire qui dcrit comment un systme volue quand il n'est pas
mesur et la rgle 4b alatoire, discontinue, non linaire qui dcrit comment un systme volue
quand il est mesur.
Mais qu'est-ce qui fait qu'une interaction est du type mesure ? A moins que nous sachions cela, la
formulation standard de la mcanique quantique est au mieux incomplte puisque nous ne savons
pas quand chaque loi dynamique est applicable. De plus, et c'est ce qui inquitait Everett, si nous
supposons que les observateurs et leurs dispositifs de mesure sont construits partir de systmes
plus simples qui obissent chacun la dynamique dterministe, alors les systmes composites, les
observateurs et leurs dispositifs de mesure, doivent voluer d'une manire dterministe continue et
jamais comme l'volution alatoire, discontinue dcrite par la rgle 4b qui ne peut jamais se
produire. C'est--dire que si les observateurs et leurs dispositifs de mesure sont vus comme tant
construits partir de systmes plus simples se comportant chacun comme la mcanique quantique
l'exige, chacun obissant la rgle 4a, alors la formulation standard de la mcanique quantique est
logiquement inconsistante puisqu'elle dit que les deux systmes ensembles doivent obir la rgle
4b. C'est le problme de la mesure quantique dans le contexte de la formulation standard avec
rduction de la mcanique quantique.
Afin de prserver la consistance de la mcanique quantique, Everett en a conclu que la formulation
standard avec rduction ne pouvait pas tre utilise pour dcrire les systmes qui contiennent les
observateurs, c'est--dire qu'elle ne pouvait tre utilise que pour dcrire un systme o tous les
observateurs sont extrieurs au systme dcrit. Et pour Everett, cette restriction sur l'applicabilit de
la mcanique quantique tait inacceptable. Everett dsirait une formulation de la mcanique
quantique qui pourrait tre applique tout systme physique quel qu'il soit, un qui dcrit les
observateurs et leurs dispositifs de mesure de la mme manire qu'elle dcrit tout autre systme
physique.
La proposition dEverett
Afin de rsoudre le problme de la mesure, Everett proposa d'liminer la dynamique de rduction
(rgle 4b) de la thorie standard avec rduction et proposa de prendre la thorie physique rsultante
comme fournissant une description complte et prcise de tous les systmes physiques quels qu'ils
soient. Everett tenta alors de dduire les prdictions statistiques standard de la mcanique
quantique (les prdictions qui dpendent de la rgle 4b dans la formulation standard avec rduction
de la mcanique quantique) comme les expriences subjectives des observateurs qui sont eux-
mmes traits comme des systmes physiques ordinaires dans la nouvelle thorie.
Everett dit :
Nous serons capables d'introduire dans les systmes [de la thorie de l'tat relatif] ceux qui
reprsentent les observateurs. De tels systmes peuvent tre conus comme des machines
fonctionnant automatiquement (des servomcanismes) possdant des dispositifs d'enregistrement
(mmoire) et qui sont capables de rpondre leur environnement. Le comportement de ces
observateurs sera toujours trait dans le cadre de la mcanique ondulatoire. De plus, nous dduirons
les affirmations probabilistes du processus 1 [rgle 4b] comme des apparences subjectives de tels
observateurs, plaant donc la thorie en correspondance avec l'exprience. Nous sommes donc
conduits la situation nouvelle dans laquelle la thorie formelle est objectivement continue et
causale, bien que subjectivement discontinue et probabiliste. Tandis que ce point de vue justifiera
donc ultimement notre utilisation d'affirmations probabilistes de la vision orthodoxe, elle nous
permettra de le faire d'une manire logiquement consistante permettant l'existence des autres
observateurs (1973).
Le but d'Everett tait alors de montrer que l'enregistrement mmoire d'un observateur comme
dcrit par la mcanique quantique sans la dynamique de rduction serait tant bien que mal en
accord avec celle prdite par la formulation standard avec la dynamique de rduction. Le principal
problme est de comprendre ce qu'Everett avait l'esprit en imaginant comment cette
correspondance entre la prdiction des deux thories tait suppose marcher.
Afin de voir ce qui se passe, essayons la proposition sans rduction d'Everett pour une interaction de
mesure simple. On peut mesurer le spin
haut" ou "
Si J mesure un systme qui est dfini
L'tat initial du systme composite est alors :
| (|
)
Ici J est dfini prt faire une mesure du spin, mais le systme objet S n'a pas de spin dfini. Etant
donn les deux dispositions de J et le fait que la dynamique dterministe est linaire, l'tat du
systme composite aprs la mesure du spin par J sera :
|
Dans la formulation standard avec rduction de la mcanique quantique, quelque part durant
l'interaction de mesure, l'tat se rduirait ou bien au premier terme de cette expression (avec une
probabilit gale au carr de a) ou au second terme de cette expression (avec une probabilit gale
au carr de b). Dans le premier cas, J termine avec l'enregistrement de mesure dfini spin haut et
dans le deuxime cas J termine avec l'enregistrement de mesure dfini spin bas . Mais avec la
proposition d'Everett, aucune rduction ne se produit. Plutt, l'tat aprs mesure est simplement
cette superposition intrique de J enregistrant le rsultat spin haut avec S tant spin haut et J
enregistrant spin bas avec S tant spin bas. Appelez cet tat E pour Everett. Pour le lien standard
valeur propre - tat propre, E n'est pas un tat o J un enregistrement dfini spin haut ni un
tat o J est un enregistrement dfini spin bas . Ainsi l'nigme pour une interprtation d'Everett
est d'expliquer le sens dans lequel la superposition intrique de J d'enregistrements mutuellement
incompatibles est suppose tre en accord avec la prdiction empirique faite par la formulation
standard avec rduction de la mcanique quantique. La thorie standard avec rduction, nouveau,
prdit que J termine avec l'enregistrement de mesure parfaitement dfini spin haut ou avec
l'enregistrement de mesure parfaitement dfini spin bas avec les probabilits gales au carr de a
et au carr de b, respectivement.
Everett confesse qu'un tat aprs mesure comme E est nigmatique :
Comme rsultat de l'interaction de l'tat de l'appareil de mesure, il n'est plus capable de dfinition
indpendante. Il peut tre dfinit seulement relativement l'tat du systme objet. En d'autres mots,
il existe seulement une corrlation entre les tats des deux systmes. Il semble comme si rien ne
pouvait jamais tre dfini par une telle mesure (1957).
Et il dcrit le problme auquel il fait par consquent face :
Ce comportement indfini semble tre assez en dsaccord avec notre observation puisque les objets
physiques nous apparaissent toujours comme ayant des positions dfinies. Pouvons-nous rconcilier
ce phnomne de la thorie de la mcanique ondulatoire avec l'exprience ou la thorie doit-elle tre
abandonne comme intenable ? Afin de rpondre cette question, nous considrons le problme de
l'observation lui-mme dans le cadre de la thorie (1957).
Il dcrit alors sa solution ce problme de l'enregistrement dfini (exprience dfinie) :
Voyons un observateur comme un sous-systme du systme composite : observateur + systme objet.
C'est alors une consquence invitable qu'aprs que l'interaction a eu lieu il n'existe pas, en gnral,
un seul tat observateur. Il y aura, cependant, une superposition d'tats du systme composite, dont
chaque lment contient un tat observateur dfini et un tat systme - objet relatif dfini. De plus,
comme nous le verrons, chacun de ces tats systme objet relatif sera, approximativement, l'tat
propre de l'observation correspondante obtenue par l'observateur qui est dcrit par le mme lment
de superposition. Donc, chaque lment de la superposition rsultante dcrit un observateur qui
peroit un rsultat dfini et gnralement diffrent et qui il apparat que l'tat du systme objet a
t transform en l'tat propre correspondant. Dans ce sens, l'affirmation habituelle de la dynamique
de rduction apparat valable un niveau subjectif de chaque observateur dcrit par un lment de
superposition. Nous verrons aussi que la corrlation joue un rle important pour prserver la
consistance quand plusieurs observateurs sont prsents et autoriss interagir avec un autre (pour
"consulter" un autre) ainsi qu'avec d'autres systmes objets (1973).
A cette fin, Everett prsente un principe qu'il appelle la relativit fondamentale des tats de la
mcanique quantique. Avec ce principe, on peut dire que dans l'tat E, J enregistre spin haut
relativement S tant dans l'tat spin haut et que J enregistre spin bas relativement S tant
dans l'tat spin bas. Mais ce principe ne peut pas en lui-mme conduire Everett l'enregistrement de
mesures dfinies (ou les expriences de mesures dfinies) prdites par la formulation standard avec
rduction de la mcanique quantique. La formulation standard prdit qu'en le mesurant, l'tat de la
mcanique quantique du systme composite se rduit prcisment un des deux tats suivants :
|
ou |
Et qu'il y a donc de fait un seul cas sur le rsultat enregistr par J. Avec l'explication d'Everett il n'est
pas clair si J termine par enregistrer un rsultat ou l'autre ou peut-tre d'une certaine manire les
deux.
Le problme est qu'il y a un trou dans la prsentation d'Everett entre ce qu'il essaye d'expliquer et ce
qu'il finit ultimement par dire. Il essaye d'expliquer pourquoi les observateurs obtiennent
prcisment les mmes enregistrements des mesures (expriences) comme prdit par la formulation
standard avec rduction de la mcanique quantique en mcanique quantique sans la dynamique de
rduction mais il finit par une prise en compte o il n'est pas clair si tout enregistrement dfini a un
observateur aprs une interaction de mesure typique. Puisqu'il n'est pas clair exactement comment
Everett entend expliquer un enregistrement de mesure dfini d'un observateur (expriences), il n'est
pas clair non plus comment il compte expliquer pourquoi on devrait s'attendre des enregistrements
de mesure dfinis de l'un pour exhiber les statistiques quantiques standards. Ce trou dans la
prsentation d'Everett a conduit plusieurs reconstructions mutuellement incompatibles de sa prise
en compte de la mcanique quantique. Chacune de ces reconstructions peut tre prise comme
prsentant une manire diffrente d'expliquer comment les enregistrements de l'un peuvent tre
dfinis (ou semblent tre dfinis pour un observateur ou pourquoi il ne devrait pas s'inquiter si oui
ou non ils sont dfinis) dans un tat aprs mesure comme E.
La thorie nue
La thorie nue de Albert et Loewer (Albert et Loewer, 1988, et Albert, 1992) est certainement
l'interprtation la plus sauvage de la thorie d'Everett. Dans cette lecture, on suppose qu'Everett
souhaitait enlever la dynamique de rduction mais garder le lien standard valeur propre - tat
propre.
Ainsi, comment la thorie nue explique-t-elle l'exprience dfinie de J ? La rponse courte est qu'elle
ne le fait pas. Plutt, pour la thorie nue, on essaie d'expliquer pourquoi J croit erronment qu'il a un
enregistrement de mesure dfinie ordinaire. Le truc est de demander l'observateur non pas quel
rsultat il a mais plutt s'il a un certain rsultat dfini spcifique. Si l'tat aprs mesure est
|
Alors J rapporte J'ai un rsultat dfini, ou bien spin haut ou bien spin bas . Et il ferait exactement
le mme rapport s'il terminait dans l'tat aprs mesure :
|
Ainsi, par linarit de la dynamique, J affirmerait erronment J'ai un rsultat dfini, ou bien spin
haut ou bien spin bas quand il est dans l'tat E :
|
Donc, on peut affirmer qu'il semble J qu'il a un rsultat de mesure ordinaire parfaitement dfini
mme quand ce n'est pas le cas (c'est--dire qu'il n'a pas de manire dfinie spin haut et n'a pas
de manire dfinie spin bas ).
L'ide est d'essayer de prendre en compte toutes les croyances de J sur ses expriences dfinies en
ayant recours de telles illusions. Plutt que de prdire les expriences que nous croyons que nous
avons, une proposition de la thorie nue nous dit que nous n'avons pas plusieurs croyances dfinies
du tout et alors essaye d'expliquer pourquoi nous croyons nanmoins dfini ce que nous faisons.
Bien qu'on puisse dire plusieurs histoires suggestives sur le type d'illusions dont un observateur ferait
l'exprience, il y a au moins deux problmes srieux avec la thorie nue. Un problme est que la
thorie nue n'est pas empiriquement cohrente : si la thorie nue tait vraie, il serait absolument
impossible d'avoir une vidence empirique pour l'accepter comme vraie. Une autre est que si la
thorie nue tait vraie, on chouerait pratiquement avoir la moindre croyance dfinie (puisque
pour la dynamique dterministe on ne devrait pratiquement jamais s'attendre ce que l'tat global
soit un tat propre de tout observateur sensible particulier) ce qui n'est probablement pas le type de
prdiction que l'on recherche pour une thorie physique russie.
Quelques remarques sont ncessaires.
D'abord la critique de la thorie nue sur l'absence de rsultats dfinis n'est probablement pas
justifie. La science empirique se construit sur base des rsultats dfinis obtenus par la
mesure. Mais si l'exprimentateur, ses appareils de mesure et le systme quantique mesur
se retrouvent dans un tat quantique superpos, l'exprimentateur dispose bien de rsultats
dfinis sur lesquels construire sa thorie. Il se retrouvera dans l'tat : Je mesure un rsultat
dfinit, unique, non superpos, spin haut + Je mesure un rsultat dfinit, unique, non
superpos, spin bas .
Le monde ainsi accessible l'exprimentation est bien un monde donnant des rsultats
dfinis mme s'ils sont subjectifs, lis au fait que l'on n'a jamais accs qu' une partie de
l'tat global.
Il n'est mme pas ncessaire de supposer que chaque composante est un monde spar
comme le fait linterprtation des mondes multiples .
L'observateur se retrouve donc lui-mme dans un tel tat superpos et c'est une
superposition d'tats o il dit j'observe une valeur parfaitement dfinie . L'observateur
n'est tout simplement pas mme d'observer la rduction ds qu'il s'inclut dans le
processus. S'il n'interagit pas avec l'tat superpos (disons avec |
) il
est mme d'effectuer des mesures d'interfrences et de vrifier qu'il s'agit d'un tat
superpos, mais s'il interagit avec l'tat afin d'en mesurer les composantes, c'est fini, il est
pig !
Il est vrai que d'un point de vue "extrieur", celui du physicien tentant d'interprter la
thorie, l'tat est curieux et ne semble pas conduire des tats dfinis. Mais c'est faux. Cet
observateur extrieur n'existe pas. Ou, plutt, c'est un non-observateur , un thoricien
examinant des quations et pas un observateur observant le processus rel. Un observateur
exprimentateur serait dans la situation de J et constaterait bien des tats dfinis. Un autre
observateur postant la question J se retrouverait aussi dans un tel tat superpos o il
constate des tats dfinis : J m'a dit qu'il a obtenu un rsultat dfini spin haut + J m'a dit
qu'il a obtenu un rsultat dfini spin bas .
Il ne faut surtout pas essayer de calquer un tel tat quantique sur nos impressions
classiques , mal adaptes. Il faut aussi viter de trop philosopher en se demandant qui
suis-je ? , quelle composante suis-je ? . La question peut se poser mais n'est ncessaire ni
pour la thorie ni pour l'vidence empirique qui sont les seuls aspects qui nous importent.
Notons que nous avons choisi une base privilgie, la base position (ou plutt ci-dessus la
base de spin dans la direction verticale), mais ce n'est pas une obligation. Nous pouvons
prendre n'importe quelle base et dcomposer l'tat de la particule et de l'appareil sur cette
base. Si l'on considre des systmes microscopiques, c'est tout fait possible et souhaitable.
Si l'on considre des appareils macroscopiques, comme peut-tre l'appareil et, en tout cas,
l'observateur humain, nous verrons que la dcohrence explique que le systme complet (et
donc la particule, mme si elle est microscopique) se retrouve dans un tat en rapport avec
une base privilgie. C'est cette base qui est stable ( robuste au sens de la dcohrence)
et qui autorise des tats mmoires permettant de se rendre compte des tats dfinis.
Le fait que l'observateur se retrouve lui-mme dans un tat superpos peut sembler
drangeant, mme s'il ne peut s'en apercevoir, et pose d'intressantes et profondes
questions philosophiques. Mais de telles interrogations sortent en grande partie du cadre de
cette analyse. Ce qui nous importe, ici, est que l'interprtation fonctionne et est consistante
avec les rsultats exprimentaux, ce qui est manifestement le cas.
Un problme reste ouvert, c'est le statut des probabilits. Puisque l'tat final contient tous
les rsultats, dans un tat superpos, comment interprter le caractre probabiliste ou
statistique des mesures ? On ne peut parler de rsultat spin haut ou spin bas se
produisant avec une certaine probabilit (ou plutt la mesure de ces rsultats) puisque les
deux sont toujours prsent. Comment, dans ce cas, expliquer les rsultats statistiques
exprimentaux ? Sans rduction, pas de rgle de Born. Ce n'est pas vident priori et
plusieurs auteurs se sont penchs sur le problme. Mais nous verrons que la solution n'est en
dfinitive pas si complique, l'arbre peut parfois cacher la fort.
Il faut signaler que dans sa thse, Everett n'a pas clairement rsolu ce point.
On peut pousser beaucoup plus loin ltude des tats relatifs et leur usage dans la description
dexpriences, en particulier en utilisant lanalyse relationnelle. Mais cela nous mnerait beaucoup
trop loin. Nous nen aurons pas besoin.
Probabilits
Il nous reste rsoudre un problme que nous n'avons pas vraiment rsolu ci-dessus dans les
interprtations sans rduction, savoir comment expliquer les probabilits de la mcanique
quantique. C'est--dire les probabilits d'obtenir telle ou telle mesure selon la rgle de Born alors
que ces interprtations sans rduction font par apparatre ces probabilits.
Nous allons analyser la problmatique progressivement, en suivant les pistes possibles et en
liminant progressivement les approches qui ne marchent pas jusqu' pointer du doigt la solution. A
la manire d'un dtective.
Ce n'est pas trivial puisqu'il n'y a pas rduction, toutes les composantes restent prsentes en mme
temps. Supposons, par exemple, qu'il y ait deux tats possibles de position |
et |
pour S
avec des probabilits respectives de 1/3 et 2/3 pour l'tat de S donn, par exemple |
.
Il n'y a pas de sens a priori de dire que l'on va mesurer la position
avec la probabilit 2/3 puisque dans tous les cas on obtient deux composantes. L'tat
reste complet , superpos. Lobservateur O ne pouvant se rendre compte de la superposition ne
voit qu'un rsultat dfini. Mais pourquoi des probabilits 1/3 et 2/3 pour les deux cas (dans cet
exemple) ?
Le problme est assez pineux et est celui rencontr par toutes les interprtations sans rduction.
Voyons cela de plus prs, en toute gnralit
Prsentation
Rappelons la rgle de Born pour les probabilits quantiques. Soit un systme S dcrit par un tat |
appartenant un espace de Hilbert . Soit un observable O avec les vecteurs propres |
et
|
(pour l'exemple, nous prenons un espace de Hilbert deux dimensions, c'est--dire deux tats
de base, mais tous les rsultats et raisonnements se gnralisent aisment un nombre quelconque
de dimensions y compris infini). Alors l'tat | admet une dcomposition unique | |
et la
probabilit ||
||
,
c'est juste un dtail.
C'est la rgle de Born telle qu'elle est utilise de manire oprationnelle ou, comme on l'appelle
parfois, dans l'interprtation instrumentale.
Aprs la mesure, l'tat du systme est donn par l'tat mesur, par exemple |
. Ce qu'on
peut dcrire schmatiquement par :
|
De mme pour l'tat |
L'quation de Schrdinger dcrivant l'volution des systmes physiques (quantiques) tant linaire,
on obtient facilement le rsultat gnral :
|
| |
(|
) |
On dit que dans l'tat rsultant l'appareil et le systme sont corrls.
Dans le schma avec rduction, on dit que la mesure provoque la rduction, par exemple :
|
| |
.
Dans l'interprtation des mondes multiples, on dira que la mesure a provoqu la "scission" du monde
en deux mondes distincts dcrits par les composantes du vecteur d'tat global :
|
Et
|
C'est la variante des mondes multiples la plus simple et qui ncessite le choix d'une base privilgie
(ici |
, |
). Mais notre problme ici n'est pas de rsoudre le problme de la base privilgie
mais, celle-ci tant donne, de comprendre l'origine des probabilits.
Dans l'approche des tats relatifs, ces deux lments sont conservs dans un seul tat (somme,
superposition). Mais le rsultat est analogue car sans passer par un autre observateur, chaque
composante n'est pas influence par l'autre ( cause de l'volution linaire). La diffrence est (sans
un observateur supplmentaire) purement smantique. Dans ce qui suit, pour simplifier l'explication,
nous continuerons parler de mondes qui peuvent donc tre pris dans un sens plus large que les
mondes parallles de l'interprtation de DeWitt.
Du fait de l'volution linaire, chaque monde est sans relation causale avec les autres (du moins si A
inclut bien l'appareil, l'observateur et mme tout le reste de l'univers ou si les composantes
concernent des objets macroscopiques ayant subi le phnomne de dcohrence).
Comment appliquer la rgle ?
Comment les probabilits quantiques s'appliquent-elles dans le cas des mondes multiples ? La
question est pineuse car tous les mondes existant simultanment, la probabilit qu'un monde
donn soit ralis est tout simplement gale un ! Dans ce cas, il n'y a aucun sens parler de
probabilits.
Pourtant, l'exprience montre effectivement le caractre probabiliste des mesures quantiques. Pire
encore, la thorie elle-mme, la mcanique quantique, tire ses fondements des expriences
effectues et de leur caractre probabiliste. Le fait de ne pas pouvoir parler de ces probabilits dans
les mondes multiples est donc assez gnant. La thorie perd le lien avec son propre fondement
exprimental.
En fait, le problme n'est pas tant de comprendre la rgle de Born, de comprendre son origine, que
d'appliquer cette rgle.
Pour ce qui est de la raison de cette rgle, on montre avec le thorme de Gleason que si la
probabilit d'observer un rsultat lors d'une mesure est gale un (une hypothse qui semble
vidente) alors seule la rgle de Born est consistante avec la mcanique quantique. Ce thorme
snonce comme suit :
Pour un espace de Hilbert de dimension 3 ou plus (lespace de Hilbert de lunivers tant bien
entendu plus grand que lexemple lmentaire deux dimensions utilis plus haut), la seule mesure
possible de probabilit de ltat associ un sous-espace linaire particulier de lespace de Hilbert
sera de la forme (()) ou Tr est la trace du produit matriciel de loprateur de projection P(a)
et de la matrice de densit du systme W.
Ce thorme conduit aisment la rgle de Born.
C'est un rsultat mathmatique fort qui, au moins, fixe de manire dfinitive la raison mathmatique
d'une formule comme ||
.
Mais ce rsultat thorique ne nous aide pas beaucoup car on y suppose implicitement le caractre
probabiliste des mesures. Ce thorme suppose que l'on sait comment appliquer la rgle, quelle
qu'elle soit puis montre quelle doit tre cette rgle.
Ici, c'est l'inverse qui nous proccupe : on connat la rgle, mais on ne sait pas comment l'appliquer
dans le cas des mondes multiples ni mme pourquoi on doit appliquer une telle rgle !
Voyons donc les solutions envisageables.
Plusieurs auteurs ont tent de rsoudre le problme. Les tentatives d'explication ont souvent pris
une tournure philosophique plutt qu'oriente vers la physique, voire une explication plutt
mtaphysique. Comme nous l'avons dj dit, cela est viter.
Les explications sont souvent alambiques sans que l'on voie facilement le lien avec la physique. Un
exemple typique est la notion de mesure d'existence associe aux mondes, mesure
proportionnelle ||
) = (la probabilit ou du moins une valeur proche si N est grand est donne
par le nombre de rsultats
.
Cette fois, nous n'avons plus une mystrieuse probabilit mais bien un ensemble concret de mesures
qui existent aussi dans le cas des interprtations des mondes multiples.
Malheureusement, cela ne rsout pas le problme ! Aprs la premire mesure, on va se retrouver,
avec l'exemple choisi, avec deux mondes |
et |
, |
, |
, |
Toutes les distributions existent dans tous les mondes. La premire composante a l'amplitude ||
, la
deuxime ||
||, etc. Ceci est totalement quivalent un systme (compos de trois sous-systmes
identiques) dont l'tat est dcrit par un espace de Hilbert 8 dimensions (2 fois 2 fois 2, huit tats de
base possible pour les trois systmes mesurs) et la dcomposition sur la base de l'observable O
donne 8 composantes avec les amplitudes ||
, ||
|| , etc.
On n'a fait que dplacer le problme en arrivant simplement un systme plus complexe, avec un
espace de Hilbert plus grand. Mais le problme reste entier !
Dans cette situation, demander ce que les statistiques correspondent la rgle de Born, revient
se poser la question : Pourquoi suis-je dans ce monde o j'observe les bonnes distributions
statistiques ?
On pourrait imaginer que certaines branches (certains mondes) sont exclues. Par exemple le
monde avec les rsultats
||
et
||
o {|
} peut tre la base de vecteurs propres non dgnrs d'un autre observable V.
Comme il n'y a pas de raison de privilgier tel ou tel observable, la sparation en "mondes" est
ambigu.
Cette situation semble compliquer encore plus le problme d'affecter une probabilit un monde.
Mais, en ralit, cela simplifie la situation ! Il n'y a pas de sens physique dire telle probabilit de
telle composante ou monde , car la dcomposition est affaire de choix. On choisit une base pour la
description en termes de mondes multiples. Et ce choix purement descriptif, mathmatique, ne
devrait pas influencer les phnomnes physiques et donc les probabilits mesures. Le choix peut
tre bas, a posteriori, sur les bases privilgies (dont l'origine trouve son explication dans la
dcohrence et les systmes classiques ) et donc le choix d'un observable donn. Mais cela ne
change rien au fait que la description en elle-mme de l'interprtation de la mcanique quantique
effectue un choix arbitraire de dcomposition de l'tat. Quelle que soit la description, il est toujours
possible de choisir une base totalement arbitraire pour dcomposer l'tat, mme aprs dcohrence
(la matrice densit n'est alors pas diagonale).
Le seul systme rellement physique est S .
Ca ne complique donc pas le problme, heureusement, mais cela le rend juste encore plus
mystrieux car manifestement nous n'avons pas cherch du bon ct !
Mathmatique v.s. physique
Le moment est venu de mettre certaines choses plat.
Bien sparer mathmatique et physique
Lorsque l'on parle d'une thorie physique et encore plus lorsque l'on parle de son interprtation il
convient de ne pas confondre mathmatique et physique. L'expression consacre est de dire qu'il ne
faut pas confondre la carte le territoire, la peinture et le modle, la description d'un phnomne et le
phnomne lui-mme. Il y a le risque de confondre des effets physiques avec certains artefacts
mathmatiques. Par exemple, si l'on ne respecte pas le principe de relativit on risque de confondre
certains rsultats rsultant de choix purement arbitraires avec des effets physiques. En
lectromagntisme, on peut citr la jauge qui n'a pas de consquence sur les prdictions
physiques de la thorie et dont l'arbitraire est fix par une quation supplmentaire et arbitraire
mais que l'on choisit souvent pour respecter le principe de relativit (la jauge de
Lorentz).
Lorsque nous parlons ici de mathmatique , nous l'employons dans un sens trs large qui va au-
del de la simple formulation de la thorie l'aide d'quations.
Ce qui est considr ou appel mathmatique ici est la description de la thorie en termes
d'quations ou de simples mots. Ces mots peuvent bien sr faire appel des concepts physiques que
nous connaissons mais il ne faut pas oublier que nous sommes ici dans un domaine trs particulier (la
mcanique quantique) o les concepts habituels applicables la physique classique, au quotidien,
peuvent ne plus avoir le mme sens ou tre des concepts mergeant d'une ralit plus
fondamentale et trs diffrente de celle que nous voyons au quotidien.
Bref, mme en employant des mots tels que particule , monde ou onde , il n'est pas certain
qu'ils se rfrent des entits physiques relles et tant que l'on a pas fait le lien entre la description et
les donnes exprimentales, ces mots doivent tre pris comme de simples lments
( mathmatiques ) de la description, jusqu' preuve du contraire.
Nous devons au tout premier chef considrer la description, quelle que soit sa formulation, pour ce
qu'elle est : une description mathmatique . Puis identifier ce qui peut rellement tre considr
comme physique, comme le rsultat d'une mesure (et ce quel que soit le systme, aussi complexe et
mystrieux soit-il, qui conduit au rsultat observ).
S'il s'avre que plusieurs formulations diffrentes conduisent aux mmes rsultats physiques, alors
on ne peut pas considrer arbitrairement qu'une de ces formulations a un caractre plus
physique qu'une autre. Il faut bien admettre que ces formulations ne sont qu'un habillage qui
permet une formulation de la seule partie rellement physique que sont ces rsultats (et leurs
causes). Cela n'a rien de choquant dans la mesure o toutes ces formulations dcrivent quelque
chose de bel et bien physique. Il y a souvent plusieurs manires de dcrire une mme chose, en
particulier si cette chose correspond une ralit pour laquelle les mots et concepts habituels ne
sont pas vraiment adapts ou n'y prennent pas le mme sens. Ce qui est le cas en mcanique
quantique.
De nombreuses interprtations de la mcanique quantique laissent totalement inchang le
formalisme de base de celle-ci et conduisent exactement aux mmes prdictions physiques pour des
situations initiales identiques. C'est d'ailleurs un reproche qui a souvent t fait aux interprtations :
elles ne sont pas toujours rfutables par lexprience. C'est un reproche quelque peu injustifi dans
la mesure o ces interprtations ont justement pour but principal de comprendre la mcanique
quantique (son formalisme) et non de modifier ses rsultats. De plus, il faut bien exprimer la thorie
dune manire ou dune autre !
Ici, nous n'avons pas l'intention de discuter de la pertinence d'tudier ou d'laborer diffrentes
interprtations de mcanique quantique. Nous partons de l'hypothse que l'interprtation des
mondes multiples, comme la version que nous utilisons ici, respecte aussi le formalisme de la
mcanique quantique et ce qui nous intresse est l'interprtation des probabilits dans une telle
situation. Force est alors d'admettre que la description en termes de mondes multiples fait partie de
la description mathmatique , au sens que nous avons prcis, et qu'elle est totalement arbitraire.
On ne peut pencher en faveur de cette interprtation que pour diverses raisons caractre
philosophique et pas pour des raisons exprimentales, par exemple. Et ceci, mme si on applique
une ontologie aux concepts appartenant cette interprtation (les mondes ).
L'laboration de l'interprtation l'aide de la mcanique quantique relationnelle et des tats relatifs
en partant du strict minimum (le formalisme sans la rduction), de principes gnraux (par exemple
respecter le principe de relativit et viter le principe anthropique qui fait jouer un rle spcila
lobservateur) et du refus d'utiliser des concepts philosophiques ou classiques sans preuve de leur
pertinence ne nous a d'ailleurs pas conduit d'office cette ontologie des mondes qui ne peut
donc se rajouter que si on est insatisfait de la philosophie des tats relatifs (ce qui fut le cas de
DeWitt, par exemple).
Physique et mondes multiples
Qu'est-ce qui peut tre alors qualifi de physique dans l'interprtation ? C'est bien sr le rsultat des
mesures. C'est la seule chose concrte sur laquelle nous pouvons nous baser pour construire la
thorie et son interprtation mais galement pour vrifier, par exemple, les prdictions de la thorie.
Nous avons dj insist sur ce point et il convient d'enfoncer le clou. Et ceci est entirement valable
dans l'interprtation des mondes multiples.
Or, pour nous qui effectuons une srie de mesures, ces rsultats correspondent un seul monde .
Celui dans lequel nous nous trouvons. Celui correspondant la distribution statistique observe dans
cette srie de mesure.
Dans ce contexte, parler de la probabilit d'tre dans tel ou tel monde n'a physiquement pas de sens
: nous sommes dans ce monde, point ! De mme pour les distributions statistiques des diffrents
mondes.
Considrons maintenant l'ensemble des mondes multiples, globalement, comme un tout. Il n'y a ici
pas d'observateur extrieur cet ensemble mme d'effectuer des mesures sur cet ensemble. Il n'y
a, par exemple, pas d'observateur extrieur au(x) monde(s) qui pourrait effectuer une srie
d'expriences et dterminer la probabilit de se retrouver dans tel ou tel monde. A nouveau, parler
de ce genre de probabilit n'a pas de sens physique. Les descriptions en termes de mesures (au sens
mathmatique) sur ces espaces (de mondes) ne sont que des astuces mathmatiques qui n'ont pas
ncessairement une justification physique et l'usage de mots comme transtemporalit parfois
utilis dans les approches philosophiques na rien de physique.
Lorsque nous avons prcdemment parl d'avoir une chance sur deux de nous retrouver dans un des
deux mondes rsultant de la mesure, cela n'avait pas de sens. Plus exactement, pas de sens
physique. Ce concept de probabilit n'a aucune base physique sur laquelle elle pourrait reposer. Elle
est totalement fictive. Un effet trompeur de perspective (celle du physicien qui est extrieur
l'interprtation qu'il labore, extrieur ces mondes multiples, et qui oublie que cette
interprtation doit s'appliquer la ralit et qu'en fait lui-mme, plus exactement cet exemplaire
de lui-mme, ne fait partie que d'un monde donn).
Il existe un cas o un observateur extrieur peut exister. Lorsqu'un exprimentateur considre un
systme mcanique quantique (microscopique) dans un tat superpos. Il peut, par exemple, vrifier
que l'tat correspondant est bien un tat superpos en effectuant des expriences d'interfrences
comme l'exprience bien connue des fentes de Young. Mais nous avons dj parl de ce cas : il n'y a
pas de sens parler de probabilit des diffrentes composantes car toutes existent simultanment.
Ce n'est qu'aprs la mesure que cela intervient. Et aprs la mesure, soit il n'y a plus qu'une seule
composante (interprtation avec rduction), soit c'est tout l'univers (exprimentateur et systme)
qui se retrouve dans un tat superpos pour les interprtations sans rduction comme celle des
mondes multiples.
Nous retombons sur la situation prcdente. Il n'y a pas de sens physique parler de la probabilit
d'tre dans ce monde, seulement de mesurer tel rsultat dans le monde o nous constatons ce
rsultat.
Si l'on compare au raisonnement prcdent, savoir un exprimentateur qui effectue une srie de
mesure pour dterminer quelle est la probabilit d'tre (de mesurer) telle ou telle composante, il
effectue en ralit l'exprience sur un ensemble de systmes puis ralise un calcul statistique sur
l'ensemble des rsultats. Cela ne lui permet pas de tirer de conclusion sur le premier systme (de la
srie de systmes identiques mesurs) considr avant mesure ! On doit considrer l'ensemble des
systmes comme un seul systme plus complexe et on retrouve la situation que nous avions dcrit
avec les diffrentes distributions statistiques. Aprs les mesures, dans le cadre de l'interprtation des
mondes multiples, on se retrouve simplement avec une dmultiplication de mondes diffrents sans
pouvoir parler rellement, physiquement, de probabilit affecte l'un ou l'autre monde.
Caractre mathmatique de la distribution de probabilit des mondes
Quel sens donner alors l'expression la probabilit d'tre dans tel monde ? On peut, bien
entendu, considrer cette distribution de probabilit d'un point de vue mathmatique. Par exemple,
considrer la distribution uniforme que nous avons envisage plus haut (bien qu'elle ne donne pas le
rsultat attendu). C'est dire affecter des poids gaux chaque composante, chaque monde .
Mais regardons les deux manires de dcomposer l'tat | suivant :
|
La premire dcomposition nous dit que la dcomposition conduit deux composantes (avec des
amplitudes diffrentes) et on devrait dire que l'on a une chance sur deux de nous retrouver, aprs
mesure, dans chacun des mondes correspondants ces deux composantes.
La deuxime dcomposition nous dit qu'il y a trois composantes (dont deux identiques), et donc
qu'on devrait avoir une chance sur trois de se retrouver dans les mondes correspondant.
C'est d'ailleurs de cette manire que certains auteurs tentent de rsoudre le problme des
probabilits quantiques dans l'interprtation des mondes multiples. Cest lides de la mesure (au
sens mathmatique) dans l'espace des mondes.
Mais la diffrence entre les deux situations est purement mathmatique. Nous dcomposons
mathmatiquement deux manires diffrentes le mme tat. Et c'est justement la clef : il s'agit bel et
bien du mme tat physique, dcrit par S , identique dans les deux cas.
Cela met bien en vidence le caractre purement arbitraire, non physique, de cette distribution de
probabilit malgr le raisonnement apparemment logique que nous avions tent pour justifier le fait
qu'on a des chances gales de se retrouver dans tel ou tel monde.
Choix de la distribution
La distribution de probabilit applique aux mondes a donc un sens, mais un sens mathmatique,
pas physique. Elle fait partie de l'interprtation, de la description, pas de ce qui est dcrit. Nous
l'avons vu : physiquement il n'y pas de sens (ou pas de mesure physique) parler de probabilit
d'tre dans tel ou tel monde. Et mathmatiquement nous avons toute libert de choisir la
distribution de probabilit.
La seule chose que l'on doit exiger d'une formulation mathmatique d'une thorie, c'est videmment
que la thorie ainsi construite corresponde aux donnes exprimentales. Mme si le choix est
purement mathmatique, il ne faut pas oublier que la thorie ou son interprtation sont senss
dcrire des phnomnes physiques ! Il doit exister un lien entre la description (mathmatique) et les
mesures (physiques).
Dans les interprtations instrumentales ou de Copenhague, ce lien est vident car les deux aspects
(mathmatique et physique) sont intimement lis travers le processus de rduction de la fonction
d'onde lors de la mesure. La rgle mathmatique (rgle de Born) est le reflet immdiat des rsultats
physiques.
Plus prcisment, la rgle pouvant se dduire (via le thorme de Gleason avec quelques hypothses
raisonnables, on peut montrer que la rgle de Born est la seule consistante), l'explication physique y
trouve sa source. C'est le lien oprationnel entre mathmatique et physique qui est immdiat et
vident.
Dans l'interprtation des mondes multiples (ou des tats relatifs), les deux aspects tant nettement
spars, d'un ct la mesure observe dans un monde et de l'autre les probabilits d'tre dans un
monde, on a tendance essayer de trouver une explication indpendante pour cette distribution de
probabilit sur les mondes. Mais le caractre spar des deux aspects, physique versus
mathmatique, doit tre constat et l'explication n'existe pas du ct mathmatique seul, pour la
distribution de probabilit sur les mondes. C'est arbitraire, comme nous l'avons vu.
Ici, pour que la rgle mathmatique corresponde aux rsultats physiques, Il suffit de choisir la rgle :
le monde est choisi au hasard selon la rgle de Born . C'est aussi simple que a ! Maintenant qu'on
lui colle le nom de mesure d'existence ou une expression de ce style, c'est affaire de got ou de
philosophie.
La distribution de probabilit appliquer aux mondes est donc non uniforme.
Notons que l'utilisation du thorme de Gleason pour dduire la rgle de Born reste applicable dans
ce contexte. La notion de probabilit invoque dans cette dduction est ici : on est forcment dans
un monde (la probabilit totale est un) . D'o la dduction, la rgle de Born, et le lien avec la
physique : un observateur donn (une copie de l'observateur) se retrouve au hasard dans un
des mondes selon cette rgle. Mais ici il n'y a pas de contrainte physique et le fait que la rgle rsulte
du formalisme quantique et d'une rgle de consistance est moins mystrieux.
Notons dailleurs que sans le thorme de Gleason, on serait bien embt : quelle serait bonne
distribution ? Celle dduite de lexprience ? Ne pas pouvoir comprendre son origine serait fort
ennuyeux puisque dans le contexte des mondes multiples il y a dconnexion entre laspect
exprimental et laspect descriptif. Cela dnote une certaine cohrence de la mcanique quantique
qui nest pas flagrante sans lanalyse qui prcde. Cest en soi trs satisfaisant !
Si l'on reprend notre approche statistique, avec un ensemble de mondes correspondant toutes les
distributions statistiques de mesures, on se retrouve au hasard dans un monde avec une
distribution statistique donne ayant la mme probabilit que ce hasard , c'est dire donn par la
rgle de Born.
Insistons sur le fait qu'en faisant ce choix pour la probabilit sur les mondes, on ne fait pas coller
arbitrairement deux aspects physiques mais l'aspect mathmatique (statistiques) obtenu par des
mesures physiques avec un autre aspect mathmatique (distribution probabiliste des mondes). Cette
distribution de probabilit sur les mondes est distribution de probabilit dcrite par la rgle de Born
sur les diffrentes distributions statistiques mesures. Tout simplement. C'est le dplacement de
paradigme (passage du concept de rduction celui de monde multiple) qui introduit cette subtilit.
Probabilits objectives v.s. subjectives
Les probabilits sont-elles dans ce contexte objectives ou subjectives (ou pistmiques) ?
C'est une question souvent voque. On parle de probabilit objective lorsque l'on observe un
vritable systme alatoire et de probabilit subjective lorsque l'on parle d'un systme dterministe
et d'une simple interprtation, par l'exprimentateur, d'un comportement probabiliste suite une
mconnaissance des mcanismes microscopiques.
Le comportement statistique des molcules de gaz dans la physique statistique classique, conduisant
aux lois de physique des gaz et de la thermodynamique, obissent des probabilits subjectives dues
au fait que l'on ne peut pas suivre le mouvement individuel de chaque molcule bien que celles-ci
aient un comportement parfaitement dterministe (au moins dans l'approche classique o chaque
molcule est assimile un petit corpuscule).
On dit que les interprtations avec rduction utilisent des probabilits objectives alors que les
interprtations avec mondes multiples utilisent des probabilits subjectives (puisque, en ralit,
chaque monde existe simultanment toute probabilit est gale, objectivement, un, ce que nous
avions signal au dbut).
Mais cela a-t-il un sens physique de dire que c'est, ici, subjectif ou objectif ? Il ne faut pas oublier que
ces deux ensembles d'interprtations dcrivent le mme monde physique dcrit par la mme thorie
(la mcanique quantique) !
En ralit, ce qui est objectif, ce n'est jamais les probabilits mais uniquement la mesure des
rsultats. Et les rsultats, mesurs, ont toujours des valeurs dfinies, que ce soit la valeur prcise
obtenue aprs rduction ou que ce soit la valeur prcise observe par l'exprimentateur dans le
monde considr (ou dans sa composante intrique avec la composante obtenue par la mesure dans
la thorie nue des tats relatifs). Les probabilits sont des prdictions purement mathmatiques de
distributions numriques de rsultats ou un calcul mathmatique (statistique) effectu sur un
ensemble de rsultats mesurs.
Si l'on considre le point de vue d'un seul monde, celui o nous constatons un ensemble donn de
rsultats aprs mesures, on a une distribution observe selon une certaine loi de probabilit, c'est
objectif selon le sens habituellement attribu ce mot lorsqu'il s'applique aux probabilits.
Si l'on considre le point de vue de l'ensemble des mondes, toutes les distributions statistiques
existent simultanment et la distribution sur les mondes est totalement arbitraire donnant un
caractre subjectif aux probabilits.
Cette contradiction n'est qu'apparente puisque ces probabilits sur les mondes sont une partie de la
description mathmatique et le caractre subjectif ou objectif tient seulement la manire dont
cette description est applique aux donnes physiques objectives.
Cette difficult d'attribuer un caractre objectif ou subjectif aux probabilits se retrouve dans une
interrogation tout fait analogue : comment justifier le caractre indterministe observ alors que
l'interprtation est strictement dterministe plus une rgle peut tre probabiliste mais qui n'a qu'un
caractre mathmatique, pas physique ?
Imaginons que la thorie prdise le ddoublement en deux mondes, un observateur se retrouve alors
dans chaque monde. L'observateur (nomm A) dans le premier monde voit le phnomne X et
l'observateur (nomm B) dans deuxime monde voit le phnomne Y. La thorie peut prdire qu'un
exemplaire de l'observateur verra X et un autre verra Y. Mais la thorie ne peut pas prdire (avec
certitude) que l'observateur (initial) verra X et pas Y (par exemple) car pour cela elle doit prciser de
quel exemplaire de l'observateur (A ou B) elle parle ! Si l'observateur, disons B, regarde ce qu'avait
dit la thorie il pourrait dire que celle-ci s'est trompe. Il peut dire la thorie avait prdit X et je vois
Y . Ou alors il peut dire la thorie avait prdit que l'on verrait X et Y mais je ne vois que Y . Par
contre il peut aussi dire la thorie avait prdit que j'avais une certaine chance, moi, un des
exemplaires, d'observer Y et c'est ce que j'observe .
De ce point de vue, les probabilits sont subjectives, une illusion statistique due
l'chantillonnage des mondes (l'observateur B qui raisonne est dans un seul monde). Mais ce qu'il
observe est concret et les probabilits qu'il mesure sont objectives.
Le caractre subjectif n'est qu'une consquence de la manire de voir les choses (ici travers les
mondes multiples). Les mesures sont toujours objectives mais le caractre objectif ou subjectif des
probabilits dans une interprtation est une consquence d'un "choix mathmatique" (le choix de la
description, de l'interprtation, du point de vue adopt).
Le formalisme de base de la mcanique quantique est dterministe et non probabiliste, toute
probabilit que l'on peut en dduire est subjective, comme dans le cas des modes multiples. Ce n'est
qu'en attribuant un caractre objectif la rduction que les probabilits le deviennent.
C'est la description (mathmatique) qui a introduit le mystre. En changeant la description, en
changeant de concepts et en leur appliquant une ontologie, on a introduit une difficult qui n'tait
qu'apparente. La physique n'a pas chang, elle est exactement la mme.
Quelques remarques en guise de conclusion :
1) Appliquer correctement la rgle mathmatique (de Born) implique seulement de voir
comment l'insrer dans description mathmatique. Voil qui est fait.
2) En fait, la solution tait simple et si on ne l'a pas compris plus tt c'est sans doute pour des
difficults philosophiques lies au concept de mondes multiples . On recherche une
interprtation de la mcanique quantique et on donne aux lments interprtatifs un
caractre physique travers des lments ontologiques, ce qui peut tre extrmement
trompeur. Voir que ce problme tait li une confusion entre physique et mathmatique
n'tait peut-tre pas si vident !
Cela illustre une phrase prononce par un physicien (Michel Blanton) alors quil discutait des
ingalits de Bell : prenez garde trop de philosophie . Sous-entendu, on risque de finir
par oublier quon ne fait pas de la philosophie mais de la physique et de confondre des
concepts ontologiques avec des ralits physiques
3) L'avantage est d'avoir une explication extrmement simple, qui ne concerne que la
description mathmatique et pas la physique qui reste celle dcrite, la base, par la
mcanique quantique.
4) Nous n'avons pas eu besoin d'introduite un postulat physique spcial, propre aux mondes
multiples, mais simplement de comprendre la description mathmatique conforme la
physique.
5) Nous n'avons pas eu besoin de faire appel des concepts philosophiques, des concepts
physiques non justifis ou des aspects dynamiques complexes.
6) Enfin, nous n'avons pas besoin de justifier le caractre objectif ou subjectif des probabilits.
IV.4. Dcohrence
IV.4.1. Introduction
La dcohrence induite par l'environnement et la superslection ont t un sujet de recherches
intensives pendant ces dernires dcennies. Jusqu' prsent, leurs implications pour les problmes
de fondation de la mcanique quantique, plus particulirement le problme de la mesure quantique,
sont restes un sujet de grande controverse.
Matrice densit
La matrice densit est utilise intensivement dans l'tude de la dcohrence. Un rappel est donc le
bienvenu. La matrice densit ou oprateur densit est une entit mathmatique introduire par le
mathmaticien et physicien John von Neumann. Elle permet de rsumer en une seule matrice tout
l'ensemble possible des tats quantiques d'un systme physique donn un instant donn, mariant
ainsi mcanique quantique et physique statistique.
Dfinition
Cas pur
La description du systme se fait ici grce un vecteur d'tat |() que l'on peut dvelopper sur la
base des {|
} :
()
()
Avec
|
()|
L'oprateur densit est dfini pour un tat pur par :
|() ()|
()
()| |
Mlange statistique d'tats purs
En admettant qu'un certain systme physique puisse tre, un certain instant t, dans un mlange
statistique (fini ou infini) d'tats quantiques |
(o
), alors la
matrice densit reprsentant l'ensemble de ces tats est :
L'aspect statistique introduit ici est de deux natures, l'une classique et l'autre quantique :
1. Classique : d l'estimation du ket par une distribution statistique des diffrents kets
possibles. Les diffrentes probabilits
()
|
()
()
()
Proprits
La matrice obtenue a les proprits suivantes :
Elle est hermitique,
.
(
) , avec galit si et seulement si le systme physique est dans un tat pur (c'est--
dire que tous les
| (
) (
)
Avec
o les |
sont
supposs correspondre des positions pointeurs macroscopiquement discernables qui
correspondent aux rsultats d'une mesure si S est dans l'tat |
et A est dans l'tat initial prt |
, volue
selon
(
)|
Cette volution dynamique est souvent appele une prmesure afin d'insister sur le fait que le
processus dcrit par cette quation ne suffit pas pour conclure directement qu'une mesure a
rellement t effectue. Cela pour deux raisons. Premirement, le ct droit est une superposition
d'tats systme - appareil. Donc, sans fournir un processus physique additionnel (disons un certain
mcanisme de rduction de la fonction d'onde) ou en donnant une interprtation approprie d'une
telle superposition, il n'est pas clair comment prendre en compte, tant donn l'tat final composite,
les positions dfinies des pointeurs qui sont perus comme le rsultat d'une mesure relle - c'est--
dire pourquoi percevons-nous le pointeur dans une position |
ou
).
En d'autres mots, si un ensemble interprtation pouvait tre attach une superposition, cette
dernire reprsenterait simplement des tats dtermins plus fondamentalement et bas sur la
connaissance additionnelle donne par les rsultats des mesures, nous pourrions choisir simplement
un sous-ensemble consistant en tats de pointeurs dfinis obtenus dans la mesure. Mais alors,
puisque l'volution dans le temps a t strictement dterministe selon l'quation de Schrdinger,
nous pourrions faire marche arrire dans le temps ce sous-ensemble et donc aussi spcifier l'tat
initial plus compltement ( post slection ) et donc cet tat ne pourrait ncessairement pas tre
identique l'tat prpar initialement sur le ct gauche de l'quation ci-dessus.
Superpositions et attribution du rsultat
Dans l'interprtation standard ( orthodoxe ) de la mcanique quantique, un observable
correspondant une quantit physique a une valeur dfinie si et seulement si le systme est dans un
tat propre de l'observable. Si le systme est cependant dans une superposition de tels tats
propres, comme dans l'quation de mesure, il est, selon l'interprtation orthodoxe, sans signification
de parler de l'tat du systme comme ayant toutes les valeurs dfinies de l'observable la fois (c'est
habituellement appel le lien valeur propre - tat propre ou lien v-e pour faire court). Le lien
v-e, cependant, ne nous est pas forc par la structure de la mcanique quantique ou par des
contraintes empiriques (Bub). Le concept de valeurs (classiques) qui peuvent tre attribues
travers le lien v-e bas sur les observables et l'existence d'tats propres exacts de ces observables a
donc frquemment t affaibli ou abandonn. Par exemple, les rsultats des mesures sont
typiquement enregistrs dans l'espace position (pointeurs positions, etc.) mais il n'existe pas d'tat
propre exact de l'oprateur position et les tats pointeurs ne sont jamais exactement mutuellement
orthogonaux. On peut alors (explicitement ou implicitement) promouvoir un lien v-e flou ou crer
le concept d'observables et de valeurs entirement et directement comme des fonctions d'onde qui
voluent dans le temps (en travaillant dans le point de vue de Schrdinger) et les matrices densit
correspondantes. Aussi, s'il est considr suffisant d'expliquer nos perceptions plutt que de dcrire
l'tat absolu de l'univers entier (voir l'argument ci-dessous), on peut seulement exiger que le lien
v-e (exact ou flou) soit valable dans un sens relatif , cest--dire pour l'tat du reste de l'univers
relativement l'tat de l'observateur.
Alors, pour rsoudre le problme des tats dfinis, certaines interprtations (par exemple les
interprtations modales et les interprtations des tats relatifs) interprtent la superposition de
l'tat final de manire expliquer l'existence, ou au moins la perception subjective, de rsultats
mme si l'tat composite final a la forme d'une superposition. D'autres interprtations tentent de
rsoudre le problme de la mesure en modifiant la dynamique strictement unitaire de Schrdinger.
La plus importante, l'interprtation orthodoxe postule un mcanisme de rduction qui transforme
une matrice de densit d'tats purs en un ensemble dignorance interprtable d'tats individuels
(une mixture propre ). Les thories avec rduction physique de la fonction d'onde ajoutent des
termes stochastiques l'quation de Schrdinger qui induit une rduction effective (bien
qu'approximative) pour les tats des systmes macroscopiques (Ghirardi et al., 1986, Gisin, 1984,
Pearle, 1979, 1999) tandis que d'autres auteurs suggrent que la rduction se produit au niveau de
l'esprit d'un observateur conscient (Stapp, 1993, Wigner, 1963). La mcanique de Bohm, d'autre part,
maintient une volution dans le temps unitaire de la fonction d'onde mais introduit une loi
dynamique additionnelle qui gouverne explicitement les positions toujours dtermines de toutes les
particules dans le systme.
Valeurs dfinies objectives vs subjectives
En gnral, la valeur dfinie (macroscopique), et donc une solution aux problmes des rsultats dans
la thorie quantique de la mesure, peut tre obtenue un niveau ontologique (objectif) ou
observationnel (subjectif). Les valeurs dfinies objectives s'efforcent d'assurer des valeurs dfinies
relles dans le monde macroscopique tandis que les valeurs dfinies subjectives tentent
seulement d'expliquer pourquoi le monde macroscopique semble tre dfini, et donc ne tentent pas
de dfinir la ralit physique sous-jacente (quelle que puisse tre cette ralit). Cela soulve la
question de la signification de cette distinction par rapport la formation d'une thorie satisfaisante
du monde physique. Il peut sembler qu'une solution au problme de la mesure base sur une valeur
dfinie garantie subjective, mais pas objective, est seulement bonne pour tout usage pratique ,
abrg, de manire plutt dsobligeante, comme FAPP par Bell (1990) (For All Practical Purpose),
et donc n'est pas capable de rsoudre le problme fondamental qui semblerait pertinent pour la
construction d'une thorie prcise que Bell rclamait de manire si vhmente.
Il semble, cependant, que cette critique n'est pas justifie et que les valeurs dfinies subjectives
pourraient tre vues l'gal des valeurs dfinies objectives par rapport une solution satisfaisante -
de problme de la mesure. Nous demandons des valeurs dfinies objectives car nous en faisons
l'exprience au niveau subjectif de l'observation et cela ne devrait pas tre vu comme une ncessit
a priori pour une thorie physique. Si nous savons indpendamment de notre exprience que les
valeurs dfinies existent dans la nature, des valeurs subjectives en suivraient probablement aussitt
que nous employons un modle qui relie le phnomne physique externe avec notre appareil
perceptif et cognitif interne o la simplicit attendue d'un tel modle peut tre justifie en se
rfrant l'identit prsume des lois physiques gouvernant les processus externes et internes. Mais
puisque la connaissance est base sur l'exprience, c'est dire sur l'observation, l'existence de
valeurs dfinies objectives peut seulement tre drive de l'observation de valeurs dfinies. Et de
plus, l'observation nous dit que les valeurs dfinies ne sont en fait pas une proprit universelle de la
nature, mais plutt une proprit des objets macroscopiques o la ligne de dmarcation de la ralit
macroscopique est difficile tracer prcisment. Des expriences d'interfrence msoscopiques ont
dmontr clairement de flou de cette limite. Etant donn la perte de dfinition prcise de la limite,
toute demande pour des valeurs dfinies fondamentales au niveau objectif devrait tre bas sur un
engagement beaucoup plus profond et plus gnral vers des valeurs dfinies qui s'appliquent toute
entit physique (ou systme), de long en large, sans s'occuper de sa taille ou de ses proprits
physiques.
Donc, si nous ralisons que la sensation souvent profonde que l'engagement des valeurs dfinies
objectives gnrales est seulement base sur notre exprience des systmes macroscopiques et que
ces valeurs dfinies chouent en fait d'une manire observable pour les systmes microscopiques et
mme certains systmes msoscopiques, on ne voit pas de fondement astreignant sur lequel les
valeurs dfinies objectives doivent tre exiges comme une partie d'une thorie physique
satisfaisante pourvu que la thorie puisse prendre en compte des valeurs dfinies subjectives
observationnelles en accord avec notre exprience. Donc, nous suggrons d'attribuer la mme
lgitimit aux propositions pour une solution du problme de la mesure qui ralise seulement
des valeurs dfinies subjectives mais pas objectives. Aprs tout, le problme de la mesure vient
seulement d'un affrontement entre notre exprience et certaines implications du formalisme
quantique. D'Espagnat (2000) a dfendu un point de vue similaire :
Le fait que nous percevions des "choses" comme les objets macroscopiques en des endroits prcis est
d, au moins partiellement, la structure de nos sens et de notre quipement intellectuel. Nous ne
devrions donc pas l'carter de l'ensemble des connaissances sres que nous avons pour prendre en
compte la dfinition d'un tat quantique. (...) En fait, les scientifiques affirment avec raison que le but
de la science est de dcrire l'exprience humaine et pas de dcrire ce qu'est la ralit , et aussi
longtemps que nous dsirons dcrire l'exprience humaine, c'est--dire aussi longtemps que nous
nous contentions d'tre capable de prdire ce qui sera observ dans toutes les circonstances possibles
(...) nous n'aurons pas besoin de postuler l'existence, dans un certain sens absolu, d'objets non
observs (c'est dire pas encore observs) ayant une place prcise dans l'espace ordinaire trois
dimensions.
Le problme de la base privilgie
La seconde difficult associe la mesure quantique est connue comme le problme de la base
privilgie qui dmontre que l'observable mesur n'est en gnral pas dfini de manire unique par
l'quation de mesure. Pour tout choix d'tats systmes {|
Est unique mais seulement si tous les coefficients
Et le mme tat de post-mesure semble correspondre deux mesures diffrentes, c'est--dire aux
observables
et
et
(|
)
O les |
de l'observable
(|
)
Maintenant supposons que le systme 2 agit comme un dispositif de mesure pour le spin du systme
1. Alors ces quations impliquent que le dispositif de mesure a tabli une corrlation avec la fois le
spin z et x du systme 2. Cela signifie que, si nous interprtons la formation d'une telle corrlation
comme une mesure dans l'esprit du schma de von Neumann (sans supposer de rduction), notre
appareil (systme 2) pourrait tre considr comme ayant mesur aussi le spin x une fois qu'il a
mesur le spin z et vice versa, en dpit de la non-commutativit des observables de spin
correspondants
et
(|
)
Il a t ralis trs tt que pour un observable O qui se rattache seulement au systme 1,
est l'oprateur identit, la matrice de densit tat pur | | conduit, selon la rgle de
la trace () et tant donn la rgle de Born usuelle pour le calcul des probabilits,
exactement les mmes statistiques que la matrice de densit rduite
et |
| | ||
||
Puisque l'on montre facilement que pour cet observable O
()
( )
Ce rsultat est valable en gnral pour tout tat pur
d'une rsolution
dun systme en N sous-systmes o les {|
| | puisque nouveau
()
)
La situation typique dans laquelle la matrice de densit rduite apparat est la suivante. Avant une
interaction de type prmesure, les observateurs savent que chaque systme individuel est dans un
certain tat pur (inconnu). Aprs l'interaction, c'est dire aprs que la corrlation entre les systmes
est tablie, l'observateur a accs seulement un des systmes, disons le systme 1. Tout ce qui peut
tre connu sur l'tat du systme composite doit donc tre driv des mesures sur le systme 1 qui
conduiront quaux rsultats possibles du systme 1 et leur distribution de probabilit. Toute
information qui peut tre extraite par l'observateur est alors exhaustivement et correctement
contenue dans la matrice de densit rduite du systme 1 en supposant que la rgle de Born pour les
probabilits quantiques soit valable.
Retournons l'exemple type EPR). Si nous supposons que les tats du systme
2 sont orthogonaux, |
devient diagonal,
| |
(| |)
(| |)
Mais cette matrice de densit est formellement identique la matrice de densit qui serait obtenue
si le systme 1 tait dans un tat mixte, c'est--dire dans un des deux tats |
et |
avec des
probabilits gales et o c'est une question d'ignorance de savoir dans quel tat le systme 1 est (ce
qui revient une interprtation d'ignorance classique d'ensembles propres ), par opposition la
superposition | o les deux termes sont considrs prsent ce qui pourrait en principe tre
confirm par des expriences d'interfrences appropries. Cela implique qu'une mesure d'un
observable qui se rattache seulement au systme 1 ne peut pas distinguer entre les deux cas d'tat
pur et mixte.
Comme discut par Bub (1997), ce rsultat est galement valable pour tout observable du systme
composite qui se factorise sous la forme
et
et (| |)
respectivement.
Cependant, notons que l'identit formelle de la matrice de densit rduite une matrice de densit
d'tat mixte est facilement mal interprte comme impliquant que l'tat du systme peut tre vu
comme mixte aussi (voir aussi la discussion dans d'Espagnat, 1988). Mais les matrices de densit sont
seulement un outil de calcul pour calculer la distribution de probabilit pour l'ensemble des rsultats
possibles des mesures. Elles ne spcifient donc pas l'tat du systme.
Dans ce contexte, nous notons que toute matrice d'tat non pur peut tre crite de plusieurs
manires diffrentes, dmontrant que toute partition dans un ensemble particulier d'tats
quantiques est arbitraire.
Puisque les deux systmes sont intriqus et que le systme composite total est encore dcrit par une
superposition, il suit des rgles standards de la mcanique quantique qu'aucun tat individuel dfini
ne peut tre attribu un des systmes. La matrice de densit rduite ressemble une matrice de
densit mixte car si on mesure rellement un observable du systme, on devrait s'attendre avoir un
rsultat dfini avec une certaine probabilit. En termes de mesures statistiques, cela est quivalent
une situation o le systme tait dans un des tats de l'ensemble possible des rsultats depuis le
dbut, c'est dire avant la mesure. Comme Pessoa Jr. (1998) le dit,
Prendre une trace partielle revient une version statistique du postulat de projection.
Un schma de mesure de von Neumann modifi
Reconsidrons maintenant le modle de von Neumann de la mesure quantique idale, mais
maintenant avec l'environnement inclut. Nous dsignerons l'environnement par E et nous
reprsenterons son tat avant l'interaction de mesure par le vecteur d'tat initial |
dans un
espace de Hilbert
)|
()
(
)|
()
(
)
O les |
sont les tats de l'environnement associs avec les diffrents tats pointeurs |
de
l'appareil de mesure. Notons que tandis que pour deux systmes, disons S et A, il existe toujours une
dcomposition diagonale ( Schmidt ) de l'tat final de la forme
n'est pas toujours possible. Cela implique que l'hamiltonien complet qui induit une volution
dans le temps du type ci-dessus doit tre d'une forme spciale.
Pour un exemple d'un tel hamiltonien, voir le modle de Zurek (1981, 1982). Pour un commentaire
critique concernant les limitations sur la forme de l'oprateur volution et la possibilit d'un
dsaccord rsultant avec l'vidence exprimentale, voir Pessoa Jr. (1998).
Typiquement, les |
])
)
O la matrice de densit
Elle est, dans tout cas pratique de prdiction statistique, remplace par la matrice de densit locale
(ou rduite)
Jusqu'ici,
| ,
puisque nous ne pouvons pas supposer a priori que les vecteurs de base |
de l'environnement
sont ncessairement orthogonaux, c'est--dire que
si m = n . Plusieurs modles
physiques explicites pour l'interaction d'un systme avec l'environnement ont cependant montr
qu' cause du grand nombre de sous-systmes qui composent l'environnement, les tats pointeurs
|
()
et ainsi la
matrice de densit rduite
}, c'est--dire
()
()
()
Ici,
()
et
()
sont les projecteurs sur les tats propres de S et A respectivement. Donc les termes
d'interfrence ont disparus dans cette reprsentation locale, c'est--dire que la cohrence de phase a
t totalement perdue. C'est prcisment l'effet appel dcohrence induite par l'environnement. La
matrices de densit locale dcohre dcrivant la distribution de probabilit des rsultats d'une
mesure sur la combinaison systme-appareil est formellement (approximativement) identique la
matrice de densit d'tats mixtes. Mais comme nous l'avons signal plus haut, nous devons
interprter avec prcaution cet tat des choses car la cohrence complte est garde dans la matrice
de densit totale
.
Un modle a deux tats parfaitement soluble pour la dcohrence
Pour voir comment l'orthogonalit mutuelle approximative des vecteurs d'tats se produit, discutons
d'un modle simple qui fut d'abord introduit par Zurek (1982). Considrons un systme S avec des
tats deux spins {| | } qui interagissent avec l'environnement E dcrit par une collection de
N autres spins deux tats reprsents par {|
et
et l'hamiltonien d'auto-interaction
(| | | |)
(|
| |
|)
O les
| |
)
Cet hamiltonien conduit une volution dans le temps de l'tat donne par
|() | |
() | |
()
O les deux tats environnements |
() et |
() sont
|
() |
()
) |
)|
)
La matrice de densit rduite
()
() ||
| | ||
| | ()
| |
()
| |
O le coefficient d'interfrence () qui dtermine le poids des lments non diagonaux dans la
matrice de densit rduite est donn par
()
()|
() |
) |
Et donc
|()|
[(|
A t = 0, () , c'est--dire que les termes d'interfrence sont totalement prsents, comme
attendu. Si |
du type |
, et/ou si
(m = 0, 1,
...), alors (
.
Alors, pour la moyenne longue dure,
|()
(|
Ainsi les lments non diagonaux dans la matrice de densit rduite sont fortement amortis pour de
grands N.
On peut aussi montrer qu'tant donn des hypothses trs gnrales, sur la distribution des
couplages
(prcisment en demandant que leur distribution initiale ait une variance finie, par
exemple une distribution statistique gaussienne), () exhibe une dpendance gaussienne du temps
de la forme ()() (
et
() ||
())
) ||
||
()
(( ))
Pour de grands N, la distribution binomiale peut tre approche par une gaussienne
(
) ||
||
()
(( ||
)(||
||
))
||
||
Auquel cas () devient
()
(( ||
)(||
||
))
||
||
(( ))
C'est--dire que () est la transforme de Fourrier d'une distribution (approximativement)
gaussienne et est donc elle-mme (approximativement) gaussienne.
Les calculs dtaills du modle, o l'environnement est typiquement reprsent par un modle plus
sophistiqu consistant en une collection d'oscillateurs harmoniques (Caldeira et Leggett, 1993, Hu et
al., 1992, Joos et al., 2003, Unruh et Zurek, 1989, Zurek, 2003, Zurek et al, 2003), ont montr que
l'amortissement se produit sur des chelles de temps extrmement courtes
, () approche de zro et reste proche de zro, fluctuant avec une dviation standard
moyenne de type marche alatoire (Zurek, 1982). Cependant, la priodicit multiple de ()
implique que la cohrence et donc la puret de la matrice de densit rduite rapparatra aprs un
certain temps
que l'on peut montrer tre trs long et du type temps de rcurrence de Poincar
avec
peut
excder l'ge de l'univers (Zurek, 1982) mais rester nanmoins finie.
D'un point de vue conceptuel, la rcurrence de la cohrence est de peu d'importance. Le temps de
rcurrence pourrait seulement tre infiniment long dans le cas hypothtique d'un environnement
infiniment grand; dans cette situation les termes non diagonaux dans la matrice de densit rduite
seraient irrversiblement amortis et perdus la limite ce qui est quelque fois vu comme
dcrivant une rduction physique du vecteur d'tat (Hepp, 1972). Mais ni la supposition de taille ou
de temps infinis ne sont raliss dans la nature (Bell, 1975), et l'information ne peut pas vraiment
tre perdue (comme cela se produit avec une vraie rduction du vecteur d'tat) via une volution
unitaire du temps, la cohrence complte est toujours entirement retenue tout moment dans la
matrice de densit totale
() |() ()|.
Nous pouvons donc donner la conclusion gnrale que, except pour des systmes microscopiques
ou msoscopiques isols et prpars avec prcaution, l'interaction du systme avec l'environnement
conduit les lments non diagonaux de la matrice de densit locale, exprime dans la base des
pointeurs et dcrivant la probabilit de distribution des rsultats possibles d'une mesure sur le
systme, devenir extrmement petits en un temps trs court et que ce processus est irrversible
dans toutes les situations pratiques.
Superslection induite par l'environnement
Revenons la deuxime principale consquence de l'interaction avec l'environnement, c'est--dire la
slection induite par l'environnement des tats de base stables privilgis. Nous avons discut plus
haut que le schma de mesure de la mcanique quantique comme reprsent par l'quation de
mesure ne dfinit pas de manire unique le dveloppement des tats aprs mesure, et donc laisse
ouverte la question des observables qui peuvent tre considrs comme ayant t mesurs par
l'appareil. Cette situation est change par l'inclusion des tats d'environnement pour les deux raisons
suivantes :
1. Superslection induite par l'environnement d'une base privilgie. L'interaction entre
l'appareil et l'environnement distingue un ensemble d'observables mutuellement
commutant. L'existence d'un thorme d'unicit de tridcomposition (Bub, 1997, Clifton,
1995, Elby et Bub, 1994). Si un tat | dans un espace de Hilbert
peut tre
dcompos sous forme diagonale ("Schmidt") |
, le
dveloppement est unique pourvu que les{|
} et {|
et
, respectivement, et que
{|
.
Cela peut tre gnralis un thorme d'unicit de N-dcomposition o N > 3. Notez qu'il
n'est pas toujours possible de dcomposer un tat pur arbitraire de plus de deux systmes (N
> 3) sous la forme de Schmidt |
, mais si la dcomposition
existe, son unicit est garantie.
Le thorme d'unicit de tridcomposition assure que le dveloppement de l'tat final dans
l'quation de mesure avec environnement est unique, ce qui fixe l'ambigut dans le choix de
l'ensemble des rsultats possibles. Il dmontre que l'inclusion de (au moins) un troisime
systme (ici identifi comme l'environnement) est ncessaire pour liminer l'ambigut de la
base. Bien sr, tant donn tout tat pur dans l'espace de Hilbert composite
, le
thorme d'unicit de tridcomposition ne nous dit pas si une dcomposition de Schmidt existe ni ne
spcifie le dveloppement unique lui-mme (pourvu que la dcomposition soit possible) et puisque
les tats prcis de l'environnement ne sont gnralement pas connus, un critre additionnel est
ncessaire pour dterminer quels seront les tats privilgis.
Critre de stabilit et base de pointeurs
Le programme de dcohrence a tent de dfinir un tel critre bas sur l'interaction avec
l'environnement et l'ide d'une robustesse et de la prservation des corrlations. L'environnement
joue donc un double rle en suggrant une solution au problme de la base privilgie et en
garantissant son unicit via le thorme d'unicit de tridcomposition. Afin de motiver l'approche de
superslection d'une base propose par le programme de dcohrence, nous notons que dans la
deuxime tape de l'quation de mesure avec environnement, nous avons suppos tacitement que
l'interaction avec l'environnement ne perturbe pas la corrlation tablie entre l'tat du systme,
|
mais pas |
()
|
| commutent avec
l'hamiltonien d'interaction appareilenvironnement
.
Pour la simplicit, nous supposons que l'environnement E interagit directement seulement avec
l'appareil mais pas avec le systme S.
C'est--dire :
[
()
]
Cela implique que toute corrlation du systme mesur (ou de tout autre systme, par exemple un
observateur) avec les tats propres d'un observable appareil privilgi,
()
Est prserve et que les tats de l'environnement refltent fidlement les tats pointeurs
()
.
Dans ce cas, l'environnement peut tre vu comme effectuant une mesure non destructive sur
l'appareil. Lexigence de commutativit est videmment satisfaite si
()
(), ou la puret,
:
1. Quand les dynamiques du systme sont domines par
et
)
O e << 1 (forte dcohrence) et o << 1 (quasi-dgnrescence) (Albrecht, 1993). Si la dcohrence
conduit une diagonalisation exacte (c'est--dire, e = 0 ), les tats propres seront, pour toute valeur
fixe de o , proportionnels (0,1) et (1,0) (correspondants aux tats pointeurs idaux ).
Cependant, pour un e > 0 donn (diagonalisation approximative) et e 0 (dgnrescence), les
tats propres deviennent proportionnels (|| ) ce qui implique que dans le cas de la
dgnrescence, la dcomposition de Schmidt de la matrice de densit rduite peut conduire des
tats privilgis qui sont trs diffrents des tats pointeurs stables, mme si c'est la matrice de
densit rduite dcohre, plutt qu'instantane, qui est utilise.
En rsum, il est important d'insister sur le fait que la stabilit (ou un critre similaire) est l'exigence
pertinente pour l'mergence d'une base quasi classique privilgies qui ne peut en gnral pas tre
obtenues en simplement diagonalisant la matrice de densit rduite instantane. Cependant, les
tats propres de la matrice de densit rduite dcohre seront dans de nombreux cas proches des
tats pointeurs stables quasi-classiques particulirement quand ces tats pointeurs sont
suffisamment non dgnrs.
Rgles de superslection exacte
L'absence stricte d'interfrence peut seulement tre attendue pour des quantits discrtes. Un
exemple important est la charge lectrique. Cela peut-il tre compris l'aide de la dcohrence ?
Nous savons de la thorie de Maxwell que toute charge porte avec elle une charge lectrique
associe et ainsi une superposition de charges peut tre crite sous la forme
O nue signifie la charge seule.
Puisque nous pouvons seulement observer la charge habille (de son champ lectrique) locale, elle
doit tre dcrite par la matrice densit
|
Si les champs lointains sont orthogonaux (discernables), la cohrence serait localement absente.
Ainsi la question se pose : est-ce que le champ de Coulomb fait seulement partie de la cinmatique
(implmente par la contrainte de Gauss) ou reprsente-t-elle un degr de libert dynamique
quantique et donc devons-nous considrer la dcohrence via un champ de Coulomb retard ?
Que nous disent les expriences ? Une superposition de cette forme peut tre observe pour des
particules charges (voir la contribution de Hasselbach). D'un autre ct, le champ de Coulomb
classique (retard) contiendra de l'information sur le chemin parcouru par la particule charge,
dtruisant la cohrence. La situation n'apparat pas trs claire. Donc, une question essentielle reste :
Quel est le rle physique quantique du champ de Coulomb ?
Une situation similaire se pose en gravit quantique o nous pouvons nous attendre ce que les
superpositions de masses (nergies) diffrentes soient dcohres par la courbure de l'espace.
Une autre rgle importante de superslection exacte interdit les tats superposs avec des spins
entiers et demi-entiers, par exemple
| | |
Qui se transformerait sous une rotation 2t en
|
| |
C'est clairement un tat diffrent cause de la diffrence relative de phase. Si on exige qu'une telle
rotation ne change rien, un tel tat doit tre exclu. C'est un argument standard en faveur de la rgle
de superslection dunivalence . D'un autre ct, on a observ le changement de signe des
particules de spin 1/2 sous une rotation (relative) de 2t dans certaines expriences. Donc, il nous
reste deux options : ou nous voyons le groupe SO(3) comme le groupe de rotation propre aussi en
thorie quantique. Alors rien ne doit changer si nous tournons le systme d'un angle 2t . Donc nous
pouvons driver cette rgle de superslection de la symtrie. Mais cela peut seulement tre un
prjug classique. L'autre choix est d'utiliser SU(2) au lieu de SO(3) comme groupe de rotation. Alors
nous avons en effet besoin d'expliquer pourquoi ces tranges superpositions ne se produisent
jamais. Ce dernier choix revient garder le principe de superposition comme principe fondamental
de la thorie. En termes plus techniques, nous devrions viter d'utiliser des groupes avec des
reprsentations non uniques tel que SO(3). Dans les thories de supersymtrie les bosons et les
fermions sont traits sur un pied d'galit ainsi il serait naturel de superposer leurs tats (ce qui ne
se fait apparemment jamais en thorie des particules).
L'argument largement utilis que les tats physiques doivent tre reprsents par des rayons, pas
par des vecteurs, dans l'espace de Hilbert car la phase d'un vecteur d'tat ne peut pas tre observe
est trompeur. Puisque les phases relatives sont certainement pertinentes, on devrait prfrer un
vecteur comme concept d'tat physique fondamental plutt qu'un rayon. Les rayons ne peuvent pas
tre superposs sans utiliser (implicitement) des vecteurs.
D'une manire similaire on pourrait dduire l'argument bien connu conduisant de la symtrie
galilenne de la mcanique quantique non relativiste la rgle de superslection de la masse. Dans
ce cas, nous pourrions maintenir le principe de superposition et remplacer le groupe de Galile par
un groupe plus large. Comment cela peut tre fait est montr par Domenico Giulini.
La question ouverte finale pour cette section est alors :
Les rgles de superslection peuvent-elles toutes tre vues comme des effets de la dcohrence ?
Exemples
Localisation
L'exemple maintenant standard de la dcohrence est la localisation d'objets macroscopiques.
Pourquoi les objets macroscopiques apparaissent-ils toujours localiss dans l'espace ? La cohrence
entre diffrentes positions macroscopiques est dtruite trs rapidement cause de la forte influence
du processus de diffusion. La description formelle peut tre la suivante. Soit x l'tat propre position
d'un objet macroscopique et _ l'tat de la particule entrante. Suivant le schma de von Neumann, la
diffusion de telles particules par un objet localis la position x peut tre crite comme
| | | |
|
O l'tat diffus peut tre calcul en pratique par l'utilisation d'une matrice S approprie. Pour l'tat
initial le plus gnral d'un paquet d'ondes, nous avons alors
()| |
()|
|
Donc, la matrice de densit rduite dcrivant notre objet change en
(
) ()(
)|
|
Bien sr, un seul processus de diffusion ne rsoudra habituellement pas une petite distance, ainsi
dans la plus part des cas, les lments de matrice sur le ct droit seront proches de un. Si nous
ajoutons les contributions de plusieurs processus de diffusion, un amortissement exponentiel de la
cohrence spatiale en rsulte :
(
) (
) {(
}
La force de cet effet est dcrite par un seul paramtre A qui peut tre appel "taux de localisation". Il
est donn par
Ici, k est le nombre d'onde des particules entrantes, le flux et
Poussire Poussire Grosse molcule
Rayonnement cosmologique fossile
Photons 300 K
Lumire solaire (sur Terre)
Molcules dair
Vide du laboratoire (1000 particules par
La plus part des nombres dans la table sont assez grands, montrant le couplage extrmement fort
des objets macroscopiques, tel que des grains de poussire, avec leur environnement naturel. Mme
dans l'espace intergalactique, le rayonnement fossile 3K ne peut pas simplement tre nglig.
Donc, la principale leon est : les objets macroscopiques ne sont pas mme approximativement
isols.
Une description unitaire consistante doit donc inclure l'environnement et finalement l'univers entier.
Une des premires indications de l'importance du couplage dynamique des objets macroscopiques
avec leur environnement fut Dieter Zeh qui crivit dans son article de 1970 dans Fond. Phys. :
Puisque les interactions entre les systmes macroscopiques sont effectives mme des distances
astronomiques, le seul systme ferm est l'univers entier... Il est bien sr trs questionable de
dcrire l'univers par une fonction d'onde qui obit l'quation de Schrdinger. Autrement, cependant,
il n'y a pas d'inconsistance dans la mesure o il n'y a pas de thorie.
C'est maintenant plus ou moins un lieu commun mais ce n'tait pas le cas il y a 30 ans quand il
envoya une premire version de cet article au journal Il Nuevo Cimento. On note dans la rponse des
referees :
L'article est compltement insens. Il est clair que l'auteur n'a pas totalement compris le problme et
les contributions prcdentes dans ce domaine.
(H.D. Zeh, communication prive).
Si nous combinons cet amortissement de la cohrence avec la dynamique libre de Schrdinger,
nous arrivons une quation du mouvement pour la matrice densit qui est une bonne
approximation en ajoutant simplement ces deux contributions
Dans la reprsentation position, ces quations deviennent une dimension
) (
Les solutions de cette quation peuvent facilement tre trouves.
Jusqu'ici ce traitement reprsente la dcohrence pure, suivant directement le schma de von
Neumann. Si le recul est ajout comme tape suivante, nous arrivons un modle incluant la friction,
c'est--dire, le mouvement brownien quantique. Il y a plusieurs modles pour l'analogue quantique
du mouvement brownien dont certains sont mme plus vieux que les premires tudes de
dcohrence. Les premiers traitements, cependant, ne faisaient pas de distinction entre la
dcohrence et la friction (la dcohrence seule n'implique pas la friction). Comme exemple,
considrons l'quation du mouvement drive par Caldeira et Leggett,
[ ]
[ { }] [ [ ]]
(k tant ici la constante de Boltzman).
Qui se lit pour une particule libre
) (
) (
)] (
)
O est la constante d'amortissement et o A = m kT .
Si on compare l'effectivit des deux termes reprsentant la dcohrence et la relaxation, on trouve
que leur rapport est donn par
()
est la longueur d'onde thermique de de Broglie de l'objet considr. Ce rapport a pour une
situation macroscopique typique (m = 1g, T = 300K, ox = 1cm) la valeur norme de
! Cela
montre que dans ces cas la dcohrence est de loin plus importante que la dissipation.
La position du centre de masse des grains de poussire devient classique via la dcohrence. La
structure spatiale des molcules reprsente un autre exemple trs important. Considrons un
modle simple de molcule chirale.
Les versions droites et gauches de la molcule ont une structure spatiale assez bien dfinie tandis
que l'tat de base est, pour des raisons de symtrie, une superposition des deux tats chiraux. Ces
configurations chirales sont habituellement spares par une barrire tunnel qui est si grande que
sous des circonstances normales l'effet tunnel est trs improbable comme cela fut dj montr par
Hund en 1929. Mais cela seul n'explique pas pourquoi (en effet la plus part) les molcules chirales ne
sont jamais trouves dans des tats propres de l'nergie !
Dans un modle simplifi avec des tats propres quasi dgnrs faiblement lis | et | , les
configurations droites et gauches peuvent tre donnes par
|
(| | )
|
(| | )
Comme l'environnement reconnat la structure spatiale via le processus de diffusion, seuls les tats
chiraux sont stables contre la dcohrence,
| |
| |
L'instabilit quantique des tats propres de l'nergie (c'est--dire la parit) des molcules reprsente
un exemple typique de brisure spontane de symtrie induite par la dcohrence. De plus, les
transitions entre les tats orients spatialement sont supprimes par l'effet Zeno quantique, dcrit
ci-dessous.
Effet Zeno quantique
La consquence la plus dramatique d'une interaction forte de type mesure d'un systme avec son
environnement est l'effet Zeno quantique. Il a t dcouvert plusieurs fois et est quelque fois appel
effet du chien de garde ou comportement de la marmite surveille bien que la plupart des
gens utilisent le terme d'effet Zeno. Il est surprenant seulement si on colle une image classique o
l'observation d'un systme et juste vrifier son tat ne devrait pas l'influencer. Un tel prjug est
certainement form par notre exprience de tous les jours o l'observation des choses dans notre
environnement ne change pas leurs proprits. Comme cela est bien connu depuis les dbuts de la
mcanique quantique, l'observation peut changer de manire drastique le systme observ.
L'essence de l'effet Zeno quantique peut facilement tre montre comme suit. Considrons la
dsintgration d'un systme qui est initialement prpar dans l'tat non dsintgr | . La
probabilit de trouver le systme non dsintgr, c'est--dire dans le mme tat | au temps t est
pour de petits intervalles de temps donn par
() || () ||
()
)
Avec
()
| ||
Si nous considrons le cas de N mesures dans l'intervalle [ ], la probabilit de non-dsintgration
est donne par
() [ ()
()
()
Le rsultat est toujours plus grand que la probabilit d'une seule mesure donne par. A la limite de
mesures arbitrairement denses, le systme ne se dsintgre plus,
() ()
Donc, nous trouvons que des mesures rptes peuvent compltement gner l'volution naturelle
d'un systme quantique. Un tel rsultat est clairement assez distinct de ce qui est observ pour des
systmes classiques. En effet, l'exemple paradigme pour un processus stochastique classique, la
dsintgration exponentielle,
() ()
N'est pas influence par des observations rptes puisque pour N mesures nous avons simplement
() ((
))
()
Jusqu'ici nous avons trait le processus de mesure dans notre discussion de l'effet Zeno de la
manire habituelle en supposant une rduction de l'tat du systme sur le sous-espace
correspondant au rsultat de la mesure. Un tel traitement peut tre tendu en employant un modle
de von Neumann pour le processus de mesure, par exemple, en le couplant un tat pointeur d'un
systme deux tats. Un simple modle lmentaire est donn par l'hamiltonien
(| | | |) | | (| | | |)
O les transitions entre les tats 1 et 2 (induites par la perturbation V) sont monitores par un
pointeur (la constante de couplage ). Ce modle montre dj tous les phnomnes typiques
mentionns ci-dessus.
La probabilit de transition commence pour de petites dures toujours quadratiquement selon le
rsultat gnral. Pour des dures o le pointeur rsout les deux tats, un comportement similaire
trouv pour les processus de Markov apparat : la dpendance quadratique en le temps change pour
une linaire. Pour des couplages forts, les transitions sont supprimes. Cela montre clairement
l'origine dynamique de l'effet Zeno.
Une extension du modle prcdent permet une analyse de la transition de l'effet Zeno un
comportement matre (dcrite par les taux de transition comme cela fut d'abord tudi en
mcanique quantique par Pauli en 1928). On peut montrer que pour plusieurs (micro-)tats qui ne
sont pas suffisamment rsolus par l'environnement, la rgle d'or de Fermi peut tre retrouve, avec
des taux de transition qui ne sont plus rduit par l'effet Zeno. Nanmoins, l'interfrence entre les
macrotats est supprime trs rapidement.
IV.4.2. Irrversibilit quantique
Lien entre dcohrence et physique statistique
Dans lentropie en mcanique quantique, on peut discerner deux aspects :
Lentropie de von Neumann donne lincertitude due au mlange statistique dtats. Ainsi
lentropie dun tat pur est toujours zro.
Lentropie statistique classique d au nombre de micro-tats correspondants un tat
macroscopique donn.
Dans le processus de dcohrence, on a ainsi une augmentation de lentropie. On peut le voir de
deux manires.
Si lon considre ltat global du systme tudi et de lenvironnement, les interactions
multiples avec lenvironnement induisent lintrication des tats du systme et des tats de
lenvironnement. Mcanisme la base de la dcohrence.
Du fait de ces liens, le nombre de micro-tats possibles augmente fortement puisque les
composantes du systme tudi peuvent tre intriques dune multitude de faon avec les
composantes de lenvironnement.
Si lon considre la matrice de densit rduite du systme tudi, on passe dun tat pur
(dentropie de von Neumann nulle) une matrice correspondant un mlange statistique
dtats purs (dentropie non nulle).
Le rsultat est le mme que ci-dessus, bien que limit au systme tudi, car il est justement
la consquence des liens dintrication apparaissant entre le systme et lenvironnement.
On voit ainsi le lien entre dcohrence et physique statistique ainsi que le lien avec laugmentation
dentropie. Comme nous lavons vu, il y a comme en physique statistique, un temps de rcurrence
(de Poincar). Et celui-ci est considrable si lenvironnement est de taille importante, reflet de
laugmentation de lentropie.
La mesure
Revenons au processus de mesure quantique.
Le processus de mesure semble irrversible puisqu'il consiste acqurir de l'information sur un
systme. On a donc un changement sens unique. Cela est d'ailleurs parfaitement illustr par le
processus de rduction. Ainsi, si l'on a une particule dans l'tat |
(|
) |
En ralit, ce processus est parfaitement rversible. L'quation de Schrdinger est une quation
linaire et rversible. En effet, si l'on change la variable temps dans l'quation, de t en t (on
renverse le temps), l'quation continue garder la mme forme. C'est toujours une quation de
Schrdinger pouvant dcrire les mmes processus mais renverss dans le temps. Toute solution de
l'quation de Schrdinger peut tre renverse dans le temps et toujours tre une solution de cette
quation. Toute solution est rversible.
Comme nous savons qu'en supprimant le processus de rduction nous ne gardons que le formalisme
de base dont l'volution est dicte par l'quation de Schrdinger, alors le processus de mesure doit
tre rversible.
C'est en effet le cas :
|
(|
)
Est un processus quantique tout fait valide.
Il ne s'agit bien entendu plus d'une mesure au sens o nous l'entendons. Le systme S perd sa
corrlation avec la particule, l'information dont il dispose sur la particule est efface .
Ce genre de processus est d'ailleurs observable au niveau microscopique. C'est la perte de
l'intrication.
Mais alors pourquoi cette apparence d'irrversibilit dans la mesure ? Rappelons-nous d'ailleurs ce
que nous avons dit dans l'analyse des tats relatifs : l'observateur tant corrl l'objet tudi, il ne
peut plus constater la superposition. Sous-entendu, il ne peut effacer cette corrlation et obtenir le
processus inverse ci-dessus. Quel est donc le problme ?
Lien avec la mcanique quantique
Revenons la mesure l'aide d'appareils macroscopiques ou aux mesures faites par un individu.
Nous avons vu que dans ce cas le processus de dcohrence entrait en jeu. En plus de donner
naissance aux bases privilgies, ce processus se traduit par une myriade de corrlations entre le
systme et les nombreuses particules de l'appareil de mesure, de l'individu et de l'environnement.
Provoquant une forte corrlation entre l'tat de l'appareil et l'individu.
Le nombre de corrlations peut tre colossal puisque l'individu et l'environnement sont constitus
d'un nombre norme de molcules. Plus encore, la faon dont ces corrlations vont s'tablir dpend
fortement de l'interaction entre chaque particule, par exemple les collisions entre les molcules d'air
et le systme et les molcules de l'individu.
Le nombre d'tats possibles pour les molcules d'air et tout systme macroscopique est trs grand
pour un tat macroscopique donn et donc le nombre de faon d'avoir toutes ces corrlations aussi.
L'entropie caractrisant cette corrlation forte entre l'individu et le systme est donc trs grande. On
comprend pourquoi la mesure est irrversible. C'est un effet purement statistique. Ce que nous
avions dj signal plus haut.
Le calcul montre d'ailleurs que la dcohrence peut marcher l'envers, le systme fini par se
retrouver nouveau dans un tat superpos, sans corrlation avec l'environnement, mais ce
phnomne est extrmement peu probable, inobservable mme sur des dures astronomiques.
Revenons au processus de mesure l'envers ci-dessus :
|
(|
)
O S est ici un tre humain.
Ce processus renvers dans le temps se traduit par un effacement de l'information, c'est--dire par
une suppression de la corrlation entre l'tre humain et le systme observ.
Mais cette suppression est impossible. Pour des raisons statistiques elle ne peut se produire
spontanment et il est impossible de le provoquer car cela ncessiterait de contrler
individuellement toutes les molcules de l'environnement pour en liminer les corrlations. Cela
ncessiterait de matriser individuellement des milliards de milliards de molcules.
La rduction apparente est donc irrversible pour un observateur humain.
L'utilisation de la thermodynamique explique donc la flche du temps mme au niveau quantique et
cela justifie notre suspicion face certaines interprtations imposant de facto une irrversibilit.
Notons que cette difficult ne se pose pas au niveau microscopique. Par contre, il se pose dj au
niveau msoscopique o la dcohrence agit dj de manire cruciale. Le processus inverse la
mesure est un effacement dinformation (de corrlation) et on sait queffacer de linformation (par
exemple dans les circuits lectroniques dune mmoire dordinateur cote de lnergie. La
diminution dentropie qui en rsulte ne peut se faire quau dpend de laugmentation dentropie de
lextrieur , ce qui sobtient par un transfert dnergie dont une partie se perd en chaleur.
Dmon de Maxwell
Dans le paradoxe du dmon de Maxwell, un petit dmon situ entre deux enceintes ouvre ou ferme
un clapet pour ne laisser passer les particules rapides que dans un sens (ou les lentes dans lautre)
sens. Le travail douverture/fermeture peut se faire avec une nergie aussi petite que lon veut et le
dmon peut ainsi refroidir une enceinte et rchauffer lautre. Il viole ainsi le second principe.
La solution invoque ce principe consiste habituellement prendre en compte lentropie du
dmon. Celui-ci doit observer les particules et accumule donc de linformation augmentant son
entropie.
Le dmon peut dcider doublier ces informations. Mais ce faisant il diminue son entropie, ce qui
ne peut se faire quau dtriment de lentropie dautre chose. Dans la description quantique, en
observant les particules, ltat du dmon sintrique avec celui des particules (il effectue une mesure)
et revenir en arrire nest soit pas possible (dmon macroscopique) soit peut se faire mais par un
dispositif produisant lui-mme de lentropie. Toute implmentation effective dun tel dmon se
retrouve confronte ce genre de situation.
La conclusion finale est que lirrversibilit quantique est aussi de nature statistique. Ce qui est
satisfaisant.
V. Trous noirs
Trou noir et irrversibilit
Rappelons quun trou noir est une zone de lespace-temps o la concentration de masse (plus
prcisment, lnergie-impulsion) est telle que la gravit empche tout corps de quitter cette zone, y
compris la lumire.
La zone en question est dlimite par une frontire appele horizon des vnements ou horizon du
trou noir.
Un trou noir est pour lessentiel une zone o lespace-temps est si dform par la prsence de la
masse que toute godsique de type temps franchissant lhorizon est automatiquement une
godsique se terminant au centre du trou noir.
Les trous noirs rsultent de leffondrement du cur des toiles les plus massives lors de leur
explosion (supernov) en fin de vie.
Le rayon dun trou noir (de son horizon des vnements) est :
Sa densit vaut
Et la surface de son horizon est donn bien entendu par
Puisque la matire (ou plus gnralement lnergie et linformation) peut franchir lhorizon dans un
sens mais pas dans lautre, nous avons l un exemple trs caractristique dirrversibilit.
Thermodynamique des trous noirs
Bekenstein est le premier avoir relev la similarit entre certaines proprits des trous noirs et les
lois de la thermodynamique.
Bien entendu, la physique des trous respecte la conservation totale de lnergie (masse du
trou noir plus masse extrieur avant et aprs que cette masse extrieurait t engloutie).
Cest--dire le premier principe.
La surface de lhorizon nest jamais dcroissante. Cela est vident puisque sa surface est
proportionnelle au carr de sa masse et un trou noir ne peut que grossir en avalant de la
matire. Il est donc tentant de faire lanalogie avec le second principe et la non dcroissance
de lentropie. Analogie dautant plus intressante quelle est en relation avec le caractre
irrversible de la traverse de lhorizon.
Quelques calculs assez simples utilisant les formules de la thermodynamique, les formules sur les
trous noirs et le processus de traverse de lhorizon par une certaine quantit dnergie, permet
dobtenir lentropie et la temprature dun trou noir.
On constate que lentropie est proportionnelle la surface de lhorizon et que la temprature dun
trou noir est dautant plus faible que celui-ci est massif. La temprature pour les trous noirs observs
en astrophysique est ridiculement faible.
Ce rsultat de Bekenstein fut initialement vu comme une simple curiosit car les physiciens ne
voyaient pas quels micro-tats aurait pu correspondre cette entropie (qui ne peut pas tre lie la
matire dans le trou noir puisque rien ne peut en sortir et que cette entropie est mesurable). De
plus, puisque rien ne peut sortir dun trou noir, celui-ci nmet aucun rayonnement, ce qui
correspond T = 0.
Effet Hawking
Stephen Hawking ne fut pas le premier essayer de marier la mcanique quantique la relativit
gnrale. La thorie quantique des champs dveloppe sur un espace-temps classique darrire-plan
courbe (au lieu de lhabituel espace-temps de Minkoswki) tait dj bien dveloppe. Mais il fut le
premier lappliquer un arrire-plan constitu par lespace-temps dun trou noir.
Ce quil dcouvrit fut un choc dans la communaut scientifique : les trous noirs rayonnaient ! Ce qui
semblait totalement en contradiction avec la relativit gnrale qui affirme que rien ne sort dun trou
noir.
Il ny a en ralit aucune contradiction car dune part il ne sagit plus ici de la simple relativit
gnrale mais de la thorie quantique des champs en espace-temps courbe et dautre part le
rayonnement dit de Hawking ne sort pas du trou noir.
Lorsque lon considre les oprateurs de cration et de destruction et loprateur de nombre qui en
dcoule, on constate que ces oprateurs sont invariants de Lorentz. Ainsi, dans un espace-temps de
Minkowski, dans la mesure o il existe une classe privilgie naturelle de repres (les repres
inertiels), les notions de particules et de nombre de particules sont bien dfinies.
Il nest est pas de mme si lon considre des observateurs acclrs. Dans ce cas, les
reprsentations des champs ne sont pas quivalentes et les oprateurs ci-dessus ne sont plus
invariants. Ce quun observateur inertiel considre comme le vide quantique ne le sera pas pour un
observateur acclr et vice versa. Ainsi, si lon a un espace-temps vide (avec le vide quantique
dfinit comme dhabitude dans un rfrentiel inertiel), un observateur acclr constatera que pour
lui le vide est rempli dun bain de rayonnement thermique (effet Unruh). Effet qui se confirme si lon
modlise les transitions subies par un dtecteur acclr.
Bien entendu, dans un espace-temps courbe, la gravitation tant localement quivalente une
acclration, ce genre deffet devient commun.
La thorie correspondante est assez difficile mais on peut vulgariser leffet Hawking assez facilement
comme suit.
La thorie quantique des champs montre que ltat de base des champs (le vide quantique) nest pas
le vide classique mais est remplit de fluctuations du vide (crations spontanes de paires particules
antiparticules qui disparaissent presque aussitt). Etant donn quil sagit de ltat de base, il est
difficile de mesurer lnergie du vide (il faudrait pour cela le dtruire !) mais on peut toutefois
mesurer ses variations. Ce genre de phnomne se calcule et se mesure :
Effet Casimir (attraction se produisant entre deux plans conducteurs neutres spars par du
vide).
Forces de van der Waals (qui est une variante de leffet prcdent).
Dplacement de Lamb (dplacement de certains niveaux lectroniques dans les atomes).
De telles variations de ltat du vide existent aussi dans les espaces-temps courbes.
Prs de lhorizon dun trou noir, on a ainsi une situation particulirement extrme. Lorsque lon a une
fluctuation quantique, il peut arriver quune des particules de la paire soit avale par le trou noir
tandis que lautre schappe. Il y a crations de particules et la fluctuation nen est plus vraiment une.
La conservation de lnergie implique que ces deux particules aient des nergies opposs et le calcul
montre que la particule avale par le trou noir a une nergie ngative (ce qui provoque un
amaigrissement du trou noir) tandis que la particule mise a une nergie positive.
Etant donn le dcalage vers le rouge extrme subi par un rayonnement quittant les parages dun
trou noir, seules les fluctuations les plus nergtiques pourront contribuer ce rayonnement. Celles-
ci tant rare, le rayonnement de Hawking est trs faible.
Le calcul montre que le rayonnement mis est un rayonnement thermique dont la temprature
correspond la temprature maintenant appele de Bekenstein-Hawking ! Un rsultat remarquable.
Notons que la diminution du trou noir ne constitue pas une violation du second principe
gnralis (appliqu aux trous noirs) car le rayonnement mis porte lui-mme une entropie fort
leve (rayonnement thermique) et lentropie totale ne diminue pas.
Trou blanc
Indpendamment des considrations quantiques prcdentes, le fait que les trous noirs soient
irrversibles peut sembler tonnant puisque les quations de la relativit gnrale sont invariantes
par renversement du temps.
Mais en ralit, cela nempche pas lexistence de solutions asymtriques dans le temps. Et les
quations dun trou noir peuvent aussi tre renverses dans le temps.
Le rsultat sappelle un trou blanc. Cest exactement linverse dun trou noir. Lhorizon ne peut tre
travers que vers lextrieur. Si un trou blanc contient de la matire, celle-ci est vite expulse et le
trou blanc disparait. La surface de lhorizon dun trou blanc ne peut tre croissante.
Deux points importants sont signaler :
Dun point de vue quantique, un trou blanc a une entropie ngative trs leve en valeur
absolue.
Dun point de vue classique, les trous blancs ne se forment pas spontanment. Ils ne peuvent
se former que si les conditions initiales sont rgles de manire trs fine, presque
diabolique , et il faut fournir une nergie considrable tout en augmentant fortement
lentropie de lextrieur. Ceci est compatible avec le point de vue quantique.
Caractre statistique
Suite tous ces rsultats, lhypothse thermodynamique de Bekenstein est maintenant considre
avec beaucoup de srieux.
Un point reste mystrieux : lorigine statistique de lentropie du trou noir.
Celle-ci prend manifestement naissance dans les tats quantiques de lhorizon. Malheureusement,
pour les dcrire il faut une thorie de la gravit quantique qui nous manque encore. On a toutefois
des thories candidates comme la thorie des cordes et la gravit quantique boucles. Lune comme
lautre permettent de calculer le nombre dtats quantiques de lhorizon et conduisent une
entropie conforme la formule de Bekenstein.
Puisque lentropie est proportionnelle laire, on sattend que ce que de petits lments de surface
de lhorizon portent chacun un tat quantique, un bit dinformation. Et le calcul, simple, montre
que chaque bit dinformation correspond un lment de surface gal une longueur de Planck au
carr. Un rsultat fort intressant.
Quoi quil en soit, il est clair que lirrversibilit des trous noirs a aussi une origine thermodynamique.
VI. Gravit quantique
Grandeurs de Planck
Les grandeurs de Planck sont les grandeurs construites partir des grandeurs fondamentales : c, G et
(pour les dimensions MLT), par multiplication, exposants entiers ou fractionnaires et sans
constante supplmentaire.
On peut ainsi construire :
La masse de Planck :
kg.
Le temps de Planck :
s.
La longueur de Planck :
m.
En retour ces valeurs peuvent servir dunits de base (units de Planck).
Ces grandeurs apparaissent souvent lorsque lon se trouve dans des situations o la gravit et la
mcanique quantique doivent coexister. En retour, pour ces valeurs (temps plus court que le temps
de Planck, longueurs plus courte que la longueur de Planck, masse dune particule plus grande que la
masse de Planck), il est facile de voir que toute nos thories actuelles seffondrent. Par exemple,
pour des distances infrieures la longueur de Planck, les fluctuations quantiques sont a priori
suffisantes pour crer des trous noirs.
Longueur minimale
Le mariage de la relativit gnrale et de la mcanique nest pas une mince affaire. Il existe ainsi de
nombreuses thories candidates dont les plus importantes sont la thorie des cordes et la gravit
quantique boucles qui, dailleurs, sont des approches radicalement diffrentes mais pas rellement
incompatibles.
Il nen reste pas moins que les donnes exprimentales manquent (totalement) dans ce domaine et
ces thories restent donc spculatives. Elles ne sont en outre pas entirement abouties.
Lorsque lon considre les aspects quantiques et gravitationnels, on constate que tout semble
indiquer quil existe une longueur minimale. Ce concept physiquement difficile saisir peut se
montrer de plusieurs manires. Lapproche heuristique suivante en est une.
Si lon considre une particule de masse m, les relations dindtermination de Heisenberg nous
disent que
Cest--dire que le produit des incertitudes sur la position de la particule et sur sa vitesse sera
suprieur ou gal une quantit donne. Notons que ce nest que pour des particules de faibles
masses (particules lmentaires) que cette incertitude devient notable et de lordre de la taille des
atomes.
Nous prfrons lexpression principe dindtermination celui de principe dincertitude pour
bien illustrer que cette imprcision est due la nature fondamentalement ondulatoire des particules
et non simplement une limitation de nos capacits de mesure.
Supposons maintenant que lon dsire connaitre la distance entre deux particules de masse m. En
plus de lincertitude ci-dessus, chaque particule va agir sur lautre par lintermdiaire de linteraction
gravitationnelle. Cette interaction est de lordre de
.
Cette interaction va donc introduire une incertitude supplmentaire en affectant le mouvement des
particules dune manire dautant plus grande que les particules seront proches.
Quelques calculs montrent que :
Cest--dire que la distance ne peut pas tre connue une meilleure prcision que la longueur de
Planck. Ce raisonnement suppose bien entendu que la gravit se comporte comme dhabitude
jusqu des chelles microscopiques, ce qui na rien de sr.
Puisque lincertitude ci-dessus a un caractre fondamental, on est alors conduit envisager quil
existe effectivement fondamentalement une longueur minimale en-dessous de laquelle le concept
de distance perd son sens.
Gravit quantique boucles
La gravitation quantique boucles est un programme de quantification des quations de la relativit
gnrale mettant laccent sur la proprit principale mise en vidence par la relativit : linvariance
par diffomorphisme.
Ce nest pas la seule approche. Si nous avons choisi de faire rfrence celle-ci, cest surtout quelle
est bien adapte aux raisonnements qui seront fait dans la dernire section.
Rappelons que, quelle que soit lapproche suivie, on est encore dans le domaine de la spculation.
On ne dveloppera pas en dtail la gravit quantique boucles. Ce serait trs long. Nous donnerons
seulement quelques ides de bases et quelques aspects de la thorie utiles pour la suite.
Comment quantifier la gravit
Les procdures de quantification habituelle, telle quon les rencontre en thorie quantique des
champs, utilisent le fait quil existe un espace-temps darrire-plan, habituellement pris comme
lespace-temps de Minkowski. Elles font jouer un rle privilgi au temps.
Ces procdures deviennent inapplicables si lon dsire quantifier la relativit gnrale car lespace-
temps nest plus impos et devient lui-mme une variable dynamique.
Une manire de procder est de partir de la formulation hamiltonienne de la relativit gnrale et
dappliquer la procdure de quantification canonique. On obtient alors une quation dite de
Wheeler-DeWitt.
Cette quation na pas la forme habituelle de lquation de Schrdinger. Elle prend la place la
forme dune quation de contrainte :
Le temps disparait de lquation ! Ce nest pas trs tonnant puisque le temps ne joue justement plus
un rle privilgi. De plus, dj dans la formulation hamiltonienne de la relativit gnrale,
lhamiltonien est un hamiltonien de contrainte.
Cette quation pose de grandes difficults. En particulier, lespace de Hilbert associ aux tats
quantiques est inconnu. Et personne ne sait vraiment rsoudre cette quation.
La solution fut apporte par Ashtekar qui trouva un nouvelle formulation (parmi tant dautres) de la
relativit gnrale. Celle formulation permettait une quantification plus rigoureuse de la relativit
gnrale.
Sous cette quantification lespace-temps se retrouve sous la forme dun enchevtrement
dholonomies, cest--dire de boucles qui ont donn leur nom la thorie.
Lespace ainsi construit est beaucoup trop grand. Mais il est assorti dun hamiltonien de contraintes
se dcomposant en trois parties :
Une contrainte de jauge SU(2) provenant de la formulation de la thorie.
Une contrainte de diffomorphisme, habituelle en relativit gnrale.
Une contrainte dynamique.
La troisime contrainte pose encore de grosses difficults aux thoriciens. Par contre, la premire
contrainte et la deuxime contrainte simplmentent assez facilement. Les tats de lespace-temps
ainsi obtenus peuvent tre dcrits par des rseaux dit de spins :
Le rseau est constitu dun graphe abstrait avec des nombres demi-entiers affects chaque
branche et quelques rgles pour lattribution de ces nombres.
Un tat quantique de lespace-temps est constitu dune superposition quantique de ces tats.
A ces nombres, il faut aussi ajouter des grandeurs prenant des valeurs aux nuds du rseau et
reprsentant les tats quantiques des champs de matire. La thorie se prte ainsi la quantification
de boucles (donc en prsence de la gravit) du champ lectromagntique, du champ lectrofaible,
etc. On peut mme utiliser des champs prsentant de la supersymtrie ou des champs de cordes.
Quelques proprits
Plusieurs rsultats importants ont pu tre obtenu de la gravit quantique boucles. Citons en deux
qui nous concernent.
On a pu calculer le nombre dtats quantiques encods par la gomtrie dun trou noir,
redonnant ainsi lentropie de Bekenstein.
Le rayonnement de Hawking nest plus strictement thermique. De petites variations
encodent linformation contenue dans le trou noir, rsolvant un paradoxe de la gravit
quantique semi-classique (disparition de linformation entre dans le trou noir aprs
vaporation de celui-ci avec perte du caractre unitaire de la thorie quantique).
Les longueurs, surfaces et volumes sont quantifis.
Lunit la plus petite est la longueur de Planck.
Il ne sagit pas dune discrtisation. Ainsi les longueurs possibles ne suivent pas un spectre
comme
() (
)
O k est un paramtre (qui dpend de la densit dnergie de lunivers) donnant les diffrentes
gomtries pour lespace :
Espace euclidien, univers infini, expansion ternelle.
Espace hyperbolique, univers infini, expansion ternelle.
Espace sphrique, univers fini, expansion suivie dune phase de contraction.
Les donnes des observations actuelles semblent indiquer un espace euclidien et lexistence dune
constante cosmologique garantissant une expansion ternelle.
La caractristique principale de ces solutions (sauf la sphrique) est leur caractre trs asymtrique.
On a au dbut un univers trs petit et trs dense et la fin un univers trs grand et trs peu dense.
Pour un univers infini, par petit, nous entendons la zone de lunivers actuellement observable.
Ces solutions sont en fait parfaitement symtriques. Elles sont invariantes sous la symtrie T. Le fait
que nous attribuions au dbut la phase dense est a priori arbitraire.
Notons que lvolution gravitationnelle, lexpansion, est isentropique. Elle est tout fait rversible. Il
faut bien entendu tenir compte des htrognits locales pouvant conduire des effondrements
gravitationnels qui se traduisent par une augmentation dentropie.
Nous avons donc deux flches du temps. La flche du temps cosmologique et la flche du temps
statistique. Ce nest que la comparaison de ces deux flches pointant dans le mme sens qui nous fait
appeler dbut la phase de haute densit.
Le tout est de comprendre pourquoi ces deux flches sont orientes de cette manire lune par
rapport lautre.
Gravit quantique
Cest ici que la gravit quantique entre en jeu.
Nous avons vu que ltat quantique de lespace-temps tait donn par un rseau avec des liens dont
la longueur est quantifie.
Cela signifie quau fur et mesure de lexpansion, la volume augmentant, il y a plus dtats
quantiques disponibles pour correspondre un tat macroscopique donn. On a une augmentation
de lentropie de lespace-temps.
Si les longueurs taient simplement discrtises, le nombre dtats serait proportionnel au volume
de lunivers et laugmentation de lentropie avec lexpansion serait raisonnable. Mais comme nous
lavons dit, le spectre de valeur propre de la longueur se resserre avec laugmentation de la taille. Le
nombre dtats crot donc de manire considrable et aussi lentropie.
Ceci justifie la flche du temps asymtrique de la cosmologie.
Lien entre les deux flches du temps
Il reste comprendre pourquoi les deux flches du temps concident.
Il y a en fait interaction entre matire et gravitation. Cela se voit directement lors des effondrements
gravitationnels qui conduisent la formation dtoiles. Linteraction gravitationnelle est de loin la
plus faible des quatre interactions fondamentales, mais aussi faible quelle soit ce lien existe.
De plus, comme nous lavons vu, les tats des champs de matire sont caractriss par des valeurs
prises au nud du rseau de spins, ce qui implique l aussi quun rseau trs petit implique une trs
faible entropie pour la matire.
La faiblesse du lien entre gravit et matire est une chance car cela implique que laugmentation
dentropie de la matire ne suit pas daussi prs laugmentation dentropie de lespace-temps. Sinon,
lunivers aurait sombr dans le chaos presque tout de suite ou plutt, la gravit tant trs forte,
toute la matire existante serait dj effondre sous forme de trous noirs.
Nous avons donc l un schma satisfaisant, bien que qualitatif, de la flche du temps globale.
Rappelons toutefois que cela reste fort spculatif et devra tre confirm par une physique statistique
intgrant la gravit quantique.
VIII. Rfrences
Feynman, Leigthon, Sands, Le cours de physique de Feynman, Mcanique quantique.
InterEditions, Paris.
Lonard L. Schiff, Quantum Mechanics. International Student Edition.
John Davind Jackson, Electrodynamique classique. Dunod.
Charles W. Misner, Kip S. Thorne, John Archibald Wheeler, Gravitation. W. H. Freeman and
Company, New York.
Claude Itzykson, Jean-Bernard Zuber, Quantum Field Theory, McGraw-Hill International
Editions, Physics Series.
Maximilian Schlosshauer, Decoherence, the Measurement Problem and Interpretations of
Quantum Mechanics.
Erich Joos, Elements of Environmental Decoherence.
Xavier Calmet, Michael Graesser, Stephen D.H. Hsu, Minimum Length from First Principles.
Carlo Rovelli, Loop Quantum Gravity. Living Reviews in Relativity.
A.M. Gleason, Measures on the closed subspaces of a Hilbert Space. Journal of Mathematics
and Mechanics.
Franco Nicolas, Loop Quantum Gravity. Doctorat FUNDP Namur.
David Louapre, Modles de mousses de spin pour la gravit quantique en 3 dimensions.
Doctorat Ecole Normale Suprieure de Lyon.