ENCOM 2016 1

Estudo da Influencia do Rudo na Fidelidade de

Teleportacao de Portas Quanticas
Francisco W. A. Cavalcante, Fernando V. Mendes, Fabio A. Mendonca

AbstractNeste trabalho e estudado o efeito do rudo aditivo

x x x
 
na representacao por decomposicao KAK de esquemas para 



teleportacao de portas quanticas de 2 qubits.  r 
 y y y 
Index Termsteleportacao de portas quanticas, rudo, DJ =   = r2 sin . (3)
 
decomposicao KAK, fidelidade  r 

 z z z 

 r 
I. I NTRODUC AO
dxdydz = DJ dd = r2 sin dd. (4)
Esquemas fsicos que executam o teletransporte de portas e
estados quanticos sofrem a acao de rudos que influenciam no Assim, para a esfera de Bloch, em que r = 1, DJ = sin .
resultado final. Para estudar a influencia do rudo aditivo no Portanto, o valor medio da fidelidade em coordenadas esfericas
teletransporte de portas quanticas, foi usada a funcao fidelidade para todos os estados de 1 qubit possveis e dado por:
como medida de proximidade entre o estado de sada do Z
1
circuito ideal e o estado de sada do circuito com rudo. A Fm = F (, ) sin dd. (5)
fidelidade media foi calculada integrando a funcao fidelidade 4
sobre a superfcie da geometria do estado e, a seguir, dividindo No caso de circuitos em que ha na entrada estados de 2
pela area da figura geometrica correspondente. qubits separaveis, a expressao para a fidelidade media pode
ser obtida a partir da multiplicacao das expressoes para a
II. F IDELIDADE ENTRE ESTADOS DE 1 QUBIT OU 2 QUBITS fidelidade media de cada qubit [2]. Logo:
Z
SEPAR AVEIS 1
Fsep. = F (1 , 1 , 2 , 2 ) sin 1 sin 2 d1 d1 d2 d2 .
Estados quanticos de 1 qubit podem ser representados 16 2
(6)
geometricamente na esfera de Bloch por um vetor ~r(x, yz)
cujas coordenadas sao definidas por:
III. F IDELIDADE ENTRE ESTADOS DE 2 QUBITS GEN ERICOS
x = sencos Considere um estado de 2 qubits genericos, entrelacados
y = sensen (1) ou nao, dado em termos de 4 amplitudes de probabilidade
z = cos. complexas como sendo:

Para estudar a influencia do rudo em um circuito quantico,
pode-se adotar a medida de proximidade conhecida como
fidelidade. Considerando que o estado na sada de um circuito
quantico ruidoso seja noise e que no caso ideal (sem rudo)
o estado seja ideal , ambos para um dado estado de entrada
in generico, a fidelidade entre os estados na sada e definida
como sendo F = hideal |noise |ideal i.
No entanto, o estado de entrada in e desconhecido. Logo,
e util determinar a fidelidade media, que pode ser calculada
integrando a fidelidade pontual na esfera de Bloch e dividindo
pela superfcie de uma esfera unitaria:
Z
1 x2 = sin 1 cos 2
Fm = F (x, y, z)dxdydz.
4 x3 = sin 1 sin 2 cos 3
Afim de representar a equacao 2 num sistema de co-
ordenadas esfericas, usaremos o conceito de determinante
jacobiano [1]. Assim, devemos obter uma expressao para o
calculo da fidelidade media em funcao de (r,,) ao inves
de (x,y,z). As expressoes usadas na transformacao estao nas
expressoes 3 e 4.
|i = |00i + |01i + |10i + |11i. (7)
A equacao generalizada de uma hiperesfera [3]:
S 2n+1 = {~z C n+1 : ||~z|| = 1} (8)
em que n Z + . Como temos 4 amplitudes complexas, o valor
de n e definido por: n+1 = 4 n = 3 2n+1 = 7. Temos,
portanto, uma hiperesfera S 7 , num espaco vetorial R8 . As
coordenadas hiperesfericas sao definidas, entao, por 7 angulos
(1 , 2 , 3 , 4 , 5 , 6 e 7 ):
x1 = cos 1
(2)
x4 = sin 1 sin 2 sin 3 cos 4
(9)
x5 = sin 1 sin 2 sin 3 sin 4 cos 5
x6 = sin 1 sin 2 sin 3 sin 4 sin 5 cos 6
x7 = sin 1 sin 2 sin 3 sin 4 sin 5 sin 6 cos 7
x8 = sin 1 sin 2 sin 3 sin 4 sin 5 sin 6 sin 7
ENCOM 2016 2

Caso Angulos com rudo

em que k [0, ], para k variando de 1 a 6, e 7 [0, 2]. 1 2
Segundo [4], podemos escrever ,, e em funcao das
coordenadas hiperesfericas: Separavel Fsep. = 1
8
sin2 () Fsep. =
1 8
+ cos2 (1 ) cos2 (2 )
9 9 9
= x1 + ix2
= x3 + ix4 Geral Fgeral = 1
4
sin2 () Fgeral =
1 4
+ cos2 (1 ) cos2 (2 )
(10) 5 5 5
= x5 + ix6
= x7 + ix8 . TABLE I
F IDELIDADE M EDIA PARA 1 E 2 ANGULOS COM RU IDO .
Dessa forma, cada ponto da hiperesfera S 7 corresponde a
um estado de geral de 2 qubits. Para calcular a fidelidade
media, no entanto, precisamos considerar todos os estados Fm
possveis de 2 qubits. Isso pode ser feito integrando a funcao 0.10
fidelidade na hiperesfera S 7 . Afim de mudar as coordenadas
de integracao para os angulos da hiperesfera, vamos usar o 0.08
determinante jacobiano, tal como foi feito na secao II:
  0.06
 (x1 , x2 , x3 , x4 , x5 , x6 , x7 , x8 ) 
DJ =  
(r1 2 3 4 5 6 7 )  (11) 0.04
7 6 5 4 3 2
DJ = r sin 1 sin 2 sin 3 sin 4 sin 5 sin 6 .
0.02
Ja a area de uma hiperesfera unitaria S 7 e dada por 4 /3.
Logo, a fidelidade media entre estados de 2 qubits genericos
-1.5 -1.0 -0.5 0.0 0.5 1.0 1.5
e dada por:
(a) 1 angulo com rudo
Z
3
Fgeral = F DJ d1 d2 d3 d4 d5 d6 d7 . (12)
4

A. Decomposicao KAK para portas de 2 qubits

A decomposicao KAK para portas U SU (4) e definida
como U = (U1 U2 )UN L (U3 U4 ) [5].
Definiremos a parte nao local da transformacao SU(4) com
rudo aditivo da seguinte forma:

UeN L = ei((X +aX )XX +(Y +bY )Y Y +(Z +cZ )ZZ ) (13) (b) 2 angulos com rudo

em que a, b, c {0, 1} simulam a presenca de rudo no circuito Fig. 1. Diferenca entre Fgeral e Fsep.
de teleportacao.

B. Fidelidade media na teleportacao de portas com
decomposicao KAK
A tabela I mostra as expressoes obtidas, com o auxlio
do software Matlab, para as fidelidades medias considerando
no circuito de teleportacao a transformacao nao-local da
expressao 13. Definindo a fidelidade media para o caso geral
como Fgeral e para o caso separavel como Fsep. , a figura (1)
mostra os graficos de Fgeral Fsep. , para 1 ou 2 dois angulos
com rudo.
R EFERENCES
[1] W. Kaplan, Advanced calculus, 2002.
[2] M. M. Wilde, Quantum information theory. Cambridge University Press,
2013.
[3] L. Connellan, Spheres, hyperspheres and quaternions, 2014.
[4] I. Bengtsson and K. Zyczkowski, Geometry of quantum states: an
introduction to quantum entanglement. Cambridge University Press,
2007.
[5] R. R. Tucci, An introduction to cartans kak decomposition for qc
programmers, arXiv preprint quant-ph/0507171, 2005.

IV. C ONCLUS AO
A partir dos graficos da Figura 1, conclui-se que o caso
separavel apresenta fidelidade menor ou igual que o caso geral.
Alem disso, quanto maiores os angulos de rudo, maior e a
diferenca entre os dois casos.