Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Complete Positivity

Chris Heunen, Jamie Vicary

Published Nov 19, 2019• 0 citations
Publisher

Abstract

Abstract Completely positive maps give a notion of quantum process that allows the description of probabilistic effects in quantum theory. We show how to describe this categorically in terms of the CP construction and contrast the behaviour of classical and quantum information in this setting. We also study the behaviour of duality and linear structure under the CP construction.

DOI
10.1093/oso/9780198739623.003.0007

Related papers

Categories of Quantum and Classical Channels (extended abstract)

Bob Coecke, Chris Heunen, Aleks Kissinger

We introduce the CP*-construction on a dagger compact closed category as a generalisation of Selinger's CPM-construction. While the latter takes a dagger compact closed category and forms its category of "abstract matrix algebras" and completely positive maps, the CP*-construction forms its category of "abstract C*-algebras" and completely positive maps. This analogy is justified by the case of finite-dimensional Hilbert spaces, where the CP*-construction yields the category of finite-dimensional C*-algebras and completely positive maps. The CP*-construction fully embeds Selinger's CPM-construction in such a way that the objects in the image of the embedding can be thought of as "purely quantum" state spaces. It also embeds the category of classical stochastic maps, whose image consists of "purely classical" state spaces. By allowing classical and quantum data to coexist, this provides elegant abstract notions of preparation, measurement, and more general quantum channels.

arXiv:1408.0049•Electronic Proceedings in Theoretical Computer Science•Jul 29, 2014•6 citations

Pictures of complete positivity in arbitrary dimension

Bob Coecke, Chris Heunen

Two fundamental contributions to categorical quantum mechanics are presented. First, we generalize the CP-construction, that turns any dagger compact category into one with completely positive maps, to arbitrary dimension. Second, we axiomatize when a given category is the result of this construction.

Electronic Proceedings in Theoretical Computer Science•Oct 1, 2012•32 citations

2 New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic

Bart Jacobs

Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold. The algebraic notions of effect algebra/module that emerged in theoretical physics form the cornerstone. It is shown that under mild conditions on a category, its maps of the form X -> 1+1 carry such effect module structure, and can be used as predicates. Predicates are identified in many different situations, and capture for instance ordinary subsets, fuzzy predicates in a probabilistic setting, idempotents in a ring, and effects (positive elements below the unit) in a C*-algebra or Hilbert space. In quantum foundations the duality between states and effects plays an important role. It appears here in the form of an adjunction, where we use maps 1 -> X as states. For such a state s and a predicate p, the validity probability s |= p is defined, as an abstract Born rule. It captures many forms of (Boolean or probabilistic) validity known from the literature. Measurement from quantum mechanics is formalised categorically in terms of `instruments', using L\"uders rule in the quantum case. These instruments are special maps associated with predicates (more generally, with tests), which perform the act of measurement and may have a side-effect that disturbs the system under observation. This abstract description of side-effects is one of the main achievements of the current approach. It is shown that in the special case of C*-algebras, side-effect appear exclusively in the non-commutative case. Also, these instruments are used for test operators in a dynamic logic that can be used for reasoning about quantum programs/protocols. The paper describes four successive assumptions, towards a categorical axiomatisation of quantitative logic for probabilistic and quantum systems.

•Jan 1, 2014•72 citations

Complete Positivity and Natural Representation of Quantum Computations

Mathys Rennela, Sam Staton

We propose a new 'quantum domain theory' in which Scott-continuous functions are replaced by Scott-continuous natural transformations. Completely positive maps are widely accepted as a model of first-order quantum computation. We begin by establishing a categorical characterization of completely positive maps as natural families of positive maps. We explore this categorical characterization by building various representations of quantum computation based on different structures: affine maps between cones of positive elements, morphisms of algebras of effects, and affine maps of convex sets of states. By focusing on convex dcpos, we develop a quantum domain theory and show that it supports some important constructions such as tensor products by quantum data, and lifting.

Electronic Notes in Theoretical Computer Science•Dec 1, 2015•9 citations

Completely positive map from M4(C) to M5(C) on positive semidefinite Matrices

Winda C. Akatch, Benard Okelo, Omolo Ongati

Positive maps are essential in the description of quantum systems. However, characterization of the structure of the set of all positive maps is a challenge in mathematics and mathematical physics. We construct a linear positive map from M4 to M5 and state the conditions under which they are positive and completely positive (copositivity of positive).

Journal of Mathematical Analysis and Modeling•Apr 1, 2022•0 citations

Bridging Classical and Quantum Worlds: Maps, States, and Evolutions

D. Amato, P. Facchi, G. Marmo

In this work, we present several aspects of the interplay between classical and quantum theories. After reviewing the equivalence between positivity and complete positivity in the commutative setting, we introduce and analyze intermediate notions that interpolate between these two properties for linear maps on the space of operators on a Hilbert space, highlighting their natural connections to quantum dynamics and entanglement theory. Finally, we discuss possible constructions that allow one to derive quantum states and evolutions from classical counterparts, and vice versa.

quant-pharXiv:2511.09390•Open Systems & Information Dynamics•Nov 13, 2025•0 citations
Abstract Completely positive maps give a notion of quantum process that allows the description of probabilistic effects in quantum theory. We show how to describe this categorically in terms of the CP construction and contrast the behaviour of classical and quantum information in this setting. We also study the behaviour of duality and linear structure under the CP construction.
We introduce the CP*-construction on a dagger compact closed category as a generalisation of Selinger's CPM-construction. While the latter takes a dagger compact closed category and forms its category of "abstract matrix algebras" and completely positive maps, the CP*-construction forms its category of "abstract C*-algebras" and completely positive maps. This analogy is justified by the case of finite-dimensional Hilbert spaces, where the CP*-construction yields the category of finite-dimensional C*-algebras and completely positive maps. The CP*-construction fully embeds Selinger's CPM-construction in such a way that the objects in the image of the embedding can be thought of as "purely quantum" state spaces. It also embeds the category of classical stochastic maps, whose image consists of "purely classical" state spaces. By allowing classical and quantum data to coexist, this provides elegant abstract notions of preparation, measurement, and more general quantum channels.
Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold. The algebraic notions of effect algebra/module that emerged in theoretical physics form the cornerstone. It is shown that under mild conditions on a category, its maps of the form X -> 1+1 carry such effect module structure, and can be used as predicates. Predicates are identified in many different situations, and capture for instance ordinary subsets, fuzzy predicates in a probabilistic setting, idempotents in a ring, and effects (positive elements below the unit) in a C*-algebra or Hilbert space. In quantum foundations the duality between states and effects plays an important role. It appears here in the form of an adjunction, where we use maps 1 -> X as states. For such a state s and a predicate p, the validity probability s |= p is defined, as an abstract Born rule. It captures many forms of (Boolean or probabilistic) validity known from the literature. Measurement from quantum mechanics is formalised categorically in terms of `instruments', using L\"uders rule in the quantum case. These instruments are special maps associated with predicates (more generally, with tests), which perform the act of measurement and may have a side-effect that disturbs the system under observation. This abstract description of side-effects is one of the main achievements of the current approach. It is shown that in the special case of C*-algebras, side-effect appear exclusively in the non-commutative case. Also, these instruments are used for test operators in a dynamic logic that can be used for reasoning about quantum programs/protocols. The paper describes four successive assumptions, towards a categorical axiomatisation of quantitative logic for probabilistic and quantum systems.
We propose a new 'quantum domain theory' in which Scott-continuous functions are replaced by Scott-continuous natural transformations. Completely positive maps are widely accepted as a model of first-order quantum computation. We begin by establishing a categorical characterization of completely positive maps as natural families of positive maps. We explore this categorical characterization by building various representations of quantum computation based on different structures: affine maps between cones of positive elements, morphisms of algebras of effects, and affine maps of convex sets of states. By focusing on convex dcpos, we develop a quantum domain theory and show that it supports some important constructions such as tensor products by quantum data, and lifting.
In this work, we present several aspects of the interplay between classical and quantum theories. After reviewing the equivalence between positivity and complete positivity in the commutative setting, we introduce and analyze intermediate notions that interpolate between these two properties for linear maps on the space of operators on a Hilbert space, highlighting their natural connections to quantum dynamics and entanglement theory. Finally, we discuss possible constructions that allow one to derive quantum states and evolutions from classical counterparts, and vice versa.