Eliezer, in case you plan to discuss Bell's-inequality-type experiments in future posts, I suggest that you use the GHZ state (not the EPR pair) to show how local realism is ruled out in QM. The GHZ state is a much cleaner result, and is not obscurred by the statistics inherent in Bell's inequality.
I think some of my readers may be overestimating the degree to which I intend to explain quantum mechanics, here. I'm not doing a textbook. I'm trying to get (reasonably smart nonphysicist) readers to the point where they're no longer confused, and the remaining difficulties are mere matters of math.
Still a useful suggestion though, thanks.
A configuration can store a single complex value - "complex" as in the complex numbers (a + bi).Any complex number? I.e. you're invoking an uncountable infinity for explaining the lowest known layer of physics? How does that fit in with being an infinite-set atheist - assuming you still hold that position?
Eliezer (and Robin) this series is very interesting and all, but.... aren't you writing this on the wrong blog?
I used to like this blog better when it was all about overcoming bias
For a rather silly reason, I wrote something about:
... explaining the lowest known layer of physics ...Please ignore the "lowest known layer" part. I accidentally committed a mind projection fallacy while writing that comment.
botogol:
Eliezer (and Robin) this series is very interesting and all, but.... aren't you writing this on the wrong blog?
I have the impression Eliezer writes blog entries in much the same way I read Wikipedia: Slowly working from A to B in a grandiose excess of detours... =)
Any complex number? I.e. you're invoking an uncountable infinity for explaining the lowest known layer of physics? How does that fit in with being an infinite-set atheist - assuming you still hold that position?
In case you didn't notice, he's talking about a complex number, not all the complex numbers.
So... I'm confused. You say:
"...the half-silvered mirror rule is "Multiply by 1 when the photon goes straight, and multiply by i when the photon turns at a right angle."
We appear to have defined everything needful, except the word "when".
Accepting that we are just performing 'operations' on 'configurations', what decides which operation will be performed? Is it the configuration of the incoming photon? Is it some magical (i.e.quantum) property of a half of a silver?
Eliezer, I realise there's still a way to go, but I just wanted to let you know that this is already much more useful than any conversion I've had about QM with anyone in the past. Thank you.
Eadwacer, I might be wrong, but I'd assumed both operations are always performed.
as far as uncountable complex states... well, the actual complex values don't matter so much as the relative phases. Maybe best to think about it almost as a geometrical principle, of sorts.
Here I'm just speculating, but maybe relative phase (that is, angle when representing the complex value in polar notation) can only be shifted by rational amounts? That is, the relative phase between thingie 1 and thingie 2 is x*2Pi, where x must be rational?
I'm not saying this is the way it is, but I can certainly see, based on my, as of yet, limited knowledge, that it could be that way.
I guess, Eliezer, that I would be concerned about convincing everyone that the universe runs along like a computer, computing amplitudes locally (which seems to be the gist of your discussion). To do so would certainly make people feel like QM isn't confusing; it would just be wave mechanics. But this would give people a false confidence, I think, and is not how the universe appears to operate.
But this is the first post, so I'll try to confine my criticism until you've wrapped up your discussion.
Psy-Kosh, when QM is formulated rigorously (something that is rarely done, and only by mathematical physicists) the amplitudes must be able to take on any number in the complex plane, not just the rationals.
Sebastian Hagen, I believe Eliezer is explaining to us the best model physicists have for the way the world works on the (sorta) lowest level we understand, not his personal beliefs on the nature of reality. This model must include the irrationals, to be self-consistent. This does not prevent the universe from being discretized (no uncountable sets) on a more fundamental level from QM.
aren't you writing this on the wrong blog?
As far as I know Robin doesn't actually have a separate economics blog and he seems to drop any economics topic that interests him into this one, so neither Eliezer nor Robin always stick closely to the "bias" theme. Does it really matter?
So the universe isn’t made of little billiard balls, and it isn’t made of crests and troughs in a pool of aether… Then what is the stuff that stuff is made of?
In Figure 1, we see, at A, a half-silvered mirror, and two photon detectors, Detector 1 and Detector 2.
Early scientists, when they ran experiments like this, became confused about what the results meant. They would send a photon toward the half-silvered mirror, and half the time they would see Detector 1 click, and the other half of the time they would see Detector 2 click.
The early scientists—you’re going to laugh at this—thought that the silver mirror deflected the photon half the time, and let it through half the time.
Ha, ha! As if the half-silvered mirror did different things on different occasions! I want you to let go of this idea, because if you cling to what early scientists thought, you will become extremely confused. The half-silvered mirror obeys the same rule every time.
If you were going to write a computer program that was this experiment— not a computer program that predicted the result of the experiment, but a computer program that resembled the underlying reality—it might look sort of like this:
At the start of the program (the start of the experiment, the start of time) there’s a certain mathematical entity, called a configuration. You can think of this configuration as corresponding to “there is one photon heading from the photon source toward the half-silvered mirror,” or just “a photon heading toward A.”
A configuration can store a single complex value—“complex” as in the complex numbers (a+bi), with i defined as √−1. At the start of the program, there’s already a complex number stored in the configuration “a photon heading toward A.” The exact value doesn’t matter so long as it’s not zero. We’ll let the configuration “a photon heading toward A” have a value of (−1+0i).
All this is a fact within the territory, not a description of anyone’s knowledge. A configuration isn’t a proposition or a possible way the world could be. A configuration is a variable in the program—you can think of it as a kind of memory location whose index is “a photon heading toward A”—and it’s out there in the territory.
As the complex numbers that get assigned to configurations are not positive real numbers between 0 and 1, there is no danger of confusing them with probabilities. “A photon heading toward A” has complex value −1, which is hard to see as a degree of belief. The complex numbers are values within the program, again out there in the territory. We’ll call the complex numbers amplitudes.
There are two other configurations, which we’ll call “a photon going from A to Detector 1” and “a photon going from A to Detector 2.” These configurations don’t have a complex value yet; it gets assigned as the program runs.
We are going to calculate the amplitudes of “a photon going from A toward 1” and “a photon going from A toward 2” using the value of “a photon going toward A,” and the rule that describes the half-silvered mirror at A.
Roughly speaking, the half-silvered mirror rule is “multiply by 1 when the photon goes straight, and multiply by i when the photon turns at a right angle.” This is the universal rule that relates the amplitude of the configuration of “a photon going in,” to the amplitude that goes to the configurations of “a photon coming out straight” or “a photon being deflected.”[1]
So we pipe the amplitude of the configuration “a photon going toward A,” which is (−1+0i), into the half-silvered mirror at A, and this transmits an amplitude of (−1+0i)×i=(0−i) to “a photon going from A toward 1,” and also transmits an amplitude of (−1+0i)×1=(−1+0i) to “a photon going from A toward 2.”
In the Figure 1 experiment, these are all the configurations and all the transmitted amplitude we need to worry about, so we’re done. Or, if you want to think of “Detector 1 gets a photon” and “Detector 2 gets a photon” as separate configurations, they’d just inherit their values from “A to 1” and “A to 2” respectively. (Actually, the values inherited should be multiplied by another complex factor, corresponding to the distance from A to the detector; but we will ignore that for now, and suppose that all distances traveled in our experiments happen to correspond to a complex factor of 1.)
So the final program state is:
and optionally
This same result occurs—the same amplitudes stored in the same configurations—every time you run the program (every time you do the experiment).
Now, for complicated reasons that we aren’t going to go into here— considerations that belong on a higher level of organization than fundamental quantum mechanics, the same way that atoms are more complicated than quarks—there’s no simplemeasuring instrument that can directly tell us the exact amplitudes of each configuration. We can’t directly see the program state.
So how do physicists know what the amplitudes are?
We do have a magical measuring tool that can tell us the squared modulus of a configuration’s amplitude. If the original complex amplitude is (a+bi), we can get the positive real number (a2+b2). Think of the Pythagorean theorem: if you imagine the complex number as a little arrow stretching out from the origin on a two-dimensional plane, then the magic tool tells us the squared length of the little arrow, but it doesn’t tell us the direction the arrow is pointing.
To be more precise, the magic tool actually just tells us the ratios of the squared lengths of the amplitudes in some configurations. We don’t know how long the arrows are in an absolute sense, just how long they are relative to each other. But this turns out to be enough information to let us reconstruct the laws of physics—the rules of the program. And so I can talk about amplitudes, not just ratios of squared moduli.
When we wave the magic tool over “Detector 1 gets a photon” and “Detector 2 gets a photon,” we discover that these configurations have the same squared modulus—the lengths of the arrows are the same. Thus speaks the magic tool. By doing more complicated experiments (to be seen shortly), we can tell that the original complex numbers had a ratio of i to 1.
And what is this magical measuring tool?
Well, from the perspective of everyday life—way, way, way above the quantum level and a lot more complicated—the magical measuring tool is that we send some photons toward the half-silvered mirror, one at a time, and count up how many photons arrive at Detector 1 versus Detector 2 over a few thousand trials. The ratio of these values is the ratio of the squared moduli of the amplitudes. But the reason for this is not something we are going to consider yet. Walk before you run. It is not possible to understand what happens all the way up at the level of everyday life, before you understand what goes on in much simpler cases.
For today’s purposes, we have a magical squared-modulus-ratio reader. And the magic tool tells us that the little two-dimensional arrow for the configuration “Detector 1 gets a photon” has the same squared length as for “Detector 2 gets a photon.” That’s all.
You may wonder, “Given that the magic tool works this way, what motivates us to use quantum theory, instead of thinking that the half-silvered mirror reflects the photon around half the time?”
Well, that’s just begging to be confused—putting yourself into a historically realistic frame of mind like that and using everyday intuitions. Did I say anything about a little billiard ball going one way or the other and possibly bouncing off a mirror? That’s not how reality works. Reality is about complex amplitudes flowing between configurations, and the laws of the flow are stable.
But if you insist on seeing a more complicated situation that billiard-ball ways of thinking can’t handle, here’s a more complicated experiment.
In Figure 2, B and C are full mirrors, and A and D are half-mirrors. The line from D to E is dashed for reasons that will become apparent, but amplitude is flowing from D to E under exactly the same laws.
Now let’s apply the rules we learned before:
At the beginning of time “a photon heading toward A” has amplitude (−1+0i).
We proceed to compute the amplitude for the configurations “a photon going from A to B” and “a photon going from A to C”:
Similarly,
The full mirrors behave (as one would expect) like half of a half-silvered mirror—a full mirror just bends things by right angles and multiplies them by i. (To state this slightly more precisely: For a full mirror, the amplitude that flows, from the configuration of a photon heading in, to the configuration of a photon heading out at a right angle, is multiplied by a factor of i.)
So:
“B to D” and “C to D” are two different configurations—we don’t simply write “a photon at D”—because the photons are arriving at two different angles in these two different configurations. And what D does to a photon depends on the angle at which the photon arrives.
Again, the rule (speaking loosely) is that when a half-silvered mirror bends light at a right angle, the amplitude that flows from the photon-going-in configuration to the photon-going-out configuration, is the amplitude of the photon-going-in configuration multiplied by i. And when two configurations are related by a half-silvered mirror letting light straight through, the amplitude that flows from the photon-going-in configuration is multiplied by 1.
So:
From the configuration “a photon going from B to D,” with original amplitude(1+0i)
From the configuration “a photon going from C to D,” with original amplitude(0−i)
Therefore:
(You may want to try working this out yourself on pen and paper if you lost track at any point.)
But the upshot, from that super-high-level “experimental” perspective that we think of as normal life, is that we see no photons detected at E. Every photon seems to end up at F. The ratio of squared moduli between “D to E” and “D to F” is 0 to 4. That’s why the line from D to E is dashed, in this figure.
This is not something it is possible to explain by thinking of half-silvered mirrors deflecting little incoming billiard balls half the time. You’ve got to think in terms of amplitude flows.
If half-silvered mirrors deflected a little billiard ball half the time, in this setup, the little ball would end up at Detector 1 around half the time and Detector 2 around half the time. Which it doesn’t. So don’t think that.
You may say, “But wait a minute! I can think of another hypothesis that accounts for this result. What if, when a half-silvered mirror reflects a photon, it does something to the photon that ensures it doesn’t get reflected next time? And when it lets a photon go through straight, it does something to the photon so it gets reflected next time.”
Now really, there’s no need to go making the rules so complicated. Occam’s Razor, remember. Just stick with simple, normal amplitude flows between configurations.
But if you want another experiment that disproves your new alternative hypothesis, it’s Figure 3.
Here, we’ve left the whole experimental setup the same, and just put a little blocking object between B and D. This ensures that the amplitude of “a photon going from B to D” is 0.
Once you eliminate the amplitude contributions from that configuration, you end up with totals of (1+0i) in “a photon going from D to F, ” and (0−i) in “a photon going from D to E.”
The squared moduli of (1+0i) and (0−i) are both 1, so the magic measuring tool should tell us that the ratio of squared moduli is 1. Way back up at the level where physicists exist, we should find that Detector 1 goes off half the time, and Detector 2 half the time.
The same thing happens if we put the block between C and D. The amplitudes are different, but the ratio of the squared moduli is still 1, so Detector 1 goes off half the time and Detector 2 goes off half the time.
This cannot possibly happen with a little billiard ball that either does or doesn’t get reflected by the half-silvered mirrors.
Because complex numbers can have opposite directions, like 1 and −1, or i and −i, amplitude flows can cancel each other out. Amplitude flowing from configuration X into configuration Y can be canceled out by an equal and opposite amplitude flowing from configuration Z into configuration Y. In fact, that’s exactly what happens in this experiment.
In probability theory, when something can either happen one way or another, X or ¬X, then P(Z)=P(Z|X)P(X)+P(Z|¬X)P(¬X). And all probabilities are positive. So if you establish that the probability of Z happening given X is 12, and the probability of X happening is 13, then the total probability of Z happening is at least 16 no matter what goes on in the case of ¬X. There’s no such thing as negative probability, less-than-impossible credence, or (0+i) credibility, so degrees of belief can’t cancel each other out like amplitudes do.
Not to mention that probability is in the mind to begin with; and we are talking about the territory, the program-that-is-reality, not talking about human cognition or states of partial knowledge.
By the same token, configurations are not propositions, not statements, not ways the world could conceivably be. Configurations are not semantic constructs. Adjectives like probable do not apply to them; they are not beliefs or sentences or possible worlds. They are not true or false but simply real.
In the experiment of Figure 2, do not be tempted to think anything like: “The photon goes to either B or C, but it could have gone the other way, and this possibility interferes with its ability to go to E…”
It makes no sense to think of something that “could have happened but didn’t” exerting an effect on the world. We can imagine things that could have happened but didn’t—like thinking, “Gosh, that car almost hit me”—and our imagination can have an effect on our future behavior. But the event of imagination is a real event, that actually happens, and that is what has the effect. It’s your imagination of the unreal event—your very real imagination, implemented within a quite physical brain—that affects your behavior.
To think that the actual event of a car hitting you—this event which could have happened to you, but in fact didn’t—is directly exerting a causal effect on your behavior, is mixing up the map with the territory.
What affects the world is real. (If things can affect the world without being “real,” it’s hard to see what the word “real” means.) Configurations and amplitude flows are causes, and they have visible effects; they are real. Configurations are not possible worlds and amplitudes are not degrees of belief, any more than your chair is a possible world or the sky is a degree of belief.
So what is a configuration, then?
Well, you’ll be getting a clearer idea of that in later essays.
But to give you a quick idea of how the real picture differs from the simplified version we saw in this essay…
Our experimental setup only dealt with one moving particle, a single photon. Real configurations are about multiple particles. The next essay will deal with the case of more than one particle, and that should give you a much clearer idea of what a configuration is.
Each configuration we talked about should have described a joint position of all the particles in the mirrors and detectors, not just the position of one photon bopping around.
In fact, the really real configurations are over joint positions of all the particles in the universe, including the particles making up the experimenters. You can see why I’m saving the notion of experimental results for later essays.
In the real world, amplitude is a continuous distribution over a continuous space of configurations. This essay’s “configurations” were blocky and digital, and so were our “amplitude flows.” It was as if we were talking about a photon teleporting from one place to another.
If none of that made sense, don’t worry. It will be cleared up in later essays. Just wanted to give you some idea of where this was heading.
1. [Editor’s Note: Strictly speaking, a standard half-silvered mirror would yield a rule “multiply by −1 when the photon turns at a right angle,” not “multiply by i.” The basic scenario described by the author is not physically impossible, and its use does not affect the substantive argument. However, physics students may come away confused if they compare the discussion here to textbook discussions of Mach–Zehnder interferometers. We’ve left this idiosyncrasy in the text because it eliminates any need to specify which side of the mirror is half-silvered, simplifying the experiment.]