# Questions tagged [complete-positivity]

The complete-positivity tag has no usage guidance.

17
questions

**3**

votes

**0**answers

145 views

### Completely positive, unital maps acting on unitary operators [solved]

Call a completely positive, irreducible, unital map $E$ on the operators on a finite-dimensional Hilbert-space primitive if there is only a single eigenvalue with modulus 1 (all others have modulus &...

**2**

votes

**1**answer

90 views

### Complete positivity with infinite dimensional auxillary spaces

The usual definition of complete positivity (e.g. Stinespring (1955), or Holevo's Statistical Structure of Quantum Theory) is that a linear map between (sub $C^*$ algebras of) the bounded operators on ...

**8**

votes

**1**answer

240 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 ...

**3**

votes

**1**answer

175 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

**1**answer

119 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

**1**answer

177 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

**1**answer

247 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 $\...

**3**

votes

**1**answer

159 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

**0**answers

221 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

**1**answer

99 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

**1**answer

303 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

**1**answer

451 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

**1**answer

205 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

**0**answers

259 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

**1**answer

192 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 ...

**15**

votes

**7**answers

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

**2**answers

916 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$. ...