Open Problems and Research Map
This course has built AdS/CFT from the ground up: large- gauge theory, AdS geometry, D-branes, the GKP/Witten dictionary, holographic renormalization, correlators, black branes, entanglement, AdS/CFT, applications, and the emergence of bulk quantum gravity from CFT data.
This final page is not a list of unsolved slogans. It is a research map. The point is to separate what is well understood from what is still structurally incomplete, and to show how a graduate student can enter the subject without being buried under folklore.
The organizing question is:
A useful answer has several layers:
Each arrow is partly understood. Each arrow is also where many open problems live.
What is already solid?
Section titled “What is already solid?”Before discussing open problems, it is worth naming what is not merely speculative.
In controlled examples, AdS/CFT gives an exact equivalence between a non-gravitational quantum theory and a quantum theory of gravity in asymptotically AdS spacetime. In the canonical example,
In the large-, large- regime, the bulk reduces to classical supergravity. The classical equations, black branes, Witten diagrams, holographic renormalization, RT/HRT surfaces, QES corrections, and real-time prescriptions are not decorative analogies. They are calculational limits of a sharper quantum statement.
But “there is a CFT” does not automatically mean that every bulk question is solved in the form we want. AdS/CFT often gives an answer in principle while leaving a hard problem of translation.
For example, exact boundary unitarity tells us that black-hole evolution in AdS is unitary. That does not by itself give a local semiclassical description of the interior at all times, a microscopic basis of black-hole states, or a simple rule for summing over gravitational saddles. Those are different levels of understanding.
The map at a glance
Section titled “The map at a glance”A research map for the final unit. The central theme is the emergence and limitation of bulk quantum gravity from boundary CFT data. The arrows are not a linear curriculum: progress usually comes from moving back and forth between CFT consistency, bulk effective theory, black-hole physics, and non-AdS aspirations.
The cleanest research questions usually live at an interface:
- between CFT data and local bulk EFT;
- between semiclassical reconstruction and exact finite- operators;
- between Euclidean gravitational saddles and factorization in a fixed CFT;
- between black-hole entropy formulas and microscopic Hilbert-space accounting;
- between AdS holography and cosmological or flat-space observables.
The rest of the page turns these interfaces into concrete problem families.
1. Which CFTs have local bulk duals?
Section titled “1. Which CFTs have local bulk duals?”The course repeatedly used a simple rule of thumb:
This is a powerful criterion, but it is not the end of the story.
A CFT is specified by its spectrum and OPE coefficients,
subject to crossing symmetry, unitarity, reflection positivity, Ward identities, and other consistency conditions. A bulk effective theory is specified by fields, masses, couplings, gauge redundancies, higher-derivative terms, and a cutoff. The research program is to understand the map
as sharply as possible.
What is known
Section titled “What is known”Large- factorization gives weak bulk interactions. A large gap to higher-spin or stringy single-trace operators allows interactions to be organized in a derivative expansion. In Mellin space, local AdS interactions behave more like polynomial scattering amplitudes, which makes bulk locality visible in CFT correlators.
For four-point functions, the basic pattern is:
The boundary bootstrap then becomes a way to ask which bulk EFTs are compatible with exact CFT consistency.
What remains open
Section titled “What remains open”A few representative questions:
- Necessity and sufficiency. Exactly which CFT conditions are necessary and sufficient for a local weakly curved bulk dual?
- Sharp locality. How does approximate bulk locality fail at finite , finite gap, or near black-hole horizons?
- Emergent gauge redundancy. How precisely do bulk diffeomorphism and gauge redundancy arise from the boundary operator algebra?
- String scale from CFT data. Can one systematically extract the full stringy tower and worldsheet structure from boundary correlators?
- Classification. Is there a useful classification of holographic CFTs, analogous to universality classes in ordinary critical phenomena?
A useful research attitude is: do not ask only whether a CFT “has a gravity dual.” Ask what kind of bulk description it has, at what scale, in which code subspace, and with what error terms.
2. What exactly is a bulk point?
Section titled “2. What exactly is a bulk point?”At leading order in , a free bulk scalar can be reconstructed as a smeared boundary operator:
Interactions require multi-trace corrections. Gauge fields and gravitons require dressing. Subregion reconstruction requires entanglement wedges. At finite , the very phrase “local bulk operator” becomes approximate.
The deeper question is:
The answer depends on the regime.
In semiclassical EFT, a bulk point is operationally meaningful if probes can resolve it without creating a black hole or exciting stringy physics. In the CFT, this locality must be encoded nonlocally in operator algebras, OPE data, modular flow, and code-subspace structure.
Open directions
Section titled “Open directions”- Bulk locality beyond perturbation theory. HKLL reconstruction is perturbative. What replaces it nonperturbatively?
- Gravitational dressing. Gauge-invariant bulk observables must be dressed to the boundary or to relational structures. How unique or state-dependent is this dressing?
- Entanglement wedge reconstruction. The equivalence between bulk reconstruction and quantum error correction is powerful, but making it explicit in interacting, time-dependent, finite- systems remains hard.
- Operator-algebra subtleties. In gravity, local algebras do not factorize in the naive way. The correct algebraic description of subregions is still an active interface between QFT, gravity, and quantum information.
- Interior reconstruction. Behind-horizon reconstruction is especially delicate because the semiclassical interior can depend on the state and on the code subspace.
The clean slogan is:
The research problem is to quantify “approximate” and make “encoded” explicit.
3. How should we understand black-hole interiors?
Section titled “3. How should we understand black-hole interiors?”AdS/CFT tells us that black holes are states or ensembles of states in an ordinary quantum system. That is a profound statement, but the interior remains subtle.
For the eternal AdS black hole, the two-sided geometry is dual to the thermofield-double state,
For one-sided black holes, the geometry should be encoded in a single CFT state. Before the Page time, semiclassical effective theory often gives a useful interior. After the Page time, the island formula and entanglement-wedge reconstruction imply that parts of the interior can be encoded in radiation degrees of freedom.
The open problem is not simply “is information lost?” In AdS/CFT, the boundary answer is no. The sharper questions are:
- What is the microscopic origin of the smooth interior?
- How does interior reconstruction depend on state, time, and code subspace?
- What happens to semiclassical locality at times of order the Page time, scrambling time, or recurrence time?
- How do singularities appear in the exact boundary theory?
- Can one construct a precise boundary diagnostic for the late-time interior?
The tension is that the same bulk region can sometimes be reconstructed from different boundary regions. This is not ordinary redundancy. It is quantum-error-correcting redundancy, and it becomes most dramatic for black-hole interiors.
4. What is the gravitational path integral computing?
Section titled “4. What is the gravitational path integral computing?”The semiclassical gravitational path integral often instructs us to sum over saddles:
Z_{\mathrm{grav}}[J] \sim \sum_{\mathcal M:\,\partial\mathcal M=J} \exp\left(-I_E[\mathcal M] ight).This formula is useful. It computes thermodynamics, saddles behind the Hawking–Page transition, replica geometries, and island contributions. But it is also dangerous if treated as a complete definition without specifying contour, boundary conditions, ensemble, and microscopic theory.
A fixed ordinary CFT obeys factorization. For two independent copies,
Euclidean wormholes connecting two asymptotic boundaries appear to threaten this factorization. In lower-dimensional models such as JT gravity, wormholes are closely related to ensemble averages. In ordinary fixed AdS/CFT dual pairs, the interpretation is less straightforward.
Open directions
Section titled “Open directions”- Contour problem. What is the correct nonperturbative integration cycle for gravitational path integrals?
- Factorization. How do connected Euclidean saddles coexist with factorization in a fixed CFT?
- Baby universes. Are baby-universe Hilbert spaces bookkeeping devices, physical sectors, or artifacts of incomplete definitions?
- Lorentzian versus Euclidean. Which Euclidean saddles are legitimate contributions to Lorentzian observables?
- Replica wormholes. What is the most microscopic derivation of replica wormhole contributions in top-down AdS/CFT examples?
The conservative lesson is: the path integral is a powerful semiclassical expansion, but AdS/CFT forces us to ask what exact quantum object it approximates.
5. What is the microscopic meaning of horizons and entropy?
Section titled “5. What is the microscopic meaning of horizons and entropy?”The Bekenstein–Hawking entropy formula
is one of the strongest clues that geometry counts quantum states. In AdS/CFT, black-hole entropy is boundary thermal entropy. That is a huge success.
But a research-level understanding asks for more:
- Which CFT states look like a given semiclassical black-hole geometry?
- How does coarse-grained entropy differ from fine-grained entropy in gravitational language?
- Which bulk observables distinguish typical microstates from the ensemble geometry?
- How do small black holes, string-scale black holes, fuzzball-like structures, and high-energy string states fit into one Hilbert-space story?
- Can we describe singularity resolution without leaving the CFT language?
There is a hierarchy of entropies that should not be conflated:
unless a specific argument says otherwise.
The Page curve and island formula give a major advance for fine-grained radiation entropy:
But this formula should not be mistaken for a complete local movie of information escaping. It gives an entropy prescription and an entanglement-wedge statement. The microscopic real-time mechanism remains a rich research subject.
6. What survives beyond classical AdS?
Section titled “6. What survives beyond classical AdS?”The cleanest course pages focused on the regime
But quantum gravity is not only classical Einstein gravity.
There are at least four important correction regimes:
Some open questions are computational: extracting higher-derivative terms from CFT data, computing finite-coupling corrections to transport, or organizing loop corrections to holographic entropy. Others are conceptual: understanding how the bulk description reorganizes when the string scale is comparable to the AdS scale.
One particularly important frontier is the stringy regime of SYM at finite . The bulk is no longer a small correction to Einstein gravity; it is a genuinely stringy AdS background. Questions that are easy in classical gravity can become hard worldsheet or integrability problems.
Another frontier is finite . At finite , exact trace relations, finite Hilbert-space effects at fixed energy, nonperturbative spectral discreteness, and black-hole microstate physics all matter. The semiclassical bulk may still be an excellent approximation for many questions, but it cannot be the final description.
7. Can AdS/CFT teach us about flat space and cosmology?
Section titled “7. Can AdS/CFT teach us about flat space and cosmology?”AdS has a timelike boundary and a natural Hamiltonian. Cosmology does not. This is one reason AdS/CFT is technically controlled while de Sitter and flat-space holography remain less complete.
Still, there are several important research programs.
Flat-space limits
Section titled “Flat-space limits”One can try to recover flat-space scattering from AdS by taking
while focusing on local bulk processes whose size is much smaller than . In this limit, CFT correlators should encode an -matrix-like object. Mellin amplitudes, wavepacket methods, and celestial transforms are all parts of this story.
Open questions include:
- What boundary observables best capture flat-space scattering?
- How does black-hole formation and evaporation appear in flat-space limits?
- Can one define flat-space quantum gravity holographically without embedding it in AdS first?
de Sitter and cosmology
Section titled “de Sitter and cosmology”de Sitter space has spacelike future infinity, cosmological horizons, and no globally timelike boundary where an ordinary unitary Hamiltonian evolution obviously lives. This makes the dictionary much harder.
Questions include:
- What are the correct observables in quantum cosmology?
- Is there a microscopic dual of de Sitter quantum gravity?
- How should horizon entropy be counted?
- Can lessons from AdS entanglement, islands, and QEC survive in cosmology?
- What does string theory allow or forbid for long-lived de Sitter vacua?
Here the right attitude is cautious. AdS/CFT provides tools and constraints, but it is not yet a solved theory of our universe.
8. What are the right observables?
Section titled “8. What are the right observables?”In ordinary QFT, local gauge-invariant operators are often the basic observables. In quantum gravity, exact local observables are obstructed by diffeomorphism invariance. In AdS/CFT, boundary correlators are exact observables, while local bulk fields are approximate, dressed, and code-subspace dependent.
This leads to a broad research question:
Examples:
- boundary correlation functions;
- modular Hamiltonians and relative entropy;
- Wilson loops and defect operators;
- entanglement entropy and generalized entropy;
- spectral statistics and late-time thermal correlators;
- scattering observables in flat-space limits;
- complexity-like quantities;
- algebraic centers and edge modes;
- relational bulk observables.
Complexity is especially intriguing because it appears sensitive to spacetime regions that are not captured by ordinary entanglement entropy. The conjectures
suggest that quantum computational complexity may diagnose the growth of black-hole interiors. But these formulas are less settled than RT, HRT, or QES. They are research proposals, not dictionary entries of the same status.
9. How do singularities appear in the CFT?
Section titled “9. How do singularities appear in the CFT?”Classical general relativity predicts singularities inside black holes and in cosmology. A complete theory of quantum gravity should replace or reinterpret them.
AdS/CFT offers a nonperturbative description of the boundary time evolution, so singularities cannot signal a breakdown of the whole quantum theory. But it remains hard to say exactly what replaces the local bulk description.
Open directions include:
- boundary diagnostics of spacelike singularities;
- CFT signatures of crunching AdS cosmologies;
- stringy resolution of orbifold and conifold singularities;
- role of black-hole interiors in typical high-energy states;
- whether singularity resolution is visible in finite-time boundary correlators or only in more nonlocal observables.
A good rule is:
10. What should a beginning researcher actually work on?
Section titled “10. What should a beginning researcher actually work on?”The field is too large to “learn all of AdS/CFT” before beginning research. A better plan is to choose an interface and learn outward from it.
Path A: CFT data to bulk EFT
Section titled “Path A: CFT data to bulk EFT”Prerequisites: conformal bootstrap, large- perturbation theory, Witten diagrams, Mellin amplitudes.
Typical questions:
- Which CFT bounds imply bulk causality or positivity?
- How do higher-derivative bulk couplings appear in anomalous dimensions?
- How do loop-level bulk effects appear in CFT data?
Path B: Reconstruction and quantum error correction
Section titled “Path B: Reconstruction and quantum error correction”Prerequisites: HKLL, RT/HRT, QES, modular flow, operator algebras, basic quantum information.
Typical questions:
- Can one explicitly reconstruct operators in time-dependent backgrounds?
- How does reconstruction change beyond leading order in ?
- What is the algebraic structure of gravitational subregions?
Path C: Black holes and information
Section titled “Path C: Black holes and information”Prerequisites: thermal AdS/CFT, QNMs, entanglement wedges, islands, replica methods.
Typical questions:
- What is the microscopic meaning of island saddles?
- How do wormholes coexist with factorization?
- Which boundary observables detect the interior?
Path D: Stringy and finite-coupling holography
Section titled “Path D: Stringy and finite-coupling holography”Prerequisites: SYM, integrability or string perturbation theory, supergravity spectra.
Typical questions:
- How do stringy corrections modify transport and chaos?
- Can one compute nonprotected correlators at intermediate coupling?
- How do string worldsheets encode bulk locality?
Path E: Beyond AdS
Section titled “Path E: Beyond AdS”Prerequisites: asymptotic symmetries, scattering theory, cosmology, celestial amplitudes, de Sitter geometry.
Typical questions:
- What is the correct holographic observable for flat space?
- Can celestial or Carrollian structures become a complete dictionary?
- What part of the AdS entanglement story survives in cosmology?
A practical research heuristic
Section titled “A practical research heuristic”When reading a paper, ask five questions.
- What is the regime? Classical gravity, stringy correction, bulk loop, exact CFT, bottom-up model?
- What is the observable? Correlator, entropy, spectrum, Wilson loop, complexity, partition function?
- What is controlled? Large , large gap, supersymmetry, integrability, effective theory, numerics?
- What is being inferred? A dictionary entry, a universal theorem, a model calculation, or a conjectural analogy?
- What would falsify or sharpen it? Crossing constraints, Ward identities, positivity, exact CFT data, top-down embedding?
These questions prevent a lot of holographic confusion.
Dictionary checkpoint
Section titled “Dictionary checkpoint”The course ends with a mature version of the dictionary:
| Boundary statement | Bulk interpretation |
|---|---|
| exact CFT Hilbert space | nonperturbative quantum gravity in AdS |
| large- factorization | weakly interacting bulk fields |
| large spectral gap | local bulk EFT below the gap |
| CFT crossing and unitarity | bulk causality, positivity, and consistency constraints |
| modular/entanglement data | entanglement wedges and gravitational equations |
| finite | quantum gravity corrections and nonperturbative effects |
| thermal CFT spectrum | black-hole microstates |
| CFT factorization | constraint on gravitational wormhole sums |
| lack of exact bulk locality | diffeomorphism invariance and finite- encoding |
The main lesson is not that the bulk is an illusion. The lesson is subtler: the bulk is an emergent, extraordinarily useful, but regime-dependent language for organizing exact boundary quantum dynamics.
Common confusions
Section titled “Common confusions”“AdS/CFT solves quantum gravity, so there are no open problems.”
Section titled ““AdS/CFT solves quantum gravity, so there are no open problems.””No. AdS/CFT gives a nonperturbative definition in controlled AdS examples. It does not automatically translate every gravitational question into a simple boundary calculation, nor does it give a complete theory of de Sitter cosmology or flat-space holography.
“If information is unitary in the CFT, the black-hole interior is fully understood.”
Section titled ““If information is unitary in the CFT, the black-hole interior is fully understood.””Boundary unitarity is a crucial constraint, but a local semiclassical description of the interior is a separate emergent question. The island and QEC stories sharpen the encoding, but many details remain open.
“Wormholes mean the dual theory must be an ensemble average.”
Section titled ““Wormholes mean the dual theory must be an ensemble average.””Sometimes ensemble averaging is the right interpretation, especially in simple lower-dimensional models. But fixed AdS/CFT dual pairs should factorize. The general lesson is not “all wormholes are wrong” or “all holography is an ensemble”; the hard question is how the gravitational path integral is completed in each microscopic theory.
“A bottom-up model with a nice black hole is automatically a consistent quantum gravity.”
Section titled ““A bottom-up model with a nice black hole is automatically a consistent quantum gravity.””No. A bottom-up model can be useful and even predictive in a limited regime, but consistency as a full quantum gravity requires more: UV completion, spectrum constraints, absence of forbidden global symmetries, causality, positivity, and embedding into a complete microscopic theory or a clearly defined effective domain.
“Finite is just a small correction.”
Section titled ““Finite NNN is just a small correction.””For some observables and time scales, yes. For black-hole microstates, spectral discreteness, late-time correlators, factorization, and nonperturbative effects, finite can qualitatively change the answer.
Exercises
Section titled “Exercises”Exercise 1: Classify the problem
Section titled “Exercise 1: Classify the problem”For each question below, classify it as primarily about CFT data, bulk EFT, reconstruction, black holes, path integrals, or beyond-AdS holography. Some questions have more than one correct label.
- Which four-point functions are compatible with a local quartic bulk interaction?
- How can an operator behind a black-hole horizon be reconstructed from boundary degrees of freedom?
- Why do Euclidean wormhole saddles not violate factorization in a fixed CFT?
- How can a flat-space scattering amplitude be extracted from CFT correlators?
- How does a finite- correction change ?
Solution
- CFT data and bulk EFT. The relevant tools are crossing symmetry, large- perturbation theory, Witten diagrams, Mellin amplitudes, and higher-derivative bulk interactions.
- Reconstruction, quantum error correction, and black holes. The relevant concepts are entanglement wedges, code subspaces, state dependence, and interior reconstruction.
- Gravitational path integrals and black-hole information. This is the factorization problem: a fixed CFT factorizes, while some semiclassical wormhole saddles appear connected.
- Beyond-AdS holography and CFT data. This belongs to the flat-space limit of AdS/CFT, often formulated using wavepackets or Mellin amplitudes.
- Stringy and quantum corrections to bulk EFT. At finite , higher-derivative terms such as corrections can modify transport coefficients.
Exercise 2: Why a large gap matters
Section titled “Exercise 2: Why a large gap matters”Explain why large alone is not enough to guarantee a local Einstein gravity dual.
Solution
Large suppresses connected correlators and suggests weak bulk interactions, but it does not guarantee that the only light single-trace operator of spin greater than two is absent. If there is an infinite tower of light higher-spin or stringy operators with dimensions of order one, the bulk cannot be well described by a local low-energy Einstein theory with a finite number of light fields.
A large gap separates the low-energy bulk fields from stringy or higher-spin excitations. Below that gap, one can organize the bulk dynamics as an effective field theory with higher-derivative corrections suppressed by powers of .
Exercise 3: Factorization as a boundary constraint
Section titled “Exercise 3: Factorization as a boundary constraint”Suppose two decoupled identical CFTs have sources and . Write the factorization condition for their partition function. Why is this condition nontrivial from the bulk point of view?
Solution
For two decoupled theories,
From the bulk point of view, one might try to sum over all Euclidean geometries with the prescribed asymptotic boundaries. Some of these geometries can connect the two boundaries, producing a contribution that looks non-factorized. The problem is to understand whether such saddles are absent, canceled, interpreted as ensemble-averaged contributions, or completed by additional microscopic data in a fixed AdS/CFT dual pair.
Exercise 4: An honest open problem
Section titled “Exercise 4: An honest open problem”Choose one of the following slogans and rewrite it as a precise research question.
- “Spacetime comes from entanglement.”
- “Black holes are quantum error-correcting codes.”
- “The radial direction is the RG scale.”
- “de Sitter holography should exist.”
Solution
Possible precise versions are:
- Which class of entanglement measures, modular Hamiltonians, or relative entropies determines the bulk metric in a given code subspace, and with what assumptions?
- For a specified AdS black-hole background and code subspace, which boundary regions can reconstruct which interior operators, and what are the finite- error bounds?
- Given an Einstein-scalar domain wall dual to a relevant deformation, how do holographic beta functions compare with field-theory beta functions defined by a particular renormalization scheme?
- What is the Hilbert space, observable algebra, and entropy interpretation for quantum gravity in asymptotically de Sitter spacetime, and can these data be realized by a concrete microscopic model?
The purpose of the exercise is to turn slogans into falsifiable or computable questions.
Further reading
Section titled “Further reading”Foundational references:
- J. Maldacena, The Large Limit of Superconformal Field Theories and Supergravity.
- E. Witten, Anti de Sitter Space and Holography.
- O. Aharony, S. Gubser, J. Maldacena, H. Ooguri, and Y. Oz, Large Field Theories, String Theory and Gravity.
Bulk emergence, locality, and reconstruction:
- I. Heemskerk, J. Penedones, J. Polchinski, and J. Sully, Holography from Conformal Field Theory.
- D. Harlow, TASI Lectures on the Emergence of Bulk Physics in AdS/CFT.
- A. Hamilton, D. Kabat, G. Lifschytz, and D. Lowe, Local Bulk Operators in AdS/CFT.
- A. Almheiri, X. Dong, and D. Harlow, Bulk Locality and Quantum Error Correction in AdS/CFT.
- X. Dong, D. Harlow, and A. Wall, Reconstruction of Bulk Operators within the Entanglement Wedge in Gauge-Gravity Duality.
Black holes, islands, and information:
- J. Maldacena, Eternal Black Holes in Anti-de Sitter.
- D. Harlow, Jerusalem Lectures on Black Holes and Quantum Information.
- A. Lewkowycz and J. Maldacena, Generalized Gravitational Entropy.
- T. Faulkner, A. Lewkowycz, and J. Maldacena, Quantum Corrections to Holographic Entanglement Entropy.
- G. Penington, Entanglement Wedge Reconstruction and the Information Paradox.
- A. Almheiri, N. Engelhardt, D. Marolf, and H. Maxfield, The Entropy of Bulk Quantum Fields and the Entanglement Wedge of an Evaporating Black Hole.
Beyond AdS and speculative frontiers:
- J. Penedones, Writing CFT Correlation Functions as AdS Scattering Amplitudes.
- A. Strominger, The dS/CFT Correspondence.
- E. Witten, Quantum Gravity in de Sitter Space.
- S. Pasterski, S.-H. Shao, and A. Strominger, Flat Space Amplitudes and Conformal Symmetry of the Celestial Sphere.
- A. Brown, D. Roberts, L. Susskind, B. Swingle, and Y. Zhao, Complexity Equals Action.