Probabilistic theories with purification

Physical Review A - Atomic, Molecular, and Optical Physics

Volumn 81, Issue 6, 2010, Pages

  Chiribella, Giulio ^a   D'Ariano, Giacomo Mauro ^b   Perinotti, Paolo ^b  

^a PERIMETER INSTITUTE FOR THEORETICAL PHYSICS   (Canada)

^b INFN SEZIONE DI PAVIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIPARTITE STATE; BIT COMMITMENT; MATHEMATICAL FRAMEWORKS; MIXED STATE; PHYSICAL PROCESS; PROBABILISTIC THEORY; PURE STATE; REVERSIBLE INTERACTIONS;

CLONING; CRYPTOGRAPHY; HILBERT SPACES; MATHEMATICAL PROGRAMMING; QUANTUM COMPUTERS; QUANTUM ENTANGLEMENT; SET THEORY;

PURIFICATION;

EID: 77954196305     PISSN: 10502947     EISSN: 10941622     Source Type: Journal    
DOI: 10.1103/PhysRevA.81.062348     Document Type: Article

References (71)

1. S. Popescu and D. Rohrlich, Found. Phys. FNDPA4 0015-9018 10.1007/BF02058098 24, 379 (1994).
2. J. Barrett and S. Pironio, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.95.140401 95, 140401 (2005).
3. J. Barrett, L. Hardy, and A. Kent, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.95.010503 95, 010503 (2005).
4. A. Acín, N. Gisin, and Ll. Masanes, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.97.120405 97, 120405 (2006).
5. M. M. Wolf, D. Perez-Garcia, and C. Fernandez, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.103.230403 103, 230403 (2009).
6. Ll. Masanes, A. Acín, and N. Gisin, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.73.012112 73, 012112 (2006).
7. H. Barnum, J. Barrett, M. Leifer, and A. Wilce, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.99.240501 99, 240501 (2007).
8. J. Barrett, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.75.032304 75, 032304 (2007).
9. A. J. Short, S. Popescu, and N. Gisin, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.73.012101 73, 012101 (2006)
10. H. Barnum, J. Barrett, M. Leifer, and A. Wilce, e-print arXiv: 0805.3553.
11. M. Pawlowski, T. Paterek, D. Kaszlikowski, V. Scarani, A. Winter, and M. Zukowski, Nature 0028-0836 10.1038/nature08400 461, 1101 (2009).
12. G. Birkhoff and J. von Neumann, Ann. Math. ANMAAH 0003-486X 10.2307/1968621 37, 823 (1936).
13. G. W. Mackey, The Mathematical Foundations of Quantum Theory (W. A. Benjamin, New York, 1963).
14. J. M. Jauch and C. Piron, Helv. Phys. Acta 36, 837 (1963);
15. C. Piron, Helv. Phys. Acta 37, 439 (1964).
16. G. Ludwig, Commun. Math. Phys. CMPHAY 0010-3616 10.1007/BF01654027 9, 1 (1968);
17. Foundations of Quantum Theory (Springer-Verlag, New York, 1985).
18. B. Coecke, D. Moore, and A. Wilce, Current Research in Operational Quantum Logic: Algebras, Categories, Languages (Kluwer Academic, Amsterdam, 2000).
19. L. Hardy, e-print arXiv: quant-ph/0101012.
20. G. M. D'Ariano, to appear in Philosophy of Quantum Information and Entanglement, edited by, A. Bokulich, and, G. Jaeger, (Cambridge University Press, Cambridge, UK, 2010).
21. G. M. D'Ariano, AIP Conf. Proc. APCPCS 0094-243X 10.1063/1.2158715 810, 114 (2006).
22. R. Penrose, p. 221 in, ed., Combinatorial Mathematics and its Applications, edited by, D. J. A. Welsh, (Academic Press, New York, 1971).
23. A. Joyal and R. Street, Adv. Math. ADMTA4 0001-8708 10.1016/0001-8708(91) 90003-P 88, 55 (1991).
24. P. Selinger, A Survey of Graphical Languages for Monoidal Categories, available at [http://www.mathstat.dal.ca/selinger/papers/graphical.pdf].
25. B. Coecke, Adv. Studies Math. Logic 30, 45 (2006).
26. S. Mac Lane, Categories for the Working Mathematician (Springer-Verlag, Berlin, 1971).
27. In other words, we need to put a probabilistic structure on top of the formal language of circuits. This rule would be given by a function π from T (I, I) to the interval [0, 1], enjoying the properties - i X π (p i) = 1, and π (p i - q j) = π (p i - q j) = π (p i) π (q j). In this presentation, however, we will omit the function π, and we will directly identify the event p i with its probability π (p i).
28. A. S. Holevo, Probabilistic and Statistical Aspects of Quantum Theory (North-Holland, Amsterdam, 1983).
29. Note that the extension by linearity C k (- i c i ρ i): = - i c i C k | ρ i) A is well defined: Indeed, one has - i c i ρ i = 0 if and only if - i c i (a | ρ i) A = 0 for every effect a S (A). Now, if b is an arbitrary effect in E (B), then (b | B C k is an effect in E (A), and, therefore, one must have - i c i (b | B C | ρ i) = 0. Since b is arbitrary, this implies - i c i C k | ρ i) = 0, thus proving that the linear extension is well defined.
30. E. B. Davies and J. T. Lewis, Commun. Math. Phys. CMPHAY 0010-3616 10.1007/BF01647093 17, 239 (1970).
31. R. W. Spekkens, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.75.032110 75, 032110 (2007).
32. - k ≥ 1 - ε / 2. If for every k we associate the outcome 0 to the first m k strings, and the outcome 1 to the remaining ones, this procedure defines a new coin with bias p N = - k p k p (m k | k) satisfying the bound | p - p N | ≤ ε.
33. L. Hardy, J. Phys. A PLRAAN 1751-8113 10.1088/1751-8113/40/12/S12 40, 3081 (2007).
34. G. Chiribella, G. M. D'Ariano, and P. Perinotti, EPL EULEEJ 0295-5075 10.1209/0295-5075/83/30004 83, 30004 (2008).
35. G. Chiribella, G. M. D'Ariano, and P. Perinotti, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.80.022339 80, 022339 (2009).
36. D. Aharonov, A. Kitaev, and N. Nisan, Quantum circuits with mixed states, in Proceedings of the 30th Annual ACM Symposium on Theory of Computing (STOC). (ACM, New York, 1998).
37. V. I. Paulsen, Completely Bounded Maps and Dilations (Longman Scientific and Technical, Harlow, Essex, UK, 1986).
38. M. Kleinmann, H. Kampermann, T. Meyer, and D. Bruß, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.73.062309 73, 062309 (2006).
39. E. Schrödinger, Proc. Cambr. Philos. Soc. MPCPCO 0305-0041 10.1017/S0305004100019137 32, 446 (1936).
40. H. Barnum, C. P. Gaebler, and A. Wilce, e-print arXiv: 0912.5532.
41. G. Chiribella, G. M. D'Ariano, and P. Perinotti, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.101.180504 101, 180504 (2008).
42. S. Abramsky and B. Coecke, Proc. of the 19th IEEE Conference on Logic in Computer Science (LiCS'04) (IEEE Computer Science Press, Washington, DC, 2004).
43. The general version Choi-Jamiołkowski isomorphism considered in this article is an isomorphism between transformations and bipartite states. This is not the same as the mathematical "CJ isomorphism" of Ref. [18], which was instead the isomorphism between the cone of transformations T + (A, A) and the cone of positive bilinear forms on the complex vector space E C (A) = Span C { E (A) }.
44. G. Chiribella, G. M. D'Ariano, and P. Perinotti, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.101.060401 101, 060401 (2008).
45. W. F. Stinespring, Proc. Am. Math. Soc. PAMYAR 0002-9939 10.2307/2032342 6, 211 (1955).
46. M. A. Naimark, Iza. Akad. Nauk USSR, Ser. Mat. 4, 277 (1940).
47. M. Ozawa, J. Math. Phys. JMAPAQ 0022-2488 10.1063/1.526000 25, 79 (1984).
48. I. Devetak and P. Shor, Commun. Math. Phys. CMPHAY 0010-3616 10.1007/s00220-005-1317-6 256, 287 (2005).
49. A. S. Holevo, Probab. Theory Appl. 51, 133 (2006).
50. C. King, K. Matsumoto, M. Nathanson, and M. B. Ruskai, Markov Process Relat. Fields 13, 391 (2007).
51. M.-D. Choi, Lin. Alg. Appl. LAAPAW 0024-3795 10.1016/0024-3795(75)90075-0 10, 285 (1975).
52. A. Jamiołkowski, Rep. Math. Phys. RMHPBE 0034-4877 10.1016/0034-4877(72)90011-0 3, 275 (1972).
53. Indeed, one can immediately see that if two sequences of channels { C m } and { D n } converge to two channels C and D, respectively, then the sequence { C n D n } converges to C D: - C n D n - C D - A, A ≤ - (C n - C) D n - A, A + - C (D n - D) - A, A ≤ - C n - C - A, A + - D n - D - A, A → n → 0, having used the triangle inequality and the monotonicity property of Lemma 9.
54. G. B. Folland, A Course in Abstract Harmonic Analysis (CRC Press, Boca Raton, 1995).
55. M. Horodecki, P. W. Shor, and M. B. Ruskai, Rev. Math. Phys. RMPHEX 0129-055X 10.1142/S0129055X03001709 15, 629 (2003).
56. B. Schumacher, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.54.2614 54, 2614 (1996).
57. B. Schumacher and M. A. Nielsen, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.54.2629 54, 2629 (1996).
58. H. Barnum, M. A. Nielsen, and B. Schumacher, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.57.4153 57, 4153 (1998).
59. D. Kretschmann, D. W. Kribs, and R. W. Spekkens, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.78.032330 78, 032330 (2008).
60. M. Gregoratti and R. F. Werner, J. Mod. Opt. JMOPEW 0950-0340 10.1080/09500340308234541 50, 915 (2003).
61. D. Beckman, D. Gottesman, M. A. Nielsen, and J. Preskill, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.64.052309 64, 052309 (2001).
62. T. Eggeling, D. Schlingemann, and R. F. Werner, Europhys. Lett. EULEEJ 0295-5075 10.1209/epl/i2002-00579-4 57, 782 (2002).
63. M. Piani, M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.74.012305 74, 012305 (2006).
64. D. Kretschmann and R. F. Werner, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.72.062323 72, 062323 (2005).
65. G. Gutoski and J. Watrous, in Proceedings of the Thirty-Ninth Annual ACM Symposium on Theory of Computation (STOC) (2007), p. 565.
66. For bipartite channels the term "semicausal" was used to mean "allowing for signaling in one direction at most," while the term "causal" was used to mean "not allowing for signaling (in any direction)." For an N -partite channel, however, there are N ! possible orderings of the input systems, and a causal N -partite channel was then defined as a channel that is "allowing for the propagation of signals along one of these possible orderings." Of course, for N = 2 the two nomenclatures conflict.
67. G. M. D'Ariano, D. Kretschmann, D. Schlingemann, and R. F. Werner, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.76.032328 76, 032328 (2007).
68. G. Chiribella, G. M. D'Ariano, P. Perinotti, D. Schlingemann, and R. F. Werner, e-print arXiv: 0905.3801.
69. M. A. Nielsen and I. L. Chuang, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.79.321 79, 321 (1997).
70. T. Bröcker and T. Tom Dieck, Representations of Compact Lie Groups (Springer-Verlag, Berlin, 1985).
71. S. Lloyd, e-print arXiv: quant-ph/0501135.