ENSEIRB-MATMECA
Option second semestre, 2012/2013
Information Quantique
DM- Avril 2013
Indications : Version amend´ee (le 10/04/2013) grˆ ace aux remarques des
´etudiants.
Partie 1
Transmission d’information.
Dans cette premi`ere partie, on se propose de montrer que, encoder n bits avec k qbits n’est possible que si k ≥ n.
On fixe k, n ∈ N avec k ≤ n. On note B l’espace de Hilbert canonique, de dimension 2 et l’on note | 0 i , | 1 i sa base canonique. On remarque que B
⊗kest de dimension d := 2
ksur C
Encodage : On encode chaque vecteur bool´een x ∈ B
npar un vecteur unitaire | Φ
xi ∈ B
⊗k.
D´ ecodage : Soit | Φ i ∈ B
⊗kun vecteur unitaire. On le d´ecode comme suit.
On fixe une suite de ℓ observables H
0, . . . , H
i, . . . , H
ℓ−1et une suite de 2
nr´eels positifs (λ
x)
x∈Bn, distincts. L’op´erateur hermitien associ´e ` a H
ia pour matrice M
i, de dimension d. Pour chaque x ∈ B
net i ∈ [0, ℓ − 1], on note E
i,xle sous-espace propre de M
iassoci´e ` a la valeur propre λ
x.
On tire al´eatoirement un indice i ∈ [0, ℓ − 1] suivant une loi de probabilit´e (q
0, . . . , q
i, . . . , q
ℓ−1) ( o` u q
i> 0 et P
ℓ−1i=0
q
i= 1). Autrement dit : la probabi- lit´e de tirer l’indice i vaut q
i. Puis on mesure la grandeur H
isur l’´etat | Φ i : - si la mesure fournit λ
xalors le r´esultat du d´ecodage est x.
- si le r´esultat de la mesure n’est aucun λ
x(x ∈ B
n) alors le d´ecodage ´echoue.
1- ` a quelle condition sur les observables H
0, . . . , H
i, . . . , H
ℓ−1est-il vrai que,
pour tout vecteur unitaire | Φ i ∈ B
⊗k, presque sˆ urement, le d´ecodage de | Φ i
fournit un vecteur bool´een x ∈ B
n?
On essaye de d´ecoder un vecteur unitaire | Φ i ∈ B
⊗k. Pour tout x ∈ B
n, on note Pr(δ = x) la probabilit´e que la proc´edure de d´ecodage aboutisse ` a la valeur x. On d´efinit l’op´erateur lin´eaire
P
x:=
ℓ−1
X
i=0
q
iP
i,xo` u P
i,xest la projection orthogonale sur le sous-espace E
i,x. 2- Montrer que Pr(δ = x) = h Φ | P
x| Φ i
3- Montrer que h Φ | P
x| Φ i ≤ tr(P
x)
4- V´erifier que, dans les conditions de la question 1, X
x∈Bn
P
x= Id
dOn note p
xla probabilit´e que la proc´edure de d´ecodage, appliqu´ee ` a | Φ
xi fournisse x.
5- V´erifier que p
x= h Φ
x| P
x| Φ
xi 6- Montrer que P
x∈Bn
p
x≤ d
7- En d´eduire que, si k < n, il existe une vecteur bool´een x ∈ B
nqui est
“mal d´ecod´e” en ce sens que : p
x≤ 2
k−n.
8- Le r´esultat de la question 7 contredit-il la possibilit´e du “codage super- dense” vu en cours ?
Partie 2
Complexit´e de communication le probl`eme du couplage cach´e.
Alice et Bob souhaitent r´esoudre un probl`eme algorithmique. A poss`ede une donn´ee x
Aet B poss`ede une donn´ee x
B. A peut envoyer des qbits ` a B mais B ne peut rien envoyer ` a A. Ils cherchent ` a fournir la r´eponse ` a une question portant sur (x
A, x
B) en minimisant le nombre de qbits qu’Alice envoie ` a Bob.
Donn´ee de A : x ∈ B
[0,2N−1]Donn´ee de B : un couplage C ⊆ [0, N − 1] × [N, 2N − 1]
Question : fournir un couple ((i, j), x
i⊕ x
j) tel que (i, j) ∈ C.
N.B. Un couplage sur [0, 2N − 1] est le graphe d’une bijection de [0, N − 1]
dans [N, 2N − 1].
2
Notation : on pose ⌈ log
2(2N ) ⌉ := n ; il sera ici commode de noter, ´etant donn´e un entier i ∈ [0, 2N − 1], | i i le produit tensoriel
| i i := | b
ni ⊗ | b
n−1i ⊗ . . . ⊗ | b
ii . . . ⊗ | b
0i ∈ B
⊗ntel que
i = X
n j=0b
j2
j.
Un algorithme pour N = 2 - Alice calcule le vecteur
| Φ i := 1
2 [( − 1)
x0| 0 i + ( − 1)
x1| 1 i + ( − 1)
x2| 2 i + ( − 1)
x3| 3 i ] - Elle envoie | Φ i ` a Bob
- Bob fait une mesure dans la base (orthonorm´ee) ( 1
√ 2 ( | 0 i + | C(0) i ), 1
√ 2 ( | 0 i − | C(0) i ), 1
√ 2 ( | 1 i + | C(1) i ), 1
√ 2 ( | 1 i − | C(1) i )) - Bob renvoie :
((i, C(i)), 0) si sa mesure a projet´e | Φ i sur
√12
( | i i + | C(i) i ) ((i, C(i)), 1) si sa mesure a projet´e | Φ i sur
√12
( | i i − | C(i) i )
1- Montrer que, pour tout i ∈ [0, 1],la probabilit´e que Bob obtienne l’´etat
√1
2
( | i i + | C(i) i ) est
1
8 (( − 1)
xi+ ( − 1)
xC(i))
2et la probabilit´e que Bob obtienne l’´etat
√12
( | i i − | C(i) i ) est 1
8 (( − 1)
xi− ( − 1)
xC(i))
22- Montrer que Bob donne presque sˆ urement une r´eponse correcte.
Un algorithme pour 2N = 2
nEn vous inspirant de l’algorithme ci- dessus donner un algorithme dans le cas g´en´eral.
3- Alice calcule un vecteur | Φ i :=?
- Elle envoie | Φ i ` a Bob
4- Bob fait une mesure dans une base orthonorm´ee S
i∈[0,N−1]