Bulk Operators in Holography

• Bulk operators are defined as operator-valued distributions in the AdS bulk, reconstructed from nonlocal composite operators in the dual CFT, and are essential for understanding emergent spacetime.
• They employ methods such as HKLL kernel smearing, modular flow, and quantum error correction to satisfy microcausal commutation relations and mimic local field behavior.
• Their rigorous construction offers insights into gravitational dressing, gauge invariance, and the interplay between quantum entanglement and emergent bulk geometry.

Bulk Operators

Bulk operators are operator-valued distributions defined in the higher-dimensional geometric "bulk" spacetime of a holographic theory, typically Anti-de Sitter (AdS) space, that are reconstructed from or correspond to (generally nonlocal) composite operators in the dual conformal field theory (CFT) residing on the boundary. The study of bulk operators sits at the intersection of mathematical physics, quantum field theory, operator algebras, and holographic duality, particularly within the AdS/CFT correspondence. Their rigorous construction, properties, and physical interpretation are central to understanding the emergence of bulk locality, causality, and gravity from quantum entanglement and field theoretic data in the boundary theory.

1. Definition and Core Representations

Bulk operators, such as local scalar fields $\phi(y)$ at spacetime point $y$ in AdS, are constructed as integral transforms (or "smearing") of CFT primary operators $O(x')$ on the boundary. The canonical prescription, often called the "HKLL" (Hamilton-Kabat-Lifschytz-Lowe) reconstruction, gives for a bulk free scalar of mass $m$:

$$\phi(z, x) = \int d^d x' \; K_\Delta(z, x \mid x') \; O(x')$$

where $K_\Delta$ is the bulk-to-boundary propagator kernel determined by the AdS geometry and conformal dimension $\Delta$ (with $m^2 = \Delta(\Delta-d)$) (Kabat et al., 2011, Wang et al., 2015, Jonckheere, 2017). This smearing function is determined either by matching boundary asymptotics, mode expansions, or Green's function analysis. The construction naturally generalizes to higher-spin fields, composite operators, and nontrivial backgrounds.

For interacting theories, the bulk operator acquires systematic corrections in $1/N$ (or $1/c$ for central charge). These involve the addition of multi-trace (double-trace, triple-trace, etc.) CFT operators smeared with appropriate kernels to restore microcausality and reproduce the correct perturbative equations of motion and commutator structure (Kabat et al., 2011, Kabat et al., 2015):

$$\phi(z, x) = \int K_\Delta O + \sum_{n=0}^\infty a_n(z) \int K_{\Delta_n} O_n(x')$$

where $O_n$ are double- or multi-trace primaries with dimensions $\Delta_n > \Delta$.

2. Algebraic Structure and Commutativity

At leading order in the large-$N$ (or large-$c$) expansion, bulk operators satisfy microcausal commutation relations mirroring those of local fields in effective field theory:

$$[\phi(y), \phi(y')] = 0 \quad \text{if} \quad (y - y')^2 < 0$$

This property constrains the allowed structure of the smearing kernels and fixes the coefficients of the multi-trace terms order by order in perturbation theory. Nontrivial commutators emerge at subleading orders or for boundary-supporting operators with nontrivial central extensions or gravitational "tails" (gravitational dressing) owing to the implementation of diffeomorphism invariance or gauge invariance (Kabat et al., 2011, Kabat et al., 2015, Jonckheere, 2017).

In quantum error correction terms, the operator algebra of the bulk is robust under the erasure (tracing out) of parts of the boundary, with each bulk operator reconstructible from any boundary region whose entanglement wedge contains its bulk support (Dong et al., 2016, Jonckheere, 2017, Sanches et al., 2017).

3. Reconstruction Methodologies

Kernel Smearing and Green's Function Methods

The construction of bulk operators heavily relies on choosing appropriate Green's functions $G(y|y')$ on AdS (or generalizations), yielding

$$\phi(y) = \int_{\partial \text{AdS}} d^d x' \; K(y|x') \; O(x')$$

with $$K(y|x') = \lim_{\rho'\rightarrow 0} \rho'^{d-\Delta} G(y|\rho', x')$$ (Heemskerk et al., 2012). The explicit choice of kernels and their analytic continuation allows for operator reconstruction in physically relevant backgrounds such as Schwarzschild-AdS black holes, including extending behind horizons (Heemskerk et al., 2012).

Modular Flow and OPE Block Approaches

An alternative method reorganizes the bulk operator support over the boundary via modular flow associated with entanglement wedges. The modular evolution of CFT operators accomplishes the reconstruction of bulk fields as modular-evolved boundary primaries:

$$\Phi(X \in W_R) = \int_{-\infty}^{\infty} ds \int_R d^dy \; K(s; X|y) \; O_s(y)$$

where $O_s(y)$ is the boundary operator modular flowed by the modular Hamiltonian of region $R$ (Faulkner et al., 2017). When the bulk operator is placed precisely on a Ryu–Takayanagi (RT) surface, the modular zero-mode of $O$ corresponds to an OPE block, giving a direct link between bulk fields and integral boundary constructs (Czech et al., 2016, Faulkner et al., 2017).

Algebraic and Symmetry-Based Constructions

Some frameworks construct bulk operators as linear superpositions of so-called "boundary-creating" (twisted Ishibashi) states, or through the solution of commutator conditions with modular Hamiltonians (requiring the bulk operator to commute with modular flows generated by entangling surfaces through its location) (Nakayama et al., 2015, Kabat et al., 2017). These methods exploit symmetry constraints and the representation theory of (global or extended) conformal algebras.

4. Extensions: Higher Spins, Topological Matter, and Non-AdS Geometries

The bulk operator framework has been extended to gauge fields (Maxwell, Fierz–Pauli spin-2) using specialized versions of the smearing construction in appropriately fixed gauges, with extra care to maintain the necessary invariances and physical content (Bhattacharyya et al., 2023). For $3d$ holomorphic-topological theories, bulk local operators include monopole sectors classified by topological quantum numbers, and the operator algebra acquires higher algebraic structures (shifted Poisson vertex algebras, $E_n$- and $L_\infty$-structures) (Zeng, 2021).

In theories at $c=0$ (such as percolation), the bulk operator algebra is built from degenerate Kac fields that become zero-norm states and participate in intricate logarithmic Jordan blocks, giving rise to logarithmic correlation functions and long-range correlations not captured by standard CFT primaries (He, 2024).

5. Limitations, Gauge Invariance, and Nonperturbative Considerations

All established bulk operator constructions are valid perturbatively (leading and subleading order in $1/N$ or $1/c$ expansions) and in code subspaces of small gravitational backreaction. True, nonperturbatively gauge-invariant bulk local operators do not exist due to the necessity of gravitational dressing—only relational or diffeomorphism-invariant observables constructed by partial gauge fixing or nonlocality are fully physical (Jafferis, 2017, Heemskerk et al., 2012). The task of defining unique, gauge-invariant, and local bulk observables in the presence of dynamical gravity is unsolved; at full quantum gravity level, bulk locality is only approximate, reflected in exponentially small commutators and nonlocal operator mixing outside the semiclassical regime.

Table: Core Approaches to Bulk Operator Construction

Approach	Main Idea	Typical Limitations
HKLL (Kernel Smearing)	Integral transform using boundary data and AdS Green's functions	Perturbative in $1/N$; gauge fixing
Modular Flow/OPE Block	Modular evolved operators & entanglement wedge construction	Requires full modular Hamiltonian
Algebraic/Boundary-Creating	Symmetry-based, Ishibashi or commutant characterizations	Free-field limit; multi-trace for interactions
Quantum Error Correction	Logical operators reconstructable from subregions via entanglement wedge	Exact only in code subspace

6. Physical Implications and Applications

The rigorous definition and reconstruction of bulk operators underpins the holographic emergence of bulk locality, causal structure, and the possibility of quantum gravitational measurements from the dual CFT. Explicit constructions enable the calculation of bulk correlators, analysis of black hole horizon-crossing phenomena, study of quantum chaos and scrambling, and clarify the role of entanglement and modular inclusions. In topological and critical models, the structure of bulk operators elucidates how local observables build up emergent geometry, long-range order, or logarithmic scaling.

7. Open Problems and Research Frontiers

Current challenges include generalizing bulk operator constructions to full Minkowski spacetime (Bhattacharyya et al., 2023), establishing nonperturbative uniqueness and gauge-invariant definitions, understanding the implications of error correction beyond the semiclassical regime (Sanches et al., 2017), and extending the formalism to non-AdS dualities and nonunitary field theories. The interplay of bulk operator algebra with emergent gravity, higher symmetries, and complexity theory remains a potent area of investigation. The development and classification of bulk operator algebras in logarithmic CFTs and topologically ordered phases are expected to clarify longstanding puzzles in statistical and condensed matter physics (He, 2024), as well as in the mathematical foundations of quantum field theory.