Planteamiento fisico de las matrices de rotacion de Pauli para un sistema de espin del electron, se las introduce como posibles estrategias en el estudio de la teoria de juegos puntualmente en un juego de minorias para el cual se aplica el lenguaje matematico que nos permiten crear escenarios en los cuales los individuos toman decisiones basados en los resultados obtenidos en iteraciones anteriores para mejorar su funcion de pago, mediante simulacion computacional utilizando tecnicas de Monte Carlo se logra reproducir multiples veces los escenarios para realizar un estudio comparativo entre el desarrollo estadistico de la solucion del juego de minorias y se desarrolla la contraparte teorica para comparar los beneficios que se dispone, el esquema de toma de decisiones esta representado de manera clasica cara o sello, mientras que el simil cuantico se encuentra representado por el spin ½ o -½ de un electron, en esta simulacion ademas se estudian los diferentes tipos de jugadores que pueden intervenir para buscar la solucion mas estable del sistema la misma que se halla cuando los jugadores toman una estrategia definida como deterministica cuantica, finalmente se hace una evolucion temporal de varios sistemas para determinar el numero de intrusos que es necesario para que el sistema se estabilice.
Planteamiento fisico de las matrices de rotacion de Pauli para un sistema de espin del electron, se las introduce como posibles estrategias en el estudio de la teoria de juegos puntualmente en un juego de minorias para el cual se aplica el lenguaje matematico que nos permiten crear escenarios en los cuales los individuos toman decisiones basados en los resultados obtenidos en iteraciones anteriores para mejorar su funcion de pago, mediante simulacion computacional utilizando tecnicas de Monte Carlo se logra reproducir multiples veces los escenarios para realizar un estudio comparativo entre el desarrollo estadistico de la solucion del juego de minorias y se desarrolla la contraparte teorica para comparar los beneficios que se dispone, el esquema de toma de decisiones esta representado de manera clasica cara o sello, mientras que el simil cuantico se encuentra representado por el spin ½ o -½ de un electron, en esta simulacion ademas se estudian los diferentes tipos de jugadores que pueden intervenir para buscar la solucion mas estable del sistema la misma que se halla cuando los jugadores toman una estrategia definida como deterministica cuantica, finalmente se hace una evolucion temporal de varios sistemas para determinar el numero de intrusos que es necesario para que el sistema se estabilice.
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.
La computación cuántica tiene una base teórica de más de tres décadas que muestra aceleraciones polinómicas y exponenciales sobre los algoritmos clásicos. Los procesadores que se construyen hoy, sin embargo, son ruidosos, pequeños y de conectividad limitada, aún lejos de aprovechar esa ventaja en problemas de escala real. Este trabajo es un estudio experimental que mide qué tan profunda es esa brecha para cuatro algoritmos cuánticos fundamentales: Bernstein–Vazirani, Simon, Grover sobre instancias de k-SAT y la estimación cuántica de fase. Para cada algoritmo se construyó una contraparte clásica de referencia y se evaluaron, por cada tamaño de entrada, todas las combinaciones posibles de tres modelos de ruido (error de lectura, despolarizante y relajación térmica) con tres topologías de hardware (ideal, lineal de 20 qubits y heavy-hex de 127 qubits, esta última inspirada en el chip ibm_brisbane). El estudio se hizo enteramente en simulación porque permite controlar de forma independiente cada parámetro del ruido y de la conectividad, condición necesaria para hacer comparaciones limpias entre escenarios. Cada uno de los 39 escenarios resultantes por tamaño se repitió 25 veces y los resultados se reportan con intervalo de confianza al 95 % calculado con la t de Student. Toda la infraestructura (algoritmos, generador de instancias, modelos de ruido, scripts de análisis e interfaz gráfica para exploración interactiva) queda reproducible y abierta. Los hallazgos principales son tres. Primero, la ventaja teórica sobrevive en los algoritmos de poca profundidad como Bernstein–Vazirani, mientras que en Grover y en la estimación de fase el ruido deteriora rápidamente el speedup a medida que crece el número de iteraciones. Segundo, el tipo de ruido importa tanto como su nivel: el error de lectura es el menos agresivo porque no se acumula con la profundidad del circuito, mientras que el despolarizante es el más severo. Tercero, la topología influye de forma indirecta pero significativa porque condiciona la cantidad de compuertas SWAP que el compilador debe insertar y, por esa vía, aumenta la profundidad efectiva del circuito. El framework, los datos y los análisis quedan disponibles para quien quiera prototipar pruebas de algoritmos cuánticos en la era NISQ sin depender de tiempo en hardware real.
En este trabajo se estudia el uso de algoritmos cuánticos variacionales para la discriminación de estados cuánticos, mediante el entrenamiento de un clasificador cuántico simulado capaz de implementar esquemas de medición que aproximan mediciones óptimas. Este enfoque permite estudiar estrategias de medición desde una perspectiva híbrida clásico–cuántica, aprovechando las capacidades de los dispositivos NISQ y evitando la complejidad asociada a implementaciones experimentales directas. En una primera parte, se valida el desempeño del clasificador mediante la reproducción parcial de un esquema de redes neuronales cuánticas variacionales propuesto previamente en la literatura. Se analizan tanto el régimen de discriminación de mínimo error como el de discriminación inequívoca, comparando los resultados numéricos con las cotas teóricas obtenidas a partir del límite de Helstrom y de técnicas de programación semidefinida. En el régimen de discriminación inequívoca, el clasificador logra aproximarse de manera robusta a las cotas teóricas, incluso para conjuntos de entrenamiento reducidos. En una segunda parte, el clasificador se generaliza para abordar problemas más complejos que involucran familias de estados asociadas a la Medición Conjunta Elegante (EJM), así como a familias de estados de Popescu y de Werner, tanto en escenarios binarios como en multiclase. Los resultados muestran que, para estas familias, la discriminación inequívoca es imposible y que, en el régimen de mínimo error, el desempeño del clasificador se ve limitado por restricciones geométricas asociadas al rango y al soporte de los operadores de medición implementados.
Los corrales cuánticos presentan propiedades interesantes debido a la interesante \ncombinación de confinamiento y focalización algunas de las cuales fueron observadas experimentalmente. Estudiamos el comportamiento estático y dinámico de estos sistemas. \nEn primer lugar analizamos el caso del corral cuántico no interactuante (sin impurezas), y con parámetros realistas obtuvimos los autoestados la elipse con el modelo de pared dura. Posteriormente estudiamos el sistema en presencia de dos impurezas de Kondo de espín S = 1/2 localizadas en los focos de la elipse. Éstas interactúan con los electrones itinerantes en la elipse vía un término de superintercambio J. Diagonalizamos este sistema numéricamente y estudiamos propiedades tales como correlación de espín y correlaciones dinámicas. Encontramos que, para valores de J chicos comparado con el ancho de banda, \nlos espines están en un estado singlete para número par de electrones en la elipse o triplete para número impar (régimen RKKY). En ese límite es posible describir el comportamiento a bajas energías con un hamiltoniano efectivo entre las impurezas. Para valores grandes de J más estados electrónicos están involucrados y los espines se descorrelacionan formando un estado de Kondo local con los electrones itinerantes. Estudiamos algunas magnitudes de la teoría de la información cuántica que es una herramienta alternativa para el análisis de sistemas cuánticos. Calculamos la entropía de von Neumann para diversas particiones del \nsistema y caracterizamos el cambio de régimen de RKKY al de Kondo ante el incremento de J, de acuerdo a los resultados obtenidos con el cálculo de funciones de correlaciones estáticas y dinámicas. \nAdicionalmente consideramos fluctuaciones de carga en los estados de las impurezas y analizamos propiedades estáticas y dinámicas en función de los parámetros relevantes del sistema. El modelo estudiado consiste de dos impurezas de Anderson localizadas en los focos e hibridizadas con magnitud V a los electrones en la elipse. Con el estudio de la correlación de espín entre las impurezas, y entre una impureza y los electrones en un mismo foco, caracterizamos los regímenes RKKY y Kondo. Esto está de acuerdo con los resultados obtenidos con la densidad de estados electrónica calculada usando un modelo más realista que incluye la hibridización con estados del continuo. \nEncontramos una relación entre el entrelazamiento entre las impurezas de espín y \nobservables físicos del sistema. Con ésto obtuvimos el diagrama de fases de entrelazamiento entre las impurezas para llenado par e impar, que presenta regiones en las que están entrelazadas y otras de estados separables.Mostramos resultados numéricos que sustentan las relaciones encontradas. \nComo aplicación adicional de los conceptos de información cuántica al estudio de las propiedades físicas de sistemas correlacionados, analizamos una cadena de espín S = 1 con condiciones de contorno abiertas y con interacción a primeros vecinos bilineal y bicuadrática (β). En particular estudiamos los modelos de Heisenberg (β = 0) y AKLT (β = 1/3). Realizamos diversos estudios en sistemas bipartitos puros y mixtos. Para caracterizar el entrelazamiento en un sistema bipartito puro usamos la entropía de von Neumann, en cambio para un sistema bipartito mixto, usamos la negatividad. Estos estudios nos permitieron estudiar las excitaciones de espín 1/2 localizadas en los bordes de la cadena [87, 88]. \nUn resultado interesante aparece cuando analizamos el entrelazamiento entre dos \npartes del sistema; que es máximo entre los extremos de la cadena y disminuye hacia el centro, reflejando el carácter fraccionario y la localización de las excitaciones de espín del modelo, que han sido observadas experimentalmente. \nEn conclusión, usando tanto técnicas tradicionales (correlaciones estáticas y dinámicas) como novedosas (información cuántica) para el estudio de sistemas interactuantes, investigamos el comportamiento de algunos sistemas nanoscópicos paradigmáticos. Para ésto utilizamos técnicas tanto analíticas como numéricas de actualidad. Esperamos que los resultados obtenidos en esta tesis sean útiles para una mejor comprensión de estos sistemas, así como para posibles aplicaciones nanotecnológicas. \n
La necesidad de lograr una mayor comprensión en el problema cuántico de muchos cuerpos ha motivado que en los últimos años una considerable cantidad de esfuerzo se haya centralizado en la búsqueda y análisis de aproximaciones de orden superior a las proporcionadas por las teorías usuales de campo medio. En el estudio de sistemas de una o muchas partículas, tanto dentro como fuera del equilibrio, la inferencia estadística de aquellos observables en base a los cuales es posible realizar una descripción adecuada del correspondiente problema, constituye un tema que despierta real interés. Creemos que el enfoque de la Mecánica Estadística proporcionado por la Teoría de la Información, brinda el marco apropiado para atacar este tipo de problemas. Por tal motivo, en esta tesis hemos investigado métodos de inferencia estadística basados en conceptos relacionados con la Teoría de la Información, tanto desde el punto de vista estático como dinámico. El propósito básico de esta tesis es desarrollar herramientas teóricas, basadas en la Teoría de la Información, que permitan aunque sea parcialmente, ir más allá de los esquemas tradicionales que provee el formalismo de Hartree-Fock (HF). Como se verá en los capítulos siguientes, la inferencia estadística ofrece un promisorio panorama para la descripción de las correlaciones cuánticas que los métodos tipo HF no pueden abordar.
El presente trabajo de integración curricular tiene como objetivo analizar y comparar el desempeño de un algoritmo de búsqueda clásico y de un cuántico, en específico el algoritmo de Grover, con el fin de analizar y contrastar la ventaja computacional teórica y asintótica que proporciona la computación cuántica frente a los algoritmos clásicos, considerando las limitaciones del hardware cuántico actual. Se analizan las bases teóricas de estos dos enfoques, su complejidad temporal y su comportamiento frente a conjuntos de datos de tamaño distinto. La metodología que se emplea es la simulación de ambos algoritmos, es experimental, ya que permite observar y realizar comparaciones de tiempo y eficiencia para la localización de un elemento objetivo. En el caso del algoritmo cuántico, se implementa el algoritmo de Grover mediante simuladores cuánticos, analizando el impacto del número de qubits y de las iteraciones en los resultados obtenidos. Los resultados muestran que para la búsqueda clásica la complejidad de tiempo es O(n) en cambio en el caso del algoritmo de Grover esta se reduce a O(√n) siendo una mejora interesante que se centra en un n grande. A pesar de esto, existen limitaciones en la implementación de ordenadores cuánticos en la actualidad. Por último, se concluyó que el algoritmo de Grover es una alternativa bastante interesante para resolver problemas de búsqueda no estructurada y se muestra el potencial de la computación cuántica como una tecnología emergente con aplicaciones en la ingeniería.