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

"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. 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 . 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).

Interferência: O experimento de duas fendas

Considere o aparato físico mostrado na figura 2. Predefinição:Tarefa

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 $P_1(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 é $P_2(x)$, que é similar. Agora, para partículas normais, quando ambas as fendas estão abertas, esperaria-se obter a distribuição $P_{12}(x)=P_1(x)+P_2(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 ${\varphi }_i$, que são números complexos cujas normas fornecem probabilidades $P_i=|{\varphi }_i{|}^2$. Para o experimento de fendas duplas, a distribuição de saída é $P_{12}(x)=|{\varphi }_1(x)+{\varphi }_2(x){|}^2=P_1(x)+P_2(x)+2\mathrm{\Re }e({\varphi }_1(x){\varphi }_2(x))$. As oscilações vêm do terceiro termo, de interferência .

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.

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).

O elétron tem amplitudes de probabilidade $\alpha$ e $\beta$ 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 $|\alpha {|}^2+|\beta {|}^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, é denotar o estado do qubit como $|\psi ⟩$ (um $|\cdot ⟩$ é 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 ⟩=\alpha |0⟩+\beta |1⟩.$ 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 ⟩=\alpha |0⟩+\beta |1⟩$ resultará em $0$ com probabilidade $|\alpha {|}^2$, levando ao estado $|{\psi }^{\prime }⟩=|0⟩,$, ou em $1$ com probabilidade $|\beta {|}^2$, levando ao estado $|{\psi }^{\prime }⟩=|1⟩$. 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 $\alpha$ e $\beta$ – e o paradoxo está resolvido. Apenas se infinitamente muitos qubits preparados identicamente fossem medidos seria possível obter $\alpha$ e $\beta$ 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 . 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.

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⟩,$ $|01⟩,$ $|10⟩$ e $|11⟩.$ 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

(1)

$|\psi ⟩={\alpha }_{00}|00⟩+{\alpha }_{01}|01⟩+{\alpha }_{10}|10⟩+{\alpha }_{11}|11⟩,$

onde $\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 $|{\alpha }_x{|}^2$, resultando no estado $|x⟩$. Pode-se, também, medir apenas um subconjunto dos bits; o resultado é similar: medir o primeiro bit resultaria em $0$ com probabilidade $|{\alpha }_{00}{|}^2+|{\alpha }_{01}{|}^2$, resultando no estado de pós-medição

(2)

$|{\psi }^{\prime }⟩=\frac{{\alpha }_{00}|00⟩+{\alpha }_{01}|01⟩}{\sqrt{|{\alpha }_{00}{|}^2+|{\alpha }_{01}{|}^2}}.$

Note como $|{\psi }^{\prime }⟩$ é re-normalizado para ter comprimento unitário. .

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

(3)

$|{\psi }^{\prime }⟩=\frac{|00⟩+|01⟩}{\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 ${\varphi }^{\prime }|00⟩,$ e $1$ com probabilidade $1/2$, deixando o estado pós-medição como ${\varphi }^{\prime }|11⟩.$ A medida do segundo qubit sempre retorna o mesmo resultado da medida do primeiro qubit, ou seja, os resultados de medidas estão correlatos. 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_1{x}_2\dots x_n⟩,$ e então um estado quântico de tal sistema é especificado por $2^n$ 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 $2^{5}00$ 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?

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.

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⟩,$ a porta U realiza a operação; caso esteja no estado $|0⟩,$ 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) .

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

(4)

$X|1⟩=|0⟩$ e $X|0⟩=|1⟩.$

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

(5)

$X=\left[\begin{array}{cc}0& 1\\ 1& 0\end{array}\right].$

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

$|\varphi ⟩=\alpha |0⟩+\beta |1⟩,$

a saída será

$X|\varphi ⟩=\beta |0⟩+\alpha |1⟩,$

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

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⟩,$ e nada faz, se ele estiver no estado $|0⟩.$ Essa descrição é adequada apenas quando o qubit de controle está nos estados $|0⟩,$ ou $|1⟩.$ 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.

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

$\begin{array}{ccc}|00⟩& \to & |00⟩,\\ |01⟩& \to & |01⟩,\\ |10⟩& \to & |11⟩,\\ |11⟩& \to & |10⟩.\end{array}$

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

$|i,j⟩\to |i,i\oplus j⟩,$

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