Remarks on CHSH inequality, Tsirelson bound, Popescu-Rohlich boxes and inner product spaces

Abstract

The EPR correlation matrix admit a Hilbert model if it can be extended to a positive full correlation matrix. A simple proof of the corresponding Tsirelson bound is given and the relations to PR boxes and indefinite inner product spaces are briefly discussed.