ZX-Flow: A Flexible Criterion for Deterministic Computation with ZX-Diagrams
O artigo apresenta o "ZX-flow", um novo critério de fluxo nativo para o cálculo ZX que, ao ser formulado com "Pauli semiwebs", permanece inalterado sob reescritas de Clifford e permite a extração eficiente de computações determinísticas ou circuitos quânticos a partir de diagramas ZX arbitrários.