---
title: Heavy-Light Vacuum Block Approximation
url: https://www.emergentmind.com/topics/heavy-light-vacuum-block-approximation
type: topic
---

# Heavy-Light Vacuum Block Approximation

The heavy–light vacuum block approximation is the semiclassical large-\(c\) description of the Virasoro vacuum conformal block in a two-dimensional CFT when two external primaries are “heavy,” with dimensions scaling as \(h_H\sim O(c)\), and two are “light,” with \(h_L/c\ll 1\). In this regime the vacuum block exponentiates,
\[
F_{\rm vac}(c;h_H,h_H,h_L,h_L;z)=\exp\!\left[-\frac{c}{6}\,f(\eta,\epsilon;z)+O(c^0)\right],
\qquad
\eta\equiv \frac{h_H}{c},\quad \epsilon\equiv \frac{h_L}{c},
\]
and the semiclassical function \(f\) may be expanded in powers of the light ratio, \(f(\eta,\epsilon;z)=\epsilon f_1(\eta;z)+\epsilon^2 f_2(\eta;z)+O(\epsilon^3)\) [1511.05452]. The approximation organizes the vacuum-sector contribution to heavy–light four-point functions, admits a monodromy formulation through an accessory-parameter problem, and has a holographic interpretation in which the heavy insertions create a conical defect or BTZ background probed by light operators [1511.05452].

## 1. Heavy–light scaling and semiclassical form

The defining limit is \(c\to\infty\) with the heavy ratio fixed and the light ratio small. One convention uses \(\eta=h_H/c=O(1)\) and \(\epsilon=h_L/c\ll 1\) [1511.05452]. Another uses
\[
\epsilon_H\equiv \frac{6h_H}{c}=O(1),\qquad \epsilon_L\equiv \frac{6h_L}{c}\ll 1,
\]
with
\[
\alpha\equiv \sqrt{1-4\epsilon_H}=\sqrt{1-\frac{24h_H}{c}}\,,
\]
which is the parameter controlling the heavy background [1601.06794]. In the thermal regime one also writes
\[
T_H\equiv \frac{1}{2\pi}\sqrt{\frac{24h_H}{c}-1}=-\frac{i\alpha}{2\pi}\,,
\]
so that the block takes a thermal form on the cylinder [1512.03052].

At leading large \(c\), the heavy–light vacuum block can be written in several equivalent kinematic parametrizations. In cylinder time \(t\), defined by \(z=1-e^{-t}\), one has
\[
\mathcal V_0(t)=e^{h_L t}\left[\frac{\pi T_H}{\sin(\pi T_H t)}\right]^{2h_L},
\]
while in the uniformizing coordinate
\[
w=1-(1-z)^\alpha
\]
the same object becomes
\[
\mathcal V_0(z)=\left[\frac{w'(z)}{w(z)}\right]^{h_L}
=
\left[\frac{\alpha(1-z)^{\alpha-1}}{1-(1-z)^\alpha}\right]^{h_L}.
\]
These expressions make explicit the Euclidean-time periodicity inherited from the heavy state background [1512.03052].

This approximation is specifically a vacuum-block approximation: it isolates the identity Virasoro family in a heavy–light correlator. A plausible implication is that its physical content is strongest when the vacuum channel dominates the relevant OPE channel, although the summarized sources formulate the approximation itself independently of any global dominance claim.

## 2. Monodromy construction of the four-point block

The standard derivation inserts a formal level-2 null state and reduces the conformal block problem to a Fuchsian equation,
\[
\psi''(w)+T(w)\psi(w)=0,
\]
with a semiclassical stress tensor containing a single accessory parameter \(C(x)\) in the four-point gauge \(z_1=0\), \(z_2=1\), \(z_3=x\), \(z_4=\infty\):
\[
T(w)= \frac{\epsilon_H}{w^2}
+\frac{\epsilon_L}{(w-1)^2}
+\frac{\epsilon_L}{(w-x)^2}
-\frac{2\epsilon_L}{w(w-1)}
+ C(x)\,\frac{x(1-x)}{w(w-1)(w-x)}.
\]
The vacuum exchange is imposed by requiring trivial \(SL(2,\mathbb C)\) monodromy around the contour linking \(w=1\) and \(w=x\), equivalently \(\mathrm{Tr}\,M=-2\) [1601.06794].

Solving the monodromy condition perturbatively in \(\epsilon_L\) gives the leading accessory parameter
\[
C(x)= \epsilon_L\,
\frac{(\alpha+1)x^\alpha-(\alpha-1)}{x(x^\alpha-1)}
+O(\epsilon_L^2),
\]
and since \(C(x)=-\partial_x f(x)\), integration yields
\[
f(x)=2\epsilon_L\log\!\left[\frac{1-x^\alpha}{\alpha}\right]+\epsilon_L(1-\alpha)\log x.
\]
Exponentiating then gives
\[
F_{\rm vac}(x)\approx \exp\!\left[-\frac{c}{6}f(x)\right]
=(1-x^\alpha)^{-2h_L/\alpha}\,x^{-h_L(1-\alpha)/\alpha}\times (\mathrm{const})^{h_L}.
\]
For \(\epsilon_H>1/4\), this reproduces the expected periodicity \(x\to e^{2\pi i}x\) in the thermal regime [1601.06794].

In the \((\eta,\epsilon)\) notation, the same leading non-trivial coefficient is
\[
f_1(\eta;z)=12\log\!\Bigl[\frac{1-(1-z)^\alpha}{\alpha z}\Bigr]
+6(1-\alpha)\log(1-z),
\qquad
\alpha=\sqrt{1-24\eta},
\]
obtained by fixing the accessory parameter through trivial monodromy and integrating \(\partial_z f_1(\eta;z)=c_1(\eta,z)-12\eta/z\) [1511.05452]. The difference between these closed forms reflects differing coordinate and normalization conventions rather than a distinct approximation.

## 3. Quadratic light corrections and \(1/c\) refinements

The heavy–light semiclassical expansion extends beyond the linear probe term. The first next-to-leading contribution is the quadratic correction \(O((h_L/c)^2)\), or equivalently the \(\epsilon^2\) term in
\[
f(\eta,\epsilon;z)=\epsilon f_1(\eta;z)+\epsilon^2 f_2(\eta;z)+O(\epsilon^3).
\]
A fully closed form is available for \(\partial f_2(\eta;z)\):
\[
\partial f_2(\eta;z)=I(z;\alpha)+II(z;\alpha)+III(z;\alpha),
\]
where \(I\), \(II\), and \(III\) are given explicitly in terms of rational functions, logarithms, \(\pi\cot(\pi\alpha)\), the digamma \(\psi^{(0)}(\alpha)\), Euler’s constant \(\gamma\), and several hypergeometric functions \({}_2F_1\). The function \(f_2\) is then recovered by integrating with the boundary condition \(f_2(\eta;z)=O(z^4)\) as \(z\to0\), and the result agrees with high-order series extracted from the Zamolodchikov recursion [1511.05452].

Several structural properties are explicit at this order. The expansion in \(z\) converges for \(|z|<1\) in the \(s\)-channel; for real cross-ratios \(0<z<1\) the block is manifestly real; and crossing symmetry under \(z\to z/(z-1)\) is maintained order by order [1511.05452]. These statements delimit the regime in which the quadratic heavy–light vacuum block is directly controlled.

A distinct but related refinement is the perturbative \(1/c\) expansion of the vacuum block beyond the strict semiclassical exponent. One writes
\[
\mathcal V=\mathcal V_0\cdot
\left[
1+\frac{h_L}{c}\,\mathcal V^{(1)}_{h_L}
+\frac{h_L^2}{c}\,\mathcal V^{(1)}_{h_L^2}
+O(c^{-2})
\right],
\]
where the new functions furnish a “quantum” correction \(\sim h_L/c^2\) and a “semi-classical” correction \(\sim h_L^2/c^2\). Their explicit closed forms involve incomplete Beta functions
\[
B(x,\beta,0)=x^\beta\,{}_2F_1(1,\beta;1+\beta;x)/\beta
\]
and generalized harmonic numbers \(H_\alpha\), and can also be represented by contour integrals built from heavy-pair stress-tensor correlators and rational kernels [1512.03052]. The same projector-plus-kernel method extends to general Virasoro blocks, not only the vacuum block [1512.03052].

## 4. AdS\(_3\) interpretation: conical defects, BTZ backgrounds, and worldlines

The approximation admits a bulk description in which the heavy operators backreact to produce a classical geometry and the light operators propagate as probes. At leading order, the heavy background is described either as a conical defect or, in the thermal regime, as a static BTZ geometry with “mass” \(\sim \eta\); the light operators are represented by geodesics in that background, and \(f_1(\eta;z)\) is proportional to the regulated geodesic length [1511.05452].

In the conical-defect worldline construction, two heavy operators of weight \(h_H=\eta c\) at \(z=0,\infty\) produce the metric
\[
ds^2=-\cosh^2\rho\,dt^2+d\rho^2+\alpha^2\sinh^2\rho\,d\phi^2,
\qquad
\alpha=\sqrt{1-24\eta},
\]
with \(\phi\sim \phi+2\pi\). A light probe of dimension \(h_L\) follows a spacelike geodesic \(\gamma\) connecting the boundary insertion points, with action \(S[\gamma]=h_L L[\gamma]\). After solving the turning-point condition and renormalizing the proper length, one finds
\[
L[\gamma]_{\rm ren.}
=
2\ln\!\Bigl[\frac{(1+\sqrt{1-z})^\alpha}{2^\alpha\sqrt{1-z}}\Bigr],
\]
and the corresponding classical block is quoted as
\[
f(z)=2h_L\ln\!\Bigl[\frac{(1+\sqrt{1-z})^\alpha}{2^\alpha\sqrt{1-z}}\Bigr].
\]
This agrees with the large-\(c\), heavy–light Virasoro block obtained by CFT recursion or monodromy methods [1705.10950].

Beyond the probe limit, the \(O(\epsilon^2)\) term \(f_2(\eta;z)\) encodes the first backreaction of the geodesic on the BTZ background and supplies a more refined AdS\(_3\)/CFT\(_2\) matching problem than the leading geodesic picture [1511.05452]. In the \(1/c\) expansion, the leading block is associated with a geodesic in the backreacted BTZ geometry, whereas the subleading corrections are interpreted as one-loop effects such as graviton exchange between the light-operator geodesic and the heavy geodesic or self-energy diagrams on the light geodesic [1512.03052]. The same framework explains how monodromies in Euclidean time arise from geodesic crossing singularities in geodesic Witten diagrams [1512.03052].

## 5. Higher-point factorization, degenerate insertions, and Heun theory

In higher-point heavy–light correlators, the four-point vacuum block reappears as a universal building block for a class of OPE channels. When \(m\) light operators are paired so that each pair fuses into the vacuum in the vertical channels, the saddle-point action factorizes at leading order in \(\epsilon_L\) as
\[
f_{(m+2)}(x_i)=\sum_{\langle p,q\rangle} f_4(x_p,x_q),
\]
and hence
\[
F_{(m+2)}\approx \prod_{\langle p,q\rangle}F_{\rm vac}(x_p/x_q).
\]
This factorization is derived by repeating the same monodromy analysis used for the four-point block in each pairwise channel, and it underlies calculations of the entanglement entropy of an arbitrary number of disjoint intervals for heavy states [1601.06794].

A related semiclassical mechanism appears in degenerate five-point blocks. With four heavy primaries of dimensions \(\Delta_i=\delta_i/b^2\) and one light degenerate insertion \(\Delta_{2,1}=O(1)\), the chiral block factorizes in the classical limit \(b\to0\) as
\[
\mathscr F_{\pm}(z,x)\xrightarrow[b\to0]{}
\Psi_{\pm}(z,x)\,
\exp\!\Bigl\{\frac{1}{b^2}\,
f_{\delta}\!\bigl[{}_{\delta_4}^{\;\delta_3}\;{}_{\delta_1}^{\;\delta_2}\bigr](x)\Bigr\}.
\]
Here the exponential carries the heavy classical four-point block, while \(\Psi_\pm\) is a finite light fluctuation [1708.06135]. After dividing out the heavy exponential, the BPZ null-vector equation reduces to the normal-form Heun equation,
\[
\Psi''(z)+\Big[
\frac{\delta_1}{z^2}+\frac{\delta_2}{(z-x)^2}+\frac{\delta_3}{(1-z)^2}
+\frac{\delta_1+\delta_2+\delta_3-\delta_4}{z(1-z)}
+\frac{x(1-x)c_2(x)}{z(z-x)(1-z)}
\Big]\Psi(z)=0,
\]
with accessory parameter
\[
c_2(x)=\frac{d}{dx}\,
f_{\delta}\!\bigl[{}_{\delta_4}^{\;\delta_3}\;{}_{\delta_1}^{\;\delta_2}\bigr](x).
\]
In the vacuum intermediate channel \(\delta=0\), the classical block reduces to the classical vacuum block,
\[
{\cal F}^{\rm vac}(x)\approx \exp\!\Bigl\{\frac{1}{b^2}f_0(x)\Bigr\},
\qquad
c_2^{\rm vac}(x)=f_0'(x),
\]
which is the heavy–light vacuum block approximation in this degenerate-block setting [1708.06135]. The same factorization also yields Floquet-type solutions of Heun’s equation with prescribed monodromy [1708.06135].

A separate route to higher-point heavy–light blocks is the global-to-heavy–light map. In the five-point case, one uses the nonlinear reparametrization
\[
1-z_i=(1-w_i)^\alpha
\]
together with Jacobian factors \([\,\alpha(1-w_i)^{\alpha-1}\,]^{\Delta_i}\) to construct the heavy–light block from the global block. In this way the heavy–light vacuum specialization reproduces the perturbative classical block previously obtained by monodromy [1512.07627].

## 6. Semiclassical breakdown, nonperturbative structure, and related extensions

The approximation has controlled but finite validity. In Lorentzian time, analytic and numerical studies show that the semiclassical heavy–light vacuum block initially exhibits exponential decay,
\[
\mathcal V_{\rm vac}^{\rm sc}(t)\approx
\exp\!\bigl[-2\pi T_H h_L t\bigr],
\]
but this behavior crosses over at
\[
t_*=\frac{\pi c}{6h_L}\gg \beta,\qquad \beta=\frac{1}{T_H},
\]
to a universal late-time power law,
\[
|\mathcal V_{\rm vac}(t\gg t_*)|\propto t^{-3/2}.
\]
For the vacuum block the transition occurs at \(t\approx \pi c/(6h_L)\), and the semiclassical approximation is described as excellent for \(0<t\ll t_*\) but parametrically unreliable once \(t\gtrsim t_*\) [1703.09727].

In Euclidean time, the strict semiclassical block exhibits thermal image singularities at
\[
z_n=1-e^{n\beta},\qquad n\in\mathbb Z\setminus\{0\},
\]
the “forbidden singularities.” At finite \(c\), however, the exact Virasoro block is analytic for all \(z\notin\{0,1,\infty\}\) and smooth at each would-be \(z_n\). Near those points, non-perturbative \(O(e^{-c})\) effects become unsuppressed, a different semiclassical saddle takes over, and a finite Euclidean bubble of radius \(\Delta z\sim O(c^{-1/2})\) forms around each forbidden singularity. Crossing the boundary of this bubble is crossing an anti-Stokes line [1703.09727]. Closely related observations about Euclidean-time monodromies and their cancellation in the full correlator appear in the perturbative \(1/c\) analysis, which emphasizes that only non-perturbative corrections in \(1/c\) can resolve the singularities associated with the information paradox [1512.03052].

The same heavy–light logic has been extended beyond the Virasoro setting. In \(\mathfrak{bms}_3\) theory, semi-classical blocks exponentiate when \(c_M\to\infty\), and perturbative heavy and heavy–light vacuum \(\mathfrak{bms}_3\)-blocks can be computed from an oscillator construction, with heavy insertions creating a flat-space cosmology labelled by \(M\sim \xi_H\) and \(J\sim \Delta_H\) [2012.09173]. In large-\(c\) Virasoro \((n\le 6)\)-point blocks with superlight insertions, the logarithm of the block is related to the weighted length of a holographic Steiner tree on the Poincaré disk, and the resulting \(5\)- and \(6\)-point constructions solve the monodromy conditions to first order in the superlight weights [2101.04513]. This suggests that the heavy–light vacuum block approximation is not merely a four-point probe formula, but part of a broader semiclassical architecture linking monodromy problems, worldline geometries, and block exponentiation.

Source: https://www.emergentmind.com/topics/heavy-light-vacuum-block-approximation