What Is a Proton?
What is String Theory?
String theory is a developing theory in particle physics that attempts to reconcile quantum mechanics and general relativity. It is a contender for the theory of everything (TOE), a manner of describing the known fundamental forces and matter in a mathematically complete system. The theory has yet to make testable experimental predictions, which a theory must do in order to be considered a part of science.
String theory mainly posits that the electrons and quarks within an atom are not 0-dimensional objects, but rather 1-dimensional oscillating lines ("strings"). The earliest string model, the bosonic string, incorporated only bosons, although this view developed to the superstring theory, which posits that a connection (a "supersymmetry") exists between bosons and fermions. String theories also require the existence of several extra, unobservable, dimensions to the universe, in addition to the usual four spacetime dimensions.
The theory has its origins in the dual resonance model (1969). Since that time, the term string theory has developed to incorporate any of a group of related superstring theories. Five major string theories were formulated. The main differences between each of them were the number of dimensions in which the strings developed and their characteristics, however all appeared to be correct. In the mid 1990s a unification of all previous superstring theories, called M-theory, was proposed, which asserted that strings are really 1-dimensional slices of a 2-dimensional membrane vibrating in 11-dimensional space.
As a result of the many properties and principles shared by these approaches (such as the holographic principle), their mutual logical consistency, and the fact that some easily include the standard model of particle physics, some mathematical physicists (e.g. Witten, Maldacena and Susskind) believe that string theory is a step towards the correct fundamental description of nature. Nevertheless, other prominent physicists (e.g. Feynman and Glashow) have criticized string theory for not providing any quantitative experimental predictions.
String theory posits that the electrons and quarks within an atom are not 0-dimensional objects, but 1-dimensional strings. These strings can move and vibrate, giving the observed particles their flavor, charge, mass and spin. String theories also include objects more general than strings, called branes. The word brane, derived from "membrane", refers to a variety of interrelated objects, such as D-branes, black p-branes and Neveu-Schwarz 5-branes. These are extended objects that are charged sources for differential form generalizations of the vector potential electromagnetic field. These objects are related to one another by a variety of dualities. Black hole-like black p-branes are identified with D-branes, which are endpoints for strings, and this identification is called Gauge-gravity duality. Research on this equivalence has led to new insights on quantum chromodynamics, the fundamental theory of the strong nuclear force. The strings make closed loops unless they encounter D-branes, where they can open up into 1-dimensional lines. The endpoints of the string cannot break off the D-brane, but they can slide around on it.
Levels of magnification:
1. Macroscopic level - Matter
2. Molecular level
3. Atomic level -- Protons, neutrons, and electrons
4. Subatomic level -- Electron
5. Subatomic level - Quarks
6. String level
Since the string theory is widely believed to be a consistent theory of quantum gravity, many hope that it correctly describes our universe, making it a theory of everything. There are known configurations which describe all the observed fundamental forces and matter but with a zero cosmological constant and some new fields. There are other configurations with different values of the cosmological constant, which are metastable but long-lived. This leads many to believe that there is at least one metastable solution which is quantitatively identical with the standard model, with a small cosmological constant, which contains dark matter and a plausible mechanism for cosmic inflation. It is not yet known whether string theory has such a solution, nor how much freedom the theory allows to choose the details.
The full theory does not yet have a satisfactory definition in all circumstances, since the scattering of strings is most straightforwardly defined by a perturbation theory. The complete quantum mechanics of high dimensional branes is not easily defined, and the behavior of string theory in cosmological settings (time-dependent backgrounds) is not fully worked out. It is also not clear if there is any principle by which string theory selects its vacuum state, the spacetime configuration which determines the properties of our universe.
Like any other quantum theory of gravity, it is widely believed that testing the theory directly would require prohibitively expensive feats of engineering. Although direct experimental testing of string theory involves grand explorations and development in engineering, there are several indirect experiments that may prove partial truth to string theory.
String theory can be formulated in terms of an action principle, either the Nambu-Goto action or the Polyakov action, which describes how strings move through space and time. In the absence of external interactions, string dynamics are governed by tension and kinetic energy, which combine to produce oscillations. The quantum mechanics of strings implies these oscillations take on discrete vibrational modes, the spectrum of the theory.
On distance scales larger than the string radius, each oscillation mode behaves as a different species of particle, with its mass, spin and charge determined by the string's dynamics. Splitting and recombination of strings correspond to particle emission and absorption, giving rise to the interactions between particles.
An analogy for strings' modes of vibration is a guitar string's production of multiple but distinct musical notes. In the analogy, different notes correspond to different particles. The only difference is the guitar is only 2-dimensional; you can strum it up, and down. In actuality the guitar strings would be every dimension, and the strings could vibrate in any direction, meaning that the particles could move through not only our dimension, but other dimensions as well.
String theory includes both open strings, which have two distinct endpoints, and closed strings making a complete loop. The two types of string behave in slightly different ways, yielding two different spectra. For example, in most string theories, one of the closed string modes is the graviton, and one of the open string modes is the photon. Because the two ends of an open string can always meet and connect, forming a closed string, there are no string theories without closed strings.
The earliest string model, the bosonic string, incorporated only bosons. This model describes, in low enough energies, a quantum gravity theory, which also includes (if open strings are incorporated as well) gauge fields such as the photon (or, more generally, any gauge theory). However, this model has problems. Most importantly, the theory has a fundamental instability, believed to result in the decay (at least partially) of spacetime itself. Additionally, as the name implies, the spectrum of particles contains only bosons, particles which, like the photon, obey particular rules of behavior. Roughly speaking, bosons are the constituents of radiation, but not of matter, which is made of fermions. Investigating how a string theory may include fermions in its spectrum led to the invention of supersymmetry, a mathematical relation between bosons and fermions. String theories which include fermionic vibrations are now known as superstring theories; several different kinds have been described, but all are now thought to be different limits of M-theory.
Some qualitative properties of quantum strings can be understood in a fairly simple fashion. For example, quantum strings have tension, much like regular strings made of twine; this tension is considered a fundamental parameter of the theory. The tension of a quantum string is closely related to its size. Consider a closed loop of string, left to move through space without external forces. Its tension will tend to contract it into a smaller and smaller loop. Classical intuition suggests that it might shrink to a single point, but this would violate Heisenberg's uncertainty principle. The characteristic size of the string loop will be a balance between the tension force, acting to make it small, and the uncertainty effect, which keeps it "stretched". Consequently, the minimum size of a string is related to the string tension.
A point-like particle's motion may be described by drawing a graph of its position (in one or two dimensions of space) against time. The resulting picture depicts the worldline of the particle (its 'history') in spacetime. By analogy, a similar graph depicting the progress of a string as time passes by can be obtained; the string (a one-dimensional object — a small line — by itself) will trace out a surface (a two-dimensional manifold), known as the worldsheet. The different string modes (representing different particles, such as photon or graviton) are surface waves on this manifold.
A closed string looks like a small loop, so its worldsheet will look like a pipe or, more generally, a Riemann surface (a two-dimensional oriented manifold) with no boundaries (i.e. no edge). An open string looks like a short line, so its worldsheet will look like a strip or, more generally, a Riemann surface with a boundary.
Strings can split and connect. This is reflected by the form of their worldsheet (more accurately, by its topology). For example, if a closed string splits, its worldsheet will look like a single pipe splitting (or connected) to two pipes. If a closed string splits and its two parts later reconnect, its worldsheet will look like a single pipe splitting to two and then reconnecting, which also looks like a torus connected to two pipes (one representing the ingoing string, and the other — the outgoing one). An open string doing the same thing will have its worldsheet looking like a ring connected to two strips.
Note that the process of a string splitting (or strings connecting) is a global process of the worldsheet, not a local one: locally, the worldsheet looks the same everywhere and it is not possible to determine a single point on the worldsheet where the splitting occurs. Therefore these processes are an integral part of the theory, and are described by the same dynamics that controls the string modes.
In some string theories (namely, closed strings in Type I and some versions of the bosonic string), strings can split and reconnect in an opposite orientation (as in a Möbius strip or a Klein bottle). These theories are called unoriented. Formally, the worldsheet in these theories is a non-orientable surface.
Before the 1990s, string theorists believed there were five distinct superstring theories: open type I, closed type I, closed type IIA, closed type IIB, and the two flavors of heterotic string theory (SO(32) and E8×E8). The thinking was that out of these five candidate theories, only one was the actual correct theory of everything, and that theory was the one whose low energy limit, with ten spacetime dimensions compactified down to four, matched the physics observed in our world today. It is now believed that this picture was incorrect and that the five superstring theories are connected to one another as if they are each a special case of some more fundamental theory (thought to be M-theory). These theories are related by transformations that are called dualities. If two theories are related by a duality transformation, it means that the first theory can be transformed in some way so that it ends up looking just like the second theory. The two theories are then said to be dual to one another under that kind of transformation. Put differently, the two theories are mathematically different descriptions of the same phenomena.
These dualities link quantities that were also thought to be separate. Large and small distance scales, as well as strong and weak coupling strengths, are quantities that have always marked very distinct limits of behavior of a physical system in both classical field theory and quantum particle physics. But strings can obscure the difference between large and small, strong and weak, and this is how these five very different theories end up being related. T-duality relates the large and small distance scales between string theories, whereas S-duality relates strong and weak coupling strengths between string theories. U-duality links T-duality and S-duality.
Bosonic 26 Only bosons, no fermions, meaning only forces, no matter, with both open and closed strings; major flaw: a particle with imaginary mass, called the tachyon, representing an instability in the theory.
I 10 Supersymmetry between forces and matter, with both open and closed strings; no tachyon; group symmetry is SO(32)
IIA 10 Supersymmetry between forces and matter, with only closed strings bound to D-branes; no tachyon; massless fermions are non-chiral
IIB 10 Supersymmetry between forces and matter, with only closed strings bound to D-branes; no tachyon; massless fermions are chiral
HO 10 Supersymmetry between forces and matter, with closed strings only; no tachyon; heterotic, meaning right moving and left moving strings differ; group symmetry is SO(32)
HE 10 Supersymmetry between forces and matter, with closed strings only; no tachyon; heterotic, meaning right moving and left moving strings differ; group symmetry is E8×E8
Note that in the type IIA and type IIB string theories closed strings are allowed to move everywhere throughout the ten-dimensional spacetime (called the bulk), while open strings have their ends attached to D-branes, which are membranes of lower dimensionality (their dimension is odd — 1, 3, 5, 7 or 9 — in type IIA and even — 0, 2, 4, 6 or 8 — in type IIB, including the time direction).
Number of dimensions
An intriguing feature of string theory is that it involves the prediction of extra dimensions. The number of dimensions is not fixed by any consistency criterion, but flat spacetime solutions do exist in the so-called "critical dimension". Cosmological solutions exist in a wider variety of dimensionalities, and these different dimensions—more precisely different values of the "effective central charge", a count of degrees of freedom which reduces to dimensionality in weakly curved regimes—are related by dynamical transitions.
One such theory is the 11-dimensional M-theory, which requires spacetime to have eleven dimensions, as opposed to the usual three spatial dimensions and the fourth dimension of time. The original string theories from the 1980s describe special cases of M-theory where the eleventh dimension is a very small circle or a line, and if these formulations are considered as fundamental, then string theory requires ten dimensions. But the theory also describes universes like ours, with four observable spacetime dimensions, as well as universes with up to 10 flat space dimensions, and also cases where the position in some of the dimensions is not described by a real number, but by a completely different type of mathematical quantity. So the notion of spacetime dimension is not fixed in string theory: it is best thought of as different in different circumstances.
Nothing in Maxwell's theory of electromagnetism or Einstein's theory of relativity makes this kind of prediction; these theories require physicists to insert the number of dimensions "by both hands", and this number is fixed and independent of potential energy. String theory allows one to relate the number of dimensions to scalar potential energy. Technically, this happens because a gauge anomaly exists for every separate number of predicted dimensions, and the gauge anomaly can be counteracted by including nontrivial potential energy into equations to solve motion. Furthermore, the absence of potential energy in the "critical dimension" explains why flat spacetime solutions are possible.
This can be better understood by noting that a photon included in a consistent theory (technically, a particle carrying a force related to an unbroken gauge symmetry) must be massless. The mass of the photon which is predicted by string theory depends on the energy of the string mode which represents the photon. This energy includes a contribution from the Casimir effect, namely from quantum fluctuations in the string. The size of this contribution depends on the number of dimensions since for a larger number of dimensions; there are more possible fluctuations in the string position. Therefore, the photon in flat spacetime will be massless—and the theory consistent—only for a particular number of dimensions. When the calculation is done, the critical dimensionality is not four as one may expect (three axes of space and one of time). The subset of X is equal to the relation of photon fluctuations in a linear dimension. Flat space string theories are 26-dimensional in the bosonic case, while superstring and M-theories turn out to involve 10 or 11 dimensions for flat solutions. In bosonic string theories, the 26 dimensions come from the Polyakov equation. Starting from any dimension greater than four, it is necessary to consider how these are reduced to four dimensional spacetime.
Two different ways have been proposed to resolve this apparent contradiction. The first is to compactify the extra dimensions; i.e., the 6 or 7 extra dimensions are so small as to be undetectable by present day experiments.
To retain a high degree of supersymmetry, these compactification spaces must be very special, as reflected in their holonomy. A 6-dimensional manifold must have SU(3) structure, a particular case (torsionless) of this being SU(3) holonomy, making it a Calabi-Yau space, and a 7-dimensional manifold must have G2 structure, with G2 holonomy again being a specific, simple, case. Such spaces have been studied in attempts to relate string theory to the 4-dimensional Standard Model, in part due to the computational simplicity afforded by the assumption of supersymmetry. More recently, progress has been made constructing more realistic compactifications without the degree of symmetry of Calabi-Yau or G2 manifolds.
A standard analogy for this is to consider multidimensional space as a garden hose. If the hose is viewed from a sufficient distance, it appears to have only one dimension, its length. Indeed, think of a ball just small enough to enter the hose. Throwing such a ball inside the hose, the ball would move more or less in one dimension; in any experiment we make by throwing such balls in the hose, the only important movement will be one-dimensional, that is, along the hose. However, as one approaches the hose, one discovers that it contains a second dimension, its circumference. Thus, an ant crawling inside it would move in two dimensions (and a fly flying in it would move in three dimensions). This "extra dimension" is only visible within a relatively close range to the hose, or if one "throws in" small enough objects. Similarly, the extra compact dimensions are only "visible" at extremely small distances, or by experimenting with particles with extremely small wavelengths (of the order of the compact dimension's radius), which in quantum mechanics means very high energies.
Another possibility is that we are "stuck" in a 3+1 dimensional (i.e. three spatial dimensions plus the time dimension) subspace of the full universe. If such sub-spacetimes are exceptional sets within a larger-dimensional one, there typically exist properly localized matter and Yang-Mills gauge fields. These "exceptional sets" are ubiquitous in Calabi-Yau n-folds and may be described as subspaces without local deformations, akin to a crease in a sheet of paper or a crack in a crystal, the neighborhood of which is markedly different from the exceptional subspace itself. However, until the work of Randall and Sundrum, it was not known that gravity too can be properly localized to a sub-spacetime; their proof that it can made such cosmological scenarios realistic. In addition, spacetime may well be stratified, containing strata of various dimensions so that we may be inhabiting a 3+1 dimensional stratum; such geometries occur naturally in Calabi-Yau compactifications. Such sub-spacetimes are supposed to be D-branes, hence such models are known as a brane-world theories.
Effect of the hidden dimensions
In either case, gravity acting in the hidden dimensions affects other non-gravitational forces such as electromagnetism. In fact, Kaluza's early work demonstrated that general relativity in five dimensions actually predicts the existence of electromagnetism. However, because of the nature of Calabi-Yau manifolds, no new forces appear from the small dimensions, but their shape has a profound effect on how the forces between the strings appear in our four-dimensional universe. In principle, therefore, it is possible to deduce the nature of those extra dimensions by requiring consistency with the standard model, but this is not yet a practical possibility. It is also possible to extract information regarding the hidden dimensions by precision tests of gravity, but so far these have only put upper limitations on the size of such hidden dimensions.
Another key feature of string theory is the existence of D-branes. These are membranes of different dimensionality (anywhere from a zero dimensional membrane — which is in fact a point — and up, including 2-dimensional membranes, 3-dimensional volumes and so on).
D-branes are defined by the fact that worldsheet boundaries are attached to them. D-branes have mass, since they emit and absorb closed strings which describe gravitons, and — in superstring theories — charge as well, since they couple to open strings which describe gauge interactions.
From the point of view of open strings, D-branes are objects to which the ends of open strings are attached. The open strings attached to a D-brane are said to "live" on it, and they give rise to gauge theories "living" on it (since one of the open string modes is a gauge boson such as the photon). In the case of one D-brane there will be one type of a gauge boson and we will have an Abelian gauge theory (with the gauge boson being the photon). If there are multiple parallel D-branes there will be multiple types of gauge bosons, giving rise to a non-Abelian gauge theory.
D-branes are thus gravitational sources, on which a gauge theory "lives". This gauge theory is coupled to gravity (which is said to exist in the bulk), so that normally each of these two different viewpoints is incomplete.
Gauge-gravity duality is a conjectured duality between a quantum theory of gravity in certain cases and gauge theory in a lower number of dimensions. This means that each predicted phenomenon and quantity in one theory has an analogue in the other theory, with a "dictionary" translating from one theory to the other.
Description of the duality
In certain cases the gauge theory on the D-branes is decoupled from the gravity living in the bulk; thus open strings attached to the D-branes are not interacting with closed strings. Such a situation is termed a decoupling limit.
In those cases, the D-branes have two independent alternative descriptions. As discussed above, from the point of view of closed strings, the D-branes are gravitational sources, and thus we have a gravitational theory on spacetime with some background fields. From the point of view of open strings, the physics of the D-branes is described by the appropriate gauge theory. Therefore in such cases it is often conjectured that the gravitational theory on spacetime with the appropriate background fields is dual (i.e. physically equivalent) to the gauge theory on the boundary of this spacetime (since the subspace filled by the D-branes is the boundary of this spacetime). So far, this duality has not been proven in any cases, so there is also disagreement among string theorists regarding how strong the duality applies to various models.
Examples and intuition
The best known example and the first one to be studied is the duality between Type IIB superstring on AdS5 S5 (a product space of a five-dimensional Anti de Sitter space and a five-sphere) on one hand, and N = 4 supersymmetric Yang-Mills theory on the four-dimensional boundary of the Anti de Sitter space (either a flat four-dimensional spacetime R3,1 or a three-sphere with time S3 R). This is known as the AdS/CFT correspondence, a name often used for Gauge / gravity duality in general.
This duality can be thought of as follows: suppose there is a spacetime with a gravitational source, for example an extremal black hole. When particles are far away from this source, they are described by closed strings (i.e. a gravitational theory, or usually supergravity). As the particles approach the gravitational source, they can still be described by closed strings; alternatively, they can be described by objects similar to QCD strings, which are made of gauge bosons (gluons) and other gauge theory degrees of freedom. So if one is able (in a decoupling limit) to describe the gravitational system as two separate regions — one (the bulk) far away from the source, and the other close to the source — then the latter region can also be described by a gauge theory on D-branes. This latter region (close to the source) is termed the near-horizon limit, since usually there is an event horizon around (or at) the gravitational source.
In the gravitational theory, one of the directions in spacetime is the radial direction, going from the gravitational source and away (towards the bulk). The gauge theory lives only on the D-brane itself, so it does not include the radial direction: it lives in a spacetime with one less dimension compared to the gravitational theory (in fact, it lives on a spacetime identical to the boundary of the near-horizon gravitational theory). Let us understand how the two theories are still equivalent: The physics of the near-horizon gravitational theory involves only on-shell states (as usual in string theory), while the field theory includes also off-shell correlation function. The on-shell states in the near-horizon gravitational theory can be thought of as describing only particles arriving from the bulk to the near-horizon region and interacting there between themselves. In the gauge theory these are "projected" onto the boundary, so that particles which arrive at the source from different directions will be seen in the gauge theory as (off-shell) quantum fluctuations far apart from each other, while particles arriving at the source from almost the same direction in space will be seen in the gauge theory as (off-shell) quantum fluctuations close to each other. Thus the angle between the arriving particles in the gravitational theory translates to the distance scale between quantum fluctuations in the gauge theory. The angle between arriving particles in the gravitational theory is related to the radial distance from the gravitational source at which the particles interact: the larger the angle, the closer the particles have to get to the source in order to interact with each other. On the other hand, the scale of the distance between quantum fluctuations in a quantum field theory is related (inversely) to the energy scale in this theory, so small radius in the gravitational theory translates to low energy scale in the gauge theory (i.e. the IR regime of the field theory) while large radius in the gravitational theory translates to high energy scale in the gauge theory (i.e. the UV regime of the field theory).
A simple example to this principle is that if in the gravitational theory there is a setup in which the dilaton field (which determines the strength of the coupling) is decreasing with the radius, then its dual field theory will be asymptotically free, i.e. its coupling will grow weaker in high energies.
Contact with experiment
The mathematics of string theory may lead to new insights on quantum chromodynamics, a gauge theory which is the fundamental theory of the strong nuclear force. To this end, it is hoped that a gravitational theory dual to quantum chromodynamics will be found.
A mathematical technique from string theory (the AdS/CFT correspondence) has been used to describe qualitative features of quark-gluon plasma behavior in relativistic heavy-ion collisions; the physics, however, is strictly that of standard quantum chromodynamics, which has been quantitatively modeled by lattice QCD methods with good results.
Other potential forms of evidence for string theory have been proposed. One would be the discovery of large cosmic strings in space, formed when the Big Bang "stretched" some strings to astronomical proportions. Other theories, however, predict cosmic strings with a different physical basis (topological defects in various fields). Novel phenomena consistent with versions of string theory may be observed with the newly built Large Hadron Collider. One would be indications of an anomalously large strength of gravity on a microscopic scale, which would be consistent with branes interacting across extra dimensions through leakage of gravitons from one to the other. The discovery of supersymmetry could also be considered evidence since string theory was the first theory to require it, though other theories incorporate supersymmetry as well. The absence of supersymmetric particles at energies accessible to the LHC would not necessarily disprove string theory, since supersymmetry could exist but still be outside the accelerator's range.
Problems and controversy--
Unsolved problems in physics
Is there a string theory vacuum which exactly describes everything in our universe? Is it uniquely determined by low energy data?
Although string theory comes from physics, some say that string theory's current untestable status means that it should be classified as more of a mathematical framework for building models as opposed to a physical theory. Some go further, and say that string theory as a theory of everything is a failure. This led to a public debate in 2007, with one journalist expressing this opinion:
"For more than a generation, physicists have been chasing a will-o’-the-wisp called string theory. The beginning of this chase marked the end of what had been three-quarters of a century of progress. Dozens of string-theory conferences have been held, hundreds of new Ph.D.s have been minted, and thousands of papers have been written. Yet, for all this activity, not a single new testable prediction has been made, not a single theoretical puzzle has been solved. In fact, there is no theory so far—just a set of hunches and calculations suggesting that a theory might exist. And, even if it does, this theory will come in such a bewildering number of versions that it will be of no practical use: a Theory of Nothing."
Is string theory predictive?
String theory as a theory of everything has been criticized as unscientific because it is so difficult to test by experiments. The controversy concerns two properties:
It is widely believed that any theory of quantum gravity would require extremely high energies to probe directly, higher by orders of magnitude than those that current experiments such as the Large Hadron Collider can reach.
String theory as it is currently understood has a huge number of equally possible solutions, called string vacua, and these vacua might be sufficiently diverse to explain almost any phenomena we might observe at lower energies.
If these properties are true, string theory as a theory of everything would have little or no predictive power for low energy particle physics experiments. Because the theory is so difficult to test, some theoretical physicists have asked if it can even be called a scientific theory. Notable critics include Peter Woit, Lee Smolin, Philip Warren Anderson, Sheldon Glashow, Lawrence Krauss, and Carlo Rovelli.
All string theory models are quantum mechanical, Lorentz invariant, unitary and contain Einstein's General Relativity as a low energy limit. Therefore to falsify string theory, it would suffice to falsify quantum mechanics, Lorentz invariance, or general relativity. Hence string theory is falsifiable and meets the definition of scientific theory according to the Popperian criterion. However to constitute a convincing potential verification of string theory, a prediction should be specific to it, not shared by any quantum field theory model or by General Relativity.
One such unique prediction is string harmonics: at sufficiently high energies—probably near the quantum gravity scale—the string-like nature of particles would become obvious. There should be heavier copies of all particles corresponding to higher vibrational states of the string. But it is not clear how high these energies are. In the most likely case, they would be 1014 times higher than those accessible in the newest particle accelerator, the LHC, making this prediction impossible to test with any particle accelerator in the foreseeable future.
In response to these concerns, Cumrun Vafa and others have challenged the idea that string theory is compatible with anything. They propose that most possible theories of low energy physics lie in the swampland. The swampland is the collection of theories which could be true if gravity wasn't an issue, but which are not compatible with string theory. An example of a theory in the swampland is quantum electrodynamics in the limit of very small electron charge. This limit is perfectly fine in quantum field theory — in fact, in this limit, the perturbation theory becomes better and better. But in string theory, at the moment the charge of the lightest charged particle becomes less than the mass in natural units, the theory becomes inconsistent.
The reason is that two such charged massive particles will attract each other gravitationally more than they repel each other electrostatically, and could be used to form black holes. If there are no light charged particles, these black holes could not decay efficiently, barring improbable conspiracies or remnants. From the study of examples, and from the analysis of black-hole evaporation, it is now accepted that theories with a small charge quantum must come with light charged particles. This is only true within string theory—there is no such restriction in quantum field theory. This means that the discovery of a new gauge group with a small quantum of charge and only heavy charged particles would falsify string theory. Since this argument is very general—relying only on black-hole evaporation and the holographic principle, it has been suggested that this prediction would be true of any consistent holographic theory of quantum gravity, although the phrase "consistent holographic theory of quantum gravity" might very well be synonymous with "String Theory".
It is notable that all the gross features of the Standard model can be embedded within String theory, so that the standard model is not in the swampland. This includes features such as non-abelian gauge groups and chiral fermions which are hard to incorporate in non-string theories of quantum gravity.
A separate and older criticism of string theory is that it is background-dependent — string theory describes perturbative expansions about fixed spacetime backgrounds. Although the theory has some background-independence — topology change is an established process in string theory, and the exchange of gravitons is equivalent to a change in the background — mathematical calculations in the theory rely on preselecting a background as a starting point. This is because, like many quantum field theories, much of string theory is still only formulated perturbatively, as a divergent series of approximations. Although nonperturbative techniques have progressed considerably — including conjectured complete definitions in spacetimes satisfying certain asymptotics — a full non-perturbative definition of the theory is still lacking. Some see background independence as a fundamental requirement of a theory of quantum gravity, particularly since general relativity is already background independent. Some hope that M-theory, or a non-perturbative treatment of string theory (string field theory was thought to be non-perturbative in the 1980s) have a background-independent formulation.
A central problem for applications is that the best understood backgrounds of string theory preserve much of the supersymmetry of the underlying theory, which results in time-invariant spacetimes: currently string theory cannot deal well with time-dependent, cosmological backgrounds. However, several models have been proposed to explain supersymmetry breaking, most notably the KKLT model, which incorporates branes and fluxes to make a metastable compactification.
String theory landscape
The vacuum structure of the theory, called the string theory landscape (or the anthropic portion of string theory vacua), is not well understood. String theory contains an infinite number of distinct meta-stable vacua, and perhaps 10500 of these or more correspond to a universe roughly similar to ours — with four dimensions, a high planck scale, gauge groups, and chiral fermions. Each of these corresponds to a different possible universe, with a different collection of particles and forces. What principle, if any, can be used to select among these vacua is an open issue. While there are no continuous parameters in the theory, there is a very large set of possible universes, which may be radically different from each other.
Some physicists believe this is a good thing, because it may allow a natural anthropic explanation of the observed values of physical constants, in particular the small value of the cosmological constant. The argument is that most universes contain values for physical constants which do not lead to habitable universes (at least for humans), and so we happen to live in the most "friendly" universe. This principle is already employed to explain the existence of life on earth as the result of a life-friendly orbit around the medium-sized sun among an infinite number of possible orbits (as well as a relatively stable location in the galaxy). However, the cosmological version of the anthropic principle remains highly controversial because it would be difficult if not impossible to Popper falsify; so many do not accept it as scientific.
Other testability criteria
Many physicists strongly oppose the idea that string theory is not falsifiable, among them Sylvester James Gates: "So, the next time someone tells you that string theory is not testable, remind them of the AdS/CFT connection ..." AdS/CFT relates string theory to gauge theory, and allows contact with low energy experiments in quantum chromodynamics. This type of string theory, which only describes the strong interactions, is much less controversial today than string theories of everything (although two decades ago, it was the other way around).
In addition, Gates points out that the grand unification natural in string theories of everything requires that the coupling constants of the four forces meet at one point under renormalization group rescaling. This is also a falsifiable statement, but it is not restricted to string theory, but is shared by grand unified theories. The LHC will be used both for testing AdS/CFT, and to check if the electroweakstrong unification does happen as predicted.
Some of the structures reintroduced by string theory arose for the first time much earlier as part of the program of classical unification started by Albert Einstein. The first person to add a fifth dimension to general relativity was German mathematician Theodor Kaluza in 1919, who noted that gravity in five dimensions describes both gravity and electromagnetism in four. In 1926, the Swedish physicist Oskar Klein gave a physical interpretation of the unobservable extra dimension--- it is wrapped into a small circle. Einstein introduced a non-symmetric metric tensor, while much later Brans and Dicke added a scalar component to gravity. These ideas would be revived within string theory, where they are demanded by consistency conditions.
String theory was originally developed during the late 1960s and early 1970s as a never completely successful theory of hadrons, the subatomic particles like the proton and neutron which feel the strong interaction. In the 1960s, Geoffrey Chew and Steven Frautschi discovered that the mesons make families called Regge trajectories with masses related to spins in a way that was later understood by Yoichiro Nambu, Holger Bech Nielsen and Leonard Susskind to be the relationship expected from rotating strings. Chew advocated making a theory for the interactions of these trajectories which did not presume that they were composed of any fundamental particles, but would construct their interactions from self-consistency conditions on the S-matrix. The S-matrix approach was started by Werner Heisenberg in the 1940s as a way of constructing a theory which did not rely on the local notions of space and time, which Heisenberg believed break down at the nuclear scale. While the scale was off by many orders of magnitude, the approach he advocated was ideally suited for a theory of quantum gravity. Working with experimental data, R. Dolen, D. Horn and C. Schmid developed some sum rules for hadron exchange. When a particle and antiparticle scatter, virtual particles can be exchanged in two qualitatively different ways. In the s-channel, the two particles annihilate to make temporary intermediate states which fall apart into the final state particles. In the t-channel, the particles exchange intermediate states by emission and absorption. In field theory, the two contributions add together, one giving a continuous background contribution, the other giving peaks at certain energies. In the data, it was clear that the peaks were stealing from the background--- the authors interpreted this as saying that the t-channel contribution was dual to the s-channel one, meaning both described the whole amplitude and included the other.
The result was widely advertised by Murray Gell-Mann, leading Gabriele Veneziano to construct a scattering amplitude which had the property of Dolen-Horn-Schmid duality, later renamed world-sheet duality. The amplitude needed poles where the particles appear, on straight line trajectories, and there is a special mathematical function whose poles are evenly spaced on half the real line--- the Gamma function--- which was widely used in Regge theory. By manipulating combinations of Gamma functions, Veneziano was able to find a consistent scattering amplitude with poles on straight lines, with mostly positive residues, which obeyed duality and had the appropriate Regge scaling at high energy. The amplitude could fit near-beam scattering data as well as other Regge type fits, and had a suggestive integral representation which could be used for generalization.
Over the next years, hundreds of physicists worked to complete the bootstrap program for this model, with many surprises. Veneziano himself discovered that for the scattering amplitude to describe the scattering of a particle which appears in the theory, an obvious self-consistency condition, the lightest particle must be a tachyon. Miguel Virasoro and Joel Shapiro found a different amplitude now understood to be that of closed strings, while Ziro Koba and Holger Nielsen generalized Veneziano's integral representation to multiparticle scattering. Veneziano and Sergio Fubini introduced an operator formalism for computing the scattering amplitudes which was a forerunner of world-sheet conformal theory, while Virasoro understood how to remove the poles with wrong-sign residues using a constraint on the states. Claud Lovelace calculated a loop amplitude, and noted that there is an inconsistency unless the dimension of the theory is 26. Charles Thorn, Peter Goddard and Richard Brower went on to prove that there are no wrong-sign propagating states in dimensions less than or equal to 26.
In 1969 Yoichiro Nambu, Holger Bech Nielsen and Leonard Susskind recognized that the theory could be given a description in space and time in terms of strings. The scattering amplitudes were derived systematically from the action principle by Peter Goddard, Jeffrey Goldstone, Claudio Rebbi and Charles Thorn, giving a space-time picture to the vertex operators introduced by Veneziano and Fubini and a geometrical interpretation to the Virasoro conditions.
In 1970, Pierre Ramond added fermions to the model, which led him to formulate a two-dimensional supersymmetry to cancel the wrong-sign states. John Schwarz and André Neveu added another sector to the fermi theory a short time later. In the fermion theories, the critical dimension was 10. Stanley Mandelstam formulated a world sheet conformal theory for both the bose and fermi case, giving a two-dimensional field theoretic path-integral to generate the operator formalism. Michio Kaku and Keiji Kikkawa gave a different formulation of the bosonic string, as a string field theory, with infinitely many particle types and with fields taking values not on points, but on loops and curves.
In 1974, Tamiaki Yoneya discovered that all the known string theories included a massless spin-two particle which obeyed the correct Ward identities to be a graviton. John Schwarz and Joel Scherk came to the same conclusion and made the bold leap to suggest that string theory was a theory of gravity, not a theory of hadrons. They reintroduced Kaluza–Klein theory as a way of making sense of the extra dimensions. At the same time, quantum chromodynamics was recognized as the correct theory of hadrons, shifting the attention of physicists and apparently leaving the bootstrap program in the dustbin of history.
String theory eventually made it out of the dustbin, but for the following decade all work on the theory was completely ignored. Still, the theory continued to develop at a steady pace thanks the work of a handful of devotees. Ferdinando Gliozzi, Joel Scherk, and David Olive realized in 1976 that the original Ramond and Neveu Schwarz-strings were separately inconsistent and needed to be combined. The resulting theory did not have a tachyon, and was proven to have space-time supersymmetry by John Schwarz and Michael Green in 1981. The same year, Alexander Polyakov gave the theory a modern path integral formulation, and went on to develop conformal field theory extensively. In 1979, Daniel Friedan showed that the equations of motions of string theory, which are generalizations of the Einstein equations of General Relativity, emerge from the Renormalization group equations for the two-dimensional field theory. Schwarz and Green discovered T-duality, and constructed two different superstring theories--- IIA and IIB related by T-duality, and type I theories with open strings. The consistency conditions had been so strong, that the entire theory was nearly uniquely determined, with only a few discrete choices.
In the early 1980s, Edward Witten discovered that most theories of quantum gravity could not accommodate chiral fermions like the neutrino. This led him, in collaboration with Luis Alvarez-Gaumé to study violations of the conservation laws in gravity theories with anomalies, concluding that type I string theories were inconsistent. Green and Schwarz discovered a contribution to the anomaly that Witten and Alvarez-Gaumé had missed, which restricted the gauge group of the type I string theory to be SO(32). In coming to understand this calculation, Edward Witten became convinced that string theory was truly a consistent theory of gravity, and he became a high-profile advocate. Following Witten's lead, between 1984 and 1986, hundreds of physicists started to work in this field, and this is sometimes called the first superstring revolution.
During this period, David Gross, Jeffrey Harvey, Emil Martinec, and Ryan Rohm discovered heterotic strings. The gauge group of these closed strings was two copies of E8, and either copy could easily and naturally include the standard model. Philip Candelas, Gary Horowitz, Andrew Strominger and Edward Witten found that the Calabi-Yau manifolds are the compactifications which preserve a realistic amount of supersymmetry, while Lance Dixon and others worked out the physical properties of orbifolds, distinctive geometrical singularities allowed in string theory. Cumrun Vafa generalized T-duality from circles to arbitrary manifolds, creating the mathematical field of mirror symmetry. David Gross and Vipul Periwal discovered that string perturbation theory was divergent in a way that suggested that new non-perturbative objects were missing.
In the 1990s, Joseph Polchinski discovered that the theory requires higher-dimensional objects, called D-branes and identified these with the black-hole solutions of supergravity. These were understood to be the new objects suggested by the perturbative divergences, and they opened up a new field with rich mathematical structure. It quickly became clear that D-branes and other p-branes, not just strings, formed the matter content of the string theories, and the physical interpretation of the strings and branes was revealed--- they are a type of black hole. Leonard Susskind had incorporated the holographic principle of Gerardus 't Hooft into string theory, identifying the long highly-excited string states with ordinary thermal black hole states. As suggested by 't Hooft, the fluctuations of the black hole horizon, the world-sheet or world-volume theory, describes not only the degrees of freedom of the black hole, but all nearby objects too.
In 1995, at the annual conference of string theorists at the University of Southern California (USC), Edward Witten gave a speech on string theory that essentially united the five string theories that existed at the time, and giving birth to a new 11-dimensional theory called M-theory. M-theory was also foreshadowed in the work of Paul Townsend at approximately the same time. The flurry of activity which began at this time is sometimes called the second superstring revolution.
During this period, Tom Banks, Willy Fischler, Stephen Shenker and Leonard Susskind formulated a full holographic description of M-theory on IIA D0 branes, the first definition of string theory that was fully non-perturbative and a concrete mathematical realization of the holographic principle. Andrew Strominger and Cumrun Vafa calculated the entropy of certain configurations of D-branes and found agreement with the semi-classical answer for extreme charged black holes. Petr Horava and Edward Witten found the eleven-dimensional formulation of the heterotic string theories, showing that orbifolds solve the chirality problem. Witten noted that the effective description of the physics of D-branes at low energies is by a supersymmetric gauge theory, and found geometrical interpretations of mathematical structures in gauge theory that he and Nathan Seiberg had earlier discovered in terms of the location of the branes.
In 1997 Juan Maldacena noted that the low energy excitations of a theory near a black hole consist of objects close to the horizon, which for extreme charged black holes looks like an anti de Sitter space. He noted that in this limit the gauge theory describes the string excitations near the branes. So he hypothesized that string theory on a near-horizon extreme-charged black-hole geometry, an anti-deSitter space times a sphere with flux, is equally well described by the low-energy limiting gauge theory, the N=4 supersymmetric Yang-Mills theory. This hypothesis, which is called the AdS/CFT correspondence, was further developed by Steven Gubser, Igor Klebanov and Alexander Polyakov, and by Edward Witten, and it is now well-accepted. It is a concrete realization of the holographic principle, which has far-reaching implications for black holes, locality and information in physics, as well as the nature of the gravitational interaction. Through this relationship, string theory has been shown to be related to gauge theories like quantum chromodynamics and this has led to more quantitative understanding of the behavior of hadrons, bringing string theory back to its roots.
Here is a selection of the most significant electricians' books available online today, at the best prices around. Clicking on any logo provides access to reviews and ratings by electricians. A good place to start is with the 2008 NEC Handbook, which contains the complete text of the current code plus extensive commentary, diagrams and illustrations. Other books of interest for the electrician are available as well.