Nessa tese estudamos propriedades das dinâmicas adiabática e diabática de sistemas quânticos de muitos corpos. Como aplicação, investigamos formulações Hamiltonianas para o problema da busca quântica e a aplicação de atalhos para adiabaticidade em um gás unitário quântico que imita em tempo finito exatamente uma evolução adiabática. Primeiro examinamos as correlações quânticas mensuradas pela local quantum uncertainty (LQU) em uma cadeia de spins implementando a versão adiabática da busca quântica. Obtemos o valor exato da correlação entre um spin e um bloco de L spins para diversos valores de L ao longo da evolução. Nós mostramos que a LQU apresenta um comportamento característico no ponto de transição de fase quântica. Em seguida estudamos os erros ocorridos numa implementação em tempo finito da busca quântica com uma forma análoga ao mecanismo de Kibbe-Zurek (KZM em inglês) porém aplicada a transições quânticas de primeira ordem. É demonstrado que a formação de kinks segue uma lei exponencial, e são comparadas as dinâmicas de estrategias local e global para adiabaticidade. Finalmente, encontramos um sistema em que atalhos para adiabaticidade podem ser implementados em laboratório com tecnologia atual e os erros causados por excitações são suprimidos. Isso é demonstrado ao estudarmos a implementação em tempo finito da expansão de uma nuvem de gás quântico unitário em um motor termodinâmico.
Nessa tese estudamos propriedades das dinâmicas adiabática e diabática de sistemas quânticos de muitos corpos. Como aplicação, investigamos formulações Hamiltonianas para o problema da busca quântica e a aplicação de atalhos para adiabaticidade em um gás unitário quântico que imita em tempo finito exatamente uma evolução adiabática. Primeiro examinamos as correlações quânticas mensuradas pela local quantum uncertainty (LQU) em uma cadeia de spins implementando a versão adiabática da busca quântica. Obtemos o valor exato da correlação entre um spin e um bloco de L spins para diversos valores de L ao longo da evolução. Nós mostramos que a LQU apresenta um comportamento característico no ponto de transição de fase quântica. Em seguida estudamos os erros ocorridos numa implementação em tempo finito da busca quântica com uma forma análoga ao mecanismo de Kibbe-Zurek (KZM em inglês) porém aplicada a transições quânticas de primeira ordem. É demonstrado que a formação de kinks segue uma lei exponencial, e são comparadas as dinâmicas de estrategias local e global para adiabaticidade. Finalmente, encontramos um sistema em que atalhos para adiabaticidade podem ser implementados em laboratório com tecnologia atual e os erros causados por excitações são suprimidos. Isso é demonstrado ao estudarmos a implementação em tempo finito da expansão de uma nuvem de gás quântico unitário em um motor termodinâmico.
A computação quântica adiabática tem sua pedra angular no teorema adiabático, cuja eficiência está relacionada tradicionalmente à proporção da variação temporal do Hamiltoniano que descreve o sistema e o gap mínimo entre o estado fundamental e o primeiro excitado.Normalmente, esse gap tende a diminuir quando aumenta o número de recursos (bit quântico: qubit) de um processador quântico, exigindo dessa maneira variações lentas do Hamiltoniano para assim garantir uma dinâmica adiabática.Entre os candidatos para a sua implementação física, estão os qubits baseados em circuitos supercondutores os quais têm um grande potencial, por causa de seu alto controle e escalabilidade promissora.No entanto, quando esses qubits são implementados, eles têm uma fonte intrínseca de ruído devido a erros de fabricação, que não podem ser desprezados.Por isso, nesta tese nós estudamos como os efeitos causados pelas flutuações dos parâmetros físicos do qubit afetam o comportamento da fidelidade da computação, realizando com esse propósito a simulação da dinâmica de cadeias de spin pequenas desordenadas.A partir do análise exaustivo desse estúdio foi possível propor uma estratégia que permite aumentar a fidelidade considerando um sistema ruidoso.Por outro lado, motivados pelo interesse de obter critérios suficientes e necessários para satisfazer uma computação quântica adiabática e pelo fato que ainda não existe uma condição de adiabaticidade geral apesar de existir inúmeras propostas, nós apresentamos um novo critério que manifesta suficiência para sistemas mais gerais e finalmente apresentamos evidências de que tal condição seria um quantificador consistente.
A computação quântica adiabática tem sua pedra angular no teorema adiabático, cuja eficiência está relacionada tradicionalmente à proporção da variação temporal do Hamiltoniano que descreve o sistema e o gap mínimo entre o estado fundamental e o primeiro excitado. Normalmente, esse gap tende a diminuir quando aumenta o número de recursos (bit quântico: qubit) de um processador quântico, exigindo dessa maneira variações lentas do Hamiltoniano para assim garantir uma dinâmica adiabática. Entre os candidatos para a sua implementação física, estão os qubits baseados em circuitos supercondutores os quais têm um grande potencial, por causa de seu alto controle e escalabilidade promissora. No entanto, quando esses qubits são implementados, eles têm uma fonte intrínseca de ruído devido a erros de fabricação, que não podem ser desprezados. Por isso, nesta tese nós estudamos como os efeitos causados pelas flutuações dos parâmetros físicos do qubit afetam o comportamento da fidelidade da computação, realizando com esse propósito a simulação da dinâmica de cadeias de spin pequenas desordenadas. A partir do análise exaustivo desse estúdio foi possível propor uma estratégia que permite aumentar a fidelidade considerando um sistema ruidoso. Por outro lado, motivados pelo interesse de obter critérios suficientes e necessários para satisfazer uma computação quântica adiabática e pelo fato que ainda não existe uma condição de adiabaticidade geral apesar de existir inúmeras propostas, nós apresentamos um novo critério que manifesta suficiência para sistemas mais gerais e finalmente apresentamos evidências de que tal condição seria um quantificador consistente.
Propriedades dinâmicas de sistemas quânticos de muitos corpos é um tópico de grande interesse em física da matéria condensada. Estas propriedades nos dão informação sobre a propagação de excitações elementares e de mecanismos de relaxação em sistemas interagentes. Neste contexto, as funções de correlação tem se tornado ainda mais relevantes devido a experimentos em sistemas de átomos frios e íons armadilhados que medem diretamente no domínio temporal os comportamentos assintóticos no tempo. No entanto, até o momento a maioria dos estudos em cadeias de spin quânticas focaram-se em correlações de um único spin. Utilizando a cadeia de spin XX unidimensional, nós estudamos métodos exatos para calcular as funções de correlação das componentes do tensor de dois spins, Tabi,j = SaiSbj. Estes operadores aparecem, por exemplo, como a resposta da seção de choque de espalhamento inelástico de raios X. Baseados no teorema de Wick, nós mostramos que algumas funções de correlação das componentes locais do tensor de dois operadores de spins de sítios vizinhos, na representação de férmions, podem ser escritas como uma combinação de funções de Green de uma única partícula. Utilizamos diagramas de Feynman para organizar esta combinação e calcular as funções de correlação. Em seguida, considerando esses propagadores para tempos longos e grandes distâncias ao longo do cone de luz, encontramos o comportamento dessas funções de correlação como leis de potência oscilatórias que decaem com o tempo e distância. Uma aplicação direta das funções de correlação é para o estudo de quantidades conservadas e não conservadas, uma análise sobre algumas dessas quantidades foi feita. Discutimos também as funções de correlação das componentes do tensor que não são locais na representação fermiônica. Nesse caso os cálculos foram mais desafiadores, mas usamos o fato que funções de correlação dependente do tempo podem ser expressadas em termos dos determinantes de Fredholm.
O problema de construir campos externos de controle para suprimir erros na computação quântica é, essencialmente, similar ao realizado em máquinas térmicas quânticas para garantir que processos adiabáticos possam ser executados em tempos finitos. Os chamados atalhos para a adiabaticidade (shortucts-to-adiabaticity - STA), uma classe especializada de controles quânticos, são projetados para suprimir transições indesejadas que impedem os estágios adiabáticos de um ciclo termodinâmico de serem ideais. Uma dificuldade em construir esses controles externos para sistemas de muitos corpos, particularmente na criticalidade, é o fechamento dos gaps espectrais. Uma proposta recente de obter o controle ao minimizar a ação adiabática mostrou resultados promissores para os modelos de Landau-Zener e Ising com campo transverso. Este projeto pretende estender essa abordagem para outros modelos. Focando na fidelidade do estado final desejado, comparamos a precisão do STA da mínima ação com controles paramétricos simples definidos a priori e analisamos o desempenho termodinâmico em termos da distribuição de trabalho.
Nesta dissertação apresentaremos um estudo da adiabaticidade em Ressonância Magnética Nuclear. Para tal, apresentaremos inicialmente uma revisão sobre o conceito de adiabaticidade em sistemas quânticos fechados e abertos. Muitos processos adiabáticos comumente utilizados em Ressonância Magnética apresentam um bom desempenho, embora a aproximação adiabática não seja valida durante todo o processo, então através do formalismo da superadiabaticidade de Berry faremos correções para que o pulso satisfaça a condição adiabática. Nesta abordagem, um Hamiltoniano dependente do tempo e que evolui lentamente é iterativamente transformado em quadros diagonais dependentes do tempo até que a aproximação adiabática mais precisa é obtida. Examinaremos as capacidades das iterações super-adiabáticas para produzir uma sequência de atalhos para a adiabaticidade do sistema e estenderemos o conceito da dinâmica superadiabática para sistemas abertos, cuja evolução é governada por uma equação mestra na forma de Lindblad, fornecendo o quadro geral necessário para determinar a estratégia de controle necessário para alcançar a superadiabaticidade.
A dinâmica de sistemas quânticos fechados (ideais), i.e., sistemas em que não consideramos interações com um meio externo (ambiente), é governada por uma evolução unitária, que pode ser geralmente descrita pela equação de Schrödinger - ou, na linguagem de operadores densidade, a equação de von-Neumann. No entanto, sistemas reais, ou seja, sistemas que podem ser medidos no laboratório, nunca estão completamente fechados e inevitavelmente irão interagir com os diversos graus de liberdade de seus ambientes. Nesse cenário, a equação de Schrödinger é apenas uma descrição válida da evolução do sistema por pequenos períodos de tempo, e uma nova descrição se torna necessária. Uma das formas de fazer isso é através do uso de equações mestras, que são equações de movimento que consideram os efeitos dissipativos no sistema devido às interações com o ambiente. Entre as possiveis formas das equações mestras, a equação de Lindblad é uma das mais extensivamente estudadas. Ela descreve evoluções markovianas, que geralmente são válidas no regime de interações fracas entre sistema e ambiente. Nessa perspectiva, ela tem sido aplicada com sucesso em muitos contextos, como medição contínua e ótica quântica. No contexto de problemas de sistemas quânticos abertos de muitos corpos, nem sempre é possível descrever a dinâmica dos sistemas através de uma equação mestra na forma de Lindblad. No entanto, essa aproximação pode ser usada em uma classe especial de sistemas atômicos, moleculares e ópticos (AMO). O objetivo desta dissertação é estudar a dinâmica de sistemas quânticos abertos de muitos corpos AMO, que são aproximadamente descritos pelo modelo de Hubbard, através do uso de métodos numéricos. Para isso, vamos focar nossa atenção em uma técnica de simulação particular conhecida como trajetórias quânticas, que em muitos contextos se mostra muito eficiente - o que pode ser melhorado se integrarmos esse método com outros, como Tensor Networks, t-DMRG e diagonalização exata.