Showing posts with label mathematics. Show all posts
Showing posts with label mathematics. Show all posts

02 January 2004

Many Worlds Apart

contributed by Stephen D. Unwin
author of The Probability of God

Be kind to people. Don't steal from them. Be honest. The world was created six thousand years ago.

To keep me on track in pursuit of the moral life, I often sketch out the tenets of my religious beliefs. These elements seem coherent, although I admit to being a little leery about one of them. It is, of course, the one about being honest. I feel intuitively that God would want me to tell old friends they still look good after all these years. I really need to explore further the theology of honesty.

I didn't always believe all these things. Take the matter of the world's genesis, for example. In darker days, I thought of myself as a weak anthropicist. The adjective 'weak' doesn't apply to the degree of my commitment, but reflects someone's notion that the principle in which I believed - the weak anthropic principle - is a weaker variant of another form. Paradoxically, it was for me the weak version of the principle that was by far the more powerful and compelling. Attaching to it the epithet "weak", I suspect, is in the same spirit of banks and insurance companies issuing "nondisclosure statements"; that is, they are titled antithetically to content in order to allay any fuss. The strong anthropic principle has it that the universe must possess properties that ensure the emergence of observers. This idea always struck me as having unnecessarily strong teleological overtones. The weak, yet, in my opinion, more powerful version of the principle is that any observed universe must have those properties necessary to produce observers. The reason that this principle is so powerful is that it lacks any of those attributes that expose it to the possibility of being wrong. It has the incontrovertible and awesome power of tautology. Anyhow, strong or weak, the anthropic principle is often proffered as the reason that the universe is seemingly fine-tuned - that is, all the physical laws and constants of nature are calibrated just-so - to produce galaxies, stars, atomic matter, and, ultimately, life.

For the weak anthropic principle to make sense as an explanation of fine-tuning, we must accept the notion that there exist many universes, most of them untuned and lifeless, but in which the fine-tuning issue would never be raised. Yet - and here's the point - some tiny fraction of these universes; that is, those in which the laws and physical constants are just right, would be life-bearing. We could then conclude, with compelling obviousness, that we must live in one of the few that are just right for us. So, if someone marvels, somewhat parochially, that had the fundamental constants of nature been just a few percentage points different, it would have resulted in chaos and black holes instead of structure and life, then we can inform them with confidence that there are indeed plenty of universes just like that, but it isn’t our problem.

Now, some might ask if there is really any economy of belief in accepting this multitude of universes in preference to, say, the idea of a single cosmic designer who went out of his way to do all that fine-tuning? Perhaps it's just my frugal, north-of-England upbringing, but, as a general principle, I've always considered vast numbers of universes to be a rather extravagant solution to any problem. Now to be fair, one can go some way toward putting these universes on a reasonably sound physical footing. There is the so-called Everett 'many-worlds' interpretation of quantum mechanics that has the universe splitting continually as quantum mechanical wave functions collapse - where each outcome to a quantum uncertainty represents a branch in the split. On the other hand, all these branching universes are governed by the same physical laws, and so this model is of limited help with the fine-tuning question. Then again, the Everett model doesn't have the monopoly on multi-universe concepts. There's always the idea that there are multiple parallel universes with different sets of physical laws - perhaps even some without much in the way of laws at all, where a physicist would be hard-pressed to get one lousy paper out of the whole thing. Or, if arguing for the notion of 'parallel universes' makes you feel a little nerdish and Trekkie-esque, what about the idea of an ongoing cycle of big-bangs and big-crunches giving rise to serial universes? This, of course, raises the issue of geese, as I will explain.

Say I inform you of the existence of an invisible and generally undetectable goose in the middle of my desk. What’s the risk of having you falsify my assertion? I think I'm pretty safe on the science front because science is quite ill-equipped to take on this sort of pronouncement. After all, science's starting point generally involves detection and measurement, and my goose is quite immune to that type of thing. Perhaps a philosopher - one of those who deals in metaphysics - could challenge my proposition. Yet again, he or she, by profession, might be considered less credible than the goose.

Indeed, science's preoccupation with observation renders it quite impotent when it comes to denying or confirming the existence of the undetectable. So, returning to the universes: if they are in principle unobservable - which they are generally considered to be (with the possible exception of the Everett model, which wasn't of much use, anyway) - then this many-universe outlook could not really be considered a scientific one. Yet, it seems in some intuitive way to have a meta-scientific flavor to it, doesn’t it? I must confess that I'm not entirely sure why I think this. Perhaps it's that science has come to gain some foothold on the physical universe, and on geese too, for that matter. So, to posit the existence of the undetectable goose or the unobservable universes has a sciencey feel to it. This would be in contrast to, say, positing the existence of God, who could by no means be considered some variant on a scientifically concrete idea. This is the best rationale I can muster for my meta-science claim.

I admit that any one of these beliefs - in undetectable universes, invisible geese, or God - would require somewhat of a leap of faith. I suppose we must each take our own path - and the option to which I have come to attach my own faith is God. If I were pressed for some justification (notwithstanding the whole issue of explanatory economics, which might simply be a case of cheapness on my part), I think I might play the logical positivism card to argue that at least the God in which I believe is, in a way I won’t expound here, detectable.

Now, it would crush me to think that my beliefs could be construed as an affront to the faith of others. I would not wish to offend those whose faith attaches to the notion of multiple universes, nor to offend the goose cultists for that matter. I will not be accused of attacking the religions of others. I am, after all, fully aware that my belief is simply one of faith, and that the physics of the natural world provides no argument for this preference.

Be kind to people. Don't steal from them. Be honest. The world was created six thousand years ago. As I think about it more, that last thing about the world being six thousand years old could be another problem. I suspect it's probably true — raising the tougher and more pertinent question of this: true in which universe?

05 November 2000

The Best and Most Useful Lie Ever Told

The Reality and Unreality of Calculus
We're going to make the lie true. - Maggie in Tennesee Williams, Cat on a Hot Tin Roof, 1955

At a web site devoted in large part to the ethics of honesty over and against the ethics of moral purity, it is only fair to acknowledge the limits of honesty itself. After all, complete honesty requires complete self-insight, which none of us has unless it is a gift of God. Besides, sometimes something less than honesty can have great practical value, especially in applied mathematics.

Now mathematics itself can't lie, because it is its own context. It is a language that, if you follow its grammatical rules, guarantees truth, because it only talks about itself. The lie comes in the misapplication of mathematics to real-world situations. Or as Disraeli once said, "There are lies, damned lies, and statistics." But let's skip statistics and get right to the root of it all - calculus, the subject I think every college freshman should study.1

Calculus, especially differential calculus, is used to model almost all the physics we know. This modeling is based on the idea that we can evaluate a function of position and time at points that are arbitrarily close to each other. Suppose for example that we do not know the value of a function at point B, but we do in the region around B. We simply keep picking points A closer and closer to point B, and note the trend in the value of the function we're interested in. This is called taking the limit of our function as point A approaches point B.

To be concrete about this, suppose you wrote down the times you passed certain distance markers as you drove down the highway. For our function we could take the distance between any two markers (in miles or kilometers) and divide by the time (in hours) it took you to drive between the markers, giving your speed in either miles or kilometers per hour. That would give us your average speed between the markers. To get your instantaneous speed, we would have to measure your position at two points infinitesmally close together and divide by the infinitesmally small time interval it took you to go between them. While this may present a problem for actual measurement, it's no problem for mathematics.

Now, as long as we have gone this far, we could take the difference between your instantaneous speeds at two infinitesmally close points along the road, divide by the infinitesmally small time interval it took you to pass from one to the other and get your instantaneous acceleration - the instantaneous change in your instantaneous speed (in miles or kilometers per hour per hour). It is this instantaneous acceleration that Newton was referring to when he wrote "F=ma," or "force equals mass times acceleration," the equation upon which all our physics, directly or indirectly, is based.

The problem is that these limits as one point gets infinitesmally close to another don't really exist. The existence of such a limit presupposes that space and time have no gaps - that they are continuous - which means that you can go smoothly from point A to point B without encountering any holes in the "fabric" of space and time. In fact, the requirements are more stringent: also disallowed are creases, kinks, knots, edges, passageways like the holes in a sponge, etc. For the notion of limits (on which calculus depends) to be valid, the ride from A to B must be much smoother that it possibly can be.

Of course, you don't notice rough spots in space and time while driving your car or walking down the street, because they are quite small, much smaller than an atomic nucleus, or even a sub-atomic particle. But we suspect they're there, because of the probable existence of quantum gravitational zero-point oscillations, the so-called "spacetime foam" mentioned in a previous essay.2 Such a foam may seem smooth to say, a sub-atomic particle, but would be far too rough for calculus to be valid all the way down to infinitesmally small scales.

Another reason I suspect the calculus of being invalid is macroscopic, the so-called Einstein-Poldosky-Rosen paradox,3 which begins like this. Suppose you had a sub-atomic particle that had no intrinsic angular momentum, or spin. Further suppose the particle decays into two more "daughter" particles, each of the same mass, that move apart because of the energy released by the decay. Conservation of linear momentum guarantees that the particles move in opposite directions at equal speeds. And conservation of angular momentum guarantees that each particle would spin in the direction opposite that of the other, so that the two spins would cancel each other out if the particles could be brought back together.

Now, according to our understanding of quantum mechanics, the axis about which the daughter particles spin does not come into existence until a measurement of the spin is made. (This is also a statement about the isotropy of the universe - since space is the same in all directions, there is no preferred axis about which the particles will spin.) The spin of the particle is a potential quantity, which gets made actual by the act of measurement.

And here is the paradox: The other particle, whose axis of spin is also undetermined, instantaneously assumes an equal and opposite spin about the same axis as the first particle measured, regardless of how far away the measurement was made. This appears to violate the principle of Special Relativity that no signal can travel faster than the speed of light.

The paradox is resolved by claiming that neither of the particles by itself forms a complete quantum mechanical system. The system is non-local, which means that until the measurement is made, the two particles are actually one quantum mechanical object. After the measurement, they are each a separate and complete system.

This non-locality is a nice bit of philosophical reasoning, and it's well supported by theory (the work of John S. Bell, among others) and experiment (particularly those of Alain Aspect and co-workers). But in order to make quantum mechanics conform rigorously to Special Relativity I think we need to go further.

In particular, a principal (albeit largely esthetic) tenet of the so-called "Einstein Programme" for theoretical physics is that all physics is local physics, and that all interactions are local interactions. This "locality principle" implies that there must be some sense in which the distance between the two particles in the "non-local" state is actually zero. Allow me to leap from science into speculation.

The particles in the "non-local state" are clearly separated by some distance in three-dimensional space (actually four-dimensional space-time). Perhaps the non-local state of the particles itself creates a bridge between them in one or more other dimensions, which collapses when a measurement is made on either one of them. The total separation between them would then have to be reckoned according to a five- or higher-dimensional formula, which would give zero, even though the three-dimensional part that we're currently aware of is much greater than zero. Figure 1 below shows a cartoon image of this concept. 4

Figure 1. Diagram illustrating a speculative interpretation of the EPR thought experiment. When the spin of either particle of the pair is observed, the quantum mechanical state "collapses" and the higher-dimensional zero-length topological connection between them is broken. The curved "strip of paper" in the figure is meant to represent three-dimensional space. Time is represented by the tracks of the particles, positions since their emission from the parent-particle decay process.

The existence of such a bridge would mean that little higher-dimensional pathways spring up and disappear all the time in our universe, which brings us back to the calculus. The universe may be too swiss-cheesy with sub-microscopic higher-dimensional holes for the smoothness requirments of calculus to be met. In other words, the idea that calculus actually describes reality is a lie.

But it's a good one, because it's so very nearly true that we didn't notice any problems with it for three hundred years. For the most part we still don't notice. We can calculate orbits that get people to the moon and back with calculus. We figured out electromagnetism with it, which gave us radios, televisions, computers, Walkmans, and so much more. And I guarantee that a more accurate theory will be much harder (if not impossible) to use for solving the problems for which calculus works well.

In conclusion, I can say that our mathematics is not so much a map of reality as a metaphor for it. Our current metaphor, the calculus, has such a grip on our imaginations that we physicists will do almost anything to save it, including inventing Supersymmetric String Theories.5 But for practical purposes thus far, calculus is extremely powerful and convenient. If it is ultimately a lie to describe physical reality with it, it is the best and most useful one ever told.



Notes

  1. See, Teach Your Children.
  2. See, Science and Faith.
  3. The most complete discussion I know of this "thought experiment" is in John S. Bell's Speakable and unspeakable in quantum mechanics, Cambridge University Press, 1987. Since most of the discussions are somewhat technical, I recommend you check it out of the library rather than buy it, unless you've already taken an undergraduate course in quantum mechanics.
  4. For the physicists in the readership, this means that I think that the "collapse of the wavefunction" may be linked to topology change for the case of non-local states. The dimensionality of the "bridge" is equal to the number of non-local quantum numbers describing the state. Janet B. Jones-Oliviera pointed out to me that this type of topology change is fundamentally irreversible. I wonder if any of this might imply altering current methods for calculating Feynman diagrams.
  5. String theories were invented because taking the limit as point A goes to point B causes certain physical quantities like the self-energy of a point-like particle to become infinite. Although there are mathematically well established ways to handle these infinities in most field theories, they don't work with gravity. Therefore the current rage in physics is to do away with the notion of point-like particles and to pretend that all fundamental particles are closed loops, or strings. This fixes the immediate problem of the infinities, but still hasn't yielded a practical theory. I think this is because the "foaminess" of spacetime at this level has yet to be addressed with a mathematics that has no "points" (or point-substitutes) at all unless some physics makes them happen. Actually, space-time may be "foamy" (multiply connected) even at the macroscopic level, if my speculation regarding the Einstein-Poldosky-Rosen thought experiment has any substance to it.