Resumo A teoria da informação quântica revolucionou nossa compreensão sobre os limites fundamentais do processamento de informação, revelando que a mecânica quântica oferece vantagens computacionais e de comunicação inatingíveis por seus análogos clássicos. O cerne dessa revolução reside na natureza peculiar dos estados quânticos e suas interações. Este artigo explora a intrínseca estrutura geométrica dos espaços de estados quânticos, tanto puros quanto mistos, buscando caracterizar as métricas que quantificam a distinguibilidade entre eles. Iniciamos com uma revisão do espaço de Hilbert e a representação de estados, para então mergulhar na derivação e análise de métricas cruciais como a de Fubini-Study para estados puros e a de Bures-Uhlmann para estados mistos. Discutimos suas propriedades fundamentais, incluindo monotonicidade sob operações quânticas e conexões com a informação de Fisher quântica. Adicionalmente, exploramos a relevância dessas estruturas métricas para a teoria do transporte ótimo quântico, oferecendo uma perspectiva de como a geometria informa sobre a dinâmica e a manipulação de informação quântica. Os resultados destacam a profunda interconexão entre geometria diferencial, teoria da informação e mecânica quântica, pavimentando o caminho para o desenvolvimento de novas ferramentas para a computação e comunicação quântica.
Resumo A teoria da informação quântica revolucionou nossa compreensão sobre os limites fundamentais do processamento de informação, revelando que a mecânica quântica oferece vantagens computacionais e de comunicação inatingíveis por seus análogos clássicos. O cerne dessa revolução reside na natureza peculiar dos estados quânticos e suas interações. Este artigo explora a intrínseca estrutura geométrica dos espaços de estados quânticos, tanto puros quanto mistos, buscando caracterizar as métricas que quantificam a distinguibilidade entre eles. Iniciamos com uma revisão do espaço de Hilbert e a representação de estados, para então mergulhar na derivação e análise de métricas cruciais como a de Fubini-Study para estados puros e a de Bures-Uhlmann para estados mistos. Discutimos suas propriedades fundamentais, incluindo monotonicidade sob operações quânticas e conexões com a informação de Fisher quântica. Adicionalmente, exploramos a relevância dessas estruturas métricas para a teoria do transporte ótimo quântico, oferecendo uma perspectiva de como a geometria informa sobre a dinâmica e a manipulação de informação quântica. Os resultados destacam a profunda interconexão entre geometria diferencial, teoria da informação e mecânica quântica, pavimentando o caminho para o desenvolvimento de novas ferramentas para a computação e comunicação quântica.
Nesta tese, inicialmente apresentamos um experimento para a geração de estados emaranhados de sistemas quânticos D-dimensionais, qudits, explorando a correlação transversal dos fótons gerados no processo da conversão paramétrica. Aberturas com D-fendas, colocadas ao longo dos braços dos fótons gêmeos, definem o espaço de Hilbert destes qudits. Devido a uma manipulação adequada do perfil transversal do feixe do laser, os fótons gêmeos irão passar somente através de fendas simetricamente opostas, gerando estados emaranhados entre os diferentes caminhos possíveis para a transmissão do par através destas aberturas. Resultados experimentais para qudits com D = 4 e 8 são mostrados. Nós demonstramos também que a correlação entre os qudits gerados é quântica. Em seguida, mostramos que estes estados de qudits podem ser propagados. Sua distribuição ao longo do espaço livre foi realizada em nosso laboratório e os estados propagados mantiveram uma fidelidade muito alta quando comparados com a sua forma original. Estudos sobre a propagação de estados de qudits são importantes porque seu uso permite um aumento na quantidade da informação que pode ser transmitida por par compartilhado e pode também garantir mais privacidade para as partes que se comunicam. No terceiro trabalho descrito nesta tese, demonstramos como uma pequena modificação do esquema adotado nos trabalhos anteriores, pode ser usada para se gerar estados mistos de qudits. Investigamos, também, a discriminação dos estado quânticos de sistemas compostos de dois qubits espaciais, motivados pelo fato de que os protocolos de Informação Quântica podem ser mais fáceis de serem implementados neste caso. Por meio de operações locais nos fótons gêmeos, realizamos o processo da tomografia quântica para reconstruir a matriz densidade de um estado misto de dois qubits espaciais. As matrizes densidade reconstruídas são úteis porque quantidades tais como a entropia e a concurrência de um sistema quântico, podem ser calculadas a partir delas. E em nosso último trabalho, depois de ter tido demonstrado a geração de estados puros e mistos de qudits espaciais, a sua propagação através do espaço livre e sua reconstrução através de técnica da tomografia quântica, mostramos que este tipo de estado espacial pode ser usado na prática, para se fazer um teste das desigualdades da Bell.
A Geometria da informação promove uma investigação da estrutura geométrica de variedades estatísticas, fornecendo uma série de elucidações em áreas que vão desde ciências da informação até ciências físicas, além de resultados aplicáveis a problemas como os de inferência estatística. Neste texto, vamos apresentar a estrutura dualística (métrica de Fisher, ±α-conexões) na variedade de probabilidades clássicas vinda de f-divergências globalmente definidas por funções convexas. Vamos então estender este formalismo para produzir o seu análogo quântico, obtendo uma família de métricas de Fisher não comutativas. Em seguida, relacionamos estas métricas com as métricas monotônicas permitidas na mecânica quântica pelo do Teorema de Morozova-Chentsov-Petz via conexão operadores função convexa e monotônica. Por fim, mostramos uma aplicação das técnicas geométricas em um problema de inferência estatística, onde calcularemos correções de ordem superior na cota de Cramér-Rao para um estimador de um parâmetro a partir da estrutura geométrica do espaço de Hilbert adjacente, clássico ou quântico, observando as intersecções deste processo com os resultados anteriormente apresentados.
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.
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.
Propomos um metodo para obtencao de propriedades de sistemas quânticos compostos utilizando apenas medicoes estritamente locais e comunicacao classica. Isso difere dos esquemas usualmente utilizados em protocolos de informacao quântica, que se utilizam em sua maioria de operacoes globais e/ou operacoes locais conjuntas. Nosso tratamento consiste em analisar o efeito de medicoes em um subsistema sobre as submatrizes da matriz densidade do sistema composto. Analisamos entao como outros subsistemas podem ser expressos em termos dessas submatrizes, obtendo assim o efeito das medicoes feitas em um subsistema sobre os outros. Aplicamos esse resultado - valido para sistemas com espacos de Hilbert discretos de dimensao arbitraria - a dois problemas centrais em protocolos de informacao quântica: a reconstrucao de estados de sistemas compostos e a caracterizacao de emaranhamento. Para a tarefa de reconstrucao, mostramos como determinar um estado de um sistema composto de dimensao finita arbitraria utilizando apenas medicoes locais e comunicacao classica de uma via. A vantagem de nossa proposta esta em eliminar a necessidade de medicoes conjuntas, o que se traduz, no contexto de otica linear, em eliminar medicoes de coincidencia. Analisamos a caracterizacao de emaranhamento considerando classes especiais de estados. Para estados com alta simetria - estados isotropicos, de Werner e de simetria rotacional constituidos por um qubit e um qudit - mostramos uma relacao entre o grau de emaranhamento e a diferenca de populacao medida por um subsistema condicionada a medicoes de paridade do outro subsistema, relacao essa ja evidenciada em estados gaussianos simetricos. Alem disso, propomos uma nova familia de estados cujo emaranhamento pode ser caracterizado com muito menos recursos do que os utilizados para a reconstrucao, sendo esses recursos estritamente locais.
Abstract
A teoria dos algoritmos quânticos promete benefícios sem precedentes ao utilizar as leis da mecânica quântica para resolver certos problemas computacionais. Entretanto, alguns desafios impedem que tais vantagens se apliquem a todos os algoritmos quânticos. Entre esses desafios está o desenvolvimento de uma codificação eficiente de dados clássicos em um estado quântico. Em aplicações práticas, o custo para carregar a informação clássica em um dispositivo quân- tico pode dominar o custo computacional assintótico do algoritmo. Foram propostos diversos métodos baseados em circuitos para codificar dados clássicos nas amplitudes de probabilidade de um estado quântico. Entretanto, esses métodos produzem circuitos com complexidade que cresce linearmente com o tamanho do dado, anulando o benefício da aplicação quântica. O objetivo principal deste trabalho é reduzir a complexidade computacional dos circuitos para a inicialização de estados quânticos. As duas estratégias utilizadas para alcançar tal objetivo exploram a troca de complexidade temporal por espacial ou a transferência de complexidade computacional para um computador clássico. A primeira estratégia reinterpreta métodos al- gébricos para a decomposição de estados quânticos como caminhadas ao longo de árvores binárias. A segunda investiga o grau de emaranhamento de bipartições do estado quântico através da decomposição de Schmidt. Os métodos baseados em árvore alcançam uma redução exponencial na profundidade dos circuitos, em comparação às abordagens existentes. Os base- ados na decomposição de Schmidt produzem circuitos de complexidade variável, proporcional ao emaranhamento do estado. A perspectiva é que o resultado desta tese auxilie os profissionais da computação quântica durante a era dos dispositivos ruidosos de escala intermediária.