ZX-Flow: A Flexible Criterion for Deterministic Computation with ZX-Diagrams
Dit artikel introduceert ZX-flow, een nieuw, flexibel criterium gebaseerd op Pauli semiwebs dat deterministische berekeningen uit ZX-diagrammen kan afleiden zonder dat deze eerst in een specifieke graf-toestandvorm moeten worden gebracht, en dat bewezen is onder Clifford-rewrites behouden te blijven.