O entendimento dos fenômenos associados com a dinâmica de convergência dos estados quânticos e fundamental para o avanço da teoria da informação quântica. Este trabalho apresenta uma introdução ao formalismo matemático necessário para a análise de sistemas quânticos dissipativos, através da álgebra de semigrupos de operadores completamente positivos que preservam traço, e uma breve discussão sobre os princípios da teoria da informação. Posteriormente e introduzido o conceito de cutoff e são expostas algumas definições matemáticas relacionadas a distinguibilidade de estados quânticos e ao próprio fenômeno de cutoff. O comportamento de cutoff é demonstrado para duas classes de semigrupos: de operadores gerados por lindbladianos comutantes e de operadores constituídos de sequências de produtos tensoriais. Por fim, discutem-se direções futuras deste estudo no contexto do modelo de computação quântica dissipativa e de passeios aleatórios quânticos abertos.
O entendimento dos fenômenos associados com a dinâmica de convergência dos estados quânticos e fundamental para o avanço da teoria da informação quântica. Este trabalho apresenta uma introdução ao formalismo matemático necessário para a análise de sistemas quânticos dissipativos, através da álgebra de semigrupos de operadores completamente positivos que preservam traço, e uma breve discussão sobre os princípios da teoria da informação. Posteriormente e introduzido o conceito de cutoff e são expostas algumas definições matemáticas relacionadas a distinguibilidade de estados quânticos e ao próprio fenômeno de cutoff. O comportamento de cutoff é demonstrado para duas classes de semigrupos: de operadores gerados por lindbladianos comutantes e de operadores constituídos de sequências de produtos tensoriais. Por fim, discutem-se direções futuras deste estudo no contexto do modelo de computação quântica dissipativa e de passeios aleatórios quânticos abertos.
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.
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. [...]
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.
Neste trabalho introduzimos brevemente o formalismo matemático da Mecânica Quântica e analisamos em detalhe a classe dos operadores completamente positivos (e sua conhecida representação de Kraus). Seguindo [10], definimos que chamamos de semigrupos dinâmicos quânticos (QDS) e semigrupos markovianos quânticos (QMS), em analogia aos semigrupos clássicos da teoria de processos estocásticos com t real e t ≥ 0. Explorando a relação entre o semigrupo e seu gerador infinitesimal, encontramos condições necessárias e suficientes para que um operador seja o gerador infinitesimal de um destes semigrupos quânticos com t real e t ≥ 0. Um operador que satisfaz esta condição é chamado de operador condicionalmente completamente positivo. O tópico mais importante nesta dissertação é o seguinte: seguindo [10] descrevemos uma representação destes geradores originalmente devida à Lindblad [23].
Sistemas quânticos cuja dinâmica é não-unitária e que evoluem adiabaticamente apresentam características únicas com aplicações no campo da computação quântica. Estudamos nessa dissertação o formalismo de sistemas quânticos abertos, a teoria de semigrupos dinâmicos e os chamados operadores de Lindblad. Enunciamos e provamos o teorema adiabático na formulação de T. Kato a fim de entender a idéia e o formalismo por trás de regimes adiabáticos. Utilizamos essas ferramentas para descrever o problema de otimização de trajetórias adiabáticas em sistemas quânticos dissipativos (cuja dinâmica é dada por uma classe de operadores de Lindblad) e, seguindo as indicações de Avron et al. [8], obtemos as condições para que essa otimização seja única e aplicamos esse resultado em algoritmos quânticos de busca.
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.