Investigadores han demostrado que el conjunto de reglas que define el cálculo ZX estabilizador, una herramienta fundamental en la computación cuántica, es mínimo. Esto significa que ninguna de las reglas puede derivarse de las demás, confirmando que cada una es esencial para la coherencia y completitud del sistema. Este avance es crucial para el desarrollo de algoritmos cuánticos y la verificación de protocolos, al asegurar que las simplificaciones y transformaciones en los circuitos cuánticos se basan en un fundamento lógico irreducible.

El cálculo ZX es un lenguaje gráfico que permite representar y manipular operaciones cuánticas de manera intuitiva, similar a los diagramas de Feynman en física de partículas. El fragmento estabilizador, en particular, es de gran importancia porque describe una clase de operaciones cuánticas que pueden simularse eficientemente en ordenadores clásicos, y es un subconjunto del fragmento Clifford+T, que es aproximadamente universal para la computación cuántica. La minimización de su conjunto de reglas es un paso importante hacia una comprensión más profunda de la estructura de las operaciones cuánticas.

El trabajo previo había identificado una colección de reglas de reescritura para este cálculo, y se había demostrado que la mayoría de ellas eran necesarias. Sin embargo, dos reglas específicas, relacionadas con la coincidencia de estructuras compactas (rojo/verde) y la ley de la bialgebra, no habían sido probadas como esenciales. El nuevo estudio emplea un argumento de contramodelo para demostrar que estas dos reglas son individualmente necesarias en relación con la metarregla de conectividad de Backens-Perdrix-Wang. La demostración de la minimidad de este conjunto de reglas es un hito significativo en la teoría de la computación cuántica.