Quantum Information Flow under String-Diagram Rewriting
Abstract
We revisit the notion of ``quantum information flow'' introduced in Bob Coecke's early work and seek to give it an explicit string-diagrammatic formalization. Given a semantics preserving string-diagram rewriting sequence, we first distinguish apparent through-paths, which depend on the current graphical presentation, from genuine through paths, which can be compatibly inherited through successive rewrites to a terminal decoupled bare wire factor. We then formally define a ``Coecke flow line'' in terms of this compatible inheritance relation. In particular, we use the ZX calculus, i.e., the ZX string diagram rewriting system, to illustrate the resulting formalism. In the physical setting of quantum protocols, a Coecke flow can be interpreted as a constrained, quasi-local, line-like presentation of a target bare wire morphism factor within the protocol string diagram.
Related
- Information flow control in hybrid quantum networks
- When is early stopping beneficial under label noise? A phase diagram for kernel gradient flow
- Evolution of electron spin resonance through a metallic quantum critical phase diagram
- Rapid Charge Stability Diagram Generation from Device-level Modeling of Semiconductor Quantum Dots
- Lee-Yang zeros of modulated XY spin chains with Dzyaloshinskii-Moriya interaction: zero-contour topology and quantum phase-diagram reconstruction
BibTeX
@misc{lin2026quantum,
title = {{Quantum Information Flow under String-Diagram Rewriting}},
author = {Yi-Yu Lin and Chen-Ye Li},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2608.09823},
eprint = {2608.09823},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.09823},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Quantum Information Flow under String-Diagram Rewriting
AU - Yi-Yu Lin
AU - Chen-Ye Li
PY - 2026
DA - 2026/09/15
PB - arXiv
DO - 10.48550/arxiv.2608.09823
UR - https://arxiv.org/abs/2608.09823
AB - We revisit the notion of ``quantum information flow'' introduced in Bob Coecke's early work and seek to give it an explicit string-diagrammatic formalization. Given a semantics preserving string-diagram rewriting sequence, we first distinguish apparent through-paths, which depend on the current graphical presentation, from genuine through paths, which can be compatibly inherited through successive rewrites to a terminal decoupled bare wire factor. We then formally define a ``Coecke flow line'' in terms of this compatible inheritance relation. In particular, we use the ZX calculus, i.e., the ZX string diagram rewriting system, to illustrate the resulting formalism. In the physical setting of quantum protocols, a Coecke flow can be interpreted as a constrained, quasi-local, line-like presentation of a target bare wire morphism factor within the protocol string diagram.
ER -