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.
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.
Este trabalho possui como tema principal o estudo da dinâmica de sistemas quânticos da perspectiva da teoria de sistemas dinâmicos, em particular, do ponto de vista da teoria de controle. Os principais tópicos abordados são (i) a análise da controlabilidade dos sistemas quânticos em dimensão finita e infinita e (ii) a teoria generalizada de medição de sistemas quânticos com o objetivo de obter as equações diferenciais estocásticas associadas a sistemas submetidos a processos de medição contínuos. Com relação à controlabilidade de sistemas dinâmicos quânticos fechados em dimensão finita resgatamos da literatura os resultados, já consolidados, da aplicação da teoria de grupos e álgebras de Lie aos essa classe de sistemas dinâmicos. Em dimensão infinita, a aplicação direta das técnicas de controle geométrico já não ocorre diretamente. Em espaços de estados de dimensão infinita as técnicas de análise matemática devem ser mais sofisticadas, há problemas relacionados à convergência e problemas relacionados a operadores não limitados. Os principais resultados conhecidos da literatura são apresentados e suas limitações são discutidas. Realizamos em seguida uma analogia entre sistemas clássicos lineares e sistemas dinâmicos quânticos de dimensão infinita cuja dinâmica é restrita a uma álgebra de operadores auto adjuntos comutativa. Observamos também que a controlabilidade de alguns sistemas quânticos em dimensão infinita está associada a Hamiltonianos não lineares. Notamos, em particular, que os sistemas quânticos comutativos estão associados a operadores não lineares. Com relação à teoria de medição de sistemas quânticos, partimos da teoria de sistemas quânticos abertos para a obtenção da equação dinâmica que rege a evolução dos sistemas não conservativos. Em paralelo, realizamos uma análise da descrição matemáticas dos experimentos de medição em sistemas quânticos desde os postulados de medição ortogonal até a descrição de processos de medição contínuos. Observamos que a equação de Schrödinger estocástica associada a um processo de medição contínuo possui como gerador infinitesimal um Hamiltoniano não linear no operador auto adjunto associado ao observável. Realizamos em seguida uma discussão a respeito das implicações de processos de medição contínuos na dinâmica de sistemas quânticos, analisando possíveis impactos em sua controlabilidade. Analisamos também o caso particular de sistemas quânticos cujos operadores associados a sua dinâmica e a seus observáveis estão restritos a uma mesma álgebra comutativa. Concluímos com sugestões de trabalhos futuros relacionados controlabilidade em dimensão infinita e a à dinâmica de sistemas quânticos sujeitos a medição.
Há tempos procura-se entender como as características da Teoria Quântica e da Relatividade Geral se unem para explicar a física na sua interface. Um dos motivos pelos quais essa é uma tarefa difícil é a discrepância entre as formas de abordar o tempo e a causalidade em cada teoria. Por exemplo, a estrutura causal na relatividade é dinâmica, determinada pela distribuição de massa no espaço-tempo, enquanto que, no formalismo quântico, ela é fixa e deve ser estabelecida a priori. Nesta dissertação, discutimos a noção de ordem indefinida, que aparece pela primeira vez em uma generalização abstrata da Teoria Quântica. Tal generalização é feita com o intuito de eliminar a incompatibilidade da teoria com a Relatividade Geral no que diz respeito à causalidade. Para isso, o formalismo remove a exigência de que haja uma estrutura causal global e, portanto, a ordem entre operações em protocolos não precisa estar bem definida. Um típico exemplo de ordem indefinida é o processo do quantum switch (controle quântico de ordem), que realiza uma superposição quântica da ordem em que duas operações são aplicadas em um sistema. As probabilidades do quantum switch já foram reproduzidas experimentalmente com fótons, em protocolos completamente descritos pela mecânica quântica usual. Já que esses experimentos são compatíveis com a estrutura causal do espaço-tempo, isso gerou incertezas sobre o que se pode concluir da realização de um processo com ordem indefinida dependendo do contexto. Retornaremos às motivações iniciais, apresentando como cenários gravitacionais a energias baixas poderiam fazer surgir ordem indefinida. Nisto estão inclusas as formulações de um quantum switch em um cenário de gravidade quântica e um quantum switch em uma métrica clássica de Schwarzschild. Assim, o quantum switch pode ser usado como uma base comum para discutir diferenças entre os contextos. A última proposta, de um quantum switch em uma métrica clássica, é um trabalho original. Além de ser um exemplo de ordem indefinida, a sua realização na gravidade da Terra é proposta como um teste das previsões da mecânica quântica em espaços-tempos curvos, um regime que até hoje não foi experimentalmente testado.
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.
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.