Quantum Information Flow under String-Diagram Rewriting
Dieses Paper formalisiert das Konzept des „Quanteninformationsflusses“, indem es zwischen scheinbaren und echten Durchpfaden in String-Diagramm-Umschreibsequenzen unterscheidet, um „Coecke-Flusslinien“ zu definieren, welche unter Verwendung des ZX-Kalküls illustriert werden, um beschränkte, quasi-lokale Morphismenfaktoren in Quantenprotokollen darzustellen.