Hello all! It has been a very long time since I last wrote; I have been going to and from CERN as we’re preparing for the LHC. I’m in Geneva right now, and I just came back from watching *En Pleine Nature (Into the Wild).* Without giving away too much plot, this movie contains a bear that did not eat anyone. It made me think of *Grizzly Man* from a few years ago, in which another bear did. What impressed me most about *Grizzly Man* is that the probability of being eaten by a bear, should we find ourselves face-to-face, is not a simple 20%. It depends a great deal on who the bear is, what he thinks about humans, how hungry he is, what I smell like, the weather, his mood, etc. There’s a whole space of parameters, and some regions of this space are filled with nearly 100%, others with nearly 0%.

Let’s say we’re doing a scientific study of bears eating people. In our first experiment, we put 100 people in the woods and just count how many get eaten. Then we’d like to get more grant money, so we do a more in-depth analysis by controlling for several variables: some of our volunteers are smeared in honey barbeque sauce, others aren’t. Our sequence of studies slowly sharpen the focus on the bear-eating parameter space, identifying the high-probability regions and the low-probability regions. Where does this process end? If we could do infinitely many studies, would we find that each point is either 100% or 0% (deterministic bears)? Or not (uncertain bears)?

Framing a discussion of quantum mechanics in this way illustrates a feature that is often missed: the connection between quantization and uncertainty. Usually these two topics just fall out of the postulates with little indication that they are related. As it turns out, quantization makes fundamental uncertainty possible.

To move this discussion toward quantum mechanics, let’s consider a simpler system: the motion of a pendulum. The state of a pendulum at a given time has two parameters, the position and the momentum. Given two initial conditions, the pendulum will follow a curve in the space of momentum and position (phase space).

If we were studying this system with no *a priori* knowledge about pendulums, we might first block off a region and ask, “What fraction of the points in this region does the pendulum go through?” If this is an empirical study, there will be round-off error (note that the above image is a bitmap) and we will get some small fraction, greater than zero. (If you like, you can put in the epsilons necessary to make sense of this.) The result of our first study in the *Journal of Pendulums and Bears* might go something like this: “With such-and-such initial conditions, we sampled 1000 points in region of parameter space, and 5 of them came within of the path of the pendulum. We therefore conclude that if you are in region , you have a 0.50% 0.22% probability of catching a ride on a pendulum. Follow-up studies are underway.”

The next study involves two subregions, and , which result in 0.7% and 0.1%. The third generation involves even more regions, and after a while, we reproduce the entire bitmapped image above, where some pixels have 0% pendulum crossings and some have high probabilities.

The story gets more interesting when we consider a chaotic system with a phase space diagram like the following.

Here, some regions might actually be dense (ask a dynamicist), and we can dispense with our . We can map this with the same scientific technique of subdividing regions and sampling probabilities. Just as for the bears, and especially for the pendulum and the chaotic system, the probability sharpens as we narrow our focus, and if we could go all the way down to individual points, the answer would either be “Yes, the path did pass through this point,” or “No, it did not.” 100% and 0%. Deterministic bears.

All of the above was pre-quantum mechanics, in that I assumed we could infinitely subdivide our region. On the contrary, quantum systems are restricted to discrete sets. You’ve probably heard of the discrete energy levels of the Hydrogen atom: electrons can only take values of -13.6 eV, -3.4 eV, -1.5 eV, -0.85 eV, etc., and nothing in between. Freely-propagating electron waves can occupy a continuum of momentum states, yet there is a sense in which they, too, are discretized.

Heisenberg’s uncertainty principle puts a lower limit on the area of phase space we can consider. The famous relation is

where is an interval of space, is an interval of momentum, and is a fundamental constant of nature. On our phase space diagram, this could be a small rectangle with sides and , or it could be a blob with the same area. A freely-propagating electron occupies at least one of these blobs, and that is the sense in which it is discrete. This is a rather fluid definition of discretization, as we get to choose the shapes of our blobs, but all of quantum mechanics works this way. (In the Hydrogen atom, energy is a particularly natural variable, but we could have worked with regions in energy-time.)

If we now study a quantum system, such as the phase space of a free electron, we start by asking, “Is the electron somewhere in the universe?” The answer is “yes, 100%.” We go on with our scientific technique, until we cover the universe with pixels, each with area . Now we can go no further. We’re left with a map of probabilities, or 100% in one pixel and 0% in the rest.

If we could continue our subdivision process, as in the classical case, we could hold out for the possibility that the 30% grey regions are really populated with black and white in a pattern that only looks grey from a distance. Or we might discover that our 100% point has a shape or is fuzzy. But in a quantized system, this is impossible. We have to stop when we get to the atomic unit of phase space.

Thus, you can never be sure whether the classical system you’re studying is deterministic or uncertain, but quantum systems are certainly uncertain. This uncertainty is different from measurement error because you have already fully measured everything that you can; it is a fundamental uncertainty deriving from quantization. Without quantization, there would be no fundamental uncertainty, only a measurement error that can be reduced by a notch on the next round of experiments.

Thus, we don’t need to worry about whether a certain parameter in Saturn’s orbit is rational or irrational, because it’s quantized anyway.

We do, however, need to worry if bears are irrational.

Tags: bears, chaos, dynamical systems, quantum mechanics

February 17, 2008 at 7:40 pm |

Well, we know that bears are Godless killing machines. My gut tells me that’s rational.

February 20, 2008 at 11:53 am |

I’m sure you were just going for dramatic effect, but the hydrogen energy levels being so discrete as “nothing in between” is a theoretical simplification. The way we measure those discrete energy levels of hydrogen is by measuring the wavelength of the light emission or absorption of hydrogen atoms. The same underlying uncertainty principle gives a nonzero lower bound on our accuracy in measuring the wavelengths. This means the hydrogen line spectrum is actually really a bunch of bands — very thin but still having some fundamental width. From a practical point of view, this thickness is probably small enough — in macroscopic units, is on the order of — to allow us to differentiate every molecule in the universe without much trouble.

February 23, 2008 at 1:06 pm |

Thanks for pointing it out!

Yes, this is the effect I wanted to sweep under the rug to handle the equivalent thing in a more familiar setting. Hydrogen lines are narrow bands because excited states of hydrogen don’t sit exactly on the energy basis, but in a linear combination of energy and time. One could imagine making a phase space plot in energy and time, rather than momentum and position, selecting pixels that have a small width in energy (the width of the hydrogen line) and a width in time (the decay lifetime). Like you say, the area of this kind of pixel is also , In fact, I just swept it under the rug again, because one has to consider a non-self-adjoint Hamiltonian to talk about “uncertainty in energy” in this way. I seem to remember this being a topic that becomes more rigorous in quantum field theory.

Not only is the position-momentum basis better justified formally, it’s also something that people are familiar with, particularly in dynamical systems and chaos theory. I think it’s fun to keep in mind that in real life, the fine structure in these plots reaches a fundamental limit: there are atoms of action (units of position times momentum). I hear tell that neurons in the brain exhibit chaotic behavior, with some kind of fractical dimension. If so, this reaches a quantum limit and provides a mechanism by which quantum indeterminancy can climb the ladder to macroscopic human behavior.

Which I think is cool.

February 26, 2008 at 12:30 am |

It is definitely cool. When I was an undergrad, I went to philosophy department talks and seminars fairly regularly. One invited speaker gave a talk about how eventually science would be able to reduce things like criminal behavior down to the motion of atoms and things like that — an argument not too far from the nineteenth-century philosopher Peirce. I shouldn’t have been, but I was kind of surprised that this 21st-century philosopher of science hadn’t gotten the memo from pre-war physics. In a lot of ways, Heisenberg’s Uncertainty Principle is to physics is a lot like Godel’s Incompleteness Theorem is to mathematics. Each in its own way puts limitations on the vastness of our potential knowledge. And yet most philosophers don’t seem to know these facts!

February 26, 2008 at 5:56 am |

If uncertainty in quantum mechanics comes from (or is inseperable from) quantisation, then where does it come from in it’s mathematical formulation i.e in terms of a space and its Fourier transform?

February 26, 2008 at 11:40 pm |

[…] Certain About Uncertainty I was motivated by a comment on Jim Pivarski’s recent post to speak about the Heisenberg Uncertainty Principle. Someone asked, If uncertainty in quantum […]

February 26, 2008 at 11:43 pm |

Jonathon,

I just wrote a post answering your question. Please refer to the link above.