Alvaro TCC

UNIVERSIDADE FEDERAL DO PARA
INSTITUTO DE CIENCIAS
EXATAS E NATURAIS
FACULDADE DE FISICA
Trabalho de Conclus
ao de Curso
Alvaro Cesar dos Santos Oliveira
- PA
BELEM
2012

UNIVERSIDADE FEDERAL DO PARA
INSTITUTO DE CIENCIAS
EXATAS E NATURAIS
FACULDADE DE FISICA
Emaranhamento Qu
antico: Teoria e
Aplica
co
es
Orientador: Prof. Dr. Wilson Ricardo Matos Rabelo
- PA
BELEM
2012
Emaranhamento Qu
antico: Teoria e Aplicac
oes
Julgado em:
Conceito:
Comissao Julgadora:
Prof. Dr. Wilson Ricardo Matos Rabelo (Orientador)
Profa . Dra . Silvana Perez
Profa . Dra . Maria Lucia de Moraes Costa
- PA
BELEM
2012
Resumo
Emaranhamento Qu
antico: Teoria e Aplicac
oes
Orientador: Prof. Dr. Wilson Ricardo Matos Rabelo
Resumo do Trabalho de Conclusao de Curso apresentado a Faculdade de Fsica Ciencias
Exatas e Naturais da Universidade Federal do Para (ICEN-UFPA) como parte dos requisitos necessarios para obtencao do ttulo de Licenciatura Plena em Fsica.
No presente trabalho faz um estudo introdutorio sobre o emaranhamento, mostrando

como detectar e quantifica-lo. Para isso, e feita uma iniciacao nos postulados de Mecanica
Quantica. Mostramos o Paradoxo proposto por Albert Einstein, Boris Podolsky e Nathan
Rosen, fundamentando nos princpios de Localidade e Elemento de Realidade. Em seguida, chegamos a uma desigualdade feita por Bell com base na desigualdade CHSH, a
qual leva em consideracao as variaveis ocultas da teoria e do instrumento de medicao.
Demonstramos duas aplicacoes do emaranhamento: a codificacao superdensa e o teletransporte de informacao. Finalmente, usamos a Concorrencia como quantificador para
o modelo de emaranhamento magnetico XYZ em contato com um reservatorio à uma
temperatura T e casos particulares: Modelo de Ising, XY Isotropico e XY Anisotropico.
Belem-Para
Dezembro de 2012
Abstract
In the present work is an introductory study on the entanglement, showing how to detect and quantify it. For this, there is a tutorial in the postulates of quantum mechanics.
We show the paradox proposed by Albert Einstein, Boris Podolsky and Nathan Rosen,
basing on the principles of Feature Location and Reality. Then we arrive at an inequality
made by Bell inequality based on CHSH, which takes into account the hidden variables
theory and measurement instrument. We demonstrate two applications of entanglement:
superdense coding and teleportation of information. Finally, we use the Concurrence as
quantifier for model XYZ magnetic entanglement in contact with a reservoir at temperature T and particular cases: Ising model, XY Isotropic and XY Anisotropic.
Ao meu pai Edson Coelho, minha mae Francilene, meus irmaos, a Thammy e minha
filha Alice.
A coisa mais incompreensvel sobre o mundo e o fato de ele ser compreensvel.

Albert Einstein
Agradecimentos
Do ponto de vista religioso cristao, a Deus, pois sem Ele nada seria possvel.
Ao meu pai, Edson Antonio Coelho de Oliveira, por sempre ter me apoiado e dado
suporte em meus estudos, pois ele o responsavel direto pelo meu sucesso.
` minha mae, Francilene dos Santos Oliveira, pelo amor dedicado.
A
Aos meus irmaos, Edson J
unior, Bruno Patrcio e Francieleno, pelo companheirismo
e amizade.
Aos meus avos, Jose Serrao, Maria Jose e Lidia Coelho, que faleceram antes de me
formar e ao meu avo, Novato Nunes.
Aos meus tios, Flavio Souza e Francinete, pelos anos de convivencia.
Ao amigo de graduacao, de PET-Fsica e compadre, Reginaldo J
unior, pela grande
amizade extra-curso.
Aos amigos de graduacao, em especial: Igor Coimbra, Anderson Almeida, David,
Diego, Tais Costa, Jaciney, Joao Paulo, Eduardo.
Aos amigos, em especial: Thammy, Amanda Pompeu, Andrine Costa, Arthur, Marcos
Carvalho, Benedito do Gurupa, Naiara, Eliz, Cristiano, Gustavo, Kelly, Bela, Cris Vulcao.
Aos amigos da salinha, Ygor Para, Leonardo, Felipe, pela amizade.
Ao PET-Fsica e os amigos que conquistei durante o tempo que fui bolsista: Luis
Eduardo, Isaac Torres, Ari Patrique, Bruno Rafael, Cassio, Cleofas, Rodrigo, Victor.
Aos professores Van Sergio, Joao Felipe, Sergio Vizeu, Silvana Perez e aos demais
professores por terem contribudo para a minha formacao academica.
Ao meu orientador, Wilson Ricardo Matos Rabelo, pelo incentivo e apoio.
` PIBIC/FAPESPA pelo suporte financeiro.
A
Sumario
Introduc
ao
11
1 Postulados da Mec
anica Qu
antica
14
1.1
1.2
Postulados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.1.1
Estado Fsico de um sistema . . . . . . . . . . . . . . . . . . . . . . 14
1.1.2
Observaveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.1.3
Evolucao de um sistema quantico . . . . . . . . . . . . . . . . . . . 22
O que e o Bit Quantico? . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2 Emaranhamento Qu
antico
2.1
2.2
26
O que e o Emaranhamento? . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.1.1
O Paradoxo EPR segundo Bohm . . . . . . . . . . . . . . . . . . . 27
2.1.2
Correlacao de spins . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Desigualdade CHSH por Bell . . . . . . . . . . . . . . . . . . . . . . . . . . 36

2.2.1
Violacao da Desigualdade pela MQ . . . . . . . . . . . . . . . . . . 43
3 Aplicabilidade do Emaranhamento
45
3.1
Codificacao Superdensa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.2
Teletransporte de Informacao Quantica . . . . . . . . . . . . . . . . . . . . 48
4 Emaranhamento T
ermico e Magn
etico
53
4.1
Modelo XYZ
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.2
Calculo do Operador Densidade para o Estado Termico . . . . . . . . . . . 65
4.3
Quantificando o Emaranhamento por meio da Concorrencia . . . . . . . . . 69
4.4
Modelo de Ising . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
4.5
Modelo XY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
4.5.1
Modelo XY Isotropico . . . . . . . . . . . . . . . . . . . . . . . . . 78
4.5.2
Modelo XY Anisotropico . . . . . . . . . . . . . . . . . . . . . . . . 80
Considerac
oes Finais
84
A Produto Tensorial
85
B Notac
ao de Dirac
87
C Espaco de Hilbert
89
D Anti-correlac
ao Perfeita do Singleto
92
Refer
encias Bibliogr
aficas
94
10
Introducao
O emaranhamento e um importante recurso caracterstico da Mecanica Quantica

(MQ). A existencia de estados emaranhados pode ser vista como uma consequencia da
linearidade da MQ, ou seja, da existencia da superposicao de estados na teoria quantica1
([1], [2], [3], [4], [5], [6], [7], [13], [15]). A ideia de emaranhamento se origina com Erwin
Schrodinger no seu artigo [6] de 1926, sem o uso do termo que hoje e utilizado. Somente em 1935 no artigo[7] de Einstein, Poldolsky e Rosen (EPR) quando esse conceito
e usado para partculas separadas por grandes distancias que ganha uma maior atencao.
No artigo, EPR usa os princpios de localidade e realidade para verificar o carater de
completeza da MQ. Tal raciocnio conduz a ideia de que uma Mecanica Quantica local
e completa necessitaria de novas variaveis (ocultas) para descrever o estado do sistema,
variaveis estas que nao estao includas no formalismo tradicional da Mecanica Quantica
[1]. Nesse mesmo ano, Schrodinger cria o termo emaranhamento, quando publica um
artigo em alemao [8] onde usa a palavra verschranktque depois a traduz para o ingles
em outros dois artigos ([9], [10]) usando o termo emaranhamento2 , sendo no artigo [9]
onde apresenta seu famoso paradoxo do gato.
Em 1951, David J. Bohm comenta o artigo de EPR em seu livro[11] demonstrando
1
A superposic
ao de estados por vez, e uma consequencia do espaco vetorial no qual os vetores de
estados se encontram, o de Hilbert e, por construcao, linear.

2
Na literatura inglesa, conhecida como entanglement.
11
a mesma situacao do artigo original. Entretanto, usando um exemplo mais simples, um

sistema de dois spins no qual as partculas encontram-se relacionadas por estado singleto.
Com as crticas feitas por EPR, afirmando que a MQ apesar de ter previsoes corretas,
nao poderia ser completa. Pois, se a MQ fosse completa, o seu carater probabilstico
desapareceria. Haveria variaveis ocultas à teoria quantica que assumidas tornariam a
determinista[12]. Assim, o emaranhamento e mencionado nas discussoes filosoficas da
epoca como sendo, considerado pela grande maioria, o aspecto mais marcante da teoria
quantica.
Ate entao, as discussoes a respeito do emaranhamento, encontravam-se muito mais
somente com John Bell que o status das discussoes
no campo da filosofia que fsico. E
ganha uma nova versao. Em 1964, J. Bell em sua publicacao[13] mostra uma maneira de
detectar o emaranhamento, o que hoje e conhecida como desigualdades de Bell. Essa classe
de desigualdade possibilitou que as discussoes sassem do aspecto filosofico e permitiu que
medicoes em laboratorio fossem possveis. Ele percebe que estados emaranhados como o
singleto violam as suas desigualdades. Dessa maneira, a MQ seria contraria a uma teoria
de realismo local, como considera a teoria de variaveis ocultas([1], [9], [11], [13], [14], [15]).
Com o surgimento da Teoria de Informacao Quantica[16], o uso do emaranhamento
passa a ter um carater pratico. Nessa teoria a utilizacao do emaranhamento como recurso fsico e peca fundamental para a realizacao de protocolos da Informacao Quantica,
tais como: codificacao superdensa[17], teletransporte de estados quanticos[18]. Esses protocolos sao exponencialmente mais rapidos que seus analogos classicos. A codificacao
superdensa e um recurso fsico que permite condensar a informacao classica transmitida.
E o teletransporte permite que, no final do processo, o observador final possua o estado
inicial que descrevia a partcula no incio do processo.
Um grande vilaodo emaranhamento e a temperatura, sendo a sua dinamica alterada
quando e sujeita a variacoes de temperatura, portanto, a informacao contida no emaranhamento vai sendo perdida para o ambiente com um acrescimo de temperatura ([16],
12
[19] ). Uma maneira de tentar minimizar o efeito da temperatura sobre o emaranhamento e submete-lo a` um campo magnetico. Sistemas emaranhados sujeitos a` um campo
magnetico conseguem resistir por mais tempo a uma temperatura T que o mesmo sistema
sem o campo sujeito a mesma temperatura . Assim, alem de detectar o emaranhamento,
e muito importante conhecer o comportamento de um sistema emaranhado e o quanto ele
se encontra emaranhado. Um bom quantificador do emaranhamento e a Concorrencia.
Essa grandeza mostra o quanto o sistema fsico estudado esta emaranhado. Tambem, e
importante conhecer como o emaranhamento varia a` medida que a anisotropia do sistema
vai mudando.
Neste trabalho de conclusao de curso vamos abordar varios temas, comecando no
Captulo 01 com os postulados de Mecanica Quantica para que o leitor que esteja interessado em seguir essa area de conhecimento possa ter uma percepcao de MQ.
O Captulo 02 visa mostrar uma maneira de detectar o emaranhamento. Iniciando
com uma definicao pratica de emaranhamento, segue falando a abordagem feita por Bohm
sobre o Paradoxo EPR. Chegamos a uma desigualdade um pouco mais geral que Bell
fez inicialmente em 1964 e que teve como base o trabalho de Clauser, Horne, Shimony e
Holt em 1969. E finalizando, com uma demonstracao da quebradessa desigualdade.
Quando falamos do emaranhamento, e importante que seja feita alguma demonstracao de sua grande potencialidade como recurso fsico. O Captulo 03 faz dois exemplo
da aplicabilidade do emaranhamento: A Comunicacao Superdensa e Teletransporte de
Informacao de um estado quantico desconhecido.
No Captulo 04 mostramos uma forma de quantificar o emaranhamento de um sistema
fsico de dois spins-1/2 sem campo magnetico externo e em equilbrio termico com um
sistema externo, muito maior que o sistema fsico considerado. Demonstramos alguns
modelos particulares: Modelo de Ising, XY Isotropico e XY Anisotropico.
13
Captulo
Postulados da Mecanica Quantica

O leitor que ja esta familiarizado com os conceitos e postulados de MQ podara avancar
para o Captulo 02 sem nenhuma perda de continuidade. Este Captulo falara sobre os
postulados de MQ seguindo a abordagem semelhante ao de Michael A. Nielsen e Isaac L.
Chuang em seu livro[16]. Em seguida mostrara a definicao de um q-bit, conceito que sera
usado no trabalho.
1.1
Postulados
O formalismo da Mecanica Quantica e a estrutura matematica em que sao postulados

os conceitos primitivos pelos quais a teoria quantica e fundamentada. A descricao de um
sistema fsico e baseada em dois conceitos fundamentais: estado e observavel.
1.1.1
Estado Fsico de um sistema
A MQ e fundamentada em que um vetor de estado |i descreve totalmente um sistema

fsico. Este vetor de estado contem, dentro das limitacoes impostas pelo Princpio de
Heisenberg, a informacao maxima sobre o sistema quantico. De acordo com o postulado:
Postulado 1: A todo sistema fsico existe associado um espaco vetorial complexo
14
com produto interno, chamado espaco de Hilbert, conhecido como espaco dos estados do
sistema, cujos vetores de estados descrevem completamente os estados do sistema.
Os vetores de estados pertencem a um espaco vetorial de dimensao infinita, onde e
definido um produto escalar:

uv = v u ,
Para a teoria quantica, e importante para sua interpretacao probabilstica que todos
os vetores da MQ tenham metrica unitaria, ou seja, e necessario que |i seja normalizado.
Assim, exceto para o ket nulo, um vetor |ui pode ser colocado na forma normalizada:
1
|u0 i = q
|ui ,
uu
que tem a propriedade de ortonormalidade,
0 0
u u = 1.
Ainda, tratando da interpretacao probabilstica da MQ, os vetores tem que ser ortogonais,

uv = 0.
Assim, os vetores da base {|ni} sao, simultaneamente, ortonormais e ortogonais: A
probabilidade de o vetor |ui ser ele proprio e 100% e de ser um vetor arbitrario |vi e
zero. Essa interpretacao pode ser representada por uma delta de Kronecker:

uv = uv
1,
=
0,
A norma tem valor positivo definido,

uu > 0.
Prova:
15
u = v,
u 6= v
Seja
|ui =
Calculando,

uu =
= + = ||2 + ||2 .
(1.1)
Como
||2 > 0,
||2 > 0.
Temos que

uu > 0.
Se dois vetores |1 i e |2 i pertencerem ao espaco de Hilbert, entao qualquer combinacao linear entre eles, tambem pertencera a H,
|i = |1 i + |2 i ,
onde , C. Essa propriedade e o Princpio da Superposicao aplicada ao espaco de
Hilbert.
Usando a propriedade de completeza,
X
|ni hn| = 1.
(1.2)
Podemos expandir os vetores pertencentes ao espaco de Hilbert, em termos de elementos

de uma base generica {|ni}, tambem pertencente ao espaco de Hilbert,
|i = 1 |i
X
=
|ni hn| |i
n
= n |ni
= n |ni ,

onde n = n para n = 1, 2, ..., n.
16
(1.3)
1.1.2
Observ
aveis
dito observavel, toda quantidade fsica que se pode medir em um dado sistema, como
E
por exemplo, a posicao, o momento, a energia, a componente do spin em uma direcao
arbitraria. O conceito de operador esta estritamente relacionado a` medida de observavel.
Na formulacao do formalismo da Mecanica Quantica, os observaveis sao representados
por operadores hermitianos definidos sobre o espaco de Hilbert.
Postulado 2: Qualquer quantidade fsica A mensuravel e descrita matematicamente
por um operador A que atua sobre o espaco de estados do sistema
Matematicamente, representamos o operador, como
A |i = | 0 i ,
(1.4)
onde A e o operador que atua em |i produzindo um outro vetor | 0 i no mesmo espaco.

Consideramos que os operadores com interesse fsico sao lineares. Tal que,
A( |1 i + |2 i) = A |1 i + A |2 i ,
(1.5)
para qualquer , C e |1 i , |2 i H.
Existe uma classe de operadores que desempenham um papel muito importante na
MQ, sao os operadores hermitianos, pois o resultado de sua medida e um valor real.
Definic
ao: Um operador A e dito hermitiano ou auto-adjunto se
A = A ,
isto e, se A for igual à transposta do conjugado dele.
Temos, assim, que toda quantidade fsica mensuravel A e descrita por um operador
hermitiano A, sendo este operador um observavel pertencente ao espaco de Hilbert.
Algumas propriedade de operador hermitianos conjugados:
1. (A ) = A
2. (A) = A
17
3. (A + B) = A + B
4. (AB) = B A
Ha casos na MQ em que os vetores de estado |i nao sao alterados sobre a acao do
operador A, isso ocorre quando |i e um autovetor (ou autoestado) associado ao operador
A em situacao. Assim, o u
nico resultado possvel para a medida da quantidade fsica A
e um dos autovalores an do operador A correspondente:
A |an i = an |an i .
(1.6)
Para provar que os autovalores dos operadores hermitianos sao reais, tomamos a correspondencia dual da equacao 1.6, dada por:
han | A = han | an .
(1.7)
Multiplicando a eq. 1.7 a` direita por |an i, a eq. 1.6 por han | a` esquerda e subtraindo uma
da outra. Chegamos a:

an an (an an ) = 0.
(1.8)

Como |an i nao e nulo, entao an an > 0. Assim, temos:
an = an .
(1.9)
Operando de forma semelhante para dois autovetores distintos de um operador
0
an an (an a0n ) = 0.
(1.10)

Sendo an 6= a0n , e concludo que an a0n = 0, portanto, os autovetores associados a`
diferentes autovalores do operador A sao ortogonais.
Generalizando, para um conjunto de {Ak } de operadores. Uma medida quantica e
descrita por um conjunto {Ak } de operadores de medida, atuantes no espaco de Hilbert do
sistema observado. Podemos associar um ndice k a cada possvel resultado da medida. Se
18
o estado de um sistema quantico for |i, imediatamente antes da medida, a probabilidade

de um resultado k ocorrer e dada por:
p(k) = h| Ak Ak |i .
(1.11)
Apos a realizacao da medida, o novo estado descrito pelo sistema e dado por
Ak |i
|i q
h| Ak Ak |i
(1.12)
Para que p(k) tenha uma interpretacao de probabilidade, os operadores Ak satisfazem

a relacao de completude:
X
Ak Ak = 1.
(1.13)
O que expressa o fato de que a soma de todas as probabilidades devera ser igual a 1:
X
p(k) =
h| Ak Ak |i = 1.
(1.14)
A formulacao dada na eq. (1.11) e similar à

p (an ) = | an |2 ,
(1.15)
que e a probabilidade de obter o autovalor an (por simplicidade trataremos apenas do caso

nao degenerado) numa medida de um observavel A sobre o sistema no estado normalizado
|i.
Temos que a soma todas as probabilidades do sistema quantico ser encontrado de
alguma maneira equivale à 1,
X
n
p (an ) =
X

| an |2 = 1.
(1.16)
Uma classe muito importe de operadores hermitianos e a dos projetores, dados por
Pi |ui i hui |
19
facil demostrar que P e hermitiano para qualquer |ui, Pi = P

para um sistema puro. E
i
e sao que e idempotente, Pi = Pi2
Geralmente, e usado a formulacao de vetor de estado |i quando se conhece o estado
quantico. No entanto, na MQ ha momentos em que o observador nao consegue descreve
o vetor com que trabalha. Nessa dificuldade, aparece uma classe de operador projecao,
o chamado operador densidade. Assim, o estado fsico do sistema quantico pode ser
completamente descrito por um operador densidade, representado por .
O Operador densidade e uma forma mais conveniente para se descrever um sistema
quantico, o qual o estado nao e completamente definido. Assim, o operador densidade
pode ser definido como
pi |i i hi | ,
(1.17)
onde seria o somatorio de todos os conjuntos de estados puros |i i com probabilidades pi

sendo i o ndice. Tal formulacao e matematicamente equivalente a` abordagem de vetor
de estado, mas ha casos em que se torna mais conveniente o uso de uma que de outra.
Assim, operadores que podem ser caracterizados como operadores densidade, se satisfazer as seguintes condicoes:
1. Condic
ao sobre o traco: O traco de = 1;
Prova:
tr() =
pi tr(|i i hi |)
pi
= 1
2. Condic
ao de positividade: deve ser positivo.
Prova:
20
Seja |i um vetor arbitrario no espaco de estados. Entao,

h| |i =
pi h| |i i hi | |i
pi | h| |i i |2
0.
Alem, dessas condicoes, o operador densidade por ser um operador projetor deve
satisfazer a seguinte igualdade,
= 2 = .
As medidas dos sistemas quanticos sao descritas por uma colecao de operadores de
medidas {Am }. Esses operadores atuam sobre o espaco de estados do sistema sendo
medido. O ndice m faz referencia a um possvel resultado da medida. Se o estado do
sistema imediatamente antes da medida for , a probabilidade de o resultado m ocorrer
sera
p(m) = tr(Am Am )
(1.18)
e o estado do sistema apos a medida sera

Am Am
tr(Am Am )
(1.19)
Os operadores de medida satisfazem a seguinte equacao de completude

X
Am Am = I.
dito que um sistema quantico cujo o vetor de estado |i e conhecido exatamente

E
esta em um estado quantico puro. Assim, o operador densidade se reduz à
= |i h| .
Matematicamente, e possvel determinar se o estado e puro se satisfazer a condicao de
tr(2 ) = 1.
21
Quando nao e possvel descrever exatamente o sistema fsico, diz-se que e um estado
misto, em que ha um mistura de diferentes estados puros, ou seja, ha uma mistura de
diferentes conjuntos de estados puros.
Em um estado misto temos que:
tr(2 ) < 1.
1.1.3
Evolu
c
ao de um sistema qu
antico
importante saber como o sistema evolui no tempo. A lei ou equacao de movimento

E
que rege a evolucao de vetor de estado no tempo para situacoes nao relativsticas e a
equacao de Schodinger.
Postulado 3: A evolucao temporal do estado de um sistema quantico e descrita pela
equacao de Schodinger:
i~
d |i
= H |i .
dt
(1.20)
Sendo H o operador Hamiltoniano do sistema e esta associado à energia total do sistema

fsico em questao. Assim, a equacao, por meio de H, depende do sistema fsico em
consideracao.
Se o hamiltoniano de um sistema for conhecido, sua dinamica sera completamente determinada (em princpio). Geralmente, descobrir o hamiltoniano de um sistema particular
e um pouco complicado.
Sendo o hamiltoniano um operador hermitiano, ele possui uma decomposicao espectral
(retomada no Captulo 04),
H=
E |Ei hE| ,
(1.21)
com autovalores E e autovetores |Ei.

No caso de um q-bit, qualquer operador unitario pode ser implementado em sistemas
fsicos reais. Assim, podemos dizer a evolucao de um sistema quantico e descrita por uma
22
transformacao unitaria U:
| 0 i = U |i .
(1.22)
O operador unitario pode ser representado por

i
i
U (t) = e ~ Ht = 1 Ht.
~
(1.23)
Quando caracterizamos o estado em termos de operador densidade a evolucao do

sistema e dada por
0 = U U .
1.2
(1.24)
O que
e o Bit Qu
antico?
O bit quantico (q bit) e a unidade de informacao quantica. Os q-bits sao objetos
matematicos com propriedades analogas aos bits1 que e usado na computacao classica. O
qbit pode assumir dois estados fsicos possveis |0i ou |1i2 que sao chamados de estados
da base. Estes estados da base que sao os mesmo dois existentes do bit, mas em notacao
de Dirac, tem sua representacao matricial dada por

1
0
e
|1i = |i = ,
|0i = |+i =
0
1
(1.25)
e formam uma base ortonormal nesse espaco vetorial, sendo |0i e |1i estados da base
computacional. O qbit podera assumir valores diferentes de |0i e |1i, podendo apresentar
um estado generico formado pela superposicao dos dois estados da base

|i = |0i + |1i = ,
(1.26)
Bit (BInary digiT) e a menor unidade que se pode transmitir em computacao classica. Podendo
assumir dois valores mutualmente exclusivos, como por exemplo, positivo ou negativo, verdadeiro ou
falso, representados por 0 e 1.
2
Notac
ao utilizada na Mec
anica Qu
antica chamada de notacao de Dirac que e padrao para estados
qu
anticos.
23
sendo as amplitudes e n
umeros complexos3 . Quando realizamos uma medida sobre
o estado, o processo de medicao destroia superposicao fazendo com que o qbit possa
assumir o estado |0i, com probabilidade ||2 , ou o estado |1i, com probabilidade ||2 .
Havendo apenas dois valores possveis, |0i e |1i, temos entao que
||2 + ||2 = 1.
(1.27)
Em virtude de se tratar da soma das probabilidades, a soma resulta em 100% ou 1. Em

outras palavras, a norma do vetor |i e dada por

p

|i = ||2 + ||2 = 1.
(1.28)
A superposicao de estados (1.26) possibilita com que o q-bit possa existir em um

estado contnuo entre |0i e |1i. Podemos interpretar que, antes de realizar a medida, o
q-bit |i esta simultaneamente presente nos estados |0i e |1i. Tal interpretacao faz com
que a quantidade de informacao que pode ser armazenada em um u
nico q-bit |i possa ser
infinita. Esse poderde informacao carregado por um q-bit foi muito bem representando
na chamada esfera de Bloch.
Observe que o estado |i pode assumir tantos valores possveis quanto pontos presentes
na esfera, ou seja, infinitos valores. Assim, era de se esperar que se possa armazenar
uma imensa quantidade de informacao em um u
nico q-bit. Entretanto, essa informacao
encontrasse à nvel de interpretacao quantica. No momento em que se realiza a medida,
a informacao colapsara para um dos dois estados possveis |0i ou |1i.
O qbit devido a sua representacao vetorial em (1.26) pode ser reescrito na sua forma
polar como

|i = ei cos |0i + ei sen |1i ,

2
2
(1.29)
onde , e sao n
umeros reais.
Para entender melhor o que foi exposto, imagine que da mesma forma que no experimento de dupla fenda ha uma indeterminacao, antes da medida, entre qual das duas
3
Lembrando que um n
umero complexo pode ser: z = x + iy, z = x ou z = iy
24
Figura 1.1: Representacao de um q-bit na esfera de Bloch. Imagem retirada do artigo Motta V. S., Carvalho L. M., Maculan N., Esfera de Bloch: algumas propriedades,
XXVIII-CNMAC, Sao Paulo, 2005.
fendas o eletron passa, nao se pode inferir em qual bit (|0i ou |1i) o q-bit |i se encontra.
Mas, apos a realizacao do procedimento de medicao a funcao de onda colapsara para um
dos dois estados possveis, ou seja, teremos o estado |0i ou o estado |1i.
25
Captulo
Emaranhamento Quantico
Neste captulo trataremos do que foi um importante passo na Mecanica Quantica, a
chamada desigualdade de Bell, trabalho este que possibilitou que a Mecanica Quantica
transitasse do campo do pensamento filosofico para o campo operacional, isto e, pudessemos
medir e observar experimentalmente as previsoes teoricas. Mas, antes trataremos de alguns acontecimentos relevantes ocorridos no decorrer da historica. Neste captulo, primeiramente, trataremos do famoso artigo feito por Einstein, Podolski e Rosen em 1935[7],
o qual poem em d
uvida o carater de completeza da Mecanica Quantica. Logo depois,
iremos mostrar a interpretacao dada por Bohm sobre este experimento de pensamento,
fornecendo uma formulacao mais simples, quando trabalhou com um sistema de dois spins.
Finalizamos com a desigualdade de Bell, onde iremos fazer uma construcao para o estado
singleto.
2.1
O que
e o Emaranhamento?
Vamos utilizar a definicao formal de emaranhamento usada em [19] para uma percepcao pratica do leitor. Assim, temos que:
Definic
ao 1: Seja um sistema quantico composto de N subsistemas tal que o espaco
de Hilbert associado a ele e H = N
e o espaco de Hilbert associado a
j=1 Hj , onde Hj
26
cada subsistema. Se |i H e o estado que descreve este sistema, entao ele nao esta
emaranhado se, e somente se, podemos escreve-lo na forma fatorada:
|i = N
j=1 |i ,
onde |j i Hj .
A definicao acima se aplica apenas para estados puros. Para estados mistos emaranhados temos uma formulacao mais geral:
Definic
ao 2: Seja um sistema quantico composto de N subsistemas descrito por um
e o espaco de Hilbert formado por todos os
operador densidade = N
j=1 j , onde j
operadores que atuam em Hj . Dizemos que representa um sistema nao emaranhado se,
e somente se, este operador pode ser escrito, para algum k, como uma soma de produtos
diretos:
k
X
j
pi N
j=1 i ,
i=1
onde pi > 0,
Pk
i=0
pi = 1 e i j Hj . Observe que quando definimos o emaranha-
mento, na verdade, definimos um estado nao emaranhado ou separavel. Alem disso, essas
definicoes nao sao operacionais para determinar o emaranhamento de um dado sistema,
devido a`s dificuldades da decomposicao de |i ou de em uma base separavel. Para
contornar esses problemas varias medidas de emaranhamento foram propostas, entre elas
citamos algumas: o Emaranhamento de Formacao (Concorrencia)[20], a Entropia Relativa
de Emaranhamento[21] e o Emaranhamento Destilavel[22].
2.1.1
O Paradoxo EPR segundo Bohm

Em 1935, Einstein e seus colaboradores Boris Podolski e Nathan Rosen escreveram
um artigo[7] intitulado de Can Quantum-Mechanical description of Physical Reality be

considered complete?, o qual ficou mais conhecido como EPR devido aos seus autores.
Na epoca em que este artigo foi publicado, os conceitos da Mecanica Quantica ja estavam
27
fundamentados, no entanto, um carater em especial incomodava alguns cientistas, dentre

eles, estava A. Einstein, o qual achava que a interpretacao probabilstica da Mecanica
Quantica mostrava que algo faltava a essa teoria.
Este artigo tem um carater historico muito importante, pois possibilitou toda uma
discussao conceitual futura para o surgimento da teoria do emaranhamento quantico.
Nele, os autores propoem um experimento imaginario que argumenta sobre a completude
da teoria quantica.
Para chegar a comprovacao que a MQ seria incompleta, EPR faz duas definicoes muito
importantes: o que seria um elemento de realidade e o que definiria uma teoria completa.
As referencias ([2], [4]) repassam muito bem a ideia do artigo em si, e por isso serao
seguidas aqui.
Pela necessidade de uma especificacao precisa, EPR propuseram um criterio de realidade[4]:
Se, sem de modo algum perturbar o sistema, podemos predizer com certeza (i.e. com
probabilidade 1) o valor de uma quantidade fsica, entao existe um elemento de realidade
fsica correspondente a essa quantidade fsica.
Outro conceito chave no artigo e o que fundamentaria uma teoria completa (Condicao
de Completeza):
Para que uma teoria seja considerada completa, e necessario que todo elemento de
realidade fsica tenha um elemento correspondente na teoria fsica.
Isso quer dizer que cada elemento previsto na teoria da MQ deve ser medido tendo
uma correspondencia com algum elemento de realidade. Portanto, esses foram as duas
consideracoes iniciais feitas no artigo para debater o indeterminismo da MQ, que levam
problemas serios quando levamos em consideracao o Princpio de Incerteza de Heisenberg.
Segundo este princpio de 1927 consideramos:
Se duas quantidades fsicas sao representadas por operadores que nao comutam entre
si, o conhecimento preciso de uma destas quantidades impede que se tenha o conhecimento
da outra.
28
Assim, EPR[7] argumentou que,

Ou (1) a descricao quantica da realidade dada pela funcao de onda e incompleta, ou
(2) quando tomamos operadores correspondentes a duas grandezas fsicas e esses operadores nao comutam, entao essas grandezas fsicas nao podem ter realidades simultaneas.
Se (1) for falso entao (2) tambem e falso [4]. Portanto, (1) deve ser verdadeiro,
a teoria quantica embora forneca previsoes corretas, deve ser incompleta. As medidas
devem apenas revelar estados ja pre-existentes, ainda nao descritos pela teoria. Ou, se
admitirmos a MQ como sendo uma teoria completa, ou seja, as quantidades fsicas que o
princpio de incerteza se refere deve ser conhecidas, levando a conhecer, simultaneamente,
as duas quantidades fsicas, violando assim o princpio.
Alem, de definir o que e elemento de realidade e completeza, EPR faz uma hipotese
de localidade crucial para o problema:
Nao existe acao a distancia, ou seja, se dois pontos estao afastados espacialmente,
nao pode haver nenhuma influencia imediata entre eles.
Assim, pela condicao de localidade, as medicoes realizadas em um sistema nao podem
afetar à distancia, elementos de realidade relacionados em um outro sistema.
David Joseph Bohm, em 1951, tratou o problema de EPR de uma maneira muito
mais simples[11], considerando um arranjo no qual os estados de spin das partculas estao
correlacionados, sendo que o spin total e zero. Esse estado e chamado de singleto | i.
Dado por:

1

= (|0i1 |1i2 |1i1 |0i2 ) ,
2
(2.1)
A medida na direcao z pode ser realizada para cada uma das partculas de SternGerlach. Supondo que se realiza uma medida na direcao z para a partcula 1 fornecer o
autovalor +1, o estado final de 2.1 e duzido para
|F i = |0i |1i .
29
(2.2)
Figura 2.1: Figura retirada do livro Conceitos de Fsica Quantica - Volume IIde Osvaldo
Jr. Estado de singleto de duas partculas de spin 1/2.
Assim, para este estado o autovalor fornecido pela medicao da partcula 2 sera necessariamente 1. Este estado garante que o autovalor de uma partcula 1 seja oposto ao da
partcula 2, pois estao anti-correlacionadas.
Supondo agora que o aparelho de Stern-Gerlach tenha sido preparado para uma direcao
x . Assim, ao inves de escrever o estado em termos de z devemos reescrever os auto-estados
para a direcao x. No entanto, no Ap
endice D e mostrado que mesmo qualquer que seja
a direcao a adotada no aparelho de Stern-Gelarch, o resultado estao anti-correlacionados.
Por esse motivo, e dito que o estado singleto possui uma anti-correlacao perfeita. Caso o
sinal fosse alterado para +, o estado perderia essa simetria.
2.1.2
Correla
c
ao de spins
Vamos admitir, agora, que o observador e livre para orientar em direcoes arbitrarias
cada um dos dois aparelhos de Stern-Gerlach. Sendo assim, temos
, a matriz de Pauli, e
(ou, simplesmente, a e b) as direcoes dos spins das partculas 1 e 2, respectivamente.
eb
a

Os produtos escalares
(1) .a e
(2) .b serao as projecoes desses spins na direcoes a e
b.
Adotamos, o eixo do sistema de coordenadas na origem da fonte e o parametro de
direcao sera o eixo z, usado para medir as projecoes dos spins.
30
Figura 2.2: Figura retirada do livro Conceitos de Fsica Quantica - Volume IIde Osvaldo Jr. Arranjo experimental com analisadores de Stern-Gerlach para a derivacao da
desigualdade de Bell para direcoes arbitrarias.
Supondo o seguinte operador

(1) .a
(2) .b ,
(2.3)

onde
(1) .a e o operador que mede a projecao do spin da partcula 1 em uma direcao

arbitraria a e
(2) .b e a projecao da partcula 2 na direcao b. Assim, o operador ( 2.3 )
relaciona a interacao entre o spin 1 na direcao a com o spin da partcula 2 orientado em
b.
Partindo de um posicionamento muito importante, o de que a MQ deve ser capaz de
reproduzir resultados previstos da realidade fsica. Assim, o valor esperado para a equacao
(2.3) e considerada como uma medida de correlacao dada por
(1)

.a
(2) .b ,
P (a, b) =
(2.4)

que, na verdade, e o valor medio esperado do produto tensorial
(1) .a
(2) .b entre os
operadores que projetam os spins das duas partculas nas suas respectivas direcoes, com
o sistema que se encontra no estado | i. A matriz da direita operara no estado | i e
a da esquerda no conjudado do vetor de estado , representado por h |.
Vamos calcular o valor esperado da eq. (2.4), em termos da matriz de Pauli que pode,
facilmente, ser mudada para valores de spins por meio da relacao
31
2
S.
~
(2.5)
Substituindo o estado singleto da eq. (2.1) na eq. (2.4) acima, temos
P (a, b) =

1
(2)
.a
.b (|01i |10i) .
2
(1)
(2.6)
E agora, o conjugado hermitiano correspondente ao | i dado por

1
(1) .a
P (a, b) = (h01| h10|)
2

1
(2)
.b (|01i |10i) ,
2

(2.7)
ou ainda
P (a, b) =

1
(h01| h10|)
(1) .a
(2) .b (|01i |10i) .
2
(2.8)
Fatorando os estados
P (a, b) =
P (a, b) =

1
(h0|1 h1|2 h1|1 h0|2 )
(1) .a
2
(2) .b (|0i1 |1i2 |1i1 |0i2 ) .

1
h0|1
(1) .a h1|2 h1|1
(1) .a h0|2
2

|0i1
(2) .b |1i2 |1i1
(2) .b |0i2 .
Obtendo
32
(2.9)
(2.10)
P (a, b) =

1 h (1)
h0|
.a |0i h1|
(2) .b |1i
2

(1)
(2)
h1|
.a |0i h0|
.b |1i

h0|
(1) .a |1i h1|
(2) .b |0i

i
+ h1|
(1) .a |1i h0|
(2) .b |0i .
(2.11)
(2.12)
Sendo o produto escalar

(1) .a que nos fornece a projecao do spin na direcao a, da
forma
(1) .a = x ax + y ay + z az ,
ou ainda,
(1) .a =
0 1
ax +
0 i
i
1 0
(1) .a =
ay +
1
0 1
az
ax iay
ax + iay
az
0
az
(2.13)
(2.14)
Vamos determinar os termos para a partcula 1:

az
ax iay
1

h0|
(1) .a |0i =
1 0
ax + iay
az
0

1
=
az ax iay
0
= az .
(2.15)
33

h1|
(1) .a |0i =
0 1
ax + iay
ax iay
az
ax + iay
az

1
az
0
1
0
= ax + iay .
(2.16)

h0|
(1) .a |1i =
1 0
az
ax iay
az
ax + iay
az

0
ax iay
1
0
1
= ax iay .
(2.17)

h1|
(1) .a |1i =
0 1
ax + iay
ax iay
az
ax + iay
az

0
az
1
= az .
0
1
(2.18)
Sendo o produto escalar da partcula 2 semelhante ao da primeira,
(2) .b =
bx iby
bz
bx + iby
bz
(2.19)
em termos de representacao geral. Obteremos uma representacao familiar ao da partcula

1 para a partcula 2:

h0|
(1) .b |0i

h1|
(1) .b |0i

h0|
(1) .b |1i

h1|
(1) .b |1i
34
= bz ,
(2.20)
= bx + iby ,
(2.21)
= bx iby ,
(2.22)
= bz .
(2.23)
Substituindo os termos encontrados na medida de correlacao:
1
[az bz (ax + iay )(bx iby ) (ax iay )(bx + iby ) az bz ] .
2
1
=
[2az bz (ax bx iax by + iay bx + ay by ) (ax bx + iax by iay bx + ay by )] .
2
1
=
[2ax bx 2ay by 2az bz ] .
2
= [ax bx + ay by + az bz ] .
P (a, b) =
= a.b.
(2.24)
Se as duas grandezas fossem medidas na mesma direcao com valores unitarios, sendo
a = b, teramos
P (a, b) = cos(a, b) = 1
(2.25)
Isso mostra que, em uma dada direcao arbitraria, a direcao do operador que mede a
projecao do spin da primeira partcula tera um valor oposto ao da segunda partcula:

(1) .a =
(2) .b
(2.26)
Ha a possibilidade[14], em um instante t, de se realizar uma medida em z na partcula

1, e dessa forma, haveria nesse instante t o elemento do realidade para a partcula 2, nessa
direcao. Ou, neste mesmo instante t, o aparelho de Stern-Gerlach poderia ser orientado
para realizar uma medida em x no spin da partcula 1, passando a existir no instante t o
elemento de realidade para a partcula 2 em x 1 . Considerando o princpio de localidade,
a escolha de realizar a medicao em z ou a em x , nao poderia afetar instantaneamente
1
E importante lembrar que o observador podera realizar medida nao apenas nestas tres direcoes, mas
tambem em qualquer direc

ao arbitr
aria. Encontrando, assim, um elemento de realidade para qualquer
direc
ao arbitr
aria.
35
os valores dos observaveis da partcula 2. Assim, os elementos de realidade em x e z

coexistiriam simultaneamente no instante de tempo t, o que nao e previsto pelo formalismo
da Mecanica Quantica. Por essa argumentacao, a MQ seria uma teoria incompleta.
Figura 2.3: Figura retirada do livro Conceitos de Fsica Quantica - Volume IIde Osvaldo
Jr. Escolha da direcao para realizar a medicao no Stern-Gerlach.
2.2
Desigualdade CHSH por Bell
Bohm chamou a atencao para a natureza nao classica observada nas correlacoes entre
spins de uma molecula[11]. Pelas suposicoes de EPR e Bohm, a descricao provida pela
funcao de onda seria incompleta, e isso devia ao fato de existir variaveis que ainda nao se
tinham conhecimento na MQ e que dariam à teoria um carater determinstico. Haviam
teorias propostas na epoca que tentavam complementar a teoria com variaveis ocultas,
entre elas uma proposta por Bohm em 1952[12], quando ainda se acreditava no teorema
proposto por von Neumann como prova contra esta teoria. A teoria de variaveis ocultas
(TVO) tem como finalidade, suplementar a MQ, de modo a torna-la completa. Em geral,
sao todas realista e assumem um carater determinista.
Em 1964, J. S. Bell [13] analisando o trabalho feito por Bohm a respeito do artigo de
EPR, conseguiu chegar a` uma desigualdade que trouxe a possibilidade de medir experimentalmente problemas de carater fundamental na MQ que antes se encontravam apenas
na area de discussoes filosoficas. Bell mostrou que a teoria quantica e incompatvel com
36
as teorias de realismo locais. Utilizando o mesmo estado usado por Bohm, um estado
singleto como definido anteriormente.
Porem, essa desigualdade possui uma limitacao severa, pelo fato do uso essencial da
existencia de anticorrelacao perfeita entre o resultados obtido entre a direcao de dois
subsistemas, tornando sua aplicacao bem restritiva[27]. Assim, tal limitacao foi resolvida por Clauser, Horne, Shimony e Holt em 1969[25], obtendo uma nova desigualdade
com hipoteses menos restritivas, chamada de desigualdade CHSH devido seus autores.
Bell([28], [26]), em 1971, rededuziu essa desigualdade com um metodo mais cuidadoso
para as hipoteses envolvidas.
Uma TVO na MQ diz que o vetor de onda |i nao e o bastante para descrever o
sistema fsico, havendo variaveis adicionais necessarias para incorporar à teoria. Assim,
para medir um observavel A, o conhecimento de |i e bastariam para fornecer um
u
nico resultado na medicao. O conjunto de todos os atributos ocultos das duas partculas
sera representado por com um domnio que adicionado à teoria, tornaria-a completa.
Ao estado quantico vamos atribuir uma distribuicao de probabilidade (), que podemos
nos referir como sendo uma distribuicao de ignorancia. Sendo a normalizacao,
Z
()d = 1.
(2.27)
Os resultados das medidas dos operadores que medem as projecoes dos spins das

partculas 1 e 2,
(1) .a e
(2) .b , devem ser determinados, nao apenas pelas direcoes

de orientacoes, a e b, mas tambem por . Assim, a medida de
(1) .a para a primeira

partcula depende de (a, ) e a medida de
(2) .b da segunda partcula de (b, ). Tendo,
eB
a nova representacao dos operadores que atuarao na partcula 1 e 2, respectivaA
mente. Sendo os resultados possveis para as medicoes deles 1:
A(a,
) = 1,
(2.28)
B(b,
) = 1.
(2.29)
37
ao medir o spin da partcula 1,

Pela condicao de localidade, o resultado da medida de A
exclusivamente
sera determinado exclusivamente pela direcao de a e , e o resultado de B,
nao dependera da orientacao b, nem o resultado de
por b e . Ou seja, o resultado de A
dependera de a.
B
Vamos supor agora que os proprios instrumentos usados na experimentacao contenham
em si variaveis ocultas que poderao influenciar nas medidas, como o caso de . O conjunto
de todas essas propriedades ocultas dos aparelhos sera representada por s e possuira um
domnio S. Alem das direcoes, a e b, e das variaveis escondidas das partculas, , os
resultados das medidas tambem dependerao de s.
A(a,
, s) = 1,
(2.30)
B(b,
, s) = 1.
(2.31)
Sendo s as propriedades dos instrumentos ligados a partcula 1 e s os da partcula 2.

Essa escolha deu a possibilidade de termos um carater mais local ao indeterminismo no
sistema de medida. Permite ainda que os aparelhos de deteccao nao registrem nenhum
dos dois valores possveis 1, nesse caso atribui-se valor nulo. Tendo em vez do que se
tem em (2.30) e (2.31), a forma
A(a,
, s) 1,
(2.32)
B(b,
, s) 1.
(2.33)
Essas relacoes servirao de bases para o restante das deducoes.

Agora, atribumos ao estado uma nova distribuicao de probabilidade mais ampla que
a anterior. Sendo a distribuicao de probabilidade das variaveis ocultas para a primeira
partcula, (a, , s). Ela e normalizada:
Z Z
(a, , s)dsd = 1.
S
38
(2.34)
E a distribuicao para a segunda partcula, (b, , s), sendo normalizada:

Z Z
S0
(b, , s)ds0 d = 1.
(2.35)
A princpio, as distribuicoes de probabilidades 2.34 e 2.35 sao grandezas fatoraveis,

uma vez que podemos considerar o objeto de medida como, inicialmente, independente
do aparelho que realiza tal medicao:
(a, , s) = (a, s)(),
(2.36)
(b, , s) = (b, s)().
(2.37)
Novamente, pela definicao de localidade, supomos que (a, s) e (b, s) possuem valores
independentes. Sendo que a distribuicao (a, s) para o aparelho 1 nao dependa de b, bem
como a distribuicao (b, s) do aparelho 2 nao tenha nenhuma dependencia com a direcao
de a.
Os valores esperados para A(a,

, s) e B(b,
, s) sao calculados por meio da distribuicao de probabilidade dos estados das duas partculas:
Z
E
A(a, ) =
(a, s)A(a,
, s)ds
S
Z
D
E
(b, s)B(b,
, s)ds0
B(b, ) =
D
(2.38)
(2.39)
S0

Calculando o valor esperado de
(1) .a
(2) .b dado agora por
D
A(a, )B(b, ) ,
(2.40)
temos a possibilidade de se calcular as previsoes que a teoria quantica faz, sendo assim,
uma funcao de correlacao dada pelo produto dos valores medios dos dois aparelhos. Como,
pela suposicao feita anteriormente, o valor esperados de cada aparelho nao esta ligado ao
outro de nenhuma forma, dado pela condicao de localidade, podemos dizer que
39
D
E D
ED
E
) B(b,
) .
P (a, b) = A(a,
)B(b,
) = A(a,
(2.41)
Ou seja,
Z Z Z
P (a, b) =
S0
()(a, s)A(a,
, s)(b, s)B(b,
, s)ddsds0
(2.42)
Afim de nao carregar tanta notacao, simplificaremos a notacao das equacoes (2.38)
respectivamente, que e a integracao sobre as variaveis ocultas dos
e (2.39) por A e B,
aparelhos,
Z
P (a, b) =
)B(b,
()A(a,
)d
(2.43)
Supondo que se possa reorientar tanto o aparelho 1, com a finalidade de medir o spin da
primeira partcula em uma outra direcao arbitraria a, quanto a direcao do aparelho 2 para
medir o spin da segunda partcula em uma direcao b qualquer. Isso e possvel, pelo fato
de Bell trabalhar em termos de valores medios, podendo, apos efetuar experimentacoes
com os instrumentos nas posicoes a e b, obtendo P (a, b), e depois, variando as orientacoes
em direcoes arbitrarias, encontrando novas funcoes de correlacao correspondentes a estes
novos pares de direcoes.
Calculando, a funcao de correlacao variando a direcao do aparelho 2, medindo o spin
da partcula 2, temos
Z
P (a, b) =
)B(b,
()A(a,
)d.
(2.44)
Subtraindo (2.43) e (2.44), temos

Z
Z
)B(b,
P (a, b) P (a, b) =
()A(a, )B(b, )d ()A(a,
)d.
Somando e subtraindo pela expressao

Z
)B(b,
()A(a,
)A(a,
)B(b,
)d
40
(2.45)
na eq. (2.45). Temos

Z
)B(b,
P (a, b) P (a, b) =
()A(a, )B(b, )d ()A(a,
)d
Z
)B(b,
+ ()A(a,
)A(a,
)B(b,
)d
Z
)B(b,
()A(a,
)A(a,
)B(b,
)d.
)B(b,
()A(a,
)[1 A(a,
)B(b,
)]d
P (a, b) P (a, b) =
Z
)B(b,
()A(a,
)[1 A(a,
)B(b,
)]d
(2.46)
Usando a desigualdade triangular,

|A|
+ |B|,
|A B|
(2.47)
temos
Z

|P (a, b) P (a, b)| ()A(a, )B(b, )[1 A(a, )B(b, )]d

Z

+ ()A(a, )B(b, )[1 A(a, )B(b, )]d
(2.48)

)B(b,
() A(a,
)[1 A(a,
)B(b,
)] d
|P (a, b) P (a, b)|

Z
+

)B(b,
() A(a,
)[1 A(a,
)B(b,
)] d
(2.49)
Z
|P (a, b) P (a, b)|
Z
+

)B(b,
() A(a,
) [1 A(a,
)B(b,
)] d

)B(b,
() A(a,
) [1 A(a,
)B(b,
)] d
41
(2.50)
Entao, devido a relacao (2.32) e (2.33),

Z

|P (a, b) P (a, b)|

() [1 A(a,
)B(b,
)] d
Z

+ () [1 A(a,
)B(b,
)] d.
(2.51)
Ja que o produto entre dois valores esperados pode assumir valor maximo +1 ou
mnimo -1, sendo
1,
1 AB
implica que

= 1 AB.
1 AB
(2.52)
Usando a relacao acima, podemos reescrever (2.51) como sendo

Z
|P (a, b) P (a, b)|

()[1 A(a,
)B(b,
)]d
)B(b,
)]d.
+ ()[1 A(a,
(2.53)
Z
|P (a, b) P (a, b)| 2
()d
()A(a,
)B(b,
)d
()A(a,
)B(b,
)d.
Obtendo
|P (a, b) P (a, b)| 2 [P (a, b) + P (a, b)] ,
(2.54)
|P (a, b) P (a, b)| + P (a, b) + P (a, b) 2.
(2.55)
ou ainda,
Usando 2.52 nos leva diretamente a` desigualdade de Bell:
|P (a, b) P (a, b)| + |P (a, b) + P (a, b)| 2.
(2.56)
Essa desigualdade semelhante a deducao original de CHSH, considera correlacoes envolvendo de quatro direcoes distintas, a e a para a primeira partcula e b e b para a
42
partcula 2, sendo assim, menos restritiva que a desigualdade de 1964. Dessa forma, caso
algum sistema composto que viole essa desigualdade, S > 2, dizemos que nao satisfaz a
hipotese de localidade de Bell.
Figura 2.4: Sistema de coordenadas assumindo duas novas direcoes em outras medidas
de Bell.
2.2.1
Viola
c
ao da Desigualdade pela MQ
Para demonstrar a discordancia com a Mecanica Quantica, iremos atribuir orientacoes

para os detectores (a, a, b, b) no plano zx, formando com o eixo z angulos de n/4,
n = 0, 1, 2, 3, para o estado singleto, resultando
P (a, b) = 2/2,
P (a, b) = 2/2,
P (a, b) = 2/2,
P (a, b) = 2/2.
Substituindo os valores acima na eq. (2.56), obtemos o valor 2 2, o que viola a

desigualdade.
Nos u
ltimos 40 anos, a evidencia experimental aumentou enormemente, em particular,
em associar as correlacoes quanticas entre subsistemas ao emaranhamento quantico e sua
43
violacao experimentalmente testavel aos limites que seriam impostos pelas desigualdades
de Bell. Ou seja, estados puros emaranhados violam alguma desigualdade do tipo Bell.
44
Captulo
Aplicabilidade do Emaranhamento
A Teoria de Informacao Quantica busca meios de transmitir mais eficientemente a
informacao de uma regiao do espaco a` outra, usando para isso emaranhamento quantico.
consenso na literatura que o emaranhamento e algo indispensavel na implementacao
E
de algortimos quanticos. O emaranhamento e necessario para que protocolos quanticos
sejam mais eficientes que protocolos classicos. Duas aplicacoes sao muito importantes: a
codificacao superdensa[17], a qual condensa a informacao classica enviada, e o teletransporte de estado quanticos[18] que tem como finalidade o envio do estado de uma partcula
entre o emissor e o receptor. Faremos, neste captulo, uma abordagem resumida sobre
Codificacao Superdensa ([3], [19], [16]) e uma sntese do artigo intitulado de Teleporting
an Unknown Quantum State via Dual Classical and Einstein-Podolsky-Rosen Channels,
onde demonstra toda a potencialidade e aplicabilidade dos estados emaranhados.
3.1
Codificac
ao Superdensa
A codificacao superdensa [3] e um protocolo que permite que observador (Alice), que
pode se encontrar separado por uma grande distancia, possa enviar dois bits classicos de
45
informacao a outro observador (Bob), utilizando um u

nico q-bit1 .
Para a realizacao do procedimento, Alice e Bob, necessitam compartilhar um canal
quantico, o qual a informacao sera transmitida. Vamos considerar que esse canal seja o
estado emaranhado,
+ |00i + |11i
=
.
2
(3.1)
O primeiro bit pertence à Alice e o segundo esta com Bob,

+ |0iA |0iB + |1iA |1iB
=
.
2
(3.2)
Nao ha a necessidade de os dois observadores se encontrar para pre-fixar o estado |+ i.

Um terceiro mediador poderia previamente preparar o estado e enviar uma partcula para
Alice e outra para Bob.
Alice operara localmente na sua partcula, gerando um dos quatro estados ortogonais
de Bell. As quatro operacoes unitarias que Alice podera realizar sao:

I +

z +

x +

iy +

= + ,

= ,

= + ,

= ,
(3.3)
(3.4)
(3.5)
(3.6)
onde I e a matriz identidade e i (i=x, y,z) sao as matrizes de Pauli.

Vamos propor que Alice queira enviar como informacao para Bob, 10. Sendo 1 e 0
a informacao do primeiro e segundo bits. Assim, para Bob decodificar a informacao 10
necessita de uma conversao de codificacao estabelecida por ambos. Usando a conversao
da Tab. (3.1).
Assim, Bob precisa do estado |+ i para decodifica a mensagem 10. Operando localmente em sua partcula, Alice por meio da conversao 3.5 transforma o estado |+ i
1
Classicamente, para Alice enviar dois bits de informacao para Bob necessitaria enviar duas partculas
ou entidades fsica a Bob, as quais seriam usadas para codificar a informacao.
46
Estado
Conversao
|+ i
00
| i
01
|+ i
10
| i
11
Tabela 3.1: A coluna da esquerda associa cada estado de Bell a uma mensagem de dois
bits da coluna da direita.
em |+ i. Logo em seguida, envia o seu q-bit para Bob. Bob, por sua vez, realiza, em
seu sistema composto por duas partculas, uma medida de Bell, descobrindo que Alice o
enviou o estado |+ i.
Figura 3.1: Retirado da Tese de Doutorado de Gustavo G. Rigolin (IFGW-Unicamp). a)

Alice realiza uma operacao local em seu q-bit, gerando um dos quatro estados de Bell,
e envia o resultado a Bob. b) Bob, realiza uma medida de Bell nos dois q-bits, lendo a
mensagem dos dois bits enviados atraves de um q-bit por Alice.
Podemos observar que Alice conseguiu enviar a informacao de dois bits classicos usando
apenas um u
nico q-bit. Essa foi a proposta feita por Bennet e Wiesner [17] em 1992,
usando estados quanticos emaranhados para condensar a informacao classica transmitida.
47
3.2
Teletransporte de Informa
c
ao Qu
antica
O Teletransporte Quantico e um processo em que um estado quantico desconhecido
(q-bit) e transmitido de uma regiao (Alice) do espaco para outra (Bob) utilizando um par
de Bell e dois bits de informacao classicos. Isto e, diferentemente do que temos nos livros
de ficcao cientfica, o q-bit nao e desmaterializadoe em seguida materializadoem outra
regiao.
O Teletransporte pode ser colocado formalmente do seguinte modo, Alice possui um
estado quantico arbitrario |i e deseja envia-lo a` Bob. A maneira talvez nao mais facil,
porem trivial de Bob obter todas as informacoes contidas no sistema |i seria se Alice
transportasse a propria partcula ate o local onde Bob se encontra. Agora, caso pretenda
evitar o envio da partcula, Alice tera de agir de outra forma.
Inicialmente, Alice possui uma partcula que e descrita por um estado quantico, chamado de bit quantico ou q-bit, |i, e deseja enviar a` Bob. Para tanto, necessita de um
canal comum aos dois. Essa informacao viajara por meio de um dos estados de Bell,
denominado de canal EPR (usaremos o estado singleto, | i). Assim, no final da comunicacao o estado |i nao mais descrevera uma partcula de Alice, mas uma partcula
pertencente a` Bob. O estado |i original de Alice sera destrudo no processo de medida,
obedecendo assim o teorema de nao-clonagem, e ela passara a ter sua partcula descrita
por um dos quatro estados de Bell (| i ou | i), tratando de uma mistura de emaranhamento maximo. Porem, como foi dito antes, para Bob poder construir uma replica exata
do sistema quantico |i, necessitara de dois canais: um quantico e outro classico. O canal
quantico compreende o estado de Bell ou ebit (entangled bit) e o classico esta relacionado
aos dois bits que Alice enviara a` Bob apos a medicao e que viajarao classicamente, preservado a causalidade. Esse processo recebe o nome de Teletransporte Quantico. Vamos
agora demonstrar como transportar um estado quantico de uma partcula de spin-1/2.
Desejamos transmitir o estado quantico |i que pertence à Alice, mas antes devemos
conveniente escrever o estado
divid-lo em uma parte classica e uma outra nao-classica. E
48
Figura 3.2: Retirado da Tese de Doutorado de Gustavo G. Rigolin (IFGW-Unicamp).

a) Alice faz uma medida de Bell nos seus dois qbits. b) Alice envia dois bits de informacao a Bob. c) Apos receber a mensagem de Alice, Bob opera localmente em seu
qbit, completando o protocolo.
desconhecido da primeira partcula como

|A i = a |0iA + b |1iA ,
(3.7)
com |a|2 + |b|2 = 1.

Primeiramente, e preciso ressaltar que Alice e Bob possuem um par de partculas
emaranhadas, um estado de Bell. Isto e, Alice possui uma partcula e Bob (em outra regiao
do espaco) possui a outra. Juntas, elas formam um estado de Bell (tambem chamado de
e-bit), na figura (3.2), representado pela linha ondulada. O estado de Bell das duas
partculas de spin-1/2 em um estado singleto

1

= (|0i |1i |1i |0i) .
2
Ou ainda,
49
AAB
1
= (|0iA |1iB |1iA |0iB ).
2
Apesar de compartilharem um canal quantico comum que sera usado para o teletransporte,
ainda esse estado de Bell nao possui nenhuma informacao sobre o q-bit |i, o qual ainda
encontra-se com Alice. Todo o sistema antes da medicao de Alice, compreendendo o q-bit
que Alice quer enviar a` Bob e o canal EPR,

|AAB i = |A i
AB ,
1
= (a |0i + b |1i) (|01i |10i) ,
2
a
b
= (|001i + ||010ii) + (|101i + |110i) .
2
2
(3.8)
notado que o dois primeiros q-bits pertencem a Alice e o terceiro a Bob (|AABi, A:
E
Alice e B: Bob). Agora, e possvel separarmos a parte pertencente a` Alice e ao Bob. O
produto interno | iA | iA pode ser reescrito em termos das base de Bell (| i e | i)
obtendo
|i =

1
(a |0i b |1i) + + (a |0i + b |1i)
2

+ (a |0i + b |1i) + + (a |0i b |1i)].
Podendo ser melhor visualizada

|AAB i =

1
AA a |0iB b |1iB ) + +
AA (a |0iB + b |1iB )
2

a |0iB + b |1iB ) + +
+
AA (a |0iB b |1iB )].
AA
(3.9)
Independente do q-bit que Alice possua inicialmente que representa um estado desconhecido |i, a probabilidade de alice obter qualquer um dos estados de Bell, apos a medida
dos dois q-bits que ela possui, e igualmente provavel, cada qual com uma probabilidade
50
Medida de Alice
Estado dos tres qbits
| i
| i (a |0i b |1i)
|+ i
|+ i (a |0i + b |1i)
| i
| i (a |0i + b |1i)
|+ i
|+ i (a |0i b |1i)
Tabela 3.2: Na primeira coluna os possveis resultados de Alice e na segunda como os tres
q-bits podem ser relacionados.
de 1/4. Apos Alice realizar a medida no seu estado que deseja teletransportar e q-bit
que compartilha com Bob, a partcula de Bob tera sido projetada para qualquer um dos
estados da tabela (3.2). O q-bit de Bob |iB esta relacionado de uma maneira bastante
trivial com o estado desconhecido que Alice deseja teleporta-lo.
Alice necessita comunicar classicamente o resultado de sua medida à Bob que de posse
dessa informacao (os dois bits de informacao fornecidos por Alice), apenas precisara olhar
na Tab. (3.3) em qual estado encontra-se a sua partcula e efetuar uma das 04 (quatro)
operacoes unitarias que necessita para se obter o estado original de Alice. Essas operacoes
unitarias serao realizadas por meio da matriz identidade (I) e as matrizes de Pauli (x e
z ). Notemos que no primeiro resultado do estado de Bob |iB apenas difere de uma fase
global do estado desconhecido de Alice |i. Agora para os outros tres casos, necessitara
realizar rotacoes em torno dos eixos z, x e y, respectivamente, com a finalidade de recuperar
o seu estado |iA original de Alice (Veja a Tab. 3.3).
Vemos que pelo simples fato de Alice ter comunicado classicamente o resultado de sua
medida à Bob, podemos realizar um teletransporte preciso em todos os casos, efetuando
rotacoes unitarias para se obter o estado original |i de Alice. Caso Bob nao obtivesse
os dois bits classicos de Alice, o estado das tres partculas |AABi seria descrito por
= |i h|. Tomando o traco sobre os q-bits pertencentes à Alice, teremos
51
Medida de Alice
Operacao de Bob
Q-bit de Bob
| i
I(-a|0i b |1i)
|+ i
z (a |0i + b |1i)
| i
x (a |0i + b |1i)
|+ i
z x
z x (a |0i b |1i)
Tabela 3.3: Essas transformacoes unitarias devem transformar o q-bit de Bob em um

replica do estado desconhecido de Alice.
B = T r1,2 []

= + + + + + + +
1
1
=
|0i h0| + |1i h1| .
2
2
(3.10)
Note que apos a medida na base de Bell feita por Alice, Bob necessita apenas da
informacao classica dos dois bits de Alice para finalizar o protocolo e colapsar para um
dos quatros estados da tab. (3.3). O q-bit de Bob no final do processo nao estara mais
relacionado com os dois q-bits de Alice mostrando que o canal quantico deixa de existir
no final do processo.
No final do processo, o sistema quantico que descreve a partcula de Alice, nao sera
mais o estado desconhecido |i original, mas um dos estados maximamente emaranhados
de Bell (| i ou | i), sem nenhum resqucio do estado original.
52
Captulo
Emaranhamento Termico e Magnetico

O emaranhamento em um sistema de duas partculas foi tratado nos captulos anteriores[19].
Consideraremos este sistema bipartite em um estado quantico puro, isto e, com um isolamento perfeito do ambiente. Uma discricao mais realista e quando adotarmos a influencia
de interacoes com o ambiente, e neste caso, consideremos sistemas compostos em estados
mistos, isto e, em uma mistura estatstica de estados quanticos. A descricao de operador
densidade para sistemas bipartites surge naturalmente quando consideramos os efeitos de
temperatura sobre estados quanticos, e neste contexto, a descoberta da existencia de emaranhamento em uma cadeia de spin unidimensional, quando esta se encontra em equilbrio
termico com um reservatorio a temperatura T.
Vamos comecar falando de um modelo de interacao entre spins-1/2, chamado de XYZ
(modelo de Heisenberg anisotropico) sem campo externo, definido pela hamiltoniana:
H=
N
1
X
i=1

jx i i+1 jy i i+1 jz i i+1
x x + y y + z z
,
4
4
4
(4.1)
onde temos as constantes de acoplamentos: Jx , Jy , Jz e x , y , z as matrizes de Pauli.

Usamos ~ = 1.
53
4.1
Modelo XYZ
Por simplicidade no trabalho algebrico e na manipulacao das matrizes, vamos tra-
balhar com dois spins, N = 2. Com este n

umero de spins podemos derivar analiticamente
uma expressao entre a quantidade de emaranhamento e a temperatura, alem de estudar
varios casos especiais da literatura. Reescrevendo a hamiltoniana do modelo XYZ, com
ausencia de campo externo, temos:
H=
Jx 1 2 Jy 1 2 Jz 1 2
+ y y + z z ,
4 x x
4
4
(4.2)
O modelo e anisotropico devido aos parametros Jx , Jy e Jz assumirem quaisquer valores.

Podemos reescrever esses parametros de uma forma mais conveniente:
= jx jy ,
(4.3)
= jx + jy ,
=
.
(4.4)
(4.5)
Entao, nossa hamiltoniana fica:

H=
Jz 1 2 + 1 2 1 2
+
x x +
y y .
4 z z
8
8
(4.6)
O parametro e usado para quantificar anisotropia do sistema. Observe que, = 0 e

jz = 0, teremos o modelo XY isotropico. Para = 1 e jz = 0 temos o modelo de Ising.
Antes de prosseguir analisando o modelo XYZ, vamos observar como e a atuacao desta
hamiltoniana na base canonica, isto e:

1
0

0
1
; |01i =
|00i =

0
0

0
0
Vamos tambem trabalhar

~ 1
z
2
; |10i = ; |11i =
0
.
como uma notacao compacta, exemplo:

~ 2
1
z |0i |0i = z z |00i , ~ = 1,
2
4
54
(4.7)
Logo, temos:
z z |0i = 1/4 |0i ,
z z |1i = 1/4 |1i ,
x x |0i = 1/4 |1i ,
x x |1i = 1/4 |0i ,
y y |0i = 1/4 |1i ,
y y |1i = 1/4 |0i ,
(4.8)
Entao ficamos com a atuacao de H na base canonica:
H |00i =
H |01i =
H |10i =
H |11i =

(jx jy )
1 jz
|00i +
|11i ,
4 4
4

1 jz
|01i + |10i ,
4 4
4

jz
1
|01i |10i ,
4 4
4

1
jz
|00i + |11i .
4 4
4
(4.9)
Como podemos observar os estados |00i , |01i , |10i , |11i, nao sao autoestados da hamiltoniana de interacao.
Vamos encontrar os quatro autoestados da Halmiltonia (4.2). Usaremos para melhor
estudar e facilitar no estudo do modelo XY Z, como
H=
Jz 1 2 + 1 2 1 2
+
x x +
y y .
4 z z
8
8
Sendo
= Jx Jy
(4.10)
= Jx + Jy .
(4.11)
55
Vamos calcular a matriz acima. Temos que
0 1 0 0
1 0
1 0
=
z z =
0 0 1 0
0 1
0 1
0 0
0 1
(4.12)
0 0 0 1
0 0 1 0
0 1
0 1
,
=
x x =
0 1 0 0
1 0
1 0
1 0 0 0
0 0 0 1
0 0 1 0
0 i
0 i
.
=
y y =
0 1 0 0
i 0
i 0
1 0 0 0
De forma que
1 0
0 0
0 1 0 0
Jz
H=
4
0 0 1 0
0 0
0 1
0 0
+ 0 0
+
0 1
1 0
56
0 1
1 0 0
+
0
0 0
0 0
1
(4.13)
(4.14)
0 0 1
0 1
1 0
0 0
0
.
0
(4.15)
J
0
0
0
z
0
0
1 0 Jz
H=
4
0
0 Jz 0
0
0
0 Jz
1
+
8
to
(4.17)
J
0
0
0
z
0
0
1 0 Jz
H=
4
0
0 Jz 0
0
0
0 Jz
0
0
0 2
1 0
0 2 0
+
.
8
0 2 0
0
2 0
0
0
J
0
0
J /4
0
0
/4
z
z
0 Jz
0 0
Jz /4 /4
0
1
=
.
H=

4
0
Jz 0 0
/4 Jz /4
0
0
0 Jz
/4
0
0
Jz /4
(4.18)
Uma vez, encontrada a matriz que descreve a Hamiltoniana, vamos encontrar os autovalores de energia. Por meio da equacao secular det(H I) = 0 encontramos os 04
(quatro) autovalores correspondentes. Calculando
57
det
Jz /4
/4
Jz /4
/4
/4
Jz /4
/4
Jz /4
=0
Jz /4
/4
0

Jz
det
+
/4
Jz /4
0
4
0
0
Jz /4
0
0
/4

det Jz /4
/4
0 =0
4
/4
Jz /4 0
Jz
(4.19)
2
2
#
Jz
Jz
Jz

+
4
4
4
4
"
2 2 #
Jz
=0
4
4
4
4
4
(4.20)
"
2 "
2 2 #
Jz
Jz

+
4
4
4
2 "
2 2 #
Jz

=0
4
4
4
(4.21)
"
2 2 # "
2 2 #
Jz
Jz

=0
4
4
4
4
(4.22)
(4.23)
Para uma solucao diferente da trivial temos duas possibilidades: ou o primeiro colchete
e igual à zero, ou o segundo e nulo. Assim,

2 2
Jz

=0
4
4
58
(4.24)
Jz
=
4
4
(4.25)
Jz
.
4
(4.26)
=
Obtendo, dois autovalores possveis
Jz +
,
4
Jz
=
.
4
+ =
(4.27)
(4.28)
E tambem,

2 2
Jz

=0
4
4
Jz
=
4
4
Jz
4
(4.29)
(4.30)
(4.31)
Obtendo
Jz +
,
4
Jz
=
.
4
+ =
(4.32)
(4.33)
Apos obter os autovalores, iremos calcular os 04 autoestados correspondentes. Sendo

a funcao de autovalor obtemos a relacao (H ) |i = 0, a qual pode ser escrita na sua
forma matricial como
59
Jz /4
0
0
/4
0
a

b 0
Jz /4
/4
0
=

c 0
/4
Jz /4
0

0
d
0
0
Jz /4
0
/4
(4.34)
Temos para + :
/4
0
0
/4
/4
a
0

Jz /2 /4
/4
0 b 0
=

/4
Jz /2 /4
0 c 0

0
0
/4
d
0
(4.35)
Chegando no sistema

4 a + 4 d = 0,
Jz b + c = 0,
2
4
4

Jz
b
+
c = 0,
4
2
4

a + d = 0.
4
4
(4.36)
Da primeira equacao chegamos que a = d. Multiplicando a 2a e a 3a equacao por /4

e (Jz /2 /4), respectivamente, obtemos b = 0 e c = 0. Usando a norma
|a|2 + |b|2 + |c|2 + |d|2 = 1,
|a|2 + |d|2 = 1,
|a|2 + |a|2 = 1,
1
|a| = ,
2
1
a = = d.
2
Obtendo,
60
+
=

1/ 2
0
= 1 (|00i + |11i) .
2
0
1/ 2
(4.37)
Temos para :
/4
/4
a
0

0 Jz /2 + /4
/4
0 b 0
=

0
/4
Jz /2 + /4 0 c 0

/4
0
0
/4
d
0
(4.38)
Chegando no sistema
a+
d = 0,

J2z + 4 b + 4 c = 0,

b + J2z + 4 c = 0,
4

a
+
d = 0.
4
4
(4.39)
Da primeira equacao chegamos que a = d. Multiplicando a 2a e a 3a equacao por

/4 e (Jz /2 /4), respectivamente, obtemos b = 0 e c = 0. Usando a norma
|a|2 + |b|2 + |c|2 + |d|2 = 1,
|a|2 + |d|2 = 1,
|a|2 + | a|2 = 1,
1
|a| = ,
2
1
a = = d.
2
Obtendo,
61
|i =

1/ 2
0
= 1 (|00i |11i) .
1/ 2
(4.40)
Temos para + :
Jz /2 /4
0
0
/4
/4
a
0

b 0
/4 /4
0
=

c 0
/4 /4
0

0
0
Jz /2 /4
d
0
(4.41)
Chegando no sistema

a + 4 d = 0,

4 b + 4 c = 0,

b
+
c = 0,
4
4

a + J2z 4 d = 0.
4
Jz
2
(4.42)
Da segunda equacao chegamos que b = c. Multiplicando a 1a e a 4a equacao por /4

e (Jz /2 /4), respectivamente, obtemos a = 0 e d = 0. Usando a norma
|a|2 + |b|2 + |c|2 + |d|2 = 1,
|b|2 + |c|2 = 1,
|b|2 + |b|2 = 1,
1
|b| = ,
2
1
b = = c.
2
Obtendo,
62
+ 1/ 2
= = 1 (|01i + |10i) .
2
1/ 2
(4.43)
Temos para :
Jz /2 + /4
0
0
/4
/4
a
0

b 0
/4 /4
0
=

c 0
/4 /4
0

0
0 Jz /2 + /4
d
0
(4.44)
Chegando no sistema
Jz
2

+ 4 a + 4 d = 0,

b
+
c = 0,
4
4

b + 4 c = 0,
4

a + J2z + 4 d = 0.
4
(4.45)
Da segunda equacao chegamos que b = c. Multiplicando a 1a e a 4a equacao por

/4 e (Jz /2 /4), respectivamente, obtemos a = 0 e d = 0. Usando a norma
|a|2 + |b|2 + |c|2 + |d|2 = 1,
|b|2 + |c|2 = 1,
|b|2 + | b|2 = 1,
1
|b| = ,
2
1
b = = c.
2
Obtendo,
63
Autovalor
Autoestado
+ =
Jz +
4
|+ i =
Jz
4
| i =
+ =
Jz +
4
|+ i =
Jz
4
| i =
1
2
1
2
1
2
1
(|00i + |11i)
(|00i |11i)
(|01i + |10i)
(|01i |10i)
Tabela 4.1: Na primeira coluna os autovalores de energia da Hamiltoniana e na segunda,

seus correspondentes autoestados de energia.
1/ 2
1/ 2
0
= 1 (|01i |10i) .
(4.46)
Sendo
Jz
,
4
Jz (Jx + Jy )
=
,
4
(Jx + Jy + Jz )
=
.
4
Quando Jx = Jy = Jz temos o caso isotropico de Heisenberg,

~ (1) .S
~ (2) .
H = JS
(4.47)
O mesmo resultado para o autovalor do estado de energia, = 3/4J, onde o singleto

e um autoestado fundamental.
Os resultados sao melhor vistos na tabela 4.1:
64
4.2
C
alculo do Operador Densidade para o Estado
T
ermico
Uma vez, se tratando de um sistema termico, e importante sabermos como o
sistema fsico de duas partculas de spin-1/2 descrito pela Hamiltoniana (4.2) se comporta
quando e sujeito à uma dada temperatura T.
A matriz densidade , que descreve um sistema em equilbrio termico com um reservatorio a temperatura T
exp(H/kT )
,
(4.48)
Z
onde k a constante de Boltzmann (k = 1, 38054 1023 J/K) e Z e a funcao de particao
=
dada por1 :
Z = T r {exp(H/kT )} .
(4.49)
Para calcular o estado termico do sistema em equilbrio à uma temperatura T, representaremos a Hamiltoniana na sua forma diagonal
X
H=
i |i i hi | ,
(4.50)
onde i representa os autovalores para i = 1, 2, ..., N e |i i os autoestados correspondentes

a cada i . Nesse caso, a Halmitoniana (4.2) tera 04 autovalores. Assim, temos

H = + + + + + + + + + .
Calculando cada componente. Temos

1/ 2
1
+
+ 0
0
1

=
=
1/
2
0
0
1/
2
2
0
0

1/ 2
1
1
0 0 1
(4.51)
0 0 0
,
0 0 0
0 0 1
(4.52)
Para um melhor entendimento, leia o Captulo 04 sobre Ensemble Canonico de S. R. A. Salinas,
Introduc
ao `
a Fsica Estatstica, USP, 2008.
65

1/ 2
1
0
0
1/2 0 0 1/2 = 1
0
0
1
1/ 2
0
0

1 0
+
+ 1/ 2
= 0 1/ 2 1/ 2 0 =
2
1/ 2
0
0
0
1/ 2
1/ 2
0
0 0 1
0 0
0 0
0 0
0 0 0
0
, (4.53)
1 1 0
,
1 1 0
0 0 0
(4.54)
0 1 1 0
0 1/2 1/2 0 = 1
.
0 1 1 0
0 0
0 0
(4.55)
Assim, a equacao (4.51) fica
1 0 0 1
0 0 0 0 0
+
H=
+ 2
2
0 0 0 0
0
1 0 0 1
1
0 0 0 0
0
0 1 1 0 0
+
2
2
0 1 1 0
0
0 0 0 0
0
66
0 0 1
0 0 0
+
0 0 0
0 0 1
0
0 0
1 1 0
.
1 1 0
0
0 0
(4.56)
Calculando a matriz densidade
1 0 0
0 0 0
1 n e kT
Z
2 0 0 0
1 0 0
0 0 0
0 1 1
e kT
+
2
0 1 1
0 0 0
Finalmente,

+
e kT

1 1
=
Z
2
e kT
+e
kT
0
0
e
a partir do Hamiltoniano acima, temos
1
1 0 0 1
0 e kT 0 0 0 0
+
2
0 0 0 0
0
1
1 0 0 1
0
0 0
0 0

0 e kT 0 1 1 0 o
+
2
0 1 1 0
0
0
0 0
0 0
kT
kT
kT
+e
kT
kT
kT
kT
kT
+e
kT
kT
(4.57)
kT
0
0
e
kT
+e
kT
(4.58)
Lembrando que
e
kT

= exp
Jz +
4kT
= exp
Jz
4kT

,
kT

= exp
Jz
4kT
= exp
Jz +
4kT

,
kT

= exp
Jz +
4kT
= exp
Jz
4kT
kT

= exp
Jz
4kT
= exp
Jz +
4kT
Para compactar a notacao, chamamos

=
Jz
,
4kT
,
4kT
Temos, assim,
67
.
4kT
kT
= e ,
kT
= e+ ,
kT
= e ,
kT
= e+ .
Desta forma, a matriz densidade assume a forma:
e +e+
0
0
2
e
+e
e
e+
0
1
2
2
=
e+
+e+
e
e
Z
0
2
2
e
e+
0
0
2
1
=
Z
e (e +e )
2
e (e +e )
e (e e )
2
e (e e )
2
2
e (e +e )
2
e (e e )
2
e e+
2
0
0
e +e+
(4.59)
2
e (e e )
2
0
0
e (e +e )
2
(4.60)
Podemos reescrever a matriz densidade em funcao de duas relacoes trigonometricas.

Assim,
1
=
Z
cosh()
0
e sinh()
e cosh()
sinh()
0
e sinh()
e cosh()
e sinh()
e cosh()
E sendo
68
(4.61)
Z = T r {exp(H/kT )} ,
e cosh()
0
0
e sinh()
0
e cosh() e sinh()
0
= Tr
0
e sinh() e cosh()
0
e sinh()
0
0
e cosh()
= 2(e cosh() + e cosh()).
(4.62)
Dessa forma, chegamos a` sua forma explicita:
e cosh()
0
0
e sinh()
0
e cosh() e sinh()
0
1
=
2(e cosh() + e cosh())
0
e sinh() e cosh()
0
e sinh()
0
0
e cosh()
(4.63)
Este e o operador densidade () na sua forma matricial para uma Hamiltoniana que
descreve um sistema de dois spins sujeito a` um banho termico.
4.3
Quantificando o Emaranhamento por meio da Concorr

encia
Nao existem muitas expressoes analticas que nos fornecem a quantidade de emaranhamento de um sistema a partir de um dado estado misto arbitrario[29]. Na literatura
do emaranhamento se descobriu relacoes analticas para o Emaranhamento de Formacao
de sistema bipartites 2x2. Para o caso acima, temos um sistema de dois spins, representado pelo operador densidade , isto e, um estado misto bipartite. Para estados mistos,
podemos quantificar a correlacao quantica usando a definicao do Emaranhamento de
69
Formacao(EoF)2 ([20], [23], [24]). A definicao de Concorrencia 3 (do ingles, concurrence)

que vamos considerar como um quantificador de emaranhamento, e dada por:
C() = max[0, 1 2 3 4 ].
(4.64)
Os i s sao razes quadraticas dos autovalores da matriz nao-hermitiana, R, em ordem

decrescente. Aqui,
R = e
,
(4.65)
onde
e = y2 y2 = (y1 y2 ) (y1 y2 ).
Calculando o complexo conjugado , temos
e cosh()
0
0
e sinh()
0
e cosh() e sinh()
0
1
,
=
0
e sinh() e cosh()
0
e sinh()
0
0
e cosh()
e cosh()
0
0
e sinh()
0
e cosh() e sinh()
0
1
,
0
e sinh() e cosh()
0
e sinh()
0
0
e cosh()
=
(4.66)
Substituindo em e,
2
O procedimento algortimo para calcular o Emaranhamento de Formacao para estados de dois q-bits
foi realizado, em 1997, por Hill e Wootters

3
Concorrencia no sentido de cooperac
ao, acordo, e nao de competicao.
70
0 1
0 Z
0 0 1
0
e =
0 1
1 0
0 0
cosh()
sinh()
e cosh()
e sinh()
e sinh()
e cosh()
e sinh()
e cosh()
1
e =
Z
sinh()
e sinh()
e cosh()
e cosh()
e sinh()
e cosh()
1
e =
Z
cosh()
cosh()
0
0
0
0
1
e sinh()
sinh()
e cosh()
e sinh()
e sinh()
e cosh()
e sinh()
e cosh()
Trabalhando com a matriz R
71
0 0 1
0 0 1
0 1 0
1 0 0
0
.
0 0 1
0 1
1 0
0 0
0
.
1
R= 2
Z
cosh()
sinh()
e cosh()
e sinh()
e sinh()
e cosh()
e sinh()
0
0
e cosh()
e cosh()
0
0
e sinh()
0
e cosh() e sinh()
0
0
e sinh() e cosh()
0
e sinh()
0
0
e cosh()
e2 (cosh2 ()+sinh2 ())
2e2 cosh() sinh()
2e2 cosh() sinh()
1
R= 2
Z
2e2
2e2
cosh() sinh()
cosh() sinh()
(4.67)
Considerando as relacoes hiperbolicas abaixo,
cosh2 (x) sinh2 (x) = 1,
cosh2 (x) + sinh2 (x) = cosh(2x),
2 cosh(x) sinh(x) = sinh(2x).
Temos
1
R= 2
Z
cosh(2)
sinh(2)
e2 cosh(2)
e2 sinh(2)
e2 sinh(2)
e2 cosh(2)
e2 sinh(2)
e2 cosh(2)
Vamos determinar os seus respectivos quatro autovalores. Logo, temos que

det(R I) = 0,
72
e2 cosh(2)
Z2
0
cosh(2)
Z2
e2 sinh(2)
Z2
0
0
e2
sinh(2)
Z2
e2 cosh(2)
det
2
Z
e2 sinh(2)
Z2
e2
sinh(2)
Z2
e2 cosh(2)
Z2
e2
det
e2 sinh(2)
Z2
0
0
e2
e2 cosh(2)
Z2
2
e sinh(2)
Z2
e2 sinh(2)
Z2
2
e cosh(2)
Z2
e2 cosh(2)
Z2
2
e sinh(2)
Z2
e2 sinh(2)
Z2
2
e cosh(2)
Z2
cosh(2)
Z2
= 0.
0
0
e2 cosh(2)
Z2
e2 sinh(2)
Z2
= 0.
0
0
Fazendo as operacoes chegamos em
"
e2 cosh(2)
Z2
2
e2 sinh(2)
Z2
2 # "
e2 cosh(2)
Z2
2
Considerando a primeira parte igual à zero. Temos
2
2
2
e
sinh(2)
e2 cosh(2)
=
,
Z2
Z2
e2 sinh(2)
e2 cosh(2)
,
Z2
Z2
e2
12 =
(cosh(2) sinh(2)) .
Z2
Sendo
I =
73
12 .
e2 sinh(2)
Z2
2 #
=0
Temos
I =
e
(cosh() sinh()) .
Z
Fazendo a segunda parte nula. Temos

2
2
2
2
e cosh(2)
e sinh(2)
=
,
Z2
Z2
e2 cosh(2)
e2 sinh(2)
,
Z2
Z2
e2
(cosh(2) sinh(2)) .
34 =
Z2
Sendo
II
q
= (34) .
Temos
II =
e
(cosh() sinh()) .
Z
As quatro razes quadradas dos autovalores da matriz R sao

+
I =
e
Z
(cosh() + sinh()),

I =
e
Z
(cosh() sinh()),
+
II =
e
Z
(cosh() + sinh()),

II =
e
Z
(cosh() sinh()).
Precisamos colocar os autovalores em ordem decrescente para calcular a concorrencia,

e assim, determinar uma relacao analtica entre a quantidade de emaranhamento e a
temperatura. Contudo, nao e trivial colocar em ordem decrescente

e
I e II , pois
preciso conhecer os valores de , e para corretamente ordena-los. Ainda assim,

podemos escrever a concorrencia de de forma analtica.
Observe que em (4.64) apenas o 1 e positivo, sendo os demais negativos. Assim,
reescreveremos a eq. (4.64) como:
C() = max[0, 21 T r(R)],
74
(4.68)
sendo 1 a raiz quadrada do maior autovalor de R.

Primeiramente, vamos considerar +
I como sendo a maior autovalor tomado a raiz
quadrada. Assim,
CI+ () = +
I I II II ,
2e
2e
=
sinh()
cosh(),
Z
Z
e sinh() e cosh()
.
=
e cosh() + e cosh()
(4.69)
Fazendo
I como sendo a maior autovalor tomado a raiz quadrada, temos
+
+
CI () =
I I II II ,
2e
2e
sinh()
cosh(),
=
Z
Z
e sinh() e cosh()
=
.
e cosh() + e cosh()
(4.70)
Fazendo +
II como sendo a maior autovalor tomado a raiz quadrada, temos
+
+
CII
() = +
II I I II ,
2e
2e
sinh()
cosh(),
=
Z
Z
e sinh() e cosh()
=
.
e cosh() + e cosh()
(4.71)
Fazendo
II como sendo a maior autovalor tomado a raiz quadrada, temos
+
+
CII
() =
II I I II ,
2e
2e
sinh()
cosh(),
=
Z
Z
e sinh() e cosh()
=
.
e cosh() + e cosh()
(4.72)
importante visualizar que sempre esta sendo considerado apenas as razes como 1 ,
E
nao atribuindo os demais 0 s na ordem decrescente.
A Concorrencia e uma funcao que visa quantificar o emaranhamento do sistema assu
mindo valores entre [0, 1]. Vemos que as equacoes CI e CII
assumem valores negativos,
75
+
entao serao descartadas. Ficamos com as concorrencias CI+ e CII
proporcionadas quando
+
consideramos +
I e II , respectivamente, como sendo a raiz quadrada do maior autovalor
de R.
+
Se consideramos +
I II temos
+
I
+
I
+
II
e sinh() e cosh()
e sinh() e cosh()
e2+()
+
II ,
1,
1,
e0 ,
2 + ( ) 0,
2 ( ).
(4.73)
+
Agora, se considerarmos +
I < II temos
+
II
+ < 1,
II
e sinh() e cosh()
< 1,
e sinh() e cosh()
e2() < e0 ,
2 ( ) < 0,
2 > ( ).
(4.74)
Dessa forma +
a C1 e +
a em C2 . E, assim, a Concorrencia e analitiII dar
I acarretar
camente escrita da forma:
max{0, C }, se 2 > || ||,

1
C=
max{0, C }, se 2 6 || ||.
2
(4.75)
onde
e sinh() e cosh()
,
e cosh() + e cosh()
e sinh() e cosh()
=
.
e cosh() + e cosh()
C1 =
(4.76)
C2
(4.77)
76
Podemos escrever, explicitamente, a quantidade de emaranhamento (concorrencia) em

funcao da temperatura T e dos acoplamentos do modelo XYZ, isto e, Jx , Jy e Jz :
C1 =
C2 =
4.4
+Jy
Jy
eJz /4kT sinh( Jx4kT
) eJz /4kT cosh( Jx4kT
)
+Jy
Jy
eJz /4kT cosh( Jx4kT
) + eJz /4kT cosh( Jx4kT
))
+Jy
Jy
) eJz /4kT cosh( Jx4kT
)
eJz /4kT sinh( Jx4kT
+Jy
Jy
eJz /4kT cosh( Jx4kT
) + eJz /4kT cosh( Jx4kT
))
(4.78)
(4.79)
Modelo de Ising
Vamos estudar alguns casos particulares, entre eles o Modelo de Ising. Para de-
terminar como a Hamiltoniana (4.2) ira se reduzir para o modelo de Ising, consideraremos
Jz 6= 0.
E quando consideramos para este modelo que Jx = Jy = 0, implica em = = 0,
entao nossa Hamiltoniana de Ising e dada por:

jz
H=
z 1 z 2 ,
4
(4.80)
A concorrencia para o modelo de Ising e dada por

ejz /4kT
= 0.
C = max 0, jz /4kT
e
+ ejz /4kT
(4.81)
Portanto, para o modelo de Ising termalizado, em quaisquer temperaturas, nao ha

emaranhamento. Este resultado ja era esperado, pois a hamiltoniana de Ising e diagonal
na base padrao. Quando = = 0 ela e diagonal, isto e, ausencia de correlacao quantica.
Note que a Hamiltoniana para o modelo de Ising e
jz
0
0
0
0 j4z
0
0
= 1
H=
Z
0
0 j4z 0
jz
0
0
0
4
77
(4.82)
Figura 4.1: Emaranhamento nulo para o modelo de Ising. Grafico da Concorrencia em

funcao do parametro = jz /4kT , Eq. (4.81).
4.5
Modelo XY
Vamos agora discorrer sobre o emaranhamento no modelo XY ou planar. Este
modelo surge quando estamos trabalhando com o acoplamento Jz = 0. Na Hamiltoniana

geral, Eq. (4.2), temos para este caso o acoplamento jz nulo e dois casos a serem analisados: um isotropico (Jx = Jy = J) e outro anisotropico (Jx 6= Jy ). Comecamos a ver este
modelo quando Jx e Jy Jz .
4.5.1
Modelo XY Isotr
opico
No modelo XY isotropico temos que = = 0 e = J/2kT . E como era
esperado, o parametro que mede a anisotropia do sistema e nulo. Assim,
Jx Jy
Jx + Jy
Jx
= 0,
= 0,
= 0,
= Jy = J.
78
A Hamiltoniana fica
J 1 2 J 1 2
+ ,
4 x x 4 y y

J 1 2
x x + y1 y2 .
=
4
H =
O operador densidade () para o caso isotropico sera
1
0
0
0 cosh() sinh()
1
=
2(1 + cosh())
0 sinh() cosh()
0
0
0
(4.83)
0
,
(4.84)
lembrando que = J/2kT .

Portanto, analisando a concorrencia da (Eq. (4.75)), a quantidade de emaranhamento
e dada por:
#
|J|
)1
sinh( 2kT
.
C = max 0,
J
cosh( 2kT
)+1
"
(4.85)
Vamos analisar a concorrencia dada pela equacao (4.85). Atraves do grafico (Fig.
(4.2)), observamos que para temperaturas muito baixas o emaranhamento e proximo de
1 e decresce monotonicamente com o aumento da temperatura, ate atingir uma temperatura crtica Tc , a qual e uma solucao de sinh(|J|/(2kTc )) = 1. Este comportamento
era esperado, visto que, para temperaturas muito baixas teremos uma flutuacao termica
pequena, e consequentemente, nosso emaranhamento quantico e mais preservado dos efeitos da temperatura. Quando aumentamos a temperatura, notamos claramente que nosso
estado quantico emaranhado vai se tornando um estado misto (ou mistura estatstica)
sem correlacao quantica entre os dois sub-sistemas, ou em outras palavras, vai deixando
de ser emaranhado.
Um outro parametro estudado no grafico e o acoplamento J entre os spins. Observamos quanto menor e o acoplamento entre os sub-sistemas, mais rapido e o decrescimo de
emaranhamento no sistema global com o aumento da temperatura. Portanto, o acoplamento pode ser u
til como uma blindagem para preservar o emaranhamento do sistema
79
Figura 4.2: Emaranhamento (concorrencia) em funcao da temperatura para o modelo

XY.Neste grafico colocamos varias curvas referentes aos acoplamentos J do sistema de
dois spins.
devido a variacao de temperatura. Em termos de informacao, ou bits, que um dado
sistema quantico pode carregar, precisamos determinar meios de proteger a informacao
codificada em tais sistemas. Portanto, o acoplamento entre os spins pode ser uma alternativa robusta para preservar a informacao quantica.
4.5.2
Modelo XY Anisotr
opico
Para este caso temos, Jz = 0 e Jx 6= Jy , entao nossa Hamiltoniana e dada a partir
da Eq. (4.6),

H=
+
8
x x +
80
y 1 y 2 .
(4.86)
O operador densidade se reduz a`
cosh()
0
0
sinh()
0
cosh() sinh()
0
1
2(cosh() + cosh())
0
sinh() cosh()
0
sinh()
0
0
cosh()
(4.87)
Lembrando que:
= jx jy ,
(4.88)
= jx + jy ,
.
=
(4.89)
(4.90)
onde o parametro e usado para quantificar anisotropia do sistema. Pela equacao da

concorrencia, Eq. (4.75), temos:
"
#
||
sinh( 4kT
) cosh( 4kT
))
C = max 0,
, se || < 1,
cosh( 4kT
) + cosh( 4kT
)
#
"
||
) cosh( 4kT
))
sinh( 4kT
, se || 1.
C = max 0,
) + cosh( 4kT
)
cosh( 4kT
(4.91)
(4.92)
As equacoes acima mostram as duas regioes de anisotropia. A primeira regiao definida

por || < 1, mostra claramente que aumentando a anisotropia, a quantidade de emaranhamento tambem diminui para uma dada temperatura T e que, observa-se um emaranhamento nulo para || = 1 (modelo de Ising) para qualquer T, veja a Fig. (4.3).
Entretanto, para a segunda regiao de anisotropia, || > 1, notamos que a quantidade de emaranhamento aumenta quando aumentamos a anisotropia do sistema e que a
temperatura crtica Tc tambem aumenta com relacao a este parametro. Veja a Fig. (4.4).
Nas duas regioes de anisotropia a quantidade de emaranhamento no estado termico
e funcao monotonicamente decrescente da temperatura, como podemos observar nos
graficos acima.
81
Figura 4.3: Emaranhamento (concorrencia) em funcao da temperatura para o modelo XY

anisotropico. Neste grafico colocamos varias curvas referentes a anisotropia do sistema:
= 0.3, (a vermelha), = 0.6, (em azul), = 0.8, (em preto). Claramente quanto maior
menor e a concorrencia C. Adotamos = 1.
82
Figura 4.4: Emaranhamento em funcao da temperatura para o modelo XY anisotropico.

Neste grafico colocamos varias curvas referentes a || 1: = 1.2, (a vermelha), = 1.4,
(em azul), = 1.7, (em preto). Quanto maior maior e a concorrencia C. Adotamos
= 1.
83
Consideracoes Finais
Iniciamos este trabalho com algumas consideracoes basicas de Mecanica Quantica, a

fim de facilitar o possvel entendimento do leitor. Fizemos uma abordagem do Paradoxo
proposto por Einstein e seus colaboradores Boris Podolski e Nathan Rosen como uma
tentativa de demonstrar o aspecto incompleto da teoria quantica, sugerida por eles. O
que mais tarde, D. Bohm demonstraria em uma linguagem mais simples. Mostramos que
o emaranhamento ganha um carater experimental a partir Bell, em 1964, quando este
deduz uma classe de desigualdade que tinham por finalidade detectar o estado emaranhado. Reproduzimos duas aplicacoes muito peculiares do emaranhamento: a codificacao
superdensa de informacao e o teletrasporte de estado quanticos. Mostramos que apenas
e possvel transmitir a informacao do estado e nao a partcula. Quantificamos atraves
da definicao de Concorrencia o emaranhamento para um modelo de dois spins-1/2 para
XYZ sem campo magnetico externo em equilbrio termico T com um reservatorio. Em
seguida, calculamos os alguns casos particulares: Modelo de Ising, XY Isotropico e XY
Anisotropico. E por fim, vemos que na regiao para || > 1 do modelo XY Anisotropico
quando aumentamos a anisotropia do sistema o emaranhamento aumenta.
84

Apendice
Produto Tensorial
Uma forma encontrada de se obter espaco vetoriais maiores e o produto tensorial.
Vamos supor que exista dois espacos vetoriais, V e W, que possuem dimensoes m e n,
respectivamente. Assim, temos
V W,
tambem sera um espaco vetorial com dimensao mn. Supondo, como exemplo, que
0 3 1
1 3
(A.1)
V =
e
W = 1 2 2 ,
0 2
2 5 6
85
sendo m = 2 e n = 3. Portanto, V tensor W, e dado por
0 3 1
1 3
V W =
1 2 2
0 2
2 5 6
10 13 11 30
11 12 12 31
12 15 16 32
=
00 03 01 20
01 02 02 21
02 05 06 22
0 3 1 0 9 3
1 2 2 3 6 6
2 5 6 6 15 18
.
=
0 0 0 0 6 2
0 0 0 2 4 4
0 0 0 4 10 12
Observe que V W tem dimensao mn = 2 3 = 6.
O produto escalar satisfaz algumas propriedades:
z(|vi |wi) = (z |vi) |wi = |vi (z |wi).
(|v1 i + |v2 i) |wi = |v1 i |wi + |v2 i |wi.
|vi (|w1 i + |w2 i) = |vi |w1 i + |vi |w2 i.
86
33 31
32 32
35 36
23 21
22 22
25 26

Apendice
Notacao de Dirac
Na notacao de Dirac o vetor que representa o estado de um sistema e dada por
|i ,
essa denotacao recebe o nome de ket. Este vetor |i pertence ao espaco vetorial V
complexo, C. Onde, geralmente, se e um autovetor do operador hermitiano e representado
pela respectivo autovalor. Um exemplo, os autovalores de um oscilador harmonico simples
sao dados por ~(n + 1/2), dessa forma os autovetores gerados pelo n
umero quantico n e
representado por |ni. O produto escalar e representado por

uv ,
que e o produto escalar entre dois estados |ui e |vi.
Na notacao de Dirac e definido uma funcao linear h|, chamada de bra, a qual e o
conjugado de |i pertencente ao espaco dual, tal que
h| C.
Definic
ao: A cada espaco vetorial sobre C, e possvel associar um novo espaco vetorial, chamado de espaco dual, com uma projecao transposta-conjugada de |i. O conjugado de todos os |i define um espaco dual do espaco vetorial V C. A correspondencia
87
entre os vetores no espaco ket e os vetores no espaco bra, recebe o nome de correspondencia dual.
O operador A dentro da notacao de Dirac atuara da seguinte maneira: Dado um
elemento de matriz hv| A |ui, podemos interpretar como o operador A atuando no vetor
|ui seguido pela aplicacao da funcao hv| no resultado obtido. O operador atuara no vetor
pela direita ou na esquerda por meio do seu hermitiano conjugado.
88

Apendice
Espaco de Hilbert
O espaco de Hilbert e um espaco vetorial para o qual temos definido um produto
interno, e que seja completo. Podemos dizer assim:
Definic
ao: O espaco vetorial, V, pode ser considerado como um conjunto de elementos, chamados vetores (|ai, |bi,...) definindo para o formalismo da MQ sobre o espaco
vetorial dos Complexos (C), o qual estao definidos duas operacoes basicas:
|ui + |vi = |wi,
|ui = |vi.
Onde |ui, |vi, |wi V e C. Essas operacoes satisfazem algumas propriedades. Assim,
|ui , |vi , |wi V e , V tal que:
1. Soma ou Fechamento: |ui + |vi = |wi ;
2. Associativa: |ui + (|vi + |wi) = (|ui + |vi) + |wi;
3. Comutativa: |ui + |vi = |vi + |ui;
4. Elemento Neutro da Soma: um vetor nulo, 0,1 tal que |ui + 0 = |ui;
1
O vetor nulo e representado pelo n

umero zero, a fim de evitar confusao com o vetor de spin up, |0i.
89
5. Elemento Inverso da Soma: um vetor |ui, tal que |ui + |ui = 0;

As operacoes hbridas envolvem escalares e vetores:
6. Produto: |ui = |vi;
7. Associativa: ( |ui) = () |ui;
8. Elemento Neutro do Produto: 1 |ui = |ui;
9. Distribuic
ao de Escalares: ( + ) |ui = |ui + |ui;
10. Distribuic
ao de Vetores: (|ui + |vi) = |ui + |ui.
O espaco vetorial de Hilbert apresenta uma propriedade muito importante, o produto interno hermitiano. Mas, para entender esse tipo de produto, deve-se saber qual a
definicao de produto interno.
Definic
ao: Seja V um espaco vetorial sobre C (ou R), entende-se como produto
interno à V, a associacao de dois vetores levados a um escalar, ou seja:

uv = ,
onde
Assim, calculamos

uv =

v u =
= +
= +

= +
v u =
Mostrando que

uv 6= v u

uv = v u .
e
90
(C.0)
Fazendo h| = h|, temos

= R.
Outra caracterstica importante para os vetores do espaco de Hilbert, e sua propriedade
linear.
Definic
ao: Uma funcao linear e um objeto matematico que associa vetores a escalares:
|wi =
n
X
i |ui i +
m
X
i=1
j=1
91
j |vj i + (...).

Apendice
Anti-correlacao Perfeita do Singleto

Vamos reescrever o estado de singleto |i,

= 1 (|0i |1i |1i |0i ) ,
1
2
1
2
2
(D.1)
em termos de matriz de Pauli:

= 1 (|+z i |z i |z i |+z i ) .
1
2
1
2
2
(D.2)
Sendo
|+z i =
1
0
|z i =
0
1
usados para explicitar a direcao z em que se encontra o estado.

Considerando a expressao geral que reescreve o estado em uma nova direcao b em
funcao da base de auto-estados na direcao antiga a , onde ab e o angulo entre as direcoes
a e b no espaco fsico:
|+b i = cos(ab /2) |+a i + sin(ab /2) |a i ,
|b i = sin(ab /2) |+a i + cos(ab /2) |a i .
92
(D.3)
Reescrevendo a eq. D.2 para o singleto na direcao z para, por exemplo, a direcao x ,
sendo perpendiculares. Assim,
2
2
|+z i +
|z i ,
|+x i =
2
2

2
2
|x i =
|z i .
+z +
2
2
Fazendo D.4 + D.5 e D.4 - D.5 obtemos, respectivamente:
2
2
|+x i +
|x i ,
|z i =
2
2
2
2
|+x i
|x i .
|+z i =
2
2
(D.4)
(D.5)
(D.6)
Substituindo D.6 em D.2:

= 1 (|+x i |x i |x i |+x i ) .
1
2
1
2
2
(D.7)
Se escrevermos D.7 explicitamente, a equacao recai em D.1, mostrando que o singleto

possui uma anti-correlacao perfeita.
93
Referencias Bibliograficas
[1] T. R. Oliveira, Emaranhamento e Estados de Produto de Matrizes em Transicoes de

Fase Quanticas, UNICAMP, Sao Paulo (2007).
[2] A. F. R. Piza, Sistemas Quanticos compostos e enaranhados, Sistemas Quanticos abertos e decoerencia (Notas de Aula), Departamento de Fsica Matematica-IFUSP (2009).
[3] C. C. Costa, Introducao à Mecanica Quantica de Sistemas Compostos: Estudos sobre
Emaranhamento Quantico, Faculdade de Fsca, UFPa (2011).
[4] P. A. Nussenzveig, Emaranhamento, Realismo e Nao-Localidade: Absurdos da
Mecanica Quantica (Video Aula), Instituto de Fsica-USP (2008).
[5] S. G. Maciel, Introducao à Mecanica Estatstica Quantica: Estudos sobre o operador
densidade, Faculdade de Fsica, UFPa (2007).
[6] E. Schrodinger, Quantisierung als Eigenwertproblem, Annalen der Physik, 437-490,
(1926).
[7] A. Einstein, B. Podolski, N. Rosen, Can Quantum-Mechanical description of Physical
Reality be considered complete? Phys. Rev. 47, 777 (1935).
[8] E. Schrodinger. Die gegenwartige situation in der quantenmechanik. Naturwissenschaften, 23:807, 823, 844, 1935. 3 part paper.
94
[9] E. Schrodinger. Discussion of probability distributions between separated systems. Proc.

Camb. Phil. Soc, 31:555, 1935.
[10] E. Schrodinger. Probability relations between separated systems. Proceedings of the
Cambridge Philosophical Society, 32:446?452, 1936.
[11] D. Bohm, Quantum Theory, Prentice Hall, Englewood Cliffs (1951).
[12] D. Bohm, Phys. Rev. 85 (2), 166; 85 (2), 180 (1952).
[13] J. S. Bell, On the Einstein-Podolsky-Rosen paradox, Physics 1, 195 (1964).
[14] O. P. Junior, Conceitos de Fsica Quantica - Volume II, Livraria da Fsica, Sao Paulo
(2006).
[15] J. S. Bell, Speakable and Unspeakable in Quantum Mechanics Cambridge U. Press
(1987).
[16] M. A. Nielsen, I. L. Chuang, Computacao Quantica e Informacao Quantica, Ed.
Bookman, Porto Alegre (2005).
[17] C. H. Bennett, S. J. Wiesner, Phys. Rev. Lett. 69, 2881 (1992).
[18] C. H. Bennett, G. Brassard, C. Crepeau, R. Jozsa, A. Peres, W. K. Wootters, Phys.
Rev. Lett. 70, 1895 (1993).
[19] G. Rigolin, Estados Quanticos Emaranhados (Tese de Doutorado), Instituto de Fsica
Gleb Wataghin-UNICAMP (2005).
[20] C. H. Bennett, D. P. DiVincenzo, J. Smolin, W. K Wootters, Phys. Rev. A 54, 3824
(1996).
[21] V. Vedral, M. B. Plenio, K. Jacobs, P. L. Knight, Phys. Rev. A 56, 4452 (1997).
95
[22] C. H. Bennett, G. Brassard, S. Popescu, R. Shumacher, J. Smolin, W. K. Wootters,

Phys. Rev. Lett 76, 722 (1996).
[23] S. Hill e W.K. Wootters, Entanglement of a pair of quantum bits, Phys. Rev.
Lett. 78, 5022 (1997).
[24] W.K. Wootters, Entanglement of formation of an arbitrary state of two
qubits, Phys. Rev. Lett. 80, 2245 (1998).
[25] J. F. Clauser, M. A. Horne, A. Shimony, R. A. Holt, Proposed experiment to test
local Hidden-Variable Theories, Physical Review Letters 23, 880 (1969).
[26] R. B. A. Farias, Um Introducao aos Fundamentos da Mecanica Quantica, Tese de
Mestrado, Unicamp (1987).
[27] J. R. P. Mahon, TEOREMA DE BELL E SUAS CONSEQUENCIAS,

Rio de Janeiro.
[28] J. S. Bell, Proceedings of the International School of Physics, Enrico Fermi, course
IL: Foundations of Quantum Mechanics. Academic Press, New York, 171-181 (1971).
[29] M. O. T. Cunha, Emaranhamento: caracterizacao, manipulacao e consequencias,
Tese de Doutorado, UFMG (2005).
96

Alvaro TCC

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Alvaro TCC

Caricato da

Copyright:

Formati disponibili

UNIVERSIDADE FEDERAL DO PARA

Prof. Dr. Wilson Ricardo Matos Rabelo (Orientador)

Profa . Dra . Silvana Perez

Profa . Dra . Maria Lucia de Moraes Costa

No presente trabalho faz um estudo introdutorio sobre o emaranhamento, mostrando

A coisa mais incompreensvel sobre o mundo e o fato de ele ser compreensvel.

Estado Fsico de um sistema . . . . . . . . . . . . . . . . . . . . . . 14

Evolucao de um sistema quantico . . . . . . . . . . . . . . . . . . . 22

O que e o Bit Quantico? . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

O Paradoxo EPR segundo Bohm . . . . . . . . . . . . . . . . . . . 27

Desigualdade CHSH por Bell . . . . . . . . . . . . . . . . . . . . . . . . . . 36

Violacao da Desigualdade pela MQ . . . . . . . . . . . . . . . . . . 43

Teletransporte de Informacao Quantica . . . . . . . . . . . . . . . . . . . . 48

Calculo do Operador Densidade para o Estado Termico . . . . . . . . . . . 65

Quantificando o Emaranhamento por meio da Concorrencia . . . . . . . . . 69

O emaranhamento e um importante recurso caracterstico da Mecanica Quantica

estados se encontram, o de Hilbert e, por construcao, linear.

a mesma situacao do artigo original. Entretanto, usando um exemplo mais simples, um

Postulados da Mecanica Quantica

O formalismo da Mecanica Quantica e a estrutura matematica em que sao postulados

Estado Fsico de um sistema

A MQ e fundamentada em que um vetor de estado |i descreve totalmente um sistema

A norma tem valor positivo definido,

Podemos expandir os vetores pertencentes ao espaco de Hilbert, em termos de elementos

onde A e o operador que atua em |i produzindo um outro vetor | 0 i no mesmo espaco.

Operando de forma semelhante para dois autovetores distintos de um operador

o estado de um sistema quantico for |i, imediatamente antes da medida, a probabilidade

Para que p(k) tenha uma interpretacao de probabilidade, os operadores Ak satisfazem

A formulacao dada na eq. (1.11) e similar `a

que e a probabilidade de obter o autovalor an (por simplicidade trataremos apenas do caso

facil demostrar que P e hermitiano para qualquer |ui, Pi = P

onde seria o somatorio de todos os conjuntos de estados puros |i i com probabilidades pi

Seja |i um vetor arbitrario no espaco de estados. Entao,

e o estado do sistema apos a medida sera

Os operadores de medida satisfazem a seguinte equacao de completude

dito que um sistema quantico cujo o vetor de estado |i e conhecido exatamente

importante saber como o sistema evolui no tempo. A lei ou equacao de movimento

Sendo H o operador Hamiltoniano do sistema e esta associado `a energia total do sistema

com autovalores E e autovetores |Ei.

O operador unitario pode ser representado por

Quando caracterizamos o estado em termos de operador densidade a evolucao do

Em virtude de se tratar da soma das probabilidades, a soma resulta em 100% ou 1. Em

A superposicao de estados (1.26) possibilita com que o q-bit possa existir em um

|i = ei cos |0i + ei sen |1i ,

pi = 1 e i j Hj . Observe que quando definimos o emaranha-

O Paradoxo EPR segundo Bohm

um artigo[7] intitulado de Can Quantum-Mechanical description of Physical Reality be

fundamentados, no entanto, um carater em especial incomodava alguns cientistas, dentre

Assim, EPR[7] argumentou que,

Substituindo o estado singleto da eq. (2.1) na eq. (2.4) acima, temos

E agora, o conjugado hermitiano correspondente ao | i dado por

(2) .b (|0i1 |1i2 |1i1 |0i2 ) .

Sendo o produto escalar

Vamos determinar os termos para a partcula 1:

Sendo o produto escalar da partcula 2 semelhante ao da primeira,

em termos de representacao geral. Obteremos uma representacao familiar ao da partcula

Substituindo os termos encontrados na medida de correlacao:

Ha a possibilidade[14], em um instante t, de se realizar uma medida em z na partcula

tambem em qualquer direc

os valores dos observaveis da partcula 2. Assim, os elementos de realidade em x e z

Desigualdade CHSH por Bell

ao medir o spin da partcula 1,

Sendo s as propriedades dos instrumentos ligados a partcula 1 e s os da partcula 2.

Essas relacoes servirao de bases para o restante das deducoes.