Bennett and Stinespring, Together at Last

Chris Heunen, Robin Kaarsgaard

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

8 Downloads (Pure)

Abstract

We present a universal construction that relates reversible dynamics on open systems to arbitrary dynamics on closed systems: the restriction affine completion of a monoidal restriction category quotiented by well-pointedness. 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 essentially ‘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 publicationProceeding of the 18th International Conference on Quantum Physics and Logic (QPL 2021)
Volume343
Publication date2021
Pages102-118
DOIs
Publication statusPublished - 2021
Externally publishedYes
Event18th International Conference on Quantum Physics and Logic - University of Gdansk, Gdansk, Poland
Duration: 7. Jun 202111. Jun 2021

Conference

Conference18th International Conference on Quantum Physics and Logic
LocationUniversity of Gdansk
Country/TerritoryPoland
CityGdansk
Period07/06/202111/06/2021
SeriesElectronic Proceedings in Theoretical Computer Science
Volume343
ISSN2075-2180

Fingerprint

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

Cite this