Quantum Gravity

Quantum gravity spans controlled low-energy graviton physics, constrained quantization, gravitational path integrals, discrete and continuum constructions, emergent spacetime, cosmology, and proposed observations. These do not share one maturity level or even one primary observable. This path is for advanced students and researchers who want to compare programmes on common scientific criteria while beginning from the part we can calculate systematically: general relativity as a quantum effective field theory.

Helpful background. Quantum mechanics supplies states, observables, unitary dynamics, density operators, perturbation theory, and scattering. Flat-spacetime quantum field theory supplies free fields, Fock space, propagators, renormalization, effective-field-theory reasoning, and gauge constraints. Einstein equations supplies classical dynamics and Bianchi consistency. Gravitational actions and boundary terms supplies differentiable variations and boundary contributions. Variational and symplectic geometry supplies field-space variations, presymplectic currents, constraints, gauge directions, and reduced phase spaces.

Scales, observables, and competing quantum-gravity programmes

By the end of the path, you should be able to:

• compare quantum-gravity programmes using common kinematic, dynamical, continuum, observable, correspondence, and evidence criteria;
• use low-energy quantum general relativity and graviton amplitudes within their controlled regime;
• analyze gauge-invariant or relational observables, locality, path integrals, and the problem of time; and
• separate a formal construction, effective prediction, phenomenological model, and speculative extrapolation.

With $c=\hbar=k_{\mathrm B}=1$ and $G$ explicit, the useful questions are dimensionless: which invariant energy, curvature, duration, occupation, or resolution is small compared with which scale, and for which observable?

Check your preparation

1. Why does gauge symmetry prevent every component of $h_{\mu\nu}$ from representing an independent graviton degree of freedom?
2. In an effective field theory, why does the appearance of a new ultraviolet divergence not erase lower-order predictivity?
3. What boundary and gauge information is needed before a gravitational action or symplectic form defines a variational problem?
4. What would count as a correspondence limit from a candidate quantum theory to general relativity?

Answers and review

1. Linearized diffeomorphisms generate redundant descriptions, while constraints remove further initial data; physical graviton states arise only after quotienting or solving these conditions. Review the quantum concepts with the QFT diagnostic and the classical side with the Einstein equation.
2. The divergence is absorbed by a coefficient of an allowed local operator. At any fixed order, only finitely many coefficients enter, while nonanalytic long-distance terms can remain predictions of the light-field theory.
3. State the allowed variations and boundary conditions, add the boundary terms needed for differentiability, and quotient gauge-degenerate directions or account for boundary charges. Review the Einstein–Hilbert action and presymplectic currents.
4. It requires a controlled family of states and observables whose dynamics reproduce classical or low-energy quantum gravity with a stated approximation and error, not merely a suggestive geometric analogy.

If answers 1–3 are secure, begin with the scale phase. Build any missing QFT foundation before the graviton and EFT phases, and resolve uncertainty about the action or symplectic structure before the canonical and path-integral phases. Use question 4 as the comparison standard throughout.

Route from controlled infrared physics to microscopic proposals

Phase 1 — Scales, observables, and controlled infrared gravity

Establish the comparison language and the perturbative effective-field-theory baseline before judging microscopic proposals.

1. Confirm the quantum-field bridge with the quantum mechanics and field theory diagnostic.
2. Establish the comparison language in quantum-gravity scales, regimes, and evidence.
3. Confront gauge-invariant meaning in gauge symmetry, relational observables, and locality.
4. Quantize the perturbative field in gravitons, gauge fixing, and quantum amplitudes.
5. Build the controlled baseline with general relativity as a quantum effective field theory.

Phase 2 — Quantization frameworks and continuum control

Compare canonical, path-integral, discrete, and renormalization-group constructions by their dynamics, gauge treatment, and continuum evidence.

6. Study constrained quantization and canonical quantum gravity and the problem of time.
7. Examine gravitational path integrals and boundary conditions, keeping contour and observable definitions explicit.
8. Assess loop quantum geometry and spin foams with separate kinematic, dynamical, and semiclassical tests.
9. Compare discrete, causal, and combinatorial spacetime using continuum and universality criteria.
10. Examine continuum quantum gravity and renormalization-group flows, tracking gauge, regulator, and truncation dependence.

Phase 3 — Emergence, applications, and tests

Demand an observable map and low-energy recovery while moving from emergent spacetime to cosmology, black holes, and phenomenology.

11. Study spacetime emergence and quantum causal structure with an explicit map from microscopic variables to observables.
12. Apply the standards to quantum cosmology.
13. Continue to quantum black holes and microscopic interfaces.
14. Finish with phenomenology and operational quantum-gravity tests, distinguishing a bound on an operator from a test of an entire programme.

Worked reasoning: what low-energy quantum gravity can predict

For a process with invariant energy $E$ and a background curvature scale $\mathcal R$, two basic quantum-gravitational expansion parameters are

$$\epsilon_E=GE^2=\left(\frac{E}{M_{\mathrm P}}\right)^2, \qquad \epsilon_R=G\mathcal R, \qquad M_{\mathrm P}=G^{-1/2}.$$

When these and any additional process-dependent ratios are small, the low-energy action contains the Einstein term plus a generally covariant derivative expansion,

$$\mathcal L_{\mathrm{EFT}}=\sqrt{-g}\left[ \frac{R-2\Lambda}{16\pi G} +c_1R^2+c_2R_{\mu\nu}R^{\mu\nu}+\cdots\right].$$

Unknown short-distance physics changes the local coefficients $c_i$. In momentum space, local operators generate terms analytic in the transfer, such as constants and powers of $q^2$. Massless propagation can instead produce nonanalytic pieces such as

$$q^2\log\!\left(\frac{-q^2-i0}{\mu_{\mathrm{ren}}^2}\right),$$

whose branch structure cannot be canceled by a local counterterm. Once the light spectrum and observable are specified, those nonanalytic terms encode universal long-distance information.

This yields a precise hierarchy. Low-energy quantum gravity predicts amplitudes order by order without knowing the microscopic completion. It does not determine the ultraviolet coefficients without measurement or matching, and it cannot be extrapolated through $\epsilon_E\sim1$ or another breakdown scale. Conversely, perturbative nonrenormalizability does not mean the low-energy theory has no predictions.

Checkpoints

Checkpoint 1. A proposed experiment constrains a modified dispersion coefficient to be small. Has it constrained every quantum-gravity programme?

Conceptual hint

Ask which programmes predict that operator, on which background, and with what coefficient map.

Setup hint

Write the tested low-energy operator and its coefficient, then require an explicit map from each programme’s parameters and background to that coefficient.

Next-step hint

Identify programmes in which a symmetry removes the operator or the tested regime is absent before transferring the experimental bound.

Solution

No. It constrains the specified effective operator and observation model. A programme is constrained only after a controlled derivation maps it to that operator in the tested regime; programmes preserving the relevant symmetry or predicting different observables may be untouched. One must therefore compare the measured coefficient with each programme’s derived low-energy limit rather than transfer the bound by name alone.

Checkpoint 2. A discrete model exhibits a promising scaling region in finite simulations. Which missing results prevent this alone from establishing quantum general relativity?

Conceptual hint

Separate finite-size evidence from continuum existence, universality, dynamics, and observables.

Setup hint

Organize the missing claims into continuum existence, regulator independence, universality, correct dynamics and symmetries, a semiclassical sector, and physical observables.

Next-step hint

Name one continuum observable whose general-relativistic value and uncertainty could be extracted; a scaling exponent alone does not supply that comparison.

Solution

One still needs a controlled continuum limit, regulator-independent universality, the correct propagating dynamics and symmetries, a semiclassical sector reproducing general relativity, and physical observables with quantified errors. The scaling region is evidence for a candidate route, not the completed correspondence.

Transfer task

Choose one quantum-gravity programme. Analyze a single flagship result through six questions: What is quantized? What is the physical state space? What controls the dynamics? Is there a continuum or semiclassical limit? Which gauge-invariant observable is computed? What empirical or cross-theory evidence supports it? Then compare the same result with the low-energy EFT baseline and identify which claim, if any, lies beyond EFT.

Capstone: a common-criteria programme comparison

Compare two genuinely different quantum-gravity programmes without ranking them on one vague axis. Your work should:

• specify kinematics, constraints, dynamics, observables, and approximation parameters for each;
• evaluate continuum, classical, and low-energy quantum correspondence limits;
• reproduce one controlled calculation from each at the appropriate level;
• classify analytic, numerical, phenomenological, and empirical support separately; and
• state one decisive unresolved test and one failure condition for each programme.

Judge the result by common-criteria fairness, technical reproducibility, correspondence control, and clear separation of established results from conjectures. Exemplary work explains why the strongest results of the two programmes may answer different scientific questions.

When you are ready to move on

You are ready to move on when you can compute and interpret the EFT control parameters, solve both checkpoints without hints, complete the six-question transfer, and meet all four capstone criteria. String and Holographic Black Holes, AdS Black Holes and Holography, and Black-Hole Information are optional branches with different prerequisites; none is required to complete the others.