Quantum Information Flow under String-Diagram Rewriting
Dit artikel formaliseert het concept van "kwantuminformatiestroom" door onderscheid te maken tussen schijnbare en werkelijke doorlopende paden in string-diagram herschrijvingssequenties om "Coecke-stroomlijnen" te definiëren, die worden geïllustreerd met behulp van de ZX-calculus om beperkte, quasi-lokale morfisme-factoren in kwantumprotocollen te representeren.