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

arXiv:2305.05795

On the Extremality of the Tensor Product of Quantum Channels

James Miller S. T. da Silva

Published May 9, 2023• 0 citations
arXivHTMLPDF

Abstract

Completely positive and trace preserving (CPT) maps are important for Quantum Information Theory, because they describe a broad class of of transformations of quantum states. There are also two other related classes of maps, the unital completely positive (UCP) maps and the unital completely positive and trace preserving (UCPT) maps. For these three classes, the maps from a finite dimensional Hilbert space $X$ to another one $Y$ is a compact convex set and, as such, it is the convex hull of its extreme points. The extreme points of these convex sets are yet not well understood. In this article we investigate the preservation of extremality under the tensor product. We prove that extremality is preserved for CPT or UCP maps, but for UCPT it is not always preserved.

DOI
10.48550/arxiv.2305.05795

Related papers

A note on the extreme points of 1-qubit quantum Markov chains on 2 vertices

Carlos F. Lardizabal

Abstract In this note we study completely positive, trace-preserving (CPT) maps M 4 ( C ) ↦ M 4 ( C ) , in particular the class of examples given by quantum Markov chains (QMCs) describing the evolution of one qubit on a 2-vertex graph. For this class of channels, and regarding its convex structure, we examine the problem of finding the extreme points both with respect to CPT maps and with respect to the set of QMCs. This is done by considering the class of maps whose image is contained in the set of block-diagonal matrices. Motivated by previous results in the literature, a practical criterion for extremality is obtained via the Choi–Jamiołkowski isomorphism and appropriate direct-sum subspaces. The study of extreme maps is natural from a structural point of view, as these play the role of indecomposable operations and provide fundamental information about the geometry of the set of quantum channels.

Journal of Physics A Mathematical and Theoretical•May 1, 2026•0 citations

On quantum channels: extreme points, topology, and categorical properties

J. M. S. T. da Silva

In this thesis, quantum channels are studied from the point of view of Mathematics. We studied the CPTP (completely positive trace preserving) and UCPTP channels, the latter being the unital channels. In both cases, the sets are compact convex, so they are the closure of their extreme points. We constructed extreme CPTP maps for every possible rank. We also constructed extreme UCPTP maps with rank 2 for each possible dimension. For ranks of at least 3, we constructed extreme UCPTP maps for many dimensions and ranks. We also proved that the tensor product of extreme CPTP maps is an extreme CPTP map. For UCPTP maps, we proved that the same is not always true, with many counterexamples. It is known that the category of CPTP maps is semicartesian. We add to this a classification of binary products. We proved that products only exist in trivial cases. For binary coproducts, we obtained the dimensions they should have, if they exist. In both cases, topological techniques were used. For this reason, we also investigated the topology of the closure of the set of extreme points of the CPTP maps. Topological invariants can be computed from decompositions of a space such as CW structures. These are a type of decomposition in which the space is expressed as a gluing of balls. In the search for a CW structure for the closure of the set of extreme CPTP maps, we obtained a partial decomposition that resembles a CW structure of the complex projective space.

math-phCross-listedarXiv:2608.20689•Aug 24, 2026•0 citations

When do pieces determine the whole? Extreme marginals of a completely positive map

E. Haapasalo, Teiko Heinosaari, Juha-Pekka Pellonpää

We will consider completely positive maps defined on tensor products of von Neumann algebras and taking values in the algebra of bounded operators on a Hilbert space and particularly certain convex subsets of the set of such maps. We show that when one of the marginal maps of such a map is an extreme point, then the marginals uniquely determine the map. We will further prove that when both of the marginals are extreme, then the whole map is extreme. We show that this general result is the common source of several well-known results dealing with, e.g., jointly measurable observables. We also obtain new insight especially in the realm of quantum instruments and their marginal observables and channels.

arXiv:1209.5933•Reviews in Mathematical Physics•Feb 7, 2014•22 citations

On Faces of the set of Quantum Channels

Raphael Loewy

A linear map $L$ from ${\mathbb C}^{n \times n}$ into ${\mathbb C}^{n \times n}$ is called a quantum channel if it is completely positive and trace preserving. The set ${\cal L}_n$ of all such quantum channels is known to be a compact convex set. While the extreme points of ${\cal L}_n$ can be characterized, not much is known about the structure of its higher dimensional faces. Using the so called Choi matrix $Z(L)$ associated with the quantum channel $L$, we compute the maximum dimension of a proper face of ${\cal L}_n$, and in addition the possible dimensions of faces generated by $L$ when $rank \ Z(L)=2 $.

arXiv:1609.05890•Sep 18, 2016•0 citations

Almost-idempotent quantum channels and approximate $C^*$-algebras

Alexei Kitaev

Let $Φ$ be a unital completely positive (UCP) map on the space of operators on some Hilbert space. We assume that $Φ$ is $η$-idempotent, namely, $\|Φ^2-Φ\|_{\mathrm{cb}} \leη$, and construct an associated $\varepsilon$-$C^*$ algebra (of almost-invariant observables) for $\varepsilon=O(η)$. This type of structure has the axioms of a unital $C^*$ algebra but the associativity and other axioms involving the multiplication and the unit hold up to $\varepsilon$. We prove that any finite-dimensional $\varepsilon$-$C^*$ algebra $A$ is $O(\varepsilon)$-isomorphic to some genuine $C^*$ algebra $B$. These bounds are universal, i.e. do not depend on the dimensionality or other parameters. When $A$ comes from a finite-dimensional $η$-idempotent UCP map $Φ$, the $O(η)$-isomorphism and its inverse can be realized by UCP maps. This gives an approximate factorization of the quantum channel $Φ^*$ into a decoding channel, producing a state on $B$, and an encoding channel.

arXiv:2405.02434•May 3, 2024•0 citations

Multiplicative properties of quantum channels

Mizanur Rahaman

Abstract In this paper, we study the multiplicative behaviour of quantum channels, mathematically described by trace preserving, completely positive maps on matrix algebras. It turns out that the multiplicative domain of a unital quantum channel has a close connection to its spectral properties. A structure theorem (theorem 2.5), which reveals the automorphic property of an arbitrary unital quantum channel on a subalgebra, is presented. Various classes of quantum channels (irreducible, primitive, etc) are then analysed in terms of this stabilising subalgebra. The notion of the multiplicative index of a unital quantum channel is introduced, which measures the number of times a unital channel needs to be composed with itself for the multiplicative algebra to stabilise. We show that the maps that have trivial multiplicative domains are dense in completely bounded norm topology in the set of all unital completely positive maps. Some applications in quantum information theory are discussed.

arXiv:1701.06205•Journal of Physics A Mathematical and Theoretical•Jun 23, 2017•20 citations
Completely positive and trace preserving (CPT) maps are important for Quantum Information Theory, because they describe a broad class of of transformations of quantum states. There are also two other related classes of maps, the unital completely positive (UCP) maps and the unital completely positive and trace preserving (UCPT) maps. For these three classes, the maps from a finite dimensional Hilbert space XXX to another one YYY is a compact convex set and, as such, it is the convex hull of its extreme points. The extreme points of these convex sets are yet not well understood. In this article we investigate the preservation of extremality under the tensor product. We prove that extremality is preserved for CPT or UCP maps, but for UCPT it is not always preserved.
Abstract In this note we study completely positive, trace-preserving (CPT) maps M 4 ( C ) ↦ M 4 ( C ) , in particular the class of examples given by quantum Markov chains (QMCs) describing the evolution of one qubit on a 2-vertex graph. For this class of channels, and regarding its convex structure, we examine the problem of finding the extreme points both with respect to CPT maps and with respect to the set of QMCs. This is done by considering the class of maps whose image is contained in the set of block-diagonal matrices. Motivated by previous results in the literature, a practical criterion for extremality is obtained via the Choi–Jamiołkowski isomorphism and appropriate direct-sum subspaces. The study of extreme maps is natural from a structural point of view, as these play the role of indecomposable operations and provide fundamental information about the geometry of the set of quantum channels.
In this thesis, quantum channels are studied from the point of view of Mathematics. We studied the CPTP (completely positive trace preserving) and UCPTP channels, the latter being the unital channels. In both cases, the sets are compact convex, so they are the closure of their extreme points. We constructed extreme CPTP maps for every possible rank. We also constructed extreme UCPTP maps with rank 2 for each possible dimension. For ranks of at least 3, we constructed extreme UCPTP maps for many dimensions and ranks. We also proved that the tensor product of extreme CPTP maps is an extreme CPTP map. For UCPTP maps, we proved that the same is not always true, with many counterexamples. It is known that the category of CPTP maps is semicartesian. We add to this a classification of binary products. We proved that products only exist in trivial cases. For binary coproducts, we obtained the dimensions they should have, if they exist. In both cases, topological techniques were used. For this reason, we also investigated the topology of the closure of the set of extreme points of the CPTP maps. Topological invariants can be computed from decompositions of a space such as CW structures. These are a type of decomposition in which the space is expressed as a gluing of balls. In the search for a CW structure for the closure of the set of extreme CPTP maps, we obtained a partial decomposition that resembles a CW structure of the complex projective space.
We will consider completely positive maps defined on tensor products of von Neumann algebras and taking values in the algebra of bounded operators on a Hilbert space and particularly certain convex subsets of the set of such maps. We show that when one of the marginal maps of such a map is an extreme point, then the marginals uniquely determine the map. We will further prove that when both of the marginals are extreme, then the whole map is extreme. We show that this general result is the common source of several well-known results dealing with, e.g., jointly measurable observables. We also obtain new insight especially in the realm of quantum instruments and their marginal observables and channels.
A linear map LLL from Cn×n{\mathbb C}^{n \times n}Cn×n into Cn×n{\mathbb C}^{n \times n}Cn×n is called a quantum channel if it is completely positive and trace preserving. The set Ln{\cal L}_nLn​ of all such quantum channels is known to be a compact convex set. While the extreme points of Ln{\cal L}_nLn​ can be characterized, not much is known about the structure of its higher dimensional faces. Using the so called Choi matrix Z(L)Z(L)Z(L) associated with the quantum channel LLL, we compute the maximum dimension of a proper face of Ln{\cal L}_nLn​, and in addition the possible dimensions of faces generated by LLL when $rank \ Z(L)=2 $.
Almost-idempotent quantum channels and approximate C∗C^*C∗-algebras
Let ΦΦΦ be a unital completely positive (UCP) map on the space of operators on some Hilbert space. We assume that ΦΦΦ is ηηη-idempotent, namely, ∥Φ2−Φ∥cb≤η\|Φ^2-Φ\|_{\mathrm{cb}} \leη∥Φ2−Φ∥cb​≤η, and construct an associated ε\varepsilonε-C∗C^*C∗ algebra (of almost-invariant observables) for ε=O(η)\varepsilon=O(η)ε=O(η). This type of structure has the axioms of a unital C∗C^*C∗ algebra but the associativity and other axioms involving the multiplication and the unit hold up to ε\varepsilonε. We prove that any finite-dimensional ε\varepsilonε-C∗C^*C∗ algebra AAA is O(ε)O(\varepsilon)O(ε)-isomorphic to some genuine C∗C^*C∗ algebra BBB. These bounds are universal, i.e. do not depend on the dimensionality or other parameters. When AAA comes from a finite-dimensional ηηη-idempotent UCP map ΦΦΦ, the O(η)O(η)O(η)-isomorphism and its inverse can be realized by UCP maps. This gives an approximate factorization of the quantum channel Φ∗Φ^*Φ∗ into a decoding channel, producing a state on BBB, and an encoding channel.
Abstract In this paper, we study the multiplicative behaviour of quantum channels, mathematically described by trace preserving, completely positive maps on matrix algebras. It turns out that the multiplicative domain of a unital quantum channel has a close connection to its spectral properties. A structure theorem (theorem 2.5), which reveals the automorphic property of an arbitrary unital quantum channel on a subalgebra, is presented. Various classes of quantum channels (irreducible, primitive, etc) are then analysed in terms of this stabilising subalgebra. The notion of the multiplicative index of a unital quantum channel is introduced, which measures the number of times a unital channel needs to be composed with itself for the multiplicative algebra to stabilise. We show that the maps that have trivial multiplicative domains are dense in completely bounded norm topology in the set of all unital completely positive maps. Some applications in quantum information theory are discussed.