1 Search Results for "Gogioso, Stefano"

Document
DOI: 10.4230/LIPIcs.CALCO.2019.19
A Diagrammatic Approach to Quantum Dynamics

Authors: Stefano Gogioso

Published in: LIPIcs, Volume 139, 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)

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ö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.
Cite as

Stefano Gogioso. A Diagrammatic Approach to Quantum Dynamics. In 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 139, pp. 19:1-19:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)

Copy BibTex To Clipboard

@InProceedings{gogioso:LIPIcs.CALCO.2019.19,
  author =	{Gogioso, Stefano},
  title =	{{A Diagrammatic Approach to Quantum Dynamics}},
  booktitle =	{8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
  pages =	{19:1--19:23},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-120-7},
  ISSN =	{1868-8969},
  year =	{2019},
  volume =	{139},
  editor =	{Roggenbach, Markus and Sokolova, Ana},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.19},
  URN =		{urn:nbn:de:0030-drops-114472},
  doi =		{10.4230/LIPIcs.CALCO.2019.19},
  annote =	{Keywords: Quantum dynamics, String diagrams, Categorical algebra}
}
  • Refine by Author
  • 1 Gogioso, Stefano

  • Refine by Classification
  • 1 Theory of computation → Categorical semantics
  • 1 Theory of computation → Quantum computation theory

  • Refine by Keyword
  • 1 Categorical algebra
  • 1 Quantum dynamics
  • 1 String diagrams

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2019

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact