Quantum Explanations

This should be a fun project. As usual, I wonder what your writing would be like without some of your "I need an opponent/"I need something to evangelize" baggage. I'm often tempted to make a parallel blog, which reproduces your and Robin's posts from Overcoming Bias, with what I consider to be the weaker elements removed from them. For example I would extract sentences like "I'm a pure realist" and "Embrace reality. Hug it tight." or at least modify them with sentences like "as far as I can tell, the pure realist approach models reality best".

You could call it "Overcoming Fun".

Eliezer's polemical tone is one of the great strengths of his pedagogical approach, IMO.

When I was in college back in the dark ages (1972-76) I had a wonderful professor, Herb Bernstein who taught theoretical physics. I took a 3 semester series with him that started with quantum mechanics the first semester. Next we went on to electricity and magnetism and finally dealt with Newtonian laws. He even enlisted a math prof to teach a sister course in math just so we could keep up with the physics. Net result - I have done nothing in that field for a career but I have always loved following QM as an amateur. I'm looking forward to your discussion.

His polemical style reminds me too much of political rhetoric for my liking. It hooks too much into the us vs them psychology e.g. rationalists vs irrationalists.

"Finally, I am going to take a strictly realist perspective on quantum mechanics - the quantum world is really out there, our equations describe the territory and not our maps of it,"

Why isn't this an example of the mind projection fallacy? I know you said to give you a break, but I really don't like it when people contradict themselves.

Why isn't this an example of the mind projection fallacy?

Surely it is not fallacious to subscribe to the Many-worlds interpretation (which is surely what Eliezer is talking about). If this is the sort of use to which the "mind projection fallacy" is put, then it turns out merely to be a cheap way to put down competing interpretations of the math.

I wish you luck with your quantum effort.

There is few things that previous explanations miss or explain badly, I hope you could dive into them more deeply:

1) quantum decoherence, 2) the fact that QM is symmetrical in time.

QM and its time indifference time is really fascinating subject. For example, many-worlds interpretation fails to mention that it works equally well into the past. If you entertain the many-worlds interpretation, you must acknowledge that it works as well backwards in time. From any "current", moment there are multiple histories backward (with thermodynamic constraints, of course)

In many of your prior posts where you bring up MWI, your interpretation doesn't fundamentally matter to the overall point you're trying to make in that post; that is, your overall conclusion for that post held or failed regardless of which interpretation is correct, possibly to a greater degree than you tend to realize.

For example: "We used a true randomness source - a quantum device." The philosophers' point could equally have been made by choosing the first 2^N digits of pi and finding they correspond by chance to someone's GLUT.

Will, remember that we're talking about perspectives here. There are ways of talking about the world that are useful and ways that aren't. It's not mind projection to talk about QM in a way that agrees with experiment. In fact, talking about billiard balls and waves is horribly classical-centric.

QM is so far removed from what we think the world is like that it's only ever really described in two ways - metaphor and algebra (metaphor with symbols). As soon as you start saying 'there are these tiny particles that zip around' you're already picturing those billiard balls. Macroscopic Bias! So I'm looking forward to the next few posts. Long, detailed and mathsy please!

Cool! I am REALLY looking forward to this. Even if I don't end up grasping QM after this series, at least you are taking an honest shot at it. I can't stand it when I try to ask someone (that allegedly knows this stuff) about QM and they come back with, "it is so strange you can't even try to understand it, but here are the results of various QM experiments".

Ben Jones: Do you mean that realist view of QM is that QM is a map of the territory, rather than a map of a different map? I wouldn't say that the first entailed what Eliezer said, "the quantum world is really out there".

It is the best map we have at the moment, but we should always strive to make better maps that make QM as illusory as classical mechanics.

I'd also question whether any attempted interpretation is consistent with occams razor, unless you are trying to explain something new of course. Not that I would mind myself, interpretations might leads us to the places where we can perform experiments to determine whether they are useful or not.

I would like to ask any non-realists on the subject of quantum mechanics to wait and hold their comments until called for in a later post. Do me this favor, please. ... Still, it is not the only view that exists in the modern physics community. I do not feel obliged to present the other views right away, but I feel obliged to warn my readers that there are other views, which I will not be presenting during the initial stages of the introduction.

I believe we have an incoming inferential distance issue here. By Hofstadter's Law, this series on quantum mechanics will take longer than you expect. If dealing with objections or rival theories is scheduled for a place far along the trail, it could be weeks or months away. What is to be done about comments during that time? Not just from non-realists, but from other disputants. I have never seen a quantum mechanics discussion that was not plagued with fundamental disagreements and differing interpretations.

"Please hold your questions until the end" means that the comments will be less useful than average while waiting. Moderation could enforce that request, but you might stifle quite a bit, and how many people hold comments in abeyance for weeks rather than just wandering off? Alternately, the comment threads could repeatedly derail on issues you plan to address somewhere down the line.

I mean to say that there will be objections at many points, some of which you will want to discuss at a later date. Failure to address or channel those objections productively will remove much of the value of approaching the topic through the blog format. I presume that you have at times been surprised by objections to ideas that you considered fairly obvious, or the vehemence and persistence of objections after you have explained your views. I suggest that this will be one of those times. Even if you have already taken that into account, I suggest that you have likely underestimated what is coming. Re-pad any estimates.

Interesting. I think students could use a better explanation of QM than the one I got in college which was "Light is not a wave. Light is not a particle. No one knows what light it. Light is a quantum mechanical beast." In all fairness, it's pretty accurate to say no one knows what light is. That doesn't mean anyone needs to be taught that light behaves sort of like a wave and sort of like a particle.

I've always thought the universe is best understood as consisting of two substances, gravitational ether and electromagnetic field. Gravitational ether can wrap itself into vortexes of different energies and densities. The vortexes stretch and pile the ether. So a high energy vortex will contain much more dense ether, and the surrounding ether will become much less dense. The force of gravity then becomes a simple function of a density gradient.

The other substance, electromagnetic field, somehow (this is the big hole in my theory) latches on or interacts with vortexex ether and the interaction gives rise to what we call particles. But the particle is not real, we perceive teh interation between the two substances as a particle/wave dualtiy. This flows from the model I've described. Vortexes of ether with proper internal forces would be very well described as billiard balls. Electric and magnetic fields on their own almost perfectly obey wave equation predictions. However, the electron or photon or whatever, is not actually gravitational ether, nor is it eletromagnetic (or electro-strong-weak) field. What we see as the particle is actually the interaction, and we can prod the interaction to emphasize the particle or wave qualities, but since this is an interaction we're talking about and not some real object, we can never force experimental results that would have the interaction actually be a particle or a wave. In that sense the Heisenberg uncertainty principle could even be used to deduce some of the basic ratios and quantums of interaction between ether and field.

The posts could be cross-posted to another (single-purpose) blog, and all objections or questions required to go on that blog, perhaps to be aggregated later and addressed on OB.

A problem about teaching QM is the very fact of linear persepctive and absolute reality , when discussing there are no is , only appears to be , e prime

My gosh I can't spell or even edit. I apologize for my subpar grammer. in my defense, my mom is a child psychologist and she thinks I have a learning disability that prevented me from picking up how to spell when I was in elementry school. I like to think that's the case. Along with that, I've always felt that if the words would just be spelled the way they sound life would be a lot easier. Words used to be spelled the way they sound, then the "great vowel shift" happened and english language pronunciation lost all connection to spelling. I don't see why we don't redo the spelling of all our words to make them actually reflect the sounds. I mean, that's the idea of a phoneticl alphabet as I understand it. If the words aren't going to be spelled like they sound, aren't we really just using chinese/japanese symbol-based written languages?

Anyone drawn a tree (specifically, an acyclic directed graph) showing all of Eliezer's posts with all the dependencies (and perhaps other information) indicated? That would be pretty neat. Does typepad offer that functionality?

Would anyone be interested in such a thing if I made it?

Silas, that would be really interesting.

William Pearson said:

"Finally, I am going to take a strictly realist perspective on quantum mechanics - the quantum world is really out there, our equations describe the territory and not our maps of it," Why isn't this an example of the mind projection fallacy? I know you said to give you a break, but I really don't like it when people contradict themselves.

A Bayesian calculation describes your state of knowledge. When a physicist talks about nonprobabilistic laws that govern water flowing downhill, he is talking about the water, not describing how to update your probabilistic beliefs about water.

Beliefs, by default, are part of our map and about the territory.

If you want to talk explicitly about beliefs - or probabilities! - then you have to employ beliefs about beliefs, which are then part of your metamap and about your map.

If you want to talk about beliefs about beliefs, you have to use beliefs about beliefs about beliefs, which are then about beliefs about beliefs, etc.

When I talk about quantum mechanics, I am of course using words and stating my beliefs; but those words and beliefs refer directly to the territory, they are not about my or anyone else's knowledge.

There is nothing mind-projection-fallacious about saying, "This coin has landed heads", because the interpretation of your beliefs is as a statement directly about the coin and it talks only about the coin's state, even though what you have just said is your belief about the coin.

If you say "I believe the coin has landed heads," that is not your belief, it is your belief about your belief, which is about your belief in the same way that your order-1 belief is about the coin.

Saying, "This coin has a 50% probability of landing heads", rather than "I assign 50% probability to the coin landing heads", is technically (though rather nitpickingly) a mind projection fallacy; you are talking about your beliefs as if they were directly in the coin.

Not to steal Elezer's thunder, but people here would be interested in Gary Drescher's book Good and Real: Demystifying Paradoxes from Physics to Ethics, which treats quantum physics, the free-will illusion, Newcomb's Problem, and a number of other relevant areas, from a strictly materialist viewpoint (which I've tried to label, unsucessfully so far, as ultramaterialism).

The problem is that no well-understood route exists from the classical world to the quantum world. No one has ever come up with a realistic quantum mechanical model of measurement (several toy models exist, and are actively studied). In the absence of such understanding, it's just a matter of splitting hairs to say either that we don't understand how quantum mechanics works, or that we don't understand how classical mechanics emerges.

This can be contrasted with the theory of relativity. Relativity violates our everyday picture of reality, but we pretty much completely understand how to recover (or derive) the classical limit. The theory doesn't give the impression of lurking secrets that quantum mechanics does.

Feynman's quote is still pretty much accurate.

Just ordered Good and Real on Amazon.

Gary Drescher sounds like a major fellow traveler. Everett, timelessness, all the way down to Newcomb's Problem!

Eliezer: It is not, "I believe the coin has landed heads," that I think, "the coin has landed heads," implicitly embodies. It is the belief that such things as coins, landing and heads, are meaningful concepts (clusters in thingspace if you have to).

If you want to continue the map analogy, parts of the key of the map.

""coin" is a meaningful concept," carries no information above, "the coin has landed heads," because you would hope that all statements are meaningful and so all their constituent concepts.

Cool, I've always wanted something like this on QM. Question on supplementary reading: any books that you think do an okay, if not great, job explaining it, out there already?

Wow, good teaser for sure! /me is quivering with anticipation ^_^

I don't really like the author's attitude to be honest. He talks about QM like it is absolute truth, that we should accept it for realism and reject our preconceived perceptions. Then, at the end, he claims to be a "strict realist". It's almost like he's trying to make me feel like I am biased and boorish for trying to equate everything into simple and analagous terms, whereas I don't feel like that is a poor metric to work by.

Particle-wave duality is taught to try and convince students that not everything works in a classically sterile manner, and I believe that it is a good stepping stone toward the counterintuitive (yes, I said it, and I believe it) results that QM foretells. It is a simple case of explaining that things don't work out the way you think they do. The lesson of the particle-wave duality lesson, from a competent professor, is never "think of it as a particle and a wave," it is "we model it as a particle that acts like a wave," which should convey to the students that it is neither uniquely, and not to think in classical terms. I think this lesson is not only fine, but appropriate.

Silas, Z.M. Davis: As far as I know typepad doesn't do that. This particular use of typepad probably wasn't anticipated. That said, I can never resist a programming challenge, so here it is: http://stanford.edu/~marce110/elidex/

Marcello: Nice job, but I was hoping for an overall visual view. Plus, don't forget, Eliezer would consider the "technical explanation" Bayes stuff to be general dependencies.

When I talk about quantum mechanics, I am of course using words and stating my beliefs; but those words and beliefs refer directly to the territory, they are not about my or anyone else's knowledge ... Saying, "This coin has a 50% probability of landing heads", rather than "I assign 50% probability to the coin landing heads", is technically (though rather nitpickingly) a mind projection fallacy; you are talking about your beliefs as if they were directly in the coin.

The fun part, of course, will be to see how you handle mixed states, where the "map" and the "territory" get scrambled together into a non-uniquely-decomposable linear-algebraic soup...

"The fun part, of course, will be to see how you handle mixed states, where the "map" and the "territory" get scrambled together into a non-uniquely-decomposable linear-algebraic soup..."

I am not a professional quantum physicist, but the suggestion that our thoughts about a quantum process somehow influence the outcome of that process seems to me to be patently absurd. Our thoughts are not somehow separated from the rest of reality; they are made up of the same quarks and leptons that we study in QM experiments. At no point are these quarks and leptons aware of the higher levels of organization within the brain. If there is an interaction between you and the QM experiment, it will be on the level of -> , not -> .

My apologies for the earlier formatting error. Basically, objects on one level of organization (fundamental particles) should only interact in any significant sense with objects on the same level, not with mental representations of fundamental particles or macroscopic blocks of matter. There are exceptions to this (eg, an errant lepton causes quantum physicists to jump for joy), but they require some sort of complex mechanism (in the Kolmogorov sense) to carry information into a different organizational level.

Tom: Yes, for as long as QM has been around people have tried to hitch doofus ideas about "mind influencing reality" to it -- and for those of us who spend a significant part of our lives fighting such idiocy, it'll be great to see Eliezer bring his considerable didactic skills to the fight.

I was talking about something completely different: namely, the philosophical debate about whether we should regard a quantum state as what's really out there (like a coin), or as our description of what's out there (like a probability distribution over coin flips). Neither view implies any ability to change the world just by wishing it, any more than you can bias a coin flip by just changing your probability estimate. But (unless I misread him) Eliezer was promising come down hard in favor of the former view, and I was pointing to mixed states as the battlefield where the two views really meet in an interesting way.

Neat, Marcello!

Density matrices were specifically what I had in mind when I talked about dragging in great big complicated math tools before people understand what's going on at a fundamental level.

I didn't know mixed states were a battleground, but it's pretty easy to imagine. Confusion about the subjective Bayesian character of statistical mechanics + confusion about the objective character of quantum states = extreme confusion about mixed states, right?

Hi Scott,

Are mixed states really the main battlefield? It seems to me that the subjective vs. objective debate for mixed states is not much different from the classical case, except it's much messier mathematically, just as Eliezer writes.

Rather, the interesting question for me (and, as I understand, the quantum Bayesian crowd) is whether pure quantum states should also be interpreted as states of knowledge.

Having read very little about quantum mechanics I am unfamiliar with the non-realist view that you're contrasting yourself with, so please make sure to explain as you go along. I think this is a great idea!

Ben and Eliezer: Any reply puts me in great danger of violating the spirit of Eliezer's rule that non-realists hold their fire! (I say the spirit and not the letter, since I'm not actually a non-realist myself, just an equal-opportunity kibitzer.)

OK, quickly. Sure, an interesting question for subjectivists is how to deal with pure states, but an interesting question for realists is how to deal with mixed states! The issue is that you can't just say a density matrix ρ represents a statistical ensemble over "true states of the world" and be done with it, since then you have to make a completely arbitrary, physically-unmotivated choice for whether those true states lie in the {0,1} basis, the {+,-} basis, etc. In an interpretations of QM seminar at Berkeley, we spent pretty much the entire semester arguing about this and nothing else! Yes, it got tiresome, and no, I wasn't even suggesting that Eliezer bring in mixed states before people understood the fundamentals. I was just alluding to it as a key thing to get to eventually, that's all.

Silas - seconded, that would be a very useful page indeed.

mtraven - sounds good. What's the rough level of maths required to get much out of Good and Real?

Scott, is there a paper somewhere that elaborates this argument from mixed-state ambiguity? To my mind, the fact that two different situations of uncertainty over true states lead to the same physical predictions isn't obviously a reason to reject that type of view regarding what is real.

Robin, a good place to start would be pretty much any paper Chris Fuchs has ever written. See for example this one (p. 9-12). As Chris points out, the argument from the non-uniqueness of mixed state decompositions basically goes back to Einstein (in a version involving two-particle entanglement). From a modern perspective, where Einstein went wrong was in his further inference that QM therefore has to be incomplete.

Robin: is there a paper somewhere that elaborates this argument from mixed-state ambiguity?

Scott should add his own recommendations, but I would say here is a good starting introduction.

To my mind, the fact that two different situations of uncertainty over true states lead to the same physical predictions isn't obviously a reason to reject that type of view regarding what is real.

The anti-MWI position here is that MWI produces different predictions depending on what basis is arbitrarily picked by the predictor; and that the various MWI efforts to "patch" this problem without postulating a new law of physics, are like squaring the circle. I think the anti-MWI'ers math is correct, but I'm not an expert enough to be 100% sure; what really makes me think MWI is wrong is the inability of the MWI'ers, after many decades, to produce an algorithm that you can "turn the crank" on to get the correct probabilities that we see in experiments; they have the tendency of trying to patch this "basis problem" by producing a new framework, which itself contains an arbitrary choice that's just as bad as the arbitrary choice of basis.

More succinctly, in vanilla MWI you have to pick the correct basis to get the correct experimental results, and you have to peek at the results to get the correct basis.

the fact that two different situations of uncertainty over true states lead to the same physical predictions isn't obviously a reason to reject that type of view regarding what is real.

Sorry, I meant to add: in Einstein's version, the problem is that which of the two "situations of uncertainty" is the right one to talk about could depend on what someone does to another quantum system light-years away. And therefore, nature is going to have to propagate updates about what's "really real" faster than the speed of light.

Scott, I can accept that reality talks to itself faster than light, though it is moderately troubling if we haven't found a covariant way to describe such a situation of real things we are uncertain about. Maybe reality isn't covariant?

Ben - Good and Real requires very little mathematics as I recall, maybe just the ability to do basic probability calculations.

though it is moderately troubling if we haven't found a covariant way to describe such a situation of real things we are uncertain about.

What's worse, Bell's Theorem implies that in some sense such a description can't exist.

I can accept that reality talks to itself faster than light, though it is moderately troubling if we haven't found a covariant way to describe such a situation of real things we are uncertain about.

Robin, can you clarify the second half of this sentence? Are you troubled that there is no local realistic model for the predictions of quantum theory, or by something more subtle?

mtraven, many thanks.

our equations describe the territory and not our maps of it

I would disagree on similar statements about pretty much any physical theory (or even, any theory at all). Our equations describe a model which approximates the real world to a good-enough degree in their scope of applicability, but is not the real world. (For example, standard QFT describes a world with a fixed background flat spacetime, and the real world isn't like that.)

I am not going to tell you: "You don't understand quantum mechanics, you just get used to it." (As von Neumann is reputed to have said; back in the dark decades when, in fact, no one did understand quantum mechanics.)

In 2009 I still heard professors say this at the start of such classes. :/

Aaronson takes a similar approach to explaining quantum mechanics in chapter 9 of Quantum Computing Since Democritus (2013):

As a direct result of [the way quantum mechanics is usually taught in textbooks], the subject acquired an unnecessary reputation for being complicated and hard. Educated people memorized the slogans — "light is both a wave and a particle," "the cat is neither dead nor alive until you look," "you can ask about the position or the momentum, but not both," "one particular instantly learns the spin of the other through spooky action-at-a-distance," etc. But they also learned that they shouldn't even try to understand such things without years of painstaking work.

The second way to teach quantum mechanics eschews a blow-by-blow account of its discovery, and instead starts directly from the conceptual core...

Just for the heck of it, here's another passage from that chapter:

So what is quantum mechanics? ...In the usual "heirarchy of sciences" — with biology at the top, then chemistry, then physics, then math — quantum mechanics sits at a level between math and physics that I don't know a good name for. Basically, quantum mechanics is the operating system that other physical theories run on as application software (with the exception of general relativity, which hasn't yet been successfully ported to this particular OS). There's even a word for taking a physical theory and porting it to this OS: "to quantize."

But if quantum mechanics isn't physics in the usual sense — if it's not about matter, or energy, or waves, or particles — then what is it about? From my perspective, it's about information and probabilities and observables, and how they relate to each other.

My contention in this chapter is the following: Quantum mechanics is what you would inevitably come up with if you started from probability theory, and then said, let's try to generalize it so that the numbers we used to call "probabilities" can be negative numbers. As such, the theory could have been invented by mathematicians in the nineteenth century without any input from experiment. It wasn't, but it could have been.

And yet, with all the structures mathematicians studied, none of them came up with quantum mechanics until experiment forced it on them. And that's a perfect illustration of why experiments are relevant in the first place! More often than not, the only reason we need experiments is that we're not smart enough.

The link to an "Intuitive Explanation of Bayesian Reasoning" is broken. The new URL is here: http://yudkowsky.net/rational/bayes

When I read Eliezer's articles or books, I feel that math is very cool, and that's why I love learning math.

But sometimes, people around me say, "Why do you need math? How is it even useful in life?", and while I disagree with them, I am completely unable to articulate my intuition to explain why math is necessary. Maybe it is connect with the fact that I can't articulate what exactly math studies.

So, if someone were told you that math is useless, what would you say?