Talk:Quantum operation

Latest comment: 6 years ago by 143.215.148.197 in topic Kraus operators

Article needs rewriting

edit

I've added a cleanup-rewrite template, since the article has severe problems and probably needs a complete rewrite. It's incomprehensible, unclear and written in a verbose, non-encylopedic style, mixing formalism with "general overview" and out of place remarks (e.g. sentences about quantum logic). It lacks clarity over all. --Neworder1 (talk) 19:23, 8 July 2009 (UTC)Reply

I think I fixed up all of the issues; it should be pretty straight-forward and comprehensible now. The quantum-measurement section still has, cough, cough, "difficulties" in it, that need fixing, but its passable. User:Linas (talk) 18:10, 25 November 2013 (UTC)Reply

Kraus operators

edit

In the theorem about the existence of Kraus representation, shouldn't $B_i$ be from $H$ to $G$? — Preceding unsigned comment added by 143.215.148.197 (talk) 15:15, 9 March 2018 (UTC)Reply


The theorem relating the Kraus operators is unclear. In the finite dimensional case, the corresponding result usually involves undoing the Vec or Row operation on the Kraus matrices. The theorem in the article probably means to say something similar. Can whoever wrote it provide a reference? Mct mht 11:13, 12 April 2006 (UTC)Reply

I thought I had convinced myself it was true in general. But I changed it back to the finite dimensional case. --CSTAR 14:32, 12 April 2006 (UTC)Reply


Another question, regarding the following sentence in the article:

For the general case, S is replaced by a trace class operator and {Bi} by a sequence of bounded operators.

Can the person who added it outline an argument? Choi's finite dim argument seems to not work here, unless the range of the CP map is a finite dim C* algebra. If the Choi matrix M has Cholesky factorization  , each column of B then corresponds to a Kraus operator via the Vec operation. This doesn't make sense in general. Next one might try to prove it from Stinespring's theorem. So if   is a Stinespring representation of Φ, which takes value in B(H). Assuming both the domain and range of Φ are separable, then K is also. I guess one might identify K with the direct sum of countably many copies of H, then take   where   is projection onto the i-th copy. Anyhow, is there a reference where the argument is given explicitly? Mct mht 18:28, 17 May 2006 (UTC)Reply

I added it. One can either use Choi and a weak limit argument or Stinespring. This is completely standard.--CSTAR 18:36, 17 May 2006 (UTC)Reply
ok, can you give me a reference? thanks. Mct mht 18:43, 17 May 2006 (UTC)Reply
Good God. I dunno, some book, maybe Arveson's on CP semigroups? At the beginning there is some stuff on generalities.--CSTAR 18:50, 17 May 2006 (UTC)Reply
haha, after pressing the save button, all i saw was your stuff. the following is what i typed that didn't get saved:
"ok, taking the sequence of upper-left finite blocks of the Choi matrix then the weak limit seems to be believable. a reference would still be nice though." Mct mht 19:00, 17 May 2006 (UTC)Reply


So this is a folklore result, heh. If so, that's fair enough. Mct mht 19:01, 17 May 2006 (UTC)Reply

historical reference accurate?

edit

The accuracy of following sentence in the article seems to be debatable:

The quantum operation formalism emerged around 1983 from work of K. Kraus, who relied on the earlier mathematical work of M. D. Choi.

There is at least one paper(E. C. G. Sudarshan, et al, Phy Rev, 1961) that seems to have already contained the idea that quantum operations are CP maps. Mct mht 17:56, 17 May 2006 (UTC)Reply

Hmmm. You may be right. Although Sudarshan now seems to be having second thoughts.--CSTAR 17:58, 17 May 2006 (UTC)Reply
The idea that quantum operations are CP maps is distinct from the idea of quantum operations in general. I think Kraus was the first guy to lay out the quantum operations formalism in full, even if Sudarshan put forward the CP requirement. By the way, CSTAR is referring to "Who's Afraid of Completely Positive Maps?", a paper by Anil Shaji and E.C.G. Sudarshan which shows pretty convincingly that the CP requirement is misguided. See my comment elsewhere on this page on CP maps. Njerseyguy (talk) 19:22, 17 March 2010 (UTC)Reply

CP maps

edit

"Who's Afraid of not Completely Positive Maps?", a paper by Anil Shaji and E.C.G. Sudarshan, shows pretty convincingly that the Completely Positive (CP) requirement is misguided. At best, most real-life quantum operations are only approximately CP, and the idea that CP is necessitated by physical reasoning is bunk. I would change this wikipedia article, but Shaji and Sudarshan's paper hasn't really sunk in with the quantum info community. (Most don't even know it exists). So there really isn't a consensus yet. Njerseyguy (talk) 19:24, 17 March 2010 (UTC)Reply

To clarify: under the assumption that a system and its environment are initially in a product state  , the reduced dynamics of   are necessarily CP. Further, there are some cases where the initial state of the supersystem (system+environment) is not a product state, but the reduced dynamics of   are nevertheless CP. The problem is with claiming that CP is a physical requirement for all reduced dynamics, which is not true. Njerseyguy (talk) 13:58, 23 March 2010 (UTC)Reply
This is a really interesting paper. I just had a read of it and enjoyed it a lot. Added it to the page. Meznaric (talk) 14:51, 3 May 2012 (UTC)Reply