Esta memoria tendra dos partes diferenciadas, una centrada en ideas relacionadas con el estudio de propiedades fundamentales de la mecanica cuantica mediante el uso de iones atrapados, y otra centrada en el desarrollo de recientes ideas asociadas a computacion cuantica.
En particular, en la primera parte de la tesis desarrollaremos varias ideas que conjuntamente nos permitirian realizar con iones atrapados el experimento, hasta ahora imaginario, de crear un determinado estado no clasico destruirlo de forma controlada, y medir el estado resultante al final del proceso.
La segunda parte de la memoria estara mas centrada en la computacion cuantica. Comenzaremos con una discusion del formalismo general para caracterizar procesos cuanticos. Posteriormente aplicaremos estas ideas a la caracterizacion de puertas logicas cuanticas.
Para finalizar, presentaremos un metodo para realizar dinamica condicionada con iones atrapados, en la que aplicaremos ideas asociadas con la interferometria atomica.
Esta memoria tendra dos partes diferenciadas, una centrada en ideas relacionadas con el estudio de propiedades fundamentales de la mecanica cuantica mediante el uso de iones atrapados, y otra centrada en el desarrollo de recientes ideas asociadas a computacion cuantica.
En particular, en la primera parte de la tesis desarrollaremos varias ideas que conjuntamente nos permitirian realizar con iones atrapados el experimento, hasta ahora imaginario, de crear un determinado estado no clasico destruirlo de forma controlada, y medir el estado resultante al final del proceso.
La segunda parte de la memoria estara mas centrada en la computacion cuantica. Comenzaremos con una discusion del formalismo general para caracterizar procesos cuanticos. Posteriormente aplicaremos estas ideas a la caracterizacion de puertas logicas cuanticas.
Para finalizar, presentaremos un metodo para realizar dinamica condicionada con iones atrapados, en la que aplicaremos ideas asociadas con la interferometria atomica.
En la actualidad las caminatas aleatorias han sido empleadas como herramientas
para el desarrollo de numerosos algoritmos. Sin embargo, una carencia
importante para la solucion de problemas radica en la falta de algoritmos que
exploten a su favor los fenomenos que la naturaleza a escalas atomicas presenta.
En este trabajo de tesis se estudia el analogo cuantico que presenta un
caminante al azar, conocido como caminata cuantica. Desde su propuesta, el
paradigma de las caminatas cuanticas ha despertado un considerable interes en
su estudio durante los ultimos anos, ya que, debido a los fenomenos de superposicion,
este grupo de caminata al azar se propagan con mayor rapidez que una
caminata clasica y por lo tanto se puede dar un recorrido espacial en un menor
numero de iteraciones que su contraparte clasica. Por lo anterior, del estudio
de caminatas cuanticas se espera un desempeno superior para el desarrollo de
algoritmos mas veloces.
La hipotesis que en este trabajo se plantea es que a traves del cambio y la
manipulacion en el uso de operadores y los estados iniciales, se generaran cambios
radicales en las distribuciones de los caminantes. Se esperan que al realizar
estos cambios en la densidad probabilidad de un caminante tengan aplicaciones
algoritmica en futuras investigaciones.
Debido a lo anterior esta tesis plantea como objetivo central el analisis de las
caminatas cuanticas, mostrando los cambios radicales que presentan las caminata
cuanticas en sus distribuciones de probabilidad, ademas de presentar una
idea basica de las posible forma de implementacion algoritmica de estas distribuciones.
Ademas reportamos nuevos resultados, hasta donde hemos investigado, en
relacion a la evolucion de las caminatas cuanticas para monedas en altas dimensiones
considerando estados maximamente enlazados y el operador de Grover.
Otros objetivos que se establecen, es dar una motivacion para realizar estudios
en el sentido de la computacion cuantica. Ademas de explicar los fenomenos
que se presentan a escalas atomicas, que son los que ayudan a potencializar el
desempeno de los algoritmos y la caminata cuanticas.
En este trabajo de tesis se apunta a desarrollar herramientas que posibiliten la descripción de sistemas físicos de interés en información cuántica. El marco teórico de las investigaciones está dado por la teoría de la información, la mecánica cuántica y la geometría diferencial. Las investigaciones propuestas están principalmente vinculadas al interés en la naturaleza de los objetos y procesos coherentes en física, en particular focalizado en la noción de coherencia cuántica. La coherencia cuántica en sistema de muchos cuerpos representa la esencia del entrelazamiento y es un ingrediente indispensable para una multitud de fenómenos físicos en óptica cuántica, información cuántica, física de estado sólido y termodinámica a bajas temperaturas. Los estados entrelazados y el fenómeno de coherencia juegan un rol central en las ciencias de la información cuántica, cuyo desarrollo en los últimos años ha alcanzado gran relevancia a nivel global y constituye uno de los temas prioritarios de estudio en centros de investigación destacados de todo el mundo. En escenarios realistas, tales como sistemas cuánticos abiertos, la coherencia es afectada por el ruido ambiente, de acuerdo al fenómeno de decoherencia; la descripción de procesos físicos de decoherencia es un área de estudio muy activa. Para el estudio de procesos coherentes en sistemas cuánticos resulta fundamental contar con medidas apropiadas que permitan cuantificar el grado de coherencia. Se han establecido algunas propiedades que tales medidas deberían satisfacer, notando que la caracterización cuantitativa de coherencia necesita aún atención y un análisis más exhaustivo y amplio. Los objetivos específicos son explorar cuantificadores alternativos de coherencia utilizando medidas de información, lograr caracterizarla en el marco de la teoría de recursos mediante la propiedad de mayorización y avanzar sobre formulaciones geométricas y entrópicas del principio de incerteza desarrolladas por el grupo, estudiando su conexión con la coherencia cuántica.
Desde su origen, la teoria de la informacion ha tenido fuertes conexiones con la mecanica estadistica. El mismo termino entropia de la informacion fue elegido por Shannon a partir del termino usado en termodinamica, bajo sugerencia de Von Neumann. La misma relacion se ha desarrollado recientemente entre las correspondientes generalizaciones cuanticas de ambas teorias, que son la informacion cuantica, que estudia el almacenamiento y la manipulacion de la informacion en sistemas cuanticos, y la fisica de muchos cuerpos. Las conexiones entre los dos campos aumentan cada dia y van en las dos direcciones. Las herramientas e ideas de la informacion cuantica ayudan a solucionar problemas abiertos en teoria de la materia condensada, y nuevos modelos de muchos cuerpos se desarrollan para aplicaciones de la informacion cuantica. Al mismo tiempo la implementacion y el control experimental de pequenos sistemas cuanticos ha mejorado de forma espectacular, aumentando la posibilidad de que estos experimentos se puedan llevar a cabo a escala mas grande, abriendo la posibilidad de aplicaciones practicas.
Es reciente el interes de la comunidad de investigadores en informacion cuantica por estos modelos, y se ha empezado a ver este tipo de evoluciones no solamente como un problema que resolver, sino como un recurso que explotar. Este fundamental cambio de perspectiva ha abierto una nueva linea de investigacion en el campo, incorporando ideas sobre como construir evoluciones artificiales en las cuales la disipacion trabaja en nuestro favor en vez de en nuestra contra, incluso protegiendo el sistema de otros ruidos incontrolados. De esta manera se han planteado nuevos problemas interesantes, como cual es el poder computacional de estos modelos y que condiciones pueden garantizar la resistencia contra el ruido externo.
Esta tesis es parte del esfuerzo para mejorar nuestro conocimiento de estos modelos.
Nos hemos centrado en el estudio de las propiedades de evoluciones disipativas de sistemas cuanticos de espines en un reticulo, bajo una hipotesis que llamamos equilibracion rapida. Consideramos evoluciones disipativas con un unico punto fijo, y que comprimen todo el espacios de estados iniciales en un entorno decreciente del punto fijo. La escala temporal a la cual se tiene esta compresion, es decir el tiempo que tenemos que esperar para que cualquier estado inicial se encuentre arbitrariamente cercano al punto fijo, se llama tiempo de equilibracion del proceso. La condicion de equilibracion rapida pide que este tiempo sea logaritmico en el tamano del sistema.
La contribucion principal de esta tesis es demostrar que la equilibracion rapida tiene importantes consecuencias en las propiedades del sistema. Este sera estable bajo perturbaciones externas y sus puntos fijos satisfaran una ley de area para la informacion mutua.
La parte mas tecnica de este trabajo se basa en las llamadas cotas de Lieb Robinson. Muy conocidas en el caso de sistemas cerrados, pero igualmente validas para sistemas abiertos, las cotas de Lieb Robinson formalizan la idea que la informacion en un sistema de muchos cuerpos solo puede moverse con una velocidad finita, dado que su propagacion esta mediada por las interacciones locales. Por lo tanto, controlar la escala temporal con la cual la evolucion converge permite a su vez controlar la escala espacial a la cual se pueden crear correlaciones.
Resumen.En estas notas se exponen con detalle y de manera autocontenida las herramientas básicas de la teoría de los espacios de Hilbert complejos de dimensión infinita, que son necesarias para un primer estudio, matemáticamente riguroso, de la mecánica cuántica.En la última parte incluimos una introducción axiomática a la mecánica cuántica y una breve exposición del modelo del oscilador armónico y de la teoría de estados cuánticos Gaussianos. IntroducciónLa mecánica cuántica es la rama de la física que estudia los fenómenos físicos que ocurren en escalas de longitudes muy pequeñas.El calificativo "cuántico" surge de, en contraste con la mecánica clásica, considerar algunas cantidades que toman solamente valores discretos i.e., en "paquetes" o quantum-quanta en latín.Aún cuando hay muchas nociones de la mecánica cuántica que aún suscitan controversia, esta teoría se aplica exitosamente para describir el comportamiento de sistema físicos y sus predicciones son consistentes con los experimentos.Los sistemas físicos que estudia la mecánica cuántica, exhiben propiedades ondulatorias que se pueden describir mediante una ecuación de onda, por ejemplo, la bien conocida "ecuación de Schrödinger", que describe la evolución temporal de una partícula subatómica con masa, en el contexto no relativista.En estas notas trabajamos con el formalismo de matrices de densidad, que permite describir estados que son mezclas de estados puros.En consecuencia, este enfoque resulta ser una herramienta poderosa para describir sistemas cuánticos más generales, por ejemplo, acoplamientos (ensambles) de muchos sistemas cuánticos idénticos.El material que se presenta en este trabajo está dividido en cuatro secciones compuestas de la siguiente manera: la sección 1 contiene una selección de resultados de índole geométrico y analítico de la teoría de espacios de Hilbert: ortogonalidad y descomposición ortogonal, convexidad, operadores lineales, norma de operadores y funcionales lineales.La sección 2 se concentra en la clase de los operadores compactos, particularmente en los operadores de la clase de traza y de manera especial, en los operadores de Hilbert-Schmidt.Es relevante mencionar que los estados cuánticos se representan mediante operadores positivos de traza uno.La sección 3 se dedica al estudio de operadores no acotados que pueden no estar densamente definidos en un espacio de Hilbert.Abordamos también el estudio de operadores cerrados y cerrables, el adjunto de un operador y una introducción a la teoría espectral de operadores.Una parte esencial de esta sección son los operadores simétricos e isométricos, los cuales exhiben similitudes en sus propiedades geométricas y espectrales.Cabe señalar que las observables físicas se representan por operadores simétricos típicamente no acotados.Por último, en la sección 4 se discuten brevemente postulados de la mecánica cuántica en el marco del formalismo de matrices de densidad, se revisa el modelo del oscilador armónico cuántico y se ofrece una introducción a los estados cuánticos Gaussianos.Al final de cada sección incluimos una selección de problemas que sirven para complementar estas notas.El lector interesado puede profundizar en el estudio de resultados aquí expuestos, desde los más básicos hasta los más avanzados, en la literatura clásica de operadores lineales, por ejemplo en [1,2,3,4,13,20].
En esta tesis se presentan trabajos encaminados a resolver el problema del ruido en los sistemas cuanticos. En el ambito de la informacion cuantica, se estudia de forma sistematica una familia de protocolos de destilacion cuantica para qudits. En lo tocante a la correccion cuantica de errores, se introducen nuevos codigos de caracter topologico y tecnicas especificas para su manipulacion. Finalmente, se exploran nuevas formas de orden topologico y nuevos mecanismos para explotarlo de cara a realizar computaciones cuanticas. De los estudios presentados en esta tesis se desprende claramente que el estudio de las propiedades topologicas en informacion y computacion cuanticas, asi como en sistemas fuertemente correlacionados en materia condensada, es un tema de investigacion con numerosas preguntas abiertas que en la actualidad son objeto de intensa actividad investigadora.
Esta tesis presenta la primer demostración experimental de un nuevo método para caracterizar la evolución de sistemas cuanticos de un modo eficiente y selectivo. Es el resultado de una colaboración entre teóricos y experimentales en la busqueda de métodos que permitan caracterizar, controlar y entender el comportamiento de sistemas cuanticos con el objetivo de poder realizar tareas de información cuantica. Esta dividida en dos partes. En la primer parte se desarrollan las bases experimentales y describe el armado del laboratorio. Las técnicas experimentales utilizadas y las ideas fundamentales relacionadas con el uso de fotones como objetos capaces de procesar información cuantica son descriptas. La segunda parte primero revee distintos métodos de tomografía de procesos cuanticos con especial enfasis en el método que implementamos experimentalmente por primera vez: tomografía de procesos cuanticos selectiva y eficiente. Finalmente, se describe la impementación experimental de este nuevo método en sistemas de uno y dos qubits. Las diferentes evoluciones estudiadas presentan clara evidencia de su perfomance robusta en la determinación de propiedades de un sistema de un modo eficiente y selectivo.