The perturbative method for quantum correlations

The set mathcal{Q} of quantum correlations is the collection of all possible probability distributions on measurement outcomes achievable by space-like separated parties sharing a quantum state. Since the original work of Tsirelson [Tsirelson, Lett. Math. Phys. 4, 93 (1980)], this set has mainly been studied through the means algebraic and convex geometry techniques. We introduce a perturbative method using Lie-theoretic tools for the unitary group to analyze the response of the evaluations of Bell functionals under infinitesimal unitary perturbations of quantum strategies. Our main result shows that, near classical deterministic points, an (n, 2, d) Bell operator decomposes into a direct sum of (k, 2, d-1) Bell operators which we call subset games. We then derive three key insights: (1) in the (n, 2, 2) case, if p₀ is classically optimal, it remains locally optimal even among 2-dimensional quantum strategies, implying in turn that the boundary of mathcal{Q} is flat around classical deterministic points; (2) it suggests a proof strategy for Gisin's open problem on correlations in mathcal{Q}(D) unattainable by projective strategies of the same dimension; and (3) it establishes that the Ansatz dimension is a critical resource for learning in distributed scenarios, even when the optimal solution admits a low-dimensional representation.