QC p.1/21 Computação Quântica: Complexidade e Algoritmos Carlos H. Cardonha Marcel K. de Carli Silva Cristina G. Fernandes (orientadora) Departamento de Ciência da Computação Instituto de Matemática e Estatística Universidade de São Paulo Apoio inanceiro FAPESP (03/13236-0 e 03/13237-7)
QC p.2/21 Tópicos Breve histórico e descrição do trabalho O modelo quântico de computação O algoritmo de atoração de Shor Relações entre classes de complexidade
QC p.3/21 Breve Histórico Feynman (82): explorar eeitos quânticos Deutsch (85, 89): ormalização do modelo Shor (94): atoração eiciente de inteiros Grover (96): busca em tempo proporcional a Bernstein e Vazirani (97): complexidade computacional
QC p.4/21 Descrição do Trabalho Estudo básico do modelo quântico de computação. Parte do Marcel: Aspectos Algorítmicos. Algoritmos de Deutsch, Deutsch-Jozsa e Simon Shor Grover
QC p.4/21 Descrição do Trabalho Estudo básico do modelo quântico de computação. Parte do Marcel: Aspectos Algorítmicos. Algoritmos de Deutsch, Deutsch-Jozsa e Simon Shor Grover Parte do Carlos: Resultados de Complexidade. Máquinas de Turing quânticas Máquina de Turing quântica universal Classes quânticas de complexidade e relação com clássicas
QC p.5/21 Tópicos Breve histórico e descrição do trabalho O modelo quântico de computação O algoritmo de atoração de Shor Relações entre classes de complexidade
QC p.6/21 Bits Quânticos espaço vetorial de dimensão
QC p.6/21 Bits Quânticos espaço vetorial de dimensão base ortonormal de
QC p.6/21 Bits Quânticos e espaço vetorial de dimensão base ortonormal de : estados básicos
QC p.6/21 Bits Quânticos espaço vetorial de dimensão base ortonormal de : estados básicos e é um vetor unitário em bit quântico tem norma 1, pois e
QC p.6/21 Bits Quânticos espaço vetorial de dimensão base ortonormal de : estados básicos e é um vetor unitário em bit quântico tem norma 1, pois e é superposição de estados básicos
QC p.7/21 Principais Características: Superposição Um bit quântico armazena uma superposição de e
QC p.7/21 Principais Características: Superposição Um bit quântico armazena uma superposição de Exemplo: e
QC p.7/21 Principais Características: Superposição Um bit quântico armazena uma superposição de Exemplo: e Um registrador com bits quânticos armazena uma superposição de estados básicos
QC p.7/21 Principais Características: Superposição Um bit quântico armazena uma superposição de Exemplo: e Um registrador com bits quânticos armazena uma superposição de estados básicos Exemplo:
QC p.8/21 Principais Características Ao tentarmos enxergar uma superposição, modiicamos (perdemos) esta irreversivelmente (Princício da Incerteza)
QC p.8/21 Principais Características Ao tentarmos enxergar uma superposição, modiicamos (perdemos) esta irreversivelmente (Princício da Incerteza) No modelo clássico, portas lógicas são unções de bits em bits. No modelo quântico, as equivalentes portas lógicas são unções bijetoras de bits quânticos em bits quânticos. Exemplo: unção de negação e
QC p.9/21 Principais Características Facilidade de extração de propriedades globais de uma unção. Exemplo: período.
& ' ' ( QC p.9/21 Principais Características Facilidade de extração de propriedades globais de uma unção. Exemplo: período.! # " Exemplo: unção $% ' ' ' ( ( ( & ' período
QC p.10/21 Tópicos Breve histórico e descrição do trabalho O modelo quântico de computação O algoritmo de atoração de Shor Relações entre classes de complexidade
QC p.11/21 Algoritmo de Shor Recebe: um inteiro composto, ímpar, que não uma potência de primo ( tem pelo menos 2 divisores primos).
QC p.11/21 Algoritmo de Shor Recebe: um inteiro composto, ímpar, que não uma potência de primo ( tem pelo menos 2 divisores primos). Devolve: um ator de, com alta probabilidade.
QC p.12/21 Algoritmo de Shor Idéia: transorma problema da atoração em busca do período de uma unção.
) * # QC p.12/21 Algoritmo de Shor Idéia: transorma problema da atoração em busca do período de uma unção. Consumo de tempo: polinomial em.
) * # QC p.12/21 Algoritmo de Shor Idéia: transorma problema da atoração em busca do período de uma unção. Consumo de tempo: polinomial em. Observação: um único passo quântico!
- - 0, 3 0, 3 4 5 $ D 4. D Algoritmo de Shor Shor /. - rand, 1. mdc 2. único passo quântico 021 3. se 4. então devolva C @BA? <>= ; 92: 8 tal que 7 6 menor ordem 5. E # " F. é ímpar ou 6. se 7. então FALHOU! E 8. senão devolva mdc QC p.13/21
$ F! $ D 4. D QC p.14/21 Algoritmo de Shor Teorema: # " com 1 menor se par e então mdc 4 E # " G F. é ator de E
$ F! $ D 4. D. D D D. D. D D QC p.14/21 Algoritmo de Shor Teorema: # " com 1 menor se par e então mdc 4 E # " G F. é ator de E Prova: é múltiplo de E E D. não é múltiplo de E não é múltiplo de E. E e E separados entre Fatores de
H J I QC p.15/21 Algoritmo de Shor Teorema: Se tem divisores primos, então probabilidade de alha KML
H R J I QC p.15/21 Algoritmo de Shor Teorema: Se tem divisores primos, então probabilidade de alha KML Prova: Teorema Chinês do Resto e Fato: é cíclico se primo ímpar. Q NPO
4 S & $ $ $ $! $ 4 QC p.16/21 Algoritmo de Shor Álgebra (Teoria dos Grupos):., módulo ordem de 4 é o período da seqüência. # " # " # " # " ' ' '. # " é o período da unção
) * # $ # "! QC p.17/21 Busca do Período Algoritmo quântico encontra o período da unção em tempo polinomial em e com alta probabilidade.
_ ) * # X Y Y \ Z _\ $ # "! QC p.17/21 Busca do Período Algoritmo quântico encontra o período da unção em tempo polinomial em e com alta probabilidade. Utiliza versão quântica (trabalhando com superposições) da Transormada Discreta de Fourier L ' ' ' WV L ' ' ' UT onde Y[Z \^] L J e dc b `a é -ésima raiz complexa da unidade.
QC p.18/21 Tópicos Breve histórico e descrição do trabalho O modelo quântico de computação O algoritmo de atoração de Shor Relações entre classes de complexidade
QC p.19/21 Classes de Complexidade Classe dos problemas resolvidos em : tempo polinomial no modelo clássico
g QC p.19/21 Classes de Complexidade Classe dos problemas resolvidos em : tempo polinomial no modelo clássico : tempo polinomial no modelo clássico e probabilidade de alha limitada por constante
g ij h k QC p.19/21 Classes de Complexidade Classe dos problemas resolvidos em : tempo polinomial no modelo clássico : tempo polinomial no modelo clássico e probabilidade de alha limitada por constante : espaço polinomial no modelo clássico
g ij h k k QC p.19/21 Classes de Complexidade Classe dos problemas resolvidos em : tempo polinomial no modelo clássico : tempo polinomial no modelo clássico e probabilidade de alha limitada por constante : espaço polinomial no modelo clássico : tempo polinomial no modelo quântico
g ij h k g k QC p.19/21 Classes de Complexidade Classe dos problemas resolvidos em : tempo polinomial no modelo clássico : tempo polinomial no modelo clássico e probabilidade de alha limitada por constante : espaço polinomial no modelo clássico : tempo polinomial no modelo quântico : tempo polinomial no modelo quântico e probabilidade de alha limitada por constante
g ij h k g l k k l l g g l ij h k QC p.19/21 Classes de Complexidade Classe dos problemas resolvidos em : tempo polinomial no modelo clássico : tempo polinomial no modelo clássico e probabilidade de alha limitada por constante : espaço polinomial no modelo clássico : tempo polinomial no modelo quântico : tempo polinomial no modelo quântico e probabilidade de alha limitada por constante Pode-se provar:
QC p.20/21 Direções uturas Estudo de mais algoritmos quânticos Generalização dos algoritmos exponencialmente mais rápidos (Hidden Subgroup Problem) Uso de idéias quânticas no modelo clássico Códigos resistentes a alha Mais resultados de complexidade
QC p.21/21 Fim Sítio: http://www.linux.ime.usp.br/~magal/quantum/ Carlos: cardonha@ime.usp.br Marcel: magal@ime.usp.br Cristina (orientadora): cris@ime.usp.br