We present a non-linear inequality that completely characterizes the set of correlation functions obtained from bipartite quantum systems, for the case in which measurements on each subsystem can be chosen between two arbitrary dichotomic observables. This necessary and sufficient condition is the maximal strengthening of Cirel'son's bound.
No takes yet. Share an insight, caveat, or question.
Lluís Masanes (2003) studied this question.