Skip to content

Alternate Quantization and the BF Bound

The mass-dimension relation has two roots:

Δ±=d2±ν,ν=d24+m2L2.\Delta_\pm = \frac d2\pm\nu, \qquad \nu= \sqrt{\frac{d^2}{4}+m^2L^2}.

In standard quantization, a scalar in AdSd+1\mathrm{AdS}_{d+1} is usually dual to an operator of dimension Δ+\Delta_+. But for a range of negative masses, the same bulk scalar admits a second consistent quantization in which the dual operator has dimension Δ\Delta_-. This is called alternate quantization.

The stability bound is the Breitenlohner–Freedman bound:

m2L2d24.\boxed{ m^2L^2\ge -\frac{d^2}{4}. }

The clean alternate-quantization window is

d24m2L2<d24+1\boxed{ -\frac{d^2}{4} \le m^2L^2 < -\frac{d^2}{4}+1 }

or equivalently

0ν<1.0\le\nu<1.

This page explains why negative mass squared can be stable in AdS, why alternate quantization exists only near the BF bound, and how a choice of boundary condition becomes a choice of CFT data.

The Breitenlohner-Freedman bound and the alternate-quantization window for a scalar in AdS.

Scalar masses in AdS. Below the BF bound, ν\nu is imaginary and the AdS vacuum is unstable. In the window 0ν<10\le\nu<1, both asymptotic falloffs can be normalizable, so one may choose standard or alternate quantization. Above the window, the generic unitary choice is standard quantization with Δ=Δ+\Delta=\Delta_+.

The GKP/Witten prescription says that a CFT source is a bulk boundary condition. This page makes that sentence sharper: near the BF bound, there is more than one consistent choice of boundary condition.

For a scalar with expansion

ϕ(z,x)=zΔα(x)+zΔ+β(x)+,\phi(z,x) = z^{\Delta_-} \alpha(x) + z^{\Delta_+} \beta(x) + \cdots,

standard quantization uses

αas the source,Δ(O+)=Δ+,\alpha \quad \text{as the source}, \qquad \Delta(\mathcal O_+)=\Delta_+,

while alternate quantization uses

βas the source,Δ(O)=Δ.\beta \quad \text{as the source}, \qquad \Delta(\mathcal O_-)=\Delta_-.

This is not a semantic relabeling. It changes the variational principle, the generating functional, and the boundary CFT data. It is also the simplest arena in which double-trace deformations become mixed AdS boundary conditions.

The two roots are real only when

d24+m2L20.\frac{d^2}{4}+m^2L^2\ge0.

Thus

m2L2d24.m^2L^2\ge -\frac{d^2}{4}.

This is the BF bound.

In flat spacetime, a negative mass squared generally means an instability because

ω2=k2+m2\omega^2=\vec k^2+m^2

becomes negative at small momentum. AdS is different. It has a timelike conformal boundary, and fields require boundary conditions there. It also behaves like a gravitational box. A negative local mass term can be compatible with a positive conserved energy if it is not too negative and if the boundary condition is chosen appropriately.

If the bound is violated, write

ν=iγ,γ>0.\nu=i\gamma, \qquad \gamma>0.

Then the falloffs are

zd/2±iγ=zd/2e±iγlogz.z^{d/2\pm i\gamma} = z^{d/2} e^{\pm i\gamma\log z}.

The dimensions are complex,

Δ=d2±iγ,\Delta=\frac d2\pm i\gamma,

which is incompatible with an ordinary unitary CFT spectrum. The bulk and boundary diagnoses agree: below the BF bound, the AdS background is sick.

When the BF bound is obeyed, the scalar has the near-boundary expansion

ϕ(z,x)=zΔ(α(x)+)+zΔ+(β(x)+),\phi(z,x) = z^{\Delta_-} \left( \alpha(x)+\cdots \right) + z^{\Delta_+} \left( \beta(x)+\cdots \right),

where

Δ=d2ν,Δ+=d2+ν,Δ+Δ+=d.\Delta_-=\frac d2-\nu, \qquad \Delta_+=\frac d2+\nu, \qquad \Delta_-+\Delta_+=d.

The coefficients α\alpha and β\beta are the two independent asymptotic data of the second-order radial equation. A choice of quantization tells us which coefficient is held fixed as a source and which one is determined dynamically as a response.

In standard quantization,

α=J+,βO+,Δ(O+)=Δ+.\boxed{ \alpha=J_+, \qquad \beta\propto \langle\mathcal O_+\rangle, \qquad \Delta(\mathcal O_+)=\Delta_+. }

In alternate quantization,

β=J,αO,Δ(O)=Δ.\boxed{ \beta=J_-, \qquad \alpha\propto \langle\mathcal O_-\rangle, \qquad \Delta(\mathcal O_-)=\Delta_-. }

The proportionality constants depend on conventions and counterterms. The source-response exchange does not.

Why is alternate quantization not always allowed? The quickest answer is that the slower falloff is not always normalizable.

For a scalar mode behaving as

ϕzα,\phi\sim z^\alpha,

the Klein–Gordon norm near the boundary behaves schematically as

ϕKG20dzz1dϕ20dzz2αd+1.\|\phi\|_{\mathrm{KG}}^2 \sim \int_0 dz\,z^{1-d}|\phi|^2 \sim \int_0 dz\,z^{2\alpha-d+1}.

This converges near z=0z=0 when

2αd+1>1,2\alpha-d+1>-1,

or

α>d22.\alpha>\frac{d-2}{2}.

The faster falloff zΔ+z^{\Delta_+} is normalizable above the BF bound. The slower falloff zΔz^{\Delta_-} is normalizable only if

Δ>d22.\Delta_->\frac{d-2}{2}.

Using

Δ=d2ν,\Delta_-=\frac d2-\nu,

we get

d2ν>d22ν<1.\frac d2-\nu>\frac{d-2}{2} \quad \Longleftrightarrow \quad \nu<1.

Therefore alternate quantization is possible only in the window

0ν<1.0\le\nu<1.

In terms of the mass,

0d24+m2L2<1,0\le \frac{d^2}{4}+m^2L^2 <1,

so

d24m2L2<d24+1.\boxed{ -\frac{d^2}{4} \le m^2L^2 < -\frac{d^2}{4}+1. }

The same window appears from the boundary scalar unitarity bound. A scalar primary in a unitary dd-dimensional CFT obeys

Δd22\Delta\ge \frac{d-2}{2}

for d3d\ge3, apart from the identity. The alternate dimension

Δ=d2ν\Delta_-=\frac d2-\nu

satisfies this bound only when ν1\nu\le1, with endpoint subtleties.

The source-response interpretation is a statement about the bulk variational principle.

On shell, the scalar action varies as a boundary term. After holographic renormalization, the variation has the schematic form

δSren=(2ν)ddxβ(x)δα(x)+local terms,\delta S_{\mathrm{ren}} = (2\nu) \int d^d x\, \beta(x)\delta\alpha(x) + \text{local terms},

for non-integer ν\nu in common conventions.

This is naturally a functional of α\alpha:

Sren=Sren[α].S_{\mathrm{ren}}=S_{\mathrm{ren}}[\alpha].

Holding α\alpha fixed gives a well-posed Dirichlet-like variational problem. Holographically,

α(x)=J+(x)\alpha(x)=J_+(x)

is the source for an operator of dimension Δ+\Delta_+.

To obtain alternate quantization, one adds a finite boundary term that performs a Legendre transform. Schematically,

S~ren[β]=Sren[α](2ν)ddxα(x)β(x),\widetilde S_{\mathrm{ren}}[\beta] = S_{\mathrm{ren}}[\alpha] - (2\nu) \int d^d x\,\alpha(x)\beta(x),

with α\alpha eliminated in favor of β\beta through the bulk solution. Then

δS~ren=(2ν)ddxα(x)δβ(x)+local terms.\delta\widetilde S_{\mathrm{ren}} = -(2\nu) \int d^d x\, \alpha(x)\delta\beta(x) + \text{local terms}.

Now β\beta is fixed at the boundary. Holographically,

β(x)=J(x)\beta(x)=J_-(x)

is the source for an operator of dimension Δ\Delta_-.

The sign and factor of 2ν2\nu are convention-dependent. The invariant statement is

standard quantization fixes α,alternate quantization fixes β.\boxed{ \text{standard quantization fixes }\alpha, \qquad \text{alternate quantization fixes }\beta. }

For a scalar in the alternate window, the same bulk mass can describe two possible CFT dimensions:

choicesourceresponseoperator dimension
standardα\alphaβ\betaΔ+=d/2+ν\Delta_+=d/2+\nu
alternateβ\betaα\alphaΔ=d/2ν\Delta_-=d/2-\nu

In standard quantization,

α(x)J+(x),β(x)O+(x).\alpha(x)\equiv J_+(x), \qquad \beta(x)\propto\langle\mathcal O_+(x)\rangle.

In alternate quantization,

β(x)J(x),α(x)O(x).\beta(x)\equiv J_-(x), \qquad \alpha(x)\propto\langle\mathcal O_-(x)\rangle.

Since

dΔ=Δ+,d-\Delta_-=\Delta_+,

the faster coefficient has exactly the dimension required to source an operator of dimension Δ\Delta_-.

At the BF bound,

ν=0,m2L2=d24,Δ+=Δ=d2.\nu=0, \qquad m^2L^2=-\frac{d^2}{4}, \qquad \Delta_+=\Delta_-=\frac d2.

The two power-law solutions collide. The independent near-boundary solutions take the form

ϕ(z,x)=zd/2[α(x)log(zμ)+β(x)+],\phi(z,x) = z^{d/2} \left[ \alpha(x)\log(z\mu) + \beta(x) + \cdots \right],

where μ\mu is a renormalization scale introduced by the logarithm.

This case is stable, but it is not just the generic two-root story with ν=0\nu=0 inserted. The logarithm changes the counterterms, the variational principle, and the scale dependence.

At the upper edge,

ν=1,m2L2=d24+1,Δ=d22.\nu=1, \qquad m^2L^2=-\frac{d^2}{4}+1, \qquad \Delta_-=\frac{d-2}{2}.

The alternate dimension saturates the scalar unitarity bound. In a unitary CFT, a scalar primary saturating this bound is a free field. Bulk analyses at this endpoint often involve logarithmic or boundary-term subtleties. For a first pass, treat 0<ν<10<\nu<1 as the clean open window and handle ν=0,1\nu=0,1 separately.

Mixed boundary conditions and double-trace deformations

Section titled “Mixed boundary conditions and double-trace deformations”

The standard and alternate choices are fixed points. More general boundary conditions correspond to deformations of the boundary theory.

A common mixed boundary condition is

β=fα.\beta=f\alpha.

Depending on which quantization and normalization one starts with, the same physics may be written as α=fβ\alpha=f\beta or with additional local terms. The invariant idea is that a deformation changes the relation between source and response.

In the alternate theory, the double-trace deformation

δSCFT=f2ddxO2\delta S_{\mathrm{CFT}} = \frac f2 \int d^d x\,\mathcal O_-^2

corresponds at large NN to a mixed boundary condition for the dual scalar. Since

Δ(O2)2Δ=d2ν,\Delta(\mathcal O_-^2) \approx 2\Delta_- = d-2\nu,

this operator is relevant for 0<ν<10<\nu<1. In the simplest large-NN story, the RG flow runs from alternate quantization in the ultraviolet to standard quantization in the infrared:

ΔΔ+.\Delta_- \quad \longrightarrow \quad \Delta_+.

This is one of the cleanest examples of how boundary conditions in AdS encode RG data in the CFT.

m2L2=2m^2L^2=-2 in AdS4\mathrm{AdS}_4

Section titled “m2L2=−2m^2L^2=-2m2L2=−2 in AdS4\mathrm{AdS}_4AdS4​”

For AdS4\mathrm{AdS}_4, the boundary dimension is d=3d=3. If

m2L2=2,m^2L^2=-2,

then

ν=942=12.\nu = \sqrt{\frac94-2} = \frac12.

Therefore

Δ=1,Δ+=2.\Delta_-=1, \qquad \Delta_+=2.

Since 0ν<10\le\nu<1, both quantizations are allowed.

The expansion is

ϕ(z,x)=z(α(x)+)+z2(β(x)+).\phi(z,x) = z\left(\alpha(x)+\cdots\right) + z^2\left(\beta(x)+\cdots\right).

Standard quantization gives a dimension-22 operator:

α=J+,βO+,Δ+=2.\alpha=J_+, \qquad \beta\sim\langle\mathcal O_+\rangle, \qquad \Delta_+=2.

Alternate quantization gives a dimension-11 operator:

β=J,αO,Δ=1.\beta=J_-, \qquad \alpha\sim\langle\mathcal O_-\rangle, \qquad \Delta_-=1.

m2L2=4m^2L^2=-4 in AdS5\mathrm{AdS}_5

Section titled “m2L2=−4m^2L^2=-4m2L2=−4 in AdS5\mathrm{AdS}_5AdS5​”

For AdS5\mathrm{AdS}_5, d=4d=4. If

m2L2=4,m^2L^2=-4,

then

ν=0,Δ=2.\nu=0, \qquad \Delta=2.

This is the BF bound in AdS5\mathrm{AdS}_5, and logarithms appear:

ϕz2(αlog(zμ)+β+).\phi \sim z^2 \left( \alpha\log(z\mu)+\beta+\cdots \right).

m2L2=3m^2L^2=-3 in AdS5\mathrm{AdS}_5

Section titled “m2L2=−3m^2L^2=-3m2L2=−3 in AdS5\mathrm{AdS}_5AdS5​”

For d=4d=4 and m2L2=3m^2L^2=-3,

ν=1,Δ+=3,Δ=1.\nu=1, \qquad \Delta_+=3, \qquad \Delta_-=1.

The alternate dimension saturates the four-dimensional scalar unitarity bound,

Δ=d22=1.\Delta_-=\frac{d-2}{2}=1.

This is an endpoint case, not the generic interior of the alternate window.

The near-boundary expansion and the choice of quantization are the same in Euclidean and Lorentzian signature. What changes is the interior condition used to determine the relation between α\alpha and β\beta.

In Euclidean AdS, one usually demands regularity in the interior. In Lorentzian global AdS, one specifies a state and an iϵi\epsilon prescription. In a black-hole background, retarded correlators require incoming boundary conditions at the horizon.

These choices determine the response once the source is fixed. They do not replace the boundary choice between standard and alternate quantization.

For

ϕ(z,x)=zΔα(x)+zΔ+β(x)+,Δ±=d2±ν,\phi(z,x) = z^{\Delta_-}\alpha(x) + z^{\Delta_+}\beta(x) + \cdots, \qquad \Delta_\pm=\frac d2\pm\nu,

the BF bound is

m2L2d24.\boxed{ m^2L^2\ge -\frac{d^2}{4}. }

The alternate-quantization window is

0ν<1d24m2L2<d24+1.\boxed{ 0\le\nu<1 \quad \Longleftrightarrow \quad -\frac{d^2}{4} \le m^2L^2 < -\frac{d^2}{4}+1. }

Standard quantization gives

α=J+,βO+,Δ(O+)=Δ+.\boxed{ \alpha=J_+, \qquad \beta\sim\langle\mathcal O_+\rangle, \qquad \Delta(\mathcal O_+)=\Delta_+. }

Alternate quantization gives

β=J,αO,Δ(O)=Δ.\boxed{ \beta=J_-, \qquad \alpha\sim\langle\mathcal O_-\rangle, \qquad \Delta(\mathcal O_-)=\Delta_-. }

Mixed boundary conditions correspond to multi-trace deformations, especially double-trace deformations at large NN.

“The BF bound says negative masses are forbidden.”

Section titled ““The BF bound says negative masses are forbidden.””

No. It says sufficiently negative masses are forbidden. Scalars with

d24m2L2<0-\frac{d^2}{4}\le m^2L^2<0

can be stable in AdS.

“If there are two roots, both quantizations are always allowed.”

Section titled ““If there are two roots, both quantizations are always allowed.””

No. The roots exist whenever the BF bound is satisfied, but alternate quantization requires the slower falloff to be normalizable and compatible with CFT unitarity. This restricts the mass to 0ν<10\le\nu<1.

“Alternate quantization changes the bulk mass.”

Section titled ““Alternate quantization changes the bulk mass.””

No. The mass is the same. The boundary condition and variational principle change. The same bulk equation can define different boundary CFT data.

“Both coefficients are vevs if both modes are normalizable.”

Section titled ““Both coefficients are vevs if both modes are normalizable.””

No. Normalizability says what is allowed to fluctuate. The source/vev split is fixed by the chosen variational principle.

Integer ν\nu often produces logarithms in the near-boundary expansion and contact-term ambiguities in correlation functions. The nonlocal part remains meaningful, but the local terms require a renormalization scheme.

Show that 0ν<10\le\nu<1 is equivalent to

d24m2L2<d24+1.-\frac{d^2}{4} \le m^2L^2 < -\frac{d^2}{4}+1.
Solution

By definition,

ν2=d24+m2L2.\nu^2 = \frac{d^2}{4} + m^2L^2.

The condition 0ν<10\le\nu<1 is equivalent to

0ν2<1.0\le\nu^2<1.

Therefore

0d24+m2L2<1.0 \le \frac{d^2}{4} + m^2L^2 <1.

Subtracting d2/4d^2/4 gives

d24m2L2<d24+1.-\frac{d^2}{4} \le m^2L^2 < -\frac{d^2}{4}+1.

Use the scalar unitarity bound Δ(d2)/2\Delta\ge(d-2)/2 to show that Δ=d/2ν\Delta_-=d/2-\nu is allowed only if ν1\nu\le1.

Solution

Demanding the bound gives

d2νd22=d21.\frac d2-\nu \ge \frac{d-2}{2} = \frac d2-1.

Canceling d/2d/2 gives

ν1,-\nu\ge -1,

so

ν1.\nu\le1.

The endpoint ν=1\nu=1 saturates the bound and is subtle.

Exercise 3: AdS4\mathrm{AdS}_4 with m2L2=2m^2L^2=-2

Section titled “Exercise 3: AdS4\mathrm{AdS}_4AdS4​ with m2L2=−2m^2L^2=-2m2L2=−2”

For d=3d=3 and m2L2=2m^2L^2=-2, compute ν\nu, Δ+\Delta_+, and Δ\Delta_-. Is alternate quantization allowed?

Solution

For d=3d=3,

ν=942=12.\nu = \sqrt{\frac94-2} = \frac12.

Thus

Δ+=32+12=2,Δ=3212=1.\Delta_+ = \frac32+\frac12 = 2, \qquad \Delta_- = \frac32-\frac12 = 1.

Because 0ν=1/2<10\le\nu=1/2<1, alternate quantization is allowed.

At the BF bound, what is Δ\Delta and why does a logarithm appear?

Solution

At the BF bound,

m2L2=d24,m^2L^2=-\frac{d^2}{4},

so

ν=0.\nu=0.

Therefore

Δ+=Δ=d2.\Delta_+=\Delta_-=\frac d2.

A second-order radial equation still needs two independent solutions. When the two indicial roots coincide, the second solution typically contains a logarithm:

ϕ(z,x)=zd/2(α(x)log(zμ)+β(x)+).\phi(z,x) = z^{d/2} \left( \alpha(x)\log(z\mu) + \beta(x) + \cdots \right).

In alternate quantization with 0<ν<10<\nu<1, show that the double-trace operator O2\mathcal O_-^2 is relevant at large NN.

Solution

At large NN,

Δ(O2)2Δ.\Delta(\mathcal O_-^2) \approx 2\Delta_-.

Since

Δ=d2ν,\Delta_-=\frac d2-\nu,

we get

2Δ=d2ν.2\Delta_-=d-2\nu.

For 0<ν<10<\nu<1,

d2ν<d.d-2\nu<d.

Therefore O2\mathcal O_-^2 is relevant.