CÁLCULO QUÂNTICO E q-TRANSFORMADAS INTEGRAIS

Flávio Borin Júnior, Juliana Kaizer Vizzotto

Este artigo tem como objetivo apresentar a investigação de uma adaptação do Cálculo Lambda para a esfera da Computação Quântica. Para tanto apresenta-se a implementação do modelo de computação quântica proposto por Sabry e a definição do Cálculo Lambda Quântico fornecida por Van Tonder. Ao unir estas abordagens, almeja-se explorar e aprender sobre o desenvolvimento de linguagens, e consequentemente algoritmos, para a Computação Quântica.

Juliana Harmatiuk de Oliveira

Rex Medeiros, Francisco de Assis, Romain Alléaume +2 more

Resumo-A capacidade erro-zero de canais quânticos é definida como sendo o supremo das taxas com que informac ¸ão clássica é transmitida sem erro através de um canal quântico ruidoso.Neste trabalho, é feito um estudo da capacidade errozero de uma classe importante de canais: os canais clássicosquânticos.Mais especificamente, é mostrado que o cálculo da capacidade erro-zero de tais canais é um problema puramente clássico, equivalente ao cálculo da capacidade erro-zero de um canal clássico discreto sem memória específico.Palavras-Chave-Capacidade erro-zero, canais quânticos, canais clássicos-quânticos.

Dagoberto da Silva Freitas

João Luzeilton de Oliveira

Esta tese apresenta alguns resultados sobre dois temas importantes para a teoria da informacao quântica: entrelacamento quântico e algoritmos quânticos. Com respeito ao entrelacamento, e estabelecida uma relacao entre a negatividade e os menores principais de matrizes Hermitianas, o que permite analisar o entrelacamento para estados de dois qubits e estados puros de tres e quatro qubits, usando os menores principais. Foi proposta tambem uma nova medida para o calculo do entrelacamento de estados puros de seis qubits, usando a negatividade. Para ambos os casos, o calculo da variacao do entrelacamento de estados parametrizados foi realizado atraves de formulas analiticas e simulacoes numericas. Por fim, com relacao aos algoritmos quânticos e proposto um algoritmo de busca capaz de achar o minimo de uma funcao realizando apenas uma medicao ao final do algoritmo. O algoritmo e descrito e um exemplo de utilizacao do mesmo no calculo do periodo de uma funcao periodica e apresentado.