Professor: Vinicius Lula-Rocha (ATOS)
Horarios: Quarta 02/02 de 12:30h às 13:30h
Objetivo: O objetivo desta aula é utilizar os conceitos de mecânica quântica e sua estrura matemática aprendidos na aula MC-SD08-II para construir os fundamentos da matemáticos da computação quântica e mostrar que, a patir de uma sequência de portas lógicas quânticas, podemos encontrar o espectro de frequência característico de uma transformada de Fourier como amplitudes de probabilidades dos estados dos registradores de um computador quântico.
Resumo: Nesta aula, vamos apresentar os conceitos básicos da computação quântica e iremos partir da definição da transformada de Fourier quântica para chegar na sua implementação em um computador quântico.
Ementa:
- Elementos básicos da computação quântica;
- Definição do qubits e n-qubits;
- Portas lógicas de interesse para a transformada de Fourier quântica: Identidade, NOT, Deslocamento de fase, Portas controladas, Porta de troca;
- Fatoração da transformada de Fourier quântica;
- Circuito da transformada de Fourier quântica.
Bibliografia:
- M. A. Nielsen, I. L. Chuang, Quantum Computation and Quantum Information, 10th ed. (Cambridge University Press, Cambridge, 2010)
- D. Deutsch. Quantum theory, the Church-Turing Principle and the Universal Quantum Computer. Proc. R. Soc. Lond. A 400, 1985.
- D. Coppersmith. An Approximate Fourier Transform Useful in Quantum Factoring. IBMResearch Report RC 19642, 1994.
- R. Cleve, A. Ekert, C. Macchiavello, M. Mosca. Quantum Algorithms Revisited. Proc. R. Soc. London A 454 339, 1998.
- R. B. Griffiths, C. S. Niu. Semi-classical Fourier Transform for Quantum Computation. Phys. Rev. Lett., 76 3228, 1996.
- P. W. Shor. Algorithms for Quantum Computation: Discrete Logarithms and Factoring. In Proceedings, 35th Annual Symposium on Foundations of Computer Science, IEEE Press, Los Alamitos, CA, 1994