Nuevos códigos cuánticos LDPC mejoran la corrección de errores

Investigadores han desarrollado nuevos códigos cuánticos de baja densidad de paridad (LDPC) basados en matrices de permutación circulantes (CPM). Estos códigos, del tipo Calderbank-Shor-Steane (CSS), son cruciales para la computación cuántica, ya que permiten proteger la información cuántica de los errores inherentes a los cúbits. La construcción se parametriza por el peso de columna J, el peso de fila L y el tamaño de elevación P, y utiliza un arreglo de particiones de pares para imponer ecuaciones lineales que garantizan la ortogonalidad CSS. Los códigos LDPC cuánticos son una vía prometedora para la corrección de errores cuánticos debido a su estructura dispersa, que facilita la decodificación. Los ejemplos concretos presentados incluyen un código (J,L)=(4,12) con una tasa de 0.349 y una distancia [[372,130,16]], y otro (J,L)=(4,14) con una tasa de 0.440 y una distancia [[518,228,16]]. También se reportan instancias (J,L)=(3,8) con distancias [[472,122,14]] y [[488,126,14]] para tamaños de elevación P=59 y P=61, respectivamente. La distancia de estos códigos se ha establecido mediante la exclusión exhaustiva de pesos bajos y el uso de testigos no estabilizadores explícitos, lo que asegura su capacidad para detectar y corregir errores. La mejora en la tasa de codificación y la distancia mínima de estos nuevos códigos LDPC es un paso significativo hacia la construcción de ordenadores cuánticos tolerantes a fallos, un requisito fundamental para el desarrollo de la computación cuántica a gran escala.

Día del Neutrino 2026: Explorando el Experimento DUNE Subterráneo

El Día del Neutrino 2026 ha destacado el experimento Deep Underground Neutrino Experiment (DUNE) desde las instalaciones de Sanford Underground Research Facility (SURF) en Lead, Dakota del Sur. Este evento anual, retransmitido en directo desde un kilómetro y medio bajo tierra, ofrece una visión del ambicioso proyecto DUNE, diseñado para estudiar las propiedades fundamentales de los neutrinos y su papel en el universo. Durante la retransmisión, se contó con la participación de figuras clave como Mike Headley, director del laboratorio SURF, y la Dra. Sowjanya Gollapinni, científica sénior del experimento DUNE. Sus intervenciones proporcionaron detalles sobre los avances y los objetivos científicos de DUNE, que busca comprender la oscilación de neutrinos, la jerarquía de masas y la posible violación de la simetría CP en el sector leptónico, lo que podría explicar la asimetría materia-antimateria en el universo.

Fermilab y Qblox comercializan la plataforma QICK para control cuántico

El Departamento de Energía de Estados Unidos (DOE), el Fermilab y la empresa Qblox han formalizado una colaboración para la comercialización de la plataforma QICK (Quantum Instrumentation Control Kit). Este acuerdo incluye una estructura de licencias comerciales para gestionar la fabricación, la cadena de suministro y la distribución del sistema desarrollado por Fermilab. QICK es una plataforma de código abierto diseñada para el control y la lectura de cúbits superconductores, crucial para el desarrollo de ordenadores cuánticos. La iniciativa busca acelerar la disponibilidad de hardware de control cuántico de alto rendimiento y reducir las barreras de entrada para investigadores y desarrolladores. La plataforma QICK permite una integración más eficiente entre el software de control y el hardware experimental, facilitando la experimentación y la innovación en el campo de la computación cuántica. Este paso hacia la comercialización es fundamental para trasladar los avances de laboratorio a aplicaciones prácticas y para estandarizar ciertos componentes en la creciente industria cuántica. Además de la distribución comercial, la colaboración también tiene como objetivo fortalecer la fuerza laboral en tecnologías cuánticas. Al hacer la plataforma QICK más accesible y apoyar su uso en entornos académicos e industriales, se espera fomentar la formación de nuevos talentos y la creación de una comunidad más amplia de expertos en instrumentación cuántica. Este enfoque en la educación y el desarrollo de habilidades es vital para sostener el rápido crecimiento y la complejidad de la investigación y el desarrollo cuántico.

Formalización asistida por IA del algoritmo de Shor en Lean para criptoanálisis

Científicos han logrado formalizar la familia de algoritmos de Shor en el asistente de pruebas Lean, un hito significativo para el criptoanálisis cuántico verificado por máquina. Este trabajo emplea un enfoque "agéntico", donde agentes de software analizan fuentes, generan código Lean y corrigen pruebas, con revisión humana de las afirmaciones científicas y verificación automática de las pruebas formales resultantes. La formalización establece las bases matemáticas para analizar ataques cuánticos en dos configuraciones criptográficas clave: un módulo de 2048 bits para RSA-2048 y la curva elíptica estándar sobre un campo primo de 256 bits (P-256). La formalización abarca desde algoritmos cuánticos para la búsqueda de órdenes hasta circuitos cuánticos reversibles para la aritmética modular y de curvas elípticas. Basándose en trabajos previos publicados en Quantum y ASIACRYPT, el equipo ha formalizado las estimaciones de recursos lógicos para RSA-2048 y P-256, respectivamente, y ha proporcionado estimaciones adicionales de las operaciones clásicas requeridas. Este avance es crucial para comprender los requisitos computacionales de los ataques cuánticos a los sistemas criptográficos actuales. Este desarrollo representa un paso importante hacia el diseño y la verificación de algoritmos cuánticos asistidos por inteligencia artificial. La capacidad de formalizar y verificar rigurosamente los algoritmos cuánticos, especialmente aquellos con implicaciones para la seguridad, es esencial a medida que la computación cuántica madura. Se espera que estos resultados allanen el camino para un criptoanálisis cuántico más amplio y verificado por máquina, mejorando la confianza en las evaluaciones de seguridad de los sistemas criptográficos post-cuánticos.

Renormalizan el cálculo de dos fotones en la desintegración K_L→μ⁺μ⁻

Un nuevo estudio aborda la predicción del Modelo Estándar para la desintegración poco frecuente K_L→μ⁺μ⁻, un proceso que depende crucialmente de la contribución a larga distancia del intercambio de dos fotones. Este cálculo, fundamental para la precisión de las predicciones teóricas, se realiza habitualmente mediante cromodinámica cuántica en la red (QCD en la red) utilizando una teoría efectiva de tres sabores (quarks u, d y s), asumiendo que los términos que decaen como el inverso del cuadrado de la masa del quark encanto (1/m_c²) son despreciables. El desafío de esta aproximación de tres sabores radica en la ausencia de la cancelación de Glashow-Iliopoulos-Maiani (GIM), lo que introduce constantes de baja energía adicionales que dependen explícitamente de la masa del quark encanto. La novedad del trabajo consiste en demostrar cómo estas constantes pueden determinarse de manera práctica. Para ello, los investigadores proponen una estrategia que implica una simulación de QCD en la red de cuatro sabores. Esta simulación se lleva a cabo en un volumen pequeño y con masas de quarks u y d que son mayores que sus valores físicos. El método permite renormalizar la contribución de dos fotones, mejorando la precisión de la predicción del Modelo Estándar para esta desintegración de kaones. La capacidad de determinar estas constantes de baja energía a partir de cálculos de QCD en la red de cuatro sabores es un avance significativo para reducir las incertidumbres teóricas en la física de partículas.

Catalizadores diagonales mejoran el recocido cuántico

Investigadores han desarrollado una nueva técnica para optimizar el recocido cuántico, un método de computación diseñado para resolver problemas de optimización complejos. La técnica, denominada "catalizadores ZZ", se basa en la manipulación del paisaje energético del problema, haciendo que las configuraciones de estado alejadas de la solución óptima sean energéticamente menos favorables. Esto ayuda a evitar que el sistema cuántico quede atrapado en mínimos locales, un obstáculo común que limita la eficiencia del recocido cuántico. El recocido cuántico busca la solución a un problema codificando sus posibles estados como configuraciones de espines en un paisaje energético. La solución óptima corresponde al mínimo global de energía. Sin embargo, la presencia de múltiples mínimos locales puede atrapar al sistema, impidiendo que alcance la solución verdadera. La nueva metodología introduce un marco matemático para comprender la relación entre la energía y la distancia de Hamming (el número de espines que difieren entre configuraciones) en problemas de optimización. Utilizando este marco, los catalizadores ZZ se construyen a partir de patrones de estado fundamental de subproblemas pequeños y libres de frustración. Los experimentos demuestran que estos catalizadores multiplican la probabilidad de encontrar soluciones cercanas en barridos cortos para problemas dispersos. Además, los beneficios persisten en modelos completamente conectados, y su efectividad puede ajustarse mediante la elección de los subproblemas. Este avance podría mejorar significativamente la capacidad de los recocedores cuánticos para abordar problemas de optimización de gran escala, con implicaciones en campos como la logística, el diseño de materiales y el descubrimiento de fármacos, donde la búsqueda de configuraciones óptimas es crucial.