Logotipo do Site Inovação Tecnológica





Informática

Pesquisa da Unicamp impulsiona campo da computação quântica

Fabio Reynol - Agência Fapesp - 25/01/2010

Pesquisadores brasileiros impulsionam campo da computação quântica
Pesquisa realizada na Unicamp utiliza a lógica paraconsistente para a criação de algoritmos e impulsiona o conhecimento para se construir o computador quântico.
[Imagem: Universidade James Madiso]

Arquitetura quântica

Velocidade de processamento maior do que o mais avançado computador atual - exponencialmente maior. Esta é uma das vantagens que se espera de uma arquitetura computacional baseada nos conceitos da física quântica.

Por enquanto, a chamada computação quântica permanece largamente fundada nas teorias.

Mas pesquisas feitas em diversos países têm avançado o conhecimento na área de forma constante, como é o caso de um trabalho feito na Universidade Estadual de Campinas (Unicamp) que acaba de dar um passo importante para a construção do computador quântico em um futuro próximo.

Informática quântica

A pesquisa, desenvolvida pelo Professor Walter Carnielli e por seu orientando de doutorado, o colombiano Juan Carlos Agudelo, dá pistas para o avanço da informática quântica ao utilizar a lógica paraconsistente como fundamento para a elaboração de algoritmos voltados a esse modelo.

A computação quântica é fundamentada em conceitos criados pela física quântica, como o da superposição (quando uma partícula está em condições contraditórias simultaneamente) e do entrelaçamento (quando a alteração em uma partícula provoca o mesmo efeito em outra que se encontra distante).

Segundo Carnielli, assim como a física clássica não apresenta resposta para situações de contradição em sistemas físicos, tampouco a lógica booleana, na qual os computadores atuais se baseiam, consegue responder a configurações em que as cláusulas sejam contraditórias.

Controle racional da contradição

A solução encontrada pelos pesquisadores foi utilizar a chamada "lógica paraconsistente", capaz de obter resultados racionais mesmo nos casos em que duas ou mais condições não possam ocorrer (na lógica clássica) ao mesmo tempo.

Por exemplo, um comando que indique virar à esquerda e à direita simultaneamente. "Ou, mais dramaticamente, a transmissão de informações contraditórias de velocidade ao computador de bordo, como no caso da queda do voo 447 da Air France. A falta de controle racional da contradição tem como consequência, num caso desses, o desligamento do piloto automático, obrigando o comandante a pilotar sem nenhum instrumento, o que é extremamente difícil", disse Carnielli.

Em sua tese de doutorado, intitulada Computação Paraconsistente: Uma Abordagem Lógica à Computação Quântica, Agudelo criou um modelo teórico que pode inspirar a criação de softwares para os computadores quânticos. "Ao elaborar circuitos paraconsistentes, simulamos uma proposta de circuitos quânticos", disse Agudelo.

Máquina de Turing quântica

O pesquisador idealizou um computador que funciona com a lógica paraconsistente.

Utilizando o esquema idealizado pelo matemático britânico Alan Turing (1912-1954), o cientista da computação esboçou uma máquina na qual corre uma fita dividida em células. A cabeça de leitura lê apenas uma célula por vez, a qual contém um sinal gráfico e um comando que corresponde a correr para a direita ou para a esquerda.

Na versão quântica, essa concepção moderna da máquina de Turing admite não um, mas um conjunto de posições que seriam inconcebíveis para a lógica clássica, como, por exemplo, um comando que faça a fita correr para a esquerda e para a direita simultaneamente. "Na lógica paraconsistente esses estados são superpostos, como se fossem empilhados", explicou Agudelo.

Criptografia quântica

Segundo Carnielli, a originalidade do trabalho está na associação da lógica paraconsistente à computação quântica. Mesmo traçando modelos iniciais básicos, eles poderão abrir caminhos para uma produção de programas para computadores quânticos.

A mera expectativa da computação quântica já tem aquecido o mercado de software, ressalta o professor da Unicamp. Universidades já começam a esboçar programas quânticos e empresas já anunciam sistemas de criptografia nesse novo paradigma.

"Os sistemas de criptografia atuais se baseiam em um código formado por um número grande que, para ser quebrado, deve ser decomposto em números primos", explicou. Quanto maior forem esses fatores primos, mais difícil será a descoberta do código.

No entanto, com o advento do modelo de processamento quântico essa criptografia tradicional será atacada com muita facilidade, estima Carnielli. "O esquema criptográfico conhecido como RSA, largamente utilizado no comércio digital, em bancos e compras com cartões de crédito pela internet, baseia-se no fato de que é computacionalmente muito difícil conseguir fatorar um número grande no produto de dois números primos", disse.

"O tempo estimado, por exemplo, para se conseguir fatorar um número de 2048 bits (chave de uma criptografia RSA) ultrapassaria a idade da Terra. Um algoritmo quântico, no entanto, realizaria essa tarefa em menos de 6 horas. Dessa forma, com os computadores quânticos as chaves RSA perderiam completamente sua eficácia.

Esse problema motivou a criação da criptografia quântica. Nessa tendência, crescem os investimentos feitos em pesquisas de criptografia quântica a fim de fazer frente aos futuros computadores e apresentar um sistema de codificação praticamente inexpugnável", disse.

Processador e mouse quânticos

Para o professor da Unicamp, as máquinas quânticas devem começar pequenas. "Antes do computador quântico, devem surgir estruturas mais simples, como o chip e o mouse quântico", indicou.

Para tanto, é fundamental uma engenharia de software que contemple o novo paradigma. Por conta disso, o trabalho feito na Unicamp tem chamado a atenção da comunidade internacional.

Carnielli ressalta que a computação quântica é uma nova fronteira a ser explorada do ponto de vista científico, industrial e comercial. "Aspectos essenciais a serem explorados são as correlações não-clássicas e a grande variedade de graus de liberdade em alto grau de desempenho computacional. A questão é estratégica a ponto de não poder ser negligenciada em nenhum aspecto da computação, ainda mais quando se têm presentes as limitações impostas pela chamada Lei de Moore", disse.

Projeto ambicioso

Um projeto ambicioso envolvendo um time de especialistas e parceiros estratégicos, liderado por Waldyr Alves Rodrigues Jr. (Steriwave Quantum Computing UK-Brazil e Unicamp), Dario Sassi Thober (Centro de Pesquisas Avançadas Wernher von Braun, de Campinas) e Carnielli pretende atacar a questão sob vários aspectos, incluindo matemática, física, lógica, engenharia de processos e e-comércio, focando em especial as áreas de lógica quântica e criptografia quântica e suas aplicações comerciais e industriais.

"O projeto, que envolve alto custo e considerável complexidade, encontra-se em fase de negociação para financiamento por parte de empresas estrangeiras, prevendo um prazo de implantação inicial de dois anos e a criação de empresas incubadas", explicou Carnielli.

Bibliografia:

Artigo: Paraconsistent Machines and their Relation to Quantum Computing
Autores: Juan C. Agudelo, Walter Carnielli
Revista: Journal of Logic and Computation
Data: November 10, 2009
Vol.: Published online
DOI: 10.1093/logcom/exp072
Seguir Site Inovação Tecnológica no Google Notícias





Outras notícias sobre:
  • Computação Quântica
  • Software e Programação
  • Criptografia
  • Supercomputadores

Mais tópicos