gill1109 wrote:How about you guys grow up and study a modern proof of Bell's theorem? Easier proof, weaker conditions, stronger conclusion. Modern terminology.
Yes Harry you overlooked it. It was started by Gordon who arrogantly claims that a theorem if mine, which he cannot even parse let alone contemplate its meaning, is false. You can find my theorem here:
http://arxiv.org/abs/1207.5103
Thanks Xray,
I missed the above due to current small-screen problems.
Dear Richard,
Re "Gill's theorem":
http://arxiv.org/abs/1207.5103 eqn. (3).
You insist that your "theorem" should be discussed in this thread because it is a better version of the Bell-CHSH inequality ; ie, you offer a better inequality than the original CHSH inequality that was based on Bell 1964:(15) that I (in my essay) claim to refute.
So let me apologise in advance for any error here; some earlier notes of mine were possibly also astray, in that they too were written-up in haste.
For I'm here presenting a
preliminary analysis of your theorem, based on rough notes that I put on the back of an envelope when I first heard of it.
In this way you can correct my misconceptions, errors, etc. For, given the authorities that you acknowledge (p.21-22), it seems that there must be serious mistakes below.
Apropos Gill's Theorem:
http://arxiv.org/abs/1207.5103 eqn. (3).
Introduction:
Given:
Independent observations: AB, AB', A'B, A'B' = ±1. (1)
W = <AB> + <AB'> + <A'B> - <A'B'>. (2)
η ≥ 0. (3)
N random observations; N ≥ 1. (4)
Then, with P denoting probability,
Gill's theorem http://arxiv.org/abs/1207.5103 eqn. (3) asserts:
P(W ≤ 2 + η) ≥ 1- 8e^(-N(η^2)/256). (5)
Analysis 1:
From "Gill's theorem", our (5), for η = 0: (6)
P(W ≤ 2) ≥ -7, for any countable N. (7)
NB: The limit as N -> oo is excluded, since N is defined in the context of observations and a spreadsheet; and (in any case), the product of infinity and zero is undefined.
Conclusions 1:
(1a) Since no probability is less than zero, all probabilities exceed any negative number (including - 7). So Gill's theorem appears to add nothing to probability theory, statistics, or Bell's theorem.
(1b) Any theorem delivering (7) is absurd.
(1c) In short: It is trivial to claim that a probability is greater than a negative number; and absurd to consider such.
Analysis 2:
From (2), by observation:
W ≤ 4. So P(W ≤ 4) = 1 (ie, certainty). (8)
So, since in this example, η = 2; using (8) and (5):
P(W ≤ 4) = 1 ≥ 1 - 8e^(-N/64), for any countable N. (9)
(9) yields:
For N = 1, P(W ≤ 4) = 1 ≥ - 6.87.
For N = 10, P(W ≤ 4) = 1 ≥ - 5.84.
For N = 100, P(W ≤ 4) = 1 ≥ - 0.676.
For N = a countable infinity, P(W ≤ 4) = 1 > 1 - ε; since ε > 0. (10)
NB: In the limit, "ε -> 0 as N -> oo" is excluded, since N is defined in the context of observations and a spreadsheet.
Conclusions 2:
(2a) Per (10 above, Gill's theorem asserts the trivial: the probability of a certainty is greater than a number less than one.
(2b) It is trivial for any probability to be greater than a negative number; and absurd to consider such.
(2c) It is trivial (indeed absurd) that η be > 2: yet Gill (p.23) discusses a restriction of η to ≤ 2√2.
(2d) As shown at (10), Gill's claim (p.23) that (1) is trivial for η > 2 should read: for η ≥ 2, at least.
(2e) From (10), we have the trivial: 1 ≥ 1 - ε for ε > 0.
(2f) Inequalities (7) and (10) hold trivially for any N, up to a countable infinity of observations.
(2g) Re (2d) above: Cursory analysis of (7) and (10) has Gill's theorem trivial for η ≥ 0.
General conclusion:
Gill's theorem is trivial for all η; ie, for any η ≥ 0. So Gill's claim (p.3) to have established "a new version of the famous Bell-CHSH inequality" is absurd. Further, to the extent that Gill's theorem is in any way associated with the Bell-CHSH inequality: it is refuted by commonsense local realism (CLR); see the Opening Post (OP) in this thread --
viewtopic.php?f=6&t=62#p2612PS: Richard, I will be pleased to be corrected, but I note:
Your theorem is refuted by my commonsense local realism (CLR) -- which, incidentally, appears to be a philosophy very similar to your own: given your rejection of nonlocality.
E and OE: Gordon