En el siguiente trabajo, se va a analizar la validez del teorema del acuerdo de Aumann en diferentes contextos con diferentes condiciones, centrándose en la con dición de no-signaling, y en especial en el contexto cuántico. El teorema clásico del acuerdo, formulado en 1976 por Robert Aumann, estable ce que si dos agentes racionales tienen información común y sus creencias sobre un evento son conocimiento común, entonces necesariamente deben coincidir en dicha creencia, es decir, no pueden estar de acuerdo en estar en desacuerdo. Durante el trabajo, se introducirán conceptos como el formalismo matemático de la mecánica cuántica o ciertos elementos de la teoría de juegos, de los cuales se necesitarán muchos conceptos para ir comprendiendo los teoremas que aparezcan. Inicialmente se verá el teorema de Aumann en su formulación original, y se irá re formulando a lo largo del trabajo hasta llegar a su versión cuántica. El trabajo se centra principalmente en el análisis de distribuciones de probabili dad conocidas como cajas de probabilidad, que son maneras abstractas de describir el comportamiento de un sistema que responde a entradas y salidas de manera alea toria, según una distribución de probabilidad, la cual irá cambiando desde contextos clásicos, locales, no-signaling hasta cuánticos. Finalmente, se demostrará que en el caso de distribuciones cuánticas con dos entradas y dos salidas, no es posible que exista certeza común de desacuerdo, lo que implica que el teorema del acuerdo de Aumann sigue siendo válido también en contextos cuánticos. Esto es importante ya que podría ser una propiedad estructural profunda compartida por las teorías físicas fundamentales, clásicas y cuánticas.
En el siguiente trabajo, se va a analizar la validez del teorema del acuerdo de Aumann en diferentes contextos con diferentes condiciones, centrándose en la con dición de no-signaling, y en especial en el contexto cuántico. El teorema clásico del acuerdo, formulado en 1976 por Robert Aumann, estable ce que si dos agentes racionales tienen información común y sus creencias sobre un evento son conocimiento común, entonces necesariamente deben coincidir en dicha creencia, es decir, no pueden estar de acuerdo en estar en desacuerdo. Durante el trabajo, se introducirán conceptos como el formalismo matemático de la mecánica cuántica o ciertos elementos de la teoría de juegos, de los cuales se necesitarán muchos conceptos para ir comprendiendo los teoremas que aparezcan. Inicialmente se verá el teorema de Aumann en su formulación original, y se irá re formulando a lo largo del trabajo hasta llegar a su versión cuántica. El trabajo se centra principalmente en el análisis de distribuciones de probabili dad conocidas como cajas de probabilidad, que son maneras abstractas de describir el comportamiento de un sistema que responde a entradas y salidas de manera alea toria, según una distribución de probabilidad, la cual irá cambiando desde contextos clásicos, locales, no-signaling hasta cuánticos. Finalmente, se demostrará que en el caso de distribuciones cuánticas con dos entradas y dos salidas, no es posible que exista certeza común de desacuerdo, lo que implica que el teorema del acuerdo de Aumann sigue siendo válido también en contextos cuánticos. Esto es importante ya que podría ser una propiedad estructural profunda compartida por las teorías físicas fundamentales, clásicas y cuánticas.
Es pensado que la Mecánica Cuántica es una de las teorías fundamentales en la física. Esta teoría no solo ha permitido el estudio detenido de las propiedades de la naturaleza a una escala atómica, sino que también ha logrado una asombrosa convergencia con gran parte de las teorías clásicas. Un rasgo distintivo de la Mecánica Cuántica es su naturaleza probabilística, lo que implica que no puede prever con absoluta certeza el resultado de un experimento, sino tan solo asignar una probabilidad específica a su ocurrencia. En virtud de esta característica, la Mecánica Cuántica introduce un contexto donde llevar a cabo una medición se convierte en un proceso intrínseco. A pesar de ello, ninguno de sus fundamentos aborda explícitamente la definición de lo que constituye una medición cuántica. Aunque este procedimiento evidencia tanto la naturaleza probabilística a pequeña escala como el carácter determinista del ámbito macroscópico, surge de manera pertinente la pregunta: ¿qué se entiende por medición? O, al menos, ¿cómo llevar a cabo una medición? Diversos esfuerzos han sido realizados con el fin de construir un marco conceptual riguroso que describa el proceso de medición cuántica. En este estudio, se examinará detenidamente el esquema de medición propuesto por von Neumann interpretado a partir de la interacción entre el sistema principal y su entorno, así como los posibles tipos de mediciones que pueden surgir en estos sistemas. Sin embargo, al adentrarnos en el ámbito de la Teoría Cuántica de Campos y buscar realizar mediciones en este contexto, es imperativo ampliar la noción de medición de acuerdo con los principios de localidad y causalidad. Por ende, al establecer un marco claramente definido para las mediciones, también se delinean ciertas operaciones que son físicamente permitidas. Este trabajo se propone examinar los protocolos de medición en campos relativistas con el objetivo de comprender el protocolo propuesto por Fewster y Verch como una generalización de la teoría de medición cuántica no relativista.
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].
A diferencia de lo que ocurre en la Teoria de la Relatividad, donde el tiempo representa un papel esencial, en la Teoria Cuantica, el tiempo enseguida quedo relegado a un papel secundario, como un parametro. El famoso teorema de Pauli (1933) sobre la Imposibilidad de asociar el tiempo a un operador auto-adjunto en la mayoria de los sistemas fisicos hizo que los teoricos perdieran el interes por el tiempo como observable. Sin embargo, durante todos estos anos, los experimentalistas no han cesado de observar en los laboratorios fenomenos que se manifiestan a lo largo del tiempo y que ocurren, despues de preparar el sistema, en instantes bien definidos y aleatorios. Si entendemos como observable, en un sentido amplio, cualquier magnitud medible y cuyo resultado se puede reproducir repitiendo el experimento siempre en condiciones similares, llegamos a la conclusion de que existen muchos observables de tiempo. Un ejemplo importante, y aparentemente sencillo, del que hablaremos, es el tiempo de llegada de una particula a un detector. En los laboratorios se pueden preparar particulas en condiciones similares, lanzarlas contra un detector y obtener la distribucion de las llegadas. Estas llegadas se ajustan a patrones cuanticos, ya que el perfil de la distribucion muestra interferencias y difraccion en el tiempo. Tanto el concepto tiempo de llegada como la difraccion en el tiempo se llevan estudiando durante decadas, y sin embargo, al comenzar esta Tesis quedaban todavia muchas cuestiones pendientes de resolver, en particular, como construir operadores de Tiempo de llegada, y como explicar y observar la DET. Otro operador temporal, quizas el mas importante y cotidiano es el tiempo del reloj . Los relojes cuanticos son sistemas que se desplazan periodicamente con el tiempo. Podemos decir que hora es observando la posicion de la manecilla del reloj, y en general, el tiempo que ha transcurrido desde cualquier instante, pero las observaciones son tan aleatorias como el tiempo de llegada. En la practica, la hora oficial que se produce en los Institutos de metrologia no se genera con relojes cuanticos. Lo que de verdad se intenta, es establecer cada vez con mayor precision la frecuencia de una transicion entre dos niveles del atomo de Cesio y reproducirla en osciladores de cuarzo. El segundo se define simplemente contando un numero previamente acordado de estas oscilaciones. Para definir un tiempo cada vez mas preciso se ha recurrido a atomos cada vez mas lentos, pero esta estrategia tiene limites, como veremos: los limites impuestos por la mecanica cuantica a la precision que se puede alcanzar con atomos lentos es otro de los temas centrales de la Tesis. Volviendo al teorema de Pauli, su efecto paralizante se extendio incluso a duraciones tales como el TDP de una particula en una region del espacio, cuyo operador si es auto-adjunto y que por lo tanto no esta afectado por el teorema. No obstante, aunque la definicion y medicion del TDP en sistemas clasicos esta resuelta, no podemos afirmar lo mismo del caso cuantico, por la la ausencia de trayectorias clasicas. En esta Tesis hemos propuesto un metodo operacional para construir la distribucion de probabilidad de este operador a partir de mediciones experimentales. En resumen, el objetivo principal de la Tesis es encontrar respuestas a cuestiones fundamentales que ayuden a integrar los observables temporales en la mecanica cuantica y hemos establecido vinculos con experimentos y con la tecnologia de tiempo-frecuencia
En este trabajo, se analiza una teoría que es en cierto modo una extensión natural del campo de las telecomunicaciones clásicas a la mecánica cuántica. Dicha teoría se llama tomografía cuántica y es de hecho una imagen de la mecánica cuántica equivalente a las más habituales que son la imagen de Schrödinger o la de Heisenberg. Esta nueva imagen, difiere de las precedentes en que está muy ligada a la capacidad tecnológica a la hora de medir observables (momento, energía, etc.) en el campo de la óptica cuántica, ya que su objetivo primordial es el de conseguir reconstruir el estado de un sistema cuántico a partir de mediciones en el laboratorio, y dado al avance tecnológico del instrumental de laboratorio disponible como láseres y fotodetectores, cada vez está suscitando mayor interés. En el primer capítulo, veremos cómo nace esta idea de reconstruir estados cuánticos discutiendo brevemente la técnica clásica conocida como Tomografía Axial Computerizada (TAC). Esta técnica está basada en los trabajos de Johann Karl August Radon aplicando la transformada que lleva su nombre. Introduciremos la transformada de Radon de una función de probabilidad definida en el espacio de fases para ver cómo se aplica en el caso del TAC. Para aplicar esta idea para la reconstrucción de estados cuánticos, veremos, en primer lugar, que existe una extensión natural de las técnicas de demodulación de señales moduladas en amplitud (AM) en el campo de la óptica cuántica mostrando que el papel que cumple un mezclador puede ser reemplazado por una combinación de divisores de haz y fotodetectores y mostraremos explícitamente cómo reconstruir el operador densidad que describe un estado cuántico a través de un proceso reminiscente de la transformada de Radon clásica. El segundo capítulo será el corazón de este trabajo. En él, introduciremos de manera formal la descripción tomográfica de la mecánica cuántica. Presentaremos una teoría general, para ello, trataremos a los observables como elementos de un álgebra C_ y los estados serán funcionales lineales positivos que actúen en dicha algebra. Veremos que esta descripción de la mecánica cuántica puede dividirse en dos partes, una primera con el objetivo de obtener una fórmula para reconstruir el estado de un sistema cuántico a partir de una función definida sobre un conjunto llamado conjunto tomográfico, que será un conjunto de observables que tendrá que cumplir una serie de condiciones que expondremos debidamente. A esta primera parte de la teoría, la bautizaremos como Teoría de muestreo generalizada en sistemas cuánticos. La segunda parte estará relacionada con la parte puramente experimental. Lo que hace necesario tener que añadir esta segunda parte es el hecho de que la función definida anteriormente sobre el conjunto tomográfico, que llamaremos función de muestreo, en general, no puede ser medida por medio de los dispositivos con los que contamos en un laboratorio de óptica cuántica, sin embargo, a partir de las mediciones hechas con un fotodetector, podemos obtener distribuciones de probabilidad de cantidades relacionadas con los observables. Entonces, tomando esto último como motivación, esta segunda parte de la teoría consistirá en relacionar esa función de muestreo con una distribución de probabilidad que llamaremos tomograma, que será el resultado directo de un proceso de medida en el laboratorio, y la llamaremos Transformada generalizada positiva por motivos que se expondrán convenientemente. Uno de los problemas más sutiles de esta teoría consiste en hallar un conjunto tomográfico que cumpla las condiciones necesarias para permitir reconstruir el estado a partir de él. Sin embargo, veremos que de manera natural, las representaciones unitarias irreducibles de un grupo finito o de Lie compacto proporcionan conjuntos tomográficos que cumplen las condiciones requeridas, por eso, nos centraremos en el estudio de la reconstrucción de estados a partir de grupos relacionados con el sistema físico dado. Aunque también destacaremos que existen otras representaciones unitarias que nos permiten reconstruir el estado cuántico a partir de ellas, como lo es la representación unitaria irreducible del grupo de Heisenberg Weyl dada por el álgebra de Lie que forman los operadores momento y posición cuánticos que es el ejemplo con el que nace la tomografía cuántica introducido en el primer capítulo. En el tercer capítulo presentaremos un algoritmo numérico que se deriva a partir de unos estados que llamaremos estados adaptados que habremos definido en el capítulo anterior. Este algoritmo nace como un problema inverso, ya que hasta entonces nos habremos centrado en reconstruir estados a partir de un conjunto tomográfico, en especial, cuando el conjunto tomográfico está definido a partir de una representación unitaria de un grupo. Este problema inverso consiste en determinar qué información es posible obtener de una representación unitaria de un grupo si se tiene una familia de estados que describe un sistema físico relacionado con un grupo de simetría. La respuesta a esta pregunta es muy satisfactoria ya que es posible conocer la matriz de transformación de base que nos permita transformar la base, en la que está descrita la representación unitaria, en una base adaptada a los subespacios invariantes bajo la acción de todos los elementos de la representación. Este problema se conoce como descomposición de Clebsh Gordan, ya que dicha transformación aplicada a la representación unitaria la convierte en una matriz diagonal por bloques en la que cada bloque corresponde a una representación unitaria irreducible. La manera en la que resolveremos este problema es con un algoritmo numérico que sólo requiere dos estados adaptados como argumentos de entrada, que pueden ser obtenidos de manera directa si se conoce de forma explícita la representación unitaria que queremos reducir. Este algoritmo lo hemos bautizado con el nombre de SMILY. Hay que destacar que como este algoritmo se ha generado sólo aplicando ciertas transformaciones unitarias sobre matrices que representan un estado cuántico, tiene una extensión natural que podría implementarse en un ordenador cuántico. Para acabar esta tesis, generalizaremos la descripción tomográfica a campos clásicos y cuánticos. Para el caso clásico, primero realizaremos una descripción tomográfico para sistemas con finitos grados de libertad y obtendremos el equivalente tomográfico de la ecuación de Liouville para una densidad de probabilidad y tras esto, haremos el mismo análisis para sistemas con infinitos grados de libertad. Para obtener la descripción tomográfica para campos cuánticos, partiremos del concepto de segunda cuantización y mostraremos el equivalente tomográfico de los axiomas de Wightman Streater para una teoría cuántica de campos. Y para terminar, obtendremos un teorema de reconstrucción para campos escalares y calcularemos el tomograma de ciertos estados de un campo cuántico escalar libre. Comentemos esto último diciendo que es el inicio de una teoría que permitirá una descripción tomográfica de estados, por ejemplo ligados, para teorías con interacción. Para concluir este resumen, quisiera resaltar que el lector especializado, si lo considera conveniente, puede comenzar a leer a partir del segundo capítulo, ya que aunque el primer capítulo sirve como motivación de porqué desarrollar una descripción tomográfica de la mecánica cuántica, el texto puede comprenderse si previamente no se ha leído.
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.
En este trabajo se presenta un enfoque de historias cuánticas, alternativo a la teoría de Historias Consistentes, denominado formalismo de Contextos Generalizados y se demuestra que es adecuado para definir probabilidades a expresiones que involucran propiedadesa distintos tiempos. Además se analizan las relaciones existentes entre estos dos formalismos y se pruebaque cuando la condición de consistencia de Historias Consistentes se impone para todoestado, se obtiene la condición de compatibilidad del formalismo de Contextos Generalizados. En este caso se demuestra que ambos formalismos son equivalentes para describirpropiedades a distintos tiempos. También se discute el problema de las retrodicciones de propiedades contrarias enambos formalismos de historias cuánticas. Se muestra que en el caso de las Historias Consistentes es posible la retrodiccón de propiedades contrarias, mientras que en el formalismo de Contextos Generalizados esto no es posible. Por último, se presentan algunas aplicaciones del formalismo de Contextos Generalizados a situaciones físicas: el proceso de medición, el experimento de la doble rendija y el proceso de decaimiento.