{"id":"arxiv/2608.13035","url":"https://arxiv.org/abs/2608.13035","tags":["quant-ph"],"score":0,"title":"Completeness for flow-preserving rewrite rules","domain":"quant-ph","source":"arxiv","authors":["Miriam Backens","Simon Perdrix"],"reviews":0,"subject":"quant-ph","summary":"Complete sets of graphical rewrite rules enable fully graphical reasoning about quantum computations and have been an area of active research for more than a decade. Many recent applications of the ZX-calculus have made use of the close correspondence between ZX-diagrams and computations in the one-way model of measurement-based quantum computation. In this model, various kinds of flow properties ensure deterministic implementability; for ZX-diagrams, these same properties allow efficient translation into quantum circuits (a problem that is known to be #P-hard in general). Therefore,…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-08-13","reactions":{}}