Este documento resuelve la dicotomía fundamental de la clase de complejidad P vs NP mediante la transmutación del sustrato ontológico computacional. Demostramos formal y empíricamente que la complejidad exponencial O(2^(γN)) no es una ley inquebrantable de la computabilidad, sino un artefacto termodinámico inducido por la axiomática bivalente clásica (ZFC) al colisionar con la Propiedad de Brecha de Superposición (OGP) en el umbral crítico de transición de fase (α ≈ 4.262). Mediante la aritmetización de Máquinas de Turing y el Teorema de Linial-Mansour-Nisan (LMN), probamos que los algoritmos clásicos operan como polinomios de bajo grado, volviéndose matemáticamente ciegos ante la topología de Ruptura de Simetría de Réplicas (1RSB). Para trascender esta barrera, presentamos el Megakernel Godel, una arquitectura de hardware basada en la lógica paraconsistente de cuatro valores de Belnap (L4) y Computación Hiperdimensional (HDC). Al implementar el operador de Knowledge Join (⊕) mediante instrucciones atómicas en la memoria SRAM de una GPU Ampere (NVIDIA RTX 3050 Ti), el sistema absorbe la entropía de la OGP en el estado Dialeteia (B) en tiempo O(1). Proveemos verificación formal en Microsoft Research Z3 SMT Solver (con sellos SHA-256) y telemetría empírica de extracción asintótica sobre instancias certificadas de SATLIB (N ∈ {50, 100, 150}), confirmando que la evaluación de hipergrafos NP-completos es estrictamente polinómica (P_L4 = NP), mientras que la extracción de trayectorias bivalentes puras requiere un retroceso exponencial estricto (P ≠ NP clásico, con 1,001,678 backtracks en N=150 y constante γ ≈ 0.1204).
Este documento resuelve la dicotomía fundamental de la clase de complejidad P vs NP mediante la transmutación del sustrato ontológico computacional. Demostramos formal y empíricamente que la complejidad exponencial O(2^(γN)) no es una ley inquebrantable de la computabilidad, sino un artefacto termodinámico inducido por la axiomática bivalente clásica (ZFC) al colisionar con la Propiedad de Brecha de Superposición (OGP) en el umbral crítico de transición de fase (α ≈ 4.262). Mediante la aritmetización de Máquinas de Turing y el Teorema de Linial-Mansour-Nisan (LMN), probamos que los algoritmos clásicos operan como polinomios de bajo grado, volviéndose matemáticamente ciegos ante la topología de Ruptura de Simetría de Réplicas (1RSB). Para trascender esta barrera, presentamos el Megakernel Godel, una arquitectura de hardware basada en la lógica paraconsistente de cuatro valores de Belnap (L4) y Computación Hiperdimensional (HDC). Al implementar el operador de Knowledge Join (⊕) mediante instrucciones atómicas en la memoria SRAM de una GPU Ampere (NVIDIA RTX 3050 Ti), el sistema absorbe la entropía de la OGP en el estado Dialeteia (B) en tiempo O(1). Proveemos verificación formal en Microsoft Research Z3 SMT Solver (con sellos SHA-256) y telemetría empírica de extracción asintótica sobre instancias certificadas de SATLIB (N ∈ {50, 100, 150}), confirmando que la evaluación de hipergrafos NP-completos es estrictamente polinómica (P_L4 = NP), mientras que la extracción de trayectorias bivalentes puras requiere un retroceso exponencial estricto (P ≠ NP clásico, con 1,001,678 backtracks en N=150 y constante γ ≈ 0.1204).
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 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.
En esta tesis se ha examinado el problema de la caracterización de medidas locales en un sistema cuántico bipartito correlacionado, y cómo esta medida afecta al sistema remoto. Hemos visto que el estado remoto luego de la medida queda determinado por el tensor de correlación, y por supuesto por la medida local efectuada. Mientras que en el caso de estados puros el estado remoto luego de la medida es siempre puro -aunque dependiente de la medida- esto no es cierto en el caso de estados mixtos, donde el estado remoto permanece en general mixto, e incluso su grado de pureza depende de la medida efectuada. Cabe señalar que estas correlaciones no implican ninguna comunicación super-lumínica. La entropía condicional del estado remoto depende así de la medida efectuada, y su mínimo tiene significados e implicancias importantes. En primer lugar, la entropía condicional mínima determina la discordia cuántica, que es una medida de correlaciones cuánticas más allá del entrelazamiento para estados mixtos, y que coincide con la entropía de entrelazamiento en estados puros. En segundo lugar esta entropía condicional mínima determina el entrelazamiento de uno de los subsistemas con un tercer sistema que purifica el conjunto. La entropía condicional mínima puede utilizarse pues para la determinación del entrelazamiento. No obstante, la determinación de la medida que minimiza la entropía condicional es un problema NP completo, muy difícil de resolver incluso en sistemas de dimensión reducida, siendo una determinación analítica solo posible para sistemas qudit-qubit y para determinadas entropías tales como la entropía cuadrática. En esta tesis se ha abordado la caracterización de medidas locales en un sistema de un qutrit y examinado el conjunto de estados pos-medidos en un sistema qutrit-qubit correlacionado, considerando tanto estados entrelazados como separables. Encontramos que en general los estados pos-medidos ya no forman un elipsoide como sucede cuando se mide en el qubit, sino que generan un volumen que puede resultar delimitado por superficies no convencionales. Se han también examinado casos particulares, como por ejemplo sistemas clásicamente correlacionados donde el conjunto de estados pos-medidos se reduce a un segmento, y el caso de estados puros entrelazados donde se obtiene la esfera de Bloch, como es de esperar. También estudiamos el problema de determinar la medida minimizante sobre un sistema local. Se mostró que la misma queda determinada por el tensor de correlación, y que en el caso de conjuntos de estados pos-medidos cuya topología es compleja, la misma está dirigida sobre los ejes principales de simetría. Asímismo estudiamos el significado físico de la medida minimizante, siendo en el caso de la mezcla de dos estados alineados aquella que preserva las simetrías del sistema. Finalmente hemos logrado determinar en forma analítica la medida minimizante para estados separables de rango dos completamente generales en sistemas bipartitos de dimensión arbitraria. Dicha medida óptima preserva la simetría del sistema, y en el caso de dos espines 's' no constituye una medida de spin (incluso para valores muy grandes de 's'). También se obtuvo una expresión analítica para la mínima entropía condicional cuadrática. En el caso de dos espines 's' este valor permanece finito aún para valores grandes de 's' si el ángulo de apertura es suficientemente pequeño. Con este valor mínimo es posible determinar la discordia.
La computación cuántica promete una potencia computacional sin precedentes al aprovechar principios mecánicos cuánticos como la superposición y el entrelazamiento. Sin embargo, el hardware cuántico actual está limitado por la cantidad de cúbits y las altas tasas de error, lo que dificulta la prueba de algoritmos cuánticos complejos a escala. Como resultado, los simuladores cuánticos basados en software que se ejecutan en computadoras clásicas se han convertido en herramientas esenciales para explorar algoritmos y rincipios cuánticos. Estos simuladores, aunque potentes, requieren recursos de memoria significativos debido al crecimiento exponencial de los tamaños de los estados cuánticos. Por ejemplo, representar un estado de N cúbits requiere 2^N números complejos, lo que supone una carga inmensa para los sistemas de memoria clásicos. Este trabajo investiga estrategias de gestión de memoria para optimizar el uso de recursos en simuladores de computación cuántica. Las técnicas exploradas incluyen la eliminación de estados, las estructuras de datos de estado completo, las optimizaciones de aplicaciones de puertas cuánticas, la compresión de datos y los enfoques de memoria distribuida. El objetivo es reducir el consumo de memoria al tiempo que se preserva la precisión de las simulaciones cuánticas. El estudio implementa estas estrategias en un simulador cuántico, proporcionando una comparación detallada de su rendimiento en varios algoritmos cuánticos. Los resultados resaltan las compensaciones entre la eficiencia computacional y el uso de la memoria, ofreciendo información sobre los enfoques más efectivos para escalar simulaciones cuánticas en hardware clásico.
Los algoritmos cuánticos son, en general, mucho más eficientes que los clásicos lo que los vuelve particularmente interesantes para ser usados en computación. La llamada caminata clásica al azar ha sido usada tradicionalmente para modelar procesos de difusión. En el caso unidimensional se considera una partícula que está obligada a moverse sobre una línea. Se supone además que la partícula se mueve siempre a la misma velocidad y que puede desplazarse hacia a la derecha o la izquierda en pasos discretos con igual probabilidad. Al cabo de varias iteraciones, la distribución de probabilidad sobre las posibles posiciones de la partícula sigue una función Gaussiana centrada en el origen. La contrapartida cuántica consta de estados descriptos por una función de ondas que es una combinación de los estados de la base computacional con coeficientes complejos. Una vez establecido el estado de partida se aplica un operador de Hadamard y un operador de traslación condicional. Al cabo de varias iteraciones del proceso, se obtienen distribuciones que no aproximan a una Gaussiana y que pueden ser incluso no simétricas para algunas condiciones iniciales. Esta propiedad podría ser muy útil en un algoritmo de búsqueda. En este trabajo se muestra como puede ser simulada ópticamente una caminata cuántica al azar utilizando elementos ópticos convencionales y representando espacialmente los q-bits como imágenes en un procesador óptico. Se presentan resultados experimentales en los que se muestra la viabilidad del proceso
La computación cuántica surge como un paradigma de procesamiento de información radicalmente distinto al clásico, al apoyarse en fenómenos propios de la mecánica cuántica —como la superposición y el entrelazamiento— para operar con cubits en lugar de bits. Los recientes avances en el desarrollo de computadores cuánticos han despertado un creciente interés entre estudiantes, docentes, investigadores y profesionales de la informática clásica. Estos se enfrentan a desafíos únicos, no solo por la incipiente madurez de la tecnología cuántica, sino también por la necesidad de ampliar su formación en varios frentes. Comprender el álgebra y la física subyacentes, abordar nuevas nociones de complejidad computacional y explorar dominios de aplicación en los que la computación clásica tiene poca presencia son algunos de los principales retos que deben afrontar. En respuesta a estos retos surge una oferta de literatura y de propuestas educativas que, además de dinámica, es muy variada en enfoque y nivel de complejidad. Definir y sostener un recorrido de aprendizaje ajustado a las expectativas y bases de cada individuo constituye un primer desafío, a veces inexpugnable. En este artículo se presentan avances en pos de entender mejor dicho desafío, tomando como base las experiencias de dos estudiantes avanzados de grado de informática que abordaron el tema mediante estrategias y fuentes de consulta distintas.Dicho análisis busca extraer lecciones sobre los métodos de apropiación de conocimientos en este campo emergente de la informática, con especial énfasis en estudiantes provenientes de la computación tradicional.