Está en la página 1de 40

CONCEPTOS FUNDAMENTALES

INTRODUCCIN Y VISIN GENERAL


La ciencia ofrece la matemtica fsica ms audaz de la poca. Es una construccin totalmente
humana, impulsada por la fe que si soamos, impulsada a descubrir, explicar y soar de nuevo,
profundizando en varias ocasiones en un nuevo terreno, el mundo de alguna manera llegar ms
claro y vamos a captar la verdadera extraeza del universo, y la extraeza de todo resultar para
ser conectado y tener sentido.
Edward O. Wilson
La informacin es fsica
Rolf Landauer

Cuales son los conceptos fundamentales de la comunicacin cuntica y de la informacin
cuntica?Como se desarrollan estos conceptos?para que se puede utilizar? el propsito de este
captulo introductorio es responder a estas preguntas mediante el desarrollo de una amplia
pincelada una imagen del campo de la computacin cuntica y la informacin cuntica. La
intencin es comunicar un conocimiento bsico de los conceptos centrales del campo, perspectiva
sobre la forma en que se han desarrollado, y para ayudarle a decidir cmo abordar el resto del
libro

Nuestra historia comienza en el punto 1.1 con una cuenta del contexto histrico en el que la
computacin cuntica y la informacin cuntica se ha desarrollado. Cada seccin que queda en el
captulo ofrece una breve introduccin a uno o ms conceptos fundamentales del fiel: los bits
cunticos (seccin 1.2), los ordenadores cunticos, puertas cunticas y circuitos cunticos (seccin
1.3), los algoritmos cunticos (seccin 1.4), la informacin cuntica experimental procesamiento
(secion 1.5), y la informacin cuntica y comunicacin (seccin 1.6).
en el camino, la evolucin ilustrativos y fcilmente accesibles, como el tele transporte cuntico y
algunos algoritmos cunticos simples se dan, utilizando las matemticas bsicas que se ensean
en este captulo. la presentacin es en s misma, y diseado para ser vspera accesible sin una
formacin en ciencias de la computacin o la fsica. a medida que avanzamos a lo largo, le damos
consejos para discusiones ms profundas en los ltimos captulos, en los que tambin se pueden
encontrar referencias y lecturas recomendadas.
si como leen que re-encuentro bruto ir, vaya a un lugar donde se siente ms cmodo. En los
puntos que refugio t sido capaz de evitar el uso de un poco de jerga tcnica que gan t ser
completamente explicada hasta ms adelante en el libro. Simplemente aceptar todo por ahora, y
volver ms tarde cuando el usuario reconoce toda la terminologa con ms detalle. el nfasis en
este primer captulo en el cuadro grande, con los detalles que se llena ms tarde.

1,1 perspectivas globales
Computacin cuntica y la informacin cuntica es el estudio de las tareas de procesamiento de
informacin que pueden lograr utilizando sistemas mecnicos cunticos. Suena bastante simple y
obvio, que duerma? Como muchas ideas sencillas pero profundas IR fue mucho tiempo antes de
que alguien pens en hacer el procesamiento de la informacin utilizando sistemas mecnicos
cunticos. Para ver por qu esto es as, debemos retroceder en el tiempo y buscar a su vez en cada
uno de los campos que han contribuido ideas fundamentales a la computacin cuntica y la
informacin cuntica - la mecnica cuntica, la informtica, la teora de la informacin, y la
criptografa. Mientras tomamos nuestro paseo por la historia corta de estos campos, pensar en ti
mismo primero como fsico, el como un cientfico de la computacin, y luego como un terico de
la informacin, y, finalmente, como un criptgrafo, con el fin de obtener alguna idea de las
perspectivas dispares que han llegado juntos en la computacin cuntica y la informacin
cuntica.

1.1.1 historia de la computacin cuntica y la informacin cuntica
Nuestra historia comienza a principios del siglo XX, cuando una revolucin no anunciada estaba en
marcha en la ciencia. Una serie de crisis haba surgido en la fsica. el problema era que las teoras
de la fsica de la poca (la fsica clsica ahora doblada) predecan absurdos tales como la existencia
de una "catstrofe ultravioleta" empleando las energas infinitas, o los electrones que giran
inexorablemente en el ncleo atmico. al primero de estos problemas se resolvieron con la
adicin de hiptesis ad hoc a la fsica clsica, sino como una mejor comprensin de los tomos y la
radiacin que se gan estos intentos de explicacin se hizo ms y ms complicado. La crisis lleg a
su punto culminante a principios del 1920 despus de un cuarto de siglo de agitacin, y dio lugar a
la creacin de la moderna teora de la mecnica cuntica. La mecnica cuntica ha sido una parte
indispensable de la ciencia desde entonces, y se ha aplicado con gran xito a todo bajo y en el
interior del Sol, incluyendo la estructura del tomo, la fusin nuclear en las estrellas, los
superconductores, la estructura del DNS, y las partculas elementales de la naturaleza.
Lo que es la mecnica cuntica? la mecnica cuntica es un marco matemtico o un conjunto o las
reglas de la construccin de las teoras fsicas. Por ejemplo, hay una teora fsica conocida como
electrodinmica cuntica que describe con precisin la fantstica interaccin de los tomos y la
luz. Electrodinmica cuntica se construye en el marco de la mecnica cuntica, pero contiene
normas especficas no determinadas por la mecnica cuntica. la relacin de la mecnica cuntica
a las teoras fsicas especficas como la electrodinmica cuntica es algo as como la relacin de un
sistema operativo de la computadora para el software de aplicacin especfica - el sistema
operativo establece ciertos parmetros bsicos y modos de operacin, pero deja abierta la forma
en tareas especficas se logra mediante las Aplicaciones .
las reglas de la mecnica cuntica son sencillas pero incluso los expertos las encuentran
contradictorio, y los primeros antecedentes de la computacin cuntica y la informacin cuntica
se pueden encontrar en el viejo anhelo de los fsicos para comprender mejor la mecnica cuntica.
el crtico ms conocido de la mecnica cuntica, Albert Einstein, fue a la tumba sin reconciliarse
con la teora que l ayud a inventar. Generacin de fsicos han luchado desde la mecnica
Quatum en un esfuerzo para hacer predicciones es ms agradable al paladar. uno de los objetivos
de la computacin cuntica y la informacin cuntica es el desarrollo de herramientas que
aharpen nuestra intuicin acerca de la mecnica cuntica, y hacer sus predicciones ms
transparente para las mentes humanas.
por ejemplo, a principios del 1980, el inters surgi en si podra ser posible usar efectos cunticos
para sealar rpido que la luz-un gran no-no de acuerdo con la teora de la relatividad Einstein. La
resolucin de este problema resulta depender de si es posible clonar un estado cuntico
desconocido, es decir, construir una copia del estado cuntico. si la clonacin fuera posible,
entonces sera posible sealar ms rpido que la luz utilizando los efectos cunticos.
Sin embargo, cloning- tan fcil de lograr con la informacin clsica (considerar las palabras en
frente de usted, y de dnde vinieron!) - resulta no ser posible, en general, en la mecnica cuntica.
Este teorema no-clonacin, descubierto a principios del 1980 es uno de los primeros resultados de
la computacin cuntica y la informacin cuntica. Muchos refinamientos del teorema de no
clonacin ya que se han desarrollado, y ahora tenemos las herramientas conceptuales que nos
permitan comprender qu tan bien podra funcionar un (necesariamente imperfecta) dispositivo
de clonacin cuntica. Estas herramientas, a su vez, se han aplicado a comprender otros aspectos
de la mecnica cuntica.
Una cadena histrica cotributing relacionada con el desarrollo de la computacin cuntica y la
informacin cuntica es el inters, que data del 1970, de obtener un control completo sobre los
sistemas cunticos individuales. aplicaciones de la mecnica cuntica antes del 1970 participan
tpicamente un nivel bruto de control sobre una muestra global accesible. por ejemplo, la
superconductividad tiene una excelente explicacin de la mecnica cuntica. Sin embargo, debido
a un superconductor implica una muestra enorme (en comparacin con la escala atmica) de
metal conductor, slo podemos investigar algunos aspectos de su naturaleza mecnica cuntica,
con los sistemas cunticos individuales que constituyen el superconducor restante inaccesible.
sistemas como eceleradores partculas s permiten el acceso limitado a los sistemas cunticos
indicidual, pero de nuevo proporcionan poco control sobre los sistemas constitutivos.
desde la dcada de 1970 muchas tcnicas para el control de sistemas cunticos individuales se han
desarrollado. por ejemplo, se han desarrollado mtodos para la captura de un solo tomo en una
"trampa de tomos", aislndolo de la puesta a cero del mundo y permitindonos explorar
diferentes aspectos de su comportamiento con una precisin increble. el microscopio de efecto
tnel se ha utilizado para mover tomos individuales alrededor, la creacin de matrices de diseo
de tomos a voluntad. Dispositivos cuyo funcionamiento consiste en la transferencia de electrones
individuales slo se han demostrado.
Por qu todo este esfuerzo para lograr un control completo sobre los sistemas cunticos
individuales? dejando a un lado los muchos la razn tecnolgica y concentrarse en ciencia pura, la
respuesta principal es que los investigadores han hecho esto por una corazonada. a menudo los
ms profundos conocimientos de la ciencia vienen cuando desarrollamos un mtodo para sondear
una nueva naturaleza rgimen. por ejemplo, la invencin de radioastronoma en el 1930 y 1940
llev a una espectacular secuencia de descubrimientos, incluyendo el ncleo de la galaxia de la Va
Lctea, los plsares y cusares. La fsica de baja temperatura ha alcanzado sus xitos increbles
mediante la bsqueda de formas de reducir las temperaturas de los distintos sistemas. de manera
similar, mediante la obtencin de un control completo sobre los sistemas cunticos individuales,
estamos explorando regmenes vrgenes de la naturaleza, con la esperanza de descubrir
fenmenos nuevos e inesperados. Apenas estamos dando nuestros primeros pasos en este
sentido, y ya algunos sorpresa interesante se han descubierto en este rgimen. qu ms vamos a
descubrir como se obtiene un control ms completo sobre el sistema cuntico nico, y extenderlo
a sistemas ms complejos?
Computacin cuntica y la informacin cuntica encajan naturalmente en este programa. que
proporcionan una serie til de retos en diferentes niveles de dificultad para las personas ideando
mtodos para manipular mejor los sistemas cunticos individuales, y estimular el desarrollo de
nuevas tcnicas experimentales y proporcionar orientacin en cuanto a las direcciones ms
interesantes en los que tomar experimento. Por el contrario, la capacidad de controlar los
sistemas cunticos individuales es esencial si queremos aprovechar la mecnica cuntica de
energa para aplicaciones en computacin cuntica y la informacin cuntica.
A pesar de este intenso inters, los esfuerzos para construir sistemas de procesamiento de
informacin cuntica se han traducido en un xito modesto hasta la fecha. Ordenadores cunticos
pequeos, capaces de hacer docenas de operaciones en unos pocos qubits representan el estado
del arte en la computacin cuntica. Prototipos experimentales para hacer cuntica cryptography-
una forma de comunicarse en secreto a travs de largo distancias- se ha demostrado, y son incluso
en el nivel en el que pueden ser tiles para algunas aplicaciones del mundo real. Sin embargo,
sigue siendo un gran reto para los fsicos e ingenieros del futuro para el desarrollo de tcnicas para
hacer el procesamiento de informacin cuntica lager escala.
Volvamos nuestra atencin de la mecnica cuntica a otro de los triunfos intelectuales grat del
siglo XX, cience ordenador. Los orgenes de la informtica. los orgenes de la informtica se
pierden en las profundidades de la historia. Por ejemplo, tabletas cuneiformes indican que por la
poca de Hammurabi (alrededor del ao 1750 aC) los babilonios haban desarrollado algunas ideas
algortmicas bastante sofisticadas, y es probable que muchas de esas ideas datan veces incluso
anteriores.

La encarnacin moderna de la informtica fue anunciada por el gran matemtico Alan Turing en
un notable artculo 1936. Turing desarroll en detalle una nocin abstracta de lo que hoy
llamaramos un ordenador programable, un modelo para el clculo ahora se conoce como la
mquina de Turing, en su honor. Turing mostr que existe una mquina de Turing universal que se
puede utilizar para simular cualquier otra mquina de Turing. Por otra parte, afirm que la
Mquina Universal de Turing capta por completo lo que significa realizar una tarea por medio de
algoritmos. Es decir, si un algoritmo se puede realizar en cualquier pieza de hardware (por
ejemplo, un computa personal moderna), entonces no hay un algoritmo equivalente que se
ejecuta en el ordenador personal. esta afirmacin, conocida como la tesis de Church-Turing en
honor Turing y otro de los pioneros de la informtica, Alonzo Church, afirma la equivalencia entre
el concepto fsico de lo que la clase de algoritmos se puede realizar en algn dispositivo fsico un
poco con el concepto matemtico riguroso de un universal Mquina de Turing. la amplia
aceptacin de la tesis sent las bases para el desarrollo de una rica teora de la ciencia de la
computacin.
No mucho despus de Turing papel, se desarrollaron las primeras computadoras construidas a
partir de los componentes electrnicos. John von Neumann deloped un modelo terico simple
para cmo poner juntos de manera prctica todos los componentes necesarios para una
computadora para ser plenamente capaces como una mquina universal de Turing. Desarrollo de
hardware realmente despeg, sin embargo, en 1947, cuando John Bardeen, Walter Brattain y
Shockley Will desarrollaron el transistor. Harware informtica ha crecido en el poder a un ritmo
increble desde entonces, tanto es as que el crecimiento fue codificado por Gordon Moore en
1965 en que ha llegado a ser conocido como la ley de Moore, que establece que el poder del
ordenador se duplicar para el costo constante ms o menos una vez cada Dos aos.

Sorprendentemente, la ley de Moore se ha mantenido aproximadamente cierto en las dcadas
transcurridas desde el 1960, sin embargo, la mayora de los observadores esperan que este sueo
de ejecucin terminar en algn momento durante las dos primeras dcadas del siglo XXI.
Enfoques de fabricacin convencional de la tecnologa informtica estn comenzando a tropezar
con dificultades fundamentales de tamao. Los efectos cunticos empiezan a interferir en el
funcionamiento de los dispositivos electrnicos, ya que se hacen ms pequeos y ms pequeos.

Una posible solucin al problema planteado por el eventual fracaso de la ley de Moore es pasar a
un paradigma de computacin diferente. un tal paradigma es proporcionada por la teora de la
computacin cuntica, que es Based On la idea de usar la mecnica cuntica para realizar clculos,
en lugar de la fsica clsica. Resulta que mientras que un ordenador ordinario puede ser utilizado
para simular un ordenador cuntico, que parece ser imposible llevar a cabo la simulacin de una
manera eficiente. As, los ordenadores cunticos ofrecen una ventaja de velocidad esencial sobre
los ordenadores clsicos. Esta ventaja de la velocidad es tan importante que muchos
investigadores creen que ninguna cantidad concebible de los avances en computacin clsica sera
capaz de superar la brecha entre la potencia de un ordenador clsico y el poder de una
computadora cuntica.
Qu entendemos por "eficientes" frente a la simulacin "ineficiente" de un ordenador cuntico?
Muchos de los conceptos clave que se necesitan para responder a esta pregunta se invent antes
incluso se haba planteado la idea de una computadora cuntica. En particular , la idea de
alorithms eficientes e ineficientes se hizo matemticamente precisa por el campo de la
complejidad computacional. En trminos generales, un alogorithm eficiente es uno que se ejecuta
en tiempo polinmico en el tamao del problema resuelto. en contraste, un algoritmo ineficiente
requiere superpolynomial tiempo (tpicamente exponencial). Lo que se not en la finales de 1960
andearly 1970 era que pareca como si el modelo de la mquina de Turing de computacin fue al
menos tan potente para que cualquier otro modelo de computacin, en el sentido de que un
problema que se pueda resolver de manera eficiente en algn modelo de la computacin podra
tambin ser resuelto de manera eficiente en el modelo de mquina de Turing, mediante el uso de
la mquina de Turing para simular el otro modelo de clculo. Esta observacin fue codificada en
una versin reforzada de la tesis Cgurch-Turing:

Cualquier proceso algortmico se puede simular de manera eficiente usando una mquina de
Turing.

El fortalecimiento clave en el fuerte tesis de Church-Turing es la palabra de manera eficiente. Si la
tesis fuerte Cgurch-Turing es correcta, entonces esto implica que no importa qu tipo de mquina
que utilizamos para realizar nuestros algoritmos, que la mquina se puede simular de manera
eficiente usando una mquina de Turing estndar. Este es un refuerzo importante, ya que implica
que para los fines de analizar si una tarea computacional dar puede llevarse a cabo de manera
eficiente, podemos limitarnos a el anlisis de la

Modelo de la mquina de Turing de computacin.
una clase de desafos a la tesis fuerte de Church-Turing viene del campo de la computacin
analgica. En los aos transcurridos desde Turing, muchos equipos diferentes de investigadores
han notado que ciertos tipos de equipos analgicos pueden resolver eficazmente un problema que
se cree que no tienen solucin eficiente en una mquina de Turing. A primera vista, estas
computadoras analgicas parecen violar la forma fuerte de la tesis de Church-Turing. Por desgracia
para la computacin analgica, girar ous que cuando se hacen suposiciones realistas sobre la
presencia de ruido en las computadoras analgicas, su poder desaparece en todos los casos
conocidos; que cannont resolver eficientemente los problemas que no son solucionables
eficientemente en una mquina de Turing. Esta leccin: que los efectos del ruido realista se tienen
en cuenta en Evaluationg la eficiencia de un madel- computacional fue uno de los primeros retos
grat de la computacin cuntica y la informacin cuntica, un reto cumplido con xito por el
desarrollo de una teora de la cuntica de errores correccin de los cdigos y la computacin
cuntica tolerante a fallos. As, a diferencia cmputation analgica, la computacin cuntica puede
tolerar, en principio, un ruido cantidad af finito y an conservan sus ventajas computacionales.

El primer gran reto a la fuerte tesis de Church-Turing surgi a mediados del 1970, cuando Robert
Solovay y Volker Strassen demostraron que es posible comprobar si un intager es primo o
compuesto usando un algoritmo aleatorio. Es decir, la prueba Slovay-Strassen para primalidad
utilizado aleatoriedad asan parte esencial del algoritmo. yhe algoritmo no determin si un nmero
entero dar era primo o compuesto con certeza. en cambio, el algoritmo podra determinar que un
nmero fue probablemente el primer o bien compuesto poco con certeza. Byrepeating la prueba
Solovay-Strassen algunas veces es posible determinar con certeza casi si un nmero es primo o
compuesto. De especial inters en el momento de la prueba Solovay-Strassen fue propuesta era
que se conoca ninguna prueba determinista eficiente para primalidad. Por lo tanto, pareca como
si los ordenadores con acceso a un generador de nmero aleatorio seran capaces de realizar de
manera eficiente las tareas de clculo sin una solucin eficiente en una mquina de Turing
determinista convencional. Este descubrimiento inspir la bsqueda de otros algoritmos
aleatorizados que ha dado sus frutos, un poco con el florecimiento de campo en una zona
prspera de la investigacin.
Algoritmos aleatorios plantean un desafo a la tesis fuerte de Church-Turing, lo que sugiere que
existen de manera eficiente soluble que, sin embargo, no puede ser resuelto de manera eficiente
en una mquina de Turing determinista. Este reto parece ser resueltos fcilmente por una simple
modificacin de la tesis fuerte de Church-Turing:
Cualquier proceso de algoritmia puede simular de manera eficiente usando una mquina de Turing
probabilstica.
esta modificacin ad hoc de la tesis fuerte de Church-Turing debera hacer que te sientas bien
revuelto. No podra resultar en una fecha posterior que otro modelo de clculo permite a
resolver eficientemente problemas que no son solubles en forma eficiente dentro del modelo de
Turing de computacin? Hay alguna manera de que podamos encontrar un solo modelo de
computacin que se garantiza que sea capaz de simular de manera eficiente cualquier otro
modelo de computacin?

Motivados por esta cuestin, en 1985 David Deutsch pregunt si las leyes de la fsica podra ser til
para derivar una evevn versin ms fuerte de la tesis de Church-Turing. Imstead de adopcin de
hiptesis ad hoc, deutsch mir a la teora fsica para proporcionar una base para la tesis de
Church-Turing que sera tan segura como la condicin de que la teora fsica. En particular, Deutsch
intent definir un dispositivo computacional que sera capaz de simular de manera eficiente un
sistema fsico arbitrario. Debido a las leyes de la fsica son en ltima instancia, la mecnica
cuntica, Deutsch fue llevado a reflexionar sobre los dispositivos basados en los principios de la
mecnica cuntica de computacin. Estos dispositivos, anlogos cunticos de los Mechines
definen cuarenta y nueve aos antes por Turing, en ltima instancia condujo a YHE concepcin
moderna de un ordenador cuntico se utiliza en este libro.

En el momento de la escritura, no es claro si Deutsch nocin de universal Quantum Computer es
suficiente para simular de manera eficiente un sistema fsico arbitraria. Demostrar o refutar esta
conjetura es uno de los problemas abiertos de grat el campo de la computacin cuntica y la
informacin cuntica. Es posible, por ejemplo, que algn efecto de la teora cuntica de campos o
un efecto an ms esotrico basado en la teora de cuerdas, la gravedad cuntica o alguna otra
teora fsica puede llevarnos ms all Deutsch universal Quantum Computer, que nos da un
modelo an ms potente para el clculo . En esta etapa, simplemente No sabemos
lo Deutsch modelo de una computadora cuntica ha habilitado era un desafo a la forma fuerte de
la tesis de Church-Turing. Deutsch pregunt si es posible que un ordenador cuntico para resolver
eficientemente los problemas informticos que no tienen solucin eficiente en un ordenador
clsico, incluso una mquina de Turing probabilstica. Luego construy un sencillo ejemplo que
sugiere, que, de hecho, ordenador cuntico podra tener poderes computacionales superiores a
las de los ordenadores clsicos.

Este notable abetos paso dado por Deutsch se mejor en la dcada siguiente por muchas
personas, que culmin con Peter Shor demostracin 1994 que dos problemas-de enorme
importancia el problema de encontrar los factores primos de un nmero entero, y la de problemas
as llamada "logaritmo discreto" podra resolver de manera eficiente en un ordenador cuntico.
Esto atrajo gran inters debido a que estos dos problemas eran y todava son ampliamente cree
que hay una solucin eficiente en un ordenador clsico. shor resultados son un poderoso indicio
de que la computadora cuntica son ms poderosas que las mquinas de Turing, incluso las
mquinas de Turing probabilstica. Otra prueba de la potencia de los ordenadores cunticos se
produjo en 1995, cuando bajo Grover mostr que otro importante de problemas el problema de la
realizacin de una bsqueda a travs de algunas de bsqueda no estructurada apace- tambin
podra ser imitado de la ONU en una computadora cuntica. Mientras Grover algoritmo no
proporcion tan espectacular como una velocidad- algoritthms Shor, la amplia aplicabilidad de las
metodologas de bsqueda de base ha despertado un considerable inters en el algoritmo de
Grover.

Casi al mismo tiempo que se descubrieron algoritmos Shor y Grover, muchas personas estaban
desarrollando una idea de Richard Feynman haba sugerido en 1982 Feynman haba sealado que
no pareca haber dificultades esenciales en la simulacin de sistemas mecnicos cunticos en los
ordenadores clsicos, y sugiri que la construccin equipos basados en los principios de la
mecnica cuntica nos permitira evitar esas dificultades. En la dcada de 1990 varios equipos de
investigadores comenz a dar contenido a esta idea, mostrando que s es posible utilizar las
computadoras cunticas para simular de manera eficiente los sistemas que han conocido la
simulacin eficiente en un ordenador clsico. Es probable que uno de los principales aplicaciones
de la computadora cuntica en el futuro va a realizar simulaciones de sistemas mecnicos
cunticos demasiado difciles de simular en un ordenador clsico, un problema con profundas
implicaciones cientficas y tecnolgicas.
Qu otros problemas pueden ordenadores cunticos resolver ms rpidamente que los
ordenadores clsicos? La respuesta corta es que no sabemos. El subir con buenos algoritmos
cunticos parece ser difcil. Un pesimista podra pensar que debido a que no hay nada de
ordenadores cunticos son buenos para aplicaciones distintas a las ya descubiertas! Tenemos una
visin diferente. Algoritmo Desing para ordenadores cunticos es difcil porque los diseadores se
enfrentan a dos problemas difciles no se enfrent en la construccin de algoritmos para
ordenadores clsicos. En primer lugar, nuestra intuicin humana tiene sus races en el mundo
clsico. Si usamos la intuicin como una ayuda para la construccin de algoritmos, entonces las
ideas algortmicas que vienen de la ONU con la voluntad de ser ideas clsicas. para disear buenos
algoritmos cunticos hay que "apagar" una intuicin clsica durante al menos parte del proceso de
diseo, el uso de efectos verdaderamente cunticos para lograr el fin deseado algortmica. En
segundo lugar, para ser verdaderamente interesante no es suficiente para disear un algoritmo
que no es ms que la mecnica cuntica. El algoritmo debe ser mejor que cualquier Algoritm
clsica existente! Por lo tanto, es posible que uno puede encontrar un algoritmo que hace uso de
verdaderamente aspectos cunticos de la mecnica cuntica, que sin embargo no es de gran
inters debido a que existen algoritmos clsicos con caractersticas de rendimiento comparables.
La combinacin de estos dos problemas hace que la construccin de la nueva cuntica algotithms
un problema difcil para el futuro.

Incluso de manera ms amplia, podemos preguntarnos si hay generalizaciones que podemos hacer
sobre el poder de los ordenadores cunticos frente a los ordenadores clsicos. Qu es lo que
hace que los ordenadores cunticos ms poderoso que Computadoras- clsica asumiendo que
este es realmente el caso? Qu clase de problema se puede resolver de manera eficiente en un
ordenador cuntico, y cmo se compara la clase a la clase de problemas que pueden ser
resueltos de manera eficiente en un ordenador clsico? una de las cosas ms emocionantes acerca
de la computacin cuntica y la informacin cuntica es lo poco que se sabe acerca de las
respuestas a estas preguntas! Es un gran reto para el futuro para comprender mejor estas
cuestiones.
Habiendo llegado a la frontera de la computacin cuntica, y mucho cambio a la historia de la otra
lnea de pensamiento que contribuyen a la computacin cuntica y la informacin cuntica: teora
de la informacin. Al mismo tiempo la informtica estaba explotando en el 1940, otra revolucin
estaba teniendo lugar en nuestra comprensin de la comunicacin. En 1948 Claude Shannon
public un notable par de artculos que ponen las bases de la moderna teora de la informacin y
la comunicacin.

Tal vez la clave Atep tomada por Shannon se definen mothematically el concepto de informacin.
En muchas ciencias matemticas existe una considerable flexibilidad en la eleccin de las
definiciones fundamentales. Trate de pensar ingenuamente durante unos minutos sobre la
siguiente pregunta: cmo usted va sobre matemticamente definir el concepto de una fuente de
informacin? Varias respuestas diferentes a este problema han encontrado un uso generalizado;
Sin embargo, la defition Shannon le ocurri que parece ser, de lejos, la ms fructfera en trminos
de aumento de la comprensin, dando lugar a una gran cantidad de resultados de profundidad y
una teora con una estructura rica que parece reflejar con precisin muchos (aunque no todos)
real problemas de comunicacin mundial.
Shannon estaba interesado en dos cuestiones clave relacionadas con la comunicacin de la
informacin por un canal comunicaciones. En primer lugar, qu recursos se necesitan para enviar
informacin a travs de un chanel comunicaciones? Por ejemplo, las compaas telefnicas
necesitan saber la cantidad de informacin que pueden transmitir de forma fiable sobre un cable
de telfono determinado. En segundo lugar, puede transmitirse informacin de tal manera que
est protegido contra el ruido en el canal de comunicacin?

Shannon respondi a estas dos preguntas probando los dos teoremas fundamentales de la teora
de la informacin. El teorema de primera, Shannon canal silencioso de codificacin, cuantifica los
recursos fsicos necesarios para almacenar la salida de una fuente de informacin. Shannon
segundo teorema fundamental, el teorema de codificacin de canal ruidoso, cuantifica la cantidad
de informacin que es posible transmitir de forma fiable a travs de un canal de comunicaciones
ruidoso. Para lograr una transmisin fiable en presencia de ruido, Shannon mostr que los cdigos
de error-correccin podran utilizarse para proteger la informacin que se enva. Shannon ruidoso
teorema de codificacin de canal da un lmite superior en la proteccin otorgada por los cdigos
de correccin de errores. Por desgracia, Shannon teorema no da explcitamente un conjunto
prcticamente til de cdigos de correccin de errores para alcanzar ese lmite. De los af tiempo
papeles Shannon hasta hoy, los investigadores han construido ms y mejores clases de cdigos de
correccin de errores en sus intentos por venir claser hasta el lmite establecido por Shannon
teorema. Una sofisticada teora de los cdigos de error-correting existe ahora ofreciendo al
usuario una plerhora de opciones en su bsqueda para disear un buen cdigo de correccin de
errores. Dichos cdigos se utilizan una multitud de lugar, incluyendo, por ejemplo, reproductores
de discos compactos, mdems de ordenador, y sistemas de comunicacin por satlite.
Teora de la informacin cuntica ha seguido con desarrollos similares. En 1995, Ben Schumacher
proporcionado un anlogo al teorema de Shannon de codificacin sin ruido, y en el proceso define
el "bit cuntico" o "qubit" como un recurso fsico tangible. Sin embargo, no analgica a Shannon
teorema de codificacin de canal ruidoso pero es conocido por la informacin cuntica. Sin
embargo, en analoga con sus homlogos clsicos, una teora de la correccin de errores cuntica
ha sido desarrollado que, como ya se ha mencionado, permite a los ordenadores cunticos para
calcular afectivamente en presencia de ruido, y tambin permite la comunicacin a travs de
canales cunticos ruidosos se lleve a cabo de forma fiable.
De hecho, las ideas clsicas de correccin de errores han demostrado ser de enorme importancia
en el desarrollo y la comprensin de los cdigos correctores de errores cunticos. En 1996, dos
grupos de trabajo de forma independiente, Robert Calderbank y Peter Shor, y Andrew Steane,
descubrieron una clase importante de los cdigos cunticos ahora conocidos como cdigos CSS
despus de sus iniciales. Este trabajo ya ha sido subsumido por los cdigos estabilizadoras,
descubierta independientemente por Robert Calderbank, Eric Rains, Peter Shor y Neil Sloane, y por
Daniel Gottesman. Al construir sobre las ideas bsicas de la teora de la codificacin de lnea
clsica, estos descubrimientos facilitaron en gran medida una rpida comprensin de los cdigos
correctores de errores cunticos y su aplicacin a la computacin cuntica y la informacin
cuntica.
La teora de cdigos correctores de errores cunticos fue desarrollado para proteger a los estados
cunticos contra ruido. Qu pasa con la transmisin de informacin clsica ordinaria mediante un
canal cuntico? Con qu eficiencia se puede hacer esto? S pocas sorpresas se han descubierto en
este campo. En 1992 Charles Bennett y Stephe Wiesner explic cmo transmitir dos bits clsicos
de la informacin, mientras que slo se transmite un bit cuntico del emisor al receptor, un
resultado denominado codificacin superdensa.

An ms interesantes son el resultado de distribuir la computacin cuntica. Imagina que tienes
dos ordenadores conectados en red, tratando de resolver ciertos problemas que se requeriran si
los ordenadores de la red fueron clsica! Desafortunadamente, hasta ahora estos problemas no
son especialmente importantes en un entorno prctico, y sufren de algunas restricciones tcnicas
indeseables. Un reto importante para el futuro de la computacin cuntica y la informacin
cuntica es encontrar problemas de importancia en el mundo real para el que distribuye la
computacin cuntica ofrece una ventaja sustancial sobre distribuir computacin clsica.

dejar que retorno a la teora de la informacin prope. El estudio de la teora de la informacin
comienza con las propiedades de un nico canal de comunicaciones. En las aplicaciones a menudo
no nos ocupamos de un solo canal de comunicacin, sino ms bien con las redes de muchos
canales. El tema de la teora de la informacin en red se ocupa de la informacin de propiedades
de soporte de este tipo de redes de canales de comunicacin, y ha sido desarrolla en un tema rico
y complejo.
Por el contrario, el estudio de la teora de la informacin cuntica en red es mucho en su infancia.
Incluso para preguntas muy bsicas que sabemos poco acerca de la informacin que lleva las
capacidades de las redes de canales cunticos. Se han encontrado varios resultados preliminares
ms sorprendentes en los ltimos aos; Sin embargo, no existe ninguna teora unificadora de la
teora de la informacin en red para los canales cunticos. Un ejemplo de red teora de la
informacin cuntica debera ser suficiente para convencerte del valor de una teora general de
este tipo tendra. Imaginemos que estamos tratando de enviar informacin cuntica desde Alice a
Bob a travs de un canal cuntico ruidoso. Si ese canal tiene una capacidad cero para la
informacin cuntica, entonces es imposible enviar de forma fiable cualquier informacin de Alice
a Bob. Imaginemos en cambio que consideramos dos copias de la canal, operacin en sincrona.
Intuitivamente es claro (y pueda justificarse con rigor) que un canal de este tipo tambin tiene
cero capacidad para enviar informacin cuntica. Sin embargo, si en vez invertir la direccin de
uno de los canales, como se ilustra en la figura 1.1, resulta que a veces podemos obtener una
capacidad diferente de cero para la transmisin de informacin desde Alice a Bob! Propiedades
contra-intuitivo como ste ilustran la extraa naturaleza de la informacin cuntica. Una mejor
comprensin de la informacin de propiedades de soporte de redes de canales cunticos es un
importante problema abierto de la computacin cuntica y la informacin cuntica.
Deje los campos de conmutacin por ltima vez, se mueve con el arte venerable y la ciencia de la
criptografa. En trminos generales, la criptografa es el problema de hacer comunicacin o clculo
que involucra a dos o ms partes que no pueden confiar en los dems. el problema criptogrfico
ms conocido es la transmisin de mensajes secretos. Supongamos que dos partes desean
comunicarse en secreto. Por ejemplo, es posible que desee dar su nmero de tarjeta de crdito a
un comerciante a cambio de bienes, con suerte sin ningn tercero malvola que interceptar el
nmero de tarjeta de crdito. La forma de hacerlo es utilizar un protocolo criptogrfico. Bueno
describen en detalle cmo funcionan los protocolos criptogrficos ms adelante en el libro, pero
por ahora ser suficiente con hacer algunas distinciones simples. La distincin ms importante es
entre los sistemas criptogrficos de clave privada y de cifrado de clave pblica.

Figura 1.1. Clsicamente, si tenemos dos canales muy ruidosos de lado correr capacidad cero al
lado del otro, entonces el canal combinado tiene cero capacidad para enviar informacin. No es de
extraar, si invertimos la direccin de uno de los canales, todava tenemos la capacidad cero para
enviar informacin. Quantum mecnicamente, revirtiendo uno de los canales de capacidad cero
en realidad puede permitir que le enviemos la informacin!
La forma en que un cifrado de clave privada funciona es que dos partidos, "Alice" y "Bob", desean
comunicarse mediante el intercambio de una clave privada, que slo ellos conocen. La forma
exacta de la clave no importa en este think punto- de una cadena de ceros y unos. El punto es que
esta clave es utilizado por Alice para cifrar la informacin que desea enviar a Bob. Despus
encripta Alice le enva el cifrar la informacin a Bob, que ahora deben recuperar la informacin
original. Exactamente cmo Alice encripta el mensaje depende de la clave privada, de modo que
para recuperar el mensaje original Bob necesita saber la clave privada, con el fin de deshacer la
transformacin Alice aplica.
Por desgracia, los criptosistemas de clave privada tienen algunos problemas graves en muchos
contextos. El problema ms bsico es cmo distribuir las llaves? De muchas maneras, el problema
de distribucin de claves es tan difcil como el problema original de comunicarse en privado - un
tercero malvola puede ser espionaje en la distribucin de claves y, a continuacin, utilice la tecla
interceptado para descifrar algunos de la transmisin del mensaje.
Uno de los primeros descubrimientos en la computacin cuntica y la informacin cuntica era
que la mecnica cuntica se pueden utilizar para hacer la distribucin de claves en una forma tal
que Alice y Bob de seguridad no puede verse comprometida. Este procedimiento se conoce como
criptografa cuntica o la distribucin de clave cuntica. La idea bsica es explotar el principio de la
mecnica cuntica que la observacin en general perturba el sistema que est siendo observado.
Por lo tanto, si hay un espa escuchando como Alice y Bob intento de transmitir su clave, la
presencia del intruso ser visible como una perturbacin del canal de comunicaciones Alice y Bob
estn utilizando para establecer la clave. Alice y Bob pueden entonces echar a los bits de la clave
establecidos mientras que el intruso estaba escuchando, y empezar de nuevo. Las primeras ideas
criptogrficas cunticas fueron propuestas por Stephen Wiesner a finales de 1960, pero por
desgracia no fueron aceptados para su publicacin! En 1984 Charles Bennett y Gilles Brassard,
basndose en los trabajos anteriores de Wiesner, propusieron un protocolo de uso de la mecnica
cuntica para distribuir las claves entre Alice y Bob, sin ninguna posibilidad de un compromiso.
Desde entonces se han propuesto numerosos protocolos criptogrficos cunticos, y prototipos
experimentales desarrollados. En el momento de escribir estas lneas, los prototipos
experimentales se estn acercando a la etapa en la que pueden ser tiles en aplicaciones del
mundo real a escala limitada.
El segundo tipo de sistema de cifrado es el sistema de cifrado de clave pblica. Cifrado de clave
pblica no se basan en Alice y Bob comparten una clave secreta con antelacin. En su lugar, Bob
simplemente publica una "clave pblica", que se puso a disposicin del pblico en general. Alice
puede hacer uso de esta clave pblica para cifrar un mensaje que se enva a Bob. Lo que es
interesante es que una tercera parte no puede utilizar la clave pblica de Bob para descifrar el
mensaje! Estrictamente hablando, no hay que decir no puedo. Ms bien, se elige la
transformacin de cifrado de una manera muy inteligente y no trivial de modo que es
extremadamente difcil (aunque no imposible) para invertir, dado solamente el conocimiento de la
clave pblica. Para que la inversin fcil, Bob tiene una clave secreta emparejado a su clave
pblica, que en conjunto le permiten realizar fcilmente el descifrado. Esta clave secreta no se
conoce a nadie que no sea Bob, que por lo tanto pueden estar seguros de que slo l puede leer el
contenido de la transmisin de Alice, en la medida en que no es probable que nadie ms tiene el
poder computacional para invertir la encriptacin, dada slo la clave pblica. Cifrado de clave
pblica a resolver el problema de distribucin de claves por lo que es innecesario que Alice y Bob
comparten una clave privada antes de comunicar.
Ms bien notable, la criptografa de clave pblica no logr amplio uso hasta mediados de los aos
1970, cuando se propuso de forma independiente por Whitfield Diffie y Martin Hellman, y por
Ralph Merkle, revolucionando el campo de la criptografa. Un poco ms tarde, Ronald Rivest, Adi
Shamir y Leonard Adleman desarrollaron el sistema de cifrado RSA, que en el momento de la
escritura es el sistema de cifrado de clave pblica ms utilizada, que se cree para ofrecer un buen
equilibrio entre la seguridad y facilidad de uso prctico. En 1997 se descubri que estas ideas - de
criptografa de clave pblica, los criptosistemas Diffie-Hellman y RSA - eran en realidad inventados
a finales de 1960 y principios de 1970 por los investigadores que trabajan en la britnica GCHQ
agencia de inteligencia.
La clave para la seguridad de cifrado de clave pblica es que debe ser difcil para invertir la fase de
encriptacin si slo la clave pblica est disponible. Por ejemplo, resulta que la inversin de la
etapa de cifrado de RSA es un problema estrechamente relacionado con la factorizacin. Gran
parte de la supuesta seguridad de RSA proviene de la creencia de que el factorizacin es un
problema difcil de resolver en un ordenador clsico. Sin embargo, el algoritmo rpido de Shor
para factorizar en un ordenador cuntico podra ser utilizado para romper RSA! De manera similar,
hay otros criptosistemas de clave pblica que se pueden romper si un algoritmo rpido para
resolver el problema del logaritmo discreto - como algoritmo cuntico de Shor para logaritmo
discreto - eran conocidos. Esta aplicacin prctica de los ordenadores cunticos a la ruptura de los
cdigos criptogrficos ha despertado gran parte del inters en la computacin cuntica y la
informacin cuntica.
Hemos estado analizando los antecedentes histricos para la computacin cuntica y la
informacin cuntica. Por supuesto, ya que el campo ha crecido y madurado, ha brotado de sus
propias sub-campos de la investigacin, cuyos antecedentes se encuentran principalmente dentro
de la computacin cuntica y la informacin cuntica.
Quizs el ms llamativo de ellos es el estudio de entrelazamiento cuntico. El entrelazamiento es
un recurso mecnica cuntica nica que juega un papel clave en muchas de las aplicaciones ms
interesantes de la computacin cuntica y la informacin cuntica; enredo es el hierro a la edad de
bronce del mundo clsico. En los ltimos aos ha habido un gran esfuerzo tratando de
comprender mejor las propiedades de enredo considerada como un recurso fundamental de la
naturaleza, de una importancia comparable a la energa, la informacin, la entropa, o cualquier
otro recurso fundamental. Aunque no existe todava ninguna teora completa de enredo, se han
logrado algunos avances en la comprensin de esta extraa propiedad de la mecnica cuntica. Se
espera por muchos investigadores que un nuevo estudio de las propiedades de enredo dar ideas
que faciliten el desarrollo de nuevas aplicaciones en computacin cuntica y la informacin
cuntica.
1.1.2 Orientaciones futuras
Hemos visto algunos en la historia y el estado actual de la computacin cuntica y la informacin
cuntica. Qu hay del futuro? Qu puede hacer la computacin cuntica y cuntica ofrecen
informacin a la ciencia, a la tecnologa, y para la humanidad? Qu beneficios computacin
cuntica y la informacin cuntica confieren a sus campos de padres de ciencias de la
computacin, teora de la informacin, y la fsica? Cules son los problemas abiertos clave de la
computacin cuntica y la informacin cuntica? Vamos a hacer unos breves comentarios acerca
de estas preguntas generales antes de pasar a investigaciones ms detalladas.
Computacin cuntica e informacin cuntica nos ha enseado a pensar fsicamente sobre
computacin, y hemos descubierto que este enfoque produce muchas capacidades nuevas y
emocionantes para el procesamiento de la informacin y la comunicacin. Los cientficos en
computacin y tericos de la informacin se han dotado de una nueva y rica paradigma para la
exploracin. De hecho, en los trminos ms amplios que hemos aprendido que cualquier teora
fsica, no slo la mecnica cuntica, se puede utilizar como base para una teora del
procesamiento de la informacin y la comunicacin. Los frutos de estas exploraciones algn da
dar lugar a dispositivos de procesamiento de informacin con capacidades mucho ms all de los
sistemas informticos y de comunicaciones de hoy en da, con beneficios concomitantes y
desventajas para la sociedad en su conjunto.
Computacin cuntica y la informacin cuntica sin duda ofrecen desafos en abundancia como
para los fsicos, pero es quizs un poco sutil lo que la computacin y la informacin cuntica a la
fsica cuntica ofrece en el largo plazo. Creemos que as como hemos aprendido a pensar acerca
de la computacin fsica, tambin podemos aprender a pensar acerca de la fsica computacional.
Mientras que la fsica ha sido tradicionalmente una disciplina centrada en la comprensin objetos
'elementales' y los sistemas simples, muchos aspectos interesantes de la naturaleza surgen slo
cuando las cosas se hacen ms grandes y ms complicadas. La qumica y la ingeniera de acuerdo
con tal complejidad, hasta cierto punto, pero ms a menudo de una manera bastante ad hoc. Uno
de los mensajes de la computacin cuntica y la informacin es que las nuevas herramientas estn
disponibles para atravesar el abismo entre la pequea y la relativamente compleja: la
computacin y algoritmos proporcionan medios sistemticos para la construccin y la
comprensin de este tipo de sistemas. Aplicando las ideas de estos campos ya est empezando a
producir nuevos conocimientos sobre la fsica. Es nuestra esperanza que esta perspectiva florecer
en los prximos aos en una forma fructfera de entender todos los aspectos de la fsica.
Hemos examinado brevemente algunas de las principales motivaciones e ideas que subyacen a la
computacin cuntica y la informacin cuntica. En los apartados siguientes de este captulo se da
una introduccin ms tcnica pero todava accesible a estas motivaciones e ideas, con la
esperanza de que le da una vista de pjaro del campo, ya que actualmente est a punto.
1.2 bits cunticos
El bit es el concepto fundamental de la computacin clsica y la informacin clsica. Computacin
cuntica y la informacin cuntica se basan en un concepto anlogo, el bit cuntico, o qubit, para
abreviar. En esta seccin presentamos las propiedades de qubits individuales y mltiples,
comparando y contrastando sus propiedades a las de bits clsicos.
Qu es un qubit? Vamos a describir qubits como objetos matemticos con ciertas propiedades
especficas. "Pero espera", dices, 'pens qubits eran objetos fsicos. "Es cierto que los qubits, como
trozos, se dieron cuenta de que los sistemas fsicos reales, y en la seccin 1.5 y en el captulo 7
describimos en detalle cmo se hace esta conexin entre el punto matemtico abstracto de los
sistemas de visin y reales. Sin embargo, en su mayor parte tratamos los qubits como objetos
matemticos abstractos. La belleza de tratamiento de qubits como entidades abstractas es que
nos da la libertad para construir una teora general de la computacin cuntica y la informacin
cuntica que no depende de un sistema especfico para su realizacin.
Cul es, entonces, un qubit? As como un bit clsico tiene estado z - ya sea 0 o 1 - un qubit
tambin tiene un estado. Dos estados posibles para un qubit son los estados | 0) y | 1), que como
ya habrs adivinado corresponden a los estados 0 y 1 para un bit clsico. Notacin como '|>' se
llama la notacin de Dirac, y que vamos a ver a menudo, ya que es la notacin estndar para los
estados en la mecnica cuntica. La diferencia entre bits y qubits es que un qubit puede estar en
un estado que no | 0) o | 1). Tambin es posible formar combinaciones lineales de los estados, a
menudo llamados superposiciones:

> = | 0> + | 1

Los nmeros A y C son nmeros complejos, aunque para muchos propsitos, no se pierde mucho
por pensar en ellos como nmeros reales. Dicho de otra manera, el estado de un qubit es un
vector en un espacio de dos dimensiones vector complejo. Los estados especiales | 0) y |. 1) se
conocen como estados bsicos computacionales, y forman una base ortonormal para este espacio
vectorial.
Podemos examinar un poco para determinar si est en el estado 0 o 1 Por ejemplo, las
computadoras hacen esto todo el tiempo en que recuperar el contenido de su memoria. Ms bien
notablemente, no podemos examinar un qubit para determinar su estado cuntico, es decir, los
valores de y . En su lugar, la mecnica cuntica nos dice que slo podemos adquirir informacin
mucho ms restringida sobre el estado cuntico. Cuando medimos un qubit o bien obtenemos el
resultado 0, con probabilidad

,o el resultado 1, con probabilidad

. Naturalmente,

= l, , ya que las probabilidades deben sumar uno. Geomtricamente, podemos


interpretar esto como la condicin de que el estado del qubit se normalizar a la longitud 1. As,
en general, el estado de un qubit es un vector unidad en un espacio bidimensional vectorial
complejo.
Esta dicotoma entre el estado no observable de un qubit y las observaciones que podemos hacer
se encuentra en el corazn de la computacin cuntica y la informacin cuntica. En la mayora de
nuestros modelos abstractos del mundo, existe una correspondencia directa entre los elementos
de la abstraccin y el mundo real, al igual que los planes de un arquitecto para un edificio estn en
correspondencia con la construccin final. La falta de esta correspondencia directa en la mecnica
cuntica hace que sea difcil intuir el comportamiento de sistemas cunticos; sin embargo, hay una
correspondencia indirecta, para los estados qubit pueden ser manipulados y transformados en
formas que conducen a la medicin de los resultados que dependen claramente en las diferentes
propiedades del estado. Por lo tanto, estos estados cunticos tienen, consecuencias verificables
experimentalmente reales, que veremos son esenciales para el poder de la computacin cuntica
y la informacin cuntica.
La capacidad de un qubit a estar en un estado de superposicin va en contra de nuestra
comprensin "sentido comn" del mundo fsico que nos rodea. Un bit clsico es como una
moneda: cara o cruz arriba. Para monedas imperfectas, puede haber estados intermedios como
tener que equilibrado sobre un borde, pero los que pueden ser tomados en cuenta para el caso
ideal. Por el contrario, un qubit puede existir en un continuo de estados entre | 0> y | 1> hasta
que es observado. Permtanos enfatizar una vez ms que cuando se mide un qubit, slo alguna vez
da "0" o T como el resultado de la medicin - probabilsticamente. Por ejemplo, un qubit puede
estar en el estado

|
que, cuando se mide, da el resultado 0 cincuenta por ciento (

) del tiempo, y el resultado 1


cincuenta por ciento del tiempo. Vamos a volver a menudo a este estado, que se denota a veces
|+). A pesar de esta extraeza, qubits son decididamente reales, su existencia y el
comportamiento ampliamente validados por experimentos (que se examinan en la seccin 1.5 y
en el captulo 7), y muchos sistemas fsicos diferentes pueden utilizarse para realizar qubits. Para
tener una idea concreta de cmo un qubit puede ser realizado puede ser til enumerar algunas de
las maneras en que esto puede ocurrir realizacin: como las dos polarizaciones diferentes de un
fotn; como la alineacin de un espn nuclear en un campo magntico uniforme; como dos
estados de un electrn en rbita alrededor de un solo tomo tal como se muestra en la Figura 1.2.
En el modelo de tomo, el electrn puede existir en la llamada "tierra" o estados excitados ", que
vamos a llamar | 0> y | 1>, respectivamente. Por luz brillante en el tomo, con la energa
adecuada y durante un perodo de tiempo apropiado, es posible mover el electrn del | 0> estado
a la | 1> estado y viceversa. Pero lo ms interesante, al reducir el tiempo que brille la luz, un
electrn inicialmente en el estado | 0> se puede mover "a medio camino" entre | 0> y | 1>, en el |
+> Estado.


Naturalmente, una gran parte de la atencin se ha dado al "significado" o "interpretacin" que
podran atribuirse a estados de superposicin, y de la naturaleza intrnsecamente probabilstica de
observaciones sobre los sistemas cunticos. Sin embargo, por lo general, no vamos a ocuparnos de
estas discusiones en este libro. En lugar de ello, nuestra intencin ser desarrollar cuadros
matemticos y conceptuales que son predictivos.
Una foto de utilidad en el pensamiento sobre qubits es la siguiente representacin geomtrica.
Debido

= l, podemos reescribir la ecuacin (1.1) como



donde , y son nmeros reales. En el captulo 2 veremos que podemos ignorar el factor de


por la parte frontal, ya que no tiene efectos observables y por esa razn se puede escribir de
manera efectiva

Los nmeros y definir un punto en la unidad esfera tridimensional, como se muestra en la
Figura 1.3. Esta esfera es a menudo llamada la esfera Bloquear ^ proporciona un medio til para
visualizar el estado de un solo qubit, ya menudo sirve como un excelente banco de pruebas para
las ideas sobre computacin cuntica y la informacin cuntica. Muchas de las operaciones sobre
los qubits individuales que describimos ms adelante en este captulo estn perfectamente
descritos en la esfera foto Bloch. Sin embargo, debe tenerse en cuenta que esta intuicin es
limitada porque no hay generalizacin simple de la esfera Bloch conocido por mltiples qubits.

Cunta informacin est representada por un qubit? Paradjicamente, hay un nmero infinito de
puntos en la esfera unidad, por lo que, en principio, se podra almacenar un texto completo de
Shakespeare en la expansin binaria infinita de . Sin embargo, esta conclusin resulta ser
engaoso, debido al comportamiento de un qubit cuando se observa. Recordemos que la
medicin de un qubit dar slo ya sea 0 1 Adems, la medicin cambia el estado de un qubit,
colapsando desde su superposicin de | 0> y | 1> para el estado especfico consistente con el
resultado de la medicin. Por ejemplo, si la medicin de | +> da 0, entonces el estado post-
medicin de la qubit ser | 0>. Por qu ocurre este tipo de colapso? Nadie lo sabe. Como se
discuti en el captulo 2, este comportamiento no es ms que uno de los postulados
fundamentales de la mecnica cuntica. Lo que es relevante para nuestros propsitos es que a
partir de una sola medicin se obtiene nicamente un solo bit de informacin sobre el estado del
qubit, resolviendo as la aparente paradoja. Resulta que si un nmero infinito
idnticamente qubits preparados se midieron sera uno ser capaz de determinar y para un
qubit en el estado dado en la ecuacin A.1).
Pero una pregunta an ms interesante preguntarse podra ser: la cantidad de informacin est
representada por un qubit si no medimos? Esta es una pregunta con trampa, porque cmo se
puede cuantificar la informacin si no se puede medir.? Sin embargo, hay algo conceptualmente
importante aqu, porque cuando la naturaleza se desarrolla un sistema cuntico cerrado de qubits,
no realizar ningn 'mediciones', que al parecer hace un seguimiento de todas las variables
continuas que describen el estado, al igual que y . En un sentido, en el estado de un qubit.
Naturaleza oculta una gran cantidad of'hidden informacin '. Y an ms interesante, vamos a ver
en breve que la cantidad potencial de esta "informacin" adicional crece exponencialmente con el
nmero de qubits. La comprensin de esta informacin cuntica oculto es una pregunta que
tratamos de resolver durante gran parte de este libro, y que se encuentra en el corazn de lo que
hace la mecnica cuntica en una poderosa herramienta para el procesamiento de la informacin.
1.2.1 Mltiples qubits
Espacio de Hilbert es un lugar muy grande.
- Carlton Cuevas
Supongamos que tenemos dos qubits. Si se trataba de dos bits clsicos, entonces no habra cuatro
estados posibles, 00, 01, 10, y 11 de la misma manera, un sistema de dos qubit tiene cuatro
estados bsicos computacionales denotados | 00>, | 01>, | 10>, | 11 >. Un par de qubits tambin
puede existir en superposiciones de estos cuatro estados, por lo que el estado cuntico de dos
qubits implica la asociacin de un coeficiente complejo - a veces llamado una amplitud - con cada
estado base computacional, de tal manera que el vector de estado que describe los dos qubits es

Similar al caso de un nico qubit, el resultado de la medicin x (= 00, 01,10 o 11) se produce con
una probabilidad

con el estado de los qubits despus de la medicin siendo x>. Por tanto, la
condicin de que las probabilidades suma a uno se expresa por la condicin de normalizacin que
{}

donde la notacin '{}

significa 'el conjunto de cadenas de longitud dos


con cada letra que es cero o uno'. Para un sistema de dos qubits, podramos medir slo un
subconjunto de los qubits, primero diga el qubit, y probablemente se puede adivinar cmo
funciona esto: la medicin del primer qubit solo da 0 con

, dejando el estado
post-medicin

Nota cmo el estado post-medicin se vuelve a normalizarse por el factor de

para que ste siga cumpliendo la condicin de normalizacin, del mismo


modo que esperamos para un estado cuntico legtimo.
Un importante estado de dos qubit es el estado de Bell o EPR par,

Este estado-inocuo es responsable de muchas sorpresas en la computacin cuntica y la
informacin cuntica. Es el ingrediente clave en teleportacin cuntica y la codificacin
superdensa, que vamos a llegar a en la Seccin 1.3.7 y la Seccin 2.3, respectivamente, y el
prototipo de muchos otros estados cunticos interesantes. El estado Bell tiene la propiedad de
que en la medicin de la primera qubit, se obtienen dos resultados posibles: 0 con probabilidad
1/2, dejando el estado post-medicin | '> = | 00>, y 1 con una probabilidad media, dejando | '>
= | 11>. Como resultado, una medicin de la segunda qubit siempre da el mismo resultado que la
medicin de la primera qubit. Es decir, los resultados de medicin estn correlacionados. De
hecho, resulta que otros tipos de mediciones se pueden realizar en el estado Bell, mediante la
aplicacin de algunas operaciones primera a la primera o segunda qubit, y todava existe
interesantes que las correlaciones entre el resultado de una medicin en el primer y segundo
qubit. Estas correlaciones han sido objeto de gran inters desde que un famoso artculo de
Einstein, Podolsky y Rosen, en el que primero sealaron las extraas propiedades de estados como
el estado Bell. Ideas de EPR fueron tomadas y mejorado en gran medida por John Bell, quien
demostr un resultado asombroso: las correlaciones de medicin en el estado de Bell son ms
fuertes que nunca podran existir entre los sistemas clsicos. Estos resultados, que se describen en
detalle en la Seccin 2.6, fueron el primer indicio de que la mecnica cuntica permite el
procesamiento de informacin ms all de lo que es posible en el mundo clsico.
En trminos ms generales, podemos considerar un sistema de n qubits. Los estados base de
clculo de este sistema son de la forma | x1 x2 .. .Xn>, y por lo que un estado cuntico de un
sistema de este tipo se especifica por 2 ^ n amplitudes. Para n = 500 este nmero es mayor que el
nmero estimado de tomos en el Universo! Tratando de almacenar todos estos nmeros
complejos no sera posible en cualquier ordenador clsico concebible. Espacio de Hilbert es de
hecho un lugar muy grande. En principio, sin embargo. Naturaleza manipula tan enormes
cantidades de datos, incluso para los sistemas que contienen slo unos pocos cientos de tomos.
Es como si la naturaleza se mantiene 2 ^ 500 piezas ocultas de papel borrador en el lateral, en la
que ella realiza sus clculos como el sistema evoluciona. Este enorme potencial de poder de
cmputo es algo que nos gustara mucho que aprovechar. Pero cmo podemos pensar en la
mecnica cuntica como la computacin?
1.3 Computacin Cuntica
Los cambios que ocurren a un estado cuntico se pueden describir utilizando el lenguaje de la
computacin cuntica. Anloga a la forma en que un ordenador clsico se construye a partir de un
circuito elctrico que contiene los cables y puertas lgicas, una computadora cuntica se
construye a partir de un circuito cuntico que contiene cables y puertas cunticas elementales de
transportar y manipular la informacin cuntica. En esta seccin se describen algunas puertas
cunticas simples y circuitos presentes varios ejemplos que ilustran su aplicacin, incluyendo un
circuito que se teletransporta qubits!
1.3.1 puertas individuales qubit
Los circuitos de ordenador clsicas consisten en cables y puertas lgicas. Los alambres se utilizan
para transportar informacin alrededor del circuito, mientras que las puertas lgicas realizan
manipulaciones de la informacin, convirtindola de una forma a otra. Considere, por ejemplo,
puertas lgicas de un solo bit clsicos. El nico miembro no trivial de esta clase es la puerta NOT,
cuyo funcionamiento se define por su tabla de verdad., En el que se, los estados 0 y 1 se
intercambian 0-> 1 y 1> 0, que.
No puede un cuanto anloga definirse puerta para qubits? Imagina que tenamos algn proceso
que tuvo el estado | 0> al estado | 1>, y viceversa. Tal proceso, obviamente, sera un buen
candidato para un anlogo cuntico a la puerta NO. Sin embargo, la especificacin de la accin de
la puerta en los estados | 0> y 1> no nos dice lo que ocurre con superposiciones de los estados |
0> y | 1>, sin ms conocimientos sobre las propiedades de puertas cunticas. De hecho, la puerta
NOT cuntica acta linealmente ^ es decir, se necesita el estado

al estado correspondiente en el que el papel de | 0> y | 1> se han intercambiado,

Por qu el quantum puerta NOT acta de forma lineal y no en una forma no lineal es una
pregunta muy interesante, y la respuesta no es para nada evidente. Resulta que este
comportamiento lineal es una propiedad general de la mecnica cuntica, y muy bien motivado
empricamente; Por otra parte, el comportamiento no lineal puede conducir a paradojas
aparentes, tales como viajes en el tiempo, ms rpido- comunicacin que la luz, y violacines de la
segunda leyes de la termodinmica. Vamos a estudiar este punto en mayor profundidad en
captulos posteriores, pero por ahora slo tendremos que tomamos como dado.
No es una manera conveniente de representar el NO cuntica puerta en forma de matriz, que se
desprende directamente de la linealidad de puertas cunticas. Supongamos que definimos una
matriz X para representar la cuntica no la puerta de la siguiente manera:

(La X notacin para la cuntica no se utiliza por razones histricas.) Si el estado cuntico a
|0>+|1> se escribe en una notacin vectorial como

con la entrada superior correspondiente a la amplitud de | 0> y la entrada inferior de la amplitud |
1>, entonces la salida correspondiente de la puerta NOT es cuntica

Tenga en cuenta que la accin de la puerta NO es tomar el estado | 0) y sustituirlo por el estado
correspondiente a la primera columna de la matriz X, Del mismo modo, el estado | 1> se sustituye
por el estado correspondiente a la segunda columna de la matriz X.
As puertas cunticos en un nico qubit pueden ser descritas por dos por dos matrices. Existen
limitaciones en lo matrices pueden ser utilizadas como puertas cunticas? Resulta que hay.
Recordemos que la condicin de normalizacin requiere | | ^ 2 + | | ^ 2 = 1 para un
cunticos estado | 0> + | 1. Esto tambin debe ser cierto del estado cuntico '> = '| 0> + '|
1> despus de que la puerta ha actuado. Resulta que la condicin apropiada en la matriz que
representa la puerta es que la matriz U describir la puerta qubit solo es unitario ^ que es U = I ^ U,
donde U ^ es el adjunto de U (obtenido mediante la transposicin de conjugacin y entonces
complejo U), e I es la matriz identidad de dos en dos. Por ejemplo, para la puerta NO es fcil
verificar que X ^ X = I.
Sorprendentemente, esta restriccin unitaridad es la nica limitacin a puertas cunticas.
Cualquier matriz unitaria especifica una puerta cuntica vlido! La implicacin interesante es que
en contraste con el caso clsico, donde slo existe una puerta no trivial de un solo bit - el NO

puerta - hay muchas puertas qubits individuales no triviales. Dos de las ms importantes que
vamos a usar ms adelante son la puerta Z:

lo que deja | 0> sin cambios, y voltea el signo de | 1> para dar - | 1>, y la puerta de Hadamard

Esta puerta se describe a veces como si fuera un raz cuadrada de NO 'puerta, ya que se vuelve a
| 0> en (| 0> + | 1>) / 2 (primera columna de H)," a medio camino "entre | 0> y | 1>, y se vuelve |
1) en (| 0> - | 1>) / 2 (segunda columna de H), que tambin es "medio camino" entre | 0> y | 1>.
Tenga en cuenta, sin embargo, que H ^ 2 no es una puerta NOT, tan simple lgebra muestra que H
^ 2 = I, y por lo tanto la aplicacin de H dos veces a un estado no hace nada para l.
La puerta de Hadamard es una de las puertas cunticas ms tiles, y vale la pena tratar de
visualizar su funcionamiento teniendo en cuenta el mbito de imagen Bloch. En esta imagen,
resulta que las puertas qubits individuales corresponden a rotaciones y reflexiones de la esfera. La
operacin de Hadamard es slo una rotacin de la esfera sobre el eje y por 90 , seguido de una
reflexin a travs del plano xy, como se ilustra en la Figura 1.4. Algunos importantes puertas
qubits individuales se muestran en la Figura 1.5, y contrastan con el caso clsico.

Hay una infinidad de dos por dos matrices unitarias, y por lo tanto infinitamente muchas puertas
qubits individuales. Sin embargo, resulta que las propiedades del conjunto completo se puede
entender a partir de las propiedades de un conjunto mucho ms pequeo. Por ejemplo, como se
explica en el recuadro 1.1, un nico qubit puerta unitaria arbitraria se puede descomponer como
un producto de rotaciones

y una puerta que ms tarde vamos a entender como una rotacin alrededor del eje Z,

junto con un (global) de desplazamiento de fase - un multiplicador constante de la forma e ^ (i).
Estas puertas se pueden desglosar an ms - no es necesario para poder hacer estas puertas para
arbitraria, y , pero podemos construir arbitrariamente buenas aproximaciones a estas puertas
usando slo ciertos valores fijos especiales de , y . De esta forma es posible construir una sola
puerta qubit arbitraria usando un conjunto finito de puertas cunticas. Ms en general, una
computacin cuntica arbitrario en cualquier nmero de qubits puede ser generado por un
conjunto finito de puertas que se dice que es universal para la computacin cuntica. Para obtener
un conjunto tan universal, primero tenemos que introducir algunas puertas cunticas que implican
mltiples qubits.

Recuadro 1.1: Descomposicin de las operaciones de qubits individuales
En la Seccin 4.2 a partir de la pgina 174 se demuestra que una matriz unitaria 2x2 arbitraria se
puede descomponer como

Donde , y , y son de valor real. Observe que la segunda matriz es simplemente una rotacin
normal. Resulta que los primeros y ltimos matrices tambin pueden entenderse como rotaciones
en un plane.This descomposicin diferente se pueden utilizar para dar una receta exacta para la
realizacin de un solo qubit puerta lgica cuntica arbitrario.
1.3.2 Mltiples puertas qubit
Ahora vamos a generalizar de uno a varios qubits. Figura 1.6 muestra cinco puertas clsicos
notables mltiples bits, la AND, OR, XOR (OR exclusiva), NAND y NOR. Un resultado terico
importante es que cualquier funcin en los bits puede calcularse a partir de la composicin de
puertas NAND solos, que as se conoce como una puerta universal. Por el contrario, el XOR solo o
incluso junto con NO no es universal. Una forma de ver esto es tener en cuenta que la aplicacin
de una puerta XOR no cambia la paridad total de los bits. Como resultado, cualquier circuito que
implica solamente NO y puertas XOR se, si dos entradas X e Y tienen la misma paridad, dar salidas
con la misma paridad, que restringen la clase de funciones que puede ser calculado, y por lo tanto
excluyen la universalidad.
El multi-qubit puerta lgica cuntica prototpico es la puerta-no controlados o CNOT. Esta puerta
tiene dos qubits de entrada, conocidos como el qubit de control y el qubit objetivo,
respectivamente. La representacin de un circuito para la CNOT se muestra en la parte superior
derecha de la figura 1.6; la lnea superior representa el qubit de control, mientras que la lnea
inferior representa la meta

Figura 1.6. A la izquierda estn algunas puertas de un solo bit y mltiples estndares, mientras que
a la derecha est la puerta qubit mltiples prototpico, el NO-controlado. La representacin de la
matriz de la controlada por el NO, UcN-, est escrito con respecto a las amplitudes de | 00>, | 01>,
| 10> y | 11>, en ese orden.
Otra forma de describir la CNOT es como una generalizacin de la puerta XOR clsica, ya que la
accin de la puerta se puede resumir como A^B> |A,B A>, donde es adicin mdulo dos,
que es exactamente lo la puerta XOR hace. Es decir, el qubit de control y el qubit objetivo se XOR y
se almacena en el qubit objetivo.
Sin embargo, otra manera de describir la accin del CNOT es dar una representacin de la matriz,
como se muestra en la parte inferior derecha de la Figura 1.6. Usted puede verificar fcilmente
que la primera columna de la UCN describe la transformacin que se produce a | 00>, y lo mismo
para los otros estados bsicos computacionales, | 01>, | 10> y | 11>. Como para el caso nico
qubit, el requisito de que se conserve probabilidad se expresa en el hecho de que UCN es una
matriz unitaria ^ es decir, U ^ cnUcn = I.

Nos dimos cuenta de que el CNOT puede considerarse como un tipo de generalizada-la puerta
XOR. Pueden otras puertas clsicas tales como la Nend o la puerta XOR regular de ser entendidas
como puertas unitarias en un sentido similar a la forma en que la puerta NOT cuntica representa
la puerta NOT clsica.? Resulta que esto no es posible. La razn es porque las puertas XOR y NAND
son esencialmente irreversible o no invertible. Por ejemplo, dada la salida A B de una puerta
XOR, no es posible determinar lo que las entradas A y B fueron; hay una prdida irrecuperable de
informacin asociada con la accin irreversible de la puerta XOR. Por otro lado, puertas cunticas
unitarias son siempre invertible, ya la inversa de una matriz unitaria es tambin una matriz
unitaria, y por lo tanto una puerta cuntica siempre puede ser invertida por otra puerta cuntica.
La comprensin de cmo hacer la lgica clsica en este sentido reversible o invertible ser un paso
crucial en la comprensin de cmo aprovechar la mecnica ofquantum poder para el clculo.
Vamos a explicar la idea bsica de cmo hacer computacin reversible en la Seccin 1.4.1.
Por supuesto, hay muchas puertas cunticas interesantes distintas de la-no controlados. Sin
embargo, en cierto sentido las puertas-no controlados e individuales qubits son los prototipos
para todas las dems puertas debido a la universalidad siguiente resultado notable: Cualquier
puerta lgica qubit mltiple puede estar compuesta de CNOT y puertas qubits individuales. La
prueba se da en la seccin 4.5, y es el paralelo cuntica de la universalidad de la puerta NAND.
1.3.3 Mediciones en bases distintas de la base de clculo
Hemos descrito las mediciones cunticas de un nico qubit en los estatales | 0) + | 1> como
que arroje el resultado 0 1, y dejando el qubit en el estado correspondiente | 0> o | 1>, con
probabilidades respectivas

.De hecho, la mecnica cuntica permite algo ms


versatilidad en la clase de las mediciones que se puede realizar, aunque ciertamente no se acerca
lo suficiente para recuperar una y C a partir de una sola medicin!
Tenga en cuenta que los estados | 0> y | 1> representan slo una de muchas opciones posibles de
estados base para un qubit. Otra posible opcin es el conjunto|+> (|0> + |1>)/\/2 and | (|0>
- |1>)/\/2.. Un estado arbitrario | > = | 0) + | 1) puede ser re-expresada en trminos de los
estados | +> y | :

Resulta que es posible tratar la | +> y | -> estados como si fueran los estados base de clculo, y
medir con respecto a esta nueva base. Naturalmente, la medicin con respecto a las | +>, | ->
resultados bsicos en el resultado '+' con probabilidad (| + |) 2/2 y el resultado '-' con
probabilidad (| - |) ^ 2.2, con los correspondientes estados post-medicin 1 +> y | ->,
respectivamente.
De manera ms general, dada cualquier estados base \ > y \ > para un qubit, es posible expresar
un estado arbitrario como una combinacin lineal \ a) + \ b) de esos estados. Adems, siempre
que los estados son ortonormales, es posible realizar una medicin con respecto a la. | A>, | b>
base, dando el resultado de una con probabilidad. | | ^ 2 y b con probabilidad | | ^ 2 . La
restriccin ortonormalidad es necesario para que | ap + | / 3p = Lwe esperar de probabilidades.
De manera anloga es posible, en principio, para medir un sistema cuntico de muchos qubits con
respecto a una base ortonormal arbitraria. Sin embargo, slo porque es posible, en principio, no
significa que dicha medicin se puede hacer fcilmente, y volvemos tarde a la cuestin de la
eficiencia con que se puede realizar una medicin en forma arbitraria.
Hay muchas razones para utilizar este formalismo extendida para mediciones cunticas, pero en
ltima instancia, la mejor es la siguiente: el formalismo nos permite describir los resultados
experimentales observados, como veremos en nuestra discusin del experimento de Stern-
Gerlach en la Seccin 1.5.1. Un formalismo an ms sofisticado y cmodo (pero esencialmente
equivalente) para la descripcin de las mediciones cunticas se describe en el siguiente captulo,
en la Seccin 2.2.3.
1.3.4 circuitos cunticos
Ya hemos visto un par de circuitos cunticos simples. Veamos un poco ms en detalle los
elementos de un circuito cuntico. Un circuito cuntico simple que contiene tres puertas cunticas
se muestra en la Figura 1.7. El circuito es para ser ledo de izquierda a derecha. cada lnea
en el circuito representa un alambre en el circuito cuntico. Este cable no se corresponde
necesariamente con un cable fsico; que puede corresponder en su lugar el paso del tiempo, o tal
vez a una partcula fsica tal como un fotn - una partcula de luz - moverse de un lugar a otro a
travs del espacio. Es convencional para asumir que la entrada al circuito de estado es un estado
base computacional, por lo general el estado que consta de todos | 0> s. Esta regla se rompe con
frecuencia en la literatura sobre la computacin cuntica y la informacin cuntica, pero se
considera de buena educacin para informar al lector cuando ste es el caso.
El circuito de la figura 1.7 ejecutan una tarea sencilla pero til - que intercambia los estados de los
dos qubits. Para ver que este circuito lleva a cabo la operacin de canje, tenga en cuenta que la
secuencia de las puertas tiene la siguiente secuencia de efectos en un estado base computacional
| a, b>|,

donde se realizan todas las adiciones modulo 2. El efecto del circuito, por lo tanto, es para
intercambiar el estado de los dos qubits.

Figura 1.7. Circuito intercambiando dos qubits, y un smbolo esquemtico equivalente notacin
para este circuito comn y til.
Hay algunas caractersticas permitidos en los circuitos clsicos que no suelen estar presentes en
los circuitos cunticos. En primer lugar, no permitimos 'loops', es decir, la regeneracin de una
parte del circuito cuntico a otro; se dice que el circuito es acclico. En segundo lugar, los circuitos
clsicos permita que los cables que se 'unieron' juntos, una operacin conocida como fanin, con el
solo cable resultante que contiene el operador OR de las entradas. Obviamente esta operacin no
es reversible y por lo tanto no unitario, por lo que no permiten FANIN en nuestros circuitos
cunticos. En tercer lugar, la operacin inversa, FANOUT, lo cual se producen varias copias de un
bit se tambin no permitido en circuitos cunticos. De hecho, resulta que la mecnica cuntica
prohbe la copia de un qubit, haciendo la operacin FANOUT imposible! Vamos a ver un ejemplo
de esto en la siguiente seccin cuando tratamos de disear un circuito para copiar un qubit.
A medida que avanzamos vamos a introducir nuevas puertas cunticas segn sea necesario. Es
conveniente introducir otra convencin sobre los circuitos cunticos en este punto. Esta
convencin se ilustra en la Figura 1.8. Supongamos que U es cualquier matriz unitaria que acta
sobre un nmero n de qubits, por lo que U puede ser considerada como una puerta cuntica en
los qubits. Entonces podemos definir una puerta de U controlado que es una extensin natural de
la puerta con mando-NO. Esta puerta tiene un nico qubit control., Indicada por la lnea con el
punto negro, y n objetivo qubits., Indicada por la U. en caja Si el qubit control se establece en 0,
entonces no pasa nada a los qubits de destino. Si el qubit control se establece en 1, entonces la
puerta de U se aplica a los qubits de destino. El ejemplo prototpico de la U-controlado puerta es la
puerta NO-controlado, que es una puerta controlada de U con U = X, como se ilustra en la Figura
1.9.
Otra operacin importante es la medicin, la cual representamos con un smbolo 'metro'.

Figura 1.9. Dos representaciones diferentes para el-no se controla.

como se muestra en la Figura 1.10. Como se ha descrito anteriormente, esta operacin convierte
un solo estado qubit > = | 0> + | 1> en un probabilstica bit M clsica (distinguirse de un
qubit dibujando como un alambre de doble lnea), que es 0 con una probabilidad | | 2, o con
probabilidad 1 | | ^ 2.

Figura 1.10. Quantum smbolo de circuito para la medicin.
Hallaremos circuitos cunticos tiles como modelos de todos los procesos cunticos, incluyendo
pero no limitado a la computacin, comunicacin, e incluso ruido cuntico. Varios ejemplos
simples ilustran esta continuacin.
1.3.5 Qubit circuito copia?
La puerta CNOT es til para demostrar una propiedad particularmente fundamental de la
informacin cuntica. Considere la tarea de copiar un bit clsico. Esto se puede hacer usando una
clsica CNOT puerta, que lleva en el bit para copiar (en algn estado desconocido x) y una
memoria de trabajo bit inicializado a cero, como se ilustra en la Figura 1.11. La salida es de dos
bits, ambos de los cuales estn en el mismo estado x.
Supongamos que tratamos de copiar un qubit en el estado desconocido | > = a | 0> + b | 1> de la
misma manera mediante el uso de una puerta CNOT. El estado de la entrada de los dos qubits se
puede escribir como

La funcin de CNOT es negar el segundo qubit cuando el primer qubit es 1, y por lo tanto la salida
es simplemente una | 00> + b | 11>. Hemos copiado con xito | >? Es decir, hemos creado el
estado | > | >? En el caso en que | > = | 0> o | > = | 1> que es precisamente lo que hace
este circuito; es posible utilizar circuitos cunticos para copiar la informacin codificada clsica
como | 0> o a | 1>. Sin embargo, para un estado general | > vemos que


Figura 1.11. Circuitos clsicos y cunticos a "copiar" un poco desconocida o qubit.

Comparando con a | 00) + b | 11), vemos que a menos que ab = 0El 'copiar circuito' anterior no
copiar la entrada de estado cuntico. De hecho, resulta imposible hacer una copia de un estado
cuntico desconocido. Esta propiedad, que qubits no pueden copiarse, es conocido como el
teorema de no clonacin, y es una de las principales diferencias entre la informacin cuntica y
clsica. El teorema de no clonacin es discutido en ms detalle en el Recuadro 12.1 en la pgina
532; prueba de ello es muy simple, y le animamos a que vaya directamente y leer la prueba ahora.
Hay otra manera de ver el fallo en el circuito de la figura 1.11, basado en la intuicin de que un
qubit contiene alguna informacin "oculta" no puede acceder directamente a la medicin.
Considere lo que sucede cuando medimos uno de los qubits de estado a | 00> + b | 11>. Como se
ha descrito anteriormente, se obtiene ya sea 0 o 1 con probabilidades | a | ^ 2 y | 6p. Sin
embargo, una vez que se mide un qubit, el estado de la otra se determina por completo, y no hay
informacin adicional se puede obtener de una y h. En este sentido, la informacin oculta
adicional transportada en el qubit original de | > se perdi en la primera medicin, y no puede
ser recuperado. Si, sin embargo, el qubit haba sido copiado, entonces el estado de la otra qubit
todava debe contener algo de esa informacin oculta. Por lo tanto, no puede haber creado una
copia.

1.3.6 Ejemplo: estados de Bell
Vamos a considerar un circuito ligeramente ms complicado, se muestra en la figura 1.12, que
tiene una puerta de Hadamard seguido de un CNOT, y transforma los cuatro estados bsicos de
clculo de acuerdo con la tabla dada. Como un ejemplo explcito, la puerta de Hadamard toma la
entrada | 00> a (| 0> + | 1>) | 0) / V2, y luego el CNOT da el estado de salida (| 00> + | 11>) / V2.
Tenga en cuenta cmo funciona esto: en primer lugar, la transformacin de Hadamard pone el
qubit superior en una superposicin; esto, entonces acta como una entrada de control a la CNOT,
y el objetivo se invierte slo cuando el control est 1. Los estados de salida

que se conoce como los estados de Bell, oa veces los estados EPR o pares EPR, despus de algunas
de las personas - Bell, y Einstein, Podolsky y Rosen - quien primero seal las extraas propiedades
de los estados como estos. La notacin mnemotcnica

puede ser
entendida a travs de las ecuaciones

donde es la negacin de y.

Figura 1.12. Circuito de Quantum para crear estados de Bell, y su quantum 'tabla de verdad'-
entrada ouput.

1.3.7 Ejemplo: la teleportacin cuntica
Ahora vamos a aplicar las tcnicas de las ltimas pginas que entender algo no trivial,
sorprendente y muy divertido - teleportacin cuntica! El teletransporte cuntico es una tcnica
para mover los estados cunticos alrededor, incluso en ausencia de un canal de comunicaciones
cuntica que une el remitente del estado cuntico para el receptor.
As es como funciona la teleportacin cuntica. Alice y Bob se conocieron hace mucho tiempo,
pero ahora viven lejos. Si bien en conjunto generaron un par EPR, cada uno tomando un qubit del
par EPR cuando se separaron. Muchos aos despus, Bob est en la clandestinidad, y la misin de
Alice, si ella decide aceptarla, es entregar un qubit | > a Bob. Ella no sabe el estado del qubit, y
por otra parte slo puede enviar informacin clsica de Bob. En caso de Alice aceptar la misin?
Intuitivamente, las cosas se ven bastante mal para Alice. Ella no sabe el estado | > del qubit tiene
que enviar a Bob, y las leyes de la mecnica cuntica impedir que la determinacin del estado
cuando ella slo tiene una sola copia de | > en su poder. Lo que es peor, incluso si lo hizo saber
el estado | >, que describe con precisin toma una cantidad infinita de informacin clsica desde
| > toma valores en un espacio continuo. As que incluso si ella saba | >, que llevara por
siempre por Alice para describir el estado de Bob. No se ve bien para Alice. Afortunadamente para
Alice, la teleportacin cuntica es una manera de utilizar el par EPR enredado con el fin de enviar
|> a Bob, con slo una pequea sobrecarga de la comunicacin clsica.
A grandes rasgos, los pasos de la solucin son las siguientes: Alice interacta el qubit | ^) con su
mitad del par EPR, y luego mide los dos qubits en su poder, la obtencin de uno de los cuatro
posibles resultados clsicos, 00, 01, 10 y 11. Ella enva esta informacin a Bob. Dependiendo
mensaje clsica de Alicia. Bob lleva a cabo una de las cuatro operaciones en su mitad del par EPR.
Sorprendentemente, al hacer esto se puede recuperar el estado original | >!
El circuito cuntico se muestra en la figura 1.13 da una descripcin ms precisa de la teleportacin
cuntica. El estado de ser teletransportado es | > = | 0) + | 1), donde ^ A y E son amplitudes
desconocidos. La entrada del Estado en el circuito | o> es


Figura 1.13. Circuito de Quantum para teletransportarse de un qubit. Las dos lneas superiores
representan el sistema de Alice, mientras que el fondo es el sistema de Bob. Los medidores
representan la medicin, y las lneas dobles que salen de ellos llevan bits clsicos (recordemos que
las solas lneas denotan qubits).

donde utilizamos la convencin de que los dos primeros qubits (a la izquierda) pertenecen a Alice,
y la tercera qubit a Bob. Como explicamos anteriormente, segundo qubit de Alicia y qubit de Bob
comienzan en un estado EPR. Alice enva sus qubits a travs de una puerta CNOT, obteniendo

A continuacin, enva el primer qubit travs de una puerta de Hadamard, obteniendo

Este estado puede ser re-escrita de la siguiente forma, simplemente reagrupando trminos:

Esta expresin natural se divide en cuatro perodos. El primer trmino tiene qubits de Alicia en el
estado | 00>, y qubit de Bob en los estado | 0> + | 1> - que es el estado original | >. Si Alice
realiza una medicin y obtiene el resultado 00 entonces el sistema de Bob estar en el estado |
>. Del mismo modo, a partir de la expresin anterior podemos leer estado apagado medicin
posterior de Bob, dado el resultado de la medicin de Alice:

Dependiendo de los resultados de medicin de Alice, qubit de Bob va a terminar en uno de estos
cuatro estados posibles. Por supuesto, saber qu estado se encuentra Bob se le debe decir el
resultado de la medicin de Alice -. Demostraremos ms adelante que es este hecho el que impide
teleportationfrom que se utiliza para transmitir informacin ms rpido que la luz. Una vez que
Bob se ha enterado del resultado de medicin. Bob puede 'arreglar' su estado, la recuperacin |
>, aplicando la puerta cuntica adecuada. Por ejemplo, en el caso en que la medicin se obtiene
00, Bob no necesita hacer nada. Si la medida es 01 entonces Bob puede arreglar su estado
aplicando la puerta X. Si la medida es 10, entonces Bob puede arreglar su estado aplicando la
puerta Z. Si la medida es 11 entonces Bob puede arreglar su estado aplicando primero una X y
luego una puerta Z. Resumiendo. Bob necesita para aplicar la transformacin Z ^ X ^ M1 M2
(ntese cmo el tiempo va de izquierda a derecha en los esquemas, pero en productos de matriz
de trminos de la derecha ocurra primero) a su qubit, y l se recuperar el estado | >.
Hay muchas caractersticas interesantes de la teletransportacin, algunos de los cuales vamos a
returnto ms adelante en el libro. Por ahora nos contentamos con comentar un par de aspectos.
En primer lugar, no permitir que la teleportacin uno para transmitir estados cunticos ms rpido
que la luz? Esto sera bastante peculiar, porque la teora de la relatividad implica que ms rpido
que la transferencia de informacin de la luz podra utilizarse para enviar informacin hacia atrs
en el tiempo. Afortunadamente, el teletransporte cuntico no permite la comunicacin ms rpida
que la luz, porque para completar el teletransporte Alice debe transmitir su resultado de la
medicin a Bob por un canal de comunicaciones clsica. Vamos a mostrar en la Seccin 2.4.3 que
sin esta comunicacin clsica, la teletransportacin no transmite ninguna informacin en absoluto.
El canal clsico est limitada por la velocidad de la luz, por lo que se deduce que el teletransporte
cuntico no puede realizarse ms rpido que la velocidad de la luz, la resolucin de la paradoja
aparente.
Un segundo enigma sobre la teletransportacin es que aparece para crear una copia del estado
cuntico de ser teletransportado, en aparente violacin del teorema de no clonacin discuti en la
Seccin 1.3.5. Esta violacin es slo ilusoria ya que despus del proceso de teletransporte slo el
qubit objetivo se deja en el estado | >, y el qubit de datos original termina en uno de los estados
bsicos computacionales | 0> o | 1>, dependiendo del resultado de la medicin en el primer qubit.
Qu podemos aprender de la teleportacin cuntica? Bastantes! Es mucho ms que un buen
truco que uno puede hacer con los estados cunticos. El teletransporte cuntico hace hincapi en
la variabilidad entre los diferentes recursos en la mecnica cuntica, que muestra que una
compartida EPR par junto con dos bits clsicos de la comunicacin es un recurso, al menos, el
equivalente de un qubit de comunicacin. Computacin cuntica y la informacin cuntica ha
revelado una gran cantidad de mtodos para el intercambio de recursos, muchos construidos
sobre la teleportacin cuntica. En particular, en el captulo 10 se explica como el teletransporte
se puede utilizar para construir puertas cunticas que son resistentes a los efectos del ruido, y en
el captulo 12 nos muestran que la teletransportacin est ntimamente relacionada con las
propiedades de los cdigos correctores de errores cunticos. A pesar de estas conexiones con
otras asignaturas, es justo decir que slo estamos empezando a entender por qu es que la
teleportacin cuntica es posible en la mecnica cuntica; en captulos posteriores nos esforzamos
para explicar algunas de las ideas que hacen que tal entendimiento posible.

1.4 Los algoritmos cunticos
Qu clase de clculos se pueden realizar utilizando circuitos cunticos? Cmo se compara esa
clase con los clculos que se pueden realizar utilizando circuitos lgicos clsicos? Podemos
encontrar una tarea que un ordenador cuntico puede funcionar mejor que un ordenador clsico?
En esta seccin investigamos estas preguntas, explicando cmo realizar clculos clsicos de
ordenadores cunticos, dando algunos ejemplos de problemas forwhich ordenadores cunticos
ofrecen una ventaja sobre los ordenadores clsicos, y resumir los algoritmos cunticos conocidos.
1.4.1 clculos clsicos de un ordenador cuntico
Podemos simular un circuito de lgica clsica mediante un circuito cuntico? Como era de
esperar, la respuesta a esta pregunta resulta ser que s. Sera muy sorprendente si este no fuera el
caso, como los fsicos creen que todos los aspectos del mundo que nos rodea, incluyendo los
circuitos lgicos clsicos, en ltima instancia, pueden explicarse mediante mecnica cuntica.
Como se seal anteriormente, la razn circuitos cunticos no pueden utilizarse directamente
para simular circuitos clsicos es porque puertas lgicas cunticas unitaria son inherentemente
reversible, mientras que muchas puertas lgicas clsicas tales como la puerta NAND son
inherentemente irreversible.
Cualquier circuito clsico puede ser sustituido por un circuito equivalente que contiene slo
elementos reversibles, haciendo uso de una puerta reversible conocido como la puerta de Toffoli.
La puerta de Toffoli tiene tres bits de entrada y tres bits de salida, como se ilustra en la Figura
1.14. Dos de los bits son bits de control que no son afectados por la accin de la puerta de Toffoli.
El tercer bit es un bit de destino que se volc si ambos bits de control se ponen a 1, y por lo dems
se queda solo. Tenga en cuenta que la aplicacin de la puerta de Toffoli dos veces para un
conjunto de bits tiene el efecto (a, b, c) (a, b, c ab) (a, b, c), y por lo tanto la puerta Toffoli
es una puerta reversible , ya que tiene una inversa - en s.

Figura 1.14. Tabla de verdad para la puerta ToffoH, y su representacin circuito.

La puerta de Toffoli se puede utilizar para simular puertas NAND, como se muestra en la figura
1.15, y tambin puede ser utilizado para hacer FANOUT, como se muestra en la Figura 1.16. Con
estas dos operaciones se hace posible simular todos los dems elementos en un circuito clsico, y
por lo tanto un circuito clsico arbitraria puede ser simulado por un circuito equivalente
reversible.
La puerta de Toffoli ha sido descrito como una puerta clsica, sino que tambin se puede
implementar como una puerta lgica cuntica. Por definicin, la aplicacin lgica cuntica de la
puerta de Toffoli simplemente permuta estados base de clculo de la misma manera como la
puerta clsica Toffoli. Por ejemplo, la puerta de Toffoli cuntica que acta en el estado | 110>
voltea el tercer qubit porque los dos primeros se establecen, lo que resulta en el estado | 111>. Es
tedioso, pero no difcil de escribir esta transformacin como una matriz de 8 por 8, U, y verificar
explcitamente que U es una matriz unitaria, y por lo tanto la puerta Toffoli es una puerta cuntica
legtimo. La puerta cuntica Toffoli se puede utilizar para simular irreversibles puertas lgicas
clsicas, as como el classica

Figura 1.15. Circuito clsica aplicacin de una puerta NAND utilizando una puerta Toffoli. Los dos
primeros bits representan la entrada a la NAND, mientras que el tercer bit se prepara en el estado
estndar 1, a veces conocido como un estado ancilla. La salida del NAND est en el tercer bit.

Figura 1.16. FANOUT con la puerta Toffli, con el segundo bit es la entrada a la FAMOUT (y los otros
dos bits estados Ancilla estndar), y la salida del FONAOUT que aparece en la segunda y tercera
bits.
Puerta Toffoli era, y asegura que los ordenadores cunticos son capaces de realizar cualquier
clculo que un ordenador (determinista) clsica puede hacer.
Y si el ordenador clsico es no determinista, es decir, tiene la capacidad de generar bits aleatorios
a ser utilizados en el clculo? No en vano, es fcil para un ordenador cuntico para simular esto.
Para llevar a cabo una simulacin tal, resulta ser suficiente para producir lanzamientos de
monedas justas azar, lo cual puede hacerse mediante la preparacin de un qubit en el estado | 0>,
de enviarlo a travs de una puerta de Hadamard para producir (| 0> + | 1>) / 2, y luego medir el
estado. El resultado ser | 0> o | 1> 50/50 con la probabilidad. Esto proporciona un ordenador
cuntico con la capacidad de simular de manera eficiente un ordenador clsico no determinista.
Por supuesto, si la capacidad de simular los ordenadores clsicos eran la nica caracterstica de los
ordenadores cunticos no habra mucho sentido en ir a todos los problemas de la explotacin de
los efectos cunticos! La ventaja de la computacin cuntica es que las funciones mucho ms
potentes se pueden calcular utilizando qubits y puertas cunticas. En las siguientes secciones se
explica cmo hacer esto, que culmin en el algoritmo de Deutsch-Jozsa, nuestro primer ejemplo
de un algoritmo cuntico capaz de resolver un problema ms rpido que cualquier algoritmo
clsico.
1.4.2 Quantum paralelismo
Paralelismo Quantum es una caracterstica fundamental de muchos algoritmos cunticos.
Heursticamente camente, ya riesgo de simplificar en exceso, el paralelismo cuntico permite que
los ordenadores cunticos para evaluar una funcin f {x) para muchos valores diferentes de x
simultneamente. En esta seccin se explica cmo funciona el paralelismo cuntico, y algunas de
sus limitaciones. Supongamos que f {x): {0, 1} {0, 1} es una funcin con un dominio de un bit y el
rango. Manera Aconvenient de calcular esta funcin en un ordenador cuntico es considerar un
ordenador cuntico de dos qubit que se inicia en el estado | x, y>. Con una secuencia apropiada de
puertas lgicas es posible transformar este estado en | x, y f (x)), donde indica adicin mdulo
2; el primer registro se llama el registro de 'datos', y el segundo registro de la 'diana' registrarse.
Damos la transformacin definida por el mapa | x, y> | x, y f {x)> un nombre, Uf, y
observamos que es fcil demostrar que ser unitaria. Si y = 0, entonces el estado final de la segunda
qubit es slo el valor de f {x). (En la Seccin 3.2.5 se muestra que da un circuito clsico para la
informtica f hay un circuito cuntico de la eficiencia comparable que calcula la transformacin Uf
en un ordenador cuntico. Para nuestros propsitos puede ser considerado como un recuadro
negro.)

Figura 1.17. Circuito de Quantum para evaluar / (O) y / (I) simultneamente. Uf es el circuito
cuntico que toma insumos como | x, y> a | x, y f {x)>.
Considere el circuito mostrado en la figura 1.17, que se aplica a una entrada Uf no en la base
computacional. En cambio, el registro de datos se prepara de la superposicin (|0) + |1>), que
se puede crear con una puerta de Hadamard que acta sobre | 0>. Entonces aplicamos Uf, lo que
resulta en el estado:

Este es un estado extraordinario! Los diferentes trminos contienen informacin sobre tanto / (O)
y f (I); es casi como si hubisemos evaluado f {x) para dos valores de x de forma simultnea, una
caracterstica conocida como "paralelismo cuntico". A diferencia de paralelismo clsica, donde
mltiples circuitos cada uno construidos para calcular f {x) se ejecutan simultneamente, aqu se
emplea una sola f {x) circuito para evaluar la funcin de mltiples valores de x de forma
simultnea, aprovechando la capacidad de un ordenador cuntico que ser en superposiciones de
diferentes estados.
Este procedimiento se puede generalizar fcilmente a las funciones en un nmero arbitrario de
bits, mediante el uso de una operacin general conocida como la transformacin de Hadamard, o,
a veces la Walsh-Hadamard transformar. Esta operacin es slo n puertas Hadamard que actan
en paralelo en n qubits. Por ejemplo, se muestra en la Figura 1.18 es el caso n = 2 con qubits
preparados inicialmente como | 0>, que da

como salida. Escribimos

para denotar la accin paralela de dos puertas Hadamard, y ley '()


"como" tensor ". Ms en general, el resultado de realizar la transformada de Hadamard en n

También podría gustarte