A desigualdade de Bell expôs um dos aspectos mais fundamentais da mecânica quântica: a teoria é incompatível com a forma usual de se interpretar conceitos básicos como realidade e localidade. Embora o argumento original de Bell não seja de difícil compreensão, existem maneiras mais acessíveis de demonstrar desigualdades similares. Neste artigo apresentamos duas dessas demonstrações, propostas por Nick Herbert e Asher Peres, ambas muito simples e, ao que parece, relativamente pouco conhecidas apesar de seu interesse pedagógico. Também discutimos como a localidade e elementos de realidade descritos por variáveis ocultas se manifestam nessas demonstrações.
A desigualdade de Bell expôs um dos aspectos mais fundamentais da mecânica quântica: a teoria é incompatível com a forma usual de se interpretar conceitos básicos como realidade e localidade. Embora o argumento original de Bell não seja de difícil compreensão, existem maneiras mais acessíveis de demonstrar desigualdades similares. Neste artigo apresentamos duas dessas demonstrações, propostas por Nick Herbert e Asher Peres, ambas muito simples e, ao que parece, relativamente pouco conhecidas apesar de seu interesse pedagógico. Também discutimos como a localidade e elementos de realidade descritos por variáveis ocultas se manifestam nessas demonstrações.
Desde que foi proposta a desigualdade de Bell em 1964, vários experimentos foram realizados paracoletar dados que, ao se aplicar na desigualdade, pudéssemos conluir sobre a possibilidade, ou não, da existência de uma teoria determinista e local, que reproduzisse os resultados da mecânica quântica. Muitos desses experimentos se concentram em cobrir possíveis brechas em suas realizações, focando em como os parâmetros são selecionados. Neste artigo, vamos analisar os aspectos teóricos da dedução da desgualdade de Bell, confrontando com a teoria da probabilidade. Mostraremos um modelo (hipotético) que é determinista e local que viola a desigualdade de Bell. Deduziremos uma desigualdade (adotando as mesmas premissas da desigualdade original) mais geral, e veremos que numa de suas formas, nunca é violada. Demonstraremos relações entre as desigualdade de Bell, de CHSH e de Wigner e mostraremos o motivo de suas violações e que não estão necesariamente ligadas com a não localidade ou o realismo. Mostraremos, por meio da teoria da probabilidade, usando apenas um par de parâmetros (θ1,θ2) e algumas premissas razoáveis, a propriedade de não localidade presente na descrição do comportamento de pares de partículas emaranhadas.
I. Sua pré-história I.1. A crítica de Einstein à teoria quântica, em 1935A pré-história das desigualdades de Bell encontra-se na crítica feita por Einstein (2) à interpretação da teoria quântica sustentada por Niels Bohr e por um conjunto de cientistas, conhecido como "interpretação de Copenhagen", numa referência ao local onde esta foi gestada nos idos de 1926/1927.A crítica formulada em 1935 é considerada a crítica "madura" de Einstein (3) .É que anteriormente este buscava, através de "gedankexperiment" limitar a validade das relações de Heisenberg.Do início dos anos 30 em diante Einstein não mais busca este objetivo, mas passa a considerar a teoria quântica como logicamente consistente, de forte respaldo empírico, mas incompleta.Incompleta porque apoiada num critério de realidade física ao qual ele se opõe e porque leva à uma propriedade (não-separabilidade) que ele considera fisicamente inaceitável.É então uma teoria estatística, que não trata de fenômenos individuais.Contudo, esta argumentação não aparece tão explícita no artigo de 1935.Neste artigo ele propõe um experimento que revelaria existirem propriedades físicas dos microobjetos que não estariam expressas no formalismo da teoria, daí sua incompletude.O experimento proposto por Einstein, Podolsky e Rosen (EPR) consiste em um sistema composto de duas partículas que interagem num dado instante e depois separam-se espacialmente.É realizada então uma medição de uma determinada grandeza em uma das partículas e, com esta informação mais a função de estado do sistema das duas partículas (fornecida pela teoria quântica) e mais algumas informações derivadas da interação que teria ocorrido entre as duas partículas, podemos prever o valor da mesma grandeza para a outra partícula, que não foi objeto de medição.Logo, a grandeza da segunda partícula pode ser conhecida sem ser objeto de medição.Fazendo transformações na função de estado podemos optar por medir outra grandeza na primeira partícula 1 *À memória de J. S. Bell (l) (1/10/1990).
O presente trabalho de conclusao de curso apresenta as ligacoes entre duas areas que, a primeira vista, nao tem nada em comum, mas que se relacionam sob certas condicoes: Nao-localidade de Bell e Teoria de Jogos. Uma estudada por fisicos, a outra por economistas. Esta conexao se da com o fato da esperanca de recompensa de um jogo Bayesiano e de um jogo dinâmico com informacao incompleta ambos no contexto de equilibrio correlacionado ser respectivamente equivalente ao limite da desigualdade de Bell de um cenario de Bell sem e com comunicacao. Isso quer dizer, na perspectiva da Nao-localidade de Bell, que recursos quânticos, que violam as desigualdades de Bell, aumentam a esperanca de recompensa dos jogadores na perspectiva de Teoria de Jogos, ou seja, novas formas de equilibrio surgem com a introducao de recursos quânticos a Teoria de Jogos. Alguns exemplos sao mostrados para discutir as relacoes entre essas formas de equilibrio ao fim do trabalho.
A desigualdade de Bell, foi uma das discussões que mais gerou controvérsias em torno dos fundamentos da Teoria Quântica, pois envolvia aspectos físico-matemáticos e, também, discussões filosóficas sobre a realidade. O intuito do presente artigo é elaborar uma abordagem didática para a apresentação do Teorema de Bell e suas implicações para o desenvolvimento da Teoria Quântica. Para isso, a proposta é apresentar o material de forma a facilitar seu uso em contexto pedagógico, apresentando inicialmente um exemplo mais concreto do que seria o Teorema de Bell, o experimento (sendo apenas uma analogia ao experimento de Bell) de Mermin. Na sequência, após o aluno ter uma noção concreta sobre o tema, serão apresentados os fundamentos matemáticos necessários para o entendimento do Teorema e, então, uma explicação do argumento de Bell. Ao ser explicado dessa forma, o Teorema de Bell pode assumir um caráter menos instrumentalista, evidenciando a controvérsia envolvida no seu desenvolvimento. Ao destacar de onde e porque determinados elementos são utilizados na derivação da desigualdade de Bell, por uma perspectiva que permite compreender a construção da teoria, buscamos aproximar o estudante dos conceitos apresentados e promover uma melhor compreensão da natureza da ciência no que diz respeito à Teoria Quântica.
Não-localidade é um dos aspectos mais intrigantes da teoria quântica, que revela que a natureza é intrinsecamente diferente da nossa visão clássica do mundo. Um dos principais objetivos no estudo de não-localidade é determinar a máxima violação obtida por correlações quânticas em um cenário de Bell. Entretanto, dada uma desigualdade de Bell, nenhum algoritmo geral é conhecido para calcular esse máximo. Como um passo intermediário, o desenvolvimento de cotas eficientemente computáveis para o valor quântico de desigualdadesde Bell tem tido um papel importante para o desenvolvimento da área. Nessa tese, apresentamos nossas contribuições explorando cotas eficientemente computáveis, baseada na norma de certas matrizes, para o valor quântico de uma classe particular de desigualdades de Bell: os jogos lineares. Na primeira parte introduzimos os pré-requisitos necessários para os resultados principais: Conceitos e resultados das teorias de otimização e complexidade de computação, com foco em problemas de não-localidade; O formalismo de jogos não-locais como um caso particular de desigualdades de Bell; E a abordagem de grafos para não-localidade. Na segunda parte apresentamos nossos resultados principais sobre a caracterização de condições necessárias e suficientes para um jogo XOR não ter vantagem quântica, e provamos uma cota eficientemente computável para o valor quântico de jogos lineares. Os principais resultados apresentados aqui são: (i) Determinação da capacidade de Shannon para uma nova família de grafos; (ii) Generalização, para funções com d possíveis valores, do princípio de não-vantagem em computação não-local; (iii) Um método sistemático de gerar testemunha de emaranhamento genuíno independente de dispositivo para sistemas tripartidos.
Este é um artigo de caráter expositivo, no qual discutimos uma variedade de tópicos relacionados aos fundamentos da física quântica, com destaque para os conceitos de identidade e de individualidade das entidades básicas tratadas por essa teoria (ou grupo de teorias). Consideramos que, se se deseja fundamentar a contraparte formal de uma possível visão das entidades quânticas como objetos destituídos de individualidade, há basicamente duas alternativas possíveis: (a) manter-nos no escopo da lógica e da matemática tradicionais, digamos em uma teoria de conjuntos como Zermelo-Fraenkel, e, nesse caso, podemos ou assumir certas condições de simetria que de certo modo nos permitem falar da não individualidade, ou restringir-nos a certas classes nas quais apenas uma relação mais fraca de indistinguibilidade está definida; (b) elaborar uma teoria matemática nova, na qual certa forma de não individualidade está ab initio incorporada para algumas das entidades. Discutimos a primeira hipótese apresentando "modelos internos" de ZFU e ZFC, onde a identidade é restrita de alguma forma, e comentamos vantagens e desvantagens dessa abordagem. Motivada pela segunda hipótese, é então desenvolvida, em seus traços principais, o que poderia ser uma mecânica quântica fundamentada em uma das possíveis teorias de conjuntos distintas das clássicas, a teoria de quase conjuntos. Como a lógica subjacente à teoria de quase conjuntos é uma lógica não reflexiva, a mecânica correspondente é denominada de mecânica quântica não reflexiva.