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\gt0$ 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.
 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.
 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.
 R. V. Kadison and J. R. Ringrose. Fundamentals of the Theory of Operator Algebras, Volume II: Advanced Theory. Academic Press, 1986.
 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.
 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.
 M. Navascués and D. Pérez-García. Quantum steering and spacelike separation. Physical Review Letters, 109(16):160405, 2012.
 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.
 I. E. Segal. Irreducible representations of operator algebras. Bulletin of the American Mathematical Society, 53:73–88, 1947.
 W. Slofstra. Tsirelson's problem and an embedding theorem for groups arising from non-local games. Manuscript available at arXiv:1606.03140, 2016.
 G. Vidal, D. Jonathan, and M. A. Nielsen. Approximate transformations and robust manipulation of bipartite pure state entanglement. Physical Review A, 62:012304, 2000.
The above citations are from SAO/NASA ADS (last updated successfully 2023-09-22 22:32:36). 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 2023-09-22 22:32:35).
This Paper is published in Quantum under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. Copyright remains with the original copyright holders such as the authors or their institutions.