Modelo discreto de computación cuántica con coeficientes enteros
Authors:   , Gatti Dorpich Laura Nina 
Published: September 2024

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 $\sqrt{2}^p$. 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.