JesseM
Science Advisor
- 8,519
- 17
Are you saying that Leggett and Garg themselves claimed that their inequality should apply to situations where the three values a,b,c don't represent times of measurement, including the scenario with doctors collecting data on patients from different countries? If so, can you quote from the paper since it doesn't seem to be available freely online? Or are you making some broader claim that the reasoning Leggett and Garg used could just as easily be applied to other scenarios, even if they themselves didn't do this?billschnieder said:As I mentioned to you earlier, it is your opinion here that is wrong.
The paper by Boole you linked to is rather long and he doesn't seem to use the same notation, can you point me to the page number where he derives an equivalent equation so I can see the discussion leading up to it? I would guess he was assuming that we were picking which pairs to extract from each triple in a random way so that there'd be no possibility of a systematic correlation between our choice of which pair to extract and the values of all members of the triplet S123 (and even if Boole neglected to explicitly mention such an assumption I'd assume you could find later texts on probability which did). And this would be equivalent to the assumption Leggett and Garg made of "noninvasive measurement", that the choice of which times to measure a given particle or system aren't correlated with the probability of different hidden classical histories the particle/system might be following. So if you construct an example where we would expect a correlation between what pair of values are sampled and the underlying facts about the value for all three possibilities, then I expect neither Boole nor Leggett and Garg would finding it surprising or contrary to their own proofs that the inequalities would no longer hold.billschnieder said:Of course, the LGI applies to the situation you mention, but inequalities of that form were originally proposed by Boole in 1862 (see http://rstl.royalsocietypublishing.org/content/152/225.full.pdf+html) and had nothing to do with time. All that is necessary for it to apply is n-tuples of two valued (+/-) variables. In Boole's case it was three boolean variables. The inequalities result simply from arithmetic, and nothing else.
We perform an experiment in which each data point consists of triples of data such as (i,j,k). Let us call this set S123. We then decide to analyse this data by extracting three data sets of pairs such as S12, S13, S23. What Boole showed was essentially if i, j,k are two valued variables, no matter the type of experiment generating S123, the datasets of pairs extracted from S123 will satisfy the inequalities:
|<S12> +/- <S13>| <= 1 +/- <S23>
You mean equation (15) in his original paper? But in his derivations the hidden variable λ can represent conditions that occur before the experimenters make a random choice of detector settings (see p. 242 of Speakable and Unspeakable in Quantum Mechanics, so there's good justification for saying λ should be independent of detector settings, and in any case this is explicitly includes as the "no-conspiracy condition" in rigorous proofs of Bell's theorem.billschnieder said:You can verify that this is Bell's inequality (replace 1,2,3 with a,b,c,).
A violation of the inequalities by data which doesn't match the conditions Bell and Leggett-Garg and Boole assumed when deriving them doesn't indicate a flaw in reasoning which says the inequalities should hold if the conditions are met.billschnieder said:So a violation of these inequalities by data, points to mathematically incorrect treatment of the data.
JesseM said:I also found the paper where you got the example with patients from different countries here,
You mentioned the name of the paper but didn't give a link, when I said I "found" it I just meant I had found an online copy. And no, I didn't read it all the way through, just enough sections that I thought I got the idea of how they thought the scenario with patients from different countries was supposed to be relevant to Leggett-Garg. If there is some particular section you think I should pay more attention to, feel free to point to it.billschnieder said:That is why I gave you the reference before, have you read it, all of it?
JesseM said:To this critique appears to be rather specific to the Leggett-Garg inequality, maybe you could come up with a variation for other inequalities but it isn't obvious to me (I think the 'noninvasive measurements' condition would be most closely analogous to the 'no-conspiracy' condition in usual inequalities, but the 'no-conspiracy' condition is a lot easier to justify in terms of local realism when λ can refer to the state of local variables at some time before the experimenters choose what detector settings to use)
Because the derivation is closely analogous and the conclusion (that QM is incompatible with certain assumptions about 'hidden' objective facts that determine measurement outcomes) is also quite similar. However, the assumptions in the derivation do differ from the assumptions in other Bell-type proofs even if they are very analogous (like the no-conspiracy assumption being replaced by the noninvasive measurement assumption).billschnieder said:This is not a valid criticism for the following reason:
1) You do not deny that the LGI is a Bell-type inequality. Why do you think it is called that?
I don't have access to the original Leggett-Garg paper, but this paper which I linked to before says:billschnieder said:2) You have not convincingly argued why the LGI should not apply to the situation described in the example I presented
So, the quote after (A2) does indicate that they were assuming the condition that the choice of which two measurements to make isn't correlated with the values the system takes at each of the three possible times. An example which is constructed in such a way that there is a correlation between the two sample points and the three values for each data triplet would be one that isn't meeting this condition, and thus there'd be no reason to expect the inequality to hold for it, so it isn't a flaw in the derivation that you can point to such an example.In a paper provocatively entitled "Quantum Mechanics versus Macroscopic Realism: Is the Flux There when Nobody Looks? A. J. Leggett and A. Garg[1] proposed a way to determine whether the magnetic flux of a SQUID (superconducting quantum interference device) was compatible with the postulates:
(A1) Macroscopic Realism: "A macroscopic system with two or more macroscopically distinct states available to it will at all times be in one or the other of these states."
(A2) Noninvasive Measurability: "It is possible, in principle, to determine the state of the system with arbitrary small perturbation on its subsequent dynamics."
Unclear what you mean by "simply based on how the data is indexed". In the example, the Ab in AaAb was taken under consistently different observable experimental conditions than the Ab in AbAc; the first Ab always has a superscript 2 indicating a patient from Lyon, the second Ab always has a superscript 1 indicating a patient from Lille. And they also say:billschnieder said:3) You do not deny the fact that in the example I presented, the inequalities can be violated simply based on how the data is indexed.
So, in this case depending on whether you are looking at the data pair AaAb or AbAc on a given date, the value of Ab is different. And even if you don't know the date information, from an objective point of view (the point of view of an all-knowing omniscient being), this isn't a case where each sample is taken from a "data point" consisting of triplet of objective (hidden) facts about a,b,c, such that the probability distribution on triplets for a sample pair AaAb is the same as the probability distribution on triplets for the other two sample pairs AaAc and AbAc. In the frequentist understanding of probability, this means that in the limit as the number of sample pairs goes to infinity, the frequency at which any given triplet (or any given ordered pair of triplets if the two members of the sample pair are taken from different triplets) is associated with samples of type AaAb should be the same as the frequency at which the same triplet is associated with samples of type AaAc and AbAc. If the "noninvasive measurability" criterion is met in a Leggett-Garg test, this should be true of the measurements at different pairs of times of SQUIDS if local realism is true. Likewise, if the no-conspiracy condition is true in a test of the form Bell discussed in his original paper, this should also be true if local realism is true.On even dates we have Aa = +1 and Ac = −1 in both cities while Ab = +1 in Lille and Ab = −1 in Lyon. On odd days all signs are reversed.
I would deny that, at least in the limit as the number of data points becomes very large. In this case they could could just pool all their data, and use a random process (like a coinflip) to decide whether each Aa should be put in a pair with an Ab data point or an Ac data point, and similarly for the other two.billschnieder said:4) You do not deny the fact that in the example, there is no way to ensure the data is correctly indexed unless all relevant parameters are known by the experimenters
I certainly deny this too, in fact I don't know what you can be talking about here. Different inequalities involve different numbers of possible detector settings, but if you look at any particular experiment designed to test a particular inequality, you always find the same number of possible detector settings in the inequality as in the experiment. If you disagree, point me to a particular experiment where you think this wasn't true!billschnieder said:5) You do not deny that Bell's inequalities involve pairs from a set of triples (a,b,c) and yet experiments involve triples from a set of pairs.
This one is so obviously silly you really should know better. The Bell-type inequalities are based on the theoretical assumption that on each trial there is a λ which either predetermines a definition outcome for each of the three detector settings (like the 'hidden fruits' that are assumed to be behind each box on my scratch lotto analogy), or at least predetermines a probability for each of the three which is not influenced by what happens to the other particle at the other detector (i.e. P(A|aλ) is not different from P(A|Bbaλ)). If this theoretical assumption were valid, and the probability of different values of λ on each trial did not depend on the detector settings a and b on that trial, then this would be a perfectly valid situation where these inequalities would be predicted to hold. Of course we don't know if these theoretical assumptions actually hold in the real world, but that's the point of testing whether the inequalities hold up in the real world--if they don't, and our experiments meet the necessary observable conditions that were assumed in the derivation, then this constitutes an experimental falsification of one of the predictions of our original theoretical assumptions.billschnieder said:6) You do not deny that it is impossible to measure triples in any EPR-type experiment, therefore Bell-type inequalities do not apply to those experiments.
I don't know what you mean by "Rij".billschnieder said:Boole had shown 100+ years ago that you can not substitute Rij for Sij in those type of inequalities.
Last edited by a moderator:



?