SOFTWARE DE

COMPUTACIO
N CUANTICA

Dadoqueeltratamientodelainformaci
ncunticaes notablemente distinto del
de la clsica, se necesitaran algunas
herramientas
para
construir
los
programas cunticos. Existen tres cosas
bsicas en el software cuntico: Un
conjunto
apropiado
de
puertas,
algoritmos
que
aprovechen
el
comportamiento cuntico y disponer de
mtodos apropiados para controlar los
posibles problemas que se puedan
presentar.

 Una

forma
deobtener
puertas
cunticas es la cuantizacin de las
puertas clsicas, que pasa por
reinterpretar los bits como qubits. Se
puede demostrar que el conjunto de
puertas cunticas que afectan a un
slo qubit, conjuntamente con las
puertas llamadas control-not (que
afectan a dosqubits), forman un
conjunto universal con las que se
puede construir cualquier programa
cuntico.

A pesar del esfuerzo que se ha dedicado a la

obtencin de algoritmos que aprovechen el
comportamiento cuntico, en la actualidad,
su nmero es reducido. Ya se ha mencionado
que
aunque
mediante
superposiciones
apropiadas, es posible manejar un nmero
exponencial de estados, eso no supone
queestainformacinestdisponible.Paraac
cederaesa informacin debemos medir
sobre
el
estado
colapsndolo,
y
la
informacin se pierde casi en su totalidad.
Para aprovecharlos aspectos cunticos,
debemos combinar la posibilidad del
paralelismo cuntico con la interferencia.

 Quizsessteunodelosmayoresproblem

asala hora de construir un ordenador.

Estos errores provienen de la inexorable
interaccin del ordenador con su entorno,
proceso denominado de coherencia. Se
pens
que
no
podan
existir
mtodosparaelcontroldeerrorescuntic
os,peroseha
mostradocmoesposiblecontenerloserr
oresmediante
cdigos
cunticos
correctores de errores. Estos cdigos,
detectan y corrigen estos errores, usando
sosticadas tcnicas cunticas.

Enresumen,laventajaenlapotenciadees
tas mquinas proviene del paralelismo
masivo
(exponencial)
debidoalasuperposicindeestadosenlos
qubit.Siestos
ordenadoresfueranfactiblesenlaprctica,
permitiranatacar problemas que en los
ordenadores clsicos implicaran tiempos
astronmicos.Aparte de las aplicaciones
encaminadas a la ciencia bsica, estos
ordenadores
podran
usarse
en
la
criptografa, criptoanlisis, bsquedas en
inmensas bases de datos, simulaciones
meteorolgicas, etc.

Queda
por
saber
si
elaislamientodelossistemaspermitirescapa
rallmite impuesto por el decaimiento y la
decoherencia que destruyen la mezcla cuntica
de estados. Otro de los problemas principales
es la escalabilidad, especialmente teniendo en
cuenta el considerable incremento en qubits
necesarios para cualquier clculo que implica la
correccin de errores. Para ninguno delos
sistemas actualmente propuestos es trivial un
diseo capaz de manejar un nmero lo
bastante alto de qubits para resolver problemas
computacionalmente interesantes hoy en da.

ToolSuit

Tienen la visin de una jerarqua de capas de notaciones y

herramientas que incluye los lenguajes de programacin,
compiladores, optimizadores, simuladores y herramientas
de diseo. Los lenguajes de programacin y los
compiladores en el nivel superior de ToolSuite necesitan
apoyar las abstracciones utilizadas para especicar
algoritmos cunticos y la necesidad de adaptarse a los
cambios en la tecnologa independiente y optimizaciones
dependientes como la comprensin de las nuevas
tecnologas cunticas madura. La simulacin y diseo de
herramientas en el extremo inferior necesitan incorporar
detalles de la emergente tecnologas cunticas que
nalmente aplican los algoritmos descritos en el alto nivel
de lenguaje de programacin. Las herramientas deben
equilibrar
las
compensaciones
que
implica
el
funcionamiento, minimizacin de los qubits, y las
implementaciones de tolerancia a fallos. Por estas razones,
proponer una jerarqua de capas de herramientas de
diseo con interfaces simples entre cada capa.

Benecios de una Arquitectura de

Software Abierto
Hay varios benecios de tener una arquitectura de
software en capas con interfaces bien denidas para
la computacin cuntica. En el aspecto tcnico, una
arquitectura en capas facilita herramienta interoperabilidad y hace que sea ms fcil agregar
nuevas herramientas para una ToolSuite existente.
Tambin hace que es ms fcil de mantener y aadir
mejoras a las herramientas existentes. En este
momento nuestro conocimiento de la mejor manera
de optimizar los circuitos cunticos para evitar el
ruido est limitado como es nuestra capacidad para
minimizar los errores y maximizar la velocidad.

Una
arquitectura
de
capas
permitira
a
los
investigadores experimentar con nuevos algoritmos y
mediante simulacin determinar sus benecios con
dada tecnologas cunticas antes de construir
componentes de dispositivos fsicos reales. En el
aspecto econmico, ningn grupo puede permitirse el
costo enorme de desarrollo de software requerido para
desarrollar todas las herramientas necesarias para
hacer los dispositivos cunticos. Todos los interesados
en la computacin cuntica se beneciaran de la
arquitectura de software abierta,
lo que permite una mayor participacin de la
comunidad en la creacin y uso de necesaria
herramientas. Diseadores de algoritmos cunticos
pueden explorar nuevos algoritmos en entornos ms
realistas involucrando ruido real y las limitaciones de
recursos fsicos.

Los investigadores en desarrollo cuntica, buscan

optimizaciones de circuito y pueden evaluar las
compensaciones teniendo en cuenta el ruido
cuntica
y
fsica
de
parmetros.
Los
experimentadores y los diseadores de dispositivos
pueden hacer simulaciones de importantes
algoritmos cunticos en propuestas de nuevas
tecnologas antes de hacer experimentos de
laboratorio costosos.
Las herramientas diseadoras pueden experimentar
con nuevos algoritmos y pueden evaluar su general
impacto en el proceso de diseo. Los investigadores
tambin pueden desarrollar modelos de ruido ms
renados para procedimientos de correccin de la
medida.

Modelos computacionales para la

Computacin Cuntica
Mquinas
Cuntica

de

Turing

de

la

Computacin

Computadora cuntica de Benioff (la cinta

de la MT se reemplaza por secuencias de
sistemas cunticos de 2 estados)
Computadora cuntica de Feynman (circuito
lgico combinacional cuntico)
Computadora
cuntica de Deutsch (la
primera MT Cuntica, mantiene la cinta en
superposicin de estados computacionales)

Algoritmos Cunticos

Algoritmo de Deutsch-Jozsa5 , propuesto por David

Deutsch y Richard Jozsa en 1992 y mejorado
posteriormente por Richard Cleve, Artur Ekert:
determinar si una funcin de tipo caja negra f : {0, 1}
{0, 1} es constante o balanceada. Es uno de
los primeros ejemplos de un algoritmo cuntico que
se ha demostrado que es exponencialmente ms
rpido que cualquier posible algoritmo clsico
determinista.
Algoritmo de Shor6 , propuesto por Peter Shor en
1995 descompone en factores un nmero n en
tiempo O(log(n))3 y espacio O(log(n)). Es responsable
de buena parte de la atencin que se le ha dedicado
a la computacin cuntica, por su relacin con el
problema RSA de importancia fundamental en la
criptografa.

 Algoritmo

de Grover7 , publicado por Lov

Grover en 1996, problema de utilidad
prctica
poda
ser
resuelto
ms
rpidamente que el mejor algoritmo
clsico posible. El algoritmo realiza una
bsqueda en una base de datos
desordenada con N entradas en un nmero
de pasos de orden O( n) (sublineal)
consumiendo un espacio de memoria de
orden O(log(n)) (logartmico).

Lenguajes de Programacin
Cunticos
Imperativos

Q language: Es el segundo lenguaje de

programacin imperativo cuntico implementado. Es
una extensin de
C++.
Lenguajes funcionales
*QFC Utiliza un tipo de sintaxis en diagrama
de
flujo
*QPL utiliza una sintaxis tipo texto
*QML
Basado en el lenguaje de programacin
funcional Haskell
*qGCL Quantum Guarded Command
Language
(qGCL) basado en GCL,
creado por Edsger
Dijkstra. Se trata de un
lenguaje de
especicacin de programas cunticos.

Simuladores de Computacin Cuntica

C/C++
CHP
Eqcs
Basados en GUI
Bloch Sphere Simulator of Quantum-Mechanical
gates and Spintronics
Java
Bloch Sphere Simulator of Quantum-Mechanical
gates and Spintronics
jQuantum - Quantum Computer Simulator
Quantum Algorithm Designer
Quantum Search Applet

JavaScript
jsqis - Javascript Quantum Information
Simulator
Mathematica
QDENSITY
Qmatrix
MATLAB/Octave
CS 596 Quantum Computing
Quantum Computing Functions for Matlab
(QFC)
.NET
Cove
Quantum Information Suite