Non-closure of the set of quantum correlations via graphs

Understand

We prove that the set of quantum correlations for a bipartite system of 5 inputs and 2 outputs is not closed.

• Our proof relies on computing the correlation functions of a graph, which is a concept that we introduce.