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:1806.05854 · Journal of Mathematical Physics

Entanglement-breaking channels with general outcome operator algebras

Yui Kuramochi

Published Oct 1, 2018• 2 citations
arXivHTMLPDF

Abstract

A unit-preserving and completely positive linear map, or a channel, Λ:A→Ain between C*-algebras A and Ain is called entanglement-breaking (EB) if ω◦(Λ⊗idB) is a separable state for any C*-algebra B and any state ω on the injective C*-tensor product Ain⊗B. In this paper, we establish the equivalence of the following conditions for a channel Λ with a quantum input space and with a general outcome C*-algebra, generalizing the known results in finite dimensions: (i) Λ is EB; (ii) Λ has a measurement-prepare form (Holevo form); (iii) n copies of Λ are compatible for all 2 ≤ n < ∞; (iv) countably infinite copies of Λ are compatible. By using this equivalence, we also show that the set of randomization-equivalence classes of normal EB channels with a fixed input von Neumann algebra is upper and lower Dedekind-closed, i.e., the supremum or infimum of any randomization-increasing or decreasing net of EB channels is also EB. As an example, we construct an injective normal EB channel with an arbitrary outcome operator algebra M acting on an infinite-dimensional separable Hilbert space by using the coherent states and the Bargmann measure.

DOI
10.1063/1.5044700

Related papers

Entanglement-breaking superchannels

Senrui Chen, Eric Chitambar

In this paper we initiate the study of entanglement-breaking (EB) superchannels. These are processes that always yield separable maps when acting on one side of a bipartite completely positive (CP) map. EB superchannels are a generalization of the well-known EB channels. We give several equivalent characterizations of EB supermaps and superchannels. Unlike its channel counterpart, we find that not every EB superchannel can be implemented as a measure-and-prepare superchannel. We also demonstrate that many EB superchannels can be superactivated, in the sense that they can output non-separable channels when wired in series.We then introduce the notions of CPTP- and CP-complete images of a superchannel, which capture deterministic and probabilistic channel convertibility, respectively. This allows us to characterize the power of EB superchannels for generating CP maps in different scenarios, and it reveals some fundamental differences between channels and superchannels. Finally, we relax the definition of separable channels to include (p,q) -non-entangling channels, which are bipartite channels that cannot generate entanglement using p - and q -dimensional ancillary systems. By introducing and investigating k -EB maps, we construct examples of (p,q) -EB superchannels that are not fully entanglement breaking. Partial results on the characterization of (p,q) -EB superchannels are also provided.

arXiv:1910.04647•Quantum•Jul 16, 2020•15 citations

Quantum incompatibility of channels with general outcome operator algebras

Yui Kuramochi

A pair of quantum channels is said to be incompatible if they cannot be realized as marginals of a single channel. This paper addresses the general structure of the incompatibility of completely positive channels with a fixed quantum input space and with general outcome operator algebras. We define a compatibility relation for such channels by identifying the composite outcome space as the maximal (projective) C*-tensor product of outcome algebras. We show theorems that characterize this compatibility relation in terms of the concatenation and conjugation of channels, generalizing the recent result for channels with quantum outcome spaces. These results are applied to the positive operator valued measures (POVMs) by identifying each of them with the corresponding quantum-classical (QC) channel. We also give a characterization of the maximality of a POVM with respect to the post-processing preorder in terms of the conjugate channel of the QC channel. We consider another definition of compatibility of normal channels by identifying the composite outcome space with the normal tensor product of the outcome von Neumann algebras. We prove that for a given normal channel, the class of normally compatible channels is upper bounded by a special class of channels called tensor conjugate channels. We show the inequivalence of the C*- and normal compatibility relations for QC channels, which originates from the possibility and impossibility of copying operations for commutative von Neumann algebras in C*- and normal compatibility relations, respectively.

arXiv:1708.00150•Journal of Mathematical Physics•Apr 1, 2018•15 citations

Characterizations of strongly entanglement breaking channels for infinite-dimensional quantum systems

Bui Ngoc Muoi, Nung-Sing Sze

Abstract Entanglement breaking (EB) channels, as completely positive and trace-preserving linear operators, sever the entanglement between the input system and other systems. In the realm of infinite-dimensional systems, a related concept known as strongly EB (SEB) channels emerges. This paper delves into characterizations of SEB channels, delineating sufficient conditions for a channel to be classified as SEB, especially with respect to the commutativity of its range. Moreover, we demonstrate that every closed self-adjoint subspace of trace-zero operators, with the trace norm, is the null space of a SEB channel.

arXiv:2410.19270•Journal of Physics A Mathematical and Theoretical•Jun 4, 2025•1 citation

Converting separable conditions to entanglement-breaking conditions

Ryo Namiki

We present a general method to derive entanglement breaking (EB) conditions for continuous-variable quantum gates. We start with an arbitrary entanglement witness and reach an EB condition. The resultant EB condition is applicable not only for quantum channels but also for general quantum operations; namely, the trace-non-increasing class of completely positive maps. We illustrate our method associated with a quantum benchmark based on the input ensemble of Gaussian distributed coherent states. We also exploit our idea for channels acting on finite-dimensional systems and present a Schmidt-number benchmark based on input states of two mutually unbiased bases and measurements of generalized Pauli operators.

arXiv:1503.07109•Physical Review A•Oct 20, 2016•1 citation

A complete characterization of eventually entanglement breaking unital quantum channels

B. V. Rajarama Bhat, Pankaj Dey, Biswarup Saha

We obtain a complete characterization of eventually entanglement breaking (EEB) unital channels in terms of some simple commutation properties of their eigenvectors. Specifically, the following properties are equivalent for a unital channel: (i) it is EEB; (ii) it is eventually positive partial transpose (PPT); (iii) it is eventually mixed twisted dephasing; and (iv) its eigenvectors corresponding to non-zero eigenvalues commute with all its peripheral eigenvectors. Similar results hold for one-parameter semigroups of unital quantum channels, where continuity forces such semigroups to become primitive. We employ a matrix integral technique inspired by a result of Watrous. We also characterize the extreme points of the convex set of unital EB channels and, using this characterization and the theory of equiangular tight frames (ETFs), identify several extreme points beyond the twisted dephasing channels.

math.OACross-listedarXiv:2609.24168•Sep 22, 2026•0 citations

Quantum Channel Conditioning and Measurement Models

Stanley Gudder

If $H_1$ and $H_2$ are finite-dimensional Hilbert spaces, a channel from $H_1$ to $H_2$ is a completely positive, linear map $\mathcal{I}$ that takes the set of states $\mathcal{S}(H_1)$ for $H_1$ to the set of states $\mathcal{S}(H_2)$ for $H_2$. Corresponding to $\mathcal{I}$ there is a unique dual map $\mathcal{I}^*$ from the set of effects $\mathcal{E}(H_2)$ for $H_2$ to the set of effects $\mathcal{E}(H_1)$ for $H_1$. We call $\mathcal{I}^*(b)$ the effect $b$ conditioned by $\mathcal{I}$ and the set $\mathcal{I}^c = \mathcal{I}^*(\mathcal{E}(H_2))$ the conditioned set of $\mathcal{I}$. We point out that $\mathcal{I}^c$ is a convex subeffect algebra of the effect algebra $\mathcal{E}(H_1)$. We extend this definition to the conditioning $\mathcal{I}^*(B)$ for an observable $B$ on $H_2$ and say that an observable $A$ is in $\mathcal{I}^c$ if $A=\mathcal{I}^*(B)$ for some observable $B$. We show that $\mathcal{I}^c$ is closed under post-processing and taking parts. We also define the conditioning of instruments by channels. These concepts are illustrated using examples of Holevo instruments and channels. We next discuss measurement models and their corresponding observables and instruments. We show that calculations can be simplified by employing Kraus and Holevo separable channels. Such channels allow one to separate the components of a tensor product.

arXiv:2403.08126•Mar 12, 2024•0 citations
A unit-preserving and completely positive linear map, or a channel, Λ:A→Ain between C*-algebras A and Ain is called entanglement-breaking (EB) if ω◦(Λ⊗idB) is a separable state for any C*-algebra B and any state ω on the injective C*-tensor product Ain⊗B. In this paper, we establish the equivalence of the following conditions for a channel Λ with a quantum input space and with a general outcome C*-algebra, generalizing the known results in finite dimensions: (i) Λ is EB; (ii) Λ has a measurement-prepare form (Holevo form); (iii) n copies of Λ are compatible for all 2 ≤ n < ∞; (iv) countably infinite copies of Λ are compatible. By using this equivalence, we also show that the set of randomization-equivalence classes of normal EB channels with a fixed input von Neumann algebra is upper and lower Dedekind-closed, i.e., the supremum or infimum of any randomization-increasing or decreasing net of EB channels is also EB. As an example, we construct an injective normal EB channel with an arbitrary outcome operator algebra M acting on an infinite-dimensional separable Hilbert space by using the coherent states and the Bargmann measure.
In this paper we initiate the study of entanglement-breaking (EB) superchannels. These are processes that always yield separable maps when acting on one side of a bipartite completely positive (CP) map. EB superchannels are a generalization of the well-known EB channels. We give several equivalent characterizations of EB supermaps and superchannels. Unlike its channel counterpart, we find that not every EB superchannel can be implemented as a measure-and-prepare superchannel. We also demonstrate that many EB superchannels can be superactivated, in the sense that they can output non-separable channels when wired in series.We then introduce the notions of CPTP- and CP-complete images of a superchannel, which capture deterministic and probabilistic channel convertibility, respectively. This allows us to characterize the power of EB superchannels for generating CP maps in different scenarios, and it reveals some fundamental differences between channels and superchannels. Finally, we relax the definition of separable channels to include (p,q) -non-entangling channels, which are bipartite channels that cannot generate entanglement using p - and q -dimensional ancillary systems. By introducing and investigating k -EB maps, we construct examples of (p,q) -EB superchannels that are not fully entanglement breaking. Partial results on the characterization of (p,q) -EB superchannels are also provided.
A pair of quantum channels is said to be incompatible if they cannot be realized as marginals of a single channel. This paper addresses the general structure of the incompatibility of completely positive channels with a fixed quantum input space and with general outcome operator algebras. We define a compatibility relation for such channels by identifying the composite outcome space as the maximal (projective) C*-tensor product of outcome algebras. We show theorems that characterize this compatibility relation in terms of the concatenation and conjugation of channels, generalizing the recent result for channels with quantum outcome spaces. These results are applied to the positive operator valued measures (POVMs) by identifying each of them with the corresponding quantum-classical (QC) channel. We also give a characterization of the maximality of a POVM with respect to the post-processing preorder in terms of the conjugate channel of the QC channel. We consider another definition of compatibility of normal channels by identifying the composite outcome space with the normal tensor product of the outcome von Neumann algebras. We prove that for a given normal channel, the class of normally compatible channels is upper bounded by a special class of channels called tensor conjugate channels. We show the inequivalence of the C*- and normal compatibility relations for QC channels, which originates from the possibility and impossibility of copying operations for commutative von Neumann algebras in C*- and normal compatibility relations, respectively.
Abstract Entanglement breaking (EB) channels, as completely positive and trace-preserving linear operators, sever the entanglement between the input system and other systems. In the realm of infinite-dimensional systems, a related concept known as strongly EB (SEB) channels emerges. This paper delves into characterizations of SEB channels, delineating sufficient conditions for a channel to be classified as SEB, especially with respect to the commutativity of its range. Moreover, we demonstrate that every closed self-adjoint subspace of trace-zero operators, with the trace norm, is the null space of a SEB channel.
We present a general method to derive entanglement breaking (EB) conditions for continuous-variable quantum gates. We start with an arbitrary entanglement witness and reach an EB condition. The resultant EB condition is applicable not only for quantum channels but also for general quantum operations; namely, the trace-non-increasing class of completely positive maps. We illustrate our method associated with a quantum benchmark based on the input ensemble of Gaussian distributed coherent states. We also exploit our idea for channels acting on finite-dimensional systems and present a Schmidt-number benchmark based on input states of two mutually unbiased bases and measurements of generalized Pauli operators.
We obtain a complete characterization of eventually entanglement breaking (EEB) unital channels in terms of some simple commutation properties of their eigenvectors. Specifically, the following properties are equivalent for a unital channel: (i) it is EEB; (ii) it is eventually positive partial transpose (PPT); (iii) it is eventually mixed twisted dephasing; and (iv) its eigenvectors corresponding to non-zero eigenvalues commute with all its peripheral eigenvectors. Similar results hold for one-parameter semigroups of unital quantum channels, where continuity forces such semigroups to become primitive. We employ a matrix integral technique inspired by a result of Watrous. We also characterize the extreme points of the convex set of unital EB channels and, using this characterization and the theory of equiangular tight frames (ETFs), identify several extreme points beyond the twisted dephasing channels.
If H1H_1H1​ and H2H_2H2​ are finite-dimensional Hilbert spaces, a channel from H1H_1H1​ to H2H_2H2​ is a completely positive, linear map I\mathcal{I}I that takes the set of states S(H1)\mathcal{S}(H_1)S(H1​) for H1H_1H1​ to the set of states S(H2)\mathcal{S}(H_2)S(H2​) for H2H_2H2​. Corresponding to I\mathcal{I}I there is a unique dual map I∗\mathcal{I}^*I∗ from the set of effects E(H2)\mathcal{E}(H_2)E(H2​) for H2H_2H2​ to the set of effects E(H1)\mathcal{E}(H_1)E(H1​) for H1H_1H1​. We call I∗(b)\mathcal{I}^*(b)I∗(b) the effect bbb conditioned by I\mathcal{I}I and the set Ic=I∗(E(H2))\mathcal{I}^c = \mathcal{I}^*(\mathcal{E}(H_2))Ic=I∗(E(H2​)) the conditioned set of I\mathcal{I}I. We point out that Ic\mathcal{I}^cIc is a convex subeffect algebra of the effect algebra E(H1)\mathcal{E}(H_1)E(H1​). We extend this definition to the conditioning I∗(B)\mathcal{I}^*(B)I∗(B) for an observable BBB on H2H_2H2​ and say that an observable AAA is in Ic\mathcal{I}^cIc if A=I∗(B)A=\mathcal{I}^*(B)A=I∗(B) for some observable BBB. We show that Ic\mathcal{I}^cIc is closed under post-processing and taking parts. We also define the conditioning of instruments by channels. These concepts are illustrated using examples of Holevo instruments and channels. We next discuss measurement models and their corresponding observables and instruments. We show that calculations can be simplified by employing Kraus and Holevo separable channels. Such channels allow one to separate the components of a tensor product.