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:1009.5809 · Pacific Journal of Mathematics

A completely positive map associated with a positive map

Erling Størmer

Published Oct 29, 2011• 6 citations
arXivHTMLPDF

Abstract

STØRMERWe show that each positive map from B(K ) to B(H) is a scalar multiple of a map of the form Trψ with ψ completely positive.This is used to give necessary and sufficient conditions for maps to be Ꮿ-positive for a large class of mapping cones; in particular, we apply the results to k-positive maps.P(B(K ), Ꮿ) = {a ∈ B(K ⊗ H ) : ι ⊗ α(a) ≥ 0 for all α ∈ Ꮿ}, MSC2010: 46L60, 46L99.

DOI
10.2140/pjm.2011.252.487

Related papers

Mapping cones of positive maps

Erling Størmer

We study mapping cones of positive maps of $B(H)$ into itself, i.e., cones which are closed under composition with completely positive maps. As applications we obtain characterizations of linear functionals with strong positivity properties with respect to so-called symmetric mapping cones, with special emphasis on separable and PPT states.

MATHEMATICA SCANDINAVICA•Jun 1, 2011•13 citations

Mapping cones of positive maps

Erling Størmer

This is a revised form of the previous paper in which we study cones of positive maps of B(H) into itself. We add the result that the dual cone of a symmetric mapping cone is itself a symmetric mapping cone. As applications we obtain characterizations of linear functionals with strong positivity conditions with respect to a class of mapping cones called symmetric mapping cones. Applications are given to separable and PPT-states.

arXiv:0906.0472•Jun 2, 2009•1 citation

Duality of cones of positive maps

Erling Størmer

We study the so-called K-positive linear maps from B(L) into B(H) for finite dimensional Hilbert spaces L and H and give characterizations of the dual cone of the cone of K-positive maps. Applications are given to decomposable maps and PPT-states.

arXiv:0810.4253•Oct 23, 2008•21 citations

A Family of Completely PPT Maps

Kennett L. Dela Rosa, Iana Angela C. Fajardo, Cedie B. Reyes

Given $α\in \mathbb R$ and $ B_1,\ldots,B_q\in M_{m,n}$, consider the map \[Φ^{\pm}_{α,\mathfrak{B}}(X)=α\mbox{tr}(X) I_m\pm \sum_{s=1}^qB_sXB_s^*\ \mbox{for all}\ X\in M_n.\] In this study, necessary and sufficient conditions on $α$ and $B_1,\ldots,B_q$ are given that guarantee $Φ_{α,\mathfrak{B}}^\pm$ is $k$-positive, $k$-copositive, and $k$-PPT, respectively. As application, known results about the map $α\mbox{tr}(X)I_n\pm X$ are recovered. Furthermore, singular value inequalities associated with these positivity constraints are considered.

arXiv:2609.07260•Sep 7, 2026•0 citations

Tensor powers of 2-positive maps

Erling Størmer

By studying tensor powers ϕ⊗n of a positive map ϕ of B(K) into B(H) for finite dimensional Hilbert spaces K and H, we give conditions for a map ϕ, such that ϕ⊗n 2-positive for all n to be nondistillable and completely positive.

Journal of Mathematical Physics•Oct 1, 2010•4 citations

Complete Positivity of Two Class of Maps Involving Depolarizing and Transpose-Depolarizing Channels

Xiu-Hong Sun, Yuan Li

In this note, we mainly study the necessary and sufficient conditions for the complete positivity of generalizations of depolarizing and transpose-depolarizing channels. Specifically, we define [Formula: see text] and [Formula: see text], where [Formula: see text] (the set of all bounded linear operators on the finite-dimensional Hilbert space [Formula: see text] is given and [Formula: see text] is the transpose of [Formula: see text] in a fixed orthonormal basis of [Formula: see text] First, we show that [Formula: see text] is completely positive if and only if [Formula: see text] is a positive map, which is equivalent to [Formula: see text] Moreover, [Formula: see text] is a completely positive map if and only if [Formula: see text] and [Formula: see text] At last, we also get that [Formula: see text] is a completely positive map if and only if [Formula: see text] with [Formula: see text] for all [Formula: see text] where [Formula: see text] are eigenvalues of [Formula: see text].

Open Systems & Information Dynamics•Jun 1, 2021•2 citations
STØRMERWe show that each positive map from B(K ) to B(H) is a scalar multiple of a map of the form Trψ with ψ completely positive.This is used to give necessary and sufficient conditions for maps to be Ꮿ-positive for a large class of mapping cones; in particular, we apply the results to k-positive maps.P(B(K ), Ꮿ) = {a ∈ B(K ⊗ H ) : ι ⊗ α(a) ≥ 0 for all α ∈ Ꮿ}, MSC2010: 46L60, 46L99.
We study mapping cones of positive maps of B(H)B(H)B(H) into itself, i.e., cones which are closed under composition with completely positive maps. As applications we obtain characterizations of linear functionals with strong positivity properties with respect to so-called symmetric mapping cones, with special emphasis on separable and PPT states.
Given α∈Rα\in \mathbb Rα∈R and $ B_1,\ldots,B_q\in M_{m,n}$, consider the map \[Φ^{\pm}_{α,\mathfrak{B}}(X)=α\mbox{tr}(X) I_m\pm \sum_{s=1}^qB_sXB_s^*\ \mbox{for all}\ X\in M_n.\] In this study, necessary and sufficient conditions on ααα and B1,…,BqB_1,\ldots,B_qB1​,…,Bq​ are given that guarantee Φα,B±Φ_{α,\mathfrak{B}}^\pmΦα,B±​ is kkk-positive, kkk-copositive, and kkk-PPT, respectively. As application, known results about the map $α\mbox{tr}(X)I_n\pm X$ are recovered. Furthermore, singular value inequalities associated with these positivity constraints are considered.
In this note, we mainly study the necessary and sufficient conditions for the complete positivity of generalizations of depolarizing and transpose-depolarizing channels. Specifically, we define [Formula: see text] and [Formula: see text], where [Formula: see text] (the set of all bounded linear operators on the finite-dimensional Hilbert space [Formula: see text] is given and [Formula: see text] is the transpose of [Formula: see text] in a fixed orthonormal basis of [Formula: see text] First, we show that [Formula: see text] is completely positive if and only if [Formula: see text] is a positive map, which is equivalent to [Formula: see text] Moreover, [Formula: see text] is a completely positive map if and only if [Formula: see text] and [Formula: see text] At last, we also get that [Formula: see text] is a completely positive map if and only if [Formula: see text] with [Formula: see text] for all [Formula: see text] where [Formula: see text] are eigenvalues of [Formula: see text].