Neste artigo trataremos, de uma maneira pedagógica, a forma em que pode ser construída uma estrutura algébrica para os processos de medida em mecânica quântica partindo do conceito de símbolo de medida, concebido por Julian S. Schwinger, e que constitui peça fundamental para seu formalismo variacional e suas diferentes aplicações.
Neste artigo trataremos, de uma maneira pedagógica, a forma em que pode ser construída uma estrutura algébrica para os processos de medida em mecânica quântica partindo do conceito de símbolo de medida, concebido por Julian S. Schwinger, e que constitui peça fundamental para seu formalismo variacional e suas diferentes aplicações.
O presente trabalho tem por objetivo mostrar, por meio de uma revisao bibliografica, a devida importância que o estudo da estrutura do atomo e a mecânica quântica possuem. Nao so por ser esta uma teoria que explica de forma compreensiva os eventos que ocorrem em nivel subatomico e sistematiza toda a Quimica, mas tambem pelo avanco em tecnologias, proporcionado nos ultimos anos, diante da aplicacao pratica dessas teorias. Nessa revisao que funde a evolucao de varios conceitos teoricos fundamentais a compreensao do atomo, formulacao da quântica e sua aplicacao pratica, se constitui como importante ferramenta que facilita a compreensao mais ampla do mundo atual, cujo desenvolvimento vem sendo influenciado principalmente por duas areas do conhecimento bastante abrangentes, a Quimica e a Fisica.
Inicialmente, os conceitos fundamentais e a problemática básica subjacentes ao Controle de Sistemas Quânticos são apresentados, destacando-se, por exemplo, as questões físicas e dinâmicas envolvidas, os principais tipos e metodologias de controle no contexto quântico, bem como aplicações existentes e potenciais de Controle Quântico, muitas das quais situando-se na vanguarda da Ciência e da Tecnologia. Segue-se uma exposição do arcabouço teórico básico e do formalismo padrão da Mecânica Quântica, tendo em vista prover os elementos necessários à compreensão de sistemas quânticos, sua dinâmica e seu controle. O conceito de Controlabilidade é, então, apresentado no contexto de Sistemas Quânticos. Em seqüência, os fundamentos do Controle Quântico Ótimo são desenvolvidos como uma extensão da Teoria Clássica de Controle Ótimo, apresentando-se exemplos de aplicações. Ao problema da transferência de estados quânticos para um estado-alvo em tempo mínimo é devotada especial atenção, dada sua grande relevância em aplicações tecnológicas de ponta, como em Computação Quântica e Processamento de Informação Quântica. A partir de limitações físicas que são inerentes a qualquer sistema quântico, no tocante ao tempo mínimo necessário para que ocorra uma transição de estados, propõem-se Fatores de Mérito para quantificar a eficiência dos controles quânticos ótimos que minimizam o tempo de transferência de estados. Exemplos de aplicação, estudos teóricos e estudos de casos são levados a cabo para a definição dos Fatores de Mérito associados. Este trabalho termina com estudos relativos a uma possível formulação da Teoria de Controle Quântico Ótimo em termos de Integrais de Trajetória para o tratamento de sistemas quânticos contínuos, em especial, o controle espaço-temporal de partículas quânticas. Um possível emprego do Efeito Aharonov-Bohm é também discutido como estratégia de Controle Quântico.
O princípio de ação quântica de Schwinger é uma caracterização dinâmica das funções de transformação e está fundamentado na estrutura algébrica derivada da análise cinemática dos procesos de medida em nível quântico. Como tal, este princípio variacional permite derivar as relações de comutação canônicas numa forma totalmente consistente. Além disso, propociona as descrições dinâmicas de Schrödinger, Heisenberg e uma equação de Hamilton-Jacobi em nível quântico. Implementaremos este formalismo na resolução de sistemas simples como a partícula livre, o oscilador harmônico quântico e o oscilador harmônico quântico forçado.
Inicialmente, os conceitos fundamentais e a problemática básica subjacentes ao Controle de Sistemas Quânticos são apresentados, destacando-se, por exemplo, as questões físicas e dinâmicas envolvidas, os principais tipos e metodologias de controle no contexto quântico, bem como aplicações existentes e potenciais de Controle Quântico, muitas das quais situando-se na vanguarda da Ciência e da Tecnologia. Segue-se uma exposição do arcabouço teórico básico e do formalismo padrão da Mecânica Quântica, tendo em vista prover os elementos necessários à compreensão de sistemas quânticos, sua dinâmica e seu controle. O conceito de Controlabilidade é, então, apresentado no contexto de Sistemas Quânticos. Em seqüência, os fundamentos do Controle Quântico Ótimo são desenvolvidos como uma extensão da Teoria Clássica de Controle Ótimo, apresentando-se exemplos de aplicações. Ao problema da transferência de estados quânticos para um estado-alvo em tempo mínimo é devotada especial atenção, dada sua grande relevância em aplicações tecnológicas de ponta, como em Computação Quântica e Processamento de Informação Quântica. A partir de limitações físicas que são inerentes a qualquer sistema quântico, no tocante ao tempo mínimo necessário para que ocorra uma transição de estados, propõem-se Fatores de Mérito para quantificar a eficiência dos controles quânticos ótimos que minimizam o tempo de transferência de estados. Exemplos de aplicação, estudos teóricos e estudos de casos são levados a cabo para a definição dos Fatores de Mérito associados. Este trabalho termina com estudos relativos a uma possível formulação da Teoria de Controle Quântico Ótimo em termos de Integrais de Trajetória para o tratamento de sistemas quânticos contínuos, em especial, o controle espaço-temporal de partículas quânticas. Um possível emprego do Efeito Aharonov-Bohm é também discutido como estratégia de Controle Quântico.
Nesta dissertacao apresentamos um novo formalismo logico, baseado no sistema modal S4, introduzido por Decio Krause e Jonas Arenhart, para tratar dos conceitos da mecânica quântica de superposicao e medida. Alem disso, desenvolvemos, de modo informal, uma extensao do formalismo apresentado para ser possivel tratar de sistemas quânticos compostos e do conceito de emaranhamento. No capitulo 1 apresentando conceitos matematicos e fisicos basicos, essenciais para a compreensao do tema. Em seguida, no capitulo 2, apresentamos a abordagem por teoria de reticulados, que deu inicio a area de pesquisa conhecida como Logica Quântica. Por fim, no capitulo 3, apresentamos a abordagem dada pelos autores, citados acima, e, por fim, propomos um modo de estender o formalismo de forma a permitir que tratemos de sistemas quânticos compostos e dar uma propriedade que sistemas emaranhados devem possuir.
Abstract
Este trabalho revê os postulados fundamentais da mecânica quântica, consistentes com textos didáticos padrão. Os postulados fornecem a estrutura para a teoria, iniciando com as propriedades das funções de onda aceitáveis na equação de Schrödinger: unicidade, continuidade e finitude. Segue-se com a introdução de operadores mecânico-quânticos que definem propriedades dos sistemas quânticos. O cálculo de valores médios de observáveis é determinado pelo terceiro postulado e o quarto postulado aborda a equação de Schrödinger em suas formas dependente e independente do tempo, e a sua extensão para sistemas complexos. Finalmente, inclui-se o conceito de spin e suas propriedades. Contrariando a ordem tradicional de apresentação, este estudo sugere iniciar o aprendizado dos postulados pela equação de Schrödinger, espelhando o possível desenvolvimento histórico da mecânica quântica e potencialmente melhorando a compreensão conceitual da teoria.