research35 min studyLesson 794 in Physics

Bulk scalar mass and boundary scaling dimension

Derive the near-boundary indicial roots and distinguish stability from a choice of quantization.

Before you begin

The AdS/CFT dictionary and its parameter regimes

On this page

The question for today

What you’ll understand

Derive the scalar mass-dimension relation.
Check the Breitenlohner–Freedman stability threshold.
Specify source and response branches and the restricted alternative window.

A bulk field's mass is related to a boundary operator's scaling dimension in a specified AdS model. This relation follows from the near-boundary wave equation and is one of the simplest quantitative dictionary entries. It does not by itself identify a complete interacting boundary theory. Work with a free linearized scalar on fixed AdS in d plus one dimensions, at scales where the chosen effective bulk description is valid, and specify the boundary condition before deciding which root is the operator dimension.

Solve the radial indicial equation

Near the Poincaré boundary, take a mode with leading radial power z to an exponent. Terms with fixed boundary momentum are subleading for this indicial calculation. The scalar Laplacian includes the warp factor and the radial volume measure, so its radial derivative operator is not simply the flat second derivative. Inserting the power law yields a quadratic equation involving mass times radius squared. Both resulting exponents are dimensionless, as a boundary scaling dimension must be.

The root convention is important. For a generic real positive square-root parameter, the smaller power dominates near z equals zero. Standard quantization treats its coefficient as the source and assigns the larger root to the operator dimension. This distinction separates a boundary deformation from a state-dependent response. Choosing a bulk mass and then calling whichever falloff is convenient the expectation value, without a variational principle and boundary condition, leaves the dictionary ambiguous.

z^2\partial_z^2\phi-(d-1)z\partial_z\phi-m^2L^2\phi\simeq0,\qquad \Delta(\Delta-d)=m^2L^2,\qquad \Delta_\pm=\frac d2\pm\nu,\quad \nu=\sqrt{\frac{d^2}{4}+m^2L^2}

The first expression isolates leading radial powers for fixed boundary momentum. m has inverse-length units in natural conventions; m² can be negative without making the AdS problem unstable.↔ Scroll wide equations horizontally.

Check stability before assigning a dimension

Negative mass squared in flat space often signals an unstable potential about the chosen vacuum. AdS changes the stability test because curvature and boundary conditions affect the allowed energy spectrum. The Breitenlohner–Freedman threshold keeps the indicial square root real and permits a range of negative masses squared. Below the threshold, the ordinary stable unitary AdS scalar setup fails. Reality of the roots is necessary in this discussion, but allowed boundary conditions and interactions still matter.

At the threshold, the two roots coincide and the second independent asymptotic solution contains a logarithm. The ordinary two-distinct-powers formula must then be replaced by an appropriate logarithmic expansion and renormalized boundary prescription. Other integer root separations can also produce logarithms in momentum-dependent expansions. These cases are not evidence that the mass-dimension equation has changed; they signal that the boundary expansion and source identification need more careful treatment.

m^2L^2\ge-\frac{d^2}{4},\qquad \nu=0:\quad \phi\sim z^{d/2}\big(A+B\ln(z/L)\big)

This is the BF bound for the stated linear scalar setting. The displayed degenerate expansion is schematic and makes the logarithm dimensionless using L; its boundary interpretation depends on the chosen renormalized condition.↔ Scroll wide equations horizontally.

Distinguish standard and alternative theories

Away from exceptional logarithmic cases, the standard near-boundary expansion contains a source power d minus the larger dimension and a response power equal to that dimension. A regularity or state condition in the interior relates their coefficients nonlocally. The source has boundary mass dimension d minus the operator dimension so that its integral against the operator is dimensionless. Rescalings of the bulk field and action change the normalization of the response-to-expectation-value relation.

When the square-root parameter lies strictly between zero and one, a suitable alternative quantization can instead assign the smaller root to the operator, with the conjugate boundary data exchanged through a changed variational prescription. The endpoints require separate analysis and are not silently included. Standard and alternative choices generally describe different boundary theories, not two simultaneous dimensions for the same fixed operator. The root-finding lab solves only a quadratic arithmetic example and contains no AdS stability analysis or boundary-condition selection.

\phi(z,x)=z^{d-\Delta_+}J(x)+z^{\Delta_+}A(x)+\cdots,\qquad 0<\nu<1:\quad \Delta_{\rm standard}=\Delta_+,\quad \Delta_{\rm alternative}=\Delta_-

This expansion suppresses normalization scales and local subleading terms. The source/response assignment shown is the standard one; alternative quantization changes that assignment and its action boundary terms.↔ Scroll wide equations horizontally.

Work it through

A negative mass above the stability threshold

In AdS4 take d = 3 and $m^2L^2=-2$ . Find ν and both roots, check the BF threshold, and identify the standard source and response powers. Is the strict alternative window available?

The threshold is $-d^2/4=-9/4$ . The supplied value −2 is larger, so it lies above that threshold. The square root is $\nu=\sqrt{9/4-2}=1/2$ .
The roots are $\Delta_+=3/2+1/2=2$ and $\Delta_-=1$ . Standard quantization therefore has a leading source term proportional to z and a response term proportional to $z^2$ .
The value ν equals one half and lies strictly between zero and one, so the appropriate alternative quantization is available under its stated boundary assumptions. It assigns dimension one in a different boundary prescription, not a second independent operator dimension in the same fixed quantization.

The result

The stable-root check gives ν = 1/2, roots 2 and 1, standard powers z and z², and an available alternative quantization window.

The living notebook

Explore the model

Interactive lab

Interactive lab · root-finding

A square-root arithmetic analogy only

Reset and set BOTH Target c = 0.25 and Initial upper bound U = 2; predict the root x = 0.50 of x² − c. Reset and set c = 1 and U = 2; predict root x = 1. Step to inspect the bracket. This bisection instrument does not solve an AdS wave equation, test the BF bound or choose a scalar boundary condition.

Quadratic / midpointCurrent bracketPositive root

Midpoint after 0 refinements: 1.5
Bracket error bound: 1.5
Computed residual · x² − c: 0.25

Target c2Initial upper bound U3

t = 0 s

Bisection of x² − c on [0,U], capped at 50 iterations for floating-point resolution. The error bound is the maximum distance from the displayed midpoint to either bracket endpoint (half the width in exact arithmetic). Compensated square evaluation preserves the bracket when ordinary multiplication rounds a residual to zero. A truly exact endpoint or midpoint collapses the bracket. This is one monotone quadratic, not a general root solver. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forFinding algebraic roots is only one part of a physical boundary-value problem.

Pause & reason

Check your understanding

Interactive checks need JavaScript. You can still read the explanation.

Read the checkpoint explanation

Stability and normalizability/boundary conditions constrain the branch choice. The strict alternative window discussed here is 0 < ν < 1, with endpoints requiring separate treatment.

Your turn

Try it yourself

In AdS5 compare $m^2L^2=-5$ with $m^2L^2=-4$ . Compute the indicial square-root argument in each case and explain why the second case is not described by two distinct power laws.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

The boundary dimension is four, so the BF threshold is minus four.

Compare with the solution

For mass squared times radius squared equal to −5, the square-root argument is $4-5=-1$ , giving complex roots and violating the stated stable unitary scalar threshold. At −4 the argument is zero and both roots equal two. The second independent asymptotic solution then has a $z^2\ln(z/L)$ factor rather than a different power. Boundary conditions, sources and counterterms must treat that logarithm explicitly; ordinary standard-versus-alternative formulas away from the endpoints cannot simply be substituted there.

Keep the idea

Take it with you

The mass-dimension relation comes from a warped radial wave equation.
Negative mass squared can be allowed above the AdS BF threshold.
Quantization and boundary conditions determine the source/response assignment.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.