Wheeler–DeWitt equation

Short description: Field equation, part of a theory that attempts to combine quantum mechanics and general relativity

The Wheeler–DeWitt equation for theoretical physics and applied mathematics, is a field equation attributed to John Archibald Wheeler and Bryce DeWitt. The equation attempts to mathematically combine the ideas of quantum mechanics and general relativity, a step towards a theory of quantum gravity.

In this approach, time plays a role different from what it does in non-relativistic quantum mechanics, leading to the so-called 'problem of time'. More specifically, the equation describes the quantum version of the Hamiltonian constraint using metric variables. Its commutation relations with the diffeomorphism constraints generate the Bergman–Komar "group" (which is the diffeomorphism group on-shell).

Quantum gravity

All defined and understood descriptions of string/M-theory deal with fixed asymptotic conditions on the background spacetime. At infinity, the "right" choice of the time coordinate "t" is determined (because the space-time is asymptotic to some fixed space-time) in every description, so there is a preferred definition of the Hamiltonian (with nonzero eigenvalues) to evolve states of the system forwards in time. This avoids all the need to dynamically generate a time dimension using the Wheeler–DeWitt equation. Thus, the equation has not played a role in string theory thus far.

There could exist a Wheeler–DeWitt-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 published, completely different approaches, such as string theory, have opened alternative routes towards a theory of quantum gravity.

Motivation and background

In canonical gravity, spacetime is foliated into spacelike submanifolds. The three-metric (i.e., metric on the hypersurface) is [math]\displaystyle{ \gamma_{ij} }[/math] and given by

[math]\displaystyle{ g_{\mu\nu}\,\mathrm{d}x^{\mu}\,\mathrm{d}x^{\nu}=(-\,N^2+\beta_k\beta^k)\,\mathrm{d}t^2+2\beta_k\,\mathrm{d}x^k\,\mathrm{d}t+\gamma_{ij}\,\mathrm{d}x^i\,\mathrm{d}x^j. }[/math]

In that equation the Latin indices run over the values 1, 2, 3 and the Greek indices run over the values 1, 2, 3, 4. The three-metric [math]\displaystyle{ \gamma_{ij} }[/math] is the field, and we denote its conjugate momenta as [math]\displaystyle{ \pi^{ij} }[/math]. The Hamiltonian is a constraint (characteristic of most relativistic systems)

[math]\displaystyle{ \mathcal{H}=\frac{1}{2\sqrt{\gamma}}G_{ijkl}\pi^{ij}\pi^{kl}-\sqrt{\gamma}\,{}^{(3)}\!R=0 }[/math]

where [math]\displaystyle{ \gamma=\det(\gamma_{ij}) }[/math] and [math]\displaystyle{ G_{ijkl}=(\gamma_{ik}\gamma_{jl}+\gamma_{il}\gamma_{jk}-\gamma_{ij}\gamma_{kl}) }[/math] is the Wheeler–DeWitt 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

[math]\displaystyle{ \widehat{\mathcal{H}}=\frac{1}{2\sqrt{\gamma}}\widehat{G}_{ijkl}\widehat{\pi}^{ij}\widehat{\pi}^{kl}-\sqrt{\gamma}\,{}^{(3)}\!\widehat{R}. }[/math]

Working in "position space", these operators are

[math]\displaystyle{ \hat{\gamma}_{ij}(t,x^k) \to \gamma_{ij}(t,x^k) }[/math]

[math]\displaystyle{ \hat{\pi}^{ij}(t,x^k) \to -i \frac{\delta}{\delta \gamma_{ij}(t,x^k)}. }[/math]

One can apply the operator to a general wave functional of the metric [math]\displaystyle{ \widehat{\mathcal{H}} \Psi[\gamma] =0 }[/math] where:

[math]\displaystyle{ \Psi[\gamma] = a + \int \psi(x) \gamma(x) dx^3+ \int\int \psi(x,y)\gamma(x)\gamma(y) dx^3 dy^3 +... }[/math]

which would give a set of constraints amongst the coefficients [math]\displaystyle{ \psi(x,y,...) }[/math]. This means the amplitudes for [math]\displaystyle{ N }[/math] gravitons at certain positions is related to the amplitudes for a different number of gravitons at different positions. Or, one could use the two-field formalism, treating [math]\displaystyle{ \omega(g) }[/math] as an independent field so that the wave function is [math]\displaystyle{ \Psi[\gamma,\omega] }[/math].

Mathematical formalism

The Wheeler–DeWitt equation 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".

Hamiltonian constraint

Simply speaking, the Wheeler–DeWitt equation says

[math]\displaystyle{ \hat{H}(x) |\psi\rangle = 0 }[/math]

where [math]\displaystyle{ \hat{H}(x) }[/math] is the Hamiltonian constraint in quantized general relativity and [math]\displaystyle{ |\psi\rangle }[/math] 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 [math]\displaystyle{ \hat{H} }[/math] and [math]\displaystyle{ |\psi\rangle }[/math] may appear familiar, their interpretation in the Wheeler–DeWitt equation is substantially different from non-relativistic quantum mechanics. [math]\displaystyle{ |\psi\rangle }[/math] is no longer a spatial wave function in the traditional sense of a complex-valued function that is defined on a 3-dimensional space-like 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. [math]\displaystyle{ \hat{H} }[/math] 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 [math]\displaystyle{ \hat{H} |\psi\rangle = i \hbar \partial / \partial t |\psi\rangle }[/math] no longer applies. This property is known as timelessness. The reemergence of time requires the tools of decoherence and clock operators (or the use of a scalar field).

Momentum constraint

We also need to augment the Hamiltonian constraint with momentum constraints

[math]\displaystyle{ \vec{\mathcal{P}}(x) \left| \psi \right\rangle = 0 }[/math]

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 [math]\displaystyle{ t }[/math] 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 [math]\displaystyle{ \psi \rightarrow e^{i\theta(\vec{r} )} \psi }[/math] where [math]\displaystyle{ \theta(\vec{r}) }[/math] 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 time-scaling invariance.

See also

• ADM formalism
• Diffeomorphism constraint
• Euclidean quantum gravity
• Regge calculus
• Canonical quantum gravity
• Peres metric
• Loop quantum gravity

References

• Herbert W. Hamber and Ruth M. Williams (2011). "Discrete Wheeler-DeWitt Equation". Physical Review D 84 (10): 104033. doi:10.1103/PhysRevD.84.104033. Bibcode: 2011PhRvD..84j4033H. 
• Herbert W. Hamber, Reiko Toriumi and Ruth M. Williams (2012). "Wheeler-DeWitt Equation in 2+1 Dimensions". Physical Review D 86 (8): 084010. doi:10.1103/PhysRevD.86.084010. Bibcode: 2012PhRvD..86h4010H.