ZX-Flow: A Flexible Criterion for Deterministic Computation with ZX-Diagrams
Die Arbeit stellt „ZX-Flow" vor, ein neues, natives Kriterium für ZX-Diagramme, das durch Pauli-Semiwebs definiert ist, unter Clifford-Umschreibungen invariant bleibt und die effiziente Extraktion deterministischer Berechnungen oder Quantenschaltungen ermöglicht, ohne dass das Diagramm zuvor in eine spezielle Graphzustandsform überführt werden muss.