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 [tex]\beta[/tex], and the amplitude of Bob's state vectors depends on [tex]\alpha[/tex], in a non-separable way, while [tex]\alpha[/tex] was chosen in a space-time region spatially separated from Bob, as he is represented here, and [tex]\beta[/tex] 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 [tex]\beta[/tex], and Bob's complete description is a function of [tex]\alpha[/tex].
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 [tex]<{S_{1 \alpha}}\otimes{S_{2\beta}}>[/tex]
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
[tex](\frac{1}{\sqrt{2}} <br />
\,<br />
sin{\frac{\beta-\alpha}{2}})^2 <br />
\,<br />
=\,\frac{1}{2}sin^2{\frac{ \beta-\alpha}{2}}[/tex]
For (+,-), the product is -1, and the probability is
[tex](\frac{1}{\sqrt{2}} <br />
\,<br />
cos{\frac{\beta-\alpha}{2}})^2 <br />
\,<br />
=\,\frac{1}{2}cos^2{\frac{ \beta-\alpha}{2}}[/tex]
For (-,+), the product is -1, and the probability is
[tex](-\frac{1}{\sqrt{2}} <br />
\,<br />
cos{\frac{\beta-\alpha}{2}})^2 <br />
\,<br />
=\,\frac{1}{2}cos^2{\frac{ \beta-\alpha}{2}}[/tex]
For (-,-), the product is 1, and the probability
[tex](\frac{1}{\sqrt{2}} <br />
\,<br />
sin{\frac{\beta-\alpha}{2}})^2 <br />
\,<br />
=\,\frac{1}{2}sin^2{\frac{ \beta-\alpha}{2}}[/tex]Thus [tex]<{S_{1 \alpha}}\otimes{S_{2\beta}}>[/tex] equals :
[tex]sin^2{\frac{ \beta-\alpha}{2}} - cos^2{\frac{ \beta-\alpha}{2}}[/tex]
Which, after trigonometric simplification, leads to
[tex]<{S_{1 \alpha}}\otimes{S_{2\beta}}> \,=\, -cos(\beta-\alpha) \,=\,-cos(\alpha-\beta)[/tex]
Which is enough to get
[tex]S = 2\sqrt{2}[/tex]
For [tex]\alpha[/tex] = 0°, [tex]\beta[/tex] = 45°, [tex]\alpha'[/tex] = 90°, et [tex]\beta'[/tex] = 135°