Jump to content

Theory of everything

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Aknochel (talk | contribs) at 15:52, 20 December 2010 (The nuclear interactions: The wording was very black/white and was neglecting to at least mention developments in the field.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

The theory of everything (TOE) is a putative theory of theoretical physics that fully explains and links together all known physical phenomena, and predicts the outcome of any experiment that could be carried out in principle.

Initially, the term was used with an ironic connotation to refer to various overgeneralized theories. For example, a great-grandfather of Ijon Tichy—a character from a cycle of Stanisław Lem's science fiction stories of the 1960s—was known to work on the "General Theory of Everything". Physicist John Ellis[1] claims to have introduced the term into the technical literature in an article in Nature in 1986.[2] Over time, the term stuck in popularizations of quantum physics to describe a theory that would unify or explain through a single model the theories of all fundamental interactions and of all particles of nature: general relativity for gravitation, and the standard model of elementary particle physics - which includes quantum mechanics - for electromagnetism, the two nuclear interactions, and the known elementary particles.

Many candidate theories of everything have been proposed by theoretical physicists during the twentieth century, but none has been confirmed experimentally. The primary problem in producing a TOE is that general relativity and quantum mechanics are hard to unify. This is one of the unsolved problems in physics.

Historical antecedents

From ancient Greece to Einstein

Archimedes was possibly the first scientist to describe nature with axioms (or principles) and then to deduce new results from them. He thus tried to describe "everything" starting from a few axioms. Also the putative theory of everything is expected to be based on axioms and to deduce all observable phenomena from them.

Also the concept of 'atom', introduced by Democritus, realized an aspect of unification: the concept unified all phenomena observed in nature as the motion of atoms. As part of the atomistic model of nature, already in ancient Greek times philosophers speculated that the apparent diversity of observed phenomena were due to a single type of interaction, namely to collisions of atoms. Also the mechanical philosophy of the 17th century posited that all forces could be ultimately reduced to contact forces between the atoms, then imagined as tiny solid particles.[3] The idea of a unifying contact force was abandoned after the acceptance of Isaac Newton's long-distance force of gravity.

Nevertheless, Newton's work in his Principia provided another example of unification: it unified Galileo's work on terrestrial gravity, Kepler's laws of planetary motion, and the phenomenon of tides by explaining them with one single law: the law of universal gravitation.

Building on these results, Laplace famously suggested that a sufficiently powerful intellect could, if it knew the position and velocity of every particle at a given time, along with the laws of nature, calculate the position of any particle at any other time:

An intellect which at a certain moment would know all forces that set nature in motion, and all positions of all items of which nature is composed, if this intellect were also vast enough to submit these data to analysis, it would embrace in a single formula the movements of the greatest bodies of the universe and those of the tiniest atom; for such an intellect nothing would be uncertain and the future just like the past would be present before its eyes.

— Essai philosophique sur les probabilités, Introduction. 1814

Laplace thus envisaged a combination of gravitation and mechanics as a theory of everything. Modern quantum mechanics implies that uncertainty is inescapable, and thus that Laplace's vision needs to be amended. A theory of everything thus must include gravitation and quantum mechanics.

In 1820, Hans Christian Ørsted discovered a connection between electricity and magnetism, triggering decades of work that culminated in James Clerk Maxwell's theory of electromagnetism. Also during the 19th and early 20th centuries, it gradually became apparent that many common examples of forces — contact forces, elasticity, viscosity, friction, and pressure — resulted from electrical interactions between the smallest particles of matter.

In the late 1920s, the new quantum mechanics showed that the chemical bonds between atoms were examples of (quantum) electrical forces, justifying Dirac's boast that "the underlying physical laws necessary for the mathematical theory of a large part of physics and the whole of chemistry are thus completely known".[4]

The first attempts to unify gravity with electromagnetism are due to Michael Faraday; he explored the possibility in his experiments of 1849–50.[5] After Albert Einstein's theory of gravity (general relativity) was published in 1915, the search for a unified field theory combining gravity with electromagnetism started again, with renewed intensity. At the time, it seemed plausible that no other fundamental forces exist. Prominent contributors were Gunnar Nordström, Hermann Weyl, Arthur Eddington, Theodor Kaluza, Oskar Klein, and most notably, Albert Einstein and his collaborators. Einstein intensely searched for such a unifying theory during the last decades of his life. However, none of these attempts was successful.[6]

The nuclear interactions

In the twentieth century, the search for a unifying theory was interrupted by the discovery of the strong and weak nuclear forces (or interactions), which differ both from gravity and from electromagnetism. A further hurdle was the acceptance that quantum mechanics had to be incorporated from the start, rather than emerging as a consequence of a deterministic unified theory, as Einstein had hoped.

Gravity and electromagnetism could always peacefully coexist as entries in a list of classical forces, but for many years it seemed that gravity could not even be incorporated into the quantum framework, let alone unified with the other fundamental forces. For this reason, work on unification, for much of the twentieth century, focused on understanding the three "quantum" forces: electromagnetism and the weak and strong forces. The first two were combined in 1967–68 by Sheldon Glashow, Steven Weinberg, and Abdus Salam into the "electroweak" force.[7] Electroweak unification is a broken symmetry: the electromagnetic and weak forces appear distinct at low energies because the particles carrying the weak force, the W and Z bosons, with masses of 80.4 GeV/c2 and 91.2 GeV/c2, whereas the photon, which carries the electromagnetic force, is massless. At higher energies Ws and Zs can be created easily and the unified nature of the force becomes apparent.

While the strong and electroweak forces peacefully coexist in the Standard Model of particle physics, they remain distinct. So far, the quest for a theory of everything is thus unsuccessful on two points: a unification of the strong and electroweak forces – which Laplace would have called `contact forces' – has only been achieved in semi-realistic grand unified theories, and there is no generally accepted way to realize unification of these forces with gravitation.

Modern physics

The conventional pattern of theories

A Theory of Everything would unify all the fundamental interactions of nature: gravitation, strong interaction, weak interaction, and electromagnetism. Because the weak interaction can transform elementary particles from one kind into another, the TOE should also yield a deep understanding of the various different kinds of possible particles. The usual assumed path of theories is given in the following graph, where each unification step leads one level higher:

Theory of Everything
GravitationElectronuclear force (GUT)
Strong interaction
SU(3)
Electroweak force
SU(2) x U(1)
Weak interaction
SU(2)
Electromagnetism
U(1)
ElectricityMagnetism

In this graph, electroweak unification occurs at around 100 GeV, grand unification is predicted to occur at 1016 GeV, and unification of the GUT force with gravity is expected at the Planck energy, roughly 1019 GeV.

Several Grand Unified Theories (GUTs) have been proposed to unify electromagnetism and the weak and strong forces. Grand unification would imply the existence of an electronuclear force; it is expected to set in at energies of the order of 1016 GeV, far greater than could be reached by any possible Earth-based particle accelerator. Although the simplest GUTs have been experimentally ruled out, the general idea, especially when linked with supersymmetry, remains a favorite candidate in the theoretical physics community.

In addition to the forces listed in the graph, a TOE must also explain the status of at least to candidate forces suggested by modern cosmology: an inflationary force and dark energy. Furthermore, cosmological experiments also suggest the existence of dark matter, supposedly composed of fundamental particles outside the scheme of the standard model. However, the existence of these forces and particles has not been proven yet.

It may seem premature to be searching for a TOE when there is as yet no direct evidence for an electronuclear force, and while in any case there are many different proposed GUTs for this force. Nevertheless, most physicists believe that a GUT is possible, mainly due to the past history of convergence towards a single theory. Supersymmetric GUTs seem plausible not only for their theoretical "beauty", but because they naturally produce large quantities of dark matter, and the inflationary force may be related to GUT physics (although it does not seem to form an inevitable part of the theory). Yet GUTs are clearly not the final answer. Both the current standard model and all proposed GUTs are quantum field theories which require the problematic technique of renormalization to yield sensible answers. This is usually regarded as a sign that these are only effective field theories, omitting crucial phenomena relevant only at very high energies. Furthermore, the inconsistency between quantum mechanics and general relativity implies that one or both of these must be replaced by a theory incorporating quantum gravity.

String theory and M-theory

Unsolved problem in physics:
Is string theory, superstring theory, or M-theory, or some other variant on this theme, a step on the road to a "theory of everything", or just a blind alley?

Since the 1990s, many physicists believe that 11-dimensional M-theory, which is described in many sectors by matrix string theory, in many other sectors by perturbative string theory, is the theory of everything. However, there is no widespread consensus on this issue, because M-theory and superstring theory is not a completed theory but rather an approach for producing one. All these theories attempt to deal with the renormalization problem by setting up some lower bound on the length scales possible.

String theories and supergravity (both believed to be limiting cases of the yet-to-be-defined M-theory) suppose that the universe actually has more dimensions than the easily observed three of space and one of time. The motivation behind this approach began with the Kaluza-Klein theory in which it was noted that applying general relativity to a five dimensional universe (with the usual four dimensions plus one small curled-up dimension) yields the equivalent of the usual general relativity in four dimensions together with Maxwell's equations (electromagnetism, also in four dimensions). This has led to efforts to work with theories with large number of dimensions in the hopes that this would produce equations that are similar to known laws of physics. The notion of extra dimensions also helps to resolve the hierarchy problem, which is the question of why gravity is so much weaker than any other force. The common answer involves gravity leaking into the extra dimensions in ways that the other forces do not.[citation needed]

In the late 1990s, it was noted that one problem with several of the candidates for theories of everything (but particularly string theory) was that they did not constrain the characteristics of the predicted universe. For example, many theories of quantum gravity can create universes with arbitrary numbers of dimensions or with arbitrary cosmological constants. Even the "standard" ten-dimensional string theory allows the "curled up" dimensions to be compactified in an enormous number of different ways (one estimate is 10500 ) each of which corresponds to a different collection of fundamental particles and low-energy forces. This array of theories is known as the string theory landscape.

A speculative solution is that many or all of these possibilities are realised in one or another of a huge number of universes, but that only a small number of them are habitable, and hence the fundamental constants of the universe are ultimately the result of the anthropic principle rather than a consequence of the theory of everything. This anthropic approach is often criticised[who?] in that, because the theory is flexible enough to encompass almost any observation, it cannot make useful (i.e., original, falsifiable, and verifiable) predictions. In this view, string theory would be considered a pseudoscience, where an unfalsifiable theory is constantly adapted to fit the experimental results.

Loop quantum gravity

Current research on loop quantum gravity may eventually play a fundamental role in a TOE, but that is not its primary aim.[8] Also loop quantum gravity introduces a lower bound on the possible length scales. However, loop quantum gravity is facing difficulties in incorporating electromagnetism and the nuclear interactions.

Other attempts

Any TOE must include general relativity and the standard model of particle physics. Outside the previously mentioned attempts, the best-known one is Garrett Lisi's E8 proposal .

Present status

At present, no convincing candidate for a TOE is available. Most particle physicists tend to state that the outcome of the ongoing experiments at the large particle accelerators, the LHC and the Tevatron, are needed in order to provide theoretical physicists with precise input for a TOE.

Arguments against a theory of everything

Gödel's incompleteness theorem

A small number of scientists claim that Gödel's incompleteness theorem proves that any attempt to construct a TOE is bound to fail. Gödel's theorem, informally stated, asserts that any formal theory expressive enough for elementary arithmetical facts to be expressed and strong enough for them to be proved is either inconsistent (both a statement and its denial can be derived from its axioms) or incomplete, in the sense that there is a true statement about natural numbers that can't be derived in the formal theory. In his 1966 book The Relevance of Physics, Stanley Jaki pointed out that, because any "theory of everything" will certainly be a consistent non-trivial mathematical theory, it must be incomplete. He claims that this dooms searches for a deterministic theory of everything.[9] In a later reflection, Jaki states that it is wrong to say that a final theory is impossible, but rather that "when it is on hand one cannot know rigorously that it is a final theory." [10]

Freeman Dyson has stated that

Gödel’s theorem implies that pure mathematics is inexhaustible. No matter how many problems we solve, there will always be other problems that cannot be solved within the existing rules. [...] Because of Gödel's theorem, physics is inexhaustible too. The laws of physics are a finite set of rules, and include the rules for doing mathematics, so that Gödel's theorem applies to them.

— NYRB, May 13, 2004

Stephen Hawking was originally a believer in the Theory of Everything but, after considering Gödel's Theorem, concluded that one was not obtainable.

Some people will be very disappointed if there is not an ultimate theory, that can be formulated as a finite number of principles. I used to belong to that camp, but I have changed my mind.

— Gödel and the end of physics, July 20, 2002

Jürgen Schmidhuber (1997) has argued against this view; he points out that Gödel's theorems are irrelevant for computable physics.[11] In 2000, Schmidhuber explicitly constructed limit-computable, deterministic universes whose pseudo-randomness based on undecidable, Gödel-like halting problems is extremely hard to detect but does not at all prevent formal TOEs describable by very few bits of information.[12][13]

Related critique was offered by Solomon Feferman,[14] among others. Douglas S. Robertson offers Conway's game of life as an example:[15] The underlying rules are simple and complete, but there are formally undecidable questions about the game's behaviors. Analogously, it may (or may not) be possible to completely state the underlying rules of physics with a finite number of well-defined laws, but there is little doubt that there are questions about the behavior of physical systems which are formally undecidable on the basis of those underlying laws.

Since most physicists would consider the statement of the underlying rules to suffice as the definition of a "theory of everything", these researchers argue that Gödel's Theorem does not mean that a TOE cannot exist. On the other hand, the physicists invoking Gödel's Theorem appear, at least in some cases, to be referring not to the underlying rules, but to the understandability of the behavior of all physical systems, as when Hawking mentions arranging blocks into rectangles, turning the computation of prime numbers into a physical question.[16] This definitional discrepancy may explain some of the disagreement among researchers.

Another approach to working with the limits of logic implied by Gödel's incompleteness theorems is to abandon the attempt to model reality using a formal system altogether. Process Physics[17] is a notable example of a candidate TOE that takes this approach, where reality is modeled using self-organizing (purely semantic) information.

Fundamental limits in accuracy

No physical theory to date is believed to be precisely accurate. Instead, physics has proceeded by a series of "successive approximations" allowing more and more accurate predictions over a wider and wider range of phenomena. Some physicists believe that it is therefore a mistake to confuse theoretical models with the true nature of reality, and hold that the series of approximations will never terminate in the "truth". Einstein himself expressed this view on occasions.[18] On this view, we may reasonably hope for a theory of everything which self-consistently incorporates all currently known forces, but should not expect it to be the final answer.

On the other hand it is often claimed that, despite the apparently ever-increasing complexity of the mathematics of each new theory, in a deep sense associated with their underlying gauge symmetry and the number of fundamental physical constants, the theories are becoming simpler. If so, the process of simplification cannot continue indefinitely.

Lack of fundamental laws

There is a philosophical debate within the physics community as to whether a theory of everything deserves to be called the fundamental law of the universe.[19] One view is the hard reductionist position that the TOE is the fundamental law and that all other theories that apply within the universe are a consequence of the TOE. Another view is that emergent laws (called "free floating laws" by Steven Weinberg[citation needed]), which govern the behavior of complex systems, should be seen as equally fundamental. Examples are the second law of thermodynamics and the theory of natural selection. The point being that, although in our universe these laws describe systems whose behaviour could ("in principle") be predicted from a TOE, they would also hold in universes with different low-level laws, subject only to some very general conditions. Therefore it is of no help, even in principle, to invoke low-level laws when discussing the behavior of complex systems. Some[who?] argue that this attitude would violate Occam's Razor if a completely valid TOE were formulated. It is not clear that there is any point at issue in these debates (e.g., between Steven Weinberg and Philip Anderson[citation needed]) other than the right to apply the high-status word "fundamental" to their respective subjects of interest.

Impossibility of being "of everything"

Although the name "theory of everything" suggests the determinism of Laplace's quotation, this gives a very misleading impression. Determinism is frustrated by the probabilistic nature of quantum mechanical predictions, by the extreme sensitivity to initial conditions that leads to mathematical chaos, and by the extreme mathematical difficulty of applying the theory. Thus, although the current standard model of particle physics "in principle" predicts all known non-gravitational phenomena, in practice only a few quantitative results have been derived from the full theory (e.g., the masses of some of the simplest hadrons), and these results (especially the particle masses which are most relevant for low-energy physics) are less accurate than existing experimental measurements. The true TOE would almost certainly be even harder to apply. The main motive for seeking a TOE,[citation needed] apart from the pure intellectual satisfaction of completing a centuries-long quest, is that all prior successful unifications have predicted new phenomena, some of which (e.g., electrical generators) have proved of great practical importance. As in other cases of theory reduction, the TOE would also allow us to confidently define the domain of validity and residual error of low-energy approximations to the full theory which could be used for practical calculations.

Theory of everything and philosophy

The philosophical implication of a physical TOE are frequently debated. For example, if physicalism is true, a physical TOE will coincide with a philosophical theory of everything. Some philosophers (Aristotle, Plato, Hegel, Whitehead, et al.) have attempted to construct all-encompassing systems. Others are highly dubious about the very possibility of such an exercise.

Stephen Hawking wrote in A Brief History of Time that even if we had a TOE, it would necessarily be a set of equations. He wrote, “What is it that breathes fire into the equations and makes a universe for them to describe?”.[20]

While on his deathbed, Einstein still explored equations that he imagined to be candidates of a unified theory. Of course, the question would then be "why those equations?" One possible solution might be to adopt the point of view of ultimate ensemble, or modal realism, and say that those equations are not unique. Others doubt that the theory of everything will be in the form of equations at all.

See also

References

  1. ^ Ellis, John (2002). "Physics gets physical (correspondence)". Nature. 415: 957.
  2. ^ Ellis, John (1986). "The Superstring: Theory of Everything, or of Nothing?". Nature. 323: 595–598. doi:10.1038/323595a0.
  3. ^ Shapin, Steven (1996). The Scientific Revolution. University of Chicago Press. ISBN 0226750213.
  4. ^ Dirac, P.A.M. (1929). "Quantum mechanics of many-electron systems". Proceedings of the Royal Society of London A. 123: 714. doi:10.1098/rspa.1929.0094.
  5. ^ Faraday, M. (1850). "Experimental Researches in Electricity. Twenty-Fourth Series. On the Possible Relation of Gravity to Electricity". Abstracts of the Papers Communicated to the Royal Society of London. 5: 994–995. doi:10.1098/rspl.1843.0267.
  6. ^ Pais (1982), Ch. 17.
  7. ^ Weinberg (1993), Ch. 5
  8. ^ Potter, Franklin (15 February 2005). "Leptons And Quarks In A Discrete Spacetime" (PDF). Frank Potter's Science Gems. Retrieved 2009-12-01.
  9. ^ Jaki, S.L. (1966). The Relevance of Physics. Chicago Press.
  10. ^ Stanley L. Jaki (2004) "A Late Awakening to Gödel in Physics," p. 8-9.
  11. ^ Schmidhuber, Jürgen (1997). A Computer Scientist's View of Life, the Universe, and Everything. Lecture Notes in Computer Science. Springer. pp. 201–208. doi:10.1007/BFb0052071. ISBN 978-3-540-63746-2.
  12. ^ Schmidhuber, Jürgen (2000). "Algorithmic Theories of Everything". arXiv:quant-ph/0011122. {{cite arXiv}}: |class= ignored (help)
  13. ^ Schmidhuber, Jürgen (2002). "Hierarchies of generalized Kolmogorov complexities and nonenumerable universal measures computable in the limit". International Journal of Foundations of Computer Science. 13 (4): 587–612. doi:10.1142/S0129054102001291.
  14. ^ Feferman, Solomon (17 November 2006). "The nature and significance of Gödel's incompleteness theorems" (PDF). Institute for Advanced Study. Retrieved 2009-01-12.
  15. ^ Robertson, Douglas S. (2007). "Goedel's Theorem, the Theory of Everything, and the Future of Science and Mathematics". Complexity. 5: 22–27. doi:10.1002/1099-0526(200005/06)5:5<22::AID-CPLX4>3.0.CO;2-0.
  16. ^ Hawking, Stephen (20 July 2002). "Gödel and the end of physics". Retrieved 2009-12-01.
  17. ^ Cahill, Reginald (2003). "Process Physics". Process Studies Supplement. Center for Process Studies. pp. 1–131. Retrieved 2009-07-14.
  18. ^ Einstein, letter to Felix Klein, 1917. (On determinism and approximations.) Quoted in Pais (1982), Ch. 17.
  19. ^ Weinberg (1993), Ch 2.
  20. ^ as quoted in [Artigas, The Mind of the Universe, p.123]
  • John D. Barrow, Theories of Everything: The Quest for Ultimate Explanation (OUP, Oxford, 1990) ISBN 0-099-98380-X
  • Stephen Hawking 'The Theory of Everything: The Origin and Fate of the Universe' is an unauthorized 2002 book taken from recorded lectures (ISBN 1-893224-79-1)
  • Stanley Jaki OSB, 2005. The Drama of Quantities. Real View Books (ISBN 1-892548-47-X)
  • Abraham Pais Subtle is the Lord...: The Science and the Life of Albert Einstein (OUP, Oxford, 1982). ISBN 0-19-853907-X
  • John Thompson "Nature's Watchmaker: The Undiscovered Miracle of Time". (Blackhall Publishing Ltd. Ireland, 2009) ISBN 1842181742 [1]
  • Steven Weinberg Dreams of a Final Theory: The Search for the Fundamental Laws of Nature (Hutchinson Radius, London, 1993) ISBN 0-09-1773954