A Diagrammatic Approach to Quantum Dynamics.

  title={A Diagrammatic Approach to Quantum Dynamics.},
  author={Stefano Gogioso},
  journal={arXiv: Quantum Physics},
  • S. Gogioso
  • Published 30 May 2019
  • Mathematics
  • arXiv: Quantum Physics
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… 
Causality in higher order process theories
This work provides an equivalent construction of the HOPT framework from four simple axioms of process-theoretic nature, which is used to establish connections between foundational features such as causality, determinism, and signalling, and to explore their interaction with the mathematical structure of ∗-autonomy.
Categorical Semantics for Feynman Diagrams
A novel compositional description of Feynman diagrams, with well-defined categorical semantics as morphisms in a dagger-compact category, which automatically results in the superposition of all possible graph-theoretic combinations of the individual diagrams themselves.
Efficient Recognition of Graph Languages
A new notion of confluence up to garbage and non-garbage critical pairs is defined, showing it is sufficient to require strong joinability of only the non-harvesting critical pairs to establish confluenceup to garbage.
A Fast Graph Program for Computing Minimum Spanning Trees
This paper presents an efficient GP 2 program for computing minimum spanning trees using depth-first search as well as rooted graph transformation, and provides empirical performance results as evidence for the program's subquadratic complexity on bounded degree graphs.
Categories of Semantic Concepts
This work builds on the confluence of conceptual tools from Gardenfors semantic spaces, categorical compositional linguistics, and applied category theory to present a domain-independent and categorical formalism of 'concept'.


Interacting Quantum Observables: Categorical Algebra and Diagrammatics
The ZX-calculus is introduced, an intuitive and universal graphical calculus for multi-qubit systems, which greatly simplifies derivations in the area of quantum computation and information and axiomatize phase shifts within this framework.
Categorical quantum dynamics
It is argued that strong complementarity is a truly powerful and versatile building block for quantum theory and its applications, and one that should draw a lot more attention in the future.
Towards Quantum Field Theory in Categorical Quantum Mechanics
In this work, we use tools from non-standard analysis to introduce infinite-dimensional quantum systems and quantum fields within the framework of Categorical Quantum Mechanics. We define a dagger
Categorical Formulation of Finite-Dimensional Quantum Algebras
We describe how †-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional ‘quantum algebras’. We develop the concept of an involution monoid, and use it to
Interacting Frobenius Algebras are Hopf
  • R. Duncan, Kevin Dunne
  • Mathematics
    2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
  • 2016
Theories featuring the interaction between a Frobenius algebra and a Hopf algebra are shown to form Hopf algebras, and the system of Bonchi et al as a subtheory in the prime power dimensional case is recovered.
Time, symmetry and structure: a study in the foundations of quantum theory
This dissertation is about the sense in which the laws of quantum theory distinguish between the past and the future. I begin with an account of what it means for quantum theory to make such a
Infinite-dimensional Categorical Quantum Mechanics
Non-standard analysis is used to define a category suitable for categorical quantum mechanics in arbitrary separable Hilbert spaces, and it is shown that standard bounded operators can be suitably embedded in it.
Strong Complementarity and Non-locality in Categorical Quantum Mechanics
The diagrammatic calculus substantially simplifies (and sometimes even trivialises) many of the derivations, and provides new insights, and the diagrammatic computation of correlations clearly shows how local measurements interact to yield a global overall effect.
Quantum measurements without sums
Sums play a prominent role in the formalisms of quantum me- chanics, whether for mixing and superposing states, or for composing state spaces. Surprisingly, a conceptual analysis of quantum