Laboratorio Nacional de Comput cao Cientca

Disciplina: GB 120 - Computac ao Quantica I

Professor: Renato Portugal
Aluno: Aaron Leao
Data: 27 de maio de 2013
Lista 5 Exerccio 3.1) After discarding the second register of R
D
, show that
R
D
= (2|DD| I
N
) I
2
(1)
R
D
= H
n
(2|DD| I
N
)H
n
. (2)
Sketch a circuit that implements R
D
using Hadamard gates and a generalized Tooli gate.
Sabemos que HH

= I e H = H

e sabemos tambem que o estado |D e o estado diagonal de nqubits

e e dado por |+
n
. Seja o estado |+ = H|0. Podemos reescrever entao, a equa cao (2) como
R
D
= (2|DD| I
N
)
= (2|+
n
+
n
| I
N
)
= (2H
n
|0
n
0
n
|H

n
I
N
)
= (2H
n
|0
n
0
n
|H

n
H
n
H
n
)
= H
n
(2|0
n
0
n
|H

n
H
n
)
= H
n
(2|0
n
0
n
| I
N
)H

n
assumindo |0 = |0
n
e H = H

.
= H
n
(2|00| I
N
)H
n
Onde N = 2
n
.
Como R
D
= R
D
descartando uma fase global, entao R
D
= H
n
(I
N
2|00|)H
n
I
N
2|00| =
_

_
-1 0 . . . 0 0
0 1 0 . . . 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 0 . . . 1
_

_
(3)
Como esta parte do circuito leva |0
n
= |0
n
e mantem para qualquer outro caso. O circuito abaixo
representa a opera cao de R
D
.
|0 H X X H
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
|0 H X X H
|0 H
. .. .. .
X H H X H
1
Lista 5 Exerccio 3.2) Show algebraically that the product of reections R
D
R
x0
rotates a generic
vector in the real plane spanned by |x
0
and |x
0

by angle = 2arccosD|x

0
.
Demonstracao. Seja |v um vetor generico dado por |v = |x
0
+ |x

0
e o vetor |D =
1

(N)
|x
0
+

N1

(N)
|x

0
.
R
x

0
= 2|x

0
x

0
| I
R
D
= 2|DD| I
R
x

0
|v = (2|x

0
x

0
| I)|v
= (2|x

0
x

0
| I)(|x
0
+ |x

0
)
= (2|x

0
x

0
|(|x
0
+ |x

0
) (|x
0
+ |x

0
)
= (2|x

0
) (|x
0
+ |x

0
)
= |x
0
+ |x

0

= |v

R
D
|v

= (2|DD| I)|v

= 2|DD|v

|v

= 2|D(x
0
|
1
_
(N)
+ x

0
|

N 1
_
(N)
)(|x
0
+ |x

0
) |v

= 2|D(

N
+

N 1

N
) (|x
0
+ |x

0
)
= 2(
1

N
|x
0
+

N 1

N
|x

0
)(

N
+

N 1

N
) (|x
0
+ |x

0
)
=
2
N
_
( +

N 1)|x
0
+ (

N 1 + N )|x

0

_
+ |x
0
|x

0

=
_
2 + 2

N 1 + N
N
_
|x
0
+
_
2

N 1 + N 2
N
_
|x

0

= |v

Calculando o produto interno entre |v, estado inicial do vetor generico com |v

, estado apos as duas reexoes.

v|v

=
2
2
N
+
2

N 1
N
+

2
N
N

2

N 1
N
+

2
N
N

2
2
N
=
2
2
N

2
2
N
+
2
+
2
=
2
N
(
2
+
2
) + (
2
+
2
) , como
2
+
2
= 1
= 1
2
N
Seja

2
o angulo entre |D e |x

0
, cos

2
= D|x

0
, portanto,
2
cos

2
+

2
= cos
2

2
+ sen
2

2
=
_
N 1

N
_2

_
1

N
_
2
=
N 1
N

1
N
=
N 2
N
=
N
N

2
N
= 1
2
N
3