Bennett and Stinespring, Together at Last

Chris Heunen, Robin Kaarsgaard

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We present a universal construction that relates reversible dynamics on open systems to arbitrary dynamics on closed systems: the well-pointed restriction affine completion of a monoidal restriction category. This categorical completion encompasses both quantum channels, via Stinespring dilation, and classical computing, via Bennett's method. Moreover, in these two cases, we show how our construction can be 'undone' by a further universal construction. This shows how both mixed quantum theory and classical computation rest on entirely reversible foundations.
Original languageEnglish
Title of host publicationProceedings of the 18th International Conference on Quantum Physics and Logic (QPL 2021)
Number of pages15
Publication statusAccepted/In press - 28 May 2021
Event18th International Conference on Quantum Physics and Logic - Gdańsk, Poland
Duration: 7 Jun 202111 Jun 2021
https://qpl2021.eu/

Publication series

NameElectronic Proceedings in Theoretical Computer Science, EPTCS
PublisherOpen Publishing Association
ISSN (Print)2075-2180

Conference

Conference18th International Conference on Quantum Physics and Logic
Abbreviated titleQPL 2021
Country/TerritoryPoland
CityGdańsk
Period7/06/2111/06/21
Internet address

Keywords

  • quant-ph
  • cs.LO
  • math.CT

Fingerprint

Dive into the research topics of 'Bennett and Stinespring, Together at Last'. Together they form a unique fingerprint.

Cite this