Manuscript Oai272-A@1 · Oai272-A.tex · definition · a40828a0

Definition: Represented states

Stage 0: conventions and the operational package › The represented class · lines 311–326

Oai272-A@1#def:C, Oai272-A@1#eq:C

A density operator $R$ on $A \otimes B$ belongs to $C$ if

R = (L \otimes M) (∣ χ ⟩ ⟨ χ ∣),

where $χ$ is a finite bipartite vector and

L, L T_{r}, M, M T_{s}

are CP, for the respective input dimensions $r, s$ . Only $R$ is normalized. Neither representing map is required to preserve trace, and $χ$ need not have unit norm.

Displayed formulas in this passage

Oai272-A@1#eq:C · line 315
$R = (L \otimes M) (∣ χ ⟩ ⟨ χ ∣),$
unlabeled · line 320
$L, L T_{r}, M, M T_{s}$

Nearby in this section

section: The represented class
lemma: Lemma: Elementary PPT stability and tensor closure
section: The represented class