O problema das extensões auto-adjuntas de operadores em mecânica quântica, um assunto normalmente não apresentado em livros-texto, é brevemente discutido neste trabalho.
Recebido em 1/6/2006; Aceito em 26/9/2006O problema das extens˜oes auto-adjuntas de operadores em mecˆanica quˆantica, um assunto normalmente n˜aoapresentado em livros-texto, ´e brevemente discutido neste trabalho.Palavras-chave: mecˆanica quˆantica, condi¸c˜oes de contorno, extens˜ao auto-adjunta.In this work we discuss briefly the problem of self-adjoint extensions in quantum mechanics, a subject usuallynot presented in textbooks.Keywords: quantum mechanics, boundary conditions, self-adjoint extension.
Este livro, concebido como um projeto de iniciacao cientffica na Universidade Federal de Campina Grande (UFCG) e desenvolvido no Instituto de Estudos em Computação e Informação Quânticas (IQuanta) objetiva oferecer aos alunos dos cursos de graduacao em Ciencia da Computacao um texto que introduz de forma clara e didática os conceitos de Computação Quântica a partir dos conhecimentos que os alunos já possuem, utilizando a analogia com os conceitos clássicos conhecidos como ferramenta pedagógica. Segundo Moore e Crutchfield, quando se busca entender computação num contexto quântico, pode ser útil trasladar tantos conceitos da teoria da computação clássica quantos forem possíveis para o caso quântico, a começar do nível mais baixo da hierarquia computacional (hierarquia de Chomsky), ou seja, dos autômatos finitos. Um problema adicional neste processo de entendimento e, porém, a necessidade de conhecimentos teóricos em Física, Matemática e Computação que não fazem parte do conteúdo normalmente explorado na graduação em Ciência da Computação. Assim, neste livro, é apresentado, em dois capítulos (Capítulo 1 e Capítulo 2), uma revisão dos conceitos de Matemática (Álgebra Linear e Vetorial Complexa) e de Física (Mecânica Quântica) básicos necessários para o entendimento do assunto. Em seguida, no Capítulo 3, é feita uma revisão dos modelos de autômatos finitos determinísticos e não-determinísticos. O Capítulo 4 é dedicado a uma introdução ao modelo de autômato probabilístico, que geralmente não faz parte do conteúdo ministrado sobre automates nos cursos de graduação em Ciência da Computação, mas sua compreensão é fundamental para o entendimento de autômatos finitos quânticos.
Nessa tese, mostramos que a Hamiltoniana H e o operador helicidade de uma partícula de Dirac que se movimenta em duas dimensões na presença de um tubo de fluxo magnético infinitamente fino na origem admitem, cada um, uma família de quatro parâmetros de extensões auto-adjuntas. Para cada extensão correspondem condições de contorno a serem satisfeitas pelas auto-fuções na origem. Apesar dos operadores H e formalmente comutarem antes da especificação das condições de contorno, para garantirmos a conservação da helicidade, não é suficiente obtermos as mesmas condições de contorno para ambos os operadores, ou seja, não é suficiente a determinação de um domínio comum a ambos. Mostramos que, para certas relações entre os parâmetros das extensões satisfeitas, é possível a determinação dos domínios mais gerais onde ambos os operadores H e são auto-adjuntos e onde a helicidade é conservada, simultaneamente com a preservação da simetria de Aharonov-Bohm ( + 1), onde é o fluxo magnético em unidades naturais. Nossos resultados implicam que, nem a conservação da helicidade nem a simetria de Aharonov-Bohn, resolvem o problema da escolha da condição de contorno fisicamente correta.