La implementación de métodos eficientes para la corrección de errores cuánticos requiere la utilización de códigos de baja redundancia, cuya función es minimizar el número de qubits físicos necesarios por qubit lógico.Los códigos polares cuánticos son candidatos para este fin debido a que por definición pueden alcanzar la capacidad del canal mediante una codificación recursiva eficiente. Sin embargo, la fase de preparación del estado lógico constituye un cuello de botella, frecuentemente condicionado por un elevado sobrecoste de puertas y medidas. En el presente estudio, se expone una metodología para el código polar Q1 que mitiga el sobrecoste de recursos mediante una optimización del circuito en el número de puertas y medidas.La propuesta ha sido evaluada mediante el entorno de simulación Stim, utilizando modelos de ruido a nivel de circuito sobre una topología que presenta conectividad all-to-all.El análisis realizado revela que la optimización de este trabajo aumenta la tasa de preparación de estados lógicos exitosos mientras mantiene o reduce las tasas de error lógico. A modo de ejemplo, para N=16, las optimizaciones producen mejoras en ambos estados lógicos.Para el estado lógico |+>, la propuesta incrementa la tasa de preparación hasta en un 34%, y mejora las tasas de error lógico hasta en un 63% en comparación con los valores de referencia. De igual manera, se evidencia un incremento en la tasa de preparación de hasta el 42% y una reducción en la tasa de error lógico de hasta el 69% para el estado lógico |0>.
La implementación de métodos eficientes para la corrección de errores cuánticos requiere la utilización de códigos de baja redundancia, cuya función es minimizar el número de qubits físicos necesarios por qubit lógico.Los códigos polares cuánticos son candidatos para este fin debido a que por definición pueden alcanzar la capacidad del canal mediante una codificación recursiva eficiente. Sin embargo, la fase de preparación del estado lógico constituye un cuello de botella, frecuentemente condicionado por un elevado sobrecoste de puertas y medidas. En el presente estudio, se expone una metodología para el código polar Q1 que mitiga el sobrecoste de recursos mediante una optimización del circuito en el número de puertas y medidas.La propuesta ha sido evaluada mediante el entorno de simulación Stim, utilizando modelos de ruido a nivel de circuito sobre una topología que presenta conectividad all-to-all.El análisis realizado revela que la optimización de este trabajo aumenta la tasa de preparación de estados lógicos exitosos mientras mantiene o reduce las tasas de error lógico. A modo de ejemplo, para N=16, las optimizaciones producen mejoras en ambos estados lógicos.Para el estado lógico |+>, la propuesta incrementa la tasa de preparación hasta en un 34%, y mejora las tasas de error lógico hasta en un 63% en comparación con los valores de referencia. De igual manera, se evidencia un incremento en la tasa de preparación de hasta el 42% y una reducción en la tasa de error lógico de hasta el 69% para el estado lógico |0>.
La corrección cuántica de errores constituye una condición esencial para construir computadores cuánticos capaces de ejecutar algoritmos largos y fiables. A diferencia de la corrección clásica, debe proteger estados cuánticos sin medir directamente ni destruir la información codificada, mediante redundancia, mediciones de síndrome y decodificación. El objetivo de este artículo es revisar el estado del arte entre 2020 y 2026, considerando códigos de superficie, códigos cuánticos de baja densidad de paridad (qLDPC), códigos bosónicos, decodificadores y circuitos dinámicos, así como su relación con aplicaciones prácticas. Se desarrolló una revisión narrativa de literatura científica y fuentes institucionales, con énfasis en resultados experimentales recientes y en las limitaciones que separan las demostraciones de memoria lógica de la ejecución de algoritmos útiles a gran escala. La literatura muestra avances en operación por debajo del umbral, reducción de errores lógicos al aumentar la distancia del código, decodificación en tiempo real y arquitecturas alternativas que buscan reducir el costo físico. Sin embargo, persisten desafíos relacionados con errores correlacionados, fuga de estados computacionales, conectividad, latencia, recursos para puertas lógicas tolerantes a fallos y escalabilidad. Las aplicaciones más prometedoras incluyen simulación cuántica, química y materiales, optimización y criptografía, aunque la corrección de errores no demuestra por sí sola una ventaja práctica en esas tareas. Se concluye que el progreso debe evaluarse por la calidad de los qubits lógicos, el costo total de recursos y la ejecución fiable de circuitos completos, no solo por el número de qubits físicos.
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.
La tesis se centra en el problema de la simulación de un computador cuántico teórico (libre de errores) y de propósito general, basado en el modelo de circuitos. El problema es del tipo NP, por lo que se ha abordado en primer lugar tratando de detectar los cuellos de botella existentes tanto en espacio como en tiempo y después realizando propuestas que los van reduciendo uno por uno. De esta forma, si bien sigue siendo imposible ejecutar una simulación demasiado grande en un tiempo razonable, ha sido posible reducir los recursos necesarios para hacer una misma simulación. Gran parte del trabajo realizado ha consistido en hacer modificaciones sobre las estructuras de datos utilizadas para modelar el problema desde su perspectiva matricial. El resultado se ha materializado a través de mejoras implementadas dentro de dos proyectos de software libre y de código abierto (Free/Libre and Open Source Software en inglés) (FLOSS): QSimov y Doki, centrados en permitir al usuario trabajar en computación cuántica con pocos recursos y tratando que el paso del diagrama de un circuito cuántico a su código sea lo más inmediato posible.
En esta tesis se presentan los resultados de una serie de experimentos opticos en los que se ejecutan algoritmos de comunicaciones cuanticas para realizar Distribucion Cuantica de Claves(DCC) criptograficas con estados coherentes de muy baja intensidad. Especificamente, se estudia la implementacion de esquemas practicos y robustos de DCC, con especial interes en sistemas basados en fibra optica. A diferencia de las comunicaciones por aire, este medio permite transmitir estados cuanticos con bajisimas atenuaciones y minimas perturbaciones externas, utilizando instrumental comercialmente disponible y de bajo costo, incluso para distancias de decenas de kilometros. Los protocolos de DCC estudiados codifican informacion clasica (bits) en estados cuanticos preparados sobre distintos grados de libertad discretos de sistemas fisicos. En el trabajo se exploran implementaciones que explotan la polarizacion y los modos temporales discretos de luz (time-bin). En ambos casos, fue necesario desarrollar y familiarizarse con tecnologias especificas para la preparacion, transmision y deteccion de dichos estados cuanticos. El problema de transmitir estados cuanticos en fibra de forma eficiente y robusta se ataco con dos estrategias. Por un lado, utilizando el grado de libertad de polarizacion y, por otro, modos temporales discretos de luz. En el primer caso, se codificaron los estados en el grado de libertad de polarizacion, que es facilmente accesible. Sin embargo, este es muy sensible a perturbaciones, por lo que para asegurar la robustez se incorporo un sistema de estabilizacion activa del Estado de Polarizacion(SOP, por su sigla en ingles). Con este esquema se implementaron dos variantes de un protocolo clasico de DCC, llamado BB84, utilizando la polarizacion de pulsos de luz para codificar los estados cuanticos. Esto requirio el desarrollo de una fuente de pulsos tenues de luz basada en un laser DFB en el rango de las telecomunicaciones, con un modulador de intensidad externo por electroabsorcion. Se diseno un sistema de estabilizacion de la polarizacion robusto que permite compensar de forma automatica las perturbaciones que genera la birrefringencia de la fibra sobre el estado de polarizacion. El sistema esta basado en controladores de polarizacion comerciales y electronica de control disenada especificamente, y puede ser adaptado facilmente a cualquier protocolo de comunicacion por fibra. En este sentido, se realizo una implementacion del protocolo BB84 y una variante llamada BB84E, que requiere la utilizacion de los seis estados de un conjunto completo de bases mutuamente no sesgadas para la polarizacion. En el segundo caso, se ensayo una codificacion mas sofisticada y resistente a perturbaciones, que implico enfrentar una serie de desafios tecnologicos, pero que se presenta como una alternativa practica y escalable en distancia de transmision y velocidad. Se propuso un esquema hibrido de DCC basado en un protocolo de referencia de fase distribuida con comunicacion bidireccional (Plug & Play), ambas tecnologias desarrolladas para trabajar especificamente en fibra optica, en un esquema con economia de recursos y distribucion tipo servidor-cliente. Asi, se obtuvo una configuracion en donde tanto el instrumental como las operaciones sobre los estados mas sensibles del protocolo se encuentran concentradas en una de las partes (servidor), mientras que los requerimientos sobre la otra parte involucrada en la comunicacion son minimos. Esta alternativa combina diferentes caracteristicas deseables en una implementacion practica de DCC, como la simplicidad y la robustez. El esquema propuesto codifica estados cuanticos en modos temporales discretos de luz. Esto requirio el desarrollo de dispositivos especificos para preparar y medir estos estados, basados en interferometros de fibra optica que no demanden estabilizacion activa. Otra de las premisas fue la independencia de funcionamiento del estado de polarizacion, que se logra a partir de la incorporacion de rotadores de Faraday en diferentes partes del esquema empleado. Por ultimo, debido al tipo de codificacion y al sistema de sincronizacion utilizados, este esquema es adaptable a tasas de transmision en el rango de los MHz. De los experimentos de DCC mencionados se desprenden una serie de desarrollos y pruebas de laboratorio adicionales, que son relevantes por si mismos. Entre ellos figuran la estabilizacion activa de interferometros de Mach-Zehnder en fibra y el estudio de esquemas experimentales alternativos para el protocolo hibrido de DCC propuesto. Tambien se puede destacar la puesta a punto de un prototipo autonomo de DCC en aire y su adaptacion para obtener un protocolo que distingue mezclas computables (pseudoaleatorias) de estados cuanticos. Este es un tema de interes para el procesamiento cuantico de la informacion en general. Las tecnicas abordadas y el know-how adquirido permiten entender y superar distintos problemas particulares de la utilizacion de estados cuanticos en comunicaciones por fibra optica. Ademas, estos desarrollos tienen la capacidad de ser empleados tanto en ensayos de DCC que excedan el ambito del laboratorio, como en un contexto mas amplio que permita implementar otros protocolos de comunicacion cuantica usando fibras opticas de telecomunicaciones como canal cuantico.
El problema de la flecha del tiempo y la reversibilidad son tópicos centrales de la historia de la Física. Con el advenimiento de las tecnologías cuánticas, se presenta la oportunidad de estudiar sistemas cuánticos individuales, vinculando los problemas mencionados con desafíos tecnológicos. Nuestro objetivo es investigar la irreversibilidad en procesadores cuánticos, en relación al estudio de distintos modelos de ruido. Para ello, generamos circuitos cuánticos aleatorios, seguido de sus circuitos inversos. Si el dispositivo considerado fuera ideal, deberíamos recuperar el estado inicial de la computadora cuántica (es decir, aquel en el que todos los n qubits involucrados en un circuito están en cero |000...⟩). Sin embargo, esto no es así en presencia de ruido. De esta forma, nos proponemos estudiar cómo se comporta la magnitud M = |⟨000...|f⟩|2 (donde |f⟩ es el estado final) para distintos tipos de ruido en circuitos cuánticos aleatorios. Esto puede pensarse como una estrategia similar a la que se utiliza para estudiar el eco de Loschmidt en sistemas de múltiples spines [2]. Usamos QISKIT [1] para calcular los valores de M asociados a dichos circuitos, utilizando simuladores de distintos prototipos de computadoras cuánticas, de forma tal de evaluar el solapamiento entre los estados finales y los iniciales, simulando mediciones de los estados finales. De esta forma, se obtienen histogramas que muestran las distribuciones de los valores de M asociados a los circuitos para distintos modelos de ruido. Los parámetros de las simulaciones son: el dispositivo cuántico simulado, el tipo de ruido, el número de qubits por circuito, y la profundidad del circuito (cantidad de capas de compuertas). De esta forma, se busca evaluar cómo se comporta la irreversibilidad en relación al ruido en distintas arquitecturas de procesadores cuánticos. Un objetivo a futuro es comparar los resultados obtenidos con lo que se obtendría con dinámicas No-Hermíticas [3].
La simulación clásica de circuitos cuánticos sigue siendo un recurso indispensable para diseñar, validar y analizar algoritmos cuánticos. No obstante, en los simuladores de estado completo su alcance práctico queda limitado por el crecimiento exponencial de la memoria requerida para almacenar el vector de estado. En respuesta a esta restricción, el presente trabajo estudia la compresión sin pérdida como mecanismo de gestión de memoria en simuladores cuánticos tipo Schrödinger, con el objetivo de reducir la huella de almacenamiento sin introducir alteraciones numéricas en la simulación. La propuesta comprende la selección de un simulador base y de una biblioteca de compresión adecuada, el diseño de una arquitectura de almacenamiento por bloques con descompresión selectiva y caché LRU, su implementación en TMFQSfullstate mediante Blosc2 y su evaluación experimental frente a una ejecución de referencia sin compresión y a una estrategia con pérdida controlada basada en ZFP. La validación se realizó con circuitos representativos de comportamientos contrastantes de compresibilidad, en particular Grover y la transformada cuántica de Fourier, para instancias entre 20 y 25 qubits. Los resultados muestran que la estrategia sin pérdida basada en Blosc logra reducciones significativas de memoria en escenarios favorables, especialmente en Grover, manteniendo coincidencia exacta con la referencia no comprimida y error absoluto máximo nulo en todos los casos evaluados. También evidencian que la eficacia de la compresión depende de la estructura del estado cuántico y del patrón de acceso al vector, por lo que no puede asumirse un beneficio uniforme entre algoritmos. En conjunto, el trabajo demuestra que la compresión sin pérdida es una alternativa viable para ampliar la capacidad práctica de simulación cuando la memoria es la restricción dominante y el estado conserva regularidades aprovechables.