⚛️ quantum physics

Floquet Majorana XYZ Codes with Tunable Logical Dynamics

Este artículo introduce una nueva familia de códigos de Floquet basados en el modelo de subsistema Majorana XYZ que admite realizaciones tanto de cúbits locales como de Majorana microscópicos, donde la dinámica lógica de los cúbits codificados puede sintonizarse entre formas estáticas y parcialmente dinámicas mediante el ajuste del cronograma del ciclo de medición y la paridad de la red.

Autores originales: Xinyu Sun, Hong Yao

Publicado 2026-09-11

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Xinyu Sun, Hong Yao

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

En la búsqueda de construir una computadora que pueda resolver problemas fuera del alcance de las máquinas actuales, los científicos se enfrentan a un obstáculo fundamental: la información almacenada en su interior es increíblemente frágil. Una sola vibración errante o una mínima fluctuación en la temperatura puede desordenar los delicados datos, provocando errores que arruinan el cálculo. Para solucionar esto, los investigadores utilizan una estrategia llamada corrección de errores cuánticos. En lugar de almacenar una sola pieza de información en un solo lugar, la distribuyen a través de una vasta red de partículas, codificándola de una manera que sea invisible para las perturbaciones locales. Esto es similar a cómo un mensaje escrito en una sola hoja de papel puede rasgarse fácilmente, pero si ese mismo mensaje se tejiera en un tapiz grande y complejo, un pequeño rasguño en la tela no destruiría la historia. El desafío es mantener este tapiz tejido intacto mientras la computadora funciona, verificando constantemente si hay rasgaduras sin mirar directamente el mensaje en sí, lo cual lo destruiría.

Un camino prometedor implica un tipo especial de partícula conocida como modo Majorana. Estos son estados exóticos de la materia que pueden actuar como sus propias antipartículas y son naturalmente resistentes a ciertos tipos de ruido. Debido a que son tan robustos, se consideran bloques de construcción ideales para la próxima generación de computadoras cuánticas. Sin embargo, convertir estas partículas teóricas en una memoria funcional requiere un conjunto muy específico de instrucciones. Los científicos deben decidir exactamente cómo medir las partículas y con qué frecuencia repetir esas mediciones para mantener la información segura. Esta nueva investigación explora una familia de tales instrucciones, revelando que el tiempo de estas mediciones puede cambiar fundamentalmente el comportamiento de la información almacenada, transformándola de un estado estático e inalterable a uno que evoluciona de manera controlada y rítmica.

Los investigadores, trabajando en la Universidad de Tsinghua, comenzaron con una disposición conocida de estas partículas Majorana dispuestas en una cuadrícula. Comenzaron estudiando cómo se comporta esta cuadrícula cuando se deja sola, estableciendo una línea base de cómo se almacena la información. Descubrieron que la cuadrícula actúa como un sistema de bucles interconectados. Cuando la cuadrícula tiene un número impar de unidades a lo largo de cada lado, contiene naturalmente una pieza de información que permanece completamente inmóvil. Cuando la cuadrícula tiene un número par de unidades, puede contener dos piezas de información. Esta distinción es crucial porque establece el escenario de lo que sucede cuando los científicos comienzan a medir activamente el sistema.

Para proteger la información, el equipo introdujo un proceso de mediciones repetidas. En lugar de medir toda la cuadrícula a la vez, midieron pequeños grupos superpuestos de partículas en una secuencia específica. Probaron tres programas diferentes: medir en un ciclo de tres pasos, dos pasos o solo un paso. El descubrimiento más sorprendente provino del ciclo de tres pasos. Cuando el tamaño de la cuadrícula era un tipo específico de número par, el sistema se comportó de una manera que nunca se había visto en este tipo de código. Una pieza de la información almacenada permaneció perfectamente inmóvil, tal como lo hacía en la versión estática. Pero su compañera, la segunda pieza de información, comenzó a cambiar. Cada vez que el ciclo de medición se completaba, la representación física de esta segunda pieza de información se desplazaba a una nueva ubicación en la cuadrícula, solo para regresar a su punto de partida después de completar el ciclo completo.

Este comportamiento de desplazamiento no es un fallo; es una característica controlada por el programa de medición. Los investigadores demostraron que este estado dinámico no es aleatorio. Es una evolución precisa y predecible donde la información se preserva incluso mientras su forma física se mueve. Probaron que esto sucede debido a una sutil restricción matemática que depende del tamaño de la cuadrícula. Si el tamaño de la cuadrícula cambia ligeramente, el comportamiento dinámico desaparece y ambas piezas de información vuelven a ser estáticas. Esto significa que, simplemente cambiando el ritmo de las mediciones, los científicos pueden cambiar la memoria de la computadora entre un estado congelado y un estado fluido. Esta capacidad de alternar entre formas estáticas y dinámicas usando solo el tiempo de las mediciones ofrece una nueva herramienta para controlar la información cuántica.

El equipo también demostró que todo este sistema puede construirse directamente utilizando las partículas microscópicas Majorana, sin necesidad de traducir las instrucciones a un lenguaje diferente de bits informáticos estándar. Mostraron que las mediciones requeridas para mantener este estado son locales, lo que significa que solo involucran a pequeños grupos de partículas vecinas. Para algunas partes del ciclo, la medición involucra cuatro partículas, y para otras, involucra ocho. Esta realización directa es un paso significativo hacia adelante porque demuestra que la lógica compleja de estos códigos puede implementarse con las operaciones nativas del hardware, en lugar de requerir una capa de traducción complicada.

El estudio también exploró qué sucede si se acorta el ciclo de medición. Cuando los científicos redujeron el ciclo de tres pasos a dos, el comportamiento dinámico desapareció. La segunda pieza de información, que anteriormente se desplazaba, se volvió estática y permaneció en un lugar. Esto confirmó que la naturaleza dinámica de la información no es una propiedad inherente de las partículas mismas, sino un resultado del programa específico utilizado para medirlas. Al ajustar el programa, los investigadores pueden elegir efectivamente si la información permanece fija o fluye a través del sistema.

Este trabajo proporciona un plano claro de cómo gestionar la información en una computadora cuántica basada en Majorana. Muestra que la estabilidad de los datos no se trata solo del hardware, sino también del tiempo de las verificaciones. La capacidad de crear un qubit lógico "parcialmente dinámico", donde una parte de la información se mueve mientras la otra permanece en su lugar, abre nuevas posibilidades para cómo las computadoras cuánticas podrían procesar datos. Los investigadores han establecido que estos códigos pueden realizarse localmente en un sistema físico directo, cerrando la brecha entre la teoría abstracta y la realidad experimental. Si bien el pleno potencial de estos códigos para la computación tolerante a fallos aún debe ser probado bajo condiciones de ruido del mundo real, este trabajo sienta las bases para una nueva clase de memorias cuánticas que pueden ser ajustadas y controladas con precisión.

Resumen Técnico: Códigos Floquet Majorana XYZ con Dinámica Lógica Sintonizable

Planteamiento del Problema
La corrección de errores cuánticos (QEC) es esencial para la computación cuántica tolerante a fallos, y los códigos de estabilizador topológico y de subsistemas ofrecen mediciones geométricamente locales y protección topológica. Los códigos de Floquet generalizan este marco utilizando secuencias periódicas de mediciones incompatibles para generar grupos de estabilizadores instantáneos (ISG) dependientes del tiempo. Si bien los códigos de Floquet han sido explorados en diversas plataformas de hardware, incluyendo circuitos superconductores e iones atrapados, su realización en arquitecturas basadas en Majorana sigue siendo un desafío abierto. Específicamente, no está claro qué estructuras lógicas emergen cuando se aplican mediciones periódicas al código de subsistema Majorana XYZ, y si tales códigos de Floquet pueden realizarse localmente tanto en descripciones de cúbits efectivos como directamente en modos de Majorana microscópicos.

Metodología
Los autores construyen y caracterizan códigos de Floquet derivados del código de subsistema Majorana XYZ en una red de $L \times L$ . El estudio procede a través de los siguientes pasos:

Análisis del Código Estático: Los autores analizan primero el código de subsistema Majorana XYZ estático, definido por generadores de gauge $A_\Delta$ y $B_\nabla$ (operadores de triángulo) en una red triangular periódica. Determinan el rango del grupo de gauge y el subgrupo estabilizador, observando una estructura dependiente de la paridad donde la generación del estabilizador difiere para $L$ impar y par.
Protocolos de Medición: Se proponen tres esquemas de medición distintos, que involucran la medición sucesiva de familias de operadores de paralelogramo de cuatro cúbits ( $P_x, P_y, P_z$ $P_{x}, P_{y}, P_{z}$ ) derivados de los generadores de gauge:
- Protocolo de tres pasos ( $T=3$ ): Medición cíclica de $P_x \to P_y \to P_z$ .
- Protocolo de dos pasos ( $T=2$ ): Medición cíclica de $P_x \to P_y$ (aplicado para $L$ par).
- Protocolo de un paso ( $T=1$ ): Medición repetida de una familia conmutante de operadores de rectángulo de cuatro cúbits.
Caracterización Algebraica: Se rastrea la evolución del ISG utilizando la regla de actualización $S_t = \langle P_{a_t}, S_{t-1} \cap C(P_{a_t}) \rangle$ . Los autores realizan cálculos algebraicos exactos para determinar el rango del ISG, el número de cúbits lógicos y la naturaleza de los operadores lógicos (estáticos vs. dinámicos) para diferentes tamaños de red ( $L$ ) y periodos de medición.
Realización Microscópica: Para abordar las restricciones de hardware, los autores mapean el modelo de espín efectivo a modos de Majorana microscópicos en una red de panal con una dirección espacial abierta. Verifican que los generadores de gauge y los operadores de medición pueden realizarse como mediciones de paridad locales de modos de Majorana (operadores de 4 o 8 Majoranas) sin cadenas de Jordan-Wigner no locales.

Contribuciones Clave y Resultados
El artículo establece una nueva familia de códigos de Floquet que posee una dinámica lógica sintonizable dependiendo de la paridad de la red y el esquema de medición:

Estructura Lógica Dependiente de la Paridad (Protocolo de Tres Pasos, $T=3$ ):
- $L$ impar: Soporta un cúbit lógico estático.
- $L$ par $= 4n + 2$ : Soporta dos cúbits lógicos estáticos, ambos admitiendo representantes de Pauli independientes del tiempo.
- $L$ par $= 4n$ : Soporta un cúbit lógico estático y un cúbit lógico parcialmente dinámico. En este caso, un Pauli del segundo cúbit lógico (específicamente $Z_2 = H_L$ ) permanece estático, mientras que su conjugado ( $X_2$ ) debe evolucionar a través del ciclo de medición. Este comportamiento dinámico surge de una obstrucción algebraica donde el estabilizador estático $H_L$ se convierte en un elemento del grupo generado por las tres familias de medición ( $\langle P_x, P_y, P_z \rangle$ ), lo que impide un conjugado independiente del tiempo.
Control Dependiente del Esquema: Reducir el ciclo a dos pasos ( $T=2$ ) para $L$ par elimina la obstrucción encontrada en el caso $L=4n$ . El protocolo $T=2$ restaura dos cúbits lógicos totalmente estáticos tanto para $L=4n$ como para $L=4n+2$ . Esto demuestra que el mismo grado de libertad codificado puede alternarse entre formas estáticas y parcialmente dinámicas únicamente alterando el esquema de medición.
Protocolo de Un Paso ( $T=1$ ): La medición de una familia conmutante de operadores de rectángulo produce un código de estabilizador estático. Para $L$ impar, codifica un cúbit lógico con distancia $d=L$ . Para $L$ par, codifica cuatro cúbits lógicos con distancia $d=L/2$ , dividiéndose efectivamente en dos sectores de Wen-plaquette independientes.
Realización Local de Majorana: Los autores demuestran que para $L$ par, los protocolos $T=2$ y $T=3$ admiten una realización directa local en modos de Majorana microscópicos en un cilindro (una dirección abierta). Las mediciones requeridas son comprobaciones de paridad locales de 4 u 8 modos de Majorana. Esto se logra demostrando que los grupos de medición locales truncados, combinados con los estabilizadores de doble bucle heredados, reproducen el ISG completo del sistema periódico.

Significación
El artículo afirma presentar la primera familia de códigos de Floquet que posee tanto una representación de cúbit local como una realización directa de Majorana microscópica. El trabajo destaca un mecanismo novedoso donde la naturaleza "estática" o "dinámica" de los operadores lógicos no está fijada por el código de subsistema subyacente, sino que es controlada por el esquema de medición y las relaciones globales de la red (específicamente $L \mod 4$ ). Esto ofrece un recurso potencial para manipular los grados de libertad lógicos a través de la programación de esquemas. Los autores señalan que, si bien se ha establecido la estructura algebraica, las propiedades de tolerancia a fallos (como los umbrales de decodificación bajo errores realistas) aún deben determinarse en trabajos futuros.

Más como este