---
title: Complexity equals Action (CA)
url: https://www.emergentmind.com/topics/complexity-equals-action-ca
type: topic
---

# Complexity equals Action (CA)

Complexity equals Action (CA) is the holographic proposal that identifies the quantum computational complexity of a boundary state with the on-shell gravitational action of the corresponding Wheeler–DeWitt (WDW) patch, normalized by \(1/\pi\hbar\). In its canonical form,
\[
\mathcal C_A=\frac{I_{\rm WDW}}{\pi\hbar},
\]
with the WDW patch defined as the union of all bulk spacelike surfaces anchored on the chosen boundary time slice, or equivalently as the domain of dependence of any anchored bulk Cauchy slice [1512.04993]. Developed first for AdS black holes, the proposal has since been extended to charged, rotating, accelerating, time-dependent, higher-curvature, finite-cutoff, and de Sitter settings, where its detailed behavior depends on null-boundary terms, horizon data, and the global structure of the bulk region [1810.00758, 2606.03049].

## 1. Definition through the Wheeler–DeWitt patch

In the CA conjecture, the object to be evaluated is not a maximal codimension-one slice but the full WDW region. For Einstein gravity this requires the bulk Einstein–Hilbert term, Gibbons–Hawking–York terms on timelike and spacelike regulators, null-boundary contributions involving the non-affinity \(\kappa\), joint terms at non-smooth intersections, and, in the Lehner et al. formulation, the null counterterm involving the expansion \(\Theta\log(\ell_{\rm ct}\Theta)\) [1910.03489, 2212.05902]. A representative form used in AdS\(_3\) analyses is
\[
I_{\rm WDW}
=
\int_W \frac{R-2\Lambda}{16\pi G}\sqrt{|g|}\,d^3x
+\frac{1}{8\pi G}\sum \int K\,d\Sigma
+\frac{1}{8\pi G}\sum \int \kappa\,dS
+\frac{1}{8\pi G}\sum \int \epsilon\,a\,dS,
\]
with analogous generalizations in higher dimensions and in higher-curvature theories [1801.01137].

This variational structure is central rather than auxiliary. In BCFT and Vaidya calculations, delicate cancellations among bulk, regulator, joint, brane, and null-counterterm contributions determine whether subleading divergences survive and whether the final answer is reparameterization invariant [1910.03489, 1804.07410]. In higher-curvature settings, the same issue reappears in Iyer–Wald language, where the null and corner sectors are organized by Wald entropy density rather than by purely Einsteinian boundary data [2003.10039].

## 2. Canonical late-time results and Lloyd-type bounds

Brown et al. derived the standard late-time benchmarks of CA in eternal AdS black holes. For uncharged Schwarzschild–AdS in any bulk dimension,
\[
\frac{dS[{\cal W}]}{dt}=2M,
\qquad
\frac{d\mathcal C_A}{dt}=\frac{2M}{\pi\hbar},
\]
which saturates the Lloyd-type bound \(d\mathcal C/dt\le 2E/(\pi\hbar)\) [1512.04993]. In four-dimensional Reissner–Nordström–AdS they found
\[
\frac{dS[{\cal W}]}{dt}=Q^2\left(\frac1{r_-}-\frac1{r_+}\right),
\]
while for rotating BTZ,
\[
\frac{dS[{\cal W}]}{dt}
=
\frac{r_+^2-r_-^2}{4G\ell^2}
=
2\sqrt{M^2-(J/\ell)^2}.
\]
The same work proposed charged and rotating refinements of the complexity-growth bound involving \(M-\mu Q\) and \(M-\Omega J\) [1512.04993].

Subsequent tests showed that this late-time behavior is robust but not universal in the naive sense of always obeying the simplest bound. In Einstein–Born–Infeld black holes, the CA growth rate violates the generalized Lloyd bound near extremality and near charged regular spacetimes, although along fixed boundary potential curves it tends to be saturated from below when moving away from the ground state [1703.06297]. By contrast, in Born–Infeld gravity on Einstein backgrounds the full on-shell WDW action rescales uniformly, and the late-time result again becomes
\[
\frac{d\mathcal C}{dt}=\frac{2E_{\rm BI}}{\pi\hbar},
\]
once the physical energy is defined by the Brown–York tensor [2002.09974]. In Minimal Massive 3D Gravity, the nonrotating BTZ limit \(r_-\to 0\) likewise yields
\[
\frac{dC_A}{dt}=\frac{2M_{\rm MMG}}{\pi\hbar},
\]
so the bound is saturated by the physical mass in that regime [1709.05894].

## 3. Horizon-charge formulas beyond Einstein gravity

A major development of the CA program is the Iyer–Wald reformulation of late-time action growth for arbitrary diffeomorphism-invariant theories. For stationary black holes with multiple Killing horizons, the general result can be written as
\[
\frac{dI}{dt}
=
\Bigl[
\Omega^{(\mu)}\mathcal J_{(\mu)}
+\Lambda_\infty[\xi]
-\Lambda_\Sigma[\xi]
\Bigr]_+^-,
\]
where \(\mathcal J_{(\mu)}\) are the angular momenta and \(\Lambda\) is the matter-sector contribution defined by the Noether-charge decomposition [1810.00758]. For \(U(1)\) matter this reduces to
\[
\frac{dI}{dt}
=
\bigl[
\Omega^{(\mu)}\mathcal J_{(\mu)}
+\Phi_{\mathcal H}Q_{\mathcal H}
\bigr]_+^-,
\]
which recovers the familiar Einstein–Maxwell formula as a special case [1810.00758].

This framework clarifies that the late-time CA rate is controlled by horizon charges and chemical potentials rather than by asymptotic AdS structure alone. The derivation does not require AdS asymptotics and extends to higher-curvature theories and arbitrary stationary backgrounds [1810.00758]. It also explains why the Brown et al. and Lehner et al. prescriptions agree at late times: the difference between the two action-counting methods comes only from the boundary term on the horizon segments, but both give the identical late-time result once horizon and singularity contributions are assembled [1905.08447].

Additional matter couplings modify the horizon formula in a controlled way. In five-dimensional charged supersymmetric black holes of minimal gauged supergravity, the electromagnetic Chern–Simons term adds an anomaly-sensitive correction,
\[
\frac{dC_A}{dt}
=
\frac1{\pi\hbar}\Bigl[
(\Omega_H^{(-)}J+\Phi_H^{(-)}Q-\lambda\,\chi_H^{(-)}\Phi_H^{(-)})
-
(\Omega_H^{(+)}J+\Phi_H^{(+)}Q-\lambda\,\chi_H^{(+)}\Phi_H^{(+)})
\Bigr],
\]
so the late-time complexity growth carries information about the chiral anomaly of the dual theory [2009.06830]. For charged accelerating AdS black holes, conical deficits generate extra terms proportional to the pole tensions \(\mu_\pm\), and in the \(A\to 0\) limit these deficit terms disappear, recovering the ordinary charged-AdS result [2106.09371].

## 4. Time dependence, collapse, and the switchback effect

In Vaidya geometries, CA becomes explicitly dynamical. For thin null-shell collapse in AdS, the null-fluid action can be chosen so that the shell is on-shell inert, \(I_{\rm fluid}|_{\rm on\!-\!shell}=0\), and the shell’s direct contribution to \(I_{\rm WDW}\) vanishes [1804.07410]. Nevertheless, the null-boundary counterterm is essential: without it, the one-sided black-hole growth rate does not approach the eternal-black-hole value; with it,
\[
\lim_{t_0\to\infty}\frac{dC_A}{dt_0}=\frac{2M}{\pi},
\]
and the full time dependence interpolates smoothly between early and late regimes [1804.07410].

Charged AdS–Vaidya collapse exhibits the same structural feature. The action growth rate and the slope of the complexity of formation agree with the switchback effect for light shocks, but only after including the particular counterterm on the null boundaries [1811.07347]. In the light-shock regime, the scrambling time is
\[
t^*_{\rm scr}
=
-\frac{1}{8\pi T_1}\ln(\omega_2/\omega_1-1),
\]
and the formation slope is approximately zero for \(t_w<t^*_{\rm scr}\), then becomes constant for \(t_w>t^*_{\rm scr}\) [1811.07347].

The higher-curvature, multiple-horizon generalization is especially sharp. In a Vaidya geometry with a light shockwave, the slope of the complexity of formation satisfies
\[
\frac{d\Delta C}{dt_w}=0
\quad\text{for}\quad
t_w\ll t_{\rm scr}^*,
\qquad
\frac{d\Delta C}{dt_w}=2\mathcal R
\quad\text{for}\quad
t_w\gg t_{\rm scr}^*,
\]
where \(\mathcal R\) is the unperturbed late-time growth rate [2003.10039]. The null-boundary counterterm is not optional in this analysis: unlike the eternal-black-hole late-time rate, the switchback kink depends crucially on that term [2003.10039].

A different dynamical probe arises in the local-quench setup dual to a point particle falling in AdS\(_3\). There, after subtracting the vacuum piece, the CA complexity difference is
\[
\Delta C_A(\tau)
=
-h\left[
1+\frac{2}{\pi}\arctan\!\left(\frac{\alpha}{2\tau}-\frac{\tau}{2\alpha}\right)
\right],
\]
with early-time slope \(dC_A/d\tau|_{\tau\to 0}=2E/\pi\), exactly saturating the Lloyd bound, while at late times \(\Delta C_A(\tau)\to 0\) [1803.11162].

## 5. Topology, boundaries, and nonlocality

One of the most distinctive CA results concerns multiboundary AdS\(_3\) wormholes. For wormholes with \(n\) asymptotic regions and genus \(g\) in the causal-shadow region, the complexity relative to \(n\) copies of the \(M=0\) BTZ black hole is
\[
\Delta C_A=\alpha_A\,c\,\chi,
\qquad
\alpha_A=\frac16,
\qquad
\chi=2-2g-n,
\]
so that
\[
\Delta C_A=\frac{c\,\chi}{6}.
\]
The coefficient is independent of temperature and of the Fenchel–Nielsen moduli of the hyperbolic interior, because the exterior contributions cancel in the difference and the interior volume is fixed by Gauss–Bonnet [1801.01137]. Since \(\chi<0\) for nontrivial wormholes, \(\alpha_A>0\) implies that adding handles lowers the CA complexity. The same analysis argues that any dual CFT gate set realizing this complexity cannot be local, because the complexity is blind to how far apart the thermally sized entangled patches are [1801.01137].

Physical boundaries modify CA differently from CV. In AdS\(_3\)/BCFT\(_2\), the full on-shell action reduces to
\[
C_A
=
\frac{R}{4\pi^2G_N}
\left[
\frac{L}{\epsilon}(1+\log(\ell_{\rm ct}R))
+\frac{\pi}{\sin\alpha}
-\frac{L}{z_{\rm IR}}
\right]
+\cdots,
\]
so the leading \(1/\epsilon\) divergence is the same as in boundary-less AdS\(_3\), there is no subleading \(\log\epsilon\) divergence depending on the brane angle \(\alpha\), and the boundary enters through a finite term \(\pi/\sin\alpha\) [1910.03489]. This contrasts with CV and CV2.0, where a subleading logarithmic divergence survives [1910.03489].

Conical deficits furnish another geometric sensitivity test. For charged accelerating black holes, the late-time rate gains two new terms proportional to the deficit-induced tensions \(\mu_\pm\), which can be rewritten as \(\sum_\sigma \mu_\sigma \Psi_\sigma\); these vanish smoothly when the deficits are removed [2106.09371]. For slowly accelerating Kerr–AdS black holes, the CA growth rate acquires deficit corrections that can dominate in the regime \(\ell/r_+\ll Ar_+\ll 1\), so the large-black-hole result no longer scales purely as \(P\Delta V\) [2212.05902]. Taken together, these examples show that CA is sensitive to global topology, boundary conditions, and localized geometric defects, but not always in the same way as CV.

## 6. Divergences, renormalization, and alternative formulations

The original CA prescription is not free of structural difficulties. In perturbative Einsteinian cubic gravity and non-perturbative Einstein–Weyl gravity, the naive late-time CA rate becomes divergent because bulk and spacelike-cap contributions near the singularity develop power-law blowups as the inner cutoff \(\epsilon\to 0\) [1903.05476]. This led to a modified proposal in which one drops the bulk and spacelike-singularity pieces and retains only the null-segment and joint contributions,
\[
C_{\rm mod}
=
\frac{2d}{(d+1)\pi\hbar}\,
\bigl[I_{\rm null}+I_{\rm joints}\bigr].
\]
Its late-time growth rate is then
\[
\dot C_{\rm mod}
=
\frac{2d}{d+1}\,\frac{ST}{\pi\hbar},
\]
and the same construction reproduces the switchback effect in Vaidya geometry [1903.05476].

Finite-cutoff holography provides a different route to an unambiguous CA prescription. In the holographic dual of a \(T\bar T\)-deformed CFT, one evaluates the WDW action with a timelike cutoff, null counterterms, and an additional volume counterterm chosen so that the leading divergence is a positive volume law [2408.06055]. The resulting difference between the deformed CA complexity and the renormalized undeformed one is
\[
C_A^{(T\bar T)}
=
C_A^{(0)}
-
\frac{r_c^{\,d-2}}{32\pi G_N}
\int_\Sigma d^{d-1}y\,\sqrt{h}\,K^2,
\]
namely the bending (Willmore) energy of the time-constant slice \(\Sigma\) [2408.06055].

Outside AdS, CA can behave qualitatively differently. In Schwarzschild–de Sitter, both the static-patch prescription restricted to the stretched horizon and the dS/CFT prescription at future and past infinity give vanishing CA growth rates, because the regularized action of the restricted WDW region remains finite and its time derivative cancels at late time [2606.03049]. This suggests that the familiar linear late-time growth of CA is not a generic feature of all holographic settings, but a property tied to specific causal and asymptotic structures.

Source: https://www.emergentmind.com/topics/complexity-equals-action-ca