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:2607.13251

Completely Positive Matrix Products

Eric Evert, Michael T. Jury, Scott McCullough

Published Jul 14, 2026• 0 citations
arXivHTMLPDF

Abstract

Building on recent works that investigate positivity preserving matrix products, we {examine} the class of \JCP (\jcp) matrix products. A bilinear map on the Cartesian product of the space of n by n matrices with itself into m by m matrices is a \jcp matrix product if the natural linear map it induces on the tensor product of the space of n by n matrices with itself into m by m matrices is completely positive. In particular, a matrix product is \jcp if and only if its naturally associated Choi matrix is positive semidefinite. Similarly, a matrix product is \jcp if and only if it admits a Choi-Kraus representation. We use the Choi-Kraus representation of \jcp matrix products to study various basic properties, including positivity lower bounds, commutativity, units, causality, and separability. As examples, we apply our results to the Schur (Hadamard) product and the convolution product.

Related papers

Choi matrices revisited

Seung-Hyeok Kye

A linear map between matrix algebras corresponds to the Choi matrix in the tensor product of two matrix algebras whose definition depends on matrix units. Paulsen and Shultz [J. Math. Phys. 54, 072201 (2013)] considered the question if one can replace matrix units by another basis of matrix algebras in the definition of the Choi matrix to retain the correspondence between the complete positivity of maps and the positivity of Choi matrices and gave a sufficient condition on basis under which this is true. In this note, we provide necessary and sufficient conditions to see that the Paulsen–Shultz condition is also necessary.

arXiv:2206.09324•Journal of Mathematical Physics•Sep 1, 2022•5 citations

A factorization property of positive maps on $C^*$-algebras

B. V. Rajarama Bhat, Hiroyuki Osaka

The purpose of this short note is to clarify and present a general version of an interesting observation by Piani and Mora (Physic. Rev. A 75, 012305 (2007)), linking complete positivity of linear maps on matrix algebras to decomposability of their ampliations. Let $A_i$, $C_i$ be unital C*-algebras and let $α_i$ be positive linear maps from $A_i$ to $C_i,$ $i=1,2$. We obtain conditions under which any positive map $β$ from the minimal C*-tensor product $A_1 \otimes_{min} A_2$ to $C_1 \otimes_{min} C_2$, such that $ α_1 \otimes α_2 \geq β$, factorizes as $β= γ\otimes α_2$ for some positive map $γ$. In particular we show that when $α_i \colon A_i \rightarrow B(\mathcal H_i)$ are completely positive (CP) maps for some Hilbert spaces $\mathcal H_i$ $(i=1,2)$, and $α_2$ is a pure CP map and $β$ is a CP map so that $α_1 \otimes α_2 - β$ is also CP, then $β= γ\otimes α_2$ for some CP map $γ$. We show that a similar result holds in the context of positive linear maps when $A_2 = C_2 = B(\mathcal H)$ and $α_2 = id$. As an application we extend \cite[IX Theorem]{PM}( revisited recently by Huber et al in \cite{HLLM}) to show that for any linear map $τ$ from a unital C*-algebra $A$ to a C*-algebra $C$, if $τ\otimes id_k$ is decomposable for some $k \geq 2$, where $id_k$ is the identity map on the algebra $M_k(\mathbb {C} )$ of $k\times k$ matrices, then $τ$ is completely positive.

arXiv:1912.02381•Dec 5, 2019•2 citations

Choi matrices revisited. III

Kyung Hoon Han, Seung-Hyeok Kye

We look for all linear isomorphisms from the mapping spaces onto the tensor products of matrices which send $k$-superpositive maps onto unnormalized bi-partite states of Schmidt numbers less than or equal to $k$. They also send $k$-positive maps onto $k$-block-positive matrices. We also look for all the bilinear pairings between the mapping spaces and tensor products of matrices which retain the usual duality between $k$-positivity and Schmidt numbers $\le k$. They also retain the duality between $k$-superpositivity and $k$-block-positivity.

arXiv:2410.13120•Oct 17, 2024•0 citations

Diagonal unitary and orthogonal symmetries in quantum theory

Satvik Singh, Ion Nechita

We analyze bipartite matrices and linear maps between matrix algebras, which are respectively, invariant and covariant, under the diagonal unitary and orthogonal groups' actions. By presenting an expansive list of examples from the literature, which includes notable entries like the Diagonal Symmetric states and the Choi-type maps, we show that this class of matrices (and maps) encompasses a wide variety of scenarios, thereby unifying their study. We examine their linear algebraic structure and investigate different notions of positivity through their convex conic manifestations. In particular, we generalize the well-known cone of completely positive matrices to that of triplewise completely positive matrices and connect it to the separability of the relevant invariant states (or the entanglement breaking property of the corresponding quantum channels). For linear maps, we provide explicit characterizations of the stated covariance in terms of their Kraus, Stinespring, and Choi representations, and systematically analyze the usual properties of positivity, decomposability, complete positivity, and the like. We also describe the invariant subspaces of these maps and use their structure to provide necessary and sufficient conditions for separability of the associated invariant bipartite states.

arXiv:2010.07898•Quantum•Aug 9, 2021•27 citations

Characterization of Maps on Positive Semidefinite Choi Matrices

C. A. Winda, Benard Okelo, Omolo Ongati

Several investigations have been done on positive maps on their algebraic structures with more emphasis on completely positive maps. In this study, we have described the structure of the Choi matrices for 2-positive maps on positive semidefinite matrices and the conditions for complete positivity of positive linear maps from n to n+1. The motivation behind these objectives is work done by Majewski and Marciniak on the structure of positive maps ф from Mn to Mn + 1(2 ≥ 2) between matrix algebras.

MathLAB Journal•Aug 31, 2020•0 citations

A factorization property of positive maps on C*-algebras

B. V. Rajarama Bhat, Hiroyuki Osaka

The purpose of this short paper is to clarify and present a general version of an interesting observation by [Piani and Mora, Phys. Rev. A 75 (2007) 012305], linking complete positivity of linear maps on matrix algebras to decomposability of their ampliations. Let [Formula: see text], [Formula: see text] be unital C*-algebras and let [Formula: see text] be positive linear maps from [Formula: see text] to [Formula: see text] [Formula: see text]. We obtain conditions under which any positive map [Formula: see text] from the minimal C*-tensor product [Formula: see text] to [Formula: see text], such that [Formula: see text], factorizes as [Formula: see text] for some positive map [Formula: see text]. In particular, we show that when [Formula: see text] are completely positive (CP) maps for some Hilbert spaces [Formula: see text] [Formula: see text], and [Formula: see text] is a pure CP map and [Formula: see text] is a CP map so that [Formula: see text] is also CP, then [Formula: see text] for some CP map [Formula: see text]. We show that a similar result holds in the context of positive linear maps when [Formula: see text] and [Formula: see text]. As an application, we extend IX Theorem of Ref. 4 (revisited recently by [Huber et al., Phys. Rev. Lett. 121 (2018) 200503]) to show that for any linear map [Formula: see text] from a unital C*-algebra [Formula: see text] to a C*-algebra [Formula: see text], if [Formula: see text] is decomposable for some [Formula: see text], where [Formula: see text] is the identity map on the algebra [Formula: see text] of [Formula: see text] matrices, then [Formula: see text] is CP.

International Journal of Quantum Information•Aug 1, 2020•3 citations
Building on recent works that investigate positivity preserving matrix products, we {examine} the class of \JCP (\jcp) matrix products. A bilinear map on the Cartesian product of the space of n by n matrices with itself into m by m matrices is a \jcp matrix product if the natural linear map it induces on the tensor product of the space of n by n matrices with itself into m by m matrices is completely positive. In particular, a matrix product is \jcp if and only if its naturally associated Choi matrix is positive semidefinite. Similarly, a matrix product is \jcp if and only if it admits a Choi-Kraus representation. We use the Choi-Kraus representation of \jcp matrix products to study various basic properties, including positivity lower bounds, commutativity, units, causality, and separability. As examples, we apply our results to the Schur (Hadamard) product and the convolution product.
A linear map between matrix algebras corresponds to the Choi matrix in the tensor product of two matrix algebras whose definition depends on matrix units. Paulsen and Shultz [J. Math. Phys. 54, 072201 (2013)] considered the question if one can replace matrix units by another basis of matrix algebras in the definition of the Choi matrix to retain the correspondence between the complete positivity of maps and the positivity of Choi matrices and gave a sufficient condition on basis under which this is true. In this note, we provide necessary and sufficient conditions to see that the Paulsen–Shultz condition is also necessary.
A factorization property of positive maps on C∗C^*C∗-algebras
The purpose of this short note is to clarify and present a general version of an interesting observation by Piani and Mora (Physic. Rev. A 75, 012305 (2007)), linking complete positivity of linear maps on matrix algebras to decomposability of their ampliations. Let AiA_iAi​, CiC_iCi​ be unital C*-algebras and let αiα_iαi​ be positive linear maps from AiA_iAi​ to Ci,C_i,Ci​, i=1,2i=1,2i=1,2. We obtain conditions under which any positive map βββ from the minimal C*-tensor product A1⊗minA2A_1 \otimes_{min} A_2A1​⊗min​A2​ to C1⊗minC2C_1 \otimes_{min} C_2C1​⊗min​C2​, such that $ α_1 \otimes α_2 \geq β$, factorizes as β=γ⊗α2β= γ\otimes α_2β=γ⊗α2​ for some positive map γγγ. In particular we show that when αi ⁣:Ai→B(Hi)α_i \colon A_i \rightarrow B(\mathcal H_i)αi​:Ai​→B(Hi​) are completely positive (CP) maps for some Hilbert spaces Hi\mathcal H_iHi​ (i=1,2)(i=1,2)(i=1,2), and α2α_2α2​ is a pure CP map and βββ is a CP map so that α1⊗α2−βα_1 \otimes α_2 - βα1​⊗α2​−β is also CP, then β=γ⊗α2β= γ\otimes α_2β=γ⊗α2​ for some CP map γγγ. We show that a similar result holds in the context of positive linear maps when A2=C2=B(H)A_2 = C_2 = B(\mathcal H)A2​=C2​=B(H) and α2=idα_2 = idα2​=id. As an application we extend \cite[IX Theorem]{PM}( revisited recently by Huber et al in \cite{HLLM}) to show that for any linear map τττ from a unital C*-algebra AAA to a C*-algebra CCC, if τ⊗idkτ\otimes id_kτ⊗idk​ is decomposable for some k≥2k \geq 2k≥2, where idkid_kidk​ is the identity map on the algebra Mk(C)M_k(\mathbb {C} )Mk​(C) of k×kk\times kk×k matrices, then τττ is completely positive.
We look for all linear isomorphisms from the mapping spaces onto the tensor products of matrices which send kkk-superpositive maps onto unnormalized bi-partite states of Schmidt numbers less than or equal to kkk. They also send kkk-positive maps onto kkk-block-positive matrices. We also look for all the bilinear pairings between the mapping spaces and tensor products of matrices which retain the usual duality between kkk-positivity and Schmidt numbers ≤k\le k≤k. They also retain the duality between kkk-superpositivity and kkk-block-positivity.
We analyze bipartite matrices and linear maps between matrix algebras, which are respectively, invariant and covariant, under the diagonal unitary and orthogonal groups' actions. By presenting an expansive list of examples from the literature, which includes notable entries like the Diagonal Symmetric states and the Choi-type maps, we show that this class of matrices (and maps) encompasses a wide variety of scenarios, thereby unifying their study. We examine their linear algebraic structure and investigate different notions of positivity through their convex conic manifestations. In particular, we generalize the well-known cone of completely positive matrices to that of triplewise completely positive matrices and connect it to the separability of the relevant invariant states (or the entanglement breaking property of the corresponding quantum channels). For linear maps, we provide explicit characterizations of the stated covariance in terms of their Kraus, Stinespring, and Choi representations, and systematically analyze the usual properties of positivity, decomposability, complete positivity, and the like. We also describe the invariant subspaces of these maps and use their structure to provide necessary and sufficient conditions for separability of the associated invariant bipartite states.
Several investigations have been done on positive maps on their algebraic structures with more emphasis on completely positive maps. In this study, we have described the structure of the Choi matrices for 2-positive maps on positive semidefinite matrices and the conditions for complete positivity of positive linear maps from n to n+1. The motivation behind these objectives is work done by Majewski and Marciniak on the structure of positive maps ф from Mn to Mn + 1(2 ≥ 2) between matrix algebras.
The purpose of this short paper is to clarify and present a general version of an interesting observation by [Piani and Mora, Phys. Rev. A 75 (2007) 012305], linking complete positivity of linear maps on matrix algebras to decomposability of their ampliations. Let [Formula: see text], [Formula: see text] be unital C*-algebras and let [Formula: see text] be positive linear maps from [Formula: see text] to [Formula: see text] [Formula: see text]. We obtain conditions under which any positive map [Formula: see text] from the minimal C*-tensor product [Formula: see text] to [Formula: see text], such that [Formula: see text], factorizes as [Formula: see text] for some positive map [Formula: see text]. In particular, we show that when [Formula: see text] are completely positive (CP) maps for some Hilbert spaces [Formula: see text] [Formula: see text], and [Formula: see text] is a pure CP map and [Formula: see text] is a CP map so that [Formula: see text] is also CP, then [Formula: see text] for some CP map [Formula: see text]. We show that a similar result holds in the context of positive linear maps when [Formula: see text] and [Formula: see text]. As an application, we extend IX Theorem of Ref. 4 (revisited recently by [Huber et al., Phys. Rev. Lett. 121 (2018) 200503]) to show that for any linear map [Formula: see text] from a unital C*-algebra [Formula: see text] to a C*-algebra [Formula: see text], if [Formula: see text] is decomposable for some [Formula: see text], where [Formula: see text] is the identity map on the algebra [Formula: see text] of [Formula: see text] matrices, then [Formula: see text] is CP.