Processamento de informação quântica tem sido um dos pilares da nova era da informação. Nessa direção, o controle e processamento de informação quântica desempenha um papel fundamental, e computadores capazes de manipular tais informações tem se tornado realidade. Neste artigo nós apresentamos, de forma didática, elementos básicos da versão mais recente do computador quântico da IBM e suas ferramentas. Nós ainda apresentamos em detalhes o algoritmo de Deutsch-Jozsa usado para diferenciar funções constantes de funções balanceadas, incluindo uma discussão de sua eficiência frente aos algoritmos clássicos para a mesma tarefa. A implementação experimental do algoritmo em um sistema de 4 qbits é apresentada. Nosso artigo abre caminho para uma série de investigações didáticas sobre o sistema da IBM, bem como os algoritmos quânticos mais conhecidos.
Processamento de informação quântica tem sido um dos pilares da nova era da informação. Nessa direção, o controle e processamento de informação quântica desempenha um papel fundamental, e computadores capazes de manipular tais informações tem se tornado realidade. Neste artigo nós apresentamos, de forma didática, elementos básicos da versão mais recente do computador quântico da IBM e suas ferramentas. Nós ainda apresentamos em detalhes o algoritmo de Deutsch-Jozsa usado para diferenciar funções constantes de funções balanceadas, incluindo uma discussão de sua eficiência frente aos algoritmos clássicos para a mesma tarefa. A implementação experimental do algoritmo em um sistema de 4 qbits é apresentada. Nosso artigo abre caminho para uma série de investigações didáticas sobre o sistema da IBM, bem como os algoritmos quânticos mais conhecidos.
O anúncio de um computador quântico que pode ser acessado de forma remota por qualquer pessoa a partir de seu laptop é um acontecimento de grande importância para os cientistas da computação quântica. Neste trabalho nós apresentamos o computador quântico da International Business Machines (IBM) e sua plataforma IBM Quantum Experience (IBM-QE) como uma proposta didática em estudos de computação e informação quântica e, não menos importante, como divulgação científica de tal anúncio feito pela equipe da IBM. Apresentamos as principais ferramentas (portas quânticas) disponíveis no IBM-QE e, por meio de uma simples estratégia, discutimos acerca de uma das fontes de decoerência nos chips de 5 q-bits da IBM. Como exemplo de aplicação do nosso estudo, nós mostramos como implementar o teleporte quântico usando o IBM-QE.
O presente estudo objetivou analisar os dados de simulações de dois algoritmos quânticos diferentes: Algoritmo de Deutsch e a Transformada de Fourier Quântica. Para tal abordagem foi utilizado o framework Qiskit na realização das simulações dos algoritmos anteriormente apresentados. Tais simulações se deram na máquina local (computador clássico) e nos chips quânticos da International Business Machines (IBM) via nuvem. Na máquina local, os resultados obtidos são os previstos pela teoria. Nos protótipos da IBM, no entanto, pequenas flutuações de erro puderam ser observadas. Todavia, os estados quânticos esperados foram obtidos com ótima probabilidade. Nossos resultados mostram que os computadores quânticos utilizados são robustos para os algoritmos estudados, sendo essa uma maneira bastante intuitiva para o ensino dos conceito de informação e computação quântica para o estudantes do ciclo profissional (técnico) da graduação.
A Computação Quântica é um tópico relativamente recente e pouco conhecido, principalmente no meio da Computação.Seu estudo surgiu na tentativa de físicos simularem sistemas regidos pela Mecânica Quântica por computadores clássicos, o que se conjecturou inviável.Portanto, um novo modelo computacional que utiliza a estrutura quântica da matéria para computar foi teorizado para suprir estas deficiências.Este trabalho tem como objetivo principal estudar as influências da Computação Quântica na Teoria da Computação.Para atingir tal objetivo, primeiramente são expostos os conhecimentos básicos da Mecânica Quântica através de uma linguagem voltada para Teóricos de Computação sem conhecimento prévio na área, de forma a remover a barreira inicial sobre o tema.Em seguida, serão apresentadas inovações na área da Teoria de Computação oriundas da Computação Quântica.Começaremos com os principais Algoritmos Quânticos desenvolvidos até hoje, que foram os primeiros passos para demonstrar a possível superioridade computacional do novo modelo.Dentre estes algoritmos, apresentaremos o famoso Algoritmo de Shor, que fatora números em tempo polinomial.Adicionalmente, neste trabalho foram estudados tópicos mais avançados e atuais em Computabilidade e Complexidade Quânticas.Sobre Autômatos Quânticos, foram estudados aspectos de um modelo que mistura estados clássicos e quânticos, focando na comparação do poder computacional em relação aos Autômatos Finitos Clássicos.Do ponto de vista de Classes de Complexidade, será abordada a questão se em linguagens da classe QMA, o análogo quântico da classe NP, consegue-se atingir probabilidade de erro nulo na aceitação de instâncias positivas.
A Computacao Quântica surgiu como uma promissora tecnologia alternativa capaz de contornar os problemas previstos para acontecerem em breve com a saturacao da tecnologia atual (Computacao Classica). Estes problemas acontecem quando se trabalha com componentes muito pequenos, da ordem de poucos nanometros, quando os efeitos da Mecânica Quântica comecam a tornar-se mais fortes, gerando resultados aleatorios. A Computacao Quântica toma proveito desses efeitos, resultando numa Computacao nao somente mais rapida, como um novo tipo de Computacao, capaz de realizar tipos novos de computacao impossiveis, em principio, de serem realizadas classicamente. Embora a teoria da Computacao Quântica venha se desenvolvendo com rapidez, a parte experimental ainda enfrenta grandes dificuldades. Embora implementacoes de algoritmos simples e com poucos qubits ja tenham sido realizadas, ainda ha problemas serios de escalabilidade, descoerencia e controlabilidade a serem resolvidos. Devido a esses problemas, torna-se imperativo o uso de simuladores tanto para o desenvolvimento de novos algoritmos quanto para o estudo dos algoritmos existentes. A simulacao, porem, apresenta um problema, no que um sistema quântico so pode ser simulado eficientemente por outro sistema quântico. Um sistema quântico de n qubits levara um tempo O(2n ) para ser simulado por um computador classico. A simulacao, entretanto, mostra-se a alternativa mais viavel em vista da falta de um hardware quântico. Este trabalho apresenta o processo de concepcao e implementacao de um simulador universal de circuitos quânticos, denominado Zeno. O modelo de circuitos quânticos foi escolhido por ser amplamente difundido e de facil assimilacao. O trabalho apresenta uma introducao aos conceitos de Computacao Quântica usados na implementacao do simulador, os requisitos gerais desejaveis para um novo simulador de circuitos quânticos, tanto do ponto de vista funcional quanto do nao-funcional, o processo de desenvolvimento utilizado e uma analise dos resultados obtidos com a implementacao do simulador.
Algoritmos baseadas no controle de estados quânticos, ou simplesmentealgoritmos quânticos, oferecem um ganho exponencial de eficiência em relação àalgoritmos clássicos equivalentes. No entanto, a implementação experimental destesalgoritmos esbarra em um grande obstáculo: a descoerência. Resultante da interação dosistema de interesse com o ambiente externo, a descoerência dificulta o controle deestados quânticos e a realização das operações que compõem os algoritmos. Adescoerência leva os estados a perderem gradualmente seu caráter quântico e,consequentemente, sua utilidade em computação quântica fica comprometida. Paracompreender a descoerência, diversos modelos têm sido propostos. O mais geral requera análise da interação entre o sistema e o ambiente, mas existem outros modelos de maisfácil implementação, como os modelos de operadores-soma. Neste trabalho, utilizamoso método de operador-soma para estudar descoerência em caminhadas quânticas sobregrafos, buscando compreender os efeitos da descoerência sobre a distribuição deprobabilidade e, consequentemente, sobre a eficiência de algoritmos quânticos baseadosem caminhadas quânticas (SHENVI, 2003).Neste trabalho, o objetivo principal é analisar os efeitos da descoerência emcaminhadas quânticas sobre grafos. Com este estudo, poderemos analisar diretamente oefeito da descoerência sobre a eficiência de algoritmos quânticos baseados emcaminhadas quânticas.
A mecânica quântica surgiu no início do século XX explicando fenômenos da natureza que até então não correspondiam às previsões de outras teorias. À medida que a teoria evoluiu, novas tecnologias baseadas nas propriedades quânticas começaram a ser desenvolvidas, como por exemplo a computação quântica. A computação quântica busca aplicar fenômenos como superposição e emaranhamento para resolver problemas computacionais complexos de forma mais eficiente que os computadores clássicos. Neste trabalho, introduzimos de forma breve o formalismo matemático utilizado na computação quântica, bem como seus principais conceitos. Ele aborda também alguns recursos quânticos, como o direcionamento quântico e a não-localidade de Bell. Nosso objetivo é detectar esses recursos em sistemas gerados em computadores quânticos reais. Para isso, focamos nossa análise nos estados Bell-diagonais e apresentamos um circuito capaz de gerar essa classse de estados. Em especial, estamos interessados nos estados de Werner, utilizados como ferramentas para detectar recursos quânticos e seus aspectos não locais. A abordagem computacional utiliza circuitos supercondutores, um tipo de hardware quântico, implementado por meio da plataforma IBM Quantum, que oferece acesso remoto a computadores quânticos reais. Os resultados experimentais obtidos são analisados em comparação com as previsões teóricas.