La computacin cuntica

Qu es la computacin cuntica?
La computacin cuntica nace con el objetivo de combinar las
propiedades de la fsica y las ciencias computacionales para solucionar
problemas de computacin.
La base terica de la computacin tradicional est basada en saber usar
unos y ceros para resolver problemas. Se utilizan los transistores como
elemento principal, de forma que las diferencias de energa que existan en
l son unos y ceros lgicos. Sin embargo, en la computacin cuntica, se
reduce la escala del elemento primario, lo que conlleva una serie de
efectos cada vez ms obvios.
Una parte bsica de la computacin cuntica es estudiar las consecuencias
de dichos efectos en la computacin tradicional. Dichos estudios fueron
los que llevaron a los cientficos a emplearlos para sacar provecho, de tal
manera que fsicos y comput logos (principalmente tericos) comenzaron
a crear diversas hiptesis basadas en la afirmacin de que a partir de las
leyes de la mecnica cuntica se podran desarrollar nuevos
planteamientos en la teora y procesamiento de la informacin. Resulta
obvio pensar que para poder aplicar estas teoras cunticas necesitaremos
obtener una computadora cuntica.
Hasta hoy da, los componentes de hardware han estado siendo
miniaturizados hasta llegar a conseguir nano circuitos. Sin embargo,
vamos a alcanzar un punto en el que esta miniaturizacin sea tal que no se
pueda avanzar ms en este aspecto. En ese momento tendr que entrar
en juego la mecnica cuntica.
Origen de la computacin cuntica
A medida que evoluciona la tecnologa, aumenta la escala de integracin y
caben ms transistores en el mismo espacio; as se fabrican microchips
cada vez ms pequeos, y es que, cuanto ms pequeo es, mayor
velocidad de proceso alcanza el chip. Sin embargo, no podemos hacer los
chips infinitamente pequeos. Hay un lmite en el cual dejan de funcionar
correctamente. Cuando se llega a la escala de nanmetros, los electrones
se escapan de los canales por donde deben circular. A esto se le
llama efecto tnel.

Una partcula clsica, si se encuentra con un obstculo, no puede

atravesarlo y rebota. Pero con los electrones, que son partculas cunticas
y se comportan como ondas, existe la posibilidad de que una parte de
ellos pueda atravesar las paredes si son demasiado finas; de esta manera
la seal puede pasar por canales donde no debera circular. Por ello, el
chip deja de funcionar correctamente.
En consecuencia, la computacin digital tradicional no tardara en llegar a
su lmite, puesto que ya se ha llegado a escalas de slo algunas decenas de
nanmetros. Surge entonces la necesidad de descubrir nuevas tecnologas
y es ah donde entra la computacin cuntica en escena.
La idea de computacin cuntica surge en 1981, cuando Paul Benioff
expuso su teora para aprovechar las leyes cunticas en el entorno de la
computacin. En vez de trabajar a nivel de voltajes elctricos, se trabaja a
nivel de cuanto. En la computacin digital, un bit slo puede tomar dos
valores: 0 1. En cambio, en la computacin cuntica, intervienen las
leyes de la mecnica cuntica, y la partcula puede estar en superposicin
coherente: puede ser 0, 1 y puede ser 0 y 1 a la vez (dos
estados ortogonales de una partcula subatmica). Eso permite que se
puedan realizar varias operaciones a la vez, segn el nmero de qubits.
El nmero de qubits indica la cantidad de bits que pueden estar en
superposicin. Con los bits convencionales, si tenamos un registro de tres
bits, haba ocho valores posibles y el registro slo poda tomar uno de esos
valores. En cambio, si tenemos un vector de tres qubits, la partcula puede
tomar ocho valores distintos a la vez gracias a la superposicin cuntica.
As, un vector de tres qubits permitira un total de ocho operaciones
paralelas. Como cabe esperar, el nmero de operaciones
es exponencial con respecto al nmero de qubits.
Para hacerse una idea del gran avance, un computador cuntico de 30
qubits equivaldra a un procesador convencional de 10 teraflops (millones
de millones de operaciones en coma flotante por segundo), cuando
actualmente las computadoras trabajan en el orden de gigaflops (miles de
millones de operaciones).

Caractersticas
Mientras que en la computacin que usamos hoy en da, cada bit puede
presentarse en estados alternativos y discretos a la vez, en la computacin
cuntica cada bit llega a estar en mltiples estados en un mismo instante.

Gracias a esto, podremos llegar a reducir exponencialmente el tiempo

empleado por los algoritmos actuales.
Existe una arquitectura muy parecida a las que tenemos actualmente, que
ha tenido mucho xito en el mbito terico y cuya realizacin depende de
la futura implementacin de una computadora cuntica.
Los cientficos cunticos han logrado enormes avances tericos al
conseguir demostrar que es factible la reduccin drstica de los recursos
computacionales que se requieren en la ejecucin de algoritmos, algunos
de los cuales requieren muchsimo poder de cmputo en las
computadoras ms avanzadas que existen hoy en da. Algunos ejemplos
desarrollados tericamente con mucho xito son la anteriormente
mencionada bsqueda de factores de nmeros primos, o la bsqueda en
bases de datos no ordenadas.
La base terica de la computacin cuntica se basa en las interacciones
del mundo atmico, as como en futuras implementaciones de
computadoras cunticas, obtenindose por el momento resultados muy
alentadores. Adems, es uno de los mtodos con mayor futuro debido a
que ofrece una gama de prestaciones enormes, pudiendo llegar a duplicar
los dispositivos de almacenamiento ms avanzados.
Para entender esto ltimo hemos de tener en cuenta que los qubits
pueden representar cuatro nmeros al mismo tiempo (en lgica binaria
slo se permite un 1 o un 0 para un nico bit), de ah esta duplicacin de
capacidad, no slo de las memorias o dispositivos de almacenamiento
secundario, sino tambin del resto de componentes como
microprocesadores, tarjetas de sonido, de video lo que conllevara
adems un aumento de la velocidad de estos microprocesadores.
El qubit
Es el elemento bsico de la computacin cuntica. Su nombre viene dado
por sus siglas: quantum bit, y representa ambos estados (0 y 1)
simultneamente, dos estados ortogonales de una subpartcula atmica.
Un vector de n qubits representa a la vez 2n estados, de forma que un
vector de dos qubits representara los estados 00, 01, 10 y 11. Con dos
estados discretos distintos, cualquier sistema cuntico puede servir como
qubit, un spin de electrn que apunta arriba o abajo, o un spin de fotn
con polarizacin horizontal o vertical.
Entanglement
Debido a este fenmeno, si dos partculas son generadas en el mismo
proceso, permanecen relacionadas entre s, (por ejemplo, la

desintegracin en un positrn y un electrn), de tal forma que no se

pueden describir de forma aislada los subsistemas que forman. En el
momento en el que una de las dos partculas cambia de estado, repercute
en la otra. Esto se produce al intentar medir el estado de una de ellas.
Tele transportacin cuntica
Fue descrita por Stean como la posibilidad de transmitir qubits sin enviar
qubits?. Mientras que en la computacin tradicional para transmitir bits
estos son clonados/copiados y posteriormente enviados por diversos
medios de transmisin en la computacin cuntica esto no es posible.
A la hora de enviar un qubit, el receptor no llegar a saber cul era su
estado anterior con certeza, pues como hemos comentado anteriormente,
cualquier intento de medirlo produce una modificacin en dicho estado,
de tal manera que se pierde, siendo ya imposible recuperarlo. Sin
embargo, podemos solucionar este problema a travs del fenmeno del
entanglement? Para ello, lo que se hace es enredar los qubits del emisor
y el receptor, de tal modo que el qubit del emisor se transmite
desapareciendo del emisor, y llegando al receptor el qubit
teletransportado.
Dicha teletransportacin se produce por el denominado efecto EPR,
mediante el cual tras enredar los dos qubits en el emisor (junto al bit
cuntico original que deseamos transmitir) y receptor, y posteriormente
separarlos, al realizar la lectura del estado original, estos cambian su
estado a otro cualquiera, de tal manera que la informacin es enviada al
receptor, que la utiliza para tratar su bit, de forma que ste acaba siendo
idntico al original.
El paralelismo cuntico
Gracias a la superposicin cuntica, utilizando puertas lgicas cunticas,
podemos llegar a conseguir un paralelismo, en clculos, exponencial. Esto
es debido a que a diferencia de los bits convencionales, los bits cunticos
pueden existir en un estado de superposicin.
Arquitectura cuntica
Lmites de los circuitos electrnicos
Con el paso de los aos, la densidad de los circuitos electrnicos ha
aumentado de forma imparable sobre todo debido a la miniaturizacin del
tamao de los componentes. Esto ha llevado a los fsicos a plantearse si
existe un lmite al proceso de miniaturizacin, viendo la solucin a ste
cuestin en la mecnica cuntica.

En los dispositivos actuales la corriente obedece a la fsica clsica. El gran

torrente de electrones que la componen hace que se tienda a considerarla
como un fluido homogneo, ms si tenemos en cuenta que las distancias
entre corrientes son demasiado grandes para que suceda nada ajeno a la
teora newtoniana. Aun as, tras pasar un tamao mnimo los electrones
muestran su carcter individual y el comportamiento cuntico propio de
las partculas atmicas de forma que, sin importar los aislantes que se
utilicen, algunos electrones se movern, gracias al "efecto tnel", entre las
distintas lneas de corriente, dndose lugar a fugas que interfieren en el
correcto funcionamiento del circuito. Esto hace que, de momento, el uso
de la mecnica cuntica en los microcircuitos no sea muy productivo.
Por otra parte se habla de algunos dispositivos atmicos y moleculares
basados en nuevas tecnologas: memorias basadas en tomos excitados
individualmente y medidos por laser, nanomquinas que actuan como
pequeas calculadoras agregadas a molculas La reduccin de tamao
de estos dispositivos ofrece una mayor densidad de informacin y
velocidad, aunque no son aquellos en los que se basa la computacin
cuntica.
El secreto de la computacin cuntica radica en la lgica implementada en
los dispositivos, no en su estructura fsica. Esta lgica no se basa en la
fsica newtoniana clsica, sino que usa propiedades cunticas. A fin de
realizar una implementacin cuntica correcta, se deben cumplir cinco
preceptos:
Es necesario un sistema de qubits.
Estos deben ser direccionables individualmente, interactuando entre si
para formar compuertas lgicas de propsito general.
Se debe poder inicializar las compuertas.
Se debe tener la posibilidad de extraer los resultados computacionales.
Es necesario un tiempo de coherencia duradero.
La arquitectura de estos computadores es similar a la de las
computadoress tradicionales, aunque incluyendo algunos elementos de la
computacin cuntica. Oskin et al propone una arquitectura formada por
una ALU cuntica, memoria cuntica, y un planificador dinmico.
Memoria cuntica
En el tipo de computadoras que tratamos, la memoria es un elemento
vital. A fin de que su funcionamiento no de lugar a fallos, Oskin et al
idearon una unidad especial situada en cada bando de memoria que se

encarga de actualizarlo. Esta unidad actualiza peridicamente los bits

individuales mediante algoritmos de deteccin y correccin de errores.
Tele transportadora de cdigo
La teletransportadora de cdigo de memoria a ALU ofrece nuevos usos a
la teletransportacin cuntica convencional, proporcionando un
mecanismo general para ejecutar operaciones de forma simultnea a la
vez que se transportan los datos cunticos.
Esto se usa para correccin de errores en los codificadores de cdigo de
origen y destino. En ese momento. El emisor y el receptor ejecutan qubits
lgicos equivalentes en la operacin de teletransportacin en cada
terminal del par "enredado" (entangled).
Planificador dinmico
Un procesador clsico dedicado, el elemento principal del planificador
dinmico, fue propuesto por Oskin et al. Su funcionamiento comienza con
la ejecucin de un algoritmo de planificacin dinmico, parte de
operaciones cunticas lgicas junto con construcciones clsicas de control
de flujo y las traduce dinmicamente a operaciones individuales de qubits
fsicos. La definicin de computadoras cunticas con un mayor nivel de
aceptacin es la expuesta por Beth, acogida de forma positiva por la
mayora de la comunidad cientfica. Este la concibe como un sistema de
circuitos cunticos que actua en un espacio complejo 2n-dimensional de
Hilbert, un espacio de estados. El circuito es una secuencia de
conversiones unitarias seguido por una medicin. Las conversiones,
denominadas compuertas cunticas, son controladas por un computador
convencional. El espacio de estados de una computadora cuntica posee
una estructura similar a aquella de los espacios de un vector Hermitian.
Esto permite la superposicin simultnea de estados bsicos ortogonales
(los cuales corresponden a estados clsicos "0" y "1") con posibilidad de
interferencia constructiva y destructiva entre diferentes rutas de
computacin. Este principio permite el uso de los estados entrelazados.
Algoritmos y aplicaciones
Clasificacin de problemas
La definicin que le podramos asignar a la ciencia de la computacin es:
disciplina que se encarga de la bsqueda de algoritmos para la resolucin
de problemas, con independencia del hardware en el que se implementen
estos algoritmos. Ya intentamos darle una definicin a algoritmo en una
de las clases de Lgica y Computabilidad, fundamentalmente lo podemos
ver como una receta (una serie de pasos ordenados y concretos) con la

que cocinamos los datos de entrada con el fin de obtener una solucin a
nuestra pregunta.
Para comprender las ventajas que proporciona la computacin cuntica,
debemos partir de si el problema que nos estamos planteando es posible
hacerlo y cunta dificultad conlleva, antes de pasar a cmo hacer las
cosas. Primeramente realizaremos una clasificacin basada en el proceso
de resolucin, de tal forma que obtendremos la solucin en un nmero
variable de pasos, dependiendo de la dificultad del problema. En cuanto al
tiempo que le llevar no depender nicamente de la dificultad del
problema, sino tambin de la informacin que proporcionan los datos de
entrada. Veamos a continuacin dos algoritmos expresados mediante una
frmula que calcula el nmero de pasos necesarios para la obtencin de la
solucin mediante la informacin proporcionada por los datos iniciales.
El primer algoritmo que comentaremos es el de multiplicacin de dos
nmeros (algoritmo de tipo polinmico). Donde utilizando el paso base de
multiplicacin de nmeros de una cifra, cuando tenemos una entrada de C
cifras, el nmero de pasos necesarios para calcular la solucin ser de C2,
T(C) = C2, como la frmula es un polinomio decimos que este es un
problema de tipo Polinmico o de tipo P.
El segundo algoritmo es el de factorizacin de un nmero (algoritmo de
tipo no polinmico). Cuya objetivo es la de encontrar todos y cada uno de
los factores primos de un nmero (til para la fabricacin de claves y
mtodos criptogrficos). Para ello, dado un nmero N dividiremos por
todos los enteros entre 2 y la raz del nmero (N1/2). Esta estrategia, que
es la ms directa pero no la mas rpida, implica realizar un nmero de
pasos igual a T=N1/2. Expresndolo en funcin de la cantidad de cifras C del
nmero N, y usando el hecho de que N10C, obtenemos por tanto,
T(C)=10C/2. Donde podemos observar una diferencia fundamental respecto
al algoritmo anterior, la funcin encargada de expresar el nmero de
pasos necesarios es una exponencial, por ello decimos que este tipo de
problemas se denomina no polinmico o exponencial (tipo NP o EXP).
La propiedad que diferencia a los polinomios y las exponenciales la
usaremos como criterio de clasificacin, es decir, la velocidad con la que
crecen, siempre es mucho ms rpida en una exponencial que una
potencia, sin importar lo grande que sea el exponente. Aunque puede que
inicialmente los valores de una potencia sean mayores que los de una
exponencial, llegar un punto en que esta tendencia cambiar.

Algoritmos cunticos
Los primeros problemas que se intentaron dar solucin mediante la
computacin cuntica, aunque sencillos, permitieron comprobar las
diferencias que existen entre los modelos de computacin clsico y
cuntico. Posteriormente aportaron tcnicas algortmicas que permitieron
obtener algunos algoritmos importantes como el de Shor o el de Grover.
Comentemos cada uno de ellos.
Algoritmo de Shor
La computacin cuntica ofrece, adems de su enorme potencial
operativo, una nueva forma de clculo basada en principios cunticos. En
el ao 1994, Peter Shor ide un nuevo algoritmo destinado a
computadores cunticos que permita factorizar numeros grandes en
factores primos en un tiempo mucho menos que los computadores
tradicionales. El algoritmo de Shor puede ser estructurarlo en dos fases, la
primera que explota el paralelismo masivo de la computacin cuntica
para calcular en una sola iteracin todas las potencias modulares, y la
segunda, realizando interferencias destructivas para hallar el periodo. Si
desea ver una descripcin mas formal de los pasos a seguir dirjase
a Algoritmo de Shor.
La Geogebra
GeoGebra es un software matemtico interactivo libre para la educacin
en colegios y universidades. Su creador Markus Hohenwarter, comenz el
proyecto en el ao 2001 en la Universidad de Salzburgo y lo contina en la
Universidad de Atlantic, Florida.
GeoGebra est escrito en Java y por tanto est disponible en mltiples
plataformas.
Es bsicamente un procesador geomtrico y un procesador algebraico, es
decir, un compendio de matemtica con software interactivo que rene
geometra, lgebra y clculo, por lo que puede ser usado tambin
en fsica, proyecciones comerciales, estimaciones de decisin estratgica y
otras disciplinas.
Su categora ms cercana es software de geometra dinmica.
Es una herramienta computacional de clculo visual que facilita y apoya la
enseanza y anlisis matemtico a travs de una interfaz grfica, que

permite la representacin de conceptos matemticos tales como: puntos,

lneas, circunferencias, funciones cuadrticas y en general cualquier
funcin de grado n.
Cuenta con un conjunto herramientas para el clculo de ngulos,
pendientes, longitudes y reas a travs de las cuales se facilita la
demostracin grfica de teoremas y propiedades geomtricas y
trigonomtricas de figuras planas regulares e irregulares.
Funcionamiento

Ejecutado desde un sistema operativo linux

Ejecutado desde un sistema operativo Windows xp.

Dibujo de Polgonos:
Para dibujar un polgono cualquiera, basta con seleccionar la herramienta
correspondiente e ir estableciendo la posicin en la Vista Grfica, de cada
uno de sus puntos vrtices, volviendo a sealar el primero despus del
ltimo. Si se prefiriera un polgono regular, hay que recurrir a la
herramienta que aparece bajo la anterior, a la que se tiene acceso con un
clic sobre el triangulito al pie a la derecha de la primera. Esta maniobra
despliega, en cada caso, todas las herramientas disponibles bajo la que
encabeza las de cada tipo. Con la herramienta para el trazado de
polgonos regulares activada, basta con establecer en la Vista Grfica la
posicin de los puntos vrtices de uno de los lados y luego indicar el
nmero de puntos vrtices en la caja de dilogo que se despliega.
Transferencia de Medidas: Trazamos un segmento AB de medida a, esta
medida se puede transferirse a partir de cualquier punto de la Vista
Grfica, libre o de otra figura (recta, segmento, semirrecta, vector). Lo
usual con tiles geomtricos convencionales es emplear el comps:
haciendo centro en el punto desde el que se quiere establecer el
segmento para trazar la circunferencia de radio a y decidir cul de sus
puntos ser el otro extremo del segmento que se procura -uno u otro de
los puntos de interseccin de la recta sobre la que se quiere dibujar, por

ejemplo - para trazar el segmento desde el centro a tal punto. Esta misma
maniobra puede llevarse adelante con GeoGebra, ocultando, al finalizar,
los elementos auxiliares como la circunferencia o dndole un estilo
adecuado, punteado, y/o de color ms plido-. De hecho, GeoGebra
cuenta con herramientas ajustadas a la trasferencia de la medida de un
segmento en estos trminos: Comps - si se cuenta con el segmento cuya
longitud se desea transferir y se decide luego el centro - y Circunferencia
dados su Centro y Radio - si se desea dejar establecido el punto centro y
se conoce el valor de la medida o se puede indicar el nombre del
segmento cuya longitud se desea transferir.
Posibles implicaciones en la enseanza
Herramientas como Geogebra permiten cuestionar:
o El actual contenido curricular
o Los actuales mtodos pedaggicos
o Las actuales estrategias e evaluacin
Geogebra, al igual que otras herramientas de clculo visual, ayudan en el
saln de clases en la siguiente forma:
o Desarrollando con rapidez, exactitud y flexibilidad clculos
aritmticos, simblicos y visuales
o Relevando al profesor y al estudiante de tareas repetitivas/
tediosas (como ejemplos: la informacin proporcionada para la graficacin
de una ecuacin cuadrtica, solucin de matrices, races de una funcin
polinomial o graficar una funcin cualquiera). Con este tiempo liberado
es posible profundizar en un concepto, analizar un mayor nmero de
ejemplos o de casos problemticos o Sirviendo de "amplificadores"/
"reforzadores" de conceptos matemticos o Proporcionando mltiples
representaciones de conceptos matemticos: tablas, trazado de curvas,
acercamientos/ ampliaciones en puntos crticos de la grfica (esto
permite procesar informacin de mltiples maneras significativas)
Catalizando el de pensamiento crtico. El tiempo disponible que dejan
estas herramientas permiten al profesor/ estudiante realizar preguntas
del tipo qu pasa si? Esto permite armar/ crear conjeturas sobre

situaciones matemticas o identificar patrones en la solucin de

problemas Integrando/ reuniendo dinmicamente:
o Matemtica con matemtica: lgebra con geometra, trigonometra
con clculo, trigonometra con Geometra, etc.
o Matemtica con fsica, qumica
o Matemtica con el mundo real

Amia lo de la geogebra lo
cambias un poco por q tambin
ese fue mi trabajo te lo estoy
mandando lo que hice. Solo de
geogebra.
Bibliografas
http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=Computaci%C3%B3n_cu%C3
%A1ntica

http://es.wikipedia.org/wiki/GeoGebra
http://espanol.free-ebooks.net/ebook/Introducci-n-a-la-matem-ticadiscreta-ingenier-a-inform-tica
http://www.slideshare.net/luisacosta5toc/geogebra-presentacion