Constant gap between conventional strategies and those based on C*-dynamics for self-embezzlement

Richard Cleve1, Benoit Collins2, Li Liu1, and Vern Paulsen3

1Institute for Quantum Computing and Cheriton School of Computer Science, University of Waterloo, Canada.
2Department of Mathematics, Kyoto University, Kyoto 606-8502, Japan.
3Institute for Quantum Computing and Department of Pure Mathematics, University of Waterloo, Canada.

Find this paper interesting or want to discuss? Scite or leave a comment on SciRate.


We consider a bipartite transformation that we call $self-embezzlement$ and use it to prove a constant gap between the capabilities of two models of quantum information: the conventional model, where bipartite systems are represented by tensor products of Hilbert spaces; and a natural model of quantum information processing for abstract states on C*-algebras, where joint systems are represented by tensor products of C*-algebras. We call this the $C*-circuit$ model and show that it is a special case of the commuting-operator model (in that it can be translated into such a model). For the conventional model, we show that there exists a constant $epsilon_0$$\gt$$0$ such that self-embezzlement cannot be achieved with precision parameter less than $\epsilon_0$ (i.e., the fidelity cannot be greater than $1 - \epsilon_0$); whereas, in the C*-circuit model---as well as in a commuting-operator model---the precision can be $0$ (i.e., fidelity $1$).

Self-embezzlement is not a non-local game, hence our results do not impact the celebrated Connes Embedding conjecture. Instead, the significance of these results is to exhibit a reasonably natural quantum information processing problem for which there is a constant gap between the capabilities of the conventional Hilbert space model and the commuting-operator or C*-circuit model.

► BibTeX data

► References

[1] J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt. Proposed experiment to test local hidden-variable theories. Physical Review Letters, 23(15):880–884, 1969.

[2] R. Cleve, L. Liu, and V. Paulsen. Perfect embezzlement of entanglement. Journal of Mathematical Physics, 58:012204, 2017.

[3] W. van Dam and P. Hayden. Universal entanglement transformations without communication. Physical Review A, 67(6):060302, 2003.

[4] K. R. Davidson. C*-algebras by example. American Mathematical Society, 1983.

[5] T. Fritz. Tsirelson's problem and Kirchberg's conjecture. Reviews in Mathematical Physics, 24(5):1250012, 2012.

[6] I. M. Gelfand and M. A. Naimark. On the embedding of normed rings into the ring of operators in Hilbert space. Matematiceskij sbornik, 12:197–213, 1943).

[7] Z. Ji, D. Leung, and T. Vidick. A three-player coherent state embezzlement game. Manuscript available at arXiv:1802.04926, 2018.

[8] M. Junge, M. Navascués, C. Palazuelos, D. Pérez-García, V. B. Scholz, and R. F. Werner. Connes' embedding problem and Tsirelson's problem. Journal of Mathematical Physics, 52(1):012102, 2011.

[9] R. V. Kadison and J. R. Ringrose. Fundamentals of the Theory of Operator Algebras, Volume II: Advanced Theory. Academic Press, 1986.

[10] J. Kaniewski. Analytic and nearly optimal self-testing bounds for the Clauser-Horne-Shimony-Holt and Mermin inequalities. Physical Review Letters, 117(16):070402, 2016.

[11] M. Keyl, D. Schlingemann, and R. Werner. Infinitely entangled states. Quantum Information and Computation 3(4):281–306, 2003.

[12] D. Leung, B. Toner, and J. Watrous. Coherent state exchange in multi-prover quantum interactive proof systems. Chicago Journal of Theoretical Computer Science, 2013:11, 2013.

[13] M. Navascués and D. Pérez-García. Quantum steering and spacelike separation. Physical Review Letters, 109(16):160405, 2012.

[14] N. Ozawa. About the Connes embedding conjecture: Algebraic approaches. Japanese Journal of Mathematics, 8(1):147–183, 2013.

[15] G. K. Pedersen. C*-algebras and their automorphism groups. Academic Press, 1979.

[16] O. Regev and T. Vidick. Quantum XOR games. In Proceedings of IEEE Conference on Computational Complexity (CCC 2013), pages 144–155. IEEE, 2013.

[17] B. W. Reichardt, F. Unger, and U. Vazirani. A classical leash for a quantum system: Command of quantum systems via rigidity of CHSH games. In Proceedings of the 4th Conference on Innovations in Theoretical Computer Science, pages 321–322. ACM, 2013.

[18] V. B. Scholz and R. F. Werner. Tsirelson's problem. Manuscript available at arXiv:0812.4305, 2008.

[19] I. E. Segal. Irreducible representations of operator algebras. Bulletin of the American Mathematical Society, 53:73–88, 1947.

[20] W. Slofstra. Tsirelson's problem and an embedding theorem for groups arising from non-local games. Manuscript available at arXiv:1606.03140, 2016.

[21] G. Vidal, D. Jonathan, and M. A. Nielsen. Approximate transformations and robust manipulation of bipartite pure state entanglement. Physical Review A, 62:012304, 2000.

[22] J. Watrous. The theory of quantum information. Cambridge University Press, 2018.

Cited by

[1] Benoît Collins and Sang-Gyun Youn, "Additivity violation of the regularized Minimum Output Entropy", arXiv:1907.07856.

The above citations are from SAO/NASA ADS (last updated successfully 2022-08-18 14:32:53). The list may be incomplete as not all publishers provide suitable and complete citation data.

On Crossref's cited-by service no data on citing works was found (last attempt 2022-08-18 14:32:51).