3 Non locality and Bell's inequality violation
This final expression is the key. You can see both non-locality and the inequality violation in it.
The non locality is mathematically represented by the fact that the amplitude of Alice's state vectors depends on \beta, and the amplitude of Bob's state vectors depends on \alpha, in a non-separable way, while \alpha was chosen in a space-time region spatially separated from Bob, as he is represented here, and \beta in a space-time region spatially separated from Alice, as she is represented here.
To put it short, Alice's complete description is a function of \beta, and Bob's complete description is a function of \alpha.
You may argue that this is only one possible representation among others, and that we may find another one that is local. I challenge you to find one, and then to calculate Bell's inequality violation from it.
Here how Bell's inequality violation is calculated from the above. Since you're already familiar with it, I skip the normalization part, the local mean values, and directly get to the calculus of <{S_{1 \alpha}}\otimes{S_{2\beta}}>
With or without involving an R process, we must assume that the frequency at which we observe a given pair of result is proportional to the squared modulus of the amplitude of the matching state vectors.
For (+,+), the product of the two measurements is 1, and the probability to get it is
(\frac{1}{\sqrt{2}} <br />
\,<br />
sin{\frac{\beta-\alpha}{2}})^2 <br />
\,<br />
=\,\frac{1}{2}sin^2{\frac{ \beta-\alpha}{2}}
For (+,-), the product is -1, and the probability is
(\frac{1}{\sqrt{2}} <br />
\,<br />
cos{\frac{\beta-\alpha}{2}})^2 <br />
\,<br />
=\,\frac{1}{2}cos^2{\frac{ \beta-\alpha}{2}}
For (-,+), the product is -1, and the probability is
(-\frac{1}{\sqrt{2}} <br />
\,<br />
cos{\frac{\beta-\alpha}{2}})^2 <br />
\,<br />
=\,\frac{1}{2}cos^2{\frac{ \beta-\alpha}{2}}
For (-,-), the product is 1, and the probability
(\frac{1}{\sqrt{2}} <br />
\,<br />
sin{\frac{\beta-\alpha}{2}})^2 <br />
\,<br />
=\,\frac{1}{2}sin^2{\frac{ \beta-\alpha}{2}}Thus <{S_{1 \alpha}}\otimes{S_{2\beta}}> equals :
sin^2{\frac{ \beta-\alpha}{2}} - cos^2{\frac{ \beta-\alpha}{2}}
Which, after trigonometric simplification, leads to
<{S_{1 \alpha}}\otimes{S_{2\beta}}> \,=\, -cos(\beta-\alpha) \,=\,-cos(\alpha-\beta)
Which is enough to get
S = 2\sqrt{2}
For \alpha = 0°, \beta = 45°, \alpha' = 90°, et \beta' = 135°