Escolar Documentos
Profissional Documentos
Cultura Documentos
Resumo
1
1 Introdução
2
Quântica. Estes últimos, porém, requerem um conhecimento prévio mais aprofundado
do tema. Pretendemos, neste trabalho, mesclar essas duas abordagens.
2 Embasamento Teórico
2.1 História
3
A grande notoriedade da Computação Quântica, entretanto, ocorreu em 1994, quando
Shor apresentou algoritmos quânticos eficientes para os problemas de fatoração em nú-
meros primos e para se encontrar o logaritmo discreto [34]. Esses dois problemas são
muito importantes pois alguns dos métodos criptográficos mais utilizados atualmente
assumem que não há uma forma eficiente de resolvê-los. Portanto, existindo um com-
putador quântico, este tipo de criptografia seria facilmente quebrado.
Outro algoritmo importante para computação quântica foi o algoritmo de buscas
apresentado por Grover [19]. Procurar um elemento em uma base de dados não orde-
nada de n elementos necessita de tempo O(n) no pior caso, tanto classicamente quanto
probabilisticamente. Grover apresentou um algoritmo quântico que realiza tal busca
√
em tempo O( n). Tal ganho não é exponencial, porém a aplicabilidade do resultado
é muito importante, pois pode-se conseguir uma aceleração quadrática, portanto subs-
tancial, na solução de problemas da classe NP.
Nos anos 2000, novos algoritmos quânticos foram desenvolvidos, alguns utilizando
os algoritmos anteriores como submódulos [15] [2] [21] [5] [38] [37], outros utilizando
novas técnicas [4]. Foram descobertos também novos métodos para se encontrar limi-
tantes quânticos para vários problemas, o que veio auxiliar no avanço dos estudos na
área de teoria de complexidade computacional [6] [3].
Nesta subseção, apresentamos uma breve introdução aos circuitos quânticos, muito
usados no desenvolvimento de algoritmos quânticos.
4
2-dimensional. Um qubit pode ser descrito como um elemento do espaço de Hilbert
complexo 2-dimensional sobre o qual, arbitrariamente, escolhemos uma base ortonor-
mal: | 0i ≡ 10 e | 1i ≡ 01 . Os estados que um qubit pode assumir são então uma
superposição normalizada dos dois elementos da base:
Uma consequência direta desta definição é que um qubit pode assumir um número
infinito de estados. Porém, diferente dos bits clássicos, quando observamos o valor de
um qubit | ψi, efetuando uma medição, teremos | 0i com probabilidade |α|2 ou | 1i com
probabilidade |β|2 , e o qubit colapsa para o estado correspondente. Portanto, ainda
que o número possível de estados seja infinito, não é possível diferenciá-los com um
número finito de medições.
Podemos, assim como na versão clássica, imaginar um sistema com n qubits, que
seria representado por um elemento do espaço de Hilbert 2n -dimensional, caracterizado
pelo produto tensorial dos n espaços de Hilbert de cada qubit. O sistema resultante terá
uma base computacional com 2n elementos, representadas por | 000....000i, | 000...001i,
..., | 111...110i, | 111...111i. Chamaremos esse conjunto de qubits de um registrador
quântico.
Os estados de um registrador quântico são formados por superposições dos 2n es-
tados da base e, da mesma forma que no caso de um único qubit, a cada elemento da
base computacional corresponderá uma amplitude complexa, sendo que a soma dos
quadrados das normas das amplitudes deve ser unitário. Podemos resumir essas in-
formações em
X X
| ψi = ai | ii, onde ai ∈ C, i ∈ {0, 1}n , e |ai |2 = 1.
i∈{0,1}n i∈{0,1}n
Podemos observar que numa abordagem mais direta para simular um sistema quân-
5
tico classicamente, seria necessário armazenar o valor da amplitude de cada elemento
da base. Com isso, a quantidade de memória necessária cresce exponencialmente em
relação ao número de qubits no sistema. Sem mencionar o fato de que um número
complexo ai é representado por um par de números reais, e números reais não podem
ser todos completamente especificados em um computador digital (ou em uma Má-
quina de Turing). Por esse motivo, suspeita-se que sistemas quânticos não podem ser
representados em computadores clássicos sem incorrer em um custo computacional
exponencial.
6
1 1 1
H=√ .
2 1 −1
Para registradores quânticos com mais qubits , pode-se aplicar a porta de Hadamard
a cada um dos bits individualmente. Isto produz o mesmo efeito que a porta de Walsh-
Hadamard, representada pela matriz Wn , onde o valor da linha i e coluna j é:
1
Wn (i, j) = (−1)i·j √ .
2n
a b
U =
c d
a transformação desejada sobre o qubit alvo. Então a porta controlada, c(U ), seria re-
presentada por
1 0 0 0
0 1 0 0
c(U ) = .
0 0 a b
0 0 c d
7
Portas controladas aparecem em vários algoritmos quânticos. Veremos a seguir
uma porta controlada especial.
Porta de Tofolli. A Porta de Tofolli ou a porta CCNOT é uma porta quântica de 3
qubits que utiliza os 2 primeiros como controladores. Quando ambos tiverem o valor
| 1i, o valor do terceiro qubit é invertido.
A Porta de Toffoli pode ser representada pelo mapeamento
| ai | bi | ci →| ai | bi | c ⊕ abi.
Uf :| xi | yi →| xi | y ⊕ f (x)i,
8
lelismo quântico. Como o estado de um registrador quântico reflete a superposição das
amplitudes dos elementos da base computacional do sistema, é possível aplicar uma
operação sobre todos esses elementos ao mesmo tempo e, assim, obter uma superpo-
sição dos resultados da operação sobre os elementos da base computacional. Como
o algoritmo irá tratar essa superposição de resultados para extrair a informação dese-
jada varia de caso para caso. Porém, fica claro que esse é um grande diferencial da
computação quântica perante a computação clássica.
Vários algoritmos quânticos e técnicas para desenvolvimento de algoritmos quân-
ticos foram desenvolvidos até hoje, e a explicação detalhada de todos estes é inviável
dada a limitação de espaço desta proposta. Vamos, então, comentar brevemente sobre
os mais importantes.
Algoritmos de Shor. O grande salto da Computação Quântica se deu quando Shor
propôs algoritmos quânticos que computam fatores primos de grandes números e que
calculam o logaritmo discreto de um número, ambos com complexidade polinomial
[34]. Os melhores algoritmos clássicos conhecidos até o momento para resolver esses
problemas apresentam complexidade exponencial em tempo. Portanto, um compu-
tador quântico faria com que problemas hoje considerados intratáveis pudessem ser
resolvidos de forma eficaz. Estes problemas são importantes pois são o cerne dos prin-
cipais métodos criptográficos em uso hoje em dia.
Algoritmo de Grover. O Algoritmo de Grover resolve o problema de buscas em
um banco de dados desordenado, apresentando um ganho quadrático em relação aos
algoritmos clássicos. O ganho não é exponencial, como no caso dos algoritmos de Shor,
porém é possível aplicar seu resultado em muitos problemas importantes, inclusive a
todos os problemas da classe NP.
Passeios quânticos. Análogo quântico aos passeios aleatórios, os passeios quânti-
cos descrevem o movimento de um caminhante condicionado a uma moeda quântica,
e tendo sua posição definida por uma sobreposição de estados. Um grande diferencial
dos passeios quânticos é que permitem trabalhar sobre estruturas muito conhecidas
como uma linha ou, mais genericamente, sobre um grafo qualquer. Diversos algorit-
9
mos quânticos foram desenvolvidos utilizando o conceito de passeios quânticos [28]
[27] [4] [23]. Alguns deles apresentam um ganho exponencial em complexidade de
tempo em relação aos algoritmos clássicos.
2.4 Computabilidade
10
2.5 Complexidade computacional
onde P e BPP são as classes de problemas que podem ser resolvidos de forma eficiente
nos modelos computacionais determinísticos e probabilísticos, respectivamente, e PS-
PACE é a classe de problemas que podem ser resolvidos utilizado-se uma quantidade
de memória de tamanho polinomial em relação ao tamanho da entrada do problema,
no modelo computacional clássico.
Um importante problema em aberto em teoria da computação é a relação exata
entre as classes P e PSPACE. O estudo da complexidade quântica ganha relevância,
pois BQP 6= BPP implicaria em P 6= PSPACE. Ou seja, se for encontrado um problema
que pode ser resolvido de maneira eficiente em computadores quânticos, mas não em
?
modelos probabilísticos (ou determinísticos), o problema P = PSPACE, em aberto há
décadas, estaria resolvido.
Outro problema em aberto de grande importância é a relação entre as classes BQP e
NP. Esta última pode ser entendida como a classe de problemas para os quais pode-se
verificar certificados de soluções no modelo determinístico e de maneira eficiente. A
11
importância deste problema reside no fato de que há muitos problemas importantes em
NP os quais não se sabe se podem ser resolvidos de maneira eficiente classicamente.
Então, descobrir a relação entre essas duas classes de complexidade é equivalente a
descobrir se um computador quântico pode ou não resolver tais problemas de maneira
eficiente.
3 Proposta
Nesta seção apresentamos os objetivos desta proposta e a abordagem que será uti-
lizada para alcançá-los. Finalizamos com uma relação comentada da bibliografia perti-
nente, seguida de um cronograma de execução.
3.1 Objetivo
12
item (i) levam a alguns dos resultados mais recentes sobre algoritmos quânticos que
apresentam ganho exponencial em complexidade de tempo em relação a algoritmos
clássicos. Já no item (ii), serão estudados pontos referentes aos limites do poder com-
putacional dos modelos quânticos.
Durante os estudos compreendidos na primeira fase serão levantados alguns tópi-
cos sobre os quais será desenvolvido um estudo mais aprofundado na segunda fase.
Pretende-se, em um primeiro momento, aprofundar os tópicos listados sob o item (ii).
Não se espera, entretanto, a resolução de conjecturas que resistem há décadas. Po-
rém, pretende-se um entendimento completo dos temas básicos de suporte, de forma a
alcançar o estado da arte em tópicos específicos. Nesta segunda fase pretende-se, tam-
bém, melhor sintetizar alguns tópicos avançados ou mesmo obter novos resultados
parciais.
O projeto como um todo possui um cunho eminentemente teórico, e terá como um
de seus resultados a escrita de uma monografia, em língua portuguesa, abordando
em detalhes os tópicos estudados. As seções referentes à primeira parte do trabalho
contribuirão para uma introdução à Computação Quântica sob as lentes da Teoria da
Computação. O texto referente à segunda parte do trabalho irá aprofundar alguns
temas pouco explorados na literatura da área em língua portuguesa.
13
consolidar os conhecimentos adquiridos.
Pretende-se também realizar um estágio de pesquisa no exterior em algum centro
de excelência na área dos tópicos sobre os quais será feito um estudo aprofundado.
O suporte computacional necessário ao projeto será suprido satisfatoriamente pelos
laboratórios do Instituto de Computação da Unicamp. A literatura indicada poderá ser
obtida nas bibliotecas da Unicamp, da USP, no portal de periódicos da Capes e na
internet.
14
zirani [35], sobre a complexidade computacional quântica, contém os principais pontos
iniciais para um estudo sobre este tipo de complexidade computacional abstrata.
O livro de Nielsen [31], apesar de bem amplo, enfoca muitos tópicos sob aspectos
físicos. Será utilizado como suporte e consulta para assuntos específicos.
A bibliografia básica para a segunda etapa do projeto será definida e refinada du-
rante o desenvolvimento da primeira fase, e consistirá de artigos especializados em
cada área abordada.
Esta seção descreve as atividades e suas respectivas durações, nas duas fases do
projeto como comentado na seção 3.1. Destaca-se também que durante a Fase II, pretende-
se realizar um estágio de pesquisa no exterior, como citado na seção 3.2.
3.4.1 Fase I
15
(5) Dissertação e relatórios. Escrita das seções referentes à parte estudada na
primeira fase e de relatórios anuais para a Fapesp.
Duração: 3 meses.
3.4.2 Fase II
4 Benefícios ao candidato
16
amadurecimento acadêmico do candidato para que possa prosseguir seus estudos em
programas de doutorado.
Referências
[2] A. Ambainis e R. Spalek. Quantum algorithms for matching and network flow.
Em Proceedings of the 23rd International Symposium on Theoretical Aspects of Computer
Science, pág. 172–183. Springer LNCS, 2006.
[4] Andris Ambainis. Quantum walks and their algorithmic applications. Internatio-
nal Journal of Quantum Information, 1:507, 2003.
[5] Andris Ambainis e Robert Špalek. Quantum algorithms for matching and network
flows. Em Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer
Science, STACS’06, pág. 172–183, Berlin, Heidelberg, 2006. Springer-Verlag.
[6] Robert Beals, Harry Buhrman, Richard Cleve, Michele Mosca, e Ronald de Wolf.
Quantum lower bounds by polynomials. J. ACM, 48(4):778–797, 2001.
[9] Harry Buhrman, Ronald de Wolf, Christoph Dürr, Mark Heiligman, Peter H"yer,
Frédéric Magniez, e Miklos Santha. Quantum algorithms for element distinctness.
Em Proceedings of the 16th Annual Conference on Computational Complexity, CCC ’01,
pág. 131–, Washington, DC, USA, 2001. IEEE Computer Society.
17
[10] C. H. Cardonha. Sistemas interativos de prova clássicos e quânticos. Dissertação
de Mestrado, Universidade de São Paulo, 2006.
[12] D. Deutsch. Quantum theory, the Church-Turing principle and the universal
quantum computer. Proceedings of the Royal Society of London A, 400:97–117, 1985.
[15] C. Dürr e P. Høyer. A quantum algorithm for finding the minimum. CoRR, quant-
ph/9607014, 1996.
[19] Lov K. Grover. A fast quantum mechanical algorithm for database search. Em Pro-
ceedings of the twenty-eighth annual ACM symposium on Theory of computing, STOC
’96, pág. 212–219, New York, NY, USA, 1996. ACM.
18
[22] P. Kaye, R. Laflamme, e M. Mosca. An introduction to quantum computing. Oxford
University Press, 2007.
[26] Ming Li, John Tromp, e Paul Vitanyi. Reversible simulation of irreversible compu-
tation. Em Physica D, pág. 301–306, 1996.
[30] Cristopher Moore e James P. Crutchfield. Quantum automata and quantum gram-
mars. Theor. Comput. Sci., 237:275–306, April 2000.
[31] M.A. Nielsen e I.L. Chuang. Quantum computation and quantum information. Cam-
bridge Series on Information and the Natural Sciences. Cambridge University
Press, 2000.
19
[33] R. Portugal, C.C. Lavor, L.M. Carvalho, e N. Maculan. Uma introdução à computação
quântica. SBMAC, 2004.
[34] P W Shor. Algorithms for quantum computation: discrete logarithms and facto-
ring. Proceedings 35th Annual Symposium on Foundations of Computer Science, 35:124–
134, 1994.
[37] N. S. Volpato Filho e A. V. Moura. An O(n3/4 log 2 n) quantum algorithm for the 1-
dimensional closest pair problem. Em Workshop-Escola de Computaćão e Informaćão
Quântica, 2006.
[38] N. S. Volpato Filho e A. V. Moura. A quantum algorithm for finding the minimum
pair. Em Workshop-Escola de Computaćão e Informaćão Quântica, 2007.
[39] N.S. Yanofsky e M.A. Mannucci. Quantum computing for computer scientists. Cam-
bridge University Press, 2008.
[40] Andrew Chi-Chih Yao. Quantum circuit complexity. Em 34th Annual Symposium
on Foundations of Computer Science, 3-5 November 1993, Palo Alto, California, USA,
pág. 352–361. IEEE, 1993.
20