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

QP-PQ, quantum probability and white noise analysis

COMPLETELY POSITIVE TRANSFORMATIONS OF QUANTUM OPERATIONS

Giulio Chiribella, Alessandro Toigo, Veronica Umanità

Published Jan 1, 2013• 0 citations
Publisher

Abstract

Quantum supermaps are higher-order maps transforming quantum operations into quantum operations and satisfying suitable requirements of normality and complete positivity. Here we present the extension of the theory of quantum supermaps, originally formulated in the finite dimensional setting, to the case of higher-order maps transforming quantum operations on generic von Neumann algebras. In this setting, we provide two dilation theorems for quantum supermaps that are the analogues of the Stinespring and Radon-Nikodym theorems for quantum operations. A structure theorem for probability measures with values in the set of quantum supermaps is also illustrated. Finally, some applications are given, and in particular it is shown that all the supermaps defined in this paper can be implemented by connecting quantum devices in quantum circuits.

DOI
10.1142/9789814447546_0003

Related papers

Normal Completely Positive Maps on the Space of Quantum Operations

Giulio Chiribella, Alessandro Toigo, Veronica Umanità

Quantum supermaps are higher-order maps transforming quantum operations into quantum operations. Here we extend the theory of quantum supermaps, originally formulated in the finite-dimensional setting, to the case of higher-order maps transforming quantum operations with input in a separable von Neumann algebra and output in the algebra of the bounded operators on a given separable Hilbert space. In this setting we prove two dilation theorems for quantum supermaps that are the analogues of the Stinespring and Radon-Nikodym theorems for quantum operations. Finally, we consider the case of quantum superinstruments, namely measures with values in the set of quantum supermaps, and derive a dilation theorem for them that is analogue to Ozawa's theorem for quantum instruments. The three dilation theorems presented here show that all the supermaps defined in this paper can be implemented by connecting devices in quantum circuits.

arXiv:1012.3197•Open Systems & Information Dynamics•Mar 1, 2013•8 citations

1 Normal Completely Positive Maps on the Space of Quantum Operations

Giulio Chiribella, Alessandro Toigo

Quantum supermaps are higher-order maps transforming quantum operations into quantum operations. Here we extend the theory of quantum supermaps, originally formulated in the finite dimensional setting, to the case of higher-order maps transforming quantum operations with input in a separable von Neumann algebra and output in the algebra of the bounded operators on a given separable Hilbert space. In this setting we prove two dilation theorems for quantum supermaps that are the analogues of the Stinespring and Radon-Nikodym theorems for quantum operations. Finally, we consider the case of quantum superinstruments, namely measures with values in the set of quantum supermaps, and derive a dilation theorem for them that is analogue to Ozawa's theorem for quantum instruments. The three dilation theorems presented here show that all the supermaps defined in this paper can be implemented by connecting devices in quantum circuits.

•Aug 17, 2016•7 citations

Transforming quantum operations: Quantum supermaps

Giulio Chiribella, Giacomo Mauro D’Ariano, Paolo Perinotti

We introduce the concept of quantum supermap , describing the most general transformation that maps an input quantum operation into an output quantum operation. Since quantum operations include as special cases quantum states, effects, and measurements, quantum supermaps describe all possible transformations between elementary quantum objects (quantum systems as well as quantum devices). After giving the axiomatic definition of supermap, we prove a realization theorem, which shows that any supermap can be physically implemented as a simple quantum circuit. Applications to quantum programming, cloning, discrimination, estimation, information-disturbance trade-off, and tomography of channels are outlined.

arXiv:0804.0180•Europhysics Letters (EPL)•Jul 11, 2008•317 citations

Supermaps between channels of any type

Robert F. Allen, Dominic Verdon

Supermaps between quantum channels (completely positive trace-preserving (CPTP) maps of matrix algebras) were introduced in [Chiribella et al., EPL 83(3) (2008)]. In this work we generalise to supermaps between channels of any type; by channels we mean CPTP maps of finite-dimensional C*-algebras. Channels include POVMs, quantum instruments, classically controlled families of quantum channels, classical channels, quantum multimeters, and more. We show that deterministic supermaps between channels of any type can be realised using simple circuits, recovering the previous realisation theorems of [Chiribella et al., EPL 83(3) (2008)] (for deterministic supermaps between quantum channels) and [Bluhm et al. (2024)] (for deterministic supermaps between quantum multimeters) as special cases. To prove this realisation theorem we use the graphical calculus of the 2-category of finite-dimensional 2-Hilbert spaces; the paper includes an accessible and elementary introduction to this graphical calculus, and no prior knowledge of category theory is expected of the reader.

arXiv:2410.01389•Oct 2, 2024•1 citation

Supermaps on generalised theories

Matt Wilson, James Hefford, Timothée Hoffreumon

Categorical supermaps generalise higher-order quantum operations from finite-dimensional quantum theory to arbitrary circuit theories. In this paper, we establish the Yoneda lemma for categorical supermaps, which states that whenever a physical theory has a suitable notion of channel-state duality, then categorical supermaps on that theory can be concretely represented in terms of that duality. This lemma eliminates any guesswork or ambiguity when defining the appropriate notion of supermap for these theories. As a concrete application, we show that the categorical supermaps on Boxworld are in general characterised by a physically well-motivated weaking of the recently proposed NSWSE principle for higher-order processes on boxworld. Furthermore, via the same Yoneda lemma we put forward a stable definition for supermaps in real quantum theory.

quant-pharXiv:2602.23865•Mar 2, 2026•0 citations

Radon–Nikodym derivatives of quantum operations

Maxim Raginsky

Given a completely positive (CP) map T, there is a theorem of the Radon–Nikodym type [W. B. Arveson, Acta Math. 123, 141 (1969); V. P. Belavkin and P. Staszewski, Rep. Math. Phys. 24, 49 (1986)] that completely characterizes all CP maps S such that T−S is also a CP map. This theorem is reviewed, and several alternative formulations are given along the way. We then use the Radon–Nikodym formalism to study the structure of order intervals of quantum operations, as well as a certain one-to-one correspondence between CP maps and positive operators, already fruitfully exploited in many quantum information-theoretic treatments. We also comment on how the Radon–Nikodym theorem can be used to derive norm estimates for differences of CP maps in general, and of quantum operations in particular.

arXiv:math-ph/0303056•Journal of Mathematical Physics•Oct 24, 2003•37 citations
Quantum supermaps are higher-order maps transforming quantum operations into quantum operations and satisfying suitable requirements of normality and complete positivity. Here we present the extension of the theory of quantum supermaps, originally formulated in the finite dimensional setting, to the case of higher-order maps transforming quantum operations on generic von Neumann algebras. In this setting, we provide two dilation theorems for quantum supermaps that are the analogues of the Stinespring and Radon-Nikodym theorems for quantum operations. A structure theorem for probability measures with values in the set of quantum supermaps is also illustrated. Finally, some applications are given, and in particular it is shown that all the supermaps defined in this paper can be implemented by connecting quantum devices in quantum circuits.
Quantum supermaps are higher-order maps transforming quantum operations into quantum operations. Here we extend the theory of quantum supermaps, originally formulated in the finite-dimensional setting, to the case of higher-order maps transforming quantum operations with input in a separable von Neumann algebra and output in the algebra of the bounded operators on a given separable Hilbert space. In this setting we prove two dilation theorems for quantum supermaps that are the analogues of the Stinespring and Radon-Nikodym theorems for quantum operations. Finally, we consider the case of quantum superinstruments, namely measures with values in the set of quantum supermaps, and derive a dilation theorem for them that is analogue to Ozawa's theorem for quantum instruments. The three dilation theorems presented here show that all the supermaps defined in this paper can be implemented by connecting devices in quantum circuits.
Quantum supermaps are higher-order maps transforming quantum operations into quantum operations. Here we extend the theory of quantum supermaps, originally formulated in the finite dimensional setting, to the case of higher-order maps transforming quantum operations with input in a separable von Neumann algebra and output in the algebra of the bounded operators on a given separable Hilbert space. In this setting we prove two dilation theorems for quantum supermaps that are the analogues of the Stinespring and Radon-Nikodym theorems for quantum operations. Finally, we consider the case of quantum superinstruments, namely measures with values in the set of quantum supermaps, and derive a dilation theorem for them that is analogue to Ozawa's theorem for quantum instruments. The three dilation theorems presented here show that all the supermaps defined in this paper can be implemented by connecting devices in quantum circuits.
We introduce the concept of quantum supermap , describing the most general transformation that maps an input quantum operation into an output quantum operation. Since quantum operations include as special cases quantum states, effects, and measurements, quantum supermaps describe all possible transformations between elementary quantum objects (quantum systems as well as quantum devices). After giving the axiomatic definition of supermap, we prove a realization theorem, which shows that any supermap can be physically implemented as a simple quantum circuit. Applications to quantum programming, cloning, discrimination, estimation, information-disturbance trade-off, and tomography of channels are outlined.
Supermaps between quantum channels (completely positive trace-preserving (CPTP) maps of matrix algebras) were introduced in [Chiribella et al., EPL 83(3) (2008)]. In this work we generalise to supermaps between channels of any type; by channels we mean CPTP maps of finite-dimensional C*-algebras. Channels include POVMs, quantum instruments, classically controlled families of quantum channels, classical channels, quantum multimeters, and more. We show that deterministic supermaps between channels of any type can be realised using simple circuits, recovering the previous realisation theorems of [Chiribella et al., EPL 83(3) (2008)] (for deterministic supermaps between quantum channels) and [Bluhm et al. (2024)] (for deterministic supermaps between quantum multimeters) as special cases. To prove this realisation theorem we use the graphical calculus of the 2-category of finite-dimensional 2-Hilbert spaces; the paper includes an accessible and elementary introduction to this graphical calculus, and no prior knowledge of category theory is expected of the reader.
Categorical supermaps generalise higher-order quantum operations from finite-dimensional quantum theory to arbitrary circuit theories. In this paper, we establish the Yoneda lemma for categorical supermaps, which states that whenever a physical theory has a suitable notion of channel-state duality, then categorical supermaps on that theory can be concretely represented in terms of that duality. This lemma eliminates any guesswork or ambiguity when defining the appropriate notion of supermap for these theories. As a concrete application, we show that the categorical supermaps on Boxworld are in general characterised by a physically well-motivated weaking of the recently proposed NSWSE principle for higher-order processes on boxworld. Furthermore, via the same Yoneda lemma we put forward a stable definition for supermaps in real quantum theory.
Given a completely positive (CP) map T, there is a theorem of the Radon–Nikodym type [W. B. Arveson, Acta Math. 123, 141 (1969); V. P. Belavkin and P. Staszewski, Rep. Math. Phys. 24, 49 (1986)] that completely characterizes all CP maps S such that T−S is also a CP map. This theorem is reviewed, and several alternative formulations are given along the way. We then use the Radon–Nikodym formalism to study the structure of order intervals of quantum operations, as well as a certain one-to-one correspondence between CP maps and positive operators, already fruitfully exploited in many quantum information-theoretic treatments. We also comment on how the Radon–Nikodym theorem can be used to derive norm estimates for differences of CP maps in general, and of quantum operations in particular.