REVIEW
Relations Between Quantum Maps and Quantum States
Quantum Physics · Submitted 28 Feb 2006 · 11 references
Pith's verdict: Nice construction and useful examples, but the headline PPT/NPT classification is false as stated because it ignores the dependence on the input state ρ.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Every completely positive normalized map between matrix algebras corresponds through a quantum conditional probability operator to a two-party compound state whose entanglement type is read off from the map's positivity level.
The reading
What carries the argument
The central object is the quantum conditional probability operator (QCPO): a positive operator $\pi$ on $\mathbb{C}^n\otimes\mathbb{C}^n$ satisfying $\operatorname{tr}_2\pi=I_n$. The paper restricts to QCPOs of the special form $\pi=\sum_{i,j}\varphi(e_{ij})\otimes e_{ij}$ with $\varphi$ a completely positive normalized map; this form makes the induced map on states linear and gives the explicit compound state $\omega=(\rho^{1/2}\otimes I)\pi(\rho^{1/2}\otimes I)$. The classification is carried by the convex cones $V_s$ and $\bar V_s=(\mathrm{id}\otimes T)V_s$, whose nested inclusions $V_1\subset\cdots\subset V_n$ correspond to $s$-positive, $s$-copositive, and mixed-sum positivity of maps, and whose intersections mark separable, PPT, and higher-order entanglement classes.
Extended reading notes
Core claim
The central claim is that, for a fixed basis with $\pi=\sum_{i,j}\varphi(e_{ij})\otimes e_{ij}$ and a completely positive normalized map $\varphi$, the states $\omega=\sum_{i,j}\rho^{1/2}\varphi(e_{ij})\rho^{1/2}\otimes e_{ij}$ have marginals $\operatorname{tr}_2\omega=\rho$ and $\operatorname{tr}_1\omega=(T\circ\varphi^*)(\rho)$. The classification runs through the cones $V_s$ and $\bar V_s$: the state $\omega$ is PPT precisely when $\varphi$ is $(r,s)$-completely positive, and NPT precisely when $\varphi$ is $r$-completely positive and $k$-copositive with $k<n$, provided $\rho$ has full rank. The paper proves this by identifying the general QCPO with a sum over completely positive maps and by giving explicit families of maps, including normalized completely positive and completely copositive maps and maps that are completely positive and $k$-copositive, whose associated states are respectively PPT and NPT.
Load-bearing premise
The dictionary assumes every quantum conditional probability operator has the special form built from a completely positive normalized map; for a generic QCPO the induced state transformation is nonlinear, so the channel interpretation and the PPT/NPT classification need not follow, and the NPT direction also assumes the initial state has full rank.
Editorial extensions
If this is right
- Every normalized completely positive map is realized as the channel induced by a compound state with prescribed first marginal, giving an explicit channel-state dictionary in finite dimensions.
- The PPT property of the compound state is equivalent to the map being $(r,s)$-completely positive, so constructing such maps constructs PPT states and vice versa.
- The NPT property follows when a completely positive map is also $k$-copositive for some $k<n$ and the input state has full rank; the paper's examples show this route produces NPT states from maps that are $k$-positive but not $(k+1)$-positive.
- The cone inclusions give a graded family of positivity classes, so varying the parameters $r,s$ interpolates between separable, PPT, and higher-entanglement states within one construction.
Reading between the lines
- The paper leaves implicit that the $(r,s)$ labels depend on the chosen basis through the transpose in the second marginal; a testable extension is whether local unitary changes of basis preserve the classification or merely conjugate it.
- An unstated consequence is a numerical recipe: new PPT and NPT states can be generated by searching the parameter space of normalized completely positive maps whose Choi-like tensor lies in $V_r\cap\bar V_s$, without ever writing the compound state explicitly.
- Because the NPT corollary assumes full-rank $\rho$, the fate of rank-deficient input states is an open edge case; checking whether low-rank states can be NPT within this construction is a direct follow-up.
- The construction also suggests composing channels should correspond to a contraction of the associated compound states, which would extend the dictionary from single maps to sequences of correlated operations.
Original abstract
The relation between completely positive maps and compound states is investigated in terms of the notion of quantum conditional probability.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
The relation between completely positive maps and compound states is investigated in terms of the notion of quantum conditional probability.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | The relation between completely positive maps and compound states is investigated in terms of the notion of quantum conditional probability. | contribution 0.97 | 0.73 | 0.17 | asserted 0.88 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
4 arXiv papers cite this in 4 sentences
Papers citing it · 2 sentences without a confident label
Cites it as background 2 papers
-
We also note that a state over time that is positive appears in the marginal state problem, and it is sometimes called a compound state [ref] .
From time-reversal symmetry to quantum Bayes' rules · Main definitions · 0.89
-
This operator was previously defined and studied in [ref] .
Entropy accumulation · Notation · 0.82
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.