El artículo espera satisfacer los siguientes objetivos: (i) Conceptualizar parcialmente la teoría de la mecánica cuántica para sistemas descritos por operadores dinámicos con espectro continuo; (ii) Señalar a grandes rasgos la relación que existe, entre los formalismos físico-matématicos, de dos modelos de computación cuánticos, un modelo discreto y otro modelo continuo; (iii) Resaltar de un lado, el hecho de que la comnputación cuántica discreta se formaliza en torno a la noción de "qubit", el qubit es un vector que pertenece a un espacio de Hilbert, el otro lado, la computación ccuántica continua se formaliza en torno a la noción de "qunat", el qunat no es un elemento de un espacio hilbert.
El artículo espera satisfacer los siguientes objetivos: (i) Conceptualizar parcialmente la teoría de la mecánica cuántica para sistemas descritos por operadores dinámicos con espectro continuo; (ii) Señalar a grandes rasgos la relación que existe, entre los formalismos físico-matématicos, de dos modelos de computación cuánticos, un modelo discreto y otro modelo continuo; (iii) Resaltar de un lado, el hecho de que la comnputación cuántica discreta se formaliza en torno a la noción de "qubit", el qubit es un vector que pertenece a un espacio de Hilbert, el otro lado, la computación ccuántica continua se formaliza en torno a la noción de "qunat", el qunat no es un elemento de un espacio hilbert.
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].
Esta tesis se enmarca en el área de la computación e información cuántica y se centra en el paradigma de la computación cuántica basada en compuertas. El resultado principal es la presentación de un nuevo modelo de computación cuántica discreta basado en solo dos compuertas. Lo más novedoso y atractivo de este modelo es su simplicidad. Los coeficientes de los estados generados por estas compuertas son números complejos con coeficientes enteros, excepto un factor de 2^(p/2). Esta característica permite una refinación acumulativa de los estados, según el parámetro p, y lo distingue de otros enfoques de computación cuántica. A pesar de su aparente simplicidad, el modelo posee características fundamentales que hacen posible la generación de estados con superposición y entrelazamiento, dos conceptos esenciales en la computación cuántica. Además, se demuestra que el modelo presentado es un aproximador universal de cualquier compuerta cuántica. Se proporcionan caracterizaciones de las compuertas que se pueden obtener a partir del modelo, permitiendo identificar de manera inequívoca una compuerta discreta de otra que debe ser aproximada. Para un sistema de dos qubits, se presenta una forma de descomponer toda compuerta discreta como producto de compuertas del modelo más simples y con menor grado de refinamiento. También se exploran las propiedades matemáticas subyacentes de estos estados, buscando determinar las propiedades geométricas que presentan. Se demuestra que, para el espacio de dos qubits, es posible completar una base de vectores propios utilizando un conjunto ortonormal de vectores pertenecientes al modelo discreto, lo cual es un resultado sumamente relevante. Además, se ha analizado en profundidad la aplicabilidad del modelo y su relación con protocolos importantes de información cuántica, como el protocolo de teleportación y el código superdenso. Es relevante destacar que varios de los estados que se consideran de máximo entrelazamiento en diferentes sentidos son estados discretos, lo que permite el desarrollo completo de protocolos de información cuántica dentro del marco de este modelo. Asimismo, se ha estudiado la relación entre los algoritmos cuánticos y el modelo discreto. Algunos algoritmos pueden implementarse completamente en el modelo, mientras que otros requieren aproximaciones. Sin embargo, esto no ha impedido que importantes algoritmos, como el algoritmo de búsqueda de Grover, se puedan ejecutar exactamente utilizando las compuertas del modelo, proporcionando valiosas conclusiones sobre ambos. El modelo de computación cuántica discreta con coeficientes enteros es una propuesta innovadora y sólida que abre nuevas perspectivas en el campo de la computación cuántica. Sus características únicas y su potencial para la implementación de algoritmos importantes lo convierten en un área de investigación prometedora para futuros avances en la ciencia y la tecnología cuánticas. ABSTRACT This thesis is framed in quantum computation and information and focuses on the paradigm of quantum computing based on gates. The main result is the presentation of a new model of discrete quantum computation based on only two gates. The most novel and attractive feature of this model is its simplicity. The coefficients of the states generated by these gates are complex numbers with integer coefficients, except for a factor of 2p. This feature allows for a cumulative refinement of the states, depending on the parameter p, and distinguishes it from other quantum computing approaches. Despite its apparent simplicity, the model possesses fundamental features that make possible the generation of states with superposition and entanglement, two essential concepts in quantum computing. Furthermore, it is shown that the model presented is a universal approximator of any quantum gate. Characterization of the gates that can be obtained from the model are provided, allowing one discrete gate to be unambiguously identified from another to be approximated. For a two-qubit system, a way of decomposing any discrete gate as a product of simpler, less refined model gates is presented. The underlying mathematical properties of these states are also explored, seeking to determine the geometrical properties they exhibit. It is shown that, for the two-qubit space, it is possible to complete an eigenvector basis using an orthonormal set of vectors belonging to the discrete model, which is a highly relevant result. In addition, the applicability of the model and its relation to important quantum information protocols, such as the teleportation protocol and the superdense code, have been analyzed in depth. It is relevant to note that several of the states that are maximally entangled in different directions are discrete states, which allows the complete development of quantum information protocols within the framework of this model. The relationship between quantum algorithms and the discrete model has also been studied. Some algorithms can be fully implemented in the model, while others require approximations. However, this has not prevented important algorithms, such as Grover's search algorithm, from being accurately executed using the gates of the model, providing valuable insights into both. The discrete quantum computing model with integer coefficients is an innovative and robust approach that opens new perspectives in the field of quantum computing. Its unique features and its potential for the implementation of important algorithms make it a promising area of research for future advances in quantum science and technology.
Elaboramos aquí una nueva interpretación propuesta recientemente de la teoría cuántica, según la cual las partículas cuánticas son consideradas como entidades conceptuales que median entre los pedazos de materia ordinaria los cuales son considerados como estructuras de memoria para ellos. Nuestro objetivo es identificar qué es lo equivalente para el ámbito cognitivo humano de lo que el espacio-tiempo físico es para el ámbito de las partículas cuánticas y de la materia ordinaria. Para ello, se identifica la noción de "historia" como el equivalente en la esfera cognitiva humana de lo que la materia ordinaria es en el ámbito físico cuántico. Analizamos también el papel desempeñado por los conectivos lógicos de disyunción y de conjunción con respecto a la noción de localidad. De manera similar a lo que hemos hecho en investigaciones anteriores referidas a esa nueva interpretación de la teoría cuántica, se utiliza el entorno cognitivo específico de la Internet para dilucidar las comparaciones que hacemos entre el ámbito cognitivo humano y el ámbito físico cuántico.
El análisis de los vínculos que pueden ser establecidos entre la lógica cuántica, las semánticas no deterministas de Nmatrices y las teorías de cuasiconjuntos es el núcleo central de este trabajo. La necesidad de tal análisis ha surgido de forma natural luego de que la relación entre Nmatrices y lógica cuántica quedó explicitada en un trabajo previo: los estados cuánticos, entendidos como medida de probabilidad, pueden ser interpretados como valuaciones de una cierta Nmatriz para el retículo cuántico de proyectores. El Teorema de Kochen-Specker priva a la lógica cuántica de veritativo funcionalidad, pero no de admitir una semántica no determinista Nmatricial. Esto es, la semántica de Nmatrices es compatible con los requerimientos semánticos y algebraicos del retículo de proyectores cuánticos. Si tenemos en cuenta que las teorías de cuasiconjuntos (Quasi-sets y Quasets) han surgido motivadas por la ontología cuántica, que las teorías de conjuntos están fuertemente vinculadas con la lógica y que originalmente uno de los objetivos de la teoría de quasets QST era brindar una semántica para los entes cuánticos, entonces el puente establecido entre la lógica cuántica y las semánticas no deterministas puede ser visto como el detonador que inicia la búsqueda de vínculos entre estas teorías. Por un lado, la lógica cuántica de Birkhoff y von Neumann está comprometida con la representación de espacios de Hilbert de la Mecánica cuántica. Por otro lado, esta representación (como quedará claro más adelante) está comprometida con una ontología de individuos. Por lo tanto, la lógica cuántica y la ontología están vinculadas a través del formalismo de espacios de Hilbert. Como dijimos, las teorías de cuasiconjuntos han surgido motivadas por la ontología de los entes del micromundo. Esto implica que los cuasiconjuntos y la lógica cuántica mantendrían de forma indirecta cierta relación.
El objetivo general de esta investigacion es analizar los avances de la programacion en la computacion cuantica en la actualidad. La metodologia se baso en un desarrollo bibliografico con un tipo de investigacion documental. Como conclusion, el analisis de la fisica cuantica es un area bastante importante para poder comprender los fenomenos del comportamiento de los objetos, pero cuando se decide cuantificar a traves de ecuaciones matematicas es que se concibe como mecanica cuantica. El proceso de transformacion energetica entre los sistemas involucra un proceso vibracional, cinetico y potencial de los atomos y elementos, es por ello que esta ciencia es tomada como valor fundamental en la programacion de sistemas electronicos, debido a que puede entregar con mayor seguridad los datos y a su vez ofrecer confidencialidad, aunque todavia se encuentra en fase de estudio, pero su aplicabilidad sera el boom tecnologico de la humanidad; este sistema se basa en qubits donde se toma en consideracion la superposicion, es decir que los bits pueden estar en diferentes momentos a la vez, por lo que su lenguaje es caracteristico de la resolucion de sistemas vectoriales unitarios y con una expresion grafica a traves de puertas logicas caracteristicas por cada investigador.
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.