A mecanica quantica e a parte da fisica que descreve o comportamento de atomos e moleculas, cujos postulados foram desenvolvidos atraves de um longo processo de tentativa e erro. Sao eles: Postulado 1: Existe um espaco vetorial complexo, com produto interno, associado a qualquer sistema fisico fechado (sistema que nao interage com outros sistemas). Um estado desse sistema e completamente descrito por um vetor unitario, chamado vetor de estado. Postulado 2: A evolucao de um sistema quantico fechado e descrita por um operador linear que preserva o produto interno (operador unitario). O estado |ψ1 i do sistema, no tempo t1 , esta relacionado ao estado |ψ2 i, no tempo t2 , atraves de um operador unitario U que depende apenas de t1 e t2 . Ou seja, |ψ2 i = U |ψ1 i. Postulado 3: As medidas sobre sistemas quanticos sao descritas por operadores hermitianos M (M † = M ), chamados observaveis. Postulado 4: Postulado da composicao de sistemas, no qual e definido o produto de Kronecker como produto tensorial utilizado no sistema quantico para dizer quando um sistema esta ou nao emaranhado [6]. Mesmo para os especialistas, a compreensao do real significado dos postulados e uma questao nao resolvida. Iremos considera-los como sendo a estrutura matematica para tratar o estudo proposto neste trabalho. [...]
A mecanica quantica e a parte da fisica que descreve o comportamento de atomos e moleculas, cujos postulados foram desenvolvidos atraves de um longo processo de tentativa e erro. Sao eles: Postulado 1: Existe um espaco vetorial complexo, com produto interno, associado a qualquer sistema fisico fechado (sistema que nao interage com outros sistemas). Um estado desse sistema e completamente descrito por um vetor unitario, chamado vetor de estado. Postulado 2: A evolucao de um sistema quantico fechado e descrita por um operador linear que preserva o produto interno (operador unitario). O estado |ψ1 i do sistema, no tempo t1 , esta relacionado ao estado |ψ2 i, no tempo t2 , atraves de um operador unitario U que depende apenas de t1 e t2 . Ou seja, |ψ2 i = U |ψ1 i. Postulado 3: As medidas sobre sistemas quanticos sao descritas por operadores hermitianos M (M † = M ), chamados observaveis. Postulado 4: Postulado da composicao de sistemas, no qual e definido o produto de Kronecker como produto tensorial utilizado no sistema quantico para dizer quando um sistema esta ou nao emaranhado [6]. Mesmo para os especialistas, a compreensao do real significado dos postulados e uma questao nao resolvida. Iremos considera-los como sendo a estrutura matematica para tratar o estudo proposto neste trabalho. [...]
A compreensão da natureza das propriedades de átomos, moléculas e sistemas mais complexos está diretamente relacionada com a distribuição e o comportamento das partículas microscópicas que os constitui. Diversas evidências experimentais sugeriram que a estrutura de átomos e moléculas não poderiam ser explicadas por princípios baseados na mecânica clássica. Experimentos, tais como: a radiação do corpo negro, capacidade calorífica e espectros atômicos e moleculares, sugeriam que os processos de absorção ou emissão de energia só poderiam ser explicados admitindo-se que a energia envolvida nesses processos seria quantizada e não contínua, como prevê a mecânica clássica. A nova mecânica criada para conciliar os aspectos observados com a hipótese de quantizações de determinadas propriedades microscópicas foi denominada de Mecânica Quântica. Duas versões dessa nova mecânica foram formuladas pelos físicos Erwin Schrödinger e Werner Heisemberg, em trabalhos e métodos matemáticos diferentes, porém equivalentes. A teoria especifica quais são as leis que as partículas de qualquer sistema microscópico obedecem. Observa-se que há uma relação com a teoria de Newton para o movimento de sistemas macroscópicos (princípio da correspondência), sendo a teoria de Newton um caso particular (no limite macroscópico) das equações de Schrödinger, assim como a teoria da relatividade de Einstein é uma generalização que inclui a teoria de Newton como um caso especial, no limite de baixas velocidades. O modelo de Schrödinger está fundamentado em alguns postulados que são descritos a seguir.
O processamento de informação quântica requer medidas, muitas vezes precedidas devoluções unitárias. Uma descrição realista de um computador quântico também deve levar em conta que o sistema interage com um ambiente externo - distinto do observador - que o remove de sua evolução ideal, gerando erros. Neste trabalho, fazemos um estudo da dinâmica de sistemas quânticos observados múltiplas vezes ou continuamente, enquanto interagem com ambientes externos. Para tanto, empregamos uma equação mestra híbrida, que permite modelar uma interação contínua e markoviana do sistema com o medidor, enquanto o ruído do ambiente apresenta características não markovianas. O estudo da dinâmica de uma medida contínua ruidosa revela que o sistema melhor preserva suas populações iniciais quando é realizada a medida de uma observável que não comuta com os operadores do ruído produzido pelo ambiente. Estes resultados, já conhecidos para o caso simples de um qubit de memória interagindo com o vácuo, são generalizados para uma temperatura inicial superior a zero e para um qubit submetido a uma porta quântica. A universalidade destes fenômenos de preservação da população inicial permite fazer analogia com o efeito Zenão quântico. Mantendo o mesmo formalismo, mas adaptando a interação com o ambiente para descrever um decaimento verificamos que o efeito Zenão quântico é observado para acoplamentos fracos com o ambiente. Tratamos também de como tal conhecimento sobre a preservação das populações pela medida auxilia na elaboração de melhores formas de preservar a informação em códigos quânticos. Com o auxílio da teoria das medidas fracas, propomos um possível método experimental simples para o teste da validade dos modelos de descrição de medidas contínuas. Com este estudo da dinâmica de uma medida quântica, esperamos elucidar questões de ordem prática no processamento de informação quântica, assim como ajudar no melhor entendimento de questões fundamentais, como o postulado da medida.
O processamento de informação quântica requer medidas, muitas vezes precedidas devoluções unitárias. Uma descrição realista de um computador quântico também deve levar em conta que o sistema interage com um ambiente externo - distinto do observador - que o remove de sua evolução ideal, gerando erros. Neste trabalho, fazemos um estudo da dinâmica de sistemas quânticos observados múltiplas vezes ou continuamente, enquanto interagem com ambientes externos. Para tanto, empregamos uma equação mestra híbrida, que permite modelar uma interação contínua e markoviana do sistema com o medidor, enquanto o ruído do ambiente apresenta características não markovianas. O estudo da dinâmica de uma medida contínua ruidosa revela que o sistema melhor preserva suas populações iniciais quando é realizada a medida de uma observável que não comuta com os operadores do ruído produzido pelo ambiente. Estes resultados, já conhecidos para o caso simples de um qubit de memória interagindo com o vácuo, são generalizados para uma temperatura inicial superior a zero e para um qubit submetido a uma porta quântica. A universalidade destes fenômenos de preservação da população inicial permite fazer analogia com o efeito Zenão quântico. Mantendo o mesmo formalismo, mas adaptando a interação com o ambiente para descrever um decaimento verificamos que o efeito Zenão quântico é observado para acoplamentos fracos com o ambiente. Tratamos também de como tal conhecimento sobre a preservação das populações pela medida auxilia na elaboração de melhores formas de preservar a informação em códigos quânticos. Com o auxílio da teoria das medidas fracas, propomos um possível método experimental simples para o teste da validade dos modelos de descrição de medidas contínuas. Com este estudo da dinâmica de uma medida quântica, esperamos elucidar questões de ordem prática no processamento de informação quântica, assim como ajudar no melhor entendimento de questões fundamentais, como o postulado da medida.
A Computação Quântica é um tópico relativamente recente e pouco conhecido, principalmente no meio da Computação.Seu estudo surgiu na tentativa de físicos simularem sistemas regidos pela Mecânica Quântica por computadores clássicos, o que se conjecturou inviável.Portanto, um novo modelo computacional que utiliza a estrutura quântica da matéria para computar foi teorizado para suprir estas deficiências.Este trabalho tem como objetivo principal estudar as influências da Computação Quântica na Teoria da Computação.Para atingir tal objetivo, primeiramente são expostos os conhecimentos básicos da Mecânica Quântica através de uma linguagem voltada para Teóricos de Computação sem conhecimento prévio na área, de forma a remover a barreira inicial sobre o tema.Em seguida, serão apresentadas inovações na área da Teoria de Computação oriundas da Computação Quântica.Começaremos com os principais Algoritmos Quânticos desenvolvidos até hoje, que foram os primeiros passos para demonstrar a possível superioridade computacional do novo modelo.Dentre estes algoritmos, apresentaremos o famoso Algoritmo de Shor, que fatora números em tempo polinomial.Adicionalmente, neste trabalho foram estudados tópicos mais avançados e atuais em Computabilidade e Complexidade Quânticas.Sobre Autômatos Quânticos, foram estudados aspectos de um modelo que mistura estados clássicos e quânticos, focando na comparação do poder computacional em relação aos Autômatos Finitos Clássicos.Do ponto de vista de Classes de Complexidade, será abordada a questão se em linguagens da classe QMA, o análogo quântico da classe NP, consegue-se atingir probabilidade de erro nulo na aceitação de instâncias positivas.
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.
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.