DeepAI AI Chat
Log In Sign Up

Bennett and Stinespring, Together at Last

02/17/2021
by   Chris Heunen, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

02/03/2023

The Quantum Effect: A Recipe for QuantumPi

Free categorical constructions characterise quantum computing as the com...
06/09/2022

Universal Properties of Partial Quantum Maps

We provide a universal construction of the category of finite-dimensiona...
05/25/2023

Classical Distributive Restriction Categories

In the category of sets and partial functions, 𝖯𝖠𝖱, while the disjoint u...
07/26/2021

Quantum Information Effects

We study the two dual quantum information effects to manipulate the amou...
04/21/2019

Quantum channels as a categorical completion

We propose a categorical foundation for the connection between pure and ...
07/12/2018

Finite-State Classical Mechanics

Reversible lattice dynamics embody basic features of physics that govern...
05/06/2021

The complexity of a quantum system and the accuracy of its description

The complexity of the quantum state of a multiparticle system and the ma...