Title
Linear-Time Graph Algorithms in GP 2.
Abstract
We present a diagrammatic approach to quantum dynamics based on the categorical algebraic structure of strongly complementary observables. We provide physical semantics to our approach in terms of quantum clocks and quantisation of time. We show that quantum dynamical systems arise naturally as the algebras of a certain dagger Frobenius monad, with the morphisms and tensor product of the category of algebras playing the role, respectively, of equivariant transformations and synchronised parallel composition of dynamical systems. We show that the Weyl Canonical Commutation Relations between time and energy are an incarnation of the bialgebra law and we derive Schr\"{o}dinger's equation from a process-theoretic perspective. Finally, we use diagrammatic symmetry-observable duality to prove Stone's proposition and von Neumann's Mean Ergodic proposition, recasting the results as two faces of the very same coin.
Year
DOI
Venue
2019
10.4230/LIPIcs.CALCO.2019.16
CALCO
Field
DocType
Citations 
Graph algorithms,Discrete mathematics,Computer science,Time complexity
Conference
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Graham Campbell100.34
Brian Courtehoute200.34
Detlef Plump360462.14