Bennett and Stinespring, Together at Last

Chris Heunen, Robin Kaarsgaard

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

11 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.
OriginalsprogEngelsk
TitelProceeding of the 18th International Conference on Quantum Physics and Logic (QPL 2021)
Vol/bind343
Publikationsdato2021
Sider102-118
DOI
StatusUdgivet - 2021
Udgivet eksterntJa
Begivenhed18th International Conference on Quantum Physics and Logic - University of Gdansk, Gdansk, Polen
Varighed: 7. jun. 202111. jun. 2021

Konference

Konference18th International Conference on Quantum Physics and Logic
LokationUniversity of Gdansk
Land/OmrådePolen
ByGdansk
Periode07/06/202111/06/2021
NavnElectronic Proceedings in Theoretical Computer Science
Vol/bind343
ISSN2075-2180

Fingeraftryk

Dyk ned i forskningsemnerne om 'Bennett and Stinespring, Together at Last'. Sammen danner de et unikt fingeraftryk.

Citationsformater