ZX-Flow: A Flexible Criterion for Deterministic Computation with ZX-Diagrams
Il paper introduce il "ZX-flow", un nuovo criterio nativo per i diagrammi ZX basato sui "Pauli semiwebs" che garantisce la preservazione sotto riscritture di Clifford e permette di estrarre efficientemente calcoli deterministici o circuiti quantistici, superando le limitazioni delle definizioni di flusso precedenti.