Sei sulla pagina 1di 68

Introduccin a la Computacin Cuntica o o a

Jos Castro e October 6, 2004

ii

Chapter 1 Introduccin o
Thomas Young, el cual no solo fue f sico sino tambin Egiptlogo y respone o sable de haber descrifrado la piedra de Rosetta, se le acredita haber ideado, tal vez uno de los experimentos ms importantes en la historia de la f a sica: a inicios del siglo XIX Young logro demostrar que la luz es una onda. El experimento que devis, llamado el experimento de dos ranuras, ha sido utio lizado en otras reas para demostrar la naturaleza de ondas de muchos otros a fenmenos f o sicos, as que es instructivo repasar su confeccin. o En el experimento, una fuente de luz es ubicada en un cuarto oscuro, el cual se encuentra totalmente dividido por una pantalla. Del otro lado de la pantalla se encuentra una pared con un material fotosensible. La luz no puede atravesar la pantalla y afectar la pared, as que abrimos (con un cuchillo) una ranura delgada y vertical en la pantalla. Si observamos el patrn generado o por la luz que atraviesa la ranura y marca la pared, podremos ver que el efecto es una gradacin continua de claro a oscuro, con la mayor concentracin de o o claro inmediatamente detrs del punto donde se ha efectuado la ranura en a linea directa con la fuente de luz. Sin embargo, si efectuamos otra ranura paralela a la anterior en la pantalla, el patrn generado en la pared ahora es o una secuencia de rayas verticales. El razonamiento detrs del experimento a es que este tipo de patrn solo se puede explicar si consideramos que la luz o se propaga mediante ondas y que son las ondas que pasan por cada una de las ranuras las que estan efectuando interferencia entre ellas. Si bien no existe nada extra o en decir que la luz est conformada por n a ondas, hoy sabemos que tambin esta conformada por part e culas, y cuando Young efectu su experimento ya exist evidencia que la luz se propaga o a mediante part culas. Ms a n, lo extra o del caso es que si la fuente de luz a u n 1

CHAPTER 1. INTRODUCCION

Fuente de Luz

Figure 1.1: Experimento de las 2 ranuras, el patrn de interferencia generado o por la luz se puede explicar suponiendo que la luz se propaga mediante ondas se reduce lo suciente como para que emita solo un fotn a la vez, y se expone o el material fotosensible por suciente tiempo, el patrn de interferencia sigue o existiendo, y cabe la pregunta con quin est interriendo el fotn? No e a o queda ms que concluir que el fotn est interriendo consigo mismo! Pero a o a aqu no termina la paradoja. Puede ser que especulemos que el fotn, por o alguna razn, est pasando por ambas ranuras al mismo tiempo, as que o a ubicamos un detector de fotones en ambas ranuras para saber por cul ranura a est pasando el fotn. Los resultados de este experimento indican que el fotn a o o pasa por solo una ranura, pero tambin se produce una consecuencia extra a: e n el patrn de interferencia desaparece y la imagen en el material fotosensible o es concordante con el modelo de luz transmitida mediante part culas. En otras palabras, el patrn de interferencia solo existe cuando no sabemos por o cul ranura pas el fotn, o bien, cuando el fotn podr haber pasado por a o o o a cualquier ranura. Una vez que sabemos que el fotn pas por una ranura y o o 1 por la otra no, el patrn de interferencia desaparece . o En este experimento encontramos gran cantidad de las paradojas planteadas por la f sica subatmica a la f o sica clsica y que conllevaron al desarrollo a de la mecnica cuntica: la dualidad onda-part a a cula, la interferencia no-local, y la imposibilidad de observar un estado subatmico sin interferir en l. Estas o e paradojas requirieron ms de un siglo para ser resueltas, y a n ms, para que a u a sus respuestas puedan ser digeridas por la comunidad cient ca en general.
En honor a la verdad, todas estas conclusiones no fueron obvias cuando Young efectu su experimento; algunos de ellos se han hecho con electrones, o y solo hasta 1974. Para una exposicin web del experimento puede verse o http://www.colorado.edu/physycs/2000/schoedinger/two-slit2.html
1

1.1. MAX KARL ERNST LUDWIG PLANCK (1858-1947) Y LA NOCION DE QUANTUM3

Figure 1.2: El modelo planetario del tomo de Rutherford a

Figure 1.3: Espectro de luz del tomo de Hidrgeno a o

1.1

Max Karl Ernst Ludwig Planck (18581947) y la nocin de Quantum o

La primer pieza del rompecabezas est en el trabajo de Max Planck. Planck a entra a trabajar en la Universidad de Berl en 1889 como reemplazo de su n antiguo maestro Kirchho, quien recientemente habia muerto, y se mantuvo ah hasta su retiro en 1926. Poco despus de su ingreso, Plack se interesa e por el problema del cuerpo negro, inicialmente planteado por Kirchho. En este problema se contempla las propiedades de un cuerpo que absorbe todas las frecuencias de luz y que entonces, cuando es calentado, deber irradiar a todas las frecuencias de luz.

CHAPTER 1. INTRODUCCION

Pero el problema es que la cantidad de altas frecuencias en el espectro es mayor que la cantidad de bajas frecuencias. Si un cuerpo negro irradiara todas las frecuencias electromagnticas uniformemente entonces casi toda la e energ se irradiar en el espectro de altas frecuencias (algo as como pedir a a un n mero aleatorio uniformemente distribuido entre cero y 1,000,000). Este u problema de las altas frecuencias es conocido como la catstrofe violeta por a el color que tienen las frecuencias ms altas de la luz. a En la vida real esto no sucede, y los modelos continuos de la f sica clsica a de nales del siglo pasado no pod explicarlo. Tanto Wien como Rayleigh an ten aproximaciones del problema; las ecuaciones de Wien funcionaban an bien para frecuencias altas pero no en las bajas, las de Rayleigh hacian lo inverso. En 1900, Planck desarroll una ecuacin relativamente sencilla que deso o crib a cabalidad la radiacin emitida por un cuerpo negro en todo el especa o tro de luz. Su ecuacin se basaba en una suposicin medular: la energ no o o a es innitamente divisible, sino que al igual que la materia, se compon de a part culas, las cuales Planck denomin quanta (de la palabra en Latin para o cuanto? ) o bien, quantum en singular. Bajo la suposicin de que la energ solo puede ser absorbida y despedida o a en unidades enteras de quanta, Plack fue capaz de encontrar las ecuaciones del cuerpo negro y establecer el valor de la constante que determina la razn o 34 entre la frecuencia de radiacin y el tama o del cuantum h = 6.6262 10 o n ahora considerada una de las constantes fundamentales de la naturaleza. El concepto de quanta era tan revolucionario, que el mismo Plack no pod aceptarlo completamente. Einstein lo utiliz para explicar el efecto a o fotoelctrico y ambos recibieron premios Nobel por sus trabajos, pero cue riosamente ambos se reusaban a aceptar los cuanta como entidades reales y se abogaron a tratar de explicarlos mediante modelos clsicos. a

1.2

Niels Henrik David Bohr (1885-1962)

El siguiente paso importante fue dado por Niels Bohr. Bohr entra en la Universidad de Copenhagen en 1903 y, seg n cuentan, era un crack para u jugar al f tbol (su hermano menor era a n mejor y logr medalla de plata u u o en 1908 con el equipo ol mpico Dans). Bohr obtuvo un doctorado en 1911 y e con una beca se fue a profundizar su educacin en Cambridge bajo la tutela o de J. J. Thomson, y luego a Manchester, con Rutherford.

1.2. NIELS HENRIK DAVID BOHR (1885-1962)

Figure 1.4: Modelo de tomo de Bohr, Tomado de Internet, sin su permiso a Rutherford hab planteado el modelo planetario del tomo con un pea a que o n cleo rodeado de una nube de electrones. Bohr especulaba que si se n u un el modelo planetario de Rutherford con el concepto de quanta de Plack, a entonces podr ser posible explicar cmo las sustancias emit y absorb a o an an energ radiante. Estas emisiones y absorciones se sab que eran respona a sables de las extra as l n neas encontradas en el espectro de los elementos descubiertas por Fraunhofer un siglo antes. Bohr empez estudiando el tomo de hidrgeno. Lorentz hab sugerido o a o a que las radiaciones proven de la oscilacin del electrn en la rbita del an o o o tomo de hidrgeno, y que las radiaciones se efectuaban cuando la carga a o elctrica del electrn se aceleraba o desaceleraba. Bohr por el contrario, e o propuso que el tomo no irradiaba mientras el electrn se mantuviera en a o rbita, sino ms bien, cuando este cambiaba de rbita y que estas rbitas o a o o solo se dan en puntos discretos. La propuesta de Bohr por si misma no resolvi todos los interrogantes, o pero fue suciente para girar la f sica subatmica en la direccin cuntica. o o a Bohr hab propuesto solo rbitas circulares, pero Sommerfeld desarroll las a o o ecuaciones para orbitas el pticas tambin. Bohr no hab podido desarrollar e a modelos para tomos ms complejos que el hidrgeno pero hab sugerido a a o a

CHAPTER 1. INTRODUCCION

que las rbitas de los electrones deb existir en capas, una nocin que Pauli o an o logr formalizar. o Bohr public sus resultados en la edicin de Julio de 1913 de Philosophical o o Magazine. Las nociones de Bohr contaron con una enorme oposicin. Bohr o hab sustituido la mecnica clsica por un modelo 4-dimensional, nada fcil a a a a de digerir y que contradecia los modelos clsicos conocidos. a Sin embargo, la teor de Bohr ten enormes atractivos ya que: a a

1. Su concordancia con los datos encontrados en el espectro del tomo de a hidrgeno era incre o ble.

2. Prove una explicacin terica de las frmulas emp a o o o ricas y las constantes que se hab elaborado previamente. an

Eventualmente, Bohr gan la contienda y recibi el premio Nobel de 1922 por o o este trabajo. Elogios sobre la genialidad de Bohr en proponer y elaborar su teor abundan. Einstein, en sus notas autobiogrcas de 1948, se asombra a a de cmo datos contradictorios y nada claros sobre el espectro del tomo de o a hidrgeno, le permiten a Bohr deducir las caracter o sticas del tomo y sus a rbitas, conjunto con el papel que stas juegan en las propiedades de los o e elementos. De aqui en adelante la mecnica cuntica se desarrolla muy rpidamente. a a a Hasta este momento la mecnica cuntica utilizaba espacio euclideo y tena a sores cartesianos. En 1924 Satyendra Nath Bose propone que las part culas en si no son las que se conservan, sin mas bien la independencia estad stica de las part culas. Louis de Broglie en su trabajo Doctoral extiende la dualidad ondapart cula de los fotones a todas las part culas. En 1926 Schrdinger o publica un art culo con sus ecuaciones para el tomo de hidrgeno e introa o duce la mecnica de ondas. En el mismo a o Dirac resuelve las ecuaciones de a n las leyes estipuladas por Planck. En 1927 Heisenberg propone su principio de incertidumbre, Heisemberg utiliza una mecnica de matrices que rivaliza a con la mecnica de ondas de Schrdinger. En 1932 von Neumann formaliza a o la teor utilizando lgebra de operadores. a a

1.3. ALAN TURING (19121954) Y LA COMPUTABILIDAD

1.3

Alan Turing (19121954) y la Computabilidad

Pero qu tiene que ver toda esta historia de la f e sica con la computacin? o Para ello conviene dar un giro en el relato y recordar la memoria de Alan Turing. Alan Mathison Turing, nace en Padington Inglaterra el 23 de Junio de 1912. Segundo y ultimo hijo de Julius Mathison y Ethel Sara Turing, en un hogar ingls de clase media alta. Desde joven muestra caracter e sticas excntricas, solitarias, y geniales. Turing estudia en el Kings College de e Cambridge. Para 1933 Turing hab desarrollado inters en la Principia a e Mathematica de Russell y Whitehead. En ella Bertrand Russel hab ideado a un programa para contestar una de las preguntas propuestas por Hilbert a inicios del siglo como reto a la matemtica: formalizar todo el conocimiento a matemtico existente dentro de la lgica. Sin embargo, el objetivo de esta a o empresa fue burlado por Kurt Gdel cuando demostr en 1931 que todo o o sistema formal (en particular la lgica) es incompleto: para todo sistema o formal, existen verdades que son imposibles de expresar en l.2 e En 1935 en una exposicin del toplogo M. H. A. Newman, Turing se o o enter que exist otras preguntas planteadas por Hilbert que a n no ten o an u an respuesta, en particular se interes por el problema de la decidibilidad, o bien o el Entscheidungsproblem, esto es: Existe un mtodo por el cual se logre e determinar para cualquier armacin matemtica X si sta es decidible o o a e no? Para contestar esta pregunta, Turing desarroll una teor totalmente o a novedosa y original. Sin basarse en ning n otro resultado matemtico, deu a sarroll la nocin de mquina de Turing y a partir de sta pudo denir o o a e con precisin el concepto de algoritmo. Dentro de su modelo pod exiso an
Este resultado se ha utilizado por algunos para armar que la verdad es ms grande a que la lgica, y que por lo tanto no debe ser analizada. Ntese, sin embargo, que la verdad o o inexpresable de Gdel no es universal, sino mas bien particular al sistema formal utilizado o (dado un sistema formal X, existe una verdad Y que no se puede expresar en X, llamada su clusula G). El teorema de Gdel no conduce, como han tratado de extrapolar algunos, a o a que existen verdades ilgicas, o bien, que la verdad no se debe analizar con el ojo cr o tico de la lgica. Todo pensamiento ilgico es falso, ya que conduce a contradiccin, as que la o o o lgica no pierde, por el teorema de Gdel, la facultad de falsicar teor carentes de funo o as damento. Las verdades apuntadas por Gdel, no pueden ser expresadas en el formalismo o matemtico escogido, y sin embargo son evidentes. Esto no ha de confundirse con ciertos a pensamientos fundamentalistas, que apelan a la autoevidencia de la verdad, y utilizan esta presuposicin para impedir el anlisis lgico de su cosmolog o a o a.
2

CHAPTER 1. INTRODUCCION

tir un sin n de mquinas distintas, pero la complejidad de este problema a qued resuelta gracias al concepto de mquina universal de Turing. Turo a ing argumenta convincentemente, que todas las mquinas capaces de efeca tuar cmputos son polinomialmente equivalentes a una mquina universal o a de Turing. Armado con estas herramientas, Turing contest negativamente o el Entscheidungsproblem planteado por Hilbert: no existe un procedimiento que pueda determinar la decidibilidad de cualquier armacin. o Lamentablemente para Turing, poco antes de publicar sus resultados, el Logicista Alonzo Church logr resolver el mismo problema utilizando formao lismos de la lgica matemtica, y la tesis de que todas las mquinas capaces o a a de efectuar cmputos son polinomialmente equivalentes llego a conocerse o como la Tesis ChurchTuring. Dentro del campo de la computacin, sin embargo, Turing cuenta hoy con o mucho mayor peso que Church. Entre los motivos que hacen que el enfoque de Turing sea ms atractivo son: a 1. La propuesta de Turing es fresca y no requiere de ning n conocimiento u previo de lgica o matemtica. o a 2. La propuesta de Turing es constructiva. Turing dise a y analiza una n mquina que es mecnica y f a a sicamente realizable. Lo que no es inmediatamente obvio de esta propuesta, y no lo fue por muchos a os, es que Turing amarra la nocin de computabilidad con las n o propiedades de la f sica clsica. En retrospectiva, es claro que las mquinas a a analizadas por Turing depend fuertemente de sus propiedades f an sicas. Entre ellas estn: a Principio de Localidad : Los eventos no tienen repercusiones a la distancia, todo sucede en un punto y se propaga a partir de ese momento hacia otros puntos prximos a travs del tiempo. o e Principio de Unicidad : Un sistema solo puede estar en un estado a la vez, no puede estar en la superposicin de dos estados al mismo tiempo. o Principio de Objetividad : Un observador puede consultar el estado completo de un sistema sin interferir en l. e Estas tres propiedes, aunque parecen evidentes3 , no son ciertas en la mecnica a
El que parezcan evidentes, nos hace cuestionar qu tan e ntimamente ligados estn la a lgica con la f o sica clsica, un tema que por si mismo, es digno de contemplacin a o
3

1.4. HACIA UNA INTERPRETACION F ISICA DE LA COMPUTABILIDAD9 cuntica. Entonces, cabe preguntarse: Es cierta la tesis de ChurchTuring a para sistemas cunticos? a

1.4

Hacia una interpretacin f o sica de la computabilidad

Que la computabilidad y la informacin estn o a ntimamente ligadas con la f sica, es algo de lo cual se ha ido cobrado conciencia lentamente. Claude E. Shannon desarrolla en 1948 su teor de la informacin en su art a o culo A Mathematical Theory of Communication, y liga el concepto de informacin o con las propiedades f sicas de la entrop 4 . Rolf Lauder, estipula su princia pio en 1961 de que la eliminacin de informacin es un proceso disipador o o (consume energ a). Por el contrario, en 1973 Charles Bennet demostr que o cualquier cmputo (exepto el borrado) se puede efectuar con base en opeo raciones reversibles, lo cual indica que en principio, mientras no se efect e u eliminacin de informacin en una computadora, no es necesario que exista o o disipacin o consumo de energ o a. Las conclusiones de Bennet y Lauder permitieron a Bennet en 1982 conciliar la paradoja del demonio de Maxwell con la segunda ley de la termodinmica. En la paradoja del demonio de Maxwell, el demonio es un a observador insigne que vigila las molculas que transitan por la unica ene trada de un cuarto totalmente cerrado. El demonio de Maxwell observa la velocidad de la molcula y si sta est por debajo de un cierto umbral, la deja e e a entrar al cuarto, de lo contrario la rebota y le impide su ingreso. De la misma manera, el demonio de Maxwell permite salir del cuarto slo molculas con o e una velocidad superior al umbral. La segunda ley de termodinmica mantiene a que en todo sistema f sico cerrado la entrop aumenta conforme avanza el a tiempo. Si suponemos, lo cual es posible, que la medicin de la velocidad de o la molcula se lleva a cabo sin gastar o disipar energ (utilizando la misma e a energ de la molcula, por ejemplo), y que el proceso de obstaculizar el paso a e de la molcula puede en principio gastar menos energ que la que tiene la e a molcula, el demonio de Maxwell estar disminuyendo el nivel de entrop e a a del cuarto (enfrindolo) sin generar ning n tipo de calor. La respuesta que a u
Dicen que Von Neumann, conociendo la propuesta de Shannon antes de ser impresa, le aconsejo que la llamara entrop porque, en sus propias palabras: Nadie sabe bien lo a que signica la entrop as que en una discusin siembre vas a tener la ventaja. a, o
4

10

CHAPTER 1. INTRODUCCION

Figure 1.5: Demonio de Maxwell separando las molculas calientes de las e frias, el demonio se ve obligado a almacenar informacin sobre las molculas o e

da Bennet a esta paradoja es que, si bien es posible que el demonio enfr e el cuarto, en el proceso de hacerlo est registrando informacin sobre las a o molculas, si suponemos que la memoria del demonio es nita, eventuale mente tendr que borrar la informacin que guard y es en ese momento que a o o consume energ y por tanto aumenta el nivel de entrop del sistema. a a Lo interesante del caso es que, si bien la entrop de informacin y la a o entrop f a sica no son lo mismo, en este experimento mental del demonio de Maxwell existe una correspondencia y preservacin entre ellas. La memoria o del demonio inicia en blanco y por lo tanto con entrop cero. Conforme el a demonio va obteniendo informacin de las molculas, graba la informacin en o e o su memoria y aumenta la entrop de sta. El demonio de Maxwell reduce a e la entrop del sistema f a sico, pero en el proceso aumenta la entropia de su informacin. Cuando su memoria se encuentra saturada, se ve obligado o borrarla, reduciendo la entrop de su informacin pero disipando energ y a o a as aumentando la entrop f a sica. La entrop f a sica se transforma en entrop a de informacin y vice-versa. o

1.5. INICIOS DE LA COMPUTACION CUANTICA

11

1.5

Inicios de la Computacin Cuntica o a

La moraleja de todo esto es que la informacin y la computacin son proo o cesos f sicos, y si este es el caso, entonces es de esperar que la naturaleza radicalmente distinta de los sistemas cunticos afecten los tipos de cmputos a o que podamos efectuar con ellos. Richard Feynman en 1982 se interesa por una pregunta relacionada. Su interrogante era ser posible simular un proceso cuntico en un computador a a convencional? Para entender esta pregunta necesitamos desarrollar un poco de notacin. o En un computador convencional, la unidad m nima de informacin es el o bit el cual puede estar en alguno (pero no ambos) de dos estados posibles 0 o 1. Por el contrario, en un computador cuntico, la unidad m a nima de informacin es el qubit. Matemticamente, el qubit es representado por un o a vector normalizado de dos dimensiones en un espacio complejo, en notacin o de dirac el qubit se representa como | donde | C2 Ya que nos interesa representar informacin binaria, podemos denominar a o 2 los vectores de una base arbitraria de C como |0 y |1 . Es com n, aunque u no necesario, que |0 y |1 correspondan a la base cannica en C2 esto es o |0 = 1 0 , |1 = 0 1

Entonces la representacin de | en esta base est dada por o a | = donde se cumple que Cuando leemos el estado de un qubit mediante un operador de lectura, lo unico que podremos leer es alguno de los estados clsicos |0 o |1 . Sin em a bargo, el qubit puede estar en un estado superpuesto entre |0 y |1 . Cuando este es el caso, el coeciente ||2 corresponde a la probabilidad de leer un |0 mientras que el coeciente ||2 corresponde a la probabilidad de leer un |1 del qubit. Por este motivo los coecientes y se les llama amplitudes de probabilidad. ||2 + ||2 = 1 = |0 + |1 ,

12

CHAPTER 1. INTRODUCCION

Una posible implementacin f o sica de un qubit es utilizando fotones de luz. Supongamos que tenemos una pistola de fotones capaz de lanzar uno a uno fotones con polarizacin arbitraria, y convenimos que fotones con polarizacin o o horizontal corresponden a un |0 mientras que fotones con polarizacin vero tical corresponden a un |1 5 . Para establecer comunicacin sincrnica entre o o dos puntos A y B con linea de vista, basta con lanzar fotones polarizados bajo el esquema anterior del punto A y poner un vidrio polarizado verticalmente en el punto receptor B. Si el fotn pasa a travs del vidrio polarizado, o e sabemos que es un |1 , de lo contrario el fotn representa un |0 . o Claro est, nada impide que mandemos un fotn polarizado en un ngulo a o a o de 45 . En este caso el resultado es que aleatoriamente los fotones pasan la pantalla polarizada verticalmente un 50% de las veces. Ms a n, el vidrio a u polarizado altera irremediablemente la polarizacin del fotn y la colapsa a o o una polarizacin vertical tal que, si ponemos otro vidrio polarizado verticalo mente detrs de ste, el 100% de los fotones que pasaron el primer vidrio a e pasarn el segundo (otro ejemplo de que la lectura de informacin cuntica a o a altera el contenido de esta informacin). o Ntese que la informacin que obtenemos del sistema cuntico es binaria o o a (el fotn pasa o no), pero el estado cuntico es continuo (en este caso, un o a ngulo de polarizacin [0, 2]) a o Podr amos argumentar que un computador convencional tambin cone tiene un estado interno que es bsicamente continuo y que nosotros escojemos a interpretar estos estados como valores binarios, as las cosas tenemos varias opciones: 1. Los qubits se pueden simular mediante un computador convencional. 2. Los qubits solo agregan ruido al proceso y son equivalente a voltajes en un computador analgico. o 3. Los qubits no se pueden simular mediante un computador convencional. Feynman entonces contin a con el modelo de una memoria cuntica conu a formada por N qubits. Resulta ser que para representar los N qubits no basta con saber el estado de cada qubit por separado. Dada una memoria
Es mas com n en este esquema utilizar el spin de la part u cula para representar el valor del qubit; pero aqu por motivos de ilustracin, utilizaremos el concepto ms intuitivo de , o a polarizacin o
5

1.5. INICIOS DE LA COMPUTACION CUANTICA de cinco qubits, por ejemplo, esta puede estar en el estado b0 = |0 , b1 = |1 , b2 = |1 , b3 = |0 , b4 = |1 Lo que se puede abreviar como |0 |1 |1 |0 |1 = |01101 = |13

13

pero as como un qubit puede estar en la superposicin de |0 y |1 , esta o memoria de cinco qubits tambin puede estar en cualquier superposicin de e o N los posibles 2 = 32 estados. La frmula que expresa el estado ms general o a de esta memoria cuntica es a
2N 1 i=0

i |i

(1.1)

donde

2N 1 i=0

|i |2 = 1

Ntese que la expresin de este estado requiere de una cantidad exponeno o cial (con respecto al n mero de qubits en la mquina) de coecientes comu a plejos. Si queremos simular una memoria cuntica de 1K qubits, entonces a ocupar amos 21024 coecientes complejos! suma obviamente imposible (270 ya est cerca de la cantidad de tomos que se encuentran en el universo a a conocido). A n todav podemos argumentar que estos coecientes puede que no u a, sean necesarios para lograr la simulacin, ya que lo que nos interesa realmente o es el resultado le de la memoria cuntica despues de un cmputo. Pero do a o este planteamiento es equivalente a la suposicin de variable escondida que o tanto busc Einstein, y que John Bell demuestra en 1964 que es falsa: no o existe ningn algoritmo local probabil u stico que pueda reproducir los estados de un sistema cuntico arbitrario. Por lo tanto, a menos que encontremos a una forma de hacer cmputos en espacio exponencial Expspace, es probable o que estados cunticos complejos no sean viables de simular en un computador a convencional.

1.5.1

El algoritmo de Shor

La pregunta que Feynman dej sin contestar, es si sta complejidad cuntica o e a puede servir de algo computacionalmente, porque al n y al cabo, la complejidad se encuentra en las amplitudes de probabilidad que determinan el

14

CHAPTER 1. INTRODUCCION

estado del sistema cuntico, valores que no pueden ser le a dos. Esta pregunta fue contestada con un rotundo SI cuando Peter Shor, de los laboratorios de AT&T demostr en 1994 que, en principio, un computador cuntico puede o a factorizar un n mero ecientemente. u El algoritmo de Shor se convirtio rpidamente en la killer application de a la computacin cuntica. La factorizacin de n meros tiene la propiedad de o a o u que es fcil vericar si dos numeros p y q dividen a m, pero si solo conocemos a m, es muy dif encontrar p y q. Es ampliamente considerado (aunque no cil ha si demostrado) que la factorizacin de n meros en sus factores primos es o u superpolinomial en log(n). El algoritmo ms rpido que se conoce ejecuta en a a tiempo tiempo
1

e[c(ln n) 3 (ln ln n) 3 ]

donde c = 64 3 1.9. debido a esta dicultad, muchos esquemas de encrip9 tamiento tales como el RSA y el encriptamiento con llave p blica, se basan u en la factorizacin de n meros para protejer la informacin. o u o El algoritmo de Shor, por el contrario, es capaz de encontrar los factores primos de un n mero arbitrario n en tiempo O[(ln n)3 ]. esto signica que u cmputos que antes se consideraban imposibles ahora podr calcularse en o an cuestin de dias. El algoritmo de Shor pone en peligro los actuales esquemas o de seguridad utilizados en Internet.

1.6

Presente y futuro de la computacin o cuntica a

El algoritmo de Shor, sin embargo, es un conjunto de ecuaciones sobre el papel, y es vlido preguntarse si sus esquemas son implementables. La situacin a o de la computacin cuntica es, hoy en dia, similar a la que en alg n moo a u mento se encontr Charles Babbage con su motor anal o tico: se sabe a cabalidad como implementarlo pero se carece de la tecnolog necesaria para a hacerlo una realidad. Algunos expertos son ms pesimistas y consideran que a la computacin cuntica jams sera una realidad. Se basan en el hecho que o a a los algoritmos cunticos tales como el de Shor utilizan una propiedad de los a sitemas cunticos llamada superposicin (entanglement), stos estados supera o e 6 puestos son sumamente inestables y rpidamente decaen (a este fenmeno a o
la inestabilidad de los estados superpuestos se ha utilizado para contestar la paradoja del gato de Schrdinger. Bajo la teor de la mecnica cuntica es posible que exista o a a a
6

1.6. PRESENTE Y FUTURO DE LA COMPUTACION CUANTICA 15 se le llama decoherencia). Hasta la fecha solo ha sido posible crear la superposicin de tres qubits a la vez, mucho menos un sistema tan complejo como o un computador (o un gato). Es importante notar que un sistema cuntico es analgico determin a o stico (dada la equacin 1.1) pero que lo que podemos observar (medir) de l siemo e pre es discreto probabil stico. Este hecho sumado al fenmeno de la deo coherencia hace que los sistemas cunticos esten perenemente propensos a a errores. Pero estos obstculos no han desalentado la investigacin en coma o putacin cutica, por el contrario, en los ultimos 10 aos el reconocimiento o a n de este problema ha propiciado el desarrollo de la Teor de Informacin a o Cuntica y de los cdigos de deteccin y recuperacin de errores cunticos. a o o o a La idea fundamental aqu es utilizar redundancia para garantizar que las compuertas cunticas nos generen los resultados deseados. Hoy se cuenta a con resultados tericos que ponen cotas inferiores realistas a la precisin que o o deben tener las compuertas cunticas para que las computadoras cunticas a a sean una realidad. El gobierno Norteamericano, con el objetivo de acelerar el proceso, ha creado el Quantum Computing Roadmap: un plan de investigacin cuyo objetivo es tener un conjunto de herramientas funcionando o para el 2012 que conformen la base de pruebas (test bed ) de la computacin o cuntica. El Quantum Insititute edita un documento anual que elabora un a diagnstico del avance en la computacin cuntica, este documento se puede o o a encontrar en http://qist.lanl.gov/. El roadmap identica los siguientes retos tecnolgicos que necesitan ser atacados para construir un computador o cuntico. a Almacenamiento : guardar qubits por cantidades largas de tiempo. Aislamiento : aislar qubits del ambiente para reducir el efecto de decoherencia. Lectura : medir qubits conablemente. Compuertas : manipular y operar con los qubits individual y colectivamente.
1 un gato en un estado superpuesto |gato = 2 (|vivo + |muerto ). Pero este estado es sumamente improbable, la incapacidad de aislar el gato de su contexto hace que el gato constantemente se encuentre medido por su ambiente, efectivamente eliminando la superposicin de estados o

16

CHAPTER 1. INTRODUCCION Precisin : la precisin de los qubits debe ser la suciente para efectuar o o cmputos conablemente. o

Las tecnolog de Trampa de Iones, Cavity QED, resonancia magntica as e nuclear (NMR) y sistemas pticos se identican como las ms promisorias o a para resolver estos problemas, sin descartar la posibilidad que una nueva tecnolog surja que pueda mejorar el estado del arte en la manipulacin de a o qubits.

1.7

El protocolo BB84

Parar terminar esta breve introduccin discutiremos el protocolo de encripo tamiento BB84, el cual esta al alcance de la tecnolog actual y ofrece la a posibilidad de establecer comunicaciones punto a punto cien por ciento seguras. Supongamos que Alice desea enviar un mensaje a Bob y quiere eliminar toda posibilidad de que Eve se entere del contenido del mensaje. Supongamos tambin que esto sucede en el a o 2020, asi que Eve cuenta con una palm e n pilot cuntica que le permite descifrar llaves basadas en protocols RSA y de a llave p blica. El mensaje m de Alice mide N bits y esto se lo comunica a Bob u mediante un canal convencional. Alice y Bob disponen tambin de un canal e cuntico, que por motivos de ilustracin, supondremos que es una pistola de a o fotones polarizados tal y como se present en la seccin 1.5 utilizando linea o o de vista o una bra ptica7 . Alice decide enviar 4N bits por el canal cuntico. o a Pero Alice tambin decide utilizar dos maneras distintas para representar los e valores de |0 y |1 por este canal. Utiliza la base cannica con fotones polarizados verticalmente para repreo sentar un |1 y horizontalmente para representar un |0 . Pero tambin utiliza e o una base transversal, utilizando una polarizacin de 45 para representar un o o |0 y de 135 para representar un |1 . Matemticamente esto lo expresamos a
La calidad de la bra ptica actual permite enviar fotones sin que estos reboten en la o pared de la bra, de este modo la polarizacin o spin del fotn se conserva hasta que la o o bra necesite de una repetidora
7

1.7. EL PROTOCOLO BB84 como |0 |1 |0 |1


def

17

1 0 0 1 1 (|0 |1 ) 2 1 (|0 |1 ) 2

(1.2) (1.3) (1.4) (1.5)

def

= =

def

def

Alice decide enviar los 4N qubits por el canal cuntico de la siguiente mana era: escoje aleatoriamente la base con que va a enviar el qubit, luego escoje aleatoriamente el valor del qubit (0 1), lo envia y repite el proceso para o todos los 4N qubits. Bob desconoce en cual base esta enviando Alice cada uno de los qubits, asi que Bob decide que lo mejor es escojer aleatoriamente una base, orientar su vidrio polarizado para leer un qubit en esa base y leer el qubit cruzando los dedos de que la base que escojio haya sido la correcta. Bob obtiene el valor binario correcto si la base que Bob escoje coincide con la base en que fue enviada el qubit; si por el contrario, Bob escoje la base equivocada entonces el bit que Bob recibe es totalmente aleatorio. Una vez enviados los 4N qubits Alice y Bob se comunican por el canal convencional y comparten la informacin de las bases que utilizaron para o enviar/leer los qubits. En este momento tanto Alice como Bob saben cuales fueron los qubits que fueron enviados y leidos en la misma base, as que en buena teor todos estos qubits deben ser equivalentes. Estos bits compara tidos suman mas o menos 2N en total, Alice selecciona al azar N bits de estos, le comunica a Bob cuales fueron los escojidos (por posicin y no por o valor). Con estos bits tanto Alice como Bob construyen una llave k de N bits. Por el canal convencional Alice manda su mensaje m cifrado tal que para cada bit m[i] de m Alice envia m[i] k[i]. Bob utiliza su llave k para extraer el valor de m. Qu sucede entonces, si Eve trata de escuchar la comunicacin entre e o Alice y Bob? Eve tiene completo acceso al canal convencional pero debe estar claro que Eve no podr leer nada de este canal si desconoce la llave k a que compartieron Alice y Bob por el canal cuntico. Pero si Eve trata de a leer el canal cuntico se encontrar en las mismas condiciones que Bob: va a a a tener que escojer aleatoriamente una base y esperar que sea la base correcta.

18

CHAPTER 1. INTRODUCCION

Cuando Alice y Bob intercambian bases Eve puede corroborar cuales qubits ley y retransmiti correctamente. Las probabilidades indican que de los 2N o o qubits que Alice y Bob coinciden en base, Eve solo haya leido y retransmitido correctamente la mitas (N qubits), y de estos Alice escoje al azar la mitad para formar parte de la llave k, asi que en trminos generales lo mejor que e puede esperar Eve es obtener con seguridad la mitad de los bits de la llave k (si escoje el resto al azar entoces su esperanza es obtener tres cuartas partes de la llave). Por otra parte, si Eve retransmite correctamente solo la mitad de los 2N bits en que coinciden en base Alice y Bob, Bob tendr N bits a correctos de los cuales Alice escoje la mitad para formar parte de la llave. De esta forma Bob tambin trmina con 3 cuartas partes de la llave k. e e Lo que necesitan ahora Alice y Bob es un protocolo que les garantice que con tres cuartas partes de la llave no sea posible reconstruir el mensaje (algo no muy complicado). De esta forma si Bob recibe basura despues de decodicar el mensaje se dar cuenta que Eve ha estado escuchando la a conversacin pero tendr seguridad de que Eve tambin recibi basura. Eve o a e o puede tratar de reducir sus probabilidades de ser detectada leyendo solo unos qubits y dejando pasar intactos otros, pero este esquema solo reduce la cantidad de la llave que logra obtener sin obtener ning n benecio en la u lectura del mensaje.

1.8

ejercicios

1. Encuentre errores en el texto anterior, haga un comentario de una pgina sobre la temtica de este cap a a tulo. 2. El principio de entrop indica que los sistemas tienden a desorganizarse a ya que los estados desorganizados son mas probables (hay ms de ellos) a que los estados organizados. La evolucin y los sistemas vivientes, por o el contrario, tienden con el tiempo a desarrollar organizaciones cada vez ms complejas. Algunas personas utilizan esta observacin para a o argumentar que los sistemas vivos y la evolucin contradicen la segunda o ley de la termodinmica (entrop a a). Esta usted de acuedo con esta opinin? Si no es as cmo es que la evolucin se ajusta a la segunda o , o o ley de termodinmica? a 3. Tambin relacionado a la entrop las teoris del Big Bang indican que e a, a el universo empez con una explosin el la masa y la energ estaban o o a

1.8. EJERCICIOS

19

bastante uniformemente distribuidas por todo el universo. Es este un estado con mayor o menor entrop que el actual? Cmo justica la a o ciencia el aumento de complejidad en la organizacin de la materia? o 4. El presente cap tulo sugiri que los sistemas cunticos tienen una como a plejidad computacional distinta a las mquinas de Turing. Sern los a a sitemas cunticos equivalentes a NP? a 5. Un modelo de computacin utilizado para ilustrar que los cmputos o o no necesariamente consumen energ es el modelo de computacin con a o bolas de billar. Construya una trayectoria de bolas de billar que sirva para implementar la siguente compuerta lgica o A B 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 1 C A 0 0 1 0 0 0 1 0 0 1 1 1 0 1 1 1 B 0 0 1 1 0 1 0 1 C 0 1 0 1 0 0 1 1

6. El protocolo BB84 presentado en este cap tulo fue simplicado por motivos de exposicin. Encuentra usted alguna forma en que Eve o pueda enga ar a Alice y Bob dentro del esquema planteado y leer el n mensaje sin que estos se den cuenta? Cmo puede hacer para arreglar o este problema?

20

CHAPTER 1. INTRODUCCION

Chapter 2 El Modelo Matemtico a


2.1 Espacios Vectoriales

Denicin 2.1.1. Un Grupo G es un conjunto con un operador que o cumple con: 1. Asociatividad : (a, b, c) G a (b c) = (a b) c 2. Elemento Neutro: e G tal que a G a e = e a = a 3. Inverso: a G, a1 G tal que a a1 = a1 a = e Denicin 2.1.2. Un Grupo Abeliano G es un grupo que ademas cumple o a con tener conmutatividad. (a, b) G a b = b a Denicin 2.1.3. Un Campo F es un conjunto dotado de dos operadores: o suma y multiplicacin, tal que: o 1. La suma de F es un grupo abeliano con elemento neutro 0 e inversos a a F 2. La multiplicacin de F es un grupo abeliano en F {0} con elemento o neutro 1 e inversos a1 a F {0} 3. Es distributivo: (a, b, c) F a (b + c) = a b + a c Denicin 2.1.4. Un Espacio Vectorial A tiene tres objetos: o 21

22

CHAPTER 2. EL MODELO MATEMATICO 1. Un grupo abeliano (V, +) con elementos llamados vectores y cuya operacin binaria + se le llama suma. o 2. Un campo F de n meros (usualmente los n meros reales o los compleu u jos) cuyos elementos se les llama escalares. 3. Una operacin de multiplicacin con escalares denotada por : o o :F V V que cumple con las siguentes propiedades: c ( + ) (c + c ) (c c ) 1 para todo c, c F y , V = = = = c+c c+c c (c ) (2.1) (2.2) (2.3) (2.4)

Observacin 2.1.1. El operador de para el campo F no es el mismo que o para la operacin con el espacio vectorial en el punto 3 de la denicin anteo o rior. Observacin 2.1.2. El operador de + para el campo F no es el mismo que o para la operacin del espacio vectorial en el punto 1 de la denicin anterior. o o Observacin 2.1.3. Es com n eliminar el uso del para denotar la multio u plicacin de un escalar por un vector y escribir c en vez de c . o Denicin 2.1.5. Un conjunto de vectores vi V con i {0, 1, . . . n 1} se o le dice linealmente independiente si cumple con que (c0 , c1 , . . . , cn1 ) F
n1

ci vi
i=0

= 0 = ci = 0 i {0, 1, . . . , n 1}

Denicin 2.1.6. Un conjunto de vectores vi V con i {0, 1, . . . n 1} o se le dice linealmente dependientes si no son linealmente independientes Denicin 2.1.7. Un subespacio S de un espacio vectorial A es un subcono junto de A que cumple con que para todo , S y c F + F

2.2. ESPACIOS VECTORIALES REALES NDIMENSIONALES c F

23

Teorema 2.1.1. Dado un un conjunto de k vectores v0 , v1 , . . . , vk1. el conjunto de vectores formado por todas las posibles combinaciones lineales de los vi conforma un subespacio vectorial. Teorema 2.1.2. Dado un espacio vectorial A, un subespacio S de A, y un conjunto de k vectores v0 , v1 , . . . , vk1 . Si S contiene a todos los vectores vi , entonces tambin contiene a toda combinacin lineal de los vectores vi e o Proof. Ejercicio Corolario 2.1.3 (2.1.2). Dado un conjunto de k vectores v0 , v1 , . . . , vk1 . el espacio vectorial formado por la combinacin lineal de estos vectores es el o subespacio vectorial ms peque o que los contiene. a n Denicin 2.1.8. Se llama Base de un espacio vectorial A a un conjunto o de vectores vi tales que: El espacio vectorial formado por las combinaciones lineales de los vi es igual a A. Los vi son linealmente independientes. Denicin 2.1.9. Un espacio vetorial A es de dimensin nita, si existe una o o base de A que tiene una cantidad nita de elementos.

2.2

Espacios Vectoriales Reales ndimensionales

Un espacio eucl deo es un espacio vectorial con dimensin nita en los n meros o u reales. En particular tenemos la siguiente denicin. o Denicin 2.2.1. Un espacio vectorial con vectores v Rn se llama espao cio eucl deo si para cada par de vectores , , Rn y c R existe una operacin llamada producto interno denotada por (, ) que cumple con las o siguentes propiedades 1. (, ) = (, ) 2. (c, ) = c(, ) 3. ( + , ) = (, ) + (, )

24 4. (, ) 0 5. (, ) = 0 = 0

CHAPTER 2. EL MODELO MATEMATICO

Denicin 2.2.2. El largo de un vector en espacio eucl o deo se denota por || y se dene como || = (, ) Teorema 2.2.1. Dados dos vectores y en un espacio eucl deo. El ngulo a entre los vectores es igual a = arccos Proof. (Ejercicio). Denicin 2.2.3. Dos vectores y se dicen ortogonales si (, ) = 0 o Denicin 2.2.4. n vectores v0 , v1 , . . . , vn1 forman una base ortogonal de o un espacio eucl deo ndimensional si son ortogonales dos a dos. Denicin 2.2.5. n vectores v0 , v1 , . . . , vn1 forman una base ortonormal de o un espacio eucl deo ndimensional si son una base ortogonal y vi , |vi | = 1. Observacin 2.2.1. Es posible demostrar que todo espacio eucl o deo de n dimensiones posee bases ortogonales, dada una base ortogonal v0 , v1 , . . . vn1 , es posible expresar todo vector como: = a0 v0 + a1 v1 + + an1 vn1 Teorema 2.2.2. Si v0 , v1 , . . . vn1 es una base de un espacio eucl deo n dimensional. y = a0 v0 + a1 v1 + + an1 vn1 Entonces se le llama proyeccin del vector al vector vk de la base a o (, vk ) = ak Proof. (Ejercicio) (, ) (, ) cos() = |||| ||||

2.3. OPERADORES LINEALES Y MATRICES

25

Teorema 2.2.3. Si v0 , v1 , . . . vn1 es una base de un espacio eucl deo n dimensional. y = a0 v0 + a1 v1 + + an1 vn1 = b0 v0 + b1 v1 + + bn1 vn1 Entonces (, ) =
i=0

n1

ai bi

Proof. (Ejercicio) Denicin 2.2.6. Una Transformacin lineal en un espacio eucl o o deo es una funcin A que cumple con o 1. A( + ) = A() + A() 2. A(c) = cA() Denicin 2.2.7. Una funcin B(; ) de dos parmetros en un espacio veco o a torial se dice bilineal si 1. Para un jo, B(, ) es una funcin lineal de . o 2. Para un jo, B(, ) es una funcin lineal de . o Observacin 2.2.2. Una funcion bilineal B es simtrica si B(, ) = B(, ). o e Un ejemplo de una funcin bilineal es el producto interno. o

2.3

Operadores Lineales y Matrices

Denicin 2.3.1. Una matriz M = [aij ] es un arreglo rectangular de eleo mentos del campo F con n las y m columnas a11 a12 a1m a21 a22 a2m M = . . . .. . . . . . . . an1 an2 anm

26

CHAPTER 2. EL MODELO MATEMATICO

Observacin 2.3.1. Una matriz M de n las y m columnas se puede interpreo tar como una transformacin lineal de un espacio vectorial de m dimensiones o a uno de n dimensiones. Si n = m entonces M es una transformacin lineal o dentro del mismo espacio vectorial. Denicin 2.3.2. Una matriz cuadrada M es una matriz donde n = m. o Denicin 2.3.3. La transpuesta de una matriz de n las y m columnas o M = [aij ] es una matriz M T de m las y n columnas a11 a21 an1 a12 a22 an2 MT = . . . .. . . . . . . . a1m a2m anm

Observacin 2.3.2. Toda transformacin lineal en un espacio vectorial se o o puede representar mediante una matriz. De aqu en adelante se hablar a indistintamente de transformacin lineal, matriz u operador. o Denicin 2.3.4. El espacio de las de una matriz M es el espacio generado o por los n vectores la de la matriz. Denicin 2.3.5. El espacio de columnas de una matriz M es el espacio o vectorial generado por los m vectores columna de la matriz. Denicin 2.3.6. Una matriz M = [aik ] de n las y m columnas, y otra o matriz N = [bkj ] de m las y s columnas, se pueden multiplicar y dan como resultado una matriz P = [pij ] de n las y s columnas tal que
m

pij =
k=1

aik bkj

Denicin 2.3.7. Las operaciones elementates sobre las las de una matriz o son 1. intercambiar dos las de la matriz. 2. multiplicar el vector la por un escalar c. 3. sumar el m ltiplo de una la i a una otra la j. u

2.3. OPERADORES LINEALES Y MATRICES

27

Denicin 2.3.8. Dos matrices son equivalentes por las si se puede obtener o una mediante operaciones elementales sobre la otra Denicin 2.3.9. Cuando n = m se le llama la matriz identidad a la matriz o I = [aij ] donde aij = ij y ij es la funcin Kronecker delta. Por ejemplo o 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 6 I = 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1

Denicin 2.3.10. Una matriz de permutacin es una matriz identidad con o o las las intercambiadas. Denicin 2.3.11. Una matriz M es no singular si sus las o columnas son o linealmente independientes. Denicin 2.3.12. El determinante de una matriz cuadrada M = [aij ] se o dene como det(M) = |M| = signo()a1,1 a2,2 an,n

donde var sobre todas las posibles permutaciones de los n meros del 1 a u al n y = (1 , 2 , 3 , . . . , n ) adems signo() corresponde a la posicin lexicogrca de la permutacin, a o a o tal que las permutaciones pares tienen signo 1 y las impares tienen signo -1. Observacin 2.3.3. El determinante de una matriz M = [aij ] tambin se o e puede expresar como
n

aij Mij
j=1

Para i arbitrario y donde Mij = |M| aij

28

CHAPTER 2. EL MODELO MATEMATICO

Teorema 2.3.1. Si N es el resultado de intercambiar dos las de una matriz cuadrada M = [aij ], entonces |N| = |M| Teorema 2.3.2. Si una matriz M tiene las linealmente dependientes entre s entonces |M| = 0. , Denicin 2.3.13. Una matriz cuadrada es triangular superior si todas las o entradas por debajo de la diagonal son iguales a 0. Denicin 2.3.14. Una matriz cuadrada es triangular inferior si todas las o entradas por debajo de la diagonal son iguales a 0. Denicin 2.3.15. Una matriz cuadrada es triangular si es triangular suo perior o triangular inferior. Teorema 2.3.3. El determinante de una matriz triangular es la multiplicacin de los elementos en su diagonal o
n

|M| =

aii
i=1

Teorema 2.3.4. Una matriz M no singular tiene inversa M 1 tal que MM 1 = M 1 M = I Denicin 2.3.16. El polinomio caracter o stico de una matriz M es c() = |M I| Denicin 2.3.17. El trazo de una matriz M = [aij ] es la suma de los o elementos en su diagonal
n

T r(M) =
i=1

aii

Teorema 2.3.5. El trazo de una matriz cumple con que para toda matriz M yN 1. T r(MN) = T r(MN) 2. T r(M + N) = T r(M) + T r(N) 3. T r(cM) = cT r(M)

2.4. OPERADORES HERMITIOS EN ESPACIO EUCL IDEO COMPLEJO29

2.4

Operadores Hermitios en espacio eucl deo complejo

Todas las deniciones y teoremas expuestos en las secciones anteriores son vlidos en el campo de los n meros complejos. Denimos un n mero coma u u plejo como: Denicin 2.4.1. Un n mero complejo C es un n mero de la forma o u u = a + bi donde a y b son n meros reales y u i= 1

Denicin 2.4.2. Si = a + bi es un n mero complejo, entonces se llama o u el conjugado de al n mero complejo denotado por igual a u = a bi Observacin 2.4.1. Ntese que = = a2 + b2 0 o o La observacin anterior nos permite denir un producto interno en los o espacios vectoriales de n meros complejos con las siguientes caracter u sticas Denicin 2.4.3. Dados C n y C n donde = (1 , 2 , . . . , n ) y o = (1 , 2 , . . . , n ). Se dene el producto interno entre y como (, )
n

(, ) =
i=1

i i

Teorema 2.4.1. El producto interno en un espacio vectorial de nmeros u complejos cumple con que 1. (, ) = (, ) 2. (, ) 0 3. (, ) = 0 = = 0

30

CHAPTER 2. EL MODELO MATEMATICO

Observacin 2.4.2. El producto interno nos permite denir una norma en el o espacio vectorial ndimensional de n meros complejos. El producto interno u implica una norma, pero la norma no necesariamente implica un producto interno. Un espacio vectorial con solo norma se le llama un espacio de Banach. A los otros les llamaremos espacio de Hilbert. Denicin 2.4.4. Sea A = [aij ] una matriz de n meros complejos aij . Se o u dene la matriz A = [a ] como la matriz de los conjugados de los elementos ij de A Denicin 2.4.5. Sea A = [aij ] una matriz cuadrada de n meros complejos o u aij . Se dene la matriz adjunta de A a la matriz A denida como A = (A )T igual a a a a 11 21 n1 a a a n2 12 22 A = . . . .. . . . . . . . a1n a2n ann Teorema 2.4.2. Para todas dos matrices A y S T r(S AS) = T r(SAS ) = T r(A) Denicin 2.4.6. Un operador A es normal si A A = AA o Denicin 2.4.7. Un operador A es Hermitio si A = A o Observacin 2.4.3. Los operadores Hermitios tienen la propiedad de ser dobleo mente lineales con el producto interno en C n . Es claro que si A es Hermitio entonces tambin es normal. e Denicin 2.4.8. Una matriz U es unitaria si cumple que o UU = U U = I Teorema 2.4.3. Dado un operador unitatio U y vectores , (U, U) = (, ) o bien con notacin mas concisa o U U =

2.5. ESPACIOS DE HILBERT Y NOTACION DE DIRAC

31

Observacin 2.4.4. A y B conmutan si [A, B] = 0. o Observacin 2.4.5. Tambin se dene el anticonmutador de A y B como o e {A, B} = AB + BA Se dice que A y B anticonmutan si {A, B} = 0.

Denicin 2.4.9. Dados dos operadores A y B se dene el conmutador de o AyBa [A, B] = AB BA

2.5

Espacios de Hilbert y notacin de Dirac o

Histricamente, un espacio de Hilbert es un espacio de dimensin innita con o o escalares complejos. Por ejemplo el conjunto de funciones de variable real y valor complejo en el intervalo [0,1] {f | f : [0, 1] C} es un espacio de Hilbert. Sin embargo, en f sica los modelos que utilizamos son de dimensin nita, y como son derivados de estos espacios tambin se les o e llama espacios de Hilbert, en este caso espacios de Hilbert ndimensionales. Tambin, como pueden ser representados por una base nita, se les llama ese pacios de Hilbert separables. La literatura de mecnica cuntica ha seguido la a a convencin de llamar un espacio eucl o deo ndimensional de variable compleja por el nombre de espacio de Hilbert ndimensional Hn . Nosotros seguiremos aqu esta convencin. o Denicin 2.5.1. Utilizando notacin de Dirac. Un vector en un espacio de o o n Hilbert H se denota por un ket | . Por convencin, vamos a interpretar o 1 este valor como un vector columna 1 2 | = . . . n
1

La denicin de ket realmente es ms genrica que lo que estamos estipulando aqu o a e . El ket representa el estado de un sistema cuntico, que en nuestra notacin escojemos a o modelarlo como un vector columna. La notacin ket tambin se utiliza cuando estamos o e representando el estado cuntico con un espacio de Hilbert innito (funcin) y formalmente a o el vector solo representa las caracter sticas del sistema cuntico que escojemos modelar. a

32

CHAPTER 2. EL MODELO MATEMATICO

Denicin 2.5.2. La contraparte de un ket es un bra que conjuntamente o conforman un braket. Si tenemos un ket | igual a 1 2 | = . . . n entonces el bra correspondiente se denota por | y es igual al vector la2
| = (1 , 2 , . . . , n )

Denicin 2.5.3. La multiplicacin de un bra con un ket produce un eso o calar (n mero complejo). Si tenemos dos estados cunticos | y | tal u a que 1 2 | = . . . n y 1 2 | = . . . n Entonces el braket formado por ambos se denota por | y es igual a
n

| =
i=1

i i

Observacin 2.5.1. El braket tal como esta denido anteriormente es equivo alente al producto interno en n meros complejos. Se utiliza la notacin | u o en vez de || por ser ms concisa. a Observacin 2.5.2. As como el producto interno produce un escalar, tambin o e podemos denir el producto externo. Este producto genera una matriz, en mecnica cuntica a veces se utiliza indistintamente el ket de un estado con a a su matriz asociada.
De nuevo, esto es una restriccin de la notacin, de la misma forma en que lo es o o nuestra denicin del ket. o
2

2.5. ESPACIOS DE HILBERT Y NOTACION DE DIRAC

33

Denicin 2.5.4. El producto externo de dos estados cunticos | con o a componentes i , y el estado | con componentes i es igual a la matriz | | igual a: 1 1 1 1 2 1 n 2 2 2 2 1 2 n | | = . (1 , 2 , . . . , n ) = . . . .. . . . . . . . . . n n 1 n 2 n n

Denicin 2.5.5. Un espacio de Hilbert ndimensional Hn tiene una base o cannica determinada por los kets |0 , |1 , hasta el ket |n 1 tal que o 1 0 0 0 0 1 0 0 . . . . . . . . . . . . |0 = , |1 = , |i = , |n 1 = 0 0 1 0 . . . . . . . . . . . . 0 0 0 1 Observacin 2.5.3. Los bra tambin pueden expresarse de esta manera, teno e emos entonces el conjunto de la base cannica denotado por 0|, 1|, . . ., i|, o . . ., n 1|. Observacin 2.5.4. Todo ket | Hn puede espresarse como una combio nacin lineal de la base cannica o o
n1

| =

i=0

i |i

Observacin 2.5.5. Los vectores | y | se les llama duales y cumplen con o la propiedad que (| ) = | ( |) = | Teorema 2.5.1. El producto interno de vectores ket que representan estados cunticos satisfaces la desigualdad de Schwartz a | | | | |2

34

CHAPTER 2. EL MODELO MATEMATICO

Denicin 2.5.6. Dada una matriz u operador A, se llaman valor propio o y vector propio | de la matriz a los valores que cumplen con que A| = | Teorema 2.5.2. Los valores propios de una matriz u operador A son las soluciones a la equacin del polinomio caracter o stico de la matriz |A I| = 0 Observacin 2.5.6. De acuerdo con el teorema fundamental del lgebra. Todo o a polinomio sobre los n meros complejos tiene por lo menos una ra compleja. u z En nuestro caso realmente tiene n donde n es la dimensin del espacio. o Observacin 2.5.7. Cualquier operador A puede descomponerse de la siguo iente como A= i |ai ci|
i

con ai y ci arbitrarios y i valores propios de la matriz. Cuando un operador A se puede descomponer en A=


i

i |i i|

donde |i es un valor propio asociado con i entonces la descomposicin del o operador es unica Teorema 2.5.3. Los valores propios de un operador Hermitio son reales Denicin 2.5.7. El producto tensor o una matriz de n las y m columnas a11 a12 a21 a22 A= . . . . . . an1 an2 de dos matrices A y B, donde A es .. . a1m a2m . . .

anm

y B es una matriz de p las y q columnas b11 b12 b1q b21 b22 b2q B= . . . .. . . . . . . . bp1 bp2 bpq

2.6. RELEVANCIA F ISICA DE LOS OPERADORES Y MATRICES es la matriz C = A B de np las y mq columnas a11 B a12 B a21 B a22 B C =AB = . . .. . . . . . an1 B an2 B denida por a1m B a2m B . . . anm B

35

donde C = (cij ) y cij = aip,jq bi|p,j|q tal que representa divisin entera y o | representa el resto de la divisin entera. o

2.6

Relevancia f sica de los operadores y matrices

Nuestro inters con operadores se referir al caso de operadores lineales en e a un espacio vectorial. Espec camente rotaciones en el espacio. Es claro que una rotacin en un espacio vectoral es un operador lineal que cumple con o que: A(x + y) = A(x) + A(y) Matemticamente, las matrices son la representacin natural de un opera o ador lineal en un espacio vectorial de dimension nita. Sea e1 , . . . , en una base de un espacio vectorial de dimension n. Sea f un operador lineal. Para todo elemento de la base tenemos que
n

f (ei ) =
k=1

fki ei

Ahora bien, sea u = f (v). Dado de que u y v son vectores en el espacio, ambos se puede expresar como
n

u=
k=1 n

uk ek

v=
i=1

vi ei

Pero por linealidad tambin sabemos que e


n n

u = f (v) = f
i=1

vi ei

=
i=1

vi f (ei ) =

36
n

CHAPTER 2. EL MODELO MATEMATICO


n n n

vi
i=1 n k=1 n

fki ek =
i=1 k=1 n

vi fki ek =
n

vi fki ek =
k=1 i=1 n k=1

ek
i=1 n

vi fki

uk =

vi fki =
i=1 i=1

fki vi

Esto nos indica que cualquier operador lineal sobre un espacio vectorial nito tiene una expresin matricial relativa a una base. Pero que si cambiamos la o base la matriz que representa al operador tambin ha de cambiar. Dicho de e otro modo, una matriz siempre corresponder a un operador lineal, pero un a operador lineal se representar en muchas matrices distintas dependiendo de a la base que utilicemos. Existen, sin embargo, propiedades que se obtienen de la matriz que son independientes de la base en que se expresa el operador. Estas son: 1. Los valores y vectores propios de la matriz. 2. El determinante de la matriz. 3. La traza de la matriz.

Esta relacin que acabamos de deducir es vlida para cualquier operador o a lineal en un espacio vectorial de dimensin nita. Si expresamos nuestros o vectores como combinaciones lineales de los elementos de la base y ordenamos los escalares de forma adecuada, tenemos entonces la expresin natural de o operadores lineales mediante matrices donde: u1 v1 f11 f12 f1n f21 f22 f2n v2 u2 . . . = . . .. . . . . . . . . . . . un vn fn1 fn2 fnn

Debido a que estos valores son independientes de la matriz, se suele hablar de los valores propies del operador, lo mismo es vlido para las otras caraca ter sticas. Los valores y vectores propios son utiles para encontrar una base en la cual el operador tiene una matriz diagonal. En particular, si el operador

2.7. DESCOMPOSICION ESPECTRAL DE UN OPERADOR ORTONORMAL37 tiene valores y vectores propios i , vi , entonces la expresin del operador en o la base v1 , . . . , vn es 1 2 .. . n

y el determinante del operador sera n i i=1 Por su parte, el determinante tiene la interpretacin f o sica como el grado de extensin o contraccin que sufre un area del espacio al ser transformada o o por el operador. Esto es: sea A un conjunto de puntos arbitrario en el espacio vectorial. Entonces, para un operador f lineal, el determinante es igual a det(f ) =
f (A) A

dx

dx

2.7

Descomposicin espectral de un operador o ortonormal

Sea N un operador con vectores propios ortonormales en un espacio vectorial complejo de dimension nita. Si los vectores propios de N denotados por |ni forman una base del espacio vectorial y tienen la propiedad de que N|ni = i |ni entonces todo vector en el espacio | Hn se puede representar como | =
i

i |ni

Ahora bien, si aplicamos el operador N a este vector tenemos que N| = N


i

i |ni =

i N|ni =
i i

i i |ni

Denase el proyector Pi a la matriz formada por el producto externo del vector propio |ni consigo mismo Pi = |ni ni |

38

CHAPTER 2. EL MODELO MATEMATICO

Si multiplicamos Pi con el estado | tenemos Pi | = Pi


j

j |nj =

j Pi |nj =

j |ni ni |nj = i |ni

y por lo tanto tenemos que N| =


i

i i |ni =

i i |ni =

i Pi | =

i Pi
i

lo cual implica que N=


i

i Pi

A esta expresin se le llama la descomposicin espectral del operador. o o

2.8

Rotaciones en espacios vectoriales complejos

Recordando que un n mero complejo se expresa como a + ib y que este u valor tiene una representacin natural en plano cartesiano. Extenderemos la o denicin de ex para incluir n meros complejos. En particular recordemos o u que xn x2 x3 x4 x5 x e = =1+x+ + + + n! 2 3! 4! 5! n=0 cos(x) = sin(x) =
n=0 n=0

(1)n

x2n x2 x4 =1 + (2n)! 2 4!

(1)n

x3 x5 x2n+1 =x + (2n + 1)! 3! 5!

Ahora bien, por estas equivalencias eix es igual a eix =


n=0

(ix)n (ix)2 (ix)3 (ix)4 (ix)5 = 1 + ix + + + + = n! 2 3! 4! 5! i2 x2 i3 x3 i4 x4 i5 x5 + + + = 1 + ix + 2 3! 4! 5!

2.9. MATRICES DE PAULI 1 + ix 1 x3 x4 x5 x2 i + +i = 2 3! 4! 5! +i x x3 x5 + + 3! 5! =

39

x2 x4 + + 2 4!

cos(x) + i sin(x) Esta propiedad nos indica que ei corresponde a una rotacion en el c rculo de centro 0 y radio 1 por el ngulo de . En nuestro caso las operaciones a efectuadas sobre qubits sern rotaciones, ya que la magnitud de los vectores a no es relevante.3 Sabemos tambin que ei ei = ei(+) lo cual indica que e cos( + ) + i sin( + ) = (cos() + i sin())(cos() + i sin()) y esto implica que cos( + ) = cos() cos() sin() sin() sin( + ) = cos() sin() + sin() sin()

2.9

Matrices de Pauli

Cuando se representa un qubit | existe un conjunto de rotaciones bsicas a que se puede aplicar al estado del qubit. Estas rotaciones bsicas se ena cuentran representadas por las matrices de Pauli denominadas x , y y z . Concretamente 0 1 x = 1 0 y = z =
3

0 i i 0 1 0 0 1

El principio de incertidumbre indica que no se puede saber dos propiedades de una part cula cuntica al mismo tiempo, asi que si nuestro modelo utiliza la orientacion o spin a para representar el qubit, no ser posible leer o utilizar su magnitud al mismo tiempo a

40

CHAPTER 2. EL MODELO MATEMATICO

Estas matrices tienen la propiedad de ser autoadjuntas, tal que


2 x =

0 1 1 0 0 i i 0 1 0 0 1

0 1 1 0 0 i i 0 1 0 0 1

= = =

1 0 0 1 1 0 0 1 1 0 0 1

=I =I =I

2 y =

2 z =

2.10

La esfera de Bloch

Si interpretamos un estado cuntico de 1 solo qubit como el spin de una a part cula, cada una de las matrices de Pauli tiene relevancia f sica y corresponden a una direccin de rotacin en la direccin del spin. Esta repreo o o sentacin del qubit se le llama la esfera de Bloch. o En particular si queremos rotar un qubit en la direccin x por un ngulo , o a el estado del qubit resultante se debe multiplicar por eix /2 . Esta expresin o aunque parece extra a (estamos elevando a e al valor de una matriz) se puede n despejar de la siguiente manera: e
ix

n=0

(ix )n = n!

I + ix + i2

2 3 3 4 4 5 5 x 2 + i3 x + i4 x + i5 x = 2 3! 4! 5! 3 3 4 4 5 5 2 2 I + ix x i x + x + i x = 2 3! 4! 5! 2 3 4 5 I + ix I ix + I + ix = 2 3! 4! 5! 2 4 3 5 I 1 + + ix + = 2 4! 3! 5!

I cos() + ix sin() Utilizando un anlisis similar podemos deducir que a eiy = I cos() + iy sin()

2.10. LA ESFERA DE BLOCH eiz = I cos() + iz sin()

41

Ahora bien, por razones f sicas a las cuales no nos referiremos, una rotacin o en la esfera de Bloch en la direccion n nos da una matriz de rotacin detero minada por Rn () = ein /2 = cos I i sin 2 2 n

Mas concretamente, para rotaciones en x tenemos que: Rx () = eix /2 = cos cos 0


2

I i sin 0 sin 2

x =

0 cos

sin 2 0

cos 2 i sin 2

i sin 2 cos 2

Para rotaciones en y tenemos que Ry () = eiy /2 = cos cos 0


2

I i sin
2 2

y =
2

0 cos

i cos sin
2 2

0 i sin sin cos


2

i sin 0

y para rotaciones en z tenemos Rz () = eiz /2 = cos cos 0


2

I i sin sin 2 0

z =

0 cos
2

i
2

0 sin 0 + i sin
2

cos

i sin 0

cos

42

CHAPTER 2. EL MODELO MATEMATICO

Por otra parte, dado un estado cuntico | las matrices de Pauli confora man una base tal que es posible representar la matriz proyeccin del estado o 1 | | = (I + xx + yy + zz ) 2 donde x, y, y z, corresponden a las coordenadas del qubit en la esfera de Bloch. Esta representacin permite tambien expresar la esfera de Bloch mediante o tres ngulos un ngulo de latitud , uno de longitud , y otro ngulo de fase a a a que corresponde a valores no observables del qubit. Bajo esta representacion un qubit arbitrario | = 0 |0 + 1 |1 Cumple con que 0 = ei cos , 2 1 = ei ei 2

2.11

Mediciones

En el modelo matemtico de mecnica cuntica, una medicin corresponde a a a o a un operador A con vectores propios |ni ortonormales, donde los observables son los valores propios i de la matriz correspondiente al operador. En particular, si nos encontramos en el estado cuntico | y tratamos de a observar/medir el estado por medio del operador A, vamos a obtener i con probabilidad ||Pi| || donde Pi = |ni ni | se llama la matriz proyeccin de i o y el estado resultante es Pi | |Pi|

Chapter 3 Computertas Cunticas a


3.1 3.2 Generalidades Compuertas de 1 Qubit

Compuertas de 1 Qubit tenemos las matrices de Pauli presentadas en el cap tulo anterior, las cuales abreviaremos y utilizaremos como X = x , Y = y y Z = z . Adems la compuerta X tambien us el nombre del CNOT ya a que invierte los valores |0 y |1 . Una compuerta sumamente importante es la compuerta de Hadamard. Esta compuerta existe en su versin de 1 qubit y de n qubits. En particular o para 1 qubit la compuerta es: 1 H= 2 Notese que 1 H2 = 2 1 1 1 1 1 2 1 1 1 1 = 1 2 2 0 0 2 =I 1 1 1 1

Por el momento basta observar que aplicar la compuerta de Hadamard a un qubit |0 nos da una superposicin entre los valores |0 y |1 o H|0 = |0 + |1 2

43

44

CHAPTER 3. COMPUTERTAS CUANTICAS

La compuerta de Hadamard es sumamente util para efectuar paralelismo cuntico, ya que al quedar en un estado superpuesto cualquier algoritmo que a se calcule sobre el resultado de la compuerta de Hadamard se efectuara para todos las posibles conguraciones de entradas. Otro tipo de compuerta de 1 qubit corresponde a las llamadas rotaciones de fase condicionales. Estas se representan por R() y corresponden a la matrix 1 0 R() = 0 ei Notese que esta compuerta no altera el valor del qubit si este es |0 , pero si altera el qubit si este es |1 . A n asi, un valor de |1 no pasa a ser |0 sino u que es rotado sobre el plano complejo. Por esto su nombre de cambio de fase condicional. De estas compuertas tenemos T =R 4 4 2 = 1 0 i/4 0 e 1 0 0 ei/4 1 0 0 i

T =R S=R

= =

3.3
3.3.1

Compuertas de 2 Qubits
compuerta CNOT

La compuerta mas co n de 2 qubits es la compuerta Cnot. Esta compuerta u intercambia el valor del segundo qubit si el primer qubit es igual a 1. Este comportamiento da la tabla de verdad a 0 0 1 1 b a 0 0 1 0 0 1 1 1 b 0 1 1 0

3.3. COMPUERTAS DE 2 QUBITS

45

Si representamos estos valores |00 , |01 , |10 , |11 como sus respectivos vectores en C 4 tenemos que la matriz CNOT de transicin de este circuito o cuntico debe cumplir con las siguientes equaciones a 1 1 0 0 CNOT = 0 0 0 0 0 0 0 0 CNOT = 1 0 1 0 lo cual indica que 1 0 CNOT = 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 CNOT = 0 0 0 0 1 0 0 0 CNOT = 0 1 0 1

este circuito cuntico tambin le corresponde el diagrama de conexin sigua e o iente

| |

} m

| | |

La compuerta Cnot puede ser utilizada para intercambiar qubits, el circuito que implementa el intercambio es el siguiente.

46

CHAPTER 3. COMPUTERTAS CUANTICAS

| |

} m

m }

} m

| |

3.3.2

Compuertas controladas genricas e

Las compuertas de 2 qubits suelen ser compuertas controladas, de las cuales 1 qubit funge el papel de bit de control, y el otro qubit es el qubit controlado. De hecho el Cnot es un caso particular de este tipo de compuertas donde el qubit de control es el primer qubit y el segundo es el controlado. La transformacin utilizada para el segundo qubit es la matriz de Pauli x = X o tal que el cirquito del Cnot tambin se puede representar como e

| |

Utilizando esta notacin podemos efectuar compuertas controladas de o Hadamard, T, T u otras. Por ejemplo, una compuerta de Hadamard controlada se representa grcamente mediante el circuito a

| |

3.4. COMPUERTAS DE 3 QUBITS Su tabla de verdad da a |0 |0 |1 |1 b |0 |1 |0 |1 a |0 |0 |1 |1 b |0 |1 2 2 (|0 + |1 ) 22 (|0 |1 )

47

esta tabla conduce al conjunto de equaciones 0 0 1 1 1 1 0 0 cH = , cH = 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 cH = , cH = 1 0 1 2 2 1 0 1 1 1 lo cual indica que 1 0 cH = 0 0 0 0 0 1 0 0 = 0 22 22 0 22 (22 ) I2 022 022 H

3.4

Compuertas de 3 Qubits

Las compuertas cunticas de 1 y 2 qubits son utiles pero no son sucientes a para implementar un computador cuntico. La razn de esto es que la a o mecnica cuntica exige que las compuertas cunticas sean reversibles, y a a a hasta mediados de los a os 70 no se conocian operadores lgicos reversibles n o que tambin fueran universales. e Por ejemplo, sabemos que la compuerta lgica Nand es universal ya que o todas las operaciones lgicas necesarias para efectuar computos arbitrariao mente complejos se pueden efectuar con ella. Not a = a Or b = a And b = a Nand a (a Nand a) Nand (b Nand b) (a Nand b) Nand (a Nand b)

48

CHAPTER 3. COMPUTERTAS CUANTICAS

sin embargo la compuerta Nand no es reversible, ya que conociendo las salidas de la compuerta no es posible saber con toda seguridad cuales fueron las entradas. Esto se puede ver facilmente en la tabla de verdad del Nand a continuacin o Tabla a 0 0 1 1 del b 0 1 0 1 Nand c 1 1 1 0

la cual no tiene las misma cantidad de entradas que de salidas, y tiene mas de una posible conguracin inicial para una salida de 1 (lo cual indica que o conociendo la salida no es posible conocer la entrada). Las compuertas de 3 qubits mas conocidas la compuerta de Fredkin y la compuerta de Tooli.

3.4.1

La compuerta de Fredkin

La compuerta de Fredkin es una compuerta con tres entradas a, b, y c, donde el qubit c corresponde al qubit de control. Su lgica indica que si c = o 1 entonces los bits a y b son intercambiados, de lo contrario la compuerta no efectua ninguna modicacin. Esta denicin nos da la tabla de verdad o o Tabla de a b c 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 Fredkin a b c 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 1 0 1 1 1

La compuerta de Fredkin puede representarse grcamente como a

3.4. COMPUERTAS DE 3 QUBITS

49

a b c

d m d d }

a b c

Esta compuerta se representa matricialmente como 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 Fredkin = 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0

0 0 0 0 0 0 0 1

3.4.2

La compuerta de Tooli

La compuerta de Tooli es una compuerta controlada con entradas a, b y c, tal que la entrada c cambia de valor si las primeras 2 entradas son 1. Se puede interpretar como un Cnot con 2 qubits de control, su tabla de verdad es Tabla de a b c 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 Toffoli a b c 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0

La compuerta de Tooli puede representarse grcamente como a

50

CHAPTER 3. COMPUTERTAS CUANTICAS

a b c

} } m

a b c Xor (a And b)

y su matriz de transicin esta dada por o 1 0 0 0 1 0 0 0 1 0 0 0 Tooli = 0 0 0 0 0 0 0 0 0 0 0 0

0 0 0 1 0 0 0 0

0 0 0 0 1 0 0 0

0 0 0 0 0 1 0 0

0 0 0 0 0 0 0 1

0 0 0 0 0 0 1 0

3.4.3

Compuertas Universales

Tanto la compuerta de Fredkin como la de Tooli son compuertas reversibles universales. Reversibles porque conocidas las salidas siempre es posible deducir las entradas (la matriz que representa el circuito es reversible, y en este caso es la misma matriz). Para demostrar que son universales basta con demostrar que ambas pueden implementar el circuito Nand, ya que esta compuerta lgica es universal. En o el caso de la compuerta Tooli tenemos el siguiente circuito, el cual es equivalente a un Nand
} } m

|a |b 1

|a |b |a Nand |b

3.5. EL TEOREMA DE NO CLONACION

51

En cuanto a la compuerta de Fredkin, esta puede implementar tanto el Not como el And, y estos dos en conjunto se utilizan para implementar un Nand el Not esta dado por

|1 |0 a

d m d d }

Not a a a

y el And por La compuerta de Fredkin puede representarse grcamente a como |0 a b a And b a b

d m d d }

3.5

El teorema de no clonacin o

Es importante subrayar aqui, que las compuertas presentadas son compuertas lgicas que funcionan bien para valores binarios pero no necesariamente para o qubits arbitrarios | = 0 |0 + 1 |1 . Si esto fuera asi el circuito anterior tendria la capacidad de clonar un qubit, lo cual se puede demostrar que es imposible para un qubit arbitrario. Mas concretamente Teorema 3.5.1. No existe un circuito cuntico capaz de duplicar el valor de a un estado cuantico arbitrario. Proof. Supongamos, por contradiccin, que si existe este circuito, con matriz o de transicin G. Sean | y | dos qubits arbitrarios. Podemos asumir que o G(| |0 ) = | |

52 y que

CHAPTER 3. COMPUTERTAS CUANTICAS

G(| |0 ) = | | Ahora bien, considerese el estado 1 | = (| + | ) 2 por denicin de la compuerta sabemos que debe ser cierto que o G(| |0 ) = | | = 1 (| + | ) (| + | ) = 2 1 (| + | + | + | ) 2 pero por linealidad tambien sabemos que 1 G(| |0 ) = G (| + | ) |0 2 1 (G(| |0 ) + G(| |0 )) = 2 1 (| | ) + | | )) = 2 o mas concisamente 1 (| ) + | )) = 2 (3.2) =

(3.1)

y claramente las equaciones 3.1 y 3.2 no pueden ser iguales para valores arbitrarios de | y | . QED.

3.6

La transformada de WelshHadamard

La transformada de WelshHadamard, o Hadamard (en corto) ya fue presentada en las compuertas de 1 qubit, si recordamos esto da la compuerta 1 H2 = 2 1 1 1 1

3.6. LA TRANSFORMADA DE WELSHHADAMARD

53

Teorema 3.6.1. Una compuerta de WelshHadamard de tama o 2n es igual n al producto tensor de n compuertas de Hadamard de tama o 2, tal que n H2n = H2 H2 H2
n veces

La compuerta de Hadamard se puede generalizar para espacios vectoriales de tama o 2n . En particular la frmula inductiva esta dada por n o 1 si n = 0 H2n1 H2n1 H2n = 1 si n > 1 2 H2n1 H2n1

Proof. Por induccin, para n = 1 sabemos que o H21 = H2 = H2


1 vez

Ahora bien, suponemos que H2n = H2 H2 H2


n veces

entonces

def 1 H2n+1 = 2

H2n H2n H2n H2n H2n =

1 2

1 1 1 1

H2 H2n = H2 H2 H2 H2 =
n veces

H2 H2 H2 H2
n+1 veces

Estas propiedades conducen al siguiente teorema, el cual es muy util en algunos algoritmos cunticos. a

54

CHAPTER 3. COMPUTERTAS CUANTICAS

Teorema 3.6.2. La transformada de WelshHadamard cumple con 1 H2n | 00 0 = 2n n veces 1 H2n |j = 2n


2n 1 k=0 2n 1 k=0

|k

(1)kj |k

Donde k y j son los vectores que contienen la representacin binaria de k y o de j y su multiplicacin es el producto interno de ambos. o Proof. Por induccin, el caso base para n = 1 debe demostrar que o 1 H2 |b = 2
1

j=0

(1)jb|j

para todo b {0, 1}. Es fcil corroborar este caso y lo dejamos como ejercicio a al lector. Para el caso inductivo, asumimos como hiptesis de induccin que o o 1 H2n |j = 2n y debemos demostrar que 1 H2n+1 |m = 2n
2n+1 1 i=0 2n 1 k=0

(1)kj |k

(1)im |i

para efectuar esta prueba es importante resaltar varios puntos el valor de k varia de 0 a 2n 1, su representacin como una secuencia o de bits k contiene n bits. el valor de j tambin varia sobre el mismo rango y por lo tanto tiene e una representacin equivalente de n bits o los valores de m e i varian entre 0 y 2n+1 1 asi que sus representaciones como una sequencia de bits contienen n + 1 bits.

3.6. LA TRANSFORMADA DE WELSHHADAMARD

55

si k < 2n , la representacin binaria de k + 2n = 1k (concatenar un 1 al o frente de k) todo vector base |i con n + 1 qubits es o bien de la forma |0 |k o de la forma |1 |k donde |k es un vector base de n qubits. Adems a n |1 |k = |k + 2 todo vector base |m con n + 1 qubits es o bien de la forma |0 |j o de la forma |1 |j donde |j es un vector base de n qubits. Adems a n |1 |j = |j + 2 si i, b {0, 1} entonces (1)ib (1)kj = (1)(ik)(bj) donde bj es la concatenacin del bit b a la sequencia de bits j o Supondremos, sin perdida de generalidad, de que |m = |b |j con b {0, 1} y |j un vector base de n qubits, esto tambien implica que la representacion binaria de m = m se puede expresar como m = bj donde j es la representacin binaria del vector base j. Ahora bien o H2n+1 |m = (H2 H2n )(|b |j ) = 1 2
1

(H2 |b ) (H2n |j ) = (1)ib |i


1 2n 1

i=0

1 2n

2n 1 k=0

(1)kj |k

1 2n+1 1 2n+1

i=0 k=0 1

(1)ib (1)kj |i |k = (1)(ik)(bj) |i |k = +


2n 1 k=0 2n 1 k=0

1 2n+1 1 2n+1
2n 1 k=0

2n 1

i=0 k=0

(1)
2n 1 k=0

(0k)(bj)

|0 |k

(1)(1k)(bj) |1 |k =

(1)(0k)(bj) |k +

(1)(1k)(bj) |k + 2n

56 1 2n+1
2n 1 k=0

CHAPTER 3. COMPUTERTAS CUANTICAS (1)km |k +


2n 1 k=0

(1)(k+2

)m

|k + 2n

1 2n+1

2n 1 i=0

(1)im |i +

2n+1 1 i=2n

(1)im |i

1 2n+1

2n+1 1 i=0

(1)im |i

3.7

Full Adder Cuntico a

El fulladder es una operacin binaria bsica que implementa la suma de bits. o a El fulladder cuenta con 3 entradas y dos salidas llamadas Sum y Carry. La tabla de verdad de estas operaciones esta dada por

a 0 0 0 0 1 1 1 1

b 0 0 1 1 0 0 1 1

Full Adder c Sum Carry 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 1 1

El circuito cuntico que implementa esta operacin es a o

3.8. TRANSFORMADA DE FOURIER CUANTICA

57

a b c |0 |0
m m } }

} }

} } } } m

a b c Carry(a,b,c) Sum(a,b,c)

m m

3.8

Transformada de Fourier Cuntica a

Jean Baptieste Joseph Fourier, imaginaba que la supercie del mar no era mas que la suma de funciones senosoidales. El razonaba que oscilaciones en la supercie del agua son creadas por ondas que se propagan en el medio, y estas se encuentran caracterizadas por funciones senosoidales. Por ejemplo, cuando lanzamos una piedra en un estanque de agua totalmente quieta, las ondas senosoidales son claramente visibles, si lanzamos mas piedras empiezan a surgir patrones mas complejos. Entonces cabe la pregunta, Qu e tan complejos pueden ser los patrones generados por la suma de funciones senosoidales? Resulta ser que un gran n mero de funciones se puede representar como la u suma de senosoidales. La representacin de funciones mediante senosoidales o es un esquema que tiene una gran relevancia f sica ya que existen gran cantidad de fenmenos f o sicos que son provocados por oscilaciones y por lo tanto caracterizables mediante senosoidales.

3.8.1

La Transformada de Fourier

Fourier comienza diciendo que cualquier funcin peridica s(x) con periodo o o T , tal que s(x + T ) = s(x), puede expresarse en el intervalo [ T , T ] como la 2 2 suma de senosoidales de la forma a0 + an cos(2nf x) + bn cos(2nf x) s(x) = 2 n=1

58

CHAPTER 3. COMPUTERTAS CUANTICAS

1 donde f = T y se le llama frecuencia, y los coecientes an y bn estan denidos por las frmulas o T 2 1 a0 = s(x)dx T T 2

1 an = T 1 bn = T
T2 T 2

T 2

s(x) cos(2nf x)dx s(x) sin(2nf x)dx

T 2
T 2

T 2

Notese que para cualesquiera valor de n y m distintos se cumple que sin(2nf x) sin(2mf x)dx = 0

y lo mismo es cierto para los cosenos. Esta propiedad permite ver a las funciones trigonomtricas como una base para construir funciones. e La transformada de Fourier, es una trasnformacin matemtica que trao a duce un problema del mbito de amplitudes y tiempo al mbito de frecuena a cias. Por ejemplo, la transformada de Fourier de una se al de sonido obtiene n las frecuencias fundamentales del sonido que se escucha (las notas musicales). La transformada de fourier es util para el procesamiento digital de se ales, n tales como voz, imagenes, u otros.

3.8.2

La Transformada de Fourier discreta

El planteamiento bsico de la trasformada de fourier se puede especicar a tanto en el campo discreto como en el continuo. Sin embargo, para nuestros casos nos interesara la transformada de Fourier discreta, el planteamiento de la trasformada es el siguiente. Dada una funcion f (x) tal que contamos con N muestras de f (x) denominadas f0 , f1 , . . . , fN 1 . Se llama trasformada de Fourier discreta de {f0 , . . . , fN 1 } al conjunto de valores {F0 , F1 , . . . , FN 1 } denido como 1 Fk = N donde
N 1 j=0
2i

jk fj N

(3.3)

N = e N

3.8. TRANSFORMADA DE FOURIER CUANTICA Es importante resaltar las siguientes propiedades 1. N es una raiz N-sima de 1, tal que e
N N = e N
2i

59

= e

2iN N

= e2i = cos(2) i sin(2) = 1


j

j 2. N es tambin una raiz N-sima de 1 ya que e e j N N jN N N = N = N j = N

= 1j = 1

j 3. todos los N son distintos para j {0, . . . , N 1} 2 4. N = N/2 ya que 2 N = e N


2i

= e

2i2 N

= e N/2 = N/2

2i

5. N

N/2

= 1 ya que N
N/2

= e N

2i

N/2

= e

2iN N2

= ei = cos() i sin() = 1

Dada la ecuacin 3.3 y las anteriores propiedades, la transformada de Fourier o discreta puede expresarse como una multiplicacin de matrices de la forma o f = F donde f0 f1 . . . fN 1 1 N 2 N . . .
k N . . .

f = = 1 1 1 . . .

, . . .

F = 1 j N 2j N .. .

F0 F1 . . . FN 1

1 . . .

. . .

kj N .. . (N 1)j

1 N N 1 2(N 1) N . . . . . . k(N 1) N . . . . . .
(N 1)2

N 1 N 1 N N Bajo esta notacin, la trasformada de Fourier se convierte en una multio plicacin de una matriz por un vector, y su complejidad computacional es o O(N 2 )

60

CHAPTER 3. COMPUTERTAS CUANTICAS

3.8.3

La Transformada de Fourier rpida (FFT) a

La complejidad computacional de la trasformada de Fourier discreta puede mejorarse considerablemente si se utiliza la propiedad de que los valores de j N tienden a repetirse y si suponemos que N es divisble entre 2, con estas condiciones tenemos que 1 Fk = N 1 N 1 N 1 N
N 1 j=0 jk fj N = j{0,1,...,N 1} jk fj N + j{1,3,...,N 1} jk fj N = jk fj N =

j{0,2,...,N 2} N/21 2jk f2j N j=0 N/21 2jk f2j N j=0 2 jk N

1 + N +

N/21

f2j+1 N
j=0

(2j+1)k

1 N 1 N

k N

1 N 1 N 1 N

N/21 2jk f2j+1 N = j=0 N/21 2 f2j+1 N j=0 N/21 jk f2j+1 N/2 = j=0 jk

N/21

f2j
j=0 N/21

k N

Ahora bien, el valor de k en la ecuacin 3.4 puede variar de 0 a N 1, lo cual o indica que solo para los valores de k {0, 1, . . . N 1} tanto la transformada 2 par como la impar son transformadas de Fourier con N/2 puntos.

N/21 N/21 1 1 1 jk jk k f2j N/2 +N f2j+1 N/2 N/2 2 N/2 j=0 j=0
Transf. par Transf. impar

1 N

jk f2j N/2 j=0

k N

(3.4)

3.8. TRANSFORMADA DE FOURIER CUANTICA

61

Sin embargo, todos los valores mayores o iguales a N se pueden expresar 2 como k + N donde k {0, 1, . . . N 1} y para estos la ecuacin 3.4 se expresa o 2 2 como N/21 N/21 N N N 1 1 1 j(k+ ) k+ j(k+ ) f2j N/2 2 + N 2 f2j+1 N/2 2 = Fk+ N = 2 2 N/2 j=0 N/2 j=0 1 1 2 N/2
N/21 jk k f2j N/2 N/2 + N N j=0 jN/2 N/2

1 N/2

N/21

j=0

j j 1 1 1 N/2 N/2 N/2 jk jk k f2j N/2 N/2 + N N f2j+1 N/2 N/2 = 2 N/2 j=0 N/2 j=0 N/21 N/21 1 1 1 jk jk k f2j N/2 (1)j + N (1) f2j+1 N/2 (1)j = 2 N/2 j=0 N/2 j=0 N/21 N/21 1 1 1 jk jk k f2j N/2 N f2j+1 N/2 2 N/2 j=0 N/2 j=0

N/21

N/21

jN/2 jk f2j+1 N/2 N/2 =

3.8.4

La Transformada de Fourier Cuntica (QFT) a

La transformada de Fourier cuntica toma un estado | y lo transforma en a un estado | tal que f0 F0 f1 F1 | = . , | = . , . . . . fN 1 FN 1 donde los Fk son los coecientes de la transformada de Fourier de f0 , . . . , fN 1 . Como los estados cunticos deben estar normalizados, la transformada de a Fourier cuntica cumple con la siguiente ecuacin a o 1 Fk = N
N 1 j=0

| |

QFT

fj jk

62

CHAPTER 3. COMPUTERTAS CUANTICAS

Si el estado cuntico adems corresponde a una secuencia de qubits podemos a a n decir que N = 2 y la expresin se traduce a o 1 Fk = 2n
2n 1 j=0

fj jk

(3.5)

Tambin sabemos que el coeciente Fk multiplica al ket base |k asi que e QFT| =
2n 1 k=0 2n 1 k=0

Fk |k =

1 2n

2n 1 j=0

fj jk

|k = (3.6)

1 2n

2n 1 j=0

fj

2n 1 k=0

jk |k

Y como fj es el coeciente del vector base |j , entonces por linealidad la ecuacin 3.5 es equivalente a decir que o 1 QFT|j = 2n ya que QFT| = QFT
2n 1 j=0 2n 1 j=0 2n 1 j=0 2n 1 k=0

w jk |k

(3.7)

fj |j =

fj QF T |j =
2n 1 k=0

1 fj 2n
2n 1 k=0

jk |k =

1 2n

2n 1 j=0

fj

jk |k = ecuacin 3.6 o

3.8. TRANSFORMADA DE FOURIER CUANTICA Derivacin del circuito de la QFT o

63

Utilizaremos la equacin 3.7 para derivar la forma que debe tener el circuito o de la QFT, antes de esto haremos ciertas suposiciones notacionales 1. k {0, 1, . . . , 2n 1} y el ket |k corresponde a una secuencia de n qubits tal que |k = |k1 k2 kn = |k1 |k2 |kn
n

k = k1 2n1 + k2 2n2 + + kn12 + kn = con ks {0, 1}.

ks 2ns
s=1

2. j {0, 1, . . . , 2n 1} y el ket |j corresponde a una secuencia de n qubits tal que |j = |j0 j1 jn1 = |j0 |j1 |jn1
n1

j = j0 2n1 + j1 2n2 + + jn2 2 + jn1 = con js {0, 1}.

js 2n(s+1)
s=0

Con estas deniciones el circuito cuntico de la transformada de Fourier debe a cumplir con 2n 1 1 QFT|j = w jk |k = 2n k=0 wj
kn {0,1}

k1 {0,1} k2 {0,1}

k1 {0,1} k2 {0,1}

e(2ij(
kn {0,1}

k1 {0,1} k2 {0,1}

e(2ij
kn {0,1}

k1 {0,1} k2 {0,1}

e(2ij
kn {0,1}

1 2n

n s=1

ks 2s )

1 2n

1 2n

1 2n

n s=1

ks 2ns

|k1 k2 kn = |k1 k2 kn =

n s=1

ks 2ns ))/2n

n s=1

ks 2s )

|k1 k2 kn =

|k1 |k2 |kn =

64 1 2n

CHAPTER 3. COMPUTERTAS CUANTICAS


n

e2ijks2
kn {0,1} s=1 n

k1 {0,1} k2 {0,1}

|k1 |k2 |kn =


n
s

1 2n

k1 {0,1} k2 {0,1}

e2ijks 2
kn {0,1} s=1 n

s=1

|ks = =

1 2n

k1 {0,1} k2 {0,1}

kn {0,1} s=1
s

e2ijks 2 |ks
s

1 2n
n

s=1 ks {0,1}

e2ijks 2 |ks e2ijks2 |ks


s

s=1 n

1 2k

s {0,1}

s=1

1 s s e2ij02 |0 + e2ij12 |1 2
n

s=1 n

1 s |0 + e2ij2 |1 2 1 0
n

= 0 1

s=1

1 2

+ e2ij2 1 e

s=1

1 2

2ij2s

(3.8)

Ahora analizando el trmino e e2ij2


s

= e2i(

e2i e2i e

n1 ns(m+1) m=0 jm 2 n1 (ns1)m m=0 jm 2

n1 m=0

2ijm

n1

e2ijm 2
m=0

n1 n(m+1) )2s m=0 jm 2

= = = =

2(ns1)m

(ns1)m

3.8. TRANSFORMADA DE FOURIER CUANTICA


ns1 n1

65 (3.9)

e
m=0

2ijm 2(ns1)m

e2ijm 2
m=ns

(ns1)m

Ahora bien, notese que el trmino de la izquierda es e2iM donde M es entero, e y esta expresin es igual a 1. Asi que la ecuacion 3.9 da igual a o
n1

e2ijm 2
m=ns

(ns1)m

y la ecuacin 3.8 expresando j en notacin binaria es igual a o o


n

s=1

1 2
n

1
n1 2ijm 2(ns1)m m=ns e

s=1

1 2

1 e2i0.jns jns+1 jn1

66

CHAPTER 3. COMPUTERTAS CUANTICAS