En este trabajo se discuten los problemas que se presentan en el modelo de medición basado en decoherencia. Debido a que el origen de las críticas a este modelo se encuentra en el uso de los estados reducidos de sistemas abiertos, se propone un cambio de enfoque. Por un lado, la adopción de la perspectiva de los sistemas cerrados permite dar cuenta de procesos irreversibles en sistemas que no interactúan con un ambiente. Por otro lado, el enfoque de los valores medios hace posible el estudio de la evolución de los sistemas cuánticos sin apelar a sus estados. La combinación de ambos enfoques da como resultado una formulación de la decoherencia cuántica, cuya aplicación al problema de la medición supera las críticas del enfoque original.
En este trabajo se discuten los problemas que se presentan en el modelo de medición basado en decoherencia. Debido a que el origen de las críticas a este modelo se encuentra en el uso de los estados reducidos de sistemas abiertos, se propone un cambio de enfoque. Por un lado, la adopción de la perspectiva de los sistemas cerrados permite dar cuenta de procesos irreversibles en sistemas que no interactúan con un ambiente. Por otro lado, el enfoque de los valores medios hace posible el estudio de la evolución de los sistemas cuánticos sin apelar a sus estados. La combinación de ambos enfoques da como resultado una formulación de la decoherencia cuántica, cuya aplicación al problema de la medición supera las críticas del enfoque original.
ResumenEn la teoría cuántica de la medición existen dos problemas centrales: el problema de la lectura definida y el problema de la base preferida.El primer problema consiste en el hecho de que la teoría no puede dar cuenta de valores bien definidos registrados como resultados en la medición, puesto que predice que el estado final del sistema y aparato es una superposición sin valor definido.El segundo problema consiste en el hecho de que bajo ciertas circunstancias (referidas a la preparación del estado del sistema a medir) la teoría no puede dar cuenta, además, de una base bien definida de estados a la cual pertenece el resultado obtenido en la medición.Históricamente la pretendida resolución a estos problemas viene de la mano del formalismo de decoherencia, el cual se ha desarrollado como un intento de encontrar el limite clásico de la mecánica cuántica.El objetivo principal de esta tesis consiste en brindar una respuesta a los mencionados problemas sin apelar a decoherencia alguna.Respecto del problema de la base preferida presente en las correlaciones del estado final de la medición, mostraremos que, en lugar de resolverse apelando a una interacción posterior con el entorno, tal como en la teoría de la decoherencia, puede ser resuelto analizando el proceso previo a dicho estado final sin la necesidad del entorno.La esencia del procedimiento consiste en reconsiderar la medición, no como la mera correlación que se manifiesta en el estado final, sino como el proceso capaz de establecerla.Desde esta nueva perspectiva es posible diferenciar distintos procesos que conducen a distintas correlaciones, independientemente de que éstas puedan vincularse matemáticamente mediante un cambio de base.La eliminación de la ambigüedad de la base se logra al determinar qué proceso es caracterizado por el operador de evolución que conecta el estado inicial de la medición con el final.Estrictamente hablado, el problema no queda resuelto, sino más bien disuelto, al considerar que la medición involucra todo el proceso que desemboca en una correlación final, y ello sin la necesidad de agregar interacciones posteriores con sistemas como el entorno.Respecto del problema de la lectura definida nuestro objetivo es un poco más modesto.No vamos a resolver el problema estrictamente sino que, en el marco de ese problema, brindaremos una respuesta a la incompatibilidad que establece el postulado del colapso respecto de las evoluciones unitarias.La estrategia aquí es incorporar los aparatos de medición en el cálculo de las probabilidades condicionales establecidas para una secuencia de dos mediciones.Asumiendo valores definidos para la primera, demostramos que el postulado del colapso sobre el sistema puede ser derivado del propio formalismo de la teoría cuántica, aun cuando el sistema compuesto que incluye a los aparatos nunca abandona la evolución unitaria que predice la ecuación de Schrödinger
En el presente trabajo se aborda un estudio general de la decoherencia cuántica, entendiendo por general que no se centra en el análisis de un modelo particular. El estudio de la decoherencia ha adquirido, recientemente, una gran importancia en la computación cuántica, donde el fenómeno de la decoherencia representa un gran obstáculo para implementación de hardware para procesamiento de la información. Por otro lado, la decoherencia juega un papel esencial en el límite clásico y en la emergencia del comportamiento clásico en sistemas cuánticos. Por este motivo la comprensión del fenómeno de la decoherencia y el desarrollo de formalismos matemáticos para estudiarla son esenciales. De acuerdo con los trabajos de Zurek et al., la decoherencia es un proceso que resulta de la interacción entre un sistema cuántico abierto y su ambiente (EID). Este proceso determina cuál es la base privilegiada, que define los observables que adquieren características clásicas y pueden interpretarse como propiedades que obedecen a la lógica booleana. Recientemente Castagnino et al señalaron la conveniencia de tomar en cuenta tres aspectos de la teoría: (i) la posibilidad de estudiar la decoherencia de sistemas cerrados (sin ambiente), (ii) el criterio para determinar cuál es el subsistema que decohere, y (iii) el cálculo de la base privilegiada móvil. Por otro lado, en la bibliografía se encuentran otros enfoques para describir tanto la decoherencia como la relajación de los sistemas cuánticos. Tal es el caso de los trabajos de Castagnino et al., según el cual la relajación es un proceso que resulta de la elección de los observables que tienen relevancia física en un sistema cerrado (SID), y que define los observables que adquieren características clásicas y pueden interpretarse como propiedades que obedecen a la lógica booleana. La existencia de ambos enfoques aporta puntos de vista distintos acerca de los fenómenos físicos de la decoherencia y de la relajación. En esta tesis se presenta una perspectiva basada en valores medios, que cambia el foco de interés del operador de estado a los valores medios. Dicha perspectiva da lugar a un esquema general que unifica los enfoques anteriores de decoherencia y relajación, sobre el cual se espera seguir trabajando para la incorporación de otros enfoques. Esta perspectiva, además, permite reconsiderar los tres aspectos señalados anteriormente: (i) incorpora el estudio de sistemas sin ambiente, (ii) explicita el carácter relativo de la decoherencia respecto de la elección de los observables relevantes y permite definir al "mundo" clásico emergente como un conjunto de observables, y (iii) provee caracterizaciones alternativas del tiempo de decoherencia y de la base privilegiada móvil. Por otro lado, se presentan aportes de naturaleza técnica sobre aspectos de la decoherencia, en particular se propone una técnica que permite calcular los tiempos de decoherencia y relajación a partir de la extensión analítica de funciones que dependen del Hamiltoniano.
Si el proceso de medición es representado como una interacción entre dos sistemas cuánticos, el objeto y el aparato, se obtiene una correlación entre los estados de ambos sistemas. Un cambio de base en los espacios de Hilbert del objeto y del aparato permite en algunos casos obtener una correlación diferente. Para algunos autores esto implicaría la posibilidad de medir simultáneamente observables que no conmutan, lo que haría necesaria la presencia de un environment que, vía decoherencia, seleccionara la base adecuada (pointer basis). Mostramos en este trabajo que si bien el cambio de base y la nueva correlación entre estados del objeto y estados del aparato es matemáticamente posible, esto no se corresponde con una medición realizable en el laboratorio. Resulta entonces innecesario apelar a la decoherencia producida por el medio ambiente para decidir cual es el observable que efectivamente “mide” el aparato.
El trabajo se propone presentar un enfoque de la decoherencia cuántica más general que el enfoque tradicional de la decoherencia inducida por el entorno (environment-induced decoherence) formulado por Zurek y sus colaboradores. Este nuevo enfoque, que viene desarrollándose en diversas publicaciones de nuestro grupo, adopta la perspectiva del sistema cerrado completo, sistema más entorno, y se basa en el análisis de la evolución temporal de los valores medios de los observables de dicho sistema cerrado. Al unificar la decoherencia inducida por el entorno y algunas propuestas alternativos, este nuevo enfoque facilitaría la elucidación del concepto de decoherencia desde una perspectiva general
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.
El trabajo se estructura en 6 capitulos. El capitulo 1 posee fundamentalmente un caracter de introduccion teorica a las herramientas de campo medio que se usan en los diferentes modelos que se presentan, ademas de introducirse otros conceptos que apareceran a lo largo del trabajo. El capitulo 2 tambien constituye una introduccion teorica en la que se realiza un breve analisis del concepto de la decoherencia y sus implicaciones en la Mecanica Cuantica, poniendo especial enfasis en el problema de la medida y como la introduccion del ambiente permite una posible solucion a dicho problema. En este capitulo se presentara la matriz densidad como herramienta basica de trabajo para estudiar el factor de decoherencia.El capitulo 3 se puede dividir en dos bloques. Un primer bloque dedicado la modelo vibronico U(4) y un segundo bloque dedicado a su limite 2D, el modelo U(3). En ambos bloques se expondran las propiedades algebraicas de los dos modelos asi como las diferentes cadenas de simetria que se obtienen. Estos modelos presentan una QPT y usando el formalismo de estados intrinsecos se estudiara la transicion de fase entre la fase simetrica y la fase no simetrica. Sin embargo, se sabe que este metodo es correcto unicamente en el orden mas alto en el desarrollo en potencias de N, donde N es el numero de bosones. Nosotros nos basaremos en el metodo desarrollado en [15] para ir mas alla de este orden y calcular correcciones de tamano finito a varios observables espectroscopicos. Para ello, se introducira la transformacion de Holstein-Primako_ que proporcionara un hamiltoniano en serie de potencias de N donde unicamente se consideraran los terminos en orden mas alto: N, N1/2 y N0. Despues, mediante el uso de una transformacion de Bogoliubov se conseguira la diagonalizacion del hamiltoniano, con lo que se obtendran expresiones analiticas para el estudio del sistema tanto en la fase simetrica como en la no simetrica. Dichas expresiones analiticas se compararan posteriormente con los calculos numericos obtenidos de resolver el problema exactamente en una base adecuada. Ademas, se llevara a cabo un estudio de escalado del sistema por tamano finito que nos permitira extraer los exponentes criticos de los observables espectroscopicos analizados.El capitulo 4 esta dedicado a otro sistema de dos niveles, el modelo de Lipkin. Este modelo guarda una estrecha relacion con el modelo vibronico tal y como se vera en el capitulo 3. Dicha relacion quedara mas patente con la eleccion que se realizara del estado intrinseco para estudiar el diagrama de fases del modelo vibronico. De hecho podemos afirmar que un modelo vibronico con simetria axial se comporta como un modelo de Lipkin. Por este motivo, todo el estudio que se realice en campo medio para el modelo vibronico sera aplicable al modelo de Lipkin, ya que las expresiones que se obtendran son formalmente analogas. Asi pues, en este capitulo nos centraremos en la influencia que tiene una transicion de fase cuantica sobre el fenomeno de la decoherencia. Ahora bien, se sabe que el citado modelo presenta tanto una QPT como una ESQPT, y dependiendo del valor de los parametros concretos del sistema, la ESQPT puede ser de primer o segundo orden. De modo que el analisis se realizara para ambos tipos de transicion. Para tal proposito, se presenta un sistema constituido por un qubit interactuando con un bano bosonico que vendra descrito por el modelo de Lipkin. El estudio de la decoherencia se realizara tanto empleando las tecnicas mas alla de campo medio desarrolladas en el modelo vibronico, como usando la aproximacion de Tamm-Dancoff (TDA) [28] y TDA a segundo orden. Todos los resultados se compararan una vez mas con la solucion exacta del problema y se analizara la relacion entre la transicion de fase que experimenta dicho sistema con la decoherencia. Ademas se incluira un estudio de escalado por tamano finito del factor de decoherencia.En el capitulo 5 se estudiaran tres modelos que describen un campo bosonico de un unico modo interactuando con un subsistema algebraico basado o bien en el algebra SU(1; 1) o en el SU(2). El modelo SU(1; 1) es un modelo de juguete util para la descripcion de la formacion y disociacion de moleculas diatomicas y atomos independientes [16]. El hamiltoniano SU(2) representa al modelo de Dicke [27] o al modelo de Jaynes-Cummings (JC) [17] (tambien conocido como modelo de Tavis-Cummings [29]). Estos dos ultimos modelos poseen interes en Optica Cuantica y describen a un sistema de atomos susceptibles a ocupar dos niveles interactuando con un campo de radiacion. Mientras que el modelo SU(1; 1) y el modelo de Jaynes-Cummings son integrables, el modelo de Dicke no lo es. Todos ellos son sistemas de dos niveles que presentan tanto una QPT como una ESQPT. Asi pues, en primer lugar se analizaran las transiciones de fase con una aproximacion semiclasica, en particular las relacionadas con las transiciones de fase de estados excitados. Despues se introducira el concepto de quantum quench, analizandose la influencia que tiene una ESQPT sobre este. Por ultimo, relacionaremos la presencia de caos cuantico en el modelo no integrable de Dicke con los precursores de la ESQPT en el mismo.En el ultimo capitulo se presentara un resumen y las conclusiones de los principales resultados de este trabajo.