Measurement Neutrality and Laplace's Principle of Indifference
straycat said:
Basically, Greaves explains that one of the essential assumptions in Deutsch-Wallace decision theory is the postulate of "measurement neutrality," which is "the assumption that a rational agent should be indifferent between any two quantum games that agree on the state |phi> to be measured, measurement operator X and payoff function P, regardless of how X is to me measured on |phi>." afaict, this means that if we think of the measurement process as a "black box," then Deutsch assumes that a rational agent should in principle be indifferent to the details of the innards of this black box.
Hi! I think something like this assumption was probably first made explicit by Wallace.
Based on email exchanges between Deutsch and the authors of "Quantum probability from decision theory?", I'd say Deutsch had it in mind as well, although even in the email exchange it only became gradually apparent, though not formalized as Wallace has done, what he had in mind... At first I thought Deutsch
thought his argument might apply whether one had a many-worlds or a definite-outcomes view of measurements, and that's why his paper was so unclear on this point. Now I'm not sure. But anyway, the crucial thing is that the measurement
neutrality assumption is a kind of quantum version of Laplace's Principle of Insufficient
Reason (PIR). In our paper, "QP from DT?", we argued Deutsch's implicit assumption was a kind of analogue of the PIR. Measurement neutrality is a more sophisticated one, but an analogue nonetheless. It seems "nonprobabilistic" because it isn't on the face of it about probabilities, whereas Laplace's PIR *is* explicitly about probabilities---but if one accepts a subjective, decision-theoretic view
of probabilities (which I have no problem with, in this context), then assumptions about
preferences may encode assumptions about probabilities, and I think that's so here. It's simply not a principle of "pure rationality" that whatever differences---physical differences, they'd likely be---between two ways of measuring a Hermitian operator, those differences should not affect our preferences between the result. Suppose
the differences have no intrinsic value to us: still, we could imagine having different beliefs about the likelihoods of the outcomes given different measurement processes,
and thus valuing the games differently. Measurement neutrality rules this out: therefore, it has substantive physical content (to the extent that physics is a theory
that guides action). Sure, it might seem crazy to think that the color of lettering
we use on the dials of our measuring device, or whatever, could affect the probabilities. But that it is crazy is part of our phenomenological theory of the world, acquired at least in part through experience and inference --- not a pure *principle* of rationality...and is also supported by arguments concerning the physics of the measuring device. No doubt we can't make do without some such prior predispositions to dismiss such possibilities as highly unlikely----but that doesn't mean invoking them is harmless in an effort to derive the probability rules solely from the assumption that the rest of quantum mechanics is "a fact" (whatever it would mean for the rest of QM to be "a fact" without the probability rules that are an important part of what ties it to the world and gives it content), plus "pure rationality".
Maybe I should
back off a little on that last parenthetical remark: there are things other than the probability rule that get QM in contact with the world: in fact, QM arrived a little earlier than the Born rule, as a theory explaining, among other things, some atomic spectra, by determining energies (of e.g. the hydrogen atom). Nevertheless, I tend to think that
Many-Worlds (depite my having spent a lot of effort in my life playing devil's advocate
for it) gets things backwards: stuff happens, we do scientific (i.e. some variety of roughly Bayesian in a very general, not necessarily conscious, sense) inference about the stuff that happens, the definite results we experience for measurements, we come up with a theory that systematizes the resulting beliefs (as evidenced by our willingess to bet, in a very generalized sense, on the outcomes of experiments and such). This systematization of our betting behavior faced with experiments can be represented in terms of probabilities given by the Born rule. Rederiving the Born probabilities from a part of the formalism that was cooked up, and especially, further developed and held onto, in part to give a good representation of just these probabilities, seems somewhat backwards. Without the probabilities, and the terrific guidance they give to our actions, who would have bothered with quantum mechanics anyway? I guess one can say that the rederivation is a sophisticated attempt to keep the probabilities and solve other problems that came along with quantum mechanics. But it still raises, for me, a serious problem of: what then of the formal and informal scientific reasoning, based on measurments having definite results, that brought us to the QM formalism and Born rule in the first place? Must we reconstruct it all in terms of Everettian branchings, with never a definite result?
Patrick's detailed exploration of an alternative probability rule (which happens to be a rule we devoted two sentences to on page 1180 of our paper, noting that it was contextual
but not obviously ruled out by Deutsch's other assumptions) is quite worthwhile, I think. I have only just read it, a couple of times through, but it looks basically right to me. FoP might be a good place for it. I think maybe Wallace, or somebody else (there is related work by Simon Saunders...) devoted some effort to ruling it out explicitly (I'll post it if I find a reference)... maybe just through establishing noncontextuality given certain assumptions. But any such effort is likely to be based on measurement neutrality or something similar.
Cheers!
Howard Barnum