A generalization of CHSH and the algebraic structure of optimal strategies

@article{Cui2020AGO,
  title={A generalization of CHSH and the algebraic structure of optimal strategies},
  author={David Cui and Arthur Mehta and Hamoon Mousavi and Seyed Sajjad Nezhadi},
  journal={Quantum},
  year={2020},
  volume={4},
  pages={346}
}
Self-testinghas been a rich area of study in quantum information theory. It allows an experimenter to interact classically with a black box quantum system and to test that a specific entangled state was present and a specific set of measurements were performed. Recently, self-testing has been central to high-profile results in complexity theory as seen in the work on entangled games PCP of Natarajan and Vidick \cite{low-degree}, iterated compression by Fitzsimons et al. \cite{iterated… 

Figures from this paper

Arkhipov's theorem, graph minors, and linear system nonlocal games
. The perfect quantum strategies of a linear system game correspond to certain representations of its solution group. We study the solution groups of graph incidence games, which are linear system
Irreducible magic sets for $n$-qubit systems
Magic sets of observables are minimal structures that capture quantum state-independent advantage for systems of n ≥ 2 qubits and are, therefore, fundamental tools for investigating the interface
Noncommutative Nullstellens\"atze and Perfect Games
The foundations of classical Algebraic Geometry and Real Algebraic Geometry are the Nullstellensatz and Positivstellensatz. Over the last two decades the basic analogous theorems for matrix and
Rigidity for Monogamy-of-Entanglement Games
TLDR
This work studies the prototypical example of a game where the referee measures in either the computational or Hadamard basis and informs the players of her choice, and shows that this game satisfies a rigidity property similar to what is known for some nonlocal games.
Glued magic games self-test maximally entangled states
Self-testing results allow us to infer the underlying quantum mechanical description of states and measurements from classical outputs produced by non-communicating parties. The standard definition
Constant-sized robust self-tests for states and measurements of unbounded dimension
We consider correlations, ?=,G , arising from measuring a maximally entangled state using = measurements with two outcomes each, constructed from = projections that add up to G . We show that the
Sum-of-squares decompositions for a family of noncontextuality inequalities and self-testing of quantum devices
TLDR
This article derives a novel family of noncontextuality inequalities along with their sum-of-squares decompositions in the simplest (odd-cycle) sequential-measurement scenario capable to demonstrate Kochen-Specker contextuality and proves that they can be used for self-testing of three-dimensional quantum state and measurements.

References

SHOWING 1-10 OF 45 REFERENCES
Proposed Experiment to Test Local Hidden Variable Theories.
A theorem of Bell, proving that certain predictions of quantum mechanics are inconsistent with the entire family of local hidden-variable theories, is generalized so as to apply to realizable
Glued magic games self-test maximally entangled states
Self-testing results allow us to infer the underlying quantum mechanical description of states and measurements from classical outputs produced by non-communicating parties. The standard definition
NEEXP is Contained in MIP*
TLDR
The main result of this work is the inclusion of NEEXP (nondeterministic doubly exponential time) in MIP*.
Weak form of self-testing
The concept of self-testing (or rigidity) refers to the fact that for certain Bell inequalities the maximal violation can be achieved in an essentially unique manner. In this work we present a family
Experimental demonstration of robust self-testing for bipartite entangled states
TLDR
Chuan-Feng Li and coworkers have devised an improved method for quantum “self-testing”, meaning characterizing properties of quantum states without assuming fully-correct functioning of the measurement apparatus, but based only on the measurements’ violation of mathematical inequalities that can happen only for specific quantum states.
Self-testing of quantum systems: a review
TLDR
This work gives a thorough and self-contained introduction and review of self-testing and its application to other areas of quantum information.
On the Einstein-Podolsky-Rosen paradox
THE paradox of Einstein, Podolsky and Rosen [1] was advanced as an argument that quantum mechanics could not be a complete theory but should be supplemented by additional variables. These additional
Maximal violation of Bell's inequalities is generic in quantum field theory
Under weak technical assumptions on a net of local von Neumann algebras {A(O)} in a Hilbert space ℋ, which are fulfilled by any net associated to a quantum field satisfying the standard axioms, it is
...
...