Breve introdução à computação quântica/Informação quântica

Origem: Wikilivros, livros abertos por um mundo aberto.

"Qualquer processamento de informação é sempre realizado de formas físicas" – recentemente, esse enunciado aparentemente inocente, com implicações nada triviais, levou uma explosão teórica e experimental de inovações, cujos pesquisadores afirmam estarem criando uma nova disciplina fundamental: a teoria quântica da informação.[1] O estudo de questões relativas a informação, na sua forma clássica, também é recente. Na mesma época em que a ciência da computação "explodia" nos anos 1940, outra revolução tomava lugar na nossa compreensão de comunicação. Em 1948, Claude Shannon publicou o que seria as fundações da teoria moderna da informação e comunicação. Shannon desenvolveu, na teoria clássica da informação, dois teoremas básicos. O primeiro quantifica os recursos físicos necessários para se transmitir ou armazenar uma certa quantidade de informação num canal livre de ruídos. O segundo quantifica a quantidade de informação útil que pode ser transmitida através de um canal com ruídos. Para "proteger" a informação a ser transmitida num canal com ruído, códigos corretores de erro foram desenvolvidos [2]. Basicamente, o que Shannon fez foi definir matematicamente o conceito de informação. Na teoria quântica da informação faz-se o mesmo. Assim como o bit é o conceito fundamental da computação clássica e da informação clássica, a computação quântica e a informação quântica são construídos sobre um conceito análogo, o bit quântico, que será definido a seguir. É importante ressaltar que toda a modelagem matemática do conceito do bit quântico independe de sua implementação, o que fornece grande praticidade à teoria quântica em geral. Como trata-se de um modelo muito diferente do que se está acostumado (na computação clássica), será apresentada uma pequena motivação, antes do conceito de bit quântico, que delineia as propriedades quânticas e contra-intuitivas da matéria física (que são a base do poder computacional que se está a expor).

Índice

[editar] Interferência: O experimento de duas fendas

Considere o aparato físico mostrado na figura 2.

Crystal Clear app kaddressbook.png Este livro tem a seguinte tarefa pendente: Inserir a Figura 2: (a) Para as duas fendas abertas, a distribuição de probabilidades segue o padrão de interferência; (b) Com a fenda da esquerda aberta, a distribuição de probabilidades é máxima exatamente onde a trajetória balística faz colidir mais elétrons; (c) Com a fenda da direita aberta; (d) Com ambas as fendas abertas, esperaria-se obter a distribuição como sendo a soma das distribuições anteriores; (e) Com ambas as fendas abertas, o que ocorre é o padrão de interferência que oscila entre zero e a soma de distribuições esperada.

Elétrons emitidos do canhão à esquerda passam através da parede com duas fendas e colidem com a parede (fig. 2 (a)), onde suas quantidades são contadas como função da posição x por um detector móvel. Quando a fenda 2 é coberta (fig. 2 (b)), a distribuição de probabilidades para a posição do elétron é dada por P1(x), que é máxima exatamente onde a trajetória balística faria colidir mais elétrons, como esperado. Quando a outra fenda é fechada (fig. 2 (c)), a distribuição é P2(x), que é similar. Agora, para partículas normais, quando ambas as fendas estão abertas, esperaria-se obter a distribuição P12(x) = P1(x) + P2(x), a soma das distribuições anteriores (fig. 2 (d)). Entretanto, não é este o caso: estes elétrons produzem um padrão de interferência, que oscila entre zero e a soma de distribuições esperada (fig. 2 (e)). Este comportamento é análogo ao que se esperaria para ondas, ao invés de partículas, e é uma propriedade importante de sistemas quânticos. O experimento nos mostra que probabilidades são insuficientes – probabilidades são números positivos e não podem se cancelar quando somadas. Se houvessem probabilidades negativas isto funcionaria. Acontece que em mecânica quântica o que se tem são amplitudes de probabilidade φi, que são números complexos cujas normas fornecem probabilidades Pi = | φi | 2. Para o experimento de fendas duplas, a distribuição de saída é P_{12}(x) = |\phi_1(x) + \phi_2(x)|^2 = P_1(x) + P_2(x) + 2 \Re e(\phi_1(x)\phi_2(x)). As oscilações vêm do terceiro termo, de interferência [3].

O interesse está em como informação pode ser representada por um estado quântico. Para fazê-lo, será apresentado um sistema físico muito simples.

[editar] Bits quânticos

Um bit quântico ("qubit") é um sistema de dois estados, como o elétron nos dois níveis mais baixos de energia de um átomo de Hidrogênio (fig 3).


Crystal Clear app kaddressbook.png Este livro tem a seguinte tarefa pendente: Inserir a Figura 3: (a) O elétron no estado base (n = 0); (b) O elétron no estado excitado (n = 1).

O elétron tem amplitudes de probabilidade α e β de estar ou no estado base (n = 0) ou no estado excitado (n = 1), respectivamente. Poderia se dizer que o elétron não decidiu onde ele deveria estar, e então existe parcialmente em ambos os estados de energia. Uma vez que o elétron definitivamente existe, a probabilidade total deve ser um, o que significa que | α | 2 + | β | 2 = 1. Pode-se, dessa forma, representar o estado quântico de um qubit como um vetor unitário (\alpha \beta)^\top . Mas uma notação mais conveniente, que será emprestada dos físicos[Nota 1], é denotar o estado do qubit como |\psi\rangle (um |\cdot\rangle é chamado "ket", que nada mais é que uma notação para estados quânticos em mecânica quântica), que é, para nosso átomo de Hidrogênio, |\psi\rangle = \alpha|0\rangle + \beta|1\rangle. [4][5] O paradoxo do qubit é que ele parece conter uma quantidade infinita de informação, uma vez que seu estado é representado por dois graus contínuos de liberdade. Entretanto, esta conclusão é infundada, devido a uma propriedade adicional e extremamente importante de sistemas quânticos. Quando um qubit é medido, apenas um de dois resultados são obtidos: ou zero ou um. Uma medição de |\psi\rangle = \alpha|0\rangle + \beta|1\rangle resultará em 0 com probabilidade | α | 2, levando ao estado |\psi^\prime\rangle = |0\rangle,, ou em 1 com probabilidade | β | 2, levando ao estado |\psi^\prime\rangle = |1\rangle. Nota-se que o estado pós medição do sistema é um novo estado, que é consistente com o resultado da medição. Assim, de uma única medição, obtém-se apenas um único bit de informação sobre α e β – e o paradoxo está resolvido. Apenas se infinitamente muitos qubits preparados identicamente fossem medidos seria possível obter α e β completamente. Então, em certo sentido, um qubit contém grande quantidade de "informação escondida" – enquanto ele não é medido (ele se encontra em estado de sobreposição das bases). Esta é uma parte importante do que será explorado na computação quântica, como será visto adiante, considerando as propriedades de múltiplos qubits [3]. Apesar da estranheza, qubits são decididamente reais, sua existência e comportamento foram extensivamente validados por experimentos, e muitos sistemas físicos podem ser usados para se concretizar qubits. é possível realizar qubits através de duas diferentes polarizações de um fóton; do alinhamento de spin nuclear num campo magnético uniforme; ou até de dois estados de um elétron orbitando um átomo, como no nosso exemplo.

[editar] Múltiplos qubits

Um sistema quântico composto por vários qubits também é chamado de registrador quântico. Suponha agora um registrador de dois qubits. Se eles fossem representados por átomos de hidrogênio, por exemplo, então classicamente haveria quatro estados possíveis, 00, 01, 10 e 11, para os dois elétrons. Matematicamente falando, o sistema de dois qubits tem quatro estados da base computacional denotados por |00\rangle, |01\rangle, |10\rangle e |11\rangle. Como um par de qubits também pode existir em superposições destes estados, então obtêm-se coeficientes complexos associados a cada um dos estados – associa-se uma amplitude de probabilidade. Dessa forma pode-se representar o vetor de estado descrevendo os dois átomos como

|\psi\rangle = \alpha_{00}|00\rangle + \alpha_{01}|01\rangle + \alpha_{10}|10\rangle + \alpha_{11}|11\rangle,

onde \textstyle \sum_{x=\{0,1\}^2} |\alpha_x|^2 = 1 (condição de normalização). Similarmente ao caso para um qubit só, o resultado da medição de x ocorre com probabilidade | αx | 2, resultando no estado |x\rangle. Pode-se, também, medir apenas um subconjunto dos bits; o resultado é similar: medir o primeiro bit resultaria em 0 com probabilidade | α00 | 2 + | α01 | 2, resultando no estado de pós-medição

|\psi^\prime\rangle = \frac{\alpha_{00}|00\rangle + \alpha_{01}|01\rangle}{\sqrt{|\alpha_{00}|^2+|\alpha_{01}|^2}}.

Note como |\psi^\prime\rangle é re-normalizado para ter comprimento unitário. [2][3].

Um importante estado de um registrador de dois qubits é o estado de Bell ou estado de par EPR,

|\psi^\prime\rangle = \frac{|00\rangle + |01\rangle}{\sqrt{2}}.

Esse estado aparentemente inócuo é responsável por muitas surpresas na computação e na informação quântica. Ele é o ingrediente chave no teleporte quântico e na codificação super densa (que permite o envio de dois bits de informação clássica, enviando um único qubit), e é o protótipo para muitos outros estados quânticos interessantes. O estado de Bell tem a propriedade de que, depois de medir o primeiro qubit, obtêm-se dois resultados possíveis: 0 com probabilidade 1 / 2, deixando o estado pós-medição como \phi^\prime|00\rangle, e 1 com probabilidade 1 / 2, deixando o estado pós-medição como \phi^\prime|11\rangle. A medida do segundo qubit sempre retorna o mesmo resultado da medida do primeiro qubit, ou seja, os resultados de medidas estão correlatos. [6][7] Estas correlações têm sido assunto de intenso interesse e desde um famoso artigo de Einstein, Podolsky e Rosen, no qual eles foram os primeiros a apontar propriedades estranhas como o estado de Bell. As idéias deles foram tomadas e grandemente trabalhadas por John Bell, quem provou um resultado surpreendente: "as correlações de medida no estado de Bell são mais fortes do que poderia existir entre sistemas clássicos". Generalizando ainda mais, pode-se considerar um sistema de n qubits. Os estados computacionais básicos desse registrador estão na forma |x_1x_2 \ldots x_n\rangle, e então um estado quântico de tal sistema é especificado por 2n amplitudes. Para n = 500 este número é maior que o número estimado de átomos no Universo! A tentativa de armazenar todos esses números complexos não seria possível em qualquer computador clássico concebível. Em princípio, porém, a natureza manipula tal enorme quantidade de dados, até mesmo para sistemas contendo apenas poucas centenas de átomos. É como se a natureza estivesse mantendo 2500 pedaços de papel de rascunho escondidos por perto, nos quais ela executa seus cálculos enquanto o sistema evolui. Esse enorme potencial computacional é alguma coisa que se muito tentar á tomar como vantagem nos próximos anos. Mas como se pode pensar da mecânica quântica como computação?

[editar] Circuitos quânticos

A computação quântica, assim como a clássica, manipula sua informação através de portas lógicas. Algumas diferenças existem, no modelo quântico (e são elas que dão maior poder computacional para os algoritmos quânticos). A representação gráfica de circuitos clássicos é, de certa forma, próxima da realidade física do circuito implementado. Por exemplo, linhas correspondem a fios e bifurcações significam que a corrente elétrica passa por ambos os fios. Nos circuitos quânticos, os fenômenos ocorrem de outra forma, como será visto.

[editar] Notação e convenções

Para apresentar as convenções usadas em circuitos quânticos, será utilizado um circuito (porta U-controlada) em que a entrada e a saída são um estado de 2 qubits (figura 4). Aqui é apresentada, baseados na figura, as convenções em circuitos quânticos:

  • Entrada: considera-se conjuntamente os qubits de entrada, matematicamente o que é chamado de seu produto tensorial (os qubits não devem ser considerados individualmente). Figura 4: Porta quântica U-controlada.
  • Linhas horizontais: as linhas que aparecem não são necessariamente fios. Elas representam a evolução de um qubit, podendo ser apenas a passagem do tempo ou, por exemplo, o deslocamento de um fóton.
  • Sentido: o circuito descreve a evolução do sistema quântico no tempo, da esquerda para a direita. Com isso, não há sentido em aparecer retroalimentação, que pode ocorrer em um circuito clássico.
  • Linhas verticais: o segmento vertical que aparece unindo os símbolos • e U dentro de uma caixa informa que o circuito atua simultaneamente nos dois qubits. A linha vertical representa o sincronismo, e não o envio de informação. Portanto, não são permitidas nem junções, nem bifurcações de qubits.
  • Controle: o símbolo • indica que o qubit representado nessa linha é um qubit de controle, ou seja, caso esteja no estado |1\rangle, a porta U realiza a operação; caso esteja no estado |0\rangle, a porta U não realiza operação alguma. Caso o qubit de controle seja um estado superposto ou os 2 qubits estejam emaranhados, não é possível compreender o comportamento individual do qubit de controle e do qubit alvo. Deve-se considerar a ação do operador unitário, que representa todo o circuito, atuando simultaneamente nos 2 qubits.
  • Saída: os qubits que compõem a saída do circuito podem ou não ser medidos. Como o qubit inferior está sendo medido (o símbolo de medida está indicado na figura 4), o resultado será 0 ou 1.

Vistas as principais convenções, será apresentada algumas portas quânticas. Primeiramente, portas de 1 qubit. No caso clássico, há apenas uma possibilidade: a porta NOT. O mesmo não ocorre nos circuitos quânticos, como será visto.

Antes de prosseguir, deve ser feita uma observação. A importância do estudo de portas lógicas em computação quântica baseia-se no fato de que toda matriz unitária 2 \times 2 pode ser representada por um circuito quântico de 1 qubit e vice-versa. Sendo assim, a evolução no tempo de um sistema quântico isolado, dado por um qubit, pode ser representada tanto matematicamente (por uma transformação unitária) quanto logicamente (por um circuito quântico) [8].

[editar] Porta NOT quântica

No caso clássico, a porta NOT troca o 1 por 0 e vice-versa. A generalização para o caso quântico é dada por um operador X que satisfaz

X|1\rangle = |0\rangle e X|0\rangle = |1\rangle.

Com isso, verifica-se facilmente que a representação matricial do operador X é dada por

X = \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix}.

Com a porta NOT quântica, existem situações sem contrapartida no caso clássico, pois, se a entrada |\phi\rangle for uma superposição dos estados |0\rangle e |1\rangle,

|\phi\rangle = \alpha|0\rangle + \beta|1\rangle,

a saída será

X|\phi\rangle = \beta|0\rangle + \alpha|1\rangle,

A porta X é apenas uma das portas de 1 qubit, já que há infinitas matrizes unitárias 2 \times 2.

[editar] Porta CNOT quântica

Outra porta, essa atuando em estados de 2 qubits, é a contrapartida quântica do circuito clássico da porta XOR. Ela tem 2 qubits de entrada, o de controle e o alvo (figura 5). Uma porta controlada, como já foi visto (figura 4), age dependendo do valor do qubit de controle. Ela é "ativada" se o qubit de controle estiver no estado |1\rangle, e nada faz, se ele estiver no estado |0\rangle. Essa descrição é adequada apenas quando o qubit de controle está nos estados |0\rangle, ou |1\rangle. Entretanto, o que distingue a porta CNOT quântica da clássica é que, na porta CNOT quântica, os qubits alvo e de controle podem ser estados superpostos.


Crystal Clear app kaddressbook.png Este livro tem a seguinte tarefa pendente: Incluir a Figura 5: Porta quântica CNOT.

A ação da porta CNOT pode ser caracterizada pelas transformações operadas nos elementos da base computacional associada, ou seja,

\begin{matrix} |00\rangle & \rightarrow & |00\rangle,\\ |01\rangle & \rightarrow & |01\rangle,\\ |10\rangle & \rightarrow & |11\rangle,\\ |11\rangle & \rightarrow & |10\rangle. \end{matrix}

Note que é possível representar essa ação na base computacional de forma mais esquemática por

|i,j\rangle \rightarrow |i, i\oplus j\rangle,

onde i, j \in \{0, 1\} e \oplus é a adição módulo 2.[9][10]

[editar] Notas

  1. ↑ Esta notação é chamada de notação de Dirac, após o famoso físico Paul Dirac, que a inventou.

[editar] Referências

  1. ↑ Deutsch (1985)
  2. ↑ 2,0 2,1 Nielsen & Chuang (2000)
  3. ↑ 3,0 3,1 3,2 Vazirani (1997)
  4. ↑ Deutsch (2004)
  5. ↑ Deutsch (2002)
  6. ↑ Steane (2002)
  7. ↑ Deutsch & Hayden (1999)
  8. ↑ Portugal et al (2004)
  9. ↑ Ekert, Hayden & Inamori (2000)
  10. ↑ Deutsch & Ekert (1999)
Obtido em "http://pt.wikibooks.org/wiki/Breve_introdu%C3%A7%C3%A3o_%C3%A0_computa%C3%A7%C3%A3o_qu%C3%A2ntica/Informa%C3%A7%C3%A3o_qu%C3%A2ntica"