Boundary Conditions, Alternate Quantization, and Deformations

For a scalar sufficiently close to the Breitenlohner–Freedman bound, both independent AdS falloffs can be normalizable. Choosing which coefficient is the source then gives two CFT operator dimensions, while a flux-preserving relation between the coefficients implements a multi-trace deformation. The choice is consistent only when the symplectic form is finite, the boundary condition makes time evolution self-adjoint, and the resulting spectrum is stable. This page treats a scalar in Lorentzian asymptotically AdS$_{d+1}$ with the $(+---)$ convention and translates the result through a Euclidean generating functional when discussing renormalization-group flow.

Required background. Timelike Boundary, Causality, and Boundary-Value Problems supplies the symplectic-flux and self-adjointness criteria. Bulk Fields and Boundary Operators supplies the mass–dimension relation and near-boundary coefficients.

Helpful background. Conformal Perturbation Theory and Beta Functions supplies the field-theory interpretation of the beta function. Timelike Boundaries and AdS Boundary Conditions gives the curved-spacetime self-adjoint extension framework.

The two normalizable scalar branches

In Fefferman–Graham coordinate $z$, write

$$\phi(z,x)=z^{\Delta_-}\alpha(x)+z^{\Delta_+}\beta(x)+\cdots, \qquad \Delta_\pm=\frac d2\pm\nu, \qquad \nu=\sqrt{\frac{d^2}{4}+m^2L^2}.$$

The BF bound is $m^2L^2\ge-d^2/4$. For $\nu>0$, the renormalized Klein–Gordon flux through the conformal boundary is proportional to

$$\Omega_{\partial M}(\phi_1,\phi_2) =2\nu\int_{\partial M}d^dx\, \left(\alpha_1\beta_2-\beta_1\alpha_2\right).$$

Standard quantization fixes $\alpha=J_+$ and assigns the operator dimension $\Delta_+$. Alternate quantization fixes $\beta=J_-$ and assigns dimension $\Delta_-$. Both are available in the open window

$$-\frac{d^2}{4}<m^2L^2<-\frac{d^2}{4}+1, \qquad 0<\nu<1.$$

At $\nu=0$ the two powers coalesce and logarithms require a separate treatment; at $\nu=1$ the alternate operator saturates the scalar unitarity bound and endpoint counterterms and null-state issues matter. The boundary-condition classification follows from positivity and self-adjoint extension analysis rather than from normalizability alone Ishibashi and Wald 2004, §§3–4.

Legendre transform and source normalization

Let the Euclidean scalar action have positive overall factor $\mathcal N_\phi$, and choose counterterms so that

$$\delta S_{\rm ren} =-2\nu\mathcal N_\phi\int d^dx\,\beta\,\delta\alpha.$$

Since $W=-S_{\rm ren}$, standard quantization gives $\langle\mathcal O_+\rangle=2\nu\mathcal N_\phi\beta$. The alternate functional is the Legendre transform

$$S_{\rm alt}=S_{\rm ren} +2\nu\mathcal N_\phi\int d^dx\,\alpha\beta, \qquad \delta S_{\rm alt}=2\nu\mathcal N_\phi\int d^dx\,\alpha\,\delta\beta,$$

so $\beta$ is the alternate source and $\langle\mathcal O_-\rangle=-2\nu\mathcal N_\phi\alpha$ in this sign convention. Changing the sign assigned to $\beta$ changes both displayed one-point signs; it must not change correlators or the flux condition after a consistent translation. The Legendre-transform relation between the two CFTs was made explicit by Klebanov and Witten 1999, §§2–3.

Mixed conditions as multi-trace deformations

Work from alternate quantization and add a local functional $W_{\rm mt}(\alpha)$. Define the deformed source by

$$J_W=\beta-W_{\rm mt}'(\alpha).$$

At zero source the bulk boundary condition is $\beta=W_{\rm mt}'(\alpha)$. It preserves the symplectic flux because the Hessian of a real local $W_{\rm mt}$ is symmetric. For a double-trace deformation,

$$W_{\rm mt}(\alpha)=\frac f2\alpha^2, \qquad \beta=f\alpha.$$

The coupling has dimension $[f]=d-2\Delta_-=2\nu$. With $\bar f=f\mu^{-2\nu}$, large-$N$ conformal perturbation theory has the schematic but normalization-explicit form

$$\mu\frac{d\bar f}{d\mu} =-2\nu\bar f+\kappa\bar f^2+O(N^{-2}),$$

where $\kappa>0$ in the usual positive two-point normalization and its magnitude depends on the chosen normalization of $\mathcal O_-$. The flow connects the $\Delta_-$ and $\Delta_+$ fixed points for the stable sign and appropriate convention. Multi-trace boundary conditions and their RG interpretation were derived in Witten 2001, §§2–4 and Berkooz, Sever, and Shomer 2002, §§3–4.

First application: the AdS4 scalar with mass −2/L²

Set $d=3$ and $m^2L^2=-2$. Then

$$\nu=\frac12, \qquad \Delta_-=1, \qquad \Delta_+=2.$$

Both quantizations are allowed. In the $\Delta_-=1$ theory, $\alpha$ is proportional to the operator expectation value and the double-trace coupling has mass dimension one. The dimensionless coupling $\bar f=f/\mu$ therefore begins with

$$\mu\frac{d\bar f}{d\mu}=-\bar f+\kappa\bar f^2+O(N^{-2}).$$

The ultraviolet fixed point at $\Delta_-=1$ flows, for the stable sign, toward the standard $\Delta_+=2$ theory. This application also exposes why quoting only $m^2=-2/L^2$ is incomplete: the operator dimension is not fixed until the boundary condition and source assignment are stated.

Adversarial check: stability and endpoints

Move the mass to $\nu>1$. The putative alternate dimension obeys $\Delta_-<(d-2)/2$ and violates the scalar unitarity bound, while the slow falloff no longer has the required finite positive norm. Thus the same Legendre-transform algebra no longer defines an ordinary unitary alternate CFT.

Even inside $0<\nu<1$, a real mixed condition is not automatically stable. For Euclidean boundary momentum $k$, interior regularity produces a relation $\beta=c_\nu k^{2\nu}\alpha$ up to local terms and normalization. The deformed propagator has a denominator proportional to $c_\nu k^{2\nu}-f$. A zero at an inadmissible Euclidean or Lorentzian momentum signals a bound state or tachyon. The sign of $f$ called “stable” depends on the definitions of $\alpha$, $\beta$, and $c_\nu$; the pole location and energy positivity are invariant checks. Nonlocal or frequency-dependent relations also require a new causal analysis and cannot be accepted merely because their formal flux vanishes.

Controlled limits and handoff

The beta function shown is its leading large-$N$ structure, not a universal exact polynomial. Contact terms change its scheme-dependent coefficients, and interactions can mix several operators and boundary conditions. Gauge fields, gravity, and mixed-symmetry fields have additional constraints and global data. For scalar applications, record $d$, $m^2L^2$, the branch, the source coefficient, the finite counterterm scheme, and the pole prescription before comparing results. Dictionary Normalization and Global-Data Audit turns those records into explicit cross-convention checks.

Exercises

Show directly that the real linear condition $\beta=f\alpha$ with constant $f$ makes the bilinear boundary flux vanish.

Solution

Substitution gives $\alpha_1\beta_2-\beta_1\alpha_2=f\alpha_1\alpha_2-f\alpha_1\alpha_2=0$. For a differential kernel $f$, the same conclusion requires that the kernel be symmetric under the boundary inner product.

The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.

For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.

References

• Berkooz, Micha, Amit Sever, and Ariel Shomer. “Double-Trace Deformations, Boundary Conditions and Spacetime Singularities.” Journal of High Energy Physics 05 (2002): 034. doi:10.1088/1126-6708/2002/05/034. arXiv:hep-th/0112264.
• Ishibashi, Akihiro, and Robert M. Wald. “Dynamics in Non-Globally-Hyperbolic Static Spacetimes III: Anti-de Sitter Spacetime.” Classical and Quantum Gravity 21 (2004): 2981–3014. doi:10.1088/0264-9381/21/12/012. arXiv:hep-th/0402184.
• Klebanov, Igor R., and Edward Witten. “AdS/CFT Correspondence and Symmetry Breaking.” Nuclear Physics B 556 (1999): 89–114. doi:10.1016/S0550-3213(99)00387-9. arXiv:hep-th/9905104.
• Witten, Edward. “Multi-Trace Operators, Boundary Conditions, and AdS/CFT Correspondence.” 2001. arXiv:hep-th/0112258.