Mostramos que incluyendo en la descripción cuántica tanto al sistema como a los aparatos y haciendo uso de las fórmulas de la probabilidad condicional, es posible definir un operador estadístico efectivo del sistema, que depende del resultado de una primera medición, y que caracteriza la distribución de probabilidad para toda medición posterior sobre el sistema. Este operador estadístico efectivo representa el estado del sistema posterior a la medición, y solo en casos muy especiales coincide con el que resulta del postulado del colapso.
Mostramos que incluyendo en la descripción cuántica tanto al sistema como a los aparatos y haciendo uso de las fórmulas de la probabilidad condicional, es posible definir un operador estadístico efectivo del sistema, que depende del resultado de una primera medición, y que caracteriza la distribución de probabilidad para toda medición posterior sobre el sistema. Este operador estadístico efectivo representa el estado del sistema posterior a la medición, y solo en casos muy especiales coincide con el que resulta del postulado del colapso.
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 esta tesis se ha examinado el problema de la caracterización de medidas locales en un sistema cuántico bipartito correlacionado, y cómo esta medida afecta al sistema remoto. Hemos visto que el estado remoto luego de la medida queda determinado por el tensor de correlación, y por supuesto por la medida local efectuada. Mientras que en el caso de estados puros el estado remoto luego de la medida es siempre puro -aunque dependiente de la medida- esto no es cierto en el caso de estados mixtos, donde el estado remoto permanece en general mixto, e incluso su grado de pureza depende de la medida efectuada. Cabe señalar que estas correlaciones no implican ninguna comunicación super-lumínica. La entropía condicional del estado remoto depende así de la medida efectuada, y su mínimo tiene significados e implicancias importantes. En primer lugar, la entropía condicional mínima determina la discordia cuántica, que es una medida de correlaciones cuánticas más allá del entrelazamiento para estados mixtos, y que coincide con la entropía de entrelazamiento en estados puros. En segundo lugar esta entropía condicional mínima determina el entrelazamiento de uno de los subsistemas con un tercer sistema que purifica el conjunto. La entropía condicional mínima puede utilizarse pues para la determinación del entrelazamiento. No obstante, la determinación de la medida que minimiza la entropía condicional es un problema NP completo, muy difícil de resolver incluso en sistemas de dimensión reducida, siendo una determinación analítica solo posible para sistemas qudit-qubit y para determinadas entropías tales como la entropía cuadrática. En esta tesis se ha abordado la caracterización de medidas locales en un sistema de un qutrit y examinado el conjunto de estados pos-medidos en un sistema qutrit-qubit correlacionado, considerando tanto estados entrelazados como separables. Encontramos que en general los estados pos-medidos ya no forman un elipsoide como sucede cuando se mide en el qubit, sino que generan un volumen que puede resultar delimitado por superficies no convencionales. Se han también examinado casos particulares, como por ejemplo sistemas clásicamente correlacionados donde el conjunto de estados pos-medidos se reduce a un segmento, y el caso de estados puros entrelazados donde se obtiene la esfera de Bloch, como es de esperar. También estudiamos el problema de determinar la medida minimizante sobre un sistema local. Se mostró que la misma queda determinada por el tensor de correlación, y que en el caso de conjuntos de estados pos-medidos cuya topología es compleja, la misma está dirigida sobre los ejes principales de simetría. Asímismo estudiamos el significado físico de la medida minimizante, siendo en el caso de la mezcla de dos estados alineados aquella que preserva las simetrías del sistema. Finalmente hemos logrado determinar en forma analítica la medida minimizante para estados separables de rango dos completamente generales en sistemas bipartitos de dimensión arbitraria. Dicha medida óptima preserva la simetría del sistema, y en el caso de dos espines 's' no constituye una medida de spin (incluso para valores muy grandes de 's'). También se obtuvo una expresión analítica para la mínima entropía condicional cuadrática. En el caso de dos espines 's' este valor permanece finito aún para valores grandes de 's' si el ángulo de apertura es suficientemente pequeño. Con este valor mínimo es posible determinar la discordia.
Se pretende que el alumno desarrolle un proyecto de investigación asociado a la simulación numérica de la dinámica y control de sistemas estocásticos con potenciales aplicaciones en el novedoso campo de las tecnologías cuánticas. Objetivo 1) Utilizar software adaptado al análisis y simulación numérica de ecuaciones diferenciales estocásticas. Objetivo 2) Modelización y simulación de sistemas lineales estocásticos análogos a sistemas cuánticos lineales. Objetivo 3) Planteamiento de protocolos de control óptimo sobre estos sistemas. Objetivo 4) Simulación de la dinámica y control óptimo de un sistema cuántico lineal. \nEl control es una rama interdisciplinar de la ingeniería y las matemáticas, aplicada al comportamiento de los sistemas dinámicos. Un controlador manipula la entrada o estado inicial del sistema para lograr un efecto deseado en un estado posterior o salida. Hoy en día, prácticamente todo sistema mecánico y electrónico posee un sistema de control asociado, por sencillo que sea. Un sistema de control simple consiste en una acción sobre el sistema y la obtención del resultado esperado sobre el mismo. Sin embargo, para evitar un final abierto, los sistemas realizan, por lo regular, mediciones intermedias sobre sus salidas y con esa información el sistema es retroalimentado para modificar la acción de control reiniciando el ciclo de entrada-salida. Por otra parte, el desarrollo de nuevas tecnologías basadas en dispositivos cuyas leyes vienen dictadas por la mecánica cuántica se ha convertido en una prioridad para el desarrollo tecnológico actual y diversas aplicaciones tales como las comunicaciones, sensores y computadores cuánticos esperan a su desarrollo para ser implementadas. Esto exige que la rama del control cuántico se desarrolle. Sin embargo, algunas cualidades de la mecánica cuántica no permiten pasar fácilmente el esquema del control clásico al ámbito cuántico. Clásicamente, es posible adquirir toda la información necesaria y emplearla de manera eficiente para retroalimentar el sistema y especializar la acción de control al estado actual. Por el contrario, en un sistema cuántico no toda la información es asequible mediante una medición y, además, todo intento de medir el sistema lo perturba de manera notable. Técnicamente, las ecuaciones dinámicas en un proceso tal, son ecuaciones diferenciales estocásticas no lineales en lugar de las ecuaciones diferenciales deterministas de los sistemas clásicos. En este proyecto, el alumno implementará un software de simulación de sistemas estocásticos adaptado a las peculiaridades de sistemas cuánticos lineales para a continuación, ensayar la validez de diversos protocolos de control óptimo propuestos para estos sistemas
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 Objetivo general de éste trabajo es reformular la fundamentación estadística de la mecánica cuántica tomando como elementos las "propiedades físicas" en lugar de las magnitudes en general. Procuramos demostrar cuánto más sencillos de demostrar y directamente interpretables aparecen muchos resultados de la mayor importancia, sin que se pierda generalidad. Por supuesto tomamos como punto de referencia el formidable libro de J. von Neumann: "Mathematische Grundlagen der Quantenmechanik", tan lleno de ideas aún no suficientemente explotadas y que es el cimiento obligado de cuanto edificio teórico se ha pretendido levantar en la Mecánica Cuántica. Además de la reformulación antes mencionada, hemos conseguido varios resultados particulares nuevos; entre otros la demostración de que el método Koopman (7) de tratar sistemas dinámicos puede aplicarse a la estadística cuántica, y por lo tanto valen también para ella ciertas demostraciones del teorema ergódico. Hacemos también una verificación del mismo mediante la comparación de una sucesión real de mediciones con una "cadena de Markov" y damos la formulación cuántica del concepto de "transitividad métrica". Hemos también simplificado la demostración de algunos teoremas y en especial generalizado para espectros continuos el referente a la ley de distribución de Maxwell. Exponemos también, aunque sin detalles, dos ideas que nos parecen de gran importancia; la relación topológica entre espacios "complementarios" (coordenadas e impulsos por ejemplo), que aunque implícita en numerosos trabajos no hemos visto nunca enunciada claramente, y la distinción entre el tiempo del sistema y del observador, que permite recobrar la simetría relativista. Nueva es también la comparación entre la lógica propia de las proyecciones, la lógica usual y la de tres valores, y además el concepto de "conjunción estadística" que exponemos en un apéndice. Teníamos también intención de utilizar el concepto estadístico de función característica de una distribución, pero encontramos que ese tema ya había sido tratado, justamente en otro trabajo de tesis, por Arnous (1), en 1947. De todos modos hemos agregado un pequeño apéndice comentando su contenido. En cambio hemos renunciado a la inclusión de un resumen de la parte matemática, pues su volumen estaría fuera de proporción con el resto del trabajo y porque existen obras sumamente claras y apropiadas para referencia, como el capítulo correspondiente del libro de v. Neumann y otras obras que se citan en una bibliografía especial. Aunque por comodidad nuestras fórmulas se refieren concretamente al espacio de Hilbert de las funciones de la clase L² (cuadrado del módulo sumable), valen siempre, con obvias modificaciones, para otros espacios de uso común. Los teoremas que daremos por conocidos pueden encontrarse en su mayor parte en el Capítulo II del libro de v. Neumann, pero en general trataremos de dar referencias explícitas.
Las aproximaciones autoconsistentes de campo medio constituyen una de las más importantes herramientas teóricas para tratar el problema cuántico de muchos cuerpos, proporcionando una descripción y un punto de partida apropiados para desarrollos más complejos. Dentro de este contexto, el objetivo de esta tesis es extender y analizar las teorías cuánticas de campo medio, tanto estáticas como dinámicas, en base a consideraciones de carácter estadístico, situándolas de este modo dentro de un marco más amplio y flexible que el usual. La idea central que nos anima es la de basar la descripción de un sistema en un conjunto particular de observables, considerados relevantes para el fenómeno en estudio. Este modo de descripción es impulsado por la complejidad del problema cuántico de muchos cuerpos, y además, en ciertos casos por la necesidad de preservar solo la información significativa acerca del sistema. De este modo, se enfoca la atención sobre un subconjunto de variables, descartando las muchas otras restantes por medio de un adecuado esquema aproximado. Las teorías usuales de campo medio constituyen aquel caso especial de nuestro tratamiento en el que el conjunto de observables relevantes se encuentra formado por operadores de un cuerpo. A tales efectos, se desarrolla un formalismo general apropiado que permite abordar este tipo de extensión. Se examinan en profundidad diversos tipos de situaciones específicas, abarcando situaciones de equilibrio (Cap. I-IV), como así también problemas dependientes del tiempo (Cap. V-VI).