6

I see several related questions, mostly taking the standard position/interpretation that complex-valued amplitudes aren't "physically real" (though their imaginary components do participate in interference effects that are ultimately experimentally observable), whereas real-valued probabilities are "physically real". And I'd agree with that.

However, although probabilities are observable, they aren't canonical operators in the usual Hilbert space or $C^\ast$-algebra sense. You "observe" probabilities by repetitions of some relevant measurement, and then applying the standard Kolmogorov frequentist interpretation of probability to the set of resulting outcomes.

So that's hardly a Hermitian operator, or anything axiomatically identified with typical "observables". It's pretty much just the Born rule. So if we'd agree that bona fide observables are "physically real", then calling probabilities "physically real" must be using that term in some different sense. So what are these two distinct senses of "physically real"; in particular, what distinguishes the "physical reality" of probabilities from that of typical observables?

Edit Note that the Born-rule probability calculation is foundationally different than, say, the calculation of an apple's volume from a measurement of its radius, which we might call the sphere-rule. You can design an experimental apparatus that directly and independently measures an apple's volume (though I'd refrain from running naked through the streets crying "Eureka!" about it:), whereas there's no possible way for an apparatus to >>directly<< measure probabilities at one fell swoop, so to speak.

I mention this in response to Ion-Sme's answer: Since there are direct measurements of gravitational fields, that wouldn't be an apt analogy relevant to the purpose at hand.

Edit The comments from @Nathaniel and answers from @BobBee and @StéphaneRollandin seem to all conclude (in Stéphane's words) that it "depends on what you mean by 'real'". That kind of seems to suggest there's no definitive answer, and even the definition-dependent "answers" here are basically discussions, i.e., nothing formal and rigorous. So let me try (without completely succeeding) to make the question a little more definite, as follows...

In the current (March 2018) issue of APS News, there's a page 4 obit for Polchinski, where they quote from his 2017 arXiv memoir, in part, "I have not achieved ... explaining why there is something rather than nothing." So can we agree with his conclusion that there's something rather than nothing? Okay, then in that case, I'd suggest that those non-nothing somethings are, by our definition here, "real".

I realize that's still pretty wishy-washy, almost certainly insufficient for any subsequent rigorous treatment stemming from those words. And that's kind of the whole point. We've got Polchinski saying, "there's something rather than nothing", and he presumably wasn't wishy-washy philosophizing. Instead, he was lamenting over not achieving that ambition of explaining why there's this "something". But if he'd wanted to rigorously mathematically achieve that explanation, it would prerequisitely require some rigorous axiomatic-worthy definition of the "something" you're going to subsequently explain.

So this doesn't really define "something"~"real", but I think it's a reasonable argument why such a formal definition is necessary, and physics-worthy rather than just philosophy-worthy. Physics formally, rigorously, mathematically discusses the observable "somethings" of experience. But then it can't say what those "somethings" are??? Seems like that's an important missing piece of the puzzle.

  • Do you agree that expectation values of observables are "physically real"? – probably_someone Mar 22 '18 at 00:43
  • i would recommend the Paper "Quantum Mechanics of individual Systems" by J.B. Hartle. I think parts of your question are answered there. An extract: "The probability predictions of quantum mechanics, interpreted as predictions of the frequencies of results of measurements on infinite ensembles of identically prepared systems, are thus seen not to enter the theory in any preferred way, but have the same status as any other observable in the theory." – Zarathustra Mar 22 '18 at 01:03
  • @Zarathustra Thanks for the reference, which I see a pdf of at web.physics.ucsb.edu/~quniverse/papers/qmis68.pdf A brief scan of that suggests to me that he mostly >>addresses<< the question rather than >>asnswers<< it. In particular, the "mathematical appendix", page 710, demonstrates that "the frequency distribution of any observable is a definite quantity...". So maybe that's defining "physical reality" as "definite quantity"??? Not entirely satisfying, but I'll read it more carefully later. –  Mar 22 '18 at 01:03
  • @probably_someone Yeah, the very first paragraph concludes, "I'd agree with that." And expectation values are just weighted probabilities, where the set of possible outcomes $\lbrace 1,2,3,\ldots \rbrace$ are weighted by the, say $w_i$, eigenvalues associated with the corresponding outcome. So the original question remains identical. –  Mar 22 '18 at 01:24
  • Arent the propabilities not more real than the 'observables'. How do you observe a hermitian operator? – lalala Mar 22 '18 at 05:37
  • There is a strong argument that can be made that probabilities are never "physically real", and are always part of a model. (See https://physics.stackexchange.com/questions/21955/ignorance-in-statistical-mechanics for an example of some discussion on this point.) But this largely comes down to a philosophical discussion of what "physically real" really means. – N. Virgo Mar 22 '18 at 05:49
  • @lalala hermitian operators aren't "observed", per se. They correspond to observable properties in the sense each such operator represents an equivalence class of constructible experimental apparatus whose operation results in an outcome (e.g., a meter reading) denoting the value (eigenvalue) of that observable's measurement. –  Mar 22 '18 at 06:06
  • @Nathaniel Okay, as per my comment below (at)BobBee's answer, I'd have preferred a formal, rigorous answer/treatment (along the lines speculated in that comment), but maybe that doesn't exist. But isn't >>something<< real??? Or "most real"??? I'd think a state (pure, mixed, superposition, whatever) is as real as "real" gets, in that that's what's experimentally prepared and tested/measured by actual hold-in-your-hand apparatus. Are we good there??? -- states are gold-medal real??? And if good there, then what would you say gets the silver medal real award, so to speak? –  Mar 22 '18 at 06:15
  • How do you confirm that.the observable.correctly represents your experimental.apparatus. – lalala Mar 22 '18 at 06:17
  • @lalala I don't know, offhand. But observable~"equivalence class of apparatus" is a standard idea. Google $\ \ \ $ "equivalence class" apparatus preparation test quantum $\ \ \ $ for lots of hits (or maybe adjust the query for better results), and maybe you can find an answer somewhere. –  Mar 22 '18 at 06:30
  • 1
    @JohnForkosh I appreciate you're looking for a formal answer; that's one reason I commented instead of answering. (Because if I were to answer, it probably wouldn't be what you really want.) But let's take a simple example: I flip a coin and hide it under my hand so you can't see it. You have no choice but to represent this as a probability distribution, probably $p(H)=p(T)=0.5$, unless you think I might be cheating. The coin is real, but the probabilities are not - they are just part of your model, and represent your lack of knowledge. – N. Virgo Mar 22 '18 at 06:31
  • @Nathaniel Thanks, again. But just to be a little contentious:), note that the hidden coin is an example of epistemic uncertainty -- as you say, the probability represents uncertainty in your state of knowledge about the coin, whereas the hidden coin is itself in a pure |heads> or |tails> state. An ontological superposition state would be a still-spinning-in-the-air coin. And then probabilities are absolutely necessary for a description of that state. –  Mar 22 '18 at 06:33
  • @JohnForkosh yeah, I suppose the argument I'm making is that all uncertainty is epistemic. When you get down to it, quantum probabilities are just our uncertainties about future measurement outcomes, and in that sense are no more physically real than your uncertainty about the already-flipped coin in my hand. I readily admit that from your perspective this is a rather unsatisfying semantic argument and not really an answer to your question! – N. Virgo Mar 22 '18 at 06:38
  • @Nathaniel No problem, thanks again. Actually, it's somewhat satisfying to know that there is no satisfying answer. In retrospect, I probably should have realized that from the get-go, but it's been an interesting discussion. Or should I say that 1980's expression, "It's been real". –  Mar 22 '18 at 06:44

4 Answers4

4

You've made your point, both pro and con the reality of quantum mechanical (QM) probabilities. Is the question about physics or about interpretations or semantics or as some experimentalists would say, philosophy?

Please note that in some of the various interpretations (not theories) of QM one can hear that the position of particles, a QM observable, is not real until it is measured. So the semantics or interpretations issues go all the way to the basis of QM. Is the wavefunction real, a real thing that IS the particle, or is it a mathematical tool to track the particle, and only when you measure (or the environment does by collapsing the wavefucntion through interactions) it do you see any reality?

The proBability (the absolute square of the wavefunction) is as real as the phase, one determines interference, but the other one determines likelihood, in QM. Really, the phase only manifests in the probability of the two summed, interfering, wavefunctions. You can't have a phase unless you have a wave, i.e. a wavefunction, and thus the probability.

So, for both phase and probability, i.e. amplitude, it's the same issue.

The QM interpretations and the Bell Theorem (which simplistically says that naive reality and locality cannot both be true, see the first reference below) have more to say on all this, but some physicists (most?) would say that that makes no difference, you can still use QM to calculate results and measure things to confirm or deny. I refer you to a couple of references, the first one on Bell's theorem which talks about what reality is assumed to mean and altErnatives, the second on QM interpretations.

https://en.m.wikipedia.org/wiki/Bell%27s_theorem And https://en.m.wikipedia.org/wiki/Interpretations_of_quantum_mechanics

Bob Bee
  • 13,996
  • +1 and thanks, BB. Re your 1st paragraph question -- actually, I don't know which it's about. I'd >>prefer<< a formal, rigorous (i.e., physics) answer, maybe showing how to formulate probabilities as pvm's/povm's/whatever over some appropriate space, thereby putting them on the same footing with other observables. But I think you're suggesting that ain't gonna happen, whereby one of those other (interpretations, semantics, philosophy) discussions will have to suffice. Either way, re "You've made your point", I wasn't really trying to make a point, just describe my confusion. –  Mar 22 '18 at 05:36
  • I would clarify that "interpretation" means that the calculated results give the same real numbers as predictions, which agree with measurements. (thinking of bohmian mechanics which uses different mathematics too) – anna v Mar 22 '18 at 06:00
  • @John Forkosh Sorry if that first sentence sounded negative. I meant it positively, that you explained how it 'should' be something close to an observable, and yet also that it wasn't. I just then used that to ask myself whether it's about the physics or the semantic/interpretation/etc. and concluded that it was no different than the wavefucntion being real or not, and thus it's more in interpretations, while there is still some formal results. I don't think I can make it more formal than those - even in interpretations there are some formal results, and Bell's theorem is a formal real result. – Bob Bee Mar 23 '18 at 00:09
2

As @BobBee rightly points out, the point you make goes down to the whole mathematical structure of QM, and depends on what you mean by "real".

Let's take "real" as labelling the intuitive meaning we give to objects and their properties in classical physics. Such objects and properties are: objective, well-defined, and thus associable to a matter of fact. You can lend them to your neighbor, and he can give them back to you. You can forget them in the sand, they will still exist. They have some "state".

In this regard a QM state has a very misleading name: it definitely does not describes something real as defined above. It describes an object inasmuch as we trust that talking about this object will keep some sense throughout, because if you look in the QM state itself with a classical mindset, you find a superposition of classical descriptions weighted by probability amplitudes - there is a shift here from describing an object classically to describing the object as a non-trivial structure mixing several classical descriptions of the, well, object. Something is going on here: we do not speak of the same thing, we are not at the same level of representation. The QM description is a meta description: a description about descriptions.

And the normalization has to be done by hand, so that Hilbert rays form an equivalence class. This is very fishy: unitarity is fundamental, else probabilities do not hold, yet we have to normalize by hand. This shows again that it is rather explicit in the formalism what we know all along that we are talking about representations, possible representations, interfering representations, not about the object or physical system itself. The classical description of the object is still there, but it is in the Hamiltonian. In the Hilbert space, what you have is not a description of a real (again in the sense defined above) object, but a description of how it manifests itself when some measurement occurs.

The dreaded word appeared so I have to stop here: measurement. This is the measurement problem, again. Why can we not speak about an object, but only about measurement of that object, even while "measurement" is the most ill-defined theoretical notion in QM?

  • Thanks, Stephane. I've added a too-long-for-comment (second) edit at the end of the question to try to begin to address your concluding "ill-defined theoretical notion" remark. Formally, I agree with your point that it's the Bloch sphere (rather than entire Hilbert space) that should represent states. The non-normalized vectors are just a convenient (by scalar multiplication and vector addition) way to construct linear combinations that point in all different directions, which could also be achieved by applying unitary transformations/rotations on unit vectors. ... –  Mar 23 '18 at 02:37
  • ... Maybe it's the subspace lattice of propositions that's fundamental. And then the Hilbert space is just the "coordinatization problem" (e.g., section 4.3.2 of https://arxiv.org/abs/1211.5627 or chap 21 of Beltrametti&Cassinelli https://books.google.com/books?id=yWoq_MRKAgcC&pg=PA229 ) Then it's the subspaces~propositions~tests/observables that are "real". Of course, that still leaves my original probabilities~"real" question, but maybe that's for another day. (P.S. judging from your picture, are you absolutely sure you didn't inhale?:) –  Mar 23 '18 at 02:50
1

"there's no possible way for an apparatus to >>directly<< measure probabilities at one fell swoop"

But you can approximate them by repeating a measurement, and counting the relative frequencies of the different outcomes.

  • 1
    Isn't that exactly what I said??? -- "You 'observe' probabilities by repetitions of some relevant measurement, and then applying the standard Kolmogorov frequentist interpretation of probability to the set of resulting outcomes." And then the underlying point is that's not a Hermitian operator, so not an observable in the usual sense. Therefore, "physically real" has to have some different sense/interpretation with respect to probabilities than with respect to usual observables. So what's that sense? (But this comment is just repeating the stuff already in the original question.) –  Mar 22 '18 at 02:46
  • 1
    Do you have the same problem with "time"? (which also isn't a Hermitian operator). – Mitchell Porter Mar 22 '18 at 04:33
  • Good point re time, although its "special status" as a parameter in non-relativistic quantum mechanics kind of obviates that potential problem. And in relativistic qm there's stuff like https://arxiv.org/abs/0908.2789 so it can be formulated as an operator. Either way, since you can construct experimental apparatus to directly measure "time" (i.e., you'd operationally define "time" by the behavior of that apparatus), I'd have no particular problem. But if you've got an answer involving your time/operator comment, then I'd be interested, and open to changing my mind re the preceding remarks. –  Mar 22 '18 at 05:28
1

Neither QM nor QFT is allowed to change the definition of a probability without creating a new term; otherwise, it would be patently irresponsible to use the term in order to verbalize theoretical mathematical conclusions.

Our difficulty comes when we are uncertain of a future occurrence without destroying the evidence of its correctness. We are forced, then, to assume the existence of every possible outcome in order to move forward. Fundamentally, however, regardless of the probability of an event occurring, once it does occur, in that instant, the probability is one.

Probability distribution parametrics are real only if they are defined to be so. Expected values are not defined to be real (2.7 average family size); however, a median value is a real possible outcome. Discrete distributions are also real possible values. We can also create a confidence interval that states with some level of certainty the actual location of a particle. But, with a confidence interval we are only back to our original problem of assuming all probable values within that interval are real in order to proceed. Therefore, given that we must bring forward in our calculations the pseudo existence of all location possibilities, our final solution must necessarily create the same number of solutions. Even if we insist our probability distribution is actually discrete in order to ensure real answers, the best answer we can get without measurement is a probability of a real answer within a range of values.

Our good fortune is that it doesn't matter precisely which is the real solution because of the computation collapse of all the possible solutions to the same number. Thus the apparent magic of QM & QFT.

For over a century, this magic has made many unnecessarily uncomfortable with the representational implications of the answers. "Shut up and compute" remains the watchword of about a third of the practicing physicists. Unless one can demonstrate a violation of the mathematical equivalence needed in our translations as we move into Hilbert Space, there is no reason yet, other than discomfort, to doubt the representational nature of these calculations. Thus the principles of Effective Field Theory remain valid with all of its profound implications.