
Quantum field theory 

Feynman diagram

History 
Equations

Incomplete theories

Scientists

The Wheeler–DeWitt equation^{[1]} is an attempt to combine mathematically the ideas of quantum mechanics and general relativity, a step toward a theory of quantum gravity. In this approach, time plays no role in the equation, leading to the problem of time.^{[2]} More specifically, the equation describes the quantum version of the Hamiltonian constraint using metric variables. Its commutation relations with the diffeomorphism constraints generate the BergmannKomar "group" (which is the diffeomorphism group onshell, but differs offshell).
Because of its connections with the lowenergy effective field theory, it inherits all the problems of the naively quantized GR, and thus it cannot be used at multiloop level, etc, at least not according to the current knowledge.
The equation has not played a role in string theory thus far, since all properly defined and understood descriptions of string/Mtheory deal with some fixed asymptotic conditions on the background. Thus, at infinity, the "right" choice of the time coordinate "t" is determined in every description, so there is a preferred definition of the Hamiltonian (with nonzero eigenvalues) to evolve states of the system forward in time. This avoids all the issues of the Wheelerde Witt equation to dynamically generate a time dimension.
But at the end, there could exist a Wheelerde Witt style manner to describe the bulk dynamics of quantum theory of gravity. Some experts believe that this equation still holds the potential for understanding quantum gravity; however, decades after the equation was first written down, it has not brought physicists as clear results about quantum gravity as some of the results building on completely different approaches, such as string theory.
Contents
Motivation and background[edit]
In canonical gravity, spacetime is foliated into spacelike submanifolds. The threemetric (i.e., metric on the hypersurface) is and given by
In that equation the Roman indices run over the values 1, 2, 3 and the Greek indices run over the values 1, 2, 3, 4. The threemetric is the field, and we denote its conjugate momenta as . The Hamiltonian is a constraint (characteristic of most relativistic systems)
where and is the WheelerDeWitt metric.
Quantization "puts hats" on the momenta and field variables; that is, the functions of numbers in the classical case become operators that modify the state function in the quantum case. Thus we obtain the operator
Working in "position space", these operators are
Derivation from path integral[edit]
The Wheeler–DeWitt equation can be derived from a path integral using the gravitational action in the Euclidean quantum gravity paradigm:^{[3]}
where one integrates over a class of Riemannian fourmetrics and matter fields matching certain boundary conditions. Because the concept of a universal time coordinate seems unphysical, and at odds with the principles of general relativity, the action is evaluated around a 3metric which we take as the boundary of the classes of fourmetrics and on which a certain configuration of matter fields exists. This latter might for example be the current configuration of matter in our universe as we observe it today. Evaluating the action so that it only depends on the 3metric and the matter fields is sufficient to remove the need for a time coordinate as it effectively fixes a point in the evolution of the universe.
We obtain the Hamiltonian constraint from
where is the EinsteinHilbert action, and is the lapse function (i.e., the Lagrange multiplier for the Hamiltonian constraint). This is purely classical so far. We can recover the Wheeler–DeWitt equation from
where is the threedimensional boundary. Observe that this expression vanishes, implying that the functional derivative also vanishes, giving us the Wheeler–DeWitt equation. A similar statement may be made for the diffeomorphism constraint (take functional derivative with respect to the shift functions instead).
Mathematical formalism[edit]
The Wheeler–DeWitt equation^{[1]} is a functional differential equation. It is ill defined in the general case, but very important in theoretical physics, especially in quantum gravity. It is a functional differential equation on the space of three dimensional spatial metrics. The Wheeler–DeWitt equation has the form of an operator acting on a wave functional, the functional reduces to a function in cosmology. Contrary to the general case, the Wheeler–DeWitt equation is well defined in minisuperspaces like the configuration space of cosmological theories. An example of such a wave function is the Hartle–Hawking state. Bryce DeWitt first published this equation in 1967 under the name "Einstein–Schrödinger equation"; it was later renamed the "Wheeler–DeWitt equation".^{[4]}
Simply speaking, the Wheeler–DeWitt equation says
where is the Hamiltonian constraint in quantized general relativity and stands for the wave function of the universe. Unlike ordinary quantum field theory or quantum mechanics, the Hamiltonian is a first class constraint on physical states. We also have an independent constraint for each point in space.
Although the symbols and may appear familiar, their interpretation in the Wheeler–DeWitt equation is substantially different from nonrelativistic quantum mechanics. is no longer a spatial wave function in the traditional sense of a complexvalued function that is defined on a 3dimensional spacelike surface and normalized to unity. Instead it is a functional of field configurations on all of spacetime. This wave function contains all of the information about the geometry and matter content of the universe. is still an operator that acts on the Hilbert space of wave functions, but it is not the same Hilbert space as in the nonrelativistic case, and the Hamiltonian no longer determines evolution of the system, so the Schrödinger equation no longer applies. This property is known as timelessness. The reemergence of time requires the tools of decoherence and clock operators^{[citation needed]} (or the use of a scalar field).
We also need to augment the Hamiltonian constraint with momentum constraints
associated with spatial diffeomorphism invariance.
In minisuperspace approximations, we only have one Hamiltonian constraint (instead of infinitely many of them).
In fact, the principle of general covariance in general relativity implies that global evolution per se does not exist; the time is just a label we assign to one of the coordinate axes. Thus, what we think about as time evolution of any physical system is just a gauge transformation, similar to that of QED induced by U(1) local gauge transformation where plays the role of local time. The role of a Hamiltonian is simply to restrict the space of the "kinematic" states of the Universe to that of "physical" states  the ones that follow gauge orbits. For this reason we call it a "Hamiltonian constraint." Upon quantization, physical states become wave functions that lie in the kernel of the Hamiltonian operator.
In general, the Hamiltonian vanishes for a theory with general covariance or timescaling invariance.
See also[edit]
 ADM formalism
 Diffeomorphism constraint
 Euclidean quantum gravity
 Regge Calculus
 Canonical quantum gravity
 Peres metric
 Loop quantum gravity
References[edit]
 ^ ^{a} ^{b} DeWitt, B. S. (1967). "Quantum Theory of Gravity. I. The Canonical Theory". Phys. Rev. 160 (5): 1113–1148. Bibcode:1967PhRv..160.1113D. doi:10.1103/PhysRev.160.1113.
 ^ https://medium.com/thephysicsarxivblog/d5d3dc850933
 ^ See J. B. Hartle and S. W. Hawking, "Wave function of the Universe." Phys. Rev. D 28 (1983) 2960–2975, eprint.
 ^ Go to Arxiv.org to read "Notes for a Brief History of Quantum Gravity" by Carlo Rovelli
 Herbert W. Hamber and Ruth M. Williams (2011). "Discrete WheelerDeWitt Equation". Physical Review D 84: 104033. doi:10.1103/PhysRevD.84.104033. Available at [1].
 Herbert W. Hamber, Reiko Toriumi and Ruth M. Williams (2012). "WheelerDeWitt Equation in 2+1 Dimensions". Physical Review D 86: 084010. doi:10.1103/PhysRevD.86.084010. Available at [2].

This page uses Creative Commons Licensed content from Wikipedia. A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia.