Unconditional separation of finite and infinite-dimensional quantum correlations

Abstract

Determining the relationship between quantum correlation sets is a long-standing open problem. The most well-studied part of the hierarchy is captured by the chain of inclusions ${\mathcal{C}}_q\subseteq {\mathcal{C}}_{qs}⊊{\mathcal{C}}_{qa}\subseteq {\mathcal{C}}_{qc}$. The separation ${\mathcal{C}}_{qs}\ne {\mathcal{C}}_{qa}$, showing that the set of quantum spatial correlations is not closed, was proven in breakthrough work by Slofstra [arXiv:1606.03140 (2016), arXiv:1703.08618 (2017)]. Resolving the question of ${\mathcal{C}}_{qa}={\mathcal{C}}_{qc}$ would resolve the Connes Embedding Conjecture and would represent major progress in the mathematical field of operator algebras. In this work, we resolve the ambiguity in the first inclusion, showing that ${\mathcal{C}}_q\ne {\mathcal{C}}_{qs}$. We provide an explicit construction of a correlation that can be attained on a tensor product of infinite-dimensional Hilbert spaces but not finite-dimensional ones. This property is also conjectured to be possessed by any correlation which maximally violates the $I_{3322}$ inequality.

arXiv comment14 pages, supersedes arXiv:1708.06522

References in corpus (2)

• Tsirelson's Problem
• Separation of finite and infinite-dimensional quantum correlations, with infinite question or answer sets

Cited by in corpus (13)

• Self-testing of quantum systems: a review
• Security of device-independent quantum key distribution protocols: a review
• Maximal nonlocality from maximal entanglement and mutually unbiased bases, and self-testing of two-qutrit quantum systems
• Bigalois extensions and the graph isomorphism game
• Characterising and bounding the set of quantum behaviours in contextuality scenarios
• The quantum-to-classical graph homomorphism game
• Separation of quantum, spatial quantum, and approximate quantum correlations
• An Operational Environment for Quantum Self-Testing
• 3XOR Games with Perfect Commuting Operator Strategies Have Perfect Tensor Product Strategies and are Decidable in Polynomial Time
• Maximally entangled correlation sets
• Non-local games and quantum symmetries of quantum metric spaces
• A Mathematical Framework for Causally Structured Dilations and its Relation to Quantum Self-Testing
• Morphisms in categories of nonlocal games