Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [complete-positivity]

The tag has no usage guidance.

8
votes
1answer
178 views

Maps which are both completely positive and positive

Definition:A linear map $f:\mathbb C^n\to \mathbb C^n$ is called positive if $\langle fa,a\rangle\ge0$ for all $a\in \mathbb C^n$. Equivalently, $f\in M_{n}(\mathbb C)$ is positive if it can be ...
0
votes
0answers
12 views

Every singular DNN realization of $G$ is completely positive implies

DNN denotes doubly non-negative matrices(both entry wise non-negative and is positive semi-definite). Let $G$ be a Graph. The following two are equivalent: (a) Every non-singular DNN realization of $...
3
votes
1answer
96 views

Reference on completely positive maps which are isometries

Let $\Phi:\mathcal{L}(H)\rightarrow \mathcal{L}(K)$ be a completely positive map sending positive self-adoint operators on a finite-dimensional Hilbert space $H$ to positive self-adoint operators on a ...
3
votes
1answer
92 views

Completely Positive Maps and their dual in Separable Hilbert Space

Consider a separable Hilbert space $\mathcal{H}$, we can first define $T(\mathcal{H})$ the trace class of $\mathcal{H}$, then $D(\mathcal{H})$ to denote the set of positive operator with trace less ...
1
vote
1answer
168 views

Bounded operators on the Stinespring representation space

Let $A$ be a $C^*$-algebra and let $\phi:A\to B(H)$ be a completely positive map. The Stinespring representation theorem constructs a representation of $A$ on a Hilbert space $K$, which is constructed ...
1
vote
1answer
193 views

Extensions of completely positive maps

It is known that for a completely bounded map $\psi:A\to B(H)$ there exist completely positive maps $\phi_1,\phi_2:A\to B(H)$ such that $$\Vert \phi_i\Vert_{cb}=\Vert \psi\Vert_{cb},$$ and the map $\...
2
votes
1answer
136 views

Completely positive maps with commuting ranges can be extended to maximal tensor product

I'm trying to do the following exercise from Brown and Ozawa's book. Exercise $3.5.1.$ Let $\varphi: A \to B(H)$ and $\psi: B \to B(H)$ be c.p. maps with commuting ranges. Show that there exists ...
4
votes
0answers
210 views

Does the Cauchy–Schwarz inequality imply 2-positivity?

Recall the following generalisation of Cauchy–Schwarz. Theorem. Let $f\colon \mathscr{A} \to \mathscr{B}$ be a linear 2-positive map between C$^*$-algebras. Then for all $a,b \in \mathscr{A}$ we ...
2
votes
1answer
92 views

Choi type matrix condition for completely positivity on a certain operator system spanned by some unitaries

Let $B_1$ and $B_2$ be $C^*$-algebras. Let $U_1, \ldots, U_n$ be some unitaries in $B_1.$ We consider the operator system $S$ spanned by $U_iU_j^*.$ Let $\phi: S \rightarrow B_2.$ Given that the ...
5
votes
1answer
240 views

Stinespring's dilation without $C^{\ast}$-algebras

Does Stinespring's dilation theorem hold if the algebra of interest is a topological $\ast$-algebra instead of the usual $C^{\ast}$-algebra? I will now state the version of Stinespring's dilation ...
2
votes
1answer
402 views

When are completely positive maps monic/epic?

In the category of C*-algebras and $*$-homomorphisms, a morphism is monic precisely when it is injective, and epic precisely when it is surjective (see Mono- and epi-morphisms for C*-algebras). Is ...
2
votes
1answer
193 views

Arveson index and curvature

Can someone explain me what is the intuitive idea behind Arveson Index and curvature of $E_0$ semigroups. I was reading the standard paper of Arveson, but is lost and yet to get intuition about it. An ...
4
votes
0answers
258 views

Extensions of completely positive mappings

I would like to ask the following two questions. Let $1_{\mathcal{H}}\in \mathcal{A}\subset\mathcal{B}\subset\overline{\mathcal{A}}^{SOT}\subset\mathbb{B}(\mathcal{H})$ be a sequence of $C^{\ast}$-...
2
votes
1answer
190 views

Positive definite functions on G from Hilbert space vectors?

Let $G$ be a countable discrete group. Given a vector $\xi \in l^{2}(G)$, is there any way to naturally construct a positive definite function on $G$ using $\xi$? This question is rather vague and ...
14
votes
7answers
2k views

Positive but not completely positive?

The only example I know of a positive map which is not completely positive is the transpose map on $M_n(\mathbb{C})$. Of course, one can come up with minor perturbations of this (compose it with, or ...
6
votes
2answers
843 views

When is this map completely positive?

Consider the complex $n$-by-$n$ matrices $M_n$. Suppose that $A_i$, for $i=1,\ldots,n^2$, satisfy $\mathrm{Tr}(A_i^* A_j)=\delta_{ij}$, so that together they form an orthonormal basis for $M_n$. ...