Um limite de velocidade quântica (em inglês Quantum Speed Limit, ou abreviadamente QSL) é um limite inferior no tempo de evolução entre dois estados quânticos. Neste trabalho, nós desenvolvemos duas novas famílias de QSLs: uma utilizando a abordagem geométrica e outra inspirada na desigualdade de Holder. Ambas as abordagens envolvem o uso das normas Schatten. Notavelmente, para um estado de um qbit, demonstramos que o QSL geométrico permanece independente da norma Schatten escolhida, revelando uma forma de universalidade entre esses quantificadores. Além disso, realizamos uma comparação entre os QSLs desenvolvidos neste trabalho e os QSLs paradigmáticos existentes na literatura. Demonstramos também que os limites quânticos de velocidade preexistentes podem ser vistos como casos particulares de QSLs baseados nas normas Schatten. Adicionalmente, analisamos condições necessárias e suficientes para uma dinâmica ótima, ou seja, quando o tempo de evolução entre dois estados quânticos é igual ao QSL. Por fim, comparamos os dois QSLs desenvolvidos, apresentando uma desigualdade entre eles de clara significância geométrica. Em especial, nós mostramos que o limite quântico de velocidade geométrico induzido por uma norma Schatten pode ser visto como um QSL universal, onde este se mostrou como o quantificador mais tight para uma dinâmica geral de um qbit preparado inicialmente em um estado puro. Finalmente, nós investigamos os efeitos de uma dinâmica Markoviana e nãoMarkoviana no QSL universal, e ilustramos situações onde os regimes Markovianos ou nãoMarkovianos implicam em uma dinâmica ótima. Em complemento, nós também mostramos como melhorar a dinâmica de um sistema, e exemplificamos um caso onde uma dinâmica nãoMarkoviana se mostrou mais tight que o caso Markoviano.
Um limite de velocidade quântica (em inglês Quantum Speed Limit, ou abreviadamente QSL) é um limite inferior no tempo de evolução entre dois estados quânticos. Neste trabalho, nós desenvolvemos duas novas famílias de QSLs: uma utilizando a abordagem geométrica e outra inspirada na desigualdade de Holder. Ambas as abordagens envolvem o uso das normas Schatten. Notavelmente, para um estado de um qbit, demonstramos que o QSL geométrico permanece independente da norma Schatten escolhida, revelando uma forma de universalidade entre esses quantificadores. Além disso, realizamos uma comparação entre os QSLs desenvolvidos neste trabalho e os QSLs paradigmáticos existentes na literatura. Demonstramos também que os limites quânticos de velocidade preexistentes podem ser vistos como casos particulares de QSLs baseados nas normas Schatten. Adicionalmente, analisamos condições necessárias e suficientes para uma dinâmica ótima, ou seja, quando o tempo de evolução entre dois estados quânticos é igual ao QSL. Por fim, comparamos os dois QSLs desenvolvidos, apresentando uma desigualdade entre eles de clara significância geométrica. Em especial, nós mostramos que o limite quântico de velocidade geométrico induzido por uma norma Schatten pode ser visto como um QSL universal, onde este se mostrou como o quantificador mais tight para uma dinâmica geral de um qbit preparado inicialmente em um estado puro. Finalmente, nós investigamos os efeitos de uma dinâmica Markoviana e nãoMarkoviana no QSL universal, e ilustramos situações onde os regimes Markovianos ou nãoMarkovianos implicam em uma dinâmica ótima. Em complemento, nós também mostramos como melhorar a dinâmica de um sistema, e exemplificamos um caso onde uma dinâmica nãoMarkoviana se mostrou mais tight que o caso Markoviano.
As últimas décadas testemunharam intensa atividade de pesquisa teórica e experimental visando compreender o conceito do tempo na mecânica quântica. Este tema desencadeou significante progresso na busca por dispositivos mais rápidos e eficientes no processamento de informação e implementação de tecnologias de comunicação. Motivados pela pergunta quão rápido um sistema quântico evolui sob uma dada dinâmica?, tais avanços levaram a formulação do chamado limite quântico de velocidade ou quantum speed limit, (QSL), i.e., um limite inferior definindo o tempo mínimo de evolução entre estados quânticos distintos. Diversos resultados reportaram QSLs obtidos via tratamentos diferentes e aparentemente desconexos, muitas vezes sob configurações específicas, que deixaram uma lacuna fundamental à resposta da questão geral colocada anteriormente. Neste projeto investigamos como a não-unicidade de uma medida de distinguibilidade de operadores densidade definida no espaço de estados quânticos influencia o QSL e pode ser explorada no intuito de obter limites inferiores mais robustos no tempo de evolução de estados arbitrários. Em particular, baseando-nos no formalismo da geometria da informação, estabelecemos uma família infinita de QSLs válidos para evoluções unitárias e não-unitárias. Este trabalho se propõe unificar e generalizar resultados existentes sobre QSLs na literatura, além de fornecer exemplos de limites mais precisos do que aqueles baseados na informação de Fisher convencional. Em termos físicos, esta investigação é a primeira a destacar o papel das populações e coerências quânticas no cálculo e saturação dos QSLs. Nossos resultados podem encontrar aplicações na otimização de protocolos em computação quântica e metrologia, além de fornecer novos pontos de vista em investigações fundamentais da termodinâmica quântica.
Sistemas quânticos abertos têm sido alvos de diversos estudos teóricos e experimentais ao longo dos últimos anos. Em especial, pesquisas relacionadas a não Markovianidade e como ela influencia a dinâmica do sistema se tornaram relativamente importantes, pois desta forma pode-se ter o retorno das características quânticas iniciais presentes no sistema. Nesta tese foram desenvolvidos dois trabalhos relacionados acerca da influência da não Markovianidade em sistemas quânticos abertos. No primeiro, foi utilizado um sistema de um q-bit em contato com um reservatório bosônico e também sob a influência de um bombeio estocástico clássico, gerando assim um acoplamento efetivo do sistema com o ruído estocástico e o reservatório térmico. Desta forma, foi investigado como a dinâmica do qbit é modificada através da produção de não Markovianidade no sistema devido ao acoplamento efetivo e também como a energia média do sistema, com e sem o bombeio, se comporta tanto no regime Markoviano como não Markoviano. Adicionalmente, foi realizada uma análise da produção de não Markovianidade utilizando os ruídos estocásticos exponencial, Gaussiano e lei de potência. Aplicando a medida de Andersson, Cresser, Hall e Li (ACHL), foi possível fazer um comparativo do quanto de não Markovianidade foi produzida para cada ruído estocástico utilizado. No segundo trabalho, foi realizado um estudo de como é possível gerar a transição entre os regimes Markoviano e a não Markovianos por meio do controle de tempo de relaxação spin-rede de um qbit auxiliar, que atua como um ambiente. A decoerência do sistema foi simulada através da formulação de canais quânticos. Além disso, foi discutido como o mecanismo de relaxação é modificado pela ação de um campo magnético externo. Por fim, é apresentada uma demonstração experimental do modelo e sua comparação dos dados experimentais com os simulados teoricamente.
Alguns fenômenos são exclusivos de sistemas quânticos, ou seja, não possuem contrapartida na mecânica clássica. Dois exemplos muito discutidos nos últimos anos são o emaranhamento e a não localidade, ambos relacionados com a existência de estados não separáveis. A superposição de estados quânticos é outra característica que merece destaque. Quando dois eventos são descritos por estados não ortogonais, o fato de estes se sobreporem implica na inexistência de um processo capaz de distingui-los. O princípio da superposição aliado ao processo de medição local em sistemas quânticos compostos resulta em uma nova classe de correlações sem contrapartida no mundo clássico e que vai além do emaranhamento. Essas correlações puramente quânticas recebem o nome de quantumness of correlations, e são o assunto principal desta tese. Estudamos três abordagens diferentes para as correlações puramente quânticas. Primeiramente definimos uma medida geométrica para quantificar essas correlações baseada na norma Schatten-p, a qual contém a norma do traço, norma de Hilbert-Schmidt e norma de operador. Demonstramos que essa medida de correlações é limitada inferiormente pelo emaranhamento, quando este é calculado via testemunhas de emaranhamento. A segunda abordagem das correlações puramente quânticas se deu no contexto de informação acessível e discriminação de estados quânticos. Sabe-se que, devido a superposição, estados quânticos só podem ser perfeitamente distinguidos quando são ortogonais. Sendo assim para um ensemble finito de estados quânticos existe uma quantidade máxima de informação que pode ser extraída pelo processo de medição. A quantidade de informação acessível é limitada pela cota de Holevo, e atingirá a igualdade apenas quando os estados forem ortogonais. Esse limite na quantidade de informação acessível está relacionada a incapacidade de se distinguir estados quânticos pelo processo de medição. Nosso estudo consiste em investigar a capacidade de se extrair informação, bem como em se distinguir os estados de um dado ensemble, quando restringimos o processo de medição a medições projetivas. A restrição a medição projetiva, bem como a generalização a POVMs pode ser abordada via teorema de Naimark, que atesta que uma POVM pode ser descrito como uma medição projetiva em um espaço de dimensão maior. O processo de "embeber" o estado em um espaço de dimensão maior pode ser feito, por exemplo, acoplando uma ancila ao estado. Processo este que não gera correlações entre o sistema e a ancila. Nosso principal objetivo é estudar as correlações nesse contexto para entender como elas são afetadas pelo processo de embeber o estado em um espaço de dimensão maior, uma vez que isto generaliza a forma de medição a ser realizada no sistema. Por fim estudamos correlações quânticas no contexto de partículas indistinguíveis. Obtemos uma medida de emaranhamento para sistemas fermiônicos: a versão fermiônica da robustez generalizada de emaranhamento. Nós também introduzimos o conceito de correlações puramente quânticas para partículas indistinguíveis, obtemos quem são os estados sem correlações puramente quânticas a partir do protocolo de ativação. Como esses estados são um subconjunto dos estados separáveis, podemos garantir quais estados não são emaranhados, pois não possuem nem mesmo correlações puramente quânticas. Calculamos também uma medida dessas correlações para sistemas fermiônicos e bosônicos.
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 investiga aspectos fundamentais da teoria quântica. Começamos estabelecendo um formalismo independente de teoria para o estudo de teorias físicas, inspirado pelas chamadas teorias probabilísticas generalizadas (GPTs). Nossa abordagem diverge das GPTs tanto em termos de conceitos primitivos quanto na forma como as teorias físicas são compreendidas. Consideramos observável como conceito primitivo e entendemos teorias como formalismos nos quais leis físicas ou empíricas - expressões matemáticas relacionando quantidades físicas que podem ser mensuradas em conjunto - podem ser formuladas. Além dos observáveis, nosso formalismo inclui estados e um mecanismo de atualização de estados como conceitos primitivos. Estados atribuem probabilidades a proposições sobre medições subsequentes de quantidades físicas, enquanto a atualização de estado reconstrói estados para garantir a veracidade de tais proposições. Assim como nas GPTs, nossa análise é restrita a quantidades com um número finito de valores possíveis. Sistemas quânticos de dimensão finita estão dentro do escopo do nosso formalismo. Demonstramos que a estrutura algébrica da mecânica quântica emerge localmente a partir das condições de consistência que fundamentam nossa definição independente de teoria de sistema físico, onde \"localmente\" se refere a aspectos da álgebra (parcial) de observáveis que não envolvem operações entre operadores incompatíveis. Especificamente, mostramos que observáveis possuem norma e espectro; que existe uma relação de compatibilidade para observáveis, juntamente com operações algébricas entre aqueles que são compatíveis; projeções existem e formam um conjunto parcialmente ordenado com álgebras Booleanas locais; observáveis compatíveis dois a dois estão contidos em álgebras de Banach comutativas geradas por um único observável; estados definem funcionais parcialmente lineares no conjunto de observáveis; observáveis admitem decomposição espectral, entre outros. Esses resultados contribuem para a importante linha de pesquisa centrada em derivar o formalismo quântico a partir de suposições simples. Além disso, eles destacam uma diferença fundamental entre nosso formalismo e as GPTs, já que estas últimas são conhecidas por comumente não incluírem operações algébricas e projetores. A emergência local da estrutura algébrica da mecânica quântica tem implicações significativas para o problema das correlações quânticas, ou seja, o problema de se identificar princípios que expliquem as correlações produzidas por sistemas quânticos. Essa estrutura local nos permite provar que princípios importantes que governam as correlações quânticas, como a não-perturbatividade, a não-sinalização, o princípio de Specker, o princípio da exclusividade e o princípio da ortogonalidade local, são inerentemente satisfeitos em nosso formalismo. Consequentemente, nenhuma teoria dentro do escopo da nossa descrição pode violá-los, e as correlações por elas produzidas não podem estar consideravelmente distantes do chamado conjunto quântico. Exemplos notáveis de correlações pós-quânticas, como caixas PR e correlações quase-quânticas, são automaticamente excluídos. Concluímos nosso trabalho abordando o problema das variáveis ocultas. Provamos um teorema de impossibilidade para modelos de variáveis ocultas com base em uma única condição de consistência: o modelo deve atualizar estados via probabilidade condicional, o que, conforme argumentamos, segue de nossa descrição do mecanismo de atualização de estados. Este teorema estabelece uma ligação direta entre a incompatibilidade e a ausência de variáveis ocultas, mostrando que modelos de variáveis ocultas que atualizam estados existem se, e somente se, os observáveis em questão forem dois a dois compatíveis. Com base nisso, analisamos afirmações de cunho ontológico e metafísico tipicamente associadas a contextualidade, não-localidade e psi-ontologia.
Em computação quântica e especificamente na modelagem de circuitos quânticos de computação, uma porta lógica quântica (ou simplesmente porta quântica) é um circuito quântico básico que opera sobre um pequeno número de qubits, que são as unidades básicas de informação constituída por um sistema quântico de dois estados. Estes são os alicerces de construção de circuitos quânticos da mesma forma que as portas lógicas clássicas são para os circuitos digitais convencionais. No presente trabalho, pretendemos investigar aplicações da mecânica quântica não linear q-deformada em computação quântica, assim como a construção de suas portas lógicas quânticas que possam descrever fenômenos de interesse da comunidade científica nas áreas de computação quântica, teoria quântica, entre outras. Para a escrita dos trabalhos, utilizamos a linguagem de programação LaTeX, e para o desenvolvimento de gráficos ou resoluções de equações diferenciais, fizemos o uso da linguagem de programação Python. Para isso, promovemos estudos sobre alguns tópicos de computação quântica, álgebras generalizadas, linguagem de programação Python, entre outros. Nesta etapa do projeto, consideramos as seguintes referências bibliográficas: computação quântica, álgebra q-deformada, mecânica quântica não linear, circuitos quânticos, fenômenos de decoerência quântica, e etc. e promover as suas aplicações na construção do projeto, a fim de obter resultados que auxiliem a outros pesquisadores destes tópicos de pesquisa. Foram criados circuitos e analisamos a sua entropia em relação ao parâmetro de deformação algébrico q, analisamos também a taxa de variação da modificação dos estados e das probabilidades de estados dos qubits presentes nos circuitos simulados, sendo estudados também as plotagens acerca das funções generalizadas presentes nos artigos que foram usados como base neste trabalho e projeto. e para uma melhor consolidação dos resultados, criamos uma biblioteca no python que nos auxiliou no trabalho. Foi percebido que usando a matemática não usual presente nos artigos acerca da álgebra q-deformada, o parâmetro q consegue ter um enorme controle de entropia e velocidade de convergência do circuito quântico deformado em alguns respectivos algoritmos quânticos. Vendo que a sua velocidade de convergência pode ser modificada, para maior ou menor do que a usual, verifica-se aqui a extrema importância do parâmetro q em simulações e convergências de resultados acerca dos temas aqui trabalhados.