WECIQ 2006 - Mini-curso 1

Conceitos e Interpretaes da Mecnica Quntica: o Teorema de Bell

Osvaldo Pessoa Jr.1
Depto. de Filosofia, FFLCH, Universidade de So Paulo Av. Prof. Luciano Gualberto, 315, 05508-900, So Paulo, SP, Brasil
opessoa@usp.br
1

Resumo. Examinamos as implicaes filosficas do famoso teorema da impossibilidade

de teorias de variveis ocultas (TVOs) locais, formulado por John Bell. Iniciamos com uma introduo sucinta Mecnica Quntica e no-localidade, delineando as motivaes do trabalho de Bell. Detemo-nos na explicao das hipteses usadas no teorema e em alguns conceitos necessrios para entend-lo. Enfocamos ento a aplicao do teorema para TVOs estocsticas e a distino entre dois tipos de no-localidade, sendo que a violao de uma delas, a independncia de resultados , tem sido aceita como a soluo realista mais plausvel para o quadrilema de Bell. Destacamos que h duas abordagens gerais ao teorema de Bell, a primeira envolvendo TVOs e potencialidades, e a segunda envolvendo contrafactuais. No final, resumem-se cinco interpretaes diferentes sobre as conseqncias filosficas do teorema de Bell.

1. Apresentao O teorema da impossibilidade de teorias de variveis ocultas (TVOs) locais , apresentado por John Stuart Bell (1964), foi o mais importante resultado dos fundamentos da Teoria Quntica desde a redescoberta da interpretao dualista realista por David Bohm (1952). Como conseqncia desse teorema, e dos experimentos que mostraram que de fato as previses da teoria quntica so corretas (em oposio previses das TVOs locais), tem sido comum entre os fsicos a afirmao imprecisa de que Einstein estava errado (com relao sua posio no clebre trabalho com Podolsky e Rosen, 1935) ou de que a natureza nolocal . Ao mesmo tempo que o teorema de Bell tem encontrado diversas aplicaes na rea de informao quntica, curioso que nenhum avano significativo ocorreu com relao s suas conseqncias filosficas desde 1985, quando ficou clara a distino entre dois tipos de localidade. Este trabalho uma introduo ao teorema de Bell, fazendo uma resenha dos resultados da literatura e propondo algumas consideraes originais. Ao leitor que estiver interessado em uma apresentao mais detalhada e completa do teorema de Bell, ver Pessoa (2006, caps. 27-30).

2. Ao Distncia vs. Ao Contgua Se um astronauta estivesse orbitando a estrela Srio, a 8,6 anos-luz de ns, e se ele resolvesse atirar um martelo para fora da nave, o efeito gravitacional deste ato seria sentido de maneira muito tnue na Terra. mile Borel (1914, pp. 178-80) calculou que este efeito

poderia alterar o choque entre duas molculas de um gs! Este exemplo mostra que, mesmo na Fsica Clssica, vivemos em um universo indiviso . Isaac Newton talvez no se surpreendesse com este resultado, mas ele julgaria que esta ao gravitacional seria transmitida de maneira instantnea entre a causa e o efeito. A esta concepo se d o nome de ao distncia . Aps a teoria eletromagntica de James Maxwell e a teoria da gravitao de Albert Einstein, ou seja, em torno de 1920, o que ainda podemos chamar de Fsica Clssica (em oposio Mecnica Quntica) j havia incorporado a idia de Michael Faraday de que as aes se transmitem de maneira contgua, local , de um ponto para outro encostado nele, a uma velocidade finita (nunca superior velocidade da luz no vcuo). Teorias deste tipo so chamadas teorias de campo . O ato na estrela Srio ainda afetaria causalmente um choque entre molculas na Terra, mas este efeito demoraria 8,6 anos para chegar aqui. Aes distncia no teriam mais lugar na Fsica. No entanto, na Fsica Quntica acontece algo parecido com a ao distncia! A isto se d o nome de no-localidade . Veremos, porm, que esta propriedade da teoria no envolve relaes de causa e efeito que se propaguem a uma velocidade maior do que a da luz.

3. O Trilema Fundamental Quais so, ento, as conseqncias filosficas do teorema de Bell? Uma resposta inicial [d Espagnat, 1979] que ele nos fora a abandonar pelo menos uma de trs teses fundamentais aceitas na Fsica Clssica (de em torno de 1920): realismo , localidade ou induo . Nossa tarefa ento ser explicar o que significam essas teses, mas, para isso, teremos antes que falar um pouco sobre a descrio de mundo da Fsica Quntica.

4. Apresentao Sucinta da Fsica Quntica Uma maneira de apresentar sucintamente a Teoria Quntica dizer que ela a teoria (ou faz parte da classe de teorias) que concilia, de alguma maneira, aspectos contnuos (ondulatrios) e discretos (corpusculares). Notem que dizer que uma entidade indivisvel ao mesmo tempo onda e partcula uma contradio lgica, pois uma onda espalhada e divisvel, ao passo que a partcula discreta (no-espalhada) e indivisvel (dentro de uma faixa de energia). Assim, conciliar aspectos contnuos e discretos no tarefa trivial, mas isto que a Teoria Quntica tem que de alguma maneira fazer. (Desenvolvemos esta apresentao de maneira mais cuidadosa em Pessoa 2002, cap. 1.) Considere o experimento de Stern-Gerlach, da Fig. 1.

Figura 1: Aparelho de Stern-Gerlach

Um nico tomo de prata passa por um im que gera um campo magntico nohomogneo, e tem probabilidade de ser detectada em cima na tela fosforescente, ou em baixo . A primeira explicao que nos vem mente de que o tomo se comporta como um corpsculo, e que no im as pequenas flutuaes existentes determinariam se o tomo segue a trajetria para cima ou para baixo. H porm um problema com esta interpretao corpuscular, problema este que central na Teoria Quntica. No poderemos explicar aqui em detalhes este problema, mas sucintamente o que acontece que se retirssemos a tela detectora e recolimssemos os feixes de forma que eles adentrassem um segundo aparelho de Stern-Gerlach, o estado final do feixe seria igual ao estado inicial, e no igual ao estado de um tomo que detectado na posio em cima (ou na posio em baixo ).

5. Colapsos No-Locais na Interpretao Realista Ondulatria Esta possibilidade de que os feixes possam ser recombinados e um fenmeno de interferncia possa ser observado favorece a interpretao segundo a qual existe uma onda associada ao tomo que passa pelo im, uma onda que se divide entre as duas trajetrias indicadas na figura. Uma primeira interpretao realista ou seja, que concebe que entidades noobservveis tambm tenham propriedades bem definidas da Teoria Quntica (afora a corpuscular ingnua que vimos acima) supe que a ontologia do mundo apenas ondulatria, no havendo partculas. O que parece ser uma partcula seria, na verdade, um pacote de onda bem apertado, conforme mostrado na Fig. 2. Aps passar pelo im de Stern-Gerlach, a onda se divide simetricamente entre os dois caminhos possveis. Note que, na figura, h uma flechinha associada a cada ondinha, representando a propriedade chamada spin , significando que cada tomo pode ser concebido como um minsculo im (ou seja, tem momento magntico). Na interpretao indicada da Fig. 2, o spin do tomo concebido como uma propriedade ondulatria do tomo.

Figura 2: Experimento de Stern-Gerlach para um nico tomo, segundo a interpretao ondulatria.

Aps a diviso ( anlise ) do feixe, ocorre a medio propriamente dita, que envolve deteco e amplificao. Ao invs de utilizar uma tela fosforescente, que absorve o tomo, consideremos um par de detectores (por exemplo, cmaras de nuvens para tomos ionizados)

que deixa o tomo passar com o menor distrbio possvel. Um dos detectores ir acusar a passagem do tomo, enquanto que o outro no. Assim, aps a medio, poderemos associar uma trajetria ao tomo (antes da medio no podamos, pelo menos de acordo com esta interpretao ondulatria). A transio entre a onda espalhada (sem trajetria definida) para a onda espacialmente localizada recebe o nome de colapso . Um problema com este colapso que ele no-local. Isso fica mais claro se imaginarmos que as duas amplitudes de onda desenhadas na Fig. 2 (antes da deteco) sejam separadas a uma grande distncia, e que s ento uma medio seja feita em cada uma delas. Segundo esta interpretao ondulatria, imediatamente aps a deteco de uma das amplitudes, a outra desaparece! Tal efeito se propagaria instantaneamente entre as duas amplitudes, e portanto seria no-local. Esta caracterstica problemtica, e explica (em parte) porque a interpretao ondulatria com colapsos no foi aceita na dcada de 1920. Com efeito, a interpretao que se tornou dominante baseou-se no conceito de complementaridade , e ela evitou paradoxos como o do colapso no-local simplesmente suspendendo o juzo acerca de qualquer parte no-observada da realidade. Ou seja, segundo esta interpretao positivista (anti-realista), s faria sentido se referir realidade observada, como as ionizaes dos detectores, e no ao estado quntico . Os colapsos seriam meramente redues de estado , redues formais, simblicas, e no reais. Assim, a nolocalidade associada aos colapsos no seriam problemticas.

6. Uma Interpretao Realista aparentemente sem Colapsos No-Locais Haveria uma interpretao realista sem colapsos no-locais? Em 1926, Louis de Broglie props que, alm das ondas (mencionadas anteriormente), existiriam tambm corpsculos, e seriam estes que apareceriam nos detectores (ver Fig. 3). Os efeitos de interferncia, que surgem quando os feixes so recombinados (antes de qualquer medio), seriam explicados pelas ondas. Quando ocorre uma medio, no ocorre colapso! Onde houver corpsculo, aparece uma trajetria no detector; onde no houver corpsculo, temos uma onda vazia , que no carregaria energia mas se propagaria eternamente. Esta onda vazia um conceito estranho mas, pelo menos, nesta interpretao dualista realista parece que no h problemas com a violao da localidade! (Vale mencionar que a deteco do corpsculo introduz uma defasagem aleatria na onda associada, uma perda de coerncia, de tal forma que qualquer efeito de interferncia, proveniente da recombinao dos feixes, desaparece quando ocorre uma medio em um dos feixes.)

Figura 3: Experimento de Stern-Gerlach segundo a interpretao dualista realista.

De Broglie abandonou sua interpretao da onda piloto devido a diversas crticas que recebeu em 1927, especialmente de Wolfgang Pauli. Em 1951, porm, o norte-americano David Bohm redescobriu sua interpretao, e quando se deparou com os problemas levantados pelos crticos, conseguiu resolv-los estendendo as variveis ocultas (ou seja, as posies dos corpsculos) tambm para o prprio aparelho de medio. Teramos enfim uma interpretao realista local consistente com a Teoria Quntica?

7. Anticorrelao Perfeita No! Bohm salientou claramente que sua teoria se tornava no-local quando houvesse duas partculas correlacionadas. Exemplificaremos isso fazendo um resumo (na seo 8) do famoso paradoxo de Einstein, Podolsky & Rosen (EPR), formulado em 1935. Antes, porm, precisamos descrever um comportamento sui generis de um par de partculas qunticas, a anticorrelao perfeita (Fig. 4), que propriedade de um estado quntico particular de duas partculas, o estado de singleto . Na Fig. 4, vemos que um par de partculas foi emitido da posio O, passa por ims de Stern-Gerlach orientados na mesma direo a, e finalmente detectado. Na figura, o par da esquerda (de nmero 1) foi detectado em cima, fornecendo o resultado I = +1, enquanto que o par da direita (de nmero 2) foi detectado em baixo, com resultado II = 1, oposto ao da outra partcula. A anticorrelao perfeita exprime o fato de que estes resultados so sempre opostos, ou seja, o produto I II = 1. Se o resultado da esquerda tivesse sido diferente, o da direita tambm seria.

Figura 4: Ilustrao da anticorrelao perfeita exibida pelo estado de singleto.

At aqui, este comportamento no estranho, podendo ocorrer com partculas clssicas que obedecem a um princpio de conservao, como a conservao de momento angular (que se aplica em nosso exemplo). O que sui generis, no caso quntico, que este comportamento se verifica para qualquer orientao a dos aparelhos de Stern-Gerlach! Ou seja, logo depois que o par de partculas foi emitido em O, o cientista pode colocar rapidamente os dois aparelhos em qualquer orientao que ele queira (sendo a mesma orientao para o par de aparelhos), e o que se observar ser a anticorrelao perfeita. (Para simplificar, estamos supondo que os detectores tm eficincia mxima, o que no ocorre na prtica.) Esta propriedade de anticorrelao perfeita para todos os ngulos no pode ser obtida classicamente , isto , por uma teoria realista local, e a demonstrao disso justamente o contedo do teorema de Bell!

Como o par de partculas qunticas no estado de singleto tem esta propriedade incrvel, atribui-se um nome especial para os estados que a possuem: eles so chamados de estados emaranhados , o que vem do termo entangled state em ingls. Se supormos que o formalismo da Teoria Quntica completo (ou seja, descreve corretamente toda a realidade fsica, como supem a interpretao da complementaridade e tambm a ondulatria, que esboamos na seo 5), conclumos que o spin (a flechinha) de cada partcula do par no est definido antes da deteco, no est apontando para nenhuma direo. apenas aps a deteco que ocorre uma reduo (colapso) para estados individuais de spin bem definido.

8. No-Localidade na Teoria Realista Dualista Mostraremos agora porque Bohm concluiu que sua interpretao dualista realista no-local para um par de partculas emaranhadas, acabando com as esperanas iniciais de que a teoria da onda-piloto de Louis de Broglie (seo 6) pudesse ser local. Faremos isso considerando a adaptao que Bohm (1951, pp. 611-23) fez, para pares de partculas correlacionadas de spin , do paradoxo de Einstein, Podolsky & Rosen (Fig. 5).

Figura 5: Montagem do paradoxo de EPR com duas partculas de spins correlacionados.

Imaginemos que o par de partculas seja emitido do ponto O, em um foguete entre a Terra e a Lua, e que a medio na partcula 2 se d na Terra, enquanto que a partcula 1 chega na Lua. Se na Terra eu resolvesse medir o spin na direo a (obtendo o valor +1 ou 1), a Teoria Quntica diz que na Lua a partcula teria imediatamente (devido reduo de estado) seu spin bem definido na mesma direo a (com valor 1 ou +1, respectivamente). Porm, logo antes de a partcula chegar na superfcie da Terra, eu poderia mudar a orientao do im para a direo b. Neste caso, quando a medio fosse completada na frao de segundo subseqente, o que passaria a ter realidade na Lua seria o spin na direo b, no na direo a! Einstein, Podolsky & Rosen partiram do princpio de que no existe ao distncia (no existem influncias instantneas, no-locais), e assim concluram que as duas realidades spin na direo a e spin na direo b coexistiriam na Lua (pois no daria tempo de um efeito causado pela rotao do im chegar na Lua). Como a interpretao ortodoxa da Teoria Quntica no atribui realidade simultnea a grandezas incompatveis como spin na direo a e na direo b (em outras palavras, os observveis associados a estes spins so limitados por uma relao de incerteza), concluram que a teoria quntica seria incompleta. Apesar de Bohm concordar que a teoria quntica ortodoxa (sem variveis ocultas) era incompleta, sua anlise da montagem de EPR (Fig. 4) era diferente. Sua concluso foi de que existiria uma influncia causal instantnea entre a medio na partcula 1 e o estado da partcula 2. Ou seja, ao contrrio de EPR, Bohm aceitou a no-localidade.

10

9. Generalizao da No-Localidade para qualquer Interpretao Realista O prximo personagem em nossa histria o norte-irlands John Stuart Bell. Ele estudou o trabalho de Bohm, como alguns outros fizeram, mas ficou admirado que as frmulas que fornecem as velocidades das partculas exibem o trao curioso de ter em geral um carter flagrantemente no-local [Bell, 1966]. Fez ento a pergunta correta : ser que o trao no-local da teoria realista de Bohm seria uma caracterstica de qualquer teoria realista local? Em poucas semanas, mostrou que sim! Derivou uma prova de impossibilidade para teorias de variveis ocultas locais. O termo teoria de variveis ocultas (TVO) cobre justamente as interpretaes realistas que temos visto. No caso da teoria de de Broglie-Bohm, as variveis ocultas (ou escondidas ) so as posies dos corpsculos e tambm suas velocidades a cada instante (estas, porm, poderiam ser calculadas a partir das posies, desconhecidas, e da funo de onda, conhecida). As variveis ocultas podem ser representadas genericamente por um conjunto de nmeros . No caso da interpretao ondulatria (seo 5), se supormos que os colapsos sejam aleatrios, teremos um exemplo de um tipo mais fraco de TVO, chamado teoria de variveis ocultas estocsticas , que examinaremos mais adiante. Uma teoria de variveis ocultas constitui uma interpretao realista porque ela atribui valores bem definidos para variveis que em geral no so observadas; a atitude oposta, positivista, diria que no faz sentido atribuir valores para variveis que no podem ser observadas. A prova de impossibilidade de Bell afirma que qualquer TVO (ou seja, qualquer teoria realista) que seja local limitada por uma desigualdade do seguinte tipo (cujos termos explicaremos na seo seguinte): c(a,b) + c(a,b ) + c(a ,b) c(a ,b ) 2 . (1)

Ora, mostrou Bell, a Mecnica Quntica prev que haja situaes em que esta desigualdade violada! Portanto, se a Teoria Quntica estiver correta, TVOs locais so impossveis! Esta uma concluso realmente impressionante para aqueles poucos que tinham a esperana de construir uma teoria realista local, como esboada na seo 6. Tal resultado no deveria afetar a interpretao ortodoxa, positivista, mas de fato, paradoxalmente, ele iniciou uma nova era nos fundamentos da Mecnica Quntica, uma era marcada por uma reao realista contra a velha ortodoxia.

10. Coeficientes de Correlao e a Previso da Mecnica Quntica O que so os termos c(a,b) que aparecem na desigualdade de Bell? Eles so chamados coeficientes de correlao, e exprimem como os resultados obtidos para uma das partculas se correlacionam com os resultados obtidos para a outra partcula. Vejamos trs casos simples: Se, para cada par de partculas, ambos os detectores sempre fornecerem o mesmo resultado, ento c(a,b) = 1. Se os resultados forem sempre opostos, resultando na anticorrelao perfeita (que vimos na seo 7), ento c(a,b) = 1. Se o resultado de um independer do outro, ento c(a,b) = 0. Notemos que o coeficiente de correlao uma mdia sobre todas as medies n do produto In IIn envolvendo os resultados ( 1 ou 1) obtidos para ambas as partculas. Ou seja, se

11

os dois resultados forem sempre os mesmos, o produto ser sempre 1, e a mdia ser simplesmente c(a,b) = 1. Se os resultados forem sempre opostos, o produto ser 1, e teremos c(a,b) = 1. No terceiro caso, em que os resultados so independentes, o produto In IIn s vezes ser 1, s vezes 1, de forma que a mdia acaba sendo prxima de zero: c(a,b) = 0. O coeficiente de correlao exprime assim a probabilidade conjunta de obter os mesmos resultados para ambas as partculas, podendo assumir qualquer valor entre 1 e 1.

Figura 6: Arranjo experimental para testar o teorema de Bell, com ims de Stern-Gerlach orientados em ngulos diferentes a, b.

J mencionamos que h um estado, chamado singleto , que exibe anticorrelao perfeita, c(a,a) = 1, e invarincia rotacional, ou seja, suas propriedades no mudam qualquer que seja a orientao (igual) dos pares de ims ( a). Podemos escrever este estado de singleto da seguinte maneira:
s 1 2 z 1 z 2 1 2 z 1 z 2

(2)

Do lado direito da equao h dois termos (uma superposio), cada qual correspondendo a uma das possibilidades de medio com ims orientados na direo z. Por exemplo, se a medio na partcula 1 resultar no resultado +1, o estado de (2) se reduz para o seguinte estado:
r z 1 z 2

(3)

Ora, este estado reduzido indica claramente que o resultado a ser obtido na outra partcula (de nmero 2) ser 1, pois esta partcula estaria agora no autoestado z 2 do observvel de spin (componente na direo z) sendo medido, cujo autovalor 1. Para o estado de singleto, o clculo do coeficiente de correlao de acordo com a Teoria Quntica fornece o seguinte resultado: c s(a,b) = onde
ab

cos (

ab)

(4)

o ngulo entre a e b. Podemos assim calcular qual a previso da Teoria Quntica para a desigualdade de Bell em (1). Note que nesta expresso h quatro coeficientes, envolvendo os ngulos a, a , b, b . Se tomarmos o caso particular em que a=b, ou seja ab = 0, e alm disso ab = a b = 60 , e a b = 120 , o termo esquerda na desigualdade (1) torna-se 2,5 , que maior do que 2. Em outras palavras, a Teoria Quntica prev que haja situaes que violem a desigualdade de Bell! Mas qualquer TVO local limitada por esta desigualdade. Portanto, h

12

situaes previstas pela Mecnica Quntica que no podem ser explicadas por teorias realistas (TVOs) locais. Experimentos nos anos 70 comprovaram, supondo-se certas hipteses, que tais situaes existem, de forma que qualquer teoria realista local, limitada pela desigualdade de Bell, deve ser descartada (ver a resenha de [Clauser & Shimony, 1978], e os experimentos do grupo de Aspect, resumidos em [Aspect & Grangier, 1986]). Examinaremos adiante esta situao com mais cuidado, para verificar exatamente quais so as hipteses sendo usadas e quais delas seriam responsveis pela imposio da desigualdade de Bell.

11. Como se deriva a Desigualdade de Bell? De um ponto de vista mais filosfico e geral (ou seja, sem nos preocuparmos com as estratgias matemticas de derivao de diferentes verses da desigualdade), existem duas abordagens principais para se obter a desigualdade de Bell. 1) A primeira abordagem bsica pressupe a existncia de teorias de variveis ocultas locais. Tais TVOs locais podem ser de dois tipos: (a) com determinismo nas medies ; (b) TVOs estocsticas. Examinaremos estas abordagens a seguir. 2) A segunda abordagem pressupe a existncia de contrafactuais , com os quais se faz uma definio adequada de localidade. Esta forma de derivar a desigualdade de Bell tem a vantagem de no pressupor a existncia de variveis escondidas, de maneira que ela pode ser considerada mais prxima da atitude positivista. No entanto, ela nos leva a uma discusso metafsica a respeito da realidade de mundos possveis que no se realizam (ou seja, que so contrrios aos fatos, contrafactuais ). No abordaremos esta abordagem aqui, mas o leitor interessado pode consultar Pessoa (2004).

12. TVOs Locais com Determinismo nas Medies O estmulo inicial para se proporem teorias de variveis ocultas foi a possibilidade de que, conhecendo-se o estado quntico e as variveis ocultas todo resultado de qualquer medio poderia ser calculado. claro que na prtica ningum poderia conhecer as variveis (supondo que elas existssem), mas em princpio poder-se-ia conceber um ser onisciente que tivesse esta capacidade. Esta determinao do resultado de uma medio, obtida a partir de e pode ser chamada de determinismo nas medies . A negao desta condio, de forma que e fornecessem apenas as probabilidades dos resultados das medies, constituem as TVOs estocsticas , a serem examinadas na seo 15. Consideremos a classe de TVOs que satisfazem o determinismo nas medies e consideremos o experimento envolvendo duas partculas de spin correlacionados (Fig. 6). (Estamos aqui adaptando a prova simplificada apresentada por Redhead, 1987, pp. 82-6.) Para um par de partculas n e orientaes a, b dos aparelhos de Stern-Gerlach, as variveis ocultas determinariam univocamente todos os resultados possveis (mesmo contrafactuais) I (da partcula 1) e II (da partcula 2). Ou seja, In(a,b, ), IIn(a,b, ), In(a,b , ), etc. seriam todos bem definidos, mesmo antes de completada a medio. Pois bem, nesta situao poderia ocorrer que In(a,b, ) In(a,b , ), isto , o resultado In (obtido por exemplo na Lua) dependeria da orientao do outro aparelho (orientado ou em b ou em b ) localizado distncia (na Terra). Essa desigualdade ento exprime uma condio de no-localidade!

13

Ora, j sabemos que o teorema de Bell se aplica para TVOs locais. Para exprimir isto matematicamente, negamos a desigualdade do pargrafo anterior e impomos que In(a,b, ) = In(a,b , ) = In(a, ) , e analogamente para In(a , ), IIn(b, ) e IIn(b , ). Eis ento a condio de localidade para TVOs com determinismo nas medies . Para se derivar a desigualdade de Bell (1), lembremos (da seo 10) que o coeficiente de correlao c(a,b) a mdia do produto In IIn dos resultados (1 ou 1) das medies para cada partcula, com os aparelhos de Stern-Gerlach orientados nas direes a e b. Assim, para obter o lado esquerdo da desigualdade de Bell, consideramos a mdia da seguinte grandeza (onde escrevemos de forma explcita as dependncias em a, b e ): In(a,b, ) IIn(a,b, ) + In(a,b , ) IIn(a,b , ) + + In(a ,b, ) IIn(a ,b, ) In(a ,b , ) IIn(a ,b , ) (5)

Mas, conforme acabamos de discutir, queremos impor a condio de localidade, o que transforma os oito coeficientes acima em quatro. A expresso resultante, escrita abaixo, s pode ser igual a 2 ou a 2, conforme os valores de In(a, ), In(a , ), IIn(b, ) e IIn(b , ) (que s podem ser 1 ou 1): In(a, ) IIn(b, ) + In(a, ) IIn(b , ) + In(a , ) IIn(b, ) In(a , ) IIn(b , ) = 2

Ora, ao se fazer a mdia da expresso do lado esquerdo, para diferentes pares de medio n, obtm-se um resultado cujo valor mximo 2 (para o caso extremo em que todos os pares de partculas levem ao resultado 2) e o valor mnimo 2 (no outro caso extremo), sendo que mais provvel que se obtenha um valor mdio entre 2 e 2. Essa concluso pode ento ser expressa da seguinte maneira, que justamente a desigualdade de Bell (1): c(a,b) + c(a,b ) + c(a ,b) c(a ,b ) 2 .

Esta desigualdade no verso original derivada por Bell (ver a eq. 17, na seo 21, abaixo), mas foi derivada por Clauser, Horne, Shimony & Holt (1969).

13. A Hiptese da Induo Se quisermos testar experimentalmente a desigualdade acima, medindo c(a,b) + c(a,b ) + c(a ,b) c(a ,b ), preciso fazer quatro experimentos como os da Fig. 6, cada qual com um grande nmero de pares de partculas. Lembremos que estamos no contexto de uma TVO, de forma que estamos supondo que existam variveis ocultas que determinam os resultados de medies. Os valores de variam para cada par de partcula (o que explicaria porque os resultados podem ser diferentes de um par para outro), mas supe-se que exista uma funo de distribuio s( ) de variveis ocultas para o estado de singleto s . Pois bem: o que garante que, quando mudamos a posio dos aparelhos de SternGerlach para realizar as quatro corridas de dados, a funo de distribuio s( ) se mantm constante? Nada garante. No entanto, precisamos desta hiptese para que o teste experimental possa ser comparado com o resultado da derivao de Bell. Assim, chamaremos esta hiptese de induo, e de agora em diante lembraremos que ela necessria para a derivao da desigualdade de Bell. A hiptese da induo supe que haja uma amostragem justa na realizao do experimento. Imaginemos uma situao que viole esta amostragem justa. Suponha que 14

quando o par n de partculas detectado, elas deixem um rastro no vcuo, de tal forma que o par seguinte seja afetado pelo resultado da medio anterior. Isto violaria a hiptese da induo, e poderia fazer com que a TVO local em questo violasse a desigualdade de Bell. A hiptese da induo recebeu este nome porque ela tambm est envolvida na garantia de que um nmero finito de medies (realizadas na prtica) seja uma amostra justa da situao terica que vale para uma srie de medies que tende para infinito.

14. O Trilema Fundamental Revisitado: um Quadrilema Na seo 3 mencionamos o trilema fundamental do teorema de Bell, que pode ser expresso da seguinte forma: Realismo, Localidade, Induo (Med. Fidedigna) Desigualdade de Bell (6)

Inclumos uma quarta hiptese, a das medies fidedignas , que supe que o resultado de uma medio numericamente igual ao valor possudo pelo observvel imediatamente antes da medio. Essa suposio to prxima hiptese do realismo que ela usualmente incorporada nesta. No a mencionaremos mais neste artigo. Vimos, porm, que fizemos uma hiptese adicional que no est includa neste esquema lgico. A derivao que fizemos vlida para teorias de variveis ocultas com determinismo na medio . O trilema fundamental na verdade um quadrilema : Realismo, Localidade, Induo Determinismo nas Medies Desigualdade de Bell (7)

Como a desigualdade de Bell violada, devemos rejeitar uma (ou mais) das hipteses que esto do lado esquerdo de (7). Se tivermos simpatia por interpretaes realistas e quisermos salvar a localidade, talvez seja suficiente rejeitarmos o determinismo nas medies . isto que examinaremos a seguir.

15. Teoria de Variveis Ocultas Estocstica Local O abandono do determinismo nas medies leva a uma classe de TVOs chamada estocstica . Nesta, as variveis ocultas (juntamente com o estado quntico) no determinam univocamente os resultados das medies, mas fornecem apenas probabilidades para diferentes resultados. Para que serve uma TVO estocstica? A motivao por trs das teorias de variveis ocultas no era justamente a capacidade de determinar univocamente os resultados das medies? Uma TVO que s fornece probabilidades recairia no tiquismo (probabilismo) prprio da Teoria Quntica. Qual seria ento o interesse nela? O interesse que TVOs estocsticas locais tambm levam a uma desigualdade de Bell, como mostrou Bell (1971) e Clauser & Horne (1974). Ou seja, se tentarmos resolver o quadrilema fundamental (7) abandonando o determinismo nas medies , mesmo assim a desigualdade ressurge. No entanto, veremos na seo seguinte que uma nova hiptese acaba sendo introduzida. O que faremos agora examinar um pouco mais as vantagens de se considerar TVOs estocsticas. Salientaremos dois pontos.

15

Primeiro, conforme j mencionamos, a forma com que as previses das TVOs estocsticas so fornecidas idntica ao que ocorre no caso da Teoria Quntica, ou seja, ambas fornecem probabilidades. Como as variveis no determinam univocamente os resultados, possvel identificar tais variveis com o prprio estado quntico do sistema! Ou seja, os nmeros que definem o estado quntico podem ser considerados variveis ocultas, que inclusive so invariantes ante mudanas no observvel sendo medido! Assim, TVOs estocsticas seriam uma classe geral de teorias que tm como caso particular a Teoria Quntica! Esta concluso surpreendente: a Teoria Quntica seria uma TVO estocstica nolocal? Isso significaria que o teorema de Bell limitaria qualquer interpretao da Mecnica Quntica? No bem assim. possvel interpretar a Teoria Quntica de tal forma que ela no seja englobada por essa classe de TVOs estocsticas, desde que ela seja interpretada de maneira positivista. Interpretaes positivistas da Mecnica Quntica negam que faa sentido atribuir realidade para (o estado seria apenas um construto terico, abstrato), de forma que no faria sentido afirmar a existncia de variveis ocultas, mesmo as que atuam estocasticamente. A concluso de que a Teoria Quntica seja no-local significaria apenas que certas entidades abstratas ( ) atuam na teoria de maneira no-local, o que nada diz sobre uma suposta no-localidade da natureza. Uma segunda motivao para TVOs estocsticas surge do fato de elas serem consistentes com as TVOs definidas com determinismo nas medies . As variveis ocultas da TVO estocstica poderiam formar um conjunto incompleto de variveis, que se completariam (reinstaurando o determinismo nas medies) com variveis adicionais localizadas em alguma parte, por exemplo nos aparelhos de medio. Para dar um exemplo, consideremos o valor possudo para o componente de spin na direo a, para uma nica partcula: I(a, ). Segundo o determinismo nas medies, o valor I(a, ) vai depender unicamente de e da orientao a do analisador macroscpico. Ora, podemos supor que o aparelho macroscpico tambm tem variveis ocultas prprias a que flutuam ao sabor de suas interaes com o ambiente externo. A cada medio com o analisador de Stern-Gerlach orientado em a e com a varivel oculta possuindo o valor , as variveis a podero adquirir valores diferentes, afetando assim o resultado de I(a, , a). Teramos assim um verso criptodeterminista (ou seja, com um determinismo escondido) para uma TVO estocstica.

16. Dois Tipos de No-Localidade Vejamos agora as conseqncias de se derivar a desigualdade de Bell para TVOs locais estocsticas. Uma maneira de derivar a desigualdade parte da probabilidade conjunta Prob 1a, 2b(I,II, ) de medir o observvel 1a e ele possuir o valor I (que pode ser 1 ou +1), de medir 2b e ele possuir o valor II, e da varivel oculta possuir o valor . (Estamos simplificando aqui a apresentao de [Redhead, 1987, pp. 98-107].) A probabilidade conjunta pode ser escrita como um produto de probabilidades condicionais: Prob
1a , 2b(I,II,

) = Prob

1a , 2b(I

/ II & ) Prob

1a , 2b(II

/ )

( ).

(8)

A probabilidade condicional Prob 1a, 2b(I / II & ), por exemplo, designa a probabilidade de 1a ter o valor I, dado que 2b tem o valor II e a varivel oculta o valor . O termo ( ) a densidade de probabilidade das variveis ocultas (que mencionamos na seo 13).

16

Para derivar a desigualdade de Bell, precisamos inserir a condio de localidade, mas veremos que neste caso h dois tipos de no-localidade. A primeira suposio a ser feita, com relao ao termo Prob 1a , 2b(I / II & ), que a probabilidade de obter o valor I para a partcula 1 independe do valor II obtido para a partcula 2. Ou seja: Prob
1a , 2b(I

/ II & ) =

Prob

1a , 2b(I

/ ) .

(9)

Esta hiptese foi chamada por Jarrett (1984) de completeza , no sentido que basta para determinar de maneira completa a probabilidade Prob 1a , 2b(I / II & ). Shimony (1984) introduziu um termo melhor, independncia de resultado, para exprimir esta localidade incontrolvel. O segundo tipo de no-localidade supe que a probabilidade para uma das partculas independa do observvel sendo medido na outra. Ou seja: Prob Prob / ) = Prob 1a , 2b(II / ) = Prob
1a , 2b(I 1a(I

/ ), 2b(II / ) .

(10)

Jarrett chamou esta suposio de localidade, ao passo que Shimony prefere o termo independncia de parmetro para exprimir esta localidade controlvel. Com isso, podemos escrever (8) na seguinte forma, que conhecida como fatorizabilidade : Prob
1a , 2b(I,II,

) = Prob

1a (I

/ ) Prob

2b(II

/ )

( ).

(11)

Esta expresso claramente invlida na Mecnica Quntica, com relao a estados emaranhados. A partir desta expresso, chega-se desigualdade de Bell para TVOs locais estocsticas! No reproduziremos aqui a deduo, mas exploraremos as conseqncias desse resultado. (Em portugus, pode-se consultar Chibeni 1997, pp. 62-66, 104-15.)

17. Conseqncias da Violao da Independncia de Resultados Na derivao de (11) e da desigualdade de Bell utiliza-se, alm da hiptese da localidade (10), tambm a hiptese da independncia de resultados (9), chamada s vezes de localidade incontrolvel . Seriam assim dois tipos de no-localidade. O quadrilema lgico, substituindo (7), seria agora: Realismo, Localidade, Induo Independncia de Resultados Desigualdade de Bell (12)

A rejeio da no-localidade incontrolvel (independncia de resultados) e aceitao da localidade controlvel parece ser a posio mais aceita entre os filsofos da fsica. Essa concluso s vezes expressa como uma rejeio da separabilidade em oposio aceitao da localidade [Howard, 1989]. A violao da independncia de resultados anlogo ao que ocorre na Mecnica Quntica, segundo a interpretao ondulatria: o resultado obtido na medio em uma das

17

partculas provoca um colapso no-local da funo de onda (envolvendo as duas partculas), que afeta o resultado a ser obtido para a outra partcula. Tentemos agora esclarecer melhor o que significa a independncia de resultados e o que implica sua rejeio. Para isso, faamos uso do modelo criptodeterminista para as TVOs estocsticas, visto na seo precedente, que introduz, alm das variveis , tambm variveis adicionais a e b associadas a cada analisador. Pois bem: neste modelo, a independncia de resultados equivale a dizer que os resultados I obtidos para a partcula 1 independem das variveis ocultas b associadas ao aparelho de medio da partcula 2 (e analogamente para os resultados II). Simbolicamente, de forma anloga a (9), teramos para a independncia de resultados: I II(a,b, , a, b) = I(a,b, , a) II(a,b, , b) . (13)

A localidade se exprimiria de maneira semelhante, s que o resultado I independeria da escolha da orientao b (e analogamente para o resultado II): I II(a,b, , a,
b)

= I(a, ,

a,

b)

II(b, ,

a,

b)

(14)

No formalismo criptodeterminista, a violao da independncia de resultados significa que existiria uma ao distncia entre as variveis ocultas de um aparelho e os resultados obtidos no outro. Diversos autores (por exemplo, [Berkovitz, 1998]) tm estudado esses dois tipos de no-localidade segundo as diferentes interpretaes. No est claro, por exemplo, se a Mecnica Bohmiana viola apenas um desses tipos ou os dois; alguns autores chegam at a criticar a distino entre dois tipos de localidade feita por Jarrett. Mas qualquer que seja o tipo de no-localidade a ser rejeitada, h um certo consenso de que no existe um conflito direto com o postulado da Relatividade Restrita que limita a velocidade de propagao de sinais. Nas palavras de Abner Shimony, no haveria ao distncia mas paixo distncia entre os dois subsistemas correlacionados, resultando numa coexistncia pacfica entre a Mecnica Quntica e a Relatividade Restrita.

18. Metafsica com Variveis Ocultas: Potencialidades e Indeterminismo As conseqncias filosficas do teorema de Bell, apresentadas nas sees anteriores, refletem o estado da arte em 1985. De l para c, pouco se avanou, apesar de sistemas emaranhados terem adquirido uma importncia tecnolgica muito grande, associada a questes de transmisso de informao quntica. Conforme a interpretao adotada, o quadrilema de Bell pode ser resolvido de diferentes maneiras, rejeitando-se o realismo, a induo, a localidade controlvel ou a independncia de parmetros (localidade incontrolvel). Vimos, porm, que a rejeio desta ltima premissa a alternativa realista mais aceita para se resolver o quadrilema. Uma maneira de enunciar esta concluso parte da distino entre potencialidades (estado quntico) e atualizaes (observaes), introduzida por Bohm (1951), Margenau (1954) e Heisenberg (1958). No formalismo criptodeterminista, conforme acabamos de ver, a violao da independncia de resultados significa que existiria uma ao distncia entre as variveis ocultas de um aparelho e os resultados obtidos no outro. Isto pode ser interpretado como uma no-localidade no nvel microscpico das potencialidades. Poderamos concluir

18

que a localidade no vale no nvel das potencialidades, mas apenas no das atualizaes. Veremos na seo 20 um resultado anlogo envolvendo contrafactuais. A defesa de uma no-localidade no nvel das potencialidades parece trazer problemas agudos com relao Teoria da Relatividade Restrita. Ser que a violao da independncia de resultados pode ser vista como uma influncia causal entre eventos microscpicos ou variveis ocultas? Se dermos primazia Relatividade Restrita, nossa concluso ser que no, pois segundo esta teoria nenhuma influncia causal (ou transmisso de informao) pode se dar a uma velocidade igual ou superior da luz no vcuo. Usaremos isto agora para defender que o teorema de Bell fornece um argumento a favor da natureza aleatria ou indeterminista do mundo fsico. No exemplo de duas partculas emaranhadas emitidas do ponto O entre a Terra e a Lua (Fig. 6), se h um referencial no qual o par de partculas detectado simultaneamente na Terra e na Lua, existe um referencial no qual o evento da Terra ocorre primeiro, e outro no qual a deteco na Lua ocorre primeiro. Qual seria causa de qual? No podemos dizer que a deteco na Terra causa um colapso instantneo na Lua, assim como no podemos dizer o contrrio. A relao entre estes dois eventos de outra natureza, no de natureza causal. (Vale mencionar que esta concluso se encaixa bem com a interpretao da causalidade como dependendo de uma interveno, ou seja, com a mxima de que sem controle no h causa .) A violao da independncia de resultados simplesmente uma correlao entre eventos. Existe uma causa para a existncia desta correlao (ou anticorrelao), que est no processo de preparao (no ponto O da Fig. 6). Mas no existe uma causa que possamos invocar para explicar porque o resultado In foi +1 e IIn foi 1 (e no o contrrio). Podemos associar a este estado de coisas o termo sincronicidade , mas ressaltando que este uso no apia em nada a viso mstica do psicanalista Carl Jung. Se no h causa para o resultado das medies, ento este deve ser um processo genuinamente aleatrio, violando o princpio de razo suficiente de Leibnitz. A concluso que o colapso um processo indeterminista. Notem, porm, que esta concluso independente da tese positivista, difundida por alguns defensores da interpretao ortodoxa a partir da dcada de 1920, segundo a qual o mundo quntico seria indeterminista, j que no h maneira de prever com exatido o resultado de experimentos qunticos. A concluso que estou salientando (e que j foi considerada por diversos estudiosos da no-localidade) s surge ao se considerarem duas partculas correlacionadas e ao se aceitarem as concluses da Relatividade Restrita.

19. Concluso: As Conseqncias Filosficas do Teorema de Bell Partimos de uma exposio histrica e didtica das desigualdades de Bell, chegando at a definio de dois tipos de localidade, e depois empreendemos algumas especulaes metafsicas. Chegou a hora de recolocarmos os ps no cho e apresentar uma concluso para o problema proposto pelo ttulo deste artigo: quais so as conseqncias filosficas do teorema de Bell? Sem entrar nos detalhes que acabamos de explorar, podemos oferecer cinco opes para o leitor, cada qual dependente da interpretao que se queira adotar. Um realista forte, defensor do determinismo nas medies (como Bohm), precisa aceitar a no-localidade. Para um realista mais fraco que defende uma TVO estocstica, basta rejeitar a independncia de resultados e trabalhar nas suas implicaes filosficas. Um realista fraco que admite definies contrafactuais precisa abandonar alguma concepo de localidade em mundos contrafactuais (ver [Pessoa, 2004]).

19

Pode-se ainda ser um realista local clssico, rejeitando a induo ou alguma hiptese adicional usada em testes experimentais (no investigamos esta possibilidade, mas um exemplo [Marshall et al., 1983]. J um positivista extremo pode dormir sossegado, sem se preocupar com a realidade por trs das observaes, quer no reino das variveis escondidas, quer no mundo dos contrafactuais.

Referncias Bibliogrficas Aspect, A. & Grangier, P. (1986), Experiments on Einstein-Podolsky-Rosen-type Correlations with Pairs of Visible Photons , in Penrose, R. & Isham, C.J. (orgs.), Quantum Concepts in Space and Time. Oxford: Clarendon, pp. 1-15. Bell, J.S. (1964), On the Einstein-Podolsky-Rosen Paradox , Physics 1, 195-200. Reproduzido em Wheeler & Zurek (1983), op. cit., pp. 403-8, e em Bell (1987), op. cit., pp. 14-21. Bell, J.S. (1966), On the Problem of Hidden Variables in Quantum Mechanics , Reviews of Modern Physics 38, 447-75. Reproduzido em Bell (1987), op. cit., pp. 1-13. Traduo para o portugus em Cadernos de Histria e Filosofia da Cincia (srie 3) 2(2) (1992) 243-57. Bell, J.S. (1971), Introduction to the Hidden-Variable Question , in d Espagnat, B. (org.) (1971), Foundations of Quantum Mechanics (Proceedings of the International School of Physics Enrico Fermi , course IL). Nova Iorque: Academic, pp. 171-81. Reproduzido em Bell (1987), op. cit., pp. 29-39. Bell, J.S. (1987), Speakable and Unspeakable in Quantum Mechanics. Cambridge: Cambridge University Press. Berkovitz, J. (1998), Aspects of Quantum Non-Locality, I , Studies in History and Philosophy of Modern Physics 29, 183-222. Bohm, D. (1951), Quantum Theory. Englewood Cliffs: Prentice-Hall. Bohm, D. (1952), A Suggested Interpretation of the Quantum Theory in terms of Hidden Variables, I and II , Physical Review 85, 166-93. Reimpresso em Wheeler & Zurek (1983), op.cit., pp. 369-96. Traduo para o portugus a sair em Pessoa Jr., O. (org.), Fundamentos da Fsica 3 Simpsio David Bohm. So Paulo: Livraria da Fsica, 2003. Borel, . (1914), Le Hasard. Paris: Alcan. Chibeni, S.S. (1997), Aspectos da Descrio Fsica da Realidade, Coleo CLE 21, CLEUnicamp, pp. 62-66, 104-15.

20

Clauser, J.F. & Horne, M.A. (1974), Experimental Consequences of Objective Local Theories , Physical Review D 10, 526-35.

Clauser, J.F.; Horne, M.A.; Shimony, A. & Holt, R.A. (1969), Proposed Experiment to Test Local Hidden-Variable Theories , Physical Review Letters 23, 880-884. Reproduzido em Wheeler & Zurek (1983), op.cit, pp. 409-13.
Clauser, J.F. & Shimony, A. (1978), Bell s Theorem: Experimental Tests and Implications , Reports of Progress in Physics 41, 1881-1927. D Espagnat, B. (1979), The Quantum Theory and Reality , Scientific American 241 (nov.), 128-40. Einstein, A; Podolsky, B. & Rosen, N. (1935), Can Quantum-Mechanical Description of Physical Reality be Considered Complete? , Physical Review 47, 777-80. Reproduzido in Wheeler & Zurek, op.cit., pp. 138-41. Traduo para o portugus em Cadernos de Histria e Filosofia da Cincia 2 (1981) 90-96. Heisenberg, W. (1958), Physics and Philosophy, Allen & Unwin, Londres, 1958. Traduo para o portugus: Fsica e Filosofia, Editora da UnB, Braslia, 1981. Howard, D. (1989), Holism, Separability, and the Metaphysical Implications of the Bell Experiments , em Cushing, J.T. & McMullin, E. (orgs.): Philosophical Consequences of Quantum Theory, University of Notre Dame Press, pp. 224-53. Jarrett, J.P. (1984), On the Physical Significance of the Locality Conditions in the Bell Arguments , Nos 18, 569-89. Margenau, H. (1954), Advantages and Disadvantages of Various Interpretations of the Quantum Theory , Physics Today 7 (out.), 6-13. Marshall, T.W.; Santos, E. & Selleri, F. (1983), Local Realism has not been Refuted by Atomic Cascade Experiments , Physics Letters 98 A, 5-9. Leggett, A.J. (1986), Quantum mechanics at the macroscopic level , in de Boer, J.; Dal, E. & Ulfbeck, O. (orgs.), The Lessons of Quantum Theory. Amsterd: Elsevier. Pessoa Jr., O. (2003), Conceitos de Fsica Quntica. Vol. 1. So Paulo: Livraria da Fsica. Pessoa Jr., O. (2004), Conseqncias Filosficas do Teorema de Bell , em Chediak, K. & Videira, A.A.P. (orgs.), Temas de Filosofia da Natureza, UERJ, Rio de Janeiro, pp. 93-122. Pessoa Jr., O. (2006), Conceitos de Fsica Quntica. Vol. 2. So Paulo: Livraria da Fsica. Redhead, M. (1987), Incompleteness, Non-Locality and Realism. Oxford: Clarendon. Shimony, A. (1984), Controllable and Uncontrollable Non-Locality , in Kamefuchi, S. et al. (orgs.), Foundations of Quantum Mechanics in the Light of New Technology. Tquio:

21

Physical Society of Japan, pp. 225-30. Republicado em Shimony, A. (1993), Search for a Naturalistic Worldview, vol. 2, Cambridge U. Press, pp. 130-9.

Wheeler & Zurek (orgs.) (1983), Quantum Theory and Measurement. Princeton: Princeton University Press.

22