Universal Properties of Partial Quantum Maps

06/09/2022
by   Pablo Andrés-Martínez, et al.
0

We provide a universal construction of the category of finite-dimensional C*-algebras and completely positive trace-nonincreasing maps from the rig category of finite-dimensional Hilbert spaces and unitaries. This construction, which can be applied to any dagger rig category, is described in three steps, each associated with their own universal property, and draws on results from dilation theory in finite dimension. In this way, we explicitly construct the category that captures hybrid quantum/classical computation with possible nontermination from the category of its reversible foundations. We discuss how this construction can be used in the design and semantics of quantum programming languages.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/29/2019

Universal Properties in Quantum Theory

We argue that notions in quantum theory should have universal properties...
research
07/26/2021

Quantum Information Effects

We study the two dual quantum information effects to manipulate the amou...
research
02/17/2021

Bennett and Stinespring, Together at Last

We present a universal construction that relates reversible dynamics on ...
research
10/14/2018

Monads, partial evaluations, and rewriting

Monads can be interpreted as encoding formal expressions, or formal oper...
research
12/20/2018

Factorizing the Top-Loc adjunction through positive topologies

We characterize the category of Sambin's positive topologies as a fibrat...
research
09/22/2022

Quantum theory in finite dimension cannot explain every general process with finite memory

Arguably, the largest class of stochastic processes generated by means o...
research
08/10/2023

A Characterization of Entropy as a Universal Monoidal Natural Transformation

We show that the essential properties of entropy (monotonicity, additivi...

Please sign up or login with your details

Forgot password? Click here to reset