Skip to content

Complexity Equals Volume Proposals

The complexity-equals-volume proposal assigns a boundary state a number proportional to the maximal volume of a codimension-one bulk slice anchored at the boundary time. Its functional is geometric and easy to evaluate, but it contains an arbitrary length V\ell_V, a UV divergence, and a choice of anchoring and asymptotic subtraction. CV is a conjectural dictionary distinct from CA and from any specified boundary circuit cost.

Required background. Boundary Complexity Inputs: Tasks, Reference States, and Gate Sets fixes the proposed boundary target. Two-Sided Black Holes and Thermofield-Double States supplies the state and geometry.

Helpful background. State, Unitary, Channel, and Operator Complexity prevents task conflation. Black-Hole Thermodynamics at the QFT Interface supplies the energy and entropy conventions.

For two boundary times tL,tRt_L,t_R, CV proposes

CV(tL,tR)=Vol(Σmax)GNV,\mathcal C_V(t_L,t_R) =\frac{\operatorname{Vol}(\Sigma_{\max})}{G_N\ell_V},

where Σmax\partial\Sigma_{\max} is anchored on the chosen boundary slices. The scale V\ell_V is often set to the AdS radius LL, but the proposal does not derive that choice or its O(1)O(1) coefficient Stanford and Susskind 2014.

For

ds2=f(r)dt2dr2f(r)r2dΩd12,\mathrm ds^2=f(r)\,\mathrm dt^2-\frac{\mathrm dr^2}{f(r)} -r^2\mathrm d\Omega_{d-1}^2,

a symmetric slice t(λ),r(λ)t(\lambda),r(\lambda) has

V=Ωd1 ⁣dλrd1ft˙2+r˙2/f.V=\Omega_{d-1}\int\!\mathrm d\lambda\, r^{d-1}\sqrt{-f\dot t^2+\dot r^2/f}.

Time-translation symmetry gives a conserved momentum. Choosing the square root as the worldline gauge yields

E=r2(d1)f(r)t˙,r˙2=f(r)+E2r2(d1).E=r^{2(d-1)}f(r)\dot t, \qquad \dot r^2=f(r)+\frac{E^2}{r^{2(d-1)}}.

At late boundary time the slice lingers at an interior radius rmr_m maximizing

W(r)=f(r)r2(d1).W(r)=-f(r)r^{2(d-1)}.

Consequently

dVdtΩd1rmd1f(rm).\frac{\mathrm dV}{\mathrm dt} \longrightarrow \Omega_{d-1}r_m^{d-1}\sqrt{-f(r_m)}.

This derivation checks dimensions: VV has length dd, so V/(GNV)V/(G_N\ell_V) is dimensionless in d+1d+1 bulk dimensions.

For nonrotating BTZ,

f(r)=r2r+2L2.f(r)=\frac{r^2-r_+^2}{L^2}.

The interior function W=r2(r+2r2)/L2W=r^2(r_+^2-r^2)/L^2 is maximal at rm=r+/2r_m=r_+/\sqrt2. Hence

dVdtπr+2L,dCVdtπr+2G3LV.\frac{\mathrm dV}{\mathrm dt} \longrightarrow\frac{\pi r_+^2}{L}, \qquad \frac{\mathrm d\mathcal C_V}{\mathrm dt} \longrightarrow\frac{\pi r_+^2}{G_3L\ell_V}.

Time-reflection symmetry gives zero first derivative at tL=tR=0t_L=t_R=0; the late linear regime follows after the slice approaches rmr_m. A full computation regulates the two asymptotic ends at the same induced boundary cutoff and subtracts or counterterms the divergent static part.

Replace V\ell_V by cVc\ell_V. Every CV value and growth rate changes by 1/c1/c while the geometry and thermodynamics do not. Next compare two bulk theories with the same boundary thermodynamic data but different higher-curvature or compactification corrections to the maximal slice. A fit of V\ell_V in one example does not predict the other.

The control leaves geometric volume and qualitative late growth intact but defeats a unique normalized circuit complexity unless an independent boundary map fixes V\ell_V and the scheme.

The classical result requires GN/Ld11G_N/L^{d-1}\ll1, curvature small relative to α1\alpha'^{-1}, and a consistent treatment of KK modes and higher-derivative corrections. The extremal slice can approach regions where EFT control is poor. Quantum bulk fields and finite NN require a separate generalized proposal, not substitution into the classical formula.

The evidence ceiling is a successful geometric diagnostic with repeated qualitative matches, not an identity with a unique boundary task. Continue to Divergences, Counterterms, and Scheme Dependence for renormalization and Complexity Equals Action Proposals for the inequivalent WDW prescription.

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.

  • Stanford, D., and Susskind, L. (2014), “Complexity and Shock Wave Geometries,” Physical Review D 90, 126007. DOI; arXiv:1406.2678.
  • Susskind, L. (2016), “Entanglement Is Not Enough,” Fortschritte der Physik 64, 49–71. DOI; arXiv:1411.0690.