Cours 2007-2008: Deuxime Leon

Nous dcrivons dans cette leon des mesures gnralises nobissant pas aux critres restrictifs de la mesure projective idale de von Neumann. Ces mesures qui donnent une information plus ou moins partielle sur ltat dun systme quantique correspondent souvent des situations plus proches des expriences relles que les mesures projectives. Un cas particulier important de mesure gnralise est dfini par un ensemble doprateurs hermitiques positifs formant un POVM (Positive Operator Valued Measure). Le lien entre mesures gnralises, POVM et mesure projective sera rappel et un certain nombre dexemples intressants pour la suite sera prsent. Comme nous lavons vu dans la 1re leon, un modle simple de processus de mesure est ralis par le couplage dun systme quantique S un ensemble de N qubits de mesure indpendants (constituant un moment angulaire J=N/2). Nous montrerons que lacquisition partielle dinformation rsultant du couplage de S avec un seul qubit est un POVM et nous dcrirons comment laccumulation de mesures POVM rsultant du couplage avec un ensemble de qubits se transforme en mesure projective. Nous montrerons que lacquisition dinformation sur S rsultant de la mesure POVM sapparente un processus dinfrence bayesienne en thorie des probabilits. Nous conclurons la leon en considrant un exemple curieux de mesure, dans lequel il semble que linformation soit obtenue sans que le systme mesur ait interagi avec lappareil. Le paradoxe provient, comme dans dautres cas du mme genre, de lutilisation indue de concepts classiques pour dcrire une situation quantique.

28 Janvier 2008

Mesure gnralise
Remplaons les projecteurs Pi dune mesure idale par un ensemble doprateurs Mi (non ncessairement hermitiques) satisfaisant la relation:

!M
i

Mi = I

(2 "1)

Une mesure gnralise associe cet ensemble doprateurs, effectue sur un tat |>, donne le rsultat i avec la probabilit:

pi = ! M i M i !

(2 " 2)

et projette dans ce cas le systme dans ltat aprs mesure:

pi Pour un systme dans un mlange statistique (dcrit par ), ces relations deviennent:
pi = Tr {! M M i }
i

! "mesure i # ! i = ""

Mi !

(2 $ 3)

M i ! M i ; ! "mesure i # !i = "" pi

(2 $ 4)

Mesure gnralise sur un systme A comme mesure projective sur un systme auxiliaire M intriqu A
Couplons le systme A un systme auxiliaire M ayant une base dtats orthogonaux |mi> que lon associe aux diffrents oprateurs Mi de A. Appelons |m0> un tat de rfrence de M. Ce couplage est dfini par la transformation (que lon dmontre aisment tre unitaire):
! " m0 ## % M i ! " mi $
i

(2 & 5)

Cette transformation intrique (A) et (M). La mesure projective de lobservable de M admettant les |mi> comme tats propres donne alors le rsultat i avec la probabilit pi (donne par leq.2-2) et projette A dans ltat (non normalis) Mi|>. La mesure gnralise sur A peut donc toujours tre vue comme rsultat de lintrication de A avec un systme auxiliaire M, suivie dune mesure projective de M. Notons que M peut avoir une dimension quelconque: le nombre doprateurs Mi nest pas (comme le nombre de projecteurs Pi dune mesure projective), limit par la dimension de A. Une mesure gnralise immdiatement rpte ne redonne pas en gnral le mme rsultat. La somme des probabilits des rsultats possibles est cependant toujours gale 1.

Mesures destructives vues comme mesures gnralises

On applique latome un champ lectrique Le champ, spatialement ou temporellement variable qui atteint augmentant de gauche droite, en des points ou des temps diffrents les seuils ionise des dionisation d tats |i > dnergie de liaison endroits diffrents. Llectron rsultant est acclr vers diffrents des une lectrode mettant des lectrons secondaires, atomes de dclenchant une avalanche qui signale lionisation de Rydberg de tailles latome et le niveau o il tait avant lapplication du dcroissantes champ. Cette mesure correspond aux oprateurs: (dnergie de

Ionisation slective datomes de Rydberg

M i = ion i

(2 !10)

liaison croissante).

o ltat |ion> reprsente lion rsultant du processus dionisation. Les Mi satisfont la relation de normalisation:

!M
i

M i = ! i ion ion i = ! i i = I
i i
2

(2 "11)

La probabilit de trouver latome dans ltat |i> est:

pi = ! M i M i ! = ! i

(2 "12)

et ltat est transform par la mesure suivant: ion i ! ! "rsultat i # "" = ion (2 $13) pi L information sur ltat de latome est perdue aprs la mesure, qui ne peut tre rpte.

Mesures destructives vues comme mesures gnralises (suite)

Un compteur de photons absorbe les quanta de lumire en photons ionisant les atomes dune photo-cathode, les lectrons rsultant tant dtects aprs une amplification par avalanche analogue celle dcrite la page prcdente. Certains photodtecteurs fournissent un courant proportionnel au nombre de photocathode photons absorbs et sont ainsi capable de rsoudre des nombres de photons diffrents. Cette mesure destructive peut tre dcrite par les oprateurs du champ:

Comptage de photons

lectrode secondaire

lectrons

Mn = 0 n

(n = 0,1, 2LL)

(2 !14)

o |0> est ltat du vide dans le mode du champ mesur et |n> ltat n photons. On a la relation de fermeture:

!M
n

Mn = ! n n = I
n

(2 "15)

La probabilit de trouver n photons dans ltat |> du mode du champ est:

pn = n !

(2 "16)

ltat aprs mesure tant le vide: les photons sont dtruits en tant compts. Ici encore lexprience nest pas rptable.

Mesure gnralise et Positive operator valued measure (POVM)

De faon gnrale les Ei = M i M i sont des oprateurs hermitiques positifs ( valeurs propres positives ou nulles) qui satisfont la normalisation:

!E
i

=I

(2 "18)

Lensemble des Ei constitue un POVM (positive operator valued measure). La probabilit de trouver le rsultat correspondant llment Ei du POVM est: pi = Tr {! Ei } (2 "19) Ltat obtenu aprs mesure nest en gnral pas simplement exprim en fonction des Ei. Un cas particulier simple correspond des Ei construits partir doprateurs Mi hermitiques, on a alors M i = M i = Ei et la projection associe la mesure gnralise scrit en fonction des lements du POVM:
! "mesure i # ""
Ei ! Ei pi (2 $ 20)

Une mesure projective est un cas particulier de POVM avec Ei = Pi

Exemple de mesure POVM dun qubit

Une mesure projective est dfinie par les projecteurs P0 et P1 sur deux tats de spin orthogonaux (associs des vecteurs de Bloch opposs). Une mesure POVM pourra tre dfinie par N > 2 oprateurs Ei (i = 0,1,2N-1) dont la somme est gale loprateur unit 2x2. On peut choisir des oprateurs proportionnels aux N projecteurs sur des tats dont les directions sont uniformment rparties sur un grand cercle de la sphre de Bloch:

r P4 r P3

r P0

r P1 r P2

r r 1 Ei = I + Pi .! N

(2 " 21)

La mesure gnralise peut alors donner N rsultats diffrents, en projetant le spin sur lune des N directions qui-rparties sur le grand cercle. Voir cours 2003-2004 pour une description explicite de la procdure de mesure dans le cas N=3, dont nous discutons une application page suivante.

Intret dune mesure POVM: reconnaissance partielle de deux tats non-orthogonaux

Si Alice donne Bob un qubit dans un de deux tats non-orthogonaux l> et |>, dont les vecteurs de Bloch P et P forment un angle = 120, celui-ci ne peut dcider coup sr duquel des deux il sagit (corollaire du thorme de non-clonage). Par une mesure projective le long de P, il peut reconnatre coup sr ltat |> sil trouve le vecteur de Bloch align le long de la direction P1 = - P (la probabilit de ltat |> devenant alors nulle), mais ne peut conclure sil trouve le qubit dans ltat |>. La conclusion est inverse (qubit a coup sr dans ltat |>), sil choisit de mesurer le long de P , dans le cas o il trouve le qubit avec le vecteur de Bloch align dans la direction P2=- P . Toute autre direction de mesure projective ne lui permet de conclure avec certitude dans aucun cas. Cette stratgie donne avec certitude la bonne rponse dans 37,5% des cas (probabilit 1/2 que Bob choisisse de mesurer le long de ltat quAlice na pas choisi, multiplie par la probabilit cos2[()/2]= 3/4 de trouver dans ce cas le spin dans ltat orthogonal celui non-choisi par Alice). Nous allons voir que Bob peut mieux faire en remplaant la mesure projective par une mesure POVM trois lments.

r P!
r P2

r P!
r P1

Reconnaissance partielle de deux tats non-orthogonaux par mesure POVM (suite)

Bob constitue un POVM avec les trois oprateurs:
r r 1 Ei = I + Pi .! 3

; (i = 1, 2, 3)

(2 " 22)

avec:

r r r P3 = ! P1 + P2

(2 ! 23)

Les extrmits des vecteurs P1,P2 et P3 forment un triangle quilatral. Les lments Ei sont proportionnels aux trois projecteurs sur les tats associs aux vecteurs de Bloch Pi (facteur de normalisation 2/3).

r P!
r P2

r P3

Bob effectue la mesure POVM sur ltat donn par Alice. Sil r trouve le rsultat 1, |> est exclu et Alice lui a certainement l> qui est sait quAlice P! donn |>. Sil trouve 2, cestBob ne peut exclu et il La mthode lui a donn |>. Sil trouve 3, conclure. donne avec certitude la bonne rponse dans 50% des cas: quel que soit le choix dAlice, il y a une chance sur deux pour que r Bob trouve le rsultat 3 qui le laisse indcis. Cette stratgie, |> et |> la P1 qui introduit explicitement cot des choix performante, pour possibilit Bob ne sait pas est ainsi plus cette opration de reconnaissance, que la mesure projective.

Autre exemple de POVM: couplage dun qubit avec un moment angulaire

Considrons le POVM dun moment angulaire (J) constitu des 2 oprateurs:
E j = cos 2 (

Les Ej sont des oprateurs hermitiques positifs, de somme unit et de spectre:

! (m, j) = cos 2 (

! J z / h " j# ) ; 2

j = 0,1

(2 " 24)

Pour raliser ce POVM, couplons J un qubit A par le hamiltonien:

H int = g ( J z .! xA) 2 (2 " 26)
0
A

m" # j $ ) ; #J %m%J 2

(2 # 25)

et faisons interagir A et J pendant un temps t= /g partir de ltat

! " cm m
m

! cmU (t = " / g) 0
m

( # m = ! cm exp($im" % xA) / 2) 0 A m

, & m" ) # m = ! cm m # .cos ( +0 A - ' 2 * m

/ & m" ) $ i sin ( 1 A1 + A ' 2 * 0

La mesure de z(A)

(2 ! 27) donne le rsultat j =0 ou 1 et ralise le POVM cherch:

pj = %
(aprs ) j

! cm cos2 [(m" # j$ ) / 2] =
m

% Ej % Ej pj

(2 ! 28)

1 pj

! cm cos [(m" # j$ ) / 2] m =
m

(2 ! 29)

Interprtation de la rgle de projection de la mesure POVM: loi de Bayes sur les probabilits conditionnelles
La mesure de A, aprs couplage avec J, donne de linformation sur J. Si J>1/2, cette information ne peut tre que partielle et ne peut fournir une mesure complte de J. Elle change cependant la connaissance que lon a du systme et donc son tat, qui exprime cette connaissance. Les probabilits associes la valeur m du moment angulaire deviennent aprs la mesure:
cm ! !!! "
2 mesure rsultat j

cm E j (m)

#c
m

2 m

E j (m)

cm cos 2 [(m$ % j & ) / 2 ]

#c
m

2 m

cos [(m$ % j & ) / 2 ]

(2 % 30)

Supposons J entier et ajustons le temps de couplage entre A et J pour raliser la condition =. On a alors:
E0 (m) = 1 ; E1 (m) = 0 si m pair E0 (m) = 0 ; E1 (m) = 1 si m impair (2 ! 31)

Trouver j=0 (j=1) projette J sur le sous-espace des valeurs de m paires (impaires) respectivement. Le POVM est une mesure projective de la parit de m. Ce rsultat peut se retrouver par un argument de pure logique classique (voir page suivante).

Mesure POVM et loi de Bayes (suite)

Plaons nous, comme page prcdente, dans le cas =. Le POVM est obtenu par une rotation du qubit A suivie dune mesure de A. Langle de cette rotation est conditionn par la valeur propre m de Jz. Trouver j=0 signifie que A ne peut tre avant la mesure dans ltat pur |1>. Or il se trouverait dans cet tat si m tait gal 2k+1. La rotation de A, dun angle (2k+1), aurait en effet port A de ltat initial |0> vers |1>. Le rsultat j=0 est donc incompatible avec m impair. Pour les valeurs paires de m, la mesure POVM napporte aucune information. Lorsque lon trouve j=0, J doit donc tre projet sur les tats de m pair, sans changement des probabilits relatives entre les diffrents rsultats pairs possibles. De mme, le rsultat j=1 projette ltat de (J) sur les tats m impairs, en annulant les probabilits de trouver les valeurs paires de m. Cest ce quexprime dans ce cas particulier la formule (2-30). Ce raisonnement logique, mais qualitatif est formalis de faon quantitative par le thorme de Bayes (1763) sur les probabilits conditionnelles.
Remarque: largument de logique classique utilis ici ne tient pas compte des cohrences entre tats m et sappliquerait tout aussi bien un tat initial dans un mlange statistique. Dans le cas trait ici (tat initial pur), les cohrences entre tats de m pair ou impair ne sont pas affectes par la mesure POVM (voir eq. 2.29).

Mesure POVM et Loi de Bayes (suite)

Considrons le systme J+A dans un tat donn. On appelle p(m) la probabilit de trouver le rsultat m dans une mesure projective de Jz , p(j) la probabilit de trouver le rsultat j dans une mesure projective de z(A), et p(j,m) la probabilit jointe de trouver le rsultat j en mesurant A et davoir le rsultat m en mesurant J. On dfinit de mme par p(j|m) et p(m|j) les probabilits conditionnelles rciproques dobtenir le rsultat j sur la mesure de A condition que J soit dans ltat m et dobtenir le rsultat m sur la mesure de J condition que A soit trouv dans ltat j. Par dfinition de ces probabilits, on peut exprimer la probabilit jointe de deux faons quivalentes:
p( j, m) = p( j | m)p(m) = p(m | j)p( j) (2 ! 32)

ce qui permet de relier les probabilits conditionnelles inverses par le thorme de Bayes:
p(m | j) = p(m) p( j | m) p( j | m) = p(m) p( j) ! p( j | m)p(m)
m

(2 " 33)

On retrouve par cet argument de logique classique la formule ( 2-30 ) en 2 % ' remarquant que p( j | m) = cos $( m! " j# ) / 2& .

Philosophical Transactions of the Royal Society of London (1763).

Caractre non-intuitif de linfrence Bayesienne en probabilits classiques: jeu des 3 portes

1 2 3
Alice doit deviner derrire laquelle des trois portes se trouve un prix. Aprs quelle a choisi une porte (par ex la n1), Bob (qui mne le jeu) ouvre une des deux portes restantes qui ne cache pas le prix. Alice a-telle intrt modifier son choix initial?
P(1) = P(2) = P(3) = 1 (2 ! 34) 3

Probabilits a priori que les portes cachent le trsor:

Probabilits que Bob ouvre les portes 2 ou 3 aprs quAlice a choisi la porte 1, conditionne la position du trsor:
P(B 2 | 1) = P(B 3 | 1) = 1 / 2 P(B 2 | 2) = 0 ; P(B 3 | 2) = 1 P(B 2 | 3) = 1 ; P(B 3 | 3) = 0 (2 ! 35a) (2 ! 35b) (2 ! 35c)

Supposons que Bob ouvre 3. Probabilits que le trsor soit cach par 1 ou 2?
Alice double ses chances de = 2 gagner en changeant son choix initial

Bayes

P(n | B3) = P(n)

!
n

P(B3 | n) " P(B3 | n)P(n)

P(2 | B3) P(B3 | 2) = P(1 | B3) P(B3 | 1)

(2 ! 36)

Sil y a N portes et que Bob ouvre une porte aprs le choix initial dAlice, on montre de mme que celle-ci, en modifiant son choix initial, augmente sa probabilit de gagner par le facteur (N-1)/(N-2).

Autre exemple du caractre non intuitif de la loi de Bayes en probabilits classiques: intrt dun test mdical de dpistage
Deux possibilits : sain (s) ou malade (m) : p(s) + p(m) = 1 Test positif (+) ou negatif (!) : p(+) + p(!) = 1 Probabilit conditionnelle : p(+ | s) faux positif p(! | m) faux ngatif

Supposons le test dexcellente qualit, tel que p(+|m)=1 et p(+|s) = <<1.La faible probabilit de faux positif semble indiquer quune personne teste positive est quasi sre dtre malade. Est-ce si sr? Quelle est la probabilit quun positif soit sain?
p(s | +) = p(s) p(+ | s) p(+ | s) = p(s) (2 ! 37) p(+) p(+ | s)p(s) + p(+ | m)p(m) Bayes

Si la prvalence de la maladie est faible ( p(s)~1 et p(m)<<1), on a: " p(s | +) ! (2 # 38) " + p(m) si ! " p(m) # p(s | +) > 0.5 Une personne teste positive est probablement saine!

Pour quun test soit valable il faut que la probabilit de faux positif soit beaucoup plus faible que la prvalence de la maladie.

Au lieu dun qubit unique A, couplons maintenant J n qubits identiques ai. On choisit(*) le Hamiltonien de couplage entre J et les ai:
H J !{ai } = g # ( J z + J ) ." xi 2 i (2 ! 39)

Dune mesure POVM une mesure projective

On prpare le systme J-{ai}dans ltat initial:

!
J

" 0, 0L0 = # cm m " 0, 0L0

m

(2 $ 40)

Sous leffet du couplage pendant le temps t=/g, cet tat devient:

!
J

' ( m + J ) % 0 & i sin ( m + J ) % 1 * " 0, 0L0 # $ cm m " - )cos i i, 2 2 + m i (

(2 & 41)

Lensemble des {ai} est intriqu avec J. A chaque valeur de m, il correspond un tat cohrent des {ai}, associ un super vecteur de Bloch align le long de la direction (m+J). Lorsque n, le systme {ai} devient une flche classique et mesurer la direction du vecteur associ revient une mesure de Jz (voir Leon 1). Pour mesurer , on peut faire la tomographie de lensemble des n qubits (page suivante).
(*)En remplaant Jz par Jz+J dans lexpression du couplage, on translate la rotation des qubits de lintervalle [-J,+J] [ 0, 2J] ce qui, sans tre un changement essentiel, simplifie lanalyse de la mesure.

Mesure tomographique de ltat des bits {ai}

% ( m + J ) # 0 $ i sin ( m + J ) # 1 ( ! cm m " +'cos 2 i i* 2 & ) m i

n qubits tous dans le mme tat et intriqus (J)

On choisit ! = .

" 2J

pour que les 2J+1 angles (m+J) couvrent lintervalle [0,]

On mesure z indpendamment sur les n qubits. On obtient p fois j=0 et n-p fois j=1. On en dduit:

!z

(n)

p " (n " p) p = = 2 "1 n n

(2 " 42)

la limite n, <z>(n) <z> = cos2[(m+J)/2]-sin2[(m+J)/2] = 2cos2[(m+J)/2)]-1, soit:

$ p' 2 m + J = lim n"# Arc cos & ) ! n( % (2 * 43)

La rptition un grand nombre de fois de la mme mesure POVM bivalue j=0/1 finit par dterminer m et correspond une mesure idale de Jz.

Approche quivalente: calcul de la distribution finale des valeurs de m

Un rsultat j=0 multiplie la distribution des valeurs de m par cos2(m+J)/2, un rsultat j=1 par sin2(m+J)/2. Aprs p mesures j=0 et n-p mesures j=1, la distribution devient:
!(m) = cm f (m + J )
2

" cm f (m + J )
m

(2 # 44)

avec:

f (m + J ) = cos 2 p

(m + J )! 2(n" p) (m + J )! sin 2 2

(2 " 45)

Montrons que cette distribution tend pour n grand vers une fonction troite pique sur une valeur de m. Commenons par trois cas particuliers.
p=n
2 2 (m + J )! $ (m + J )2 ! 2 ' n(m + J )2 ! 2 f (m + J ) = cos " &1 # " 1# " e#n(m+J ) ! /4 ) 2 8 4 % ( 1 J 2 2n 2n

Pic centr en m=-J de largeur ! m =

" 2n

# n

p=0

2 "n%(m+J )! " # ' /4 (m + J )! 2n (m + J )! " # & ( f (m + J ) = sin = cos $e 2 2 2n

Pic centr en m=+J de largeur ! m =

1 J 2 = " 2n # n
$2

p=n/2

f (m + J ) = cos n

" (m + J )! n (m + J )! 1 1 '$ 1 sin = n sin n "( m + J ) ! $ = n cos n ((m + J )! & ) * n e # % # 2 2 2 2 2% 2

&n((m+J )! & ' ) /2 2% #

"

Pic centr en m=0 de largeur

!m =

2J " n

Une proprit remarquable des produits de puissances de fonctions sinus et cosinus

X(u) = cos 2 u
1 ! X(u) = sin 2 u

f (m + J ) = cos 2 p

(m + J )! 2(n" p) (m + J )! sin 2 2
n" p

= X p (u) [1 " X(u)]

u
0

u=

(m + J )! m + J " = " ; 0#u# 2 4J 2

/4

(1 ! X)
Produit normalis

n! p

/2

Si p > n/2, on a p > n-p et le produit des cosinus, centr en u=0 est plus troit que le produit des sinus, centr en u =/2: le produit Xp(1-X)n-p est piqu en umax tel que cos(umax)=(p/n)1/2 > 1/2, et 0 <umax < /4. Si p < n/2, on a p < n-p et le produit des cosinus, centr en u=0 est plus large que le produit des sinus, centr en u =/2: le produit Xp(1-X)n-p est piqu en umax tel que cos(umax)=(p/n)1/2 < 1/2, et /4 <umax < /2

/4 Produit normalis

/2

/4

/2

Evaluation de la distribution finale des m

La distribution finale des valeurs de m est dtermine par le produit f(m+J), qui, aprs changement de notation scrit:
f (m + J ) = cos 2 p (m + J )! 2(n" p) (m + J )! (m + J )! n" p sin = X p (u) [1 " X(u)] ; X(u) = cos 2 (u) , u = 2 2 2 (2 ! 46)

Le maximum de ce produit est atteint pour la valeur de m qui annule sa drive:

d ! dX p"1 f (m + J ) = X (1 " X)n" p"1 [ p " nX ] dm 2 du (2 " 47)

soit:
# (m + J )" & p d f ( m + J ) = 0 ! Xmax = cos 2 % max (= $ ' n dm 2 * p2 ) mmax + J = Arc cos , / " + n. (2 0 48)

ce qui correspond au rsultat dj trouv plus haut (eq. 2-43). Nous allons valuer prsent la largeur de la distribution en m autour de mmax en calculant la drive seconde de f(m+J).

Distribution finale des m (suite)

De lexpression de la drive seconde en m = mmax:
d2 " 2 # dX & p!1 f (m + J )m=mmax = !n % ( X (1 ! X)n! p!1 = !n" 2 X p (1 ! X)n! p = !n" 2 f (mmax + J ) (2 ! 49) 2 dm 4 $ du '
2

on dduit le dveloppement de Taylor de la distribution de m au voisinage de son maximum et son expression analytique approche:
# n" 2 (m ! mmax )2 & 2 2 (m ! mmax )2 d 2 f (m + J ) = f ( mmax + J ) + f ( m + J ) m=m = f (mmax + J )%1 ! ) f (mmax + J ) e!n" (m!mmax ) /2 ( max 2 dm 2 2 $ '

La distribution est quasi-gaussienne avec une largeur:

!m =
1

(2 ! 50)

et la mesure est rsolue si:

" n

2J # n

(2 $ 51)

!m < 1

Quand linformation est extraite indpendamment par les diffrents qubits, le nombre de qubits doit tre de lordre du carr de la dimension de lespace du systme mesur. Nous verrons dans les prochaines leons quil existe des stratgies plus efficaces, dans lesquelles les observables mesures sur les qubits successifs sont conditionnes aux rsultats des mesures antrieures.

4J 2 " n> 2 #

(2 $ 52)

Peut-on dtecter la prsence dun objet absorbant A dans un faisceau lumineux sans quil absorbe un seul photon? Voir rfrences la fin de la leon.
A est plac soit lextrieur, soit dans un des bras dun interfromtre Mach Zehnder (MZ). On envoie un photon dans lappareil. Les dtecteurs sont parfaits.

Mesures sans interaction?

D2 Si on place A dans un des bras, les deux voies deviennent D1

distinguables. Le photon est bloqu avec une probabilit de 50%. Il a une probabilit de 50% de passer par lautre voie, et la lame de sortie lenvoie alors probabilits gales vers D1 ou D2. Un clic de D2 implique que A est dans le bras (Bayes). Un clic de D1 napporte aucune information. Le clic de D2 dtecte donc A sans quil y ait eu absorption dun seul photon! A est dtect avec une probabilit 50% par absorption (absence de clics de D1 et D2), 25% sans absorption (clic D2). Il y a incertitude dans 25% des cas (clic D1).

On rgle le MZ pour que le photon sorte avec la probabilit 1 dans la voie D1 lorsque les deux chemins sont indiscernables (A lextrieur).

D2 D1

Le rendement de la dtection sans absorption peut tre rendu arbitrairement proche de lunit (page suivante).

Mesure sans interaction avec MZs en srie

Propos par Kwiat et al ,PRL 74, 4763 (1995).
On remplace le MZ par N MZs en srie (figure), form de deux miroirs et dune lame " % sparatrice, qui rflchit avec une probabilit R = cos2 $ ! ' . En absence dobjet absorbant A, # 2N & londe rflchie est progressivement attnue dans la partie infrieure de linterfromtre alors que londe transmise dans la partie suprieure est amplifie. Aprs N interactions avec la sparatrice, toute londe est transmise dans la partie suprieure. Si on envoie un photon unique travers le dispositif, il sort avec probabilit unit vers le haut (voir page suivante).

On place une lame absorbante A dans la partie suprieure. Si le photon nest pas absorb, il a, parmi tous les chemins possibles, ncessairement suivi celui du bas, avec la probabilit:
PN = cos
2N

" ! % * !2 $ ' ( ,1 ) / # 2N & + 8N 2 .

2N

!2 = 1) + O(N 2 ) 4N

(2 ) 53)

qui tend vers 1 lorsque N. La prsence de A dans la partie suprieure de lappareil empche la croissance de londe de probabilit transmise. Lanalogie de (2-53) avec les formules de leffet Zenon (eqs. 1-8 et 1-10) est discute plus bas. Une variante de lexprience utilise un autre type dinterfromtre (Michelson) avec des photons polariss (voir plus loin).

Oscillation du champ entre les deux modes de linterfromtre avec MZs en srie
Transfert chaque traverse de la lame sparatrice (amplitudes):

E
E

(0) +

=0
=1

(1) E+
(1) E!

E E

(2) + (2) !

( p) +

(0) !

( E! p)

) " ( % " ( %, i cos $ ' sin $ '. ( ( " E+ p) % + # 2N & # 2N & ." E+ p!1) % $ ( p) ' = + $ ( p!1) ' (2 ! 54) # E! & + sin " ( % i cos " ( %.# E! & $ ' $ '. + # 2N & # 2N &*

Matrice de transfert unitaire:

" ! % " ! % U = i cos $ ' I + sin $ '( x # 2N & # 2N &

(2 ) 55)
# & #1& ; % ( =% ( $ ' $1' (2 ) 56)

Valeurs et vecteurs propres de U:

mi " # " & " ! = i cos % = ie 2 N ( sin $ 2N ' 2N

Do, lvolution du champ initial (E+(0)=0, E-(0)=1) aprs p itrations:

! ( p. +$ 'i sin * & ! 0 $ U p (!1$ ! 1 $+ i p ( ' ip. !1$ i p. ! 1 $+ p # ) 2N -& , Up# &= *# & ' # &- = *e 2 N # & ' e 2 N # &- = i # # ( p. + & " 1 % 2 )"1% "'1%, 2 ) "1% "'1%, cos * # & ) 2N - % , "

(2 ' 57)

Lamplitude du champ oscille entre les deux modes. Aprs N interactions avec la sparatrice, le champ est entirement transmis (E-(N)=0).

Autre exemple de mesure sans interaction

(a)
M2 M1

(b)
SP RP

(c) A

(d) ?

H ou V? (a) Un interfromtre Michelson M est form de deux miroirs M1 et M2 et dune sparatrice polarisante SP qui transmet (resp.rflchit) les photons polariss horizontalement H (resp. verticalement V). Un miroir mobile MM laisse entrer un photon polaris H, lemprisonnant dans M pour N cycles. Une lame rotatrice RP fait tourner la polarisation de /2N par cycle. (b) Si M est vide, la composante V du photon est chaque cycle rflchie vers M2, la composante H transmise vers M1. Aprs retour sur SP, V et H se recombinent en phase, le photon se propage vers MM et retraverse 2 fois RP. A chaque cycle la polarisation tourne de /2N et aprs N cycles le photon est polaris V. (c) Si le bras horizontal contient un objet absorbant A et si le photon nest pas absorb, le champ suit ncessairement le chemin qui correspond chaque cycle une transmission de SP vers M1. La probabilit de ce chemin est cos2N(/2N)~1-2/4N et tend vers 1 lorsque N. (d) Aprs N cycles, MM est retir et le photon schappe, polaris H si A est absent, V si A est prsent. A, qui na presque pas absorb, est dtect avec quasi certitude. Analogie de cette version de lexprience avec leffet Zenon de polarisation (1re leon). Cette exprience est dcrite par Kwiat et al (Scientific American) et Kwiat (Physica Scripta) (voir refs la fin).

MM

Lexpression sans interaction est abusive. A interagit dans toutes les versions de lexprience avec le mode du champ. Mme si la probabilit dabsorption du photon est petite, ltat du champ est modifi par le couplage A. Le caractre tonnant de cette exprience provient des proprits intrinsquement quantiques de linterfrence une particule. Pour approfondir lanalogie avec leffet Zenon, considrons un paquet donde un photon se propageant dans linterfromtre MZ en srie (voir 2 pages plus haut). En labsence de A, ltat du paquet aprs p collisions avec la sparatrice scrit sous la forme dduite de la relation classique (2-57): $ p# ' $ p# ' ! p = "i sin & ) 0,1 + cos & ) 1, 0 (2 " 58) % 2N ( % 2N ( o sont indiqus dans chaque ket le nombre (0 ou 1) de photons dans les parties infrieure et suprieure de linterfromtre. Le champ oscille entre les tats |1,0> (photon en bas) et |0,1> (photon en haut), rappelant loscillation de Rabi (eq. (1-7)). Lobjet A insr dans la partie suprieure du MZ, joue le rle dun dtecteur, que lon peut modliser en lui attribuant deux tats |Ag> (fondamental) et |Ae> (excit). Aprs la 1re collision avec la sparatrice, le couplage avec A ralise la transformation trs rapide: #!i sin ( " / 2N ) 0,1 + cos ( " / 2N ) 1, 0 % ' Ag ( !i sin(" / 2N ) 0, 0 ' Ae + cos(" / 2N ) 1, 0 ' Ag (2 ! 59) $ & Comme on nobserve pas A, ltat final du champ est dcrit par loprateur densit trac sur A: ! = sin 2 ( " / 2N ) 0, 0 0, 0 + cos 2 (" / 2N ) 1, 0 1, 0 (2 # 60) La composante |0,0> (vide) nvolue plus dans les collisions ultrieures et ne contribue pas au signal. Lautre composante, |1,0>, est ltat initial, obtenu avec la probabilit cos2(/2N). Chacune des collisions et couplage A qui suivent re-prparent avec la mme probabilit le champ dans ltat initial, le figeant dans cet tat avec la probabilit finale cos2N(/2N), comme dans leffet Zenon. Cette analyse montre que labsorption, mme si elle a une probabilit faible, est essentielle. Cest parce que A fait disparatre trs efficacement tout photon apparaissant dans le haut du MZ que le champ est constamment reprojet dans ltat initial.

Interaction ou non? Absorption ou pas?

Nous avons pass en revue diffrents types de mesures gnralises en physique quantique et introduit la notion de POVM, qui correspond une mesure projective ralise sur un systme auxiliaire coupl au systme tudi. Nous avons vu comment lacquisition dinformation par POVM sapparentait un processus de Bayes classique. Nous avons galement introduit un modle intressant de mesure dans lequel le systme (reprsent par un moment angulaire) est coupl un ou plusieurs qubits indpendants, chaque couplage correspondant un POVM permettant d extraire une information partielle sur le systme. Nous avons vu comment laccumulation de ces mesures POVM conduisait une mesure projective du systme. Ce modle nous servira dans la suite du cours lorsque nous tudierons la dtection non destructive de photons par un ensemble datomes deux niveaux. Lanalyse des mesures interfromtriques dites sans interactions a aussi t instructive. Elle nous a montr la puissance - et le caractre non intuitif- des mthodes interfromtriques comme moyen dacquisition dinformation et de mesure. Nous avons vu aussi que malgr leur nom, ces mthodes reposent sur un couplage absorptif entre le systme mesur et lappareil de mesure. Nous verrons une situation analogue en Cavity QED, o un atome plac dans un cavit peut, avec une probabilit dabsorption arbitrairement faible, contrler la transmission dun champ contenant un grand nombre de photons. Dans les expriences dcrites plus haut, le photon fait partie de lappareil de dtection. Nous allons voir dans la suite une situation oppose o le photon est lobjet mesur et o le processus de mesure ne repose pas sur un processus absorptif rsonnant. Quelques rfrences sur les mesures dites sans interaction: Elitzur et Vaidman, Foundations of Physics, 23, 987 (1993) Quantum seeing in the dark, Kwiat, Weinfurter et Zeilinger, Scientific American, Nov 1996. Kwiat, Weifurter, Herzog, Zeilinger and Kasevich, Phys.Rev.Lett. 74, 4763 (1995). Kwiat, Physica Scripta, T76, 115 (1998)

Conclusion de la deuxime leon