Desigualdades de Bell: Uma introduo

no-localidade quntica
Marco Tlio Coelho Quintino

Mateus Arajo Santos

27 de maio de 2011

Introduo
I would not call entanglement one but
rather the characteristic trait of quantum
mechanics
Erwin Scrdinger

Em 1935, durante suas investigaes sobre fundamentos da mecnica

quntica, Einstein, Podolsky e Rosen levantaram perguntas sobre a realidade
das propriedades fsicas de um sistema que possui suas partes espacialmente
separadas [1]. Estas perguntas ficaram por muito tempo amarradas a discusses filosficas sem rigor matemtico ou evidncias experimentais. Foi
apenas em 1964 que John S. Bell mostrou que exigir que uma varivel seja
capaz de prever o resultado das medies feitas em duas partes separadas de
um sistema impe restries nas correlaes entre essas [2]. Em especial, a
mecnica quntica prev correlaes que no podem ser atingidas por teorias
ditas realistas locais. Assim, a no-localidade revela informaes sobre o
significado dos postulados da mecnica quntica.
Estre trabalho pretende introduzir a no-localidade quntica de forma
clara e consistente, utilizando uma abordagem intuitiva. Para uma introduo
mais rigorosa e completa, indicamos [3].

Estados de Bell
Hilbert space is a big place
Carlton Caves

O emaranhamento talvez a caracterstica mais peculiar da mecnica

quntica. Ele surge devido estrutura do produto tensorial, que a ferramenta
matemtica utilizada para tratar sistemas qunticos de duas ou mais partes1 .
O que ele tem de interessante que o espao V W formado tomando-se o
produto tensorial de dois espaos V e W muito maior do que se juntssemos
1O

leitor pode encontrar as propriedades relacionadas ao produto tensorial no apndice A.

CAPTULO 3. TRANSMISSO DE INFORMAO?

os dois espaos de forma ingnua, como na mecnica clssica; essa diferena

onde moram os estados2 emaranhados.
Definio 1. Seja V W o espao vetorial que descreve um sistema quntico
composto pelos subsistemas descritos por V e W . Estados que podem ser escritos como
|i = |vi |wi, com |vi V e |wi W so chamados de estados fatorveis.
Uma anlise superficial de V W pode nos levar ideia de que ele
formado somente por estados fatorveis; mas isso falso, pois um espao
vetorial admite qualquer combinao linear dos elementos de sua, no caso os
vetores da forma |vi |wi.
Definio 2. Estados no-fatorveis so estados emaranhados.
Para ilustrar os estados emaranhados, vamos definir os famosos pares de
Bell.
1
|+ i (|00i + |11i),
2
1
|+ i (|01i + |10i),
2

1
| i (|00i |11i),
2
1
| i (|01i |10i).
2

Teorema 3. Todos os pares de Bell so estados emaranhados.

Demonstrao. Vamos demonstrar o teorema para apenas um dos quatro pares
de Bell, j que para os outros trs a demonstrao totalmente anloga.
Suponha que o estado |+ i possa ser escrito como

(|0i + |1i) (|0i + |1i),

com , , , C. Ento temos a igualdade:
1
|+ i = (|00i + |11i) = |00i + |01i + |10i + |11i.
2
A ortogonalidade dos vetores |00i, |01i, |10i, |11i nos impe as condies:
1
= ,
2

= 0,

= 0,

1
= ;
2

que no podem ser satisfeitas simultaneamente.

Transmisso de informao?

Vamos assumir que Alice e Bob no tm acesso a comunicao, mas compartilham o estado |+ i = 1 (|00i + |11i). Suponha que Bob mede seu qubit
2
na base computacional e obtm 0. Ento o postulado da medio nos diz
2 Nesse

trabalho nos restringirmos a considerar estados puros.

3
que a partir deste momento o estado compartilhado |00i, e o qubit de Alice
passou de algo indeterminado para |0i. Einstein se referiu a este efeito como
spooky action at a distance, e viu a algo estranho. Uma medio feita por Bob
modificou instantaneamente o estado de Alice!
E podemos transmitir informao atravs dessa ao fantasmagrica?
Algum poderia pensar em um protocolo da forma: caso Bob deseje enviar
o bit 0, ele deve obter o resultado 0; caso ele queira enviar 1, ele deve obter
o resultado 1. Mas Bob no pode obrigar sua medio a retornar o valor
desejado. . .
Alm disso, repare que na linguagem da relatividade no podemos definir
antes ou depois; existe uma transformada de Lorentz que nos leva a ver o
estado de Alice colapsando para |0i antes de Bob realizar sua medio!
O problema que estamos interpretando o estado de Alice como algo com
realidade fsica, quando ele apenas um instrumento para calcular probabilidades. Quando dizemos que o estado de Alice colapsa para |0i quando Bob
obtm 0 a afirmao concreta que fazemos apenas que p a=0|b=0 = 1. Mas
isso j sabamos desde o comeo! E mais, conseguimos imaginar um sistema
fsico clssico que tem as mesmas propriedades: imagine agora que Alice
e Bob compartilhem uma moeda de 50 centavos. Eles a serram ao meio, e
colocam as duas metades em envelopes diferentes, sem olhar. Bob viaja para
Marte e Alice para Vnus. Bob abre seu envelope, e mede sua metade da
moeda como estando no estado cara. Ento o estado da metade da moeda
no envelope de Alice instantaneamente se colapsa para coroa. Ora, que
bobagem! Novamente esse colapso significa apenas que p a=coroa|b=cara = 1,
nada que j no soubssemos antes. J o resultado de Alice de fato a informa
algo sobre Bob; mas uma informao que j existia3 , e no uma que Bob
est tentando lhe enviar.
Podemos fortalecer essa discusso provando que de fato medies qunticas no permitem a transmisso de informao.
Teorema 4. Medies realizadas na parte A de um sistema no podem revelar informaes sobre medies realizadas na parte B.

Demonstrao. Considere que Alice e Bob compartilham o estado possivelmente emaranhado | AB i, e esto realizando medies com os observveis A
e B, respectivamente. Ento a probabilidade de Alice obter a sada a e Bob
obter a sada b dada por


p a,b| A,B = |h a| hb|| AB i|2 = h AB | | aih a| |bihb| | AB i
Mas fazendo as medies localmente Alice tem acesso apenas distribuio
3 Esse um ponto no qual os estados emaranhados ficaro interessantes. Mais sobre isso na
seo 4.

CAPTULO 4. REALISMO, LOCALIDADE E NO-SINALIZAO

4
marginal

p a| A,B =

hAB |


| aih a| |bihb| | AB i

= h AB | | aih a|

|bihb|

!!

| AB i



= h AB | | aih a| 1 | AB i
que j no tem mais nenhuma dependncia em relao s medies realizadas
por Bob, ento lcito escrever
p a| A,B = p a| A
que simplesmente o enunciado do teorema em termos mais precisos.
Que fique claro que este teorema quer dizer apenas que as regras da
mecnica quntica no permitem a transmisso de informao atravs do
colapso da funo de onda evidentemente no podemos com isso provar
a no-sinalizao; ele um princpio, independente de teorias especficas.
Concluindo: apesar do postulado da medio afirmar que o estado de
Alice se modifica imediatamente aps a medio de Bob, no possvel medir
essa modificao. Logo, para um olhar positivista, no existe ao distncia.

Realismo, localidade e no-sinalizao

Esta uma parte delicada do trabalho, pois as definies que sero feitas
so fundamentais para a compreenso da no-localidade, e elas facilmente se
confundem. Para facilitar a compreenso vamos tratar apenas de sistemas com
duas partes. A parte A tem sua disposio uma coleo de propriedades
X que podem ser mensuradas. Medir uma certa propriedade x X retorna
um resultado a x. A parte B tem uma coleo de propriedades Y, e medir
y Y retorna um resultado b y.
Vamos denotar por p a,b| x,y a probabilidade dos resultados a e b serem
obtidos, dado que as medies x e y foram realizadas.
A descrio individual de cada sistema feita pelas probabilidades marginais,
p a| x,y = p a,b| x,y .
b

Repare que estamos permitindo que a medio de Alice dependa da

propriedade y que Bob deseja medir. Podemos imaginar uma situao em que
realizar a medio y comunica algo para o receptor de x. justamente para
garantir que no teremos essa comunicao que vamos definir no-sinalizao.

4.1

No-sinalizao

Definio 5 (No-sinalizao). As diferentes partes do sistema no trocam informao entre si. Isto , p a| x,y = p a| x e pb| x,y = pb|y .

4.2. REALISMO

Vale lembrar do teorema 4, que as probabilidades previstas para sistemas

qunticos bipartites respeitam a condio de no-sinalizao.
Perceba que a condio de no-sinalizao no suficiente para garantir
que uma medio esteja descorrelacionada da outra. Vamos dizer que duas
medies esto correlacionadas quando p a,b| x,y 6= p a| x pb|y .
Alm do caso de estados emaranhados, o leitor pode construir um simples exemplo dessas correlaes com a caixa Popescu-Rohrlich [4], que ser
discutida em 8.

4.2

Realismo
I recall that during one walk Einstein
suddenly stopped, turned to me and asked
whether I really believed that the moon
exists only when I look at it. The rest of
this walk was devoted to a discussion of
what a physicist should mean by the term
to exist.
Abraham Pais

Os elementos de realidade de Einstein [1] se baseiam na ideia de que existe

uma teoria na qual todos os resultados de medies podem (pelo menos em
princpio) ser previstos com probabilidade 1.
O realismo est associado noo de que o resultado de nossas observaes
j est pr-determinado. A ideia informal se baseia no fato de que quando
observamos uma bola verde, apenas descobrimos que ela verde. Deve haver
uma varivel que sabe a cor de todas as bolas, ns apenas no temos acesso a
ela.
Definio 6 (Realismo). Determinado o sistema conjunto AB, existe uma varivel
tal que p a,b| x,y, 1 ou 0, a x, b y, x X, y Y.

4.3

Localidade

Mesmo assumindo a existncia da varivel , ainda podemos ter p a,b| x,y, 6=

p a| x, pb|y, .
Uma hiptese natural que tendo o conhecimento de , vamos saber a
origem de todas correlaes, logo todos os eventos passam a se tornar independentes. Equivalentemente, poderemos assumir que todas as correlaes
tm sua origem no passado.
Definio 7 (Localidade). Dado , sempre vamos ter p a,b| x,y, = p a| x, pb|y, .
Teorema 8. Todas as correlaes de uma teoria realista local satisfazem a condio
de no-sinalizao

CAPTULO 5. SINGLETO

6
Demonstrao.
p a| x,y, =

pa|x, pb|y,
b

= p a| x, ( pb|y, )
b

= p a| x, .

Singleto

Figura 1: As meias de Bertlmann

O estado | i = 1 (|+i |+i) possui propriedades interessantes que
2
sero abordadas nesta seo. Este estado recebeu o apelido de singleto devido
a estudos na teoria de spin 1/2, onde o estado representa uma partcula de
spin total igual a zero. E exatemente esta propriedade que vamos explorar.
Note que ele perfeitamente anti-correlacionado, i.e., sempre que Alice obtiver
+, Bob vai obter , e vice versa. Mas o que o torna nico que essa anticorrelao continua existindo se medirmos seu spin em qualquer direo; no
apenas naquela na qual ele foi preparado. Isso apenas consequncia de seu
spin total ser zero: o vetor zero continua igual, de qualquer direo que
olhado.
Para provar isso, basta notar que medir o spin noutra direo simplesmente fazer uma mudana de base e medir na direo original, e o singleto
invariante em relao a mudanas de base locais, como provado no
apndice B. O que importante desse teorema que para preservar a anticorrelao Alice e Bob tm de medir o singleto na mesma direao, i.e., se
um mede na direo z e outro na direo x seus resultados no esto mais
anti-correlacionados.

7
Um olhar superficial pode indicar que esta anti-correlao no apresenta
nenhuma caracterstica surpreendente. Em [5], Bell conta a histria de Bertlmann, um homem que sempre usa suas meias com cores diferentes. Se
voc v (como na figura 1) que ele est com um p de meia rosa, j sabe com
certeza que o outro no rosa.
Mas perceba que as meias de Bertlmann no tm a mesma correlao
que um sistema descrito pelo singleto, pois no podemos fazer mudanas de
base; e o singleto apresenta anti-correlao em qualquer base. Isso comea a
mostrar aonde que a mecnica quntica apresenta correlaes mais fortes que
meias ou moedas de 50 centavos.

CAPTULO 6. DESIGUALDADE DE WIGNER

Desigualdade de Wigner

Vamos agora usar as propriedades do singleto para mostrar que no podemos

criar uma teoria realista local que prev as mesmas probabilidades da mecnica
quntica4 .
Alice e Bob compartilham vrias cpias do estado | i. Eles combinam
realizar suas medies em relao a 3 direes no espao, a, b e c. Matematicamente, medir o spin nessas direes medir os observveis a , b , c ,
que so definidos por
n n x X + ny Y + nz Z,
onde n um vetor normalizado em R3 e X, Y e Z so as matrizes de Pauli.
Para essa escolha de observveis, ambos s podem obter os resultados +1
ou 1, correspondendo a spin pra cima ou pra baixo e, como vimos na seo
anterior, no caso de escolherem os mesmos observveis, vo ter resultados
necessariamente anti-correlacionados.
Vamos agora assumir realismo e no-sinalizao e analisar as condies
impostas por estas. Seja (a+ , b+ , c ) o estado da partcula que retorna +1
para o observvel a , +1 para b e 1 para c . Podemos escrever todos
os estados possveis de maneira anloga e construir uma tabela que atribui
probabilidades aos estados de Alice e Bob.
Probabilidade
P1
P2
P3
P4
P5
P6
P7
P8

Estado de Alice
(a+ , b+ , c+ )
(a+ , b+ , c )
(a+ , b , c+ )
(a+ , b , c )
(a , b+ , c+ )
(a , b+ , c )
(a , b , c+ )
(a , b , c )

Estado de Bob
(a , b , c )
(a , b , c+ )
(a , b+ , c )
(a , b+ , c+ )
(a+ , b , c )
(a+ , b , c+ )
(a+ , b+ , c )
(a+ , b+ , c+ )

Tabela 1: Todos os possveis estados permitidos por uma teoria realista local.
Pode parecer que utilizamos apenas o realismo para montar a tabela acima,
mas repare por exemplo no grupo P1 . Se Alice medir a ela vai obter +1, e
este fato independe da escolha da medio feita por Bob.
Da tabela 1 podemos obter as probabilidades dos resultados de Alice e
Bob dado um observvel. Por exemplo
p(a+ , b+ ) = P3 + P4 ,
que a probabilidade de Alice obter +1 ao medir o observvel a , e de Bob
obter +1 ao medir o observvel b . De maneira anloga:
p(a+ , c+ ) = P2 + P4 ,

p(c+ , b+ ) = P3 + P7 .

4 A abordagem que vamos usar nesta seo foi feita por Bell em [5] e baseada do trabalho
de Wigner [6].

9
Assim temos a desigualdade5
p (a+ , b+ ) p (a+ , c+ ) + p (c+ , b+ ).

(1)

Vamos analisar as probabilidades previstas pela mecnica quntica. Considere p(a+ , b+ ), neste as regras da mecnica quntica nos afirmam que a
probabilidade



h | | a+ ih a+ | |b+ ihb+ | | i.

Logo, basta encontrar os autovetores do obversvel n , e fazer as contas.

Mas podemos evitar algumas contas se pensamors que Alice mede a+ com
probabilidade 1/2, e o fato de Alice obter a+ implica que o estado de Bob
ser descrito por | a i. Dado este estado, a probabilidade6 de Bob obter b+

|h a |b+ i|2 = sin2 ( ab /2),

onde ab = a b o angulo entre os eixos a e b.
Assim,


1
2 ab
p(a+ , b+ ) = sin
.
2
2
E usando (1) podemos escrever


 
 
2 ab
2 ac
2 cb
sin
sin
+ sin
.
2
2
2
Tomando ab = , ac = 2 e cb = 2 com 0 < < 2 , a desigualdade no
respeitada.
Este exemplo mostra que as correlaes do estado singleto no podem
ser obtidas de uma teoria realista local. Desigualdades que so capazes
de separar teorias realistas locais da mecnica quntica so chamadas de
Desigualdades de Bell. Na prxima seo veremos que esta no-localidade da
mecnica quntica est diretamente relacionada com o emaranhamento.

CHSH

A desigualdade CHSH, proposta por Clauser, Horne, Shimony e Holt em 1969

[7], provavelmente a desigualdade de Bell mais conhecida. Grande parte
de sua fama se deve ao fato dela ter sido utilizada em trabalhos pioneiros
para verificao experimental de desigualdades de Bell [8] e, por alm de
impor uma cota superior a teorias realistas e locais, impe tambm uma cota
superior para a mecnica quntica [9].
Tome o cenrio em que duas partes (A e B) podem medir duas propriedades de um sistema com duas possveis sadas para cada propriedade. As
5 No trabalho original, Wigner interpreta essa desigualdade como O nmero de mulheres
novas menor ou igual ao nmero de mulheres fumantes mais o nmero de pessoas novas no
fumantes.
6 Para simplificar mais as contas, note que podemos escolher b como sendo um vetor unitrio
na direo de z, assim |b+ i = |0i, e precisamos apenas do autovetor de a associado ao
autovalor 1.

CAPTULO 7. CHSH

10

probabilidades conjuntas sero descritas7 por p a,b| x,y , com a, b, x, y {0, 1}.
Defina:
CHSH p a=b|0,0 p a6=b|0,0 + p a=b|0,1 p a6=b|0,1

+ p a=b|1,0 p a6=b|1,0 p a=b|1,1 + p a6=b|1,1 ,

(2)

onde
p a=b| x,y = p0,0| x,y + p1,1| x,y ,
p a6=b| x,y = p0,1| x,y + p1,0| x,y .
Como p representa probabilidades, temos p [0, 1], e trivial verificar
que | CHSH | 4.
Assumindo realismo e localidade, pode-se demonstrar que

| CHSH | 2.
Vamos tratar o caso da mecnica clssica na proxima seo, mas para uma
prova com este formalismo de metateoria, veja [3].

7.1

CHSH na mecnica quntica

Sejam A0 e A1 observveis unitrios8 que vo representar as propriedades

que Alice vai medir. Sejam B0 e B1 as propriedades que Bob vai medir.
conveniente fazer uma mudana de notao; vamos usar a, b {1, 1}.
Mas repare que o CHSH definido na equao (2) independe dos valores que
a e b podem assumir.
Vamos calcular o valor esperado do observvel A x By para um certo
estado |i :

h A x By i|i =

abp a,b| x,y

a=1 b=1

= p1,1| x,y p1,1| x,y p1,1| x,y + p1,1| x,y

= p a=b| x,y p a6=b| x,y .
Agora podemos escrever:
CHSH = h A0 B0 i|i + h A0 B1 i|i + h A1 B0 i|i h A1 B1 i|i ,
que nos motiva a definir um observvel Bell associado a desigualdade CHSH,

BCHSH A0 B0 + A0 B0 + A1 B0 A1 B1 .
Com o operador BCHSH em mos, podemos calcular o valor esperado para
algum estado qualquer, e verificar se a mecnica quntica respeita | CHSH |
2.
7 Lembrando que a o valor obtido por Alice ao medir o observvel x e b o valor obtido por
Bob ao medir y.
8 Logo, um operadores auto-adjuntos e unitrios, que sempre tm autovalores +1 e 1.

7.1. CHSH NA MECNICA QUNTICA

11

As correlaes de estados da forma |i = | ai |bi sempre podem ser

descritas por teorias realistas locais, pois neste caso temos

h A0 B0 i|i = h a| A0 | aihb| B0 |bi.

Assim, podemos tomar os observveis A0 , A1 , B0 e B1 como nmeros reais
que pertencem ao intervalo [0, 1], que nos permite fazer
CHSH = A0 B0 + A0 B1 + A1 B0 A1 B1

= A0 ( B0 B1 ) + A1 ( B0 + B1 )
2.
O leitor que se interessar na construo de uma teoria realista e local que
simula os resultados da mecnica quntica para estados fatorveis pode buscar
a tese de Benjamin Francis Toner [10].
No caso da mecnica clssica, todos operadores comutam entre si, logo
podemos diagonalizar simultaneamnte os operadores A0 , A1 , B0 e B1 . Assim
eles podem tambm ser tratados como nmeros reais, fato que implica em
| CHSH | 2 [11]. 9
Vamos agora exibir um exemplo mais interessante. Tome o estado | i =
1 (|01i |10i) e os operadores
2

A0 = X, A1 = Z,
X+Z
XZ
B0 = , B1 = .
2
2
Assim temos,




X+Z
XZ
hBCHSH i| i = h | X
| i + h | X
| i
2
2




X+Z
XZ
+ h | Z
| i h | Z
| i
2
2

 
 
 

1
1
1
1
+
+

=
2
2
2
2

= 2 2,
que uma violao da desigualdade CHSH.
Mas ser que todo estado emaranhado apresenta no-localidade? A resposta sim! Este teorema demonstrado no apndice C. E no apndiceD
vamos demonstrar que, respeitando os postulados da mecnica quntica, 2 2
tambm o valor mximo que CHSH pode atingir . O que nos leva seguinte
9 Vale notar que o fato da mecnica quntica permitir observveis no compatveis, i.e.,
descritos por operadores que no comutam, apontado como sua principal diferena sobre a
mecnica clssica, onde todos observveis so compatveis. Muitos fsicos gostam de introduzir
mecnica quntica assumindo que os observveis posio e momento no so compatveis.

12

CAPTULO 8. CAIXAS POPESCU-ROHRLICH

pergunta: por qu no mais? Vamos discutir no-localidade supra-quntica

na prxima seo.

Caixas Popescu-Rohrlich

Ao analisar a no-localidade permitida pela mecnica quntica, Sandu Popescu e Daniel Rohrlich tiveram a ideia de assumir no-localidade como um
axioma e derivar os postulados da mecnica quntica [4].
Nesta busca, eles construram um artefato terico que respeita a condio
de no-sinalizao e que tem exatamente CHSH = 4. Este artefato ficou
conhecido como caixa de Popescu-Rohrlich, ou caixa PR. A caixa PR garante
que os resultados a e b de Alice e Bob sempre estejam correlacionados com as
propriedades x e y satisfazendo a seguinte relao:
a b = x.y,
onde o simbolo entendido como soma mdulo 2.
Os resultados da caixa so descritos por:
p a,b| x,y = 1/2,

se a + b = x.y;

p a,b| x,y = 0,

se a + b 6= x.y.

Pode-se verificar que a caixa PR satisfaz a condio de no-sinalizao:

p0,0|0,0
p0,1|0,0
p1,0|0,0
p1,1|0,0
p0,0|1,0
p0,1|1,0
p1,0|1,0
p1,1|1,0

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

p0,0|0,1
p0,1|0,1
p1,0|0,1
p1,1|0,1
p0,0|1,1
p0,1|1,1
p1,0|1,1
p1,1|1,1

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

Tabela 2: Probabilidades p a,b| x,y da caixa PR

p a| x,y = p a,0| x,y + p a,1| x,y = p a| x . Mesmo Alice sabendo x e a, ela no tem
informaes sobre y nem b.
Perceba tambm que
p a=b|00 = p a=b|01 = p a=b|10 = p a6=b|11 = 1;
p a6=b|00 = p a6=b|01 = p a6=b|10 = p a=b|11 = 0,
ento temos CHSH = 4.
A caixa PR serviu para mostrar que podemos obter valores maiores que
2 2 para CHSH que respeitam a condio de no-sinalizao. Um resultado
interessante desta super no-localidade enunciado como: caixas PR trivializam a comunicao. De maneira informal, caso Alice e Bob compartilhem
uma caixa PR, toda deciso conjunta do tipo sim/no pode ser tomada com as

13
partes trocando apenas um bit de informao. Para o resultado mais formal,
veja o apndice E.

Propriedades do produto tensorial

Como o produto tensorial bastante til para a teoria quntica da informao

e geralmente no apresentado em cursos introdutrios de lgebra linear,
vlido defini-lo apropriadamente. Vamos apresentar as propriedades do
produto tensorial como feito na ref. [12].
Definio 9. Sejam V e W espaos vetoriais complexos, |vi V e |wi W .
Criamos um novo elemento |vi |wi, chamado produto tensorial de |vi com |wi.
O produto tensorial dos espaos vetoriais V e W , denotado V W , ser o espao
vetorial gerado pelos vetores da forma |vi |wi, sujeito s relaes
1. (|vi) |wi = (|vi |wi) = |vi (|wi);
2. (|ui + |vi) |wi = |ui |wi + |vi |wi;
3. |vi (|wi + |zi) = |vi |wi + |vi |zi,
para todos |ui, |vi V e |wi, |zi W .
Definio 10. Considere agora que V e W possuem produto interno. Para |ui, |vi
V e |wi, |zi W , define-se o produto interno V W por

(hu| hz|)(|vi |wi) = hu|vihz|wi.

Para tratar dos operadores de V e W agindo em elementos de V W ,
usamos o produto de Kronecker.
Definio 11. Seja A : V V e B : W W , define-se A B como

( A B)|vi |wi A|vi B|wi.

Dois conceitos ligados ao produto tensorial que vamos utilizar so os de
operao local e medio local.
Definio 12. Seja A : V V e B : W W . Operaes da forma A B so
chamadas de operaes locais.10
Medies locais so medies feitas com operadores da forma Mi M j .
Na definio acima, usamos um espao vetorial que escrito como V W .
Mas repare que podemos ter W = E F . Estados que so escritos como
vetores de V W so chamados estados bipartites. No caso de mais partes
(como em V E F ), falamos que um estado multipartite.
Apesar da notao mais precisa para o produto tensorial de dois vetores
ser |vi |wi, ela facilmente se torna pesada. H duas outras notaes bastante
utilizadas, que so boas sempre que no oferecem riscos de m compreenso:

|vi |wi |vi|wi |vwi.

10 Podemos entender as operaes locais como a aplicao das extenses triviais de A e B, i.e.,
A I e I B. J que ( A I )( B I ) = ( B I )( A I ).

APNDICE C. TEOREMA DE GISIN

14

Singleto

Teorema 13. Para qualquer operador unitrio U : H2 H2 da forma U = n

temos que U U | i = | i. Ou seja, o singleto invariante em relao a
unitrias locais11 .
Demonstrao. Segue da definio que um operador unitrio preserva a ortogonalidade de dois vetores. Ento, podemos parametrizar a ao de U
como
U |0i = |0i + |1i;
U |1i = |0i |1i,
onde ||2 + | |2 = 1. Vamos aplicar diretamente U U em | i:
1
U U | i = (U U |01i U U |10i)
2
1
= (|0i + |1i) ( |0i |1i)
2
1
( |0i |1i) (|0i + |1i)
2
1
= ( |00i ||2 |01i + | |2 |10i |11i
2

|00i | |2 |01i + ||2 |10i + |11i)

1
= (||2 + | |2 ) (|01i |10i)
2
= | i.

Teorema de Gisin

Como vimos, a no-localidade caracterstica de estados emaranhados. Mas

ser que todos estados emaranhados exibem no-localidade?
Esta pergunta foi respondida (para o caso de sistemas bipartites) em 1991
por Gisin [13].
Teorema 14. Todo sistema emaranhado bipartite viola alguma desigualdade CHSH.
Demonstrao. Seja |i um estado emaranhado. Usando a decomposio de
Schmidt ele pode ser escrito como

|i = ci |i i |i i.
i

11 Lembrando

que a fase global irrelevante.

15
A condio de emaranhamento impe que pelo menos c1 e c2 so maiores que
zero. Vamos ento definir:

|1 i = c1 |1 i|1 i + c2 |2 i|2 i;
|2 i = ci |i i|i i;
i >2

assim, |i = |1 i + |2 i.
O vetor12 |1 i pode ser tratado como um sistema de dois qubits e, para
simplificar a notao vamos escrever |1 i = c1 |01i + c2 |10i.
Tome os observveis unitrios como:
A0 = Z;
A1 = X;
By = sin y X + Z cos y .
Assim vamos ter
CHSH = cos 0 cos 1 + 2c1 c2 (sin 0 + sin 1 ),
e o mximo se encontra em cos 0 = cos 1 = (1 + 4(c1 c2 )2 )1/2 , ento
temos
q
CHSH = 2 1 + 4(c1 c2 )2 ,
que estritamente maior que 2.
Em 2010 o teorema de Gisin foi estendido; demonstrou-se que todo estado
emaranhado multipartite (puro) viola alguma desigualdade de Bell [14].
Assim, temos uma ligao direta entre emaranhamento e no-localidade.

A cota de Tsirelson

Teorema 15. Assumindo

os postulados de mecnica quntica, temos necessariamente que | CHSH | 2 2 .
Demonstrao. Vamos calcular
2
BCHSH
= ( A0 B0 + A0 B0 + A1 B0 A1 B1 )2 .

Uma conta direta nos leva a:

2
BCHSH
= 4I [ A0 , A1 ] [ B0 , B1 ].

Defina k Ak como o maior valor singular do operador A. Assim, temos

k[V, W ]k 2kV k kW k,

k V W k = k V k kW k e k V 2 k = k V k 2 ,

que nos permite escrever

kBCHSH k2 4 + 4k A0 k k A1 k k B0 k k B1 k.
12 Perceba que
| 1 i e |2 i no caso geral no so estados. Pois no so necessariamente vetores
normalizados, apenas |i tem obrigatoriamente norma 1.

APNDICE E. COMUNICAO TRIVIAL

16

Como os autovalores dos nossos operadores so 1 ou 1, temos

kBCHSH k2 8, ou simplesmente kBCHSH k 2 2.

Agora, basta tomar como estado o autovetor associado ao maior valor
singular de BCHSH para concluir que:

max | CHSH | = 2 2.

Comunicao trivial

O problema abordado pela complexidade de comunicao pode ser encarado

da seguinte forma: quantos bits Alice e Bob precisam trocar para computar a
funo f : A B Z, onde Alice tem acesso apenas aos elementos de A e
Bob apenas os elementos de B.
Vamos nos restringir as funes de deciso, que so as funes onde
A = B = {0, 1}n e Z = {0, 1}, com n N.
Definio 16. Seja f : {0, 1}n {0, 1}n {0, 1}, onde os primeiros n bits,
~a = ( a1 , . . . , an ) pertencem a parte A, e os outros n bits, ~b = (b1 , . . . , bn ) parte B.
A complexidade de comunicao (CC) da funo f o nmero mnimo de bits
(clssicos) que as partes precisam trocar para que A possa ter certeza do valor de
f (~a,~b) para qualquer entrada (~a,~b) {0, 1}n {0, 1}n .
Perceba que a complexidade de comunicao dada pelo pior caso. Pois
ela calculada sem assumir a priori que as partes tm um (~a,~b) especfico.
Lema 17. Toda funo f : {0, 1}n {0, 1}n {0, 1} pode ser escrita como13
n

2
M

Pi (~a) Qi (~b),

i =1

onde p so polinmios em ~a {0, 1}n e Q so monmios em ~b {0, 1}n

Demonstrao. Primeiro note que qualquer funo deciso pode ser escrita
como polinmios em vrias variveis usando produto e soma mdulo 2.
Agora vamos colocar em evidncia todos os monmios Qi que dependem de
~b, definindo implicitamente os polinmios pi , que dependem apenas de ~a:
f (~a,~b) =

Pi (~a) Qi (~b).

Ento precisamos apenas contar quantos monmios Qi podem existir.

k
Sabemos que estes monmios podem ter a forma Qi= b11 b2k2 . . . bnkn , onde cada
13 Onde

o simbolo

entendido como somatrio mdulo 2.

REFERNCIAS

17

k j pode assumir dois valores, 0 ou 1. Assim, podemos ter 2n monmios

diferentes. Logo
n

f (~a,~b) =

2
M

Pi (~a) Qi (~b).

i =1

Podemos agora provar o resultado principal, que foi apresentado por van
Dam em [15, 16].
Teorema 18. Se Alice e Bob possuem uma caixa de Popescu Rohrlich, qualquer
funo deciso f possui CC igual a 1.
Demonstrao. Vamos escrever f como:
n

f (~a,~b) =

2
M

Pi (~a) Qi (~b).

Alice e Bob entram com os bits pi (~a) e Qi (~b) na caixa PR para obter i e i
que satisfazem Pi (~a).Qi (~b) = i i . Assim temos:
2n

2n

2n

( i i ) = ( i ) ( i ).
Repare agora que Bob pode somar os bits i sem precisar comunicar com Alice.
n
Basta agora ele enviar o bit 2i i , para que Alice possa calcular f (~a,~b).
Conclumos ento que se Alice e Bob compartilham uma caixa PR, toda
funo deciso pode ser avaliada com apenas um bit de comunicao!

Referncias
[1] A. Einstein, B. Podolsky e N. Rosen. Can Quantum-Mechanical Description of Physical Reality Be Considered Complete? Phys. Rev. 47, 10
(1935), pp. 777780.
[2]

J. S. Bell. On the Einstein-Poldolsky-Rosen paradox. Physics (1964).

[3] Marco Tlio Coelho Quintino. No-localidade como recurso para comunicao. 2010. url: http://www.mat.ufmg.br/~tcunha/MonografiaMTulio.
pdf.
[4] D. Rohrlich e S. Popescu. Nonlocality as an axiom for quantum theory
(1995). arXiv:quant-ph/9508009.
[5] J. S. Bell. Bertlmanns socks and the nature of reality. Journal de Physique Colloques (1981).
[6] Eugene P. Wigner. On Hidden Variables and Quantum Mechanical
Probabilities. Am. J. Phys. (1970).

REFERNCIAS

18

[7] John F. Clauser et al. Proposed Experiment to Test Local HiddenVariable Theories. Phys. Rev. Lett. 23, 15 (1969), pp. 880884.
[8] Alain Aspect, Philippe Grangier e Grard Roger. Experimental Realization of Einstein-Podolsky-Rosen-Bohm Gedankenexperiment: A New
Violation of Bells Inequalities. Phys. Rev. Lett. 49, 2 (1982), pp. 9194.
[9] B. S. Cirelson. Quantum generalizations of Bells inequality. Lett.
Math. Phys. 4, 2 (1980), pp. 93100.
[10] Benjamin Francis Toner. Quantifying Quantum Nonlocality. Tese de
doutorado. 2007.
[11]

B. S. Cirelson. Comunicao particular. 2010.

[12]

Marcelo O. Terra Cunha. Noes de Informao Quntica. IMPA, 2007.

[13] N. Gisin. Bells inequality holds for all non-product states. Physics
Letters A 154, 5-6 (1991), pp. 201 202.
[14] M. Li e S.-M. Fei. Gisins Theorem for Arbitrary Dimensional Multipartite States. Phys. Rev. Lett. 104, 24 (2010), p. 240502. arXiv:1006.3557
[quant-ph].
[15] W. van Dam. Nonlocality and Communication Complexity. Tese de
doutorado. 1999.
[16] W. van Dam. Implausible Consequences of Superstrong Nonlocality
(2005). arXiv:quant-ph/0501159.