ZX-Flow: A Flexible Criterion for Deterministic Computation with ZX-Diagrams
Ce papier introduit le ZX-flow, un nouveau critère de calcul déterministe formulé nativement pour les diagrammes ZX via les « Pauli semiwebs », qui est préservé par les réécritures de Clifford et permet d'extraire efficacement des circuits quantiques ou des calculs de mesure déterministes.