Abstract: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 comput… Show more
“…Quantum systems may only evolve along unitary linear maps. Taking quantum measurement into account allows the larger class of linear contractions [1, 26]. But no quantum‐theoretical process can be described by a bounded linear map that is not a contraction.…”
The category of Hilbert spaces and linear contractions is characterised by elementary categorical properties that do not refer to probabilities, complex numbers, norm, continuity, convexity or dimension.
“…Quantum systems may only evolve along unitary linear maps. Taking quantum measurement into account allows the larger class of linear contractions [1, 26]. But no quantum‐theoretical process can be described by a bounded linear map that is not a contraction.…”
The category of Hilbert spaces and linear contractions is characterised by elementary categorical properties that do not refer to probabilities, complex numbers, norm, continuity, convexity or dimension.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.