Skip to content

Dictionary Tables and Common Normalizations

This page is a reference sheet for the conventions used throughout the holographic quantum matter course. It is deliberately more table-heavy than the previous pages. The goal is not to replace the derivations; the goal is to make it easy to translate between papers, check dimensions, and catch normalization mistakes before they infect a calculation.

The moral is simple:

a holographic formula is only meaningful after its conventions are fixed.\text{a holographic formula is only meaningful after its conventions are fixed.}

For example, the statement “At=μ+ρrd2+A_t=\mu+\rho r^{d-2}+\cdots” is not a universal equation. It depends on the radial coordinate, the Maxwell normalization, the sign convention for FrtF_{rt}, and whether the boundary has dd or d+1d+1 spacetime dimensions in the author’s notation. The physics is invariant, but the coefficient called ρ\rho may differ by factors of gF2g_F^2, 2κ22\kappa^2, LL, d2d-2, 4π4\pi, or a sign. This page makes those dependencies explicit.

Throughout the page, I use the following default convention unless stated otherwise:

boundary spacetime dimension=d,boundary spatial dimension=ds=d1,bulk dimension=d+1.\text{boundary spacetime dimension}=d, \qquad \text{boundary spatial dimension}=d_s=d-1, \qquad \text{bulk dimension}=d+1.

The boundary is often at r=0r=0. Many papers instead put the boundary at RR\to\infty. A large fraction of normalization confusion is just this coordinate choice wearing a fake mustache.

For asymptotically AdSd+1AdS_{d+1} in Poincaré form, two common radial conventions are

ds2=L2r2(dr2+ημνdxμdxν),r0,ds^2=\frac{L^2}{r^2}\left(dr^2+\eta_{\mu\nu}dx^\mu dx^\nu\right), \qquad r\to 0,

and

ds2=L2dR2R2+R2ημνdxμdxν,R.ds^2=L^2\frac{dR^2}{R^2}+R^2\eta_{\mu\nu}dx^\mu dx^\nu, \qquad R\to\infty.

They are related by R=L/rR=L/r if the boundary coordinates are kept fixed up to powers of LL. In practice, many authors set L=1L=1 and write R=1/rR=1/r.

ItemBoundary at r0r\to 0Boundary at RR\to\infty
UV boundarysmall rrlarge RR
Deep IR/horizonlarger rrsmaller RR
Energy scaleE1/rE\sim 1/rERE\sim R
Relevant deformation grows towardIRIR
Normalizable scalar moderΔr^\DeltaRΔR^{-\Delta}
Non-normalizable scalar moderdΔr^{d-\Delta}RΔdR^{\Delta-d}
Black-brane horizonr=rhr=r_hR=RhR=R_h

A useful rule of thumb is

rr=RR.r\partial_r=-R\partial_R.

So an exponent that increases toward the boundary in one convention decreases in the other.

For holographic renormalization, Fefferman—Graham coordinates are often the cleanest:

ds2=L2(dρ24ρ2+1ρgμν(x,ρ)dxμdxν),ρ0.ds^2 = L^2\left(\frac{d\rho^2}{4\rho^2}+\frac{1}{\rho}g_{\mu\nu}(x,\rho)dx^\mu dx^\nu\right), \qquad \rho\to0.

The boundary metric is

gμν(x,ρ)=g(0)μν(x)+ρg(2)μν(x)++ρd/2g(d)μν(x)+.g_{\mu\nu}(x,\rho)=g_{(0)\mu\nu}(x)+\rho g_{(2)\mu\nu}(x)+\cdots+\rho^{d/2}g_{(d)\mu\nu}(x)+\cdots.

When dd is even, logarithmic terms can appear:

gμν(x,ρ)=+ρd/2(g(d)μν(x)+logρh(d)μν(x))+.g_{\mu\nu}(x,\rho) = \cdots+\rho^{d/2}\left(g_{(d)\mu\nu}(x)+\log\rho\,h_{(d)\mu\nu}(x)\right)+\cdots.

The coefficient h(d)μνh_{(d)\mu\nu} is tied to conformal anomalies. In a numerical gauge that is not Fefferman—Graham, the same data are still present, but one must either transform asymptotically or use covariant counterterms directly in the chosen gauge.

The most basic dictionary is source/response. A boundary source couples to a boundary operator by

δSQFT=ddxg(0)JIOI.\delta S_{\rm QFT} = \int d^d x\sqrt{-g_{(0)}}\,J_I O^I.

The corresponding bulk field ΦI\Phi^I has an asymptotic mode fixed by JIJ_I and another mode determining OI\langle O^I\rangle. At large NN and strong coupling, the classical on-shell action gives

ZQFT[JI]exp(iSren[ΦclI;JI]),Z_{\rm QFT}[J_I] \simeq \exp\left(iS_{\rm ren}[\Phi^I_{\rm cl};J_I]\right),

and therefore

OI(x)=1g(0)δSrenδJI(x).\langle O_I(x)\rangle = \frac{1}{\sqrt{-g_{(0)}}} \frac{\delta S_{\rm ren}}{\delta J_I(x)}.
Bulk objectBoundary objectSourceResponseCommon use in HQM
Metric gabg_{ab}Stress tensor TμνT^{\mu\nu}Boundary metric g(0)μνg_{(0)\mu\nu}Tμν\langle T^{\mu\nu}\rangleThermodynamics, viscosity, momentum relaxation
Maxwell field AaA_aConserved current JμJ^\muBoundary gauge field Aμ(0)A^{(0)}_\muJμ\langle J^\mu\rangleCharge density, conductivity, Hall response
Scalar ϕ\phiScalar operator OOLeading mode ϕ(0)\phi_{(0)}Subleading normalizable dataRelevant deformations, order parameters, lattices
Charged scalar Ψ\PsiCharged order parameter OΨO_\PsiSource for OΨO_\PsiCondensate OΨ\langle O_\Psi\rangleHolographic superfluids/superconductors
Spinor ψ\psiFermionic operator Oψ\mathcal O_\psiNon-normalizable spinor componentNormalizable spinor componentSpectral functions, Fermi surfaces
Axion scalars ψI\psi_INeutral scalar operators OIO_IψI(0)=kxI\psi_I^{(0)}=kx_IOI\langle O_I\rangleHomogeneous momentum relaxation
Probe-brane embedding X(r)X(r)Flavor mass/operator pairQuark/flavor massCondensateMeson melting, flavor response
DBI worldvolume gauge fieldFlavor current JfμJ_f^\muFlavor chemical potential or electric fieldFlavor density/currentNonlinear transport, probe charge sector
Bulk pp-formHigher-form current/operatorBoundary pp-form sourceHigher-form currentMagnetic flux, generalized symmetries
Chern—Simons termAnomaly/contact structureBackground gauge or metric fieldsAnomalous currentsCME, CVE, Hall terms

The phrase “source” always means a boundary condition in the variational problem. The phrase “response” means a derivative of the renormalized action. Reading off a coefficient from a near-boundary expansion is only shorthand for this variational statement.

A typical two-derivative bulk action is written as

S=12κ2dd+1xg[R2ΛZ(ϕ)4FabFab12(ϕ)2Vint(ϕ)+]+Sbdy.S = \frac{1}{2\kappa^2}\int d^{d+1}x\sqrt{-g}\left[ R-2\Lambda -\frac{Z(\phi)}{4}F_{ab}F^{ab} -\frac{1}{2}(\partial\phi)^2 -V_{\rm int}(\phi) +\cdots \right] +S_{\rm bdy}.

The gravitational normalization is

2κ2=16πGN,d+1.2\kappa^2=16\pi G_{N,d+1}.

In many top-down examples,

Ld1GN,d+1N2,\frac{L^{d-1}}{G_{N,d+1}}\sim N^2,

so classical gravity computes the leading large-NN answer. If the Maxwell term is written instead as

SA=14gF2dd+1xgF2,S_A=-\frac{1}{4g_F^2}\int d^{d+1}x\sqrt{-g}\,F^2,

then 1/gF21/g_F^2 carries the current two-point normalization. In the combined convention above, the effective gauge coupling is gF22κ2/Z(0)g_F^2\sim 2\kappa^2/Z(0) near the boundary.

With =c=kB=1\hbar=c=k_B=1, all quantities are powers of energy. In dd boundary spacetime dimensions:

QuantitySymbolDimension
Spacetime coordinatexμx^\mu1-1
TemperatureTT11
Frequencyω\omega11
Momentumkk11
Chemical potentialμ\mu11
Entropy densityssdsd_s
Charge densityρ\rhodsd_s
Energy densityϵ\epsilondd
Pressureppdd
CurrentJμJ^\mud1d-1
Stress tensorTμνT^{\mu\nu}dd
Scalar operatorOOΔ\Delta
Source for OOJOJ_OdΔd-\Delta
Electric conductivityσ\sigmad3d-3
Shear viscosityη\etadsd_s
Diffusion constantDD1-1
Momentum relaxation rateΓ\Gamma11

In d=3d=3 boundary spacetime dimensions, electric conductivity is dimensionless. This is one reason AdS4/CFT3AdS_4/CFT_3 Maxwell theory is such a clean playground for quantum-critical conductivity.

For a scalar field in AdSd+1AdS_{d+1},

Sϕ=12dd+1xg[(ϕ)2+m2ϕ2+],S_\phi=-\frac{1}{2}\int d^{d+1}x\sqrt{-g}\left[(\partial\phi)^2+m^2\phi^2+\cdots\right],

the relation between the bulk mass and the boundary scaling dimension is

m2L2=Δ(Δd).m^2L^2=\Delta(\Delta-d).

Equivalently,

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

The Breitenlohner—Freedman bound is

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

Near the boundary r0r\to0,

ϕ(r,x)=rdΔϕ(0)(x)++rΔϕ(2Δd)(x)+.\phi(r,x) = r^{d-\Delta}\phi_{(0)}(x)+\cdots+r^\Delta\phi_{(2\Delta-d)}(x)+\cdots.

In standard quantization,

ϕ(0)is the source,ϕ(2Δd)determines O.\phi_{(0)} \quad\text{is the source}, \qquad \phi_{(2\Delta-d)} \quad\text{determines } \langle O\rangle.

For a free scalar with canonical normalization and no mixing, the leading nonlocal part of the vev is often summarized as

O(2Δd)ϕ(2Δd)+local terms,\langle O\rangle \sim (2\Delta-d)\phi_{(2\Delta-d)}+\text{local terms},

but the local terms are not optional. They are fixed by counterterms and by the finite renormalization scheme.

If

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

both modes can be normalizable. Then one may choose alternative quantization, in which the operator dimension is Δ\Delta_- rather than Δ+\Delta_+. In that case the roles of source and response are exchanged by a Legendre transform.

QuantizationOperator dimensionSourceResponse
StandardΔ+\Delta_+coefficient of rdΔ+=rΔr^{d-\Delta_+}=r^{\Delta_-}coefficient of rΔ+r^{\Delta_+}
AlternativeΔ\Delta_-coefficient of rΔ+r^{\Delta_+}coefficient of rΔr^{\Delta_-}
Mixedset by double-trace deformationrelation between the two coefficientsconjugate combination

Double-trace deformations impose mixed boundary conditions. Schematically, adding

δSQFT=f2ddxO2\delta S_{\rm QFT}=\frac{f}{2}\int d^d x\,O^2

changes the boundary condition from “source equals coefficient” to “source equals coefficient plus ff times response,” with the precise statement depending on the quantization convention.

When 2Δd2\Delta-d is an integer, near-boundary expansions can contain logarithms:

ϕ(r,x)=rdΔ[ϕ(0)(x)++r2Δd(ϕ(2Δd)(x)+logrϕ~(2Δd)(x))+].\phi(r,x)=r^{d-\Delta}\left[\phi_{(0)}(x)+\cdots+r^{2\Delta-d}\left(\phi_{(2\Delta-d)}(x)+\log r\,\tilde\phi_{(2\Delta-d)}(x)\right)+\cdots\right].

Logs are not a nuisance to be deleted. They encode conformal anomalies, explicit running, or contact-term data. Dropping them usually breaks Ward identities.

Gauge fields, chemical potential, and charge density

Section titled “Gauge fields, chemical potential, and charge density”

For a boundary global U(1)U(1) current JμJ^\mu, the dual bulk field is a gauge field AaA_a. Near the boundary,

Aμ(r,x)=Aμ(0)(x)++Aμ(1)(x)rd2+,A_\mu(r,x)=A_\mu^{(0)}(x)+\cdots+A_\mu^{(1)}(x)r^{d-2}+\cdots,

with possible logarithms in special dimensions. The source is the background gauge field Aμ(0)A_\mu^{(0)}. The vev is obtained from the canonical radial momentum:

Jμ=1g(0)δSrenδAμ(0).\langle J^\mu\rangle = \frac{1}{\sqrt{-g_{(0)}}}\frac{\delta S_{\rm ren}}{\delta A_\mu^{(0)}}.

For a Maxwell action

SA=14gF2dd+1xgFabFab,S_A=-\frac{1}{4g_F^2}\int d^{d+1}x\sqrt{-g}\,F_{ab}F^{ab},

the unrenormalized radial momentum is

ΠAμ=1gF2gFrμ.\Pi^\mu_A = -\frac{1}{g_F^2}\sqrt{-g}\,F^{r\mu}.

The charge density is therefore a radial electric flux:

ρ=Jt=limr0ΠAt+counterterm contributions.\rho=\langle J^t\rangle=\lim_{r\to0}\Pi_A^t+\text{counterterm contributions}.

At finite density, one often writes

A=At(r)dt,At(r)=μ+cρρrd2+,A=A_t(r)dt, \qquad A_t(r)=\mu+c_\rho\rho\,r^{d-2}+\cdots,

where cρc_\rho is convention-dependent. If the boundary has dd spacetime dimensions, the power is d2d-2 for a standard Maxwell field in AdSd+1AdS_{d+1}. If a paper uses dd for the number of spatial dimensions, the same power may be written as d1d-1.

The gauge-invariant chemical potential is a potential difference between the boundary and the horizon or IR endpoint:

μ=At(r0)At(rh),\mu = A_t(r\to0)-A_t(r_h),

in a static gauge. For a smooth Euclidean black hole, the thermal circle shrinks at the horizon, so regularity usually sets

At(rh)=0.A_t(r_h)=0.

This is a gauge choice plus a regularity condition, not a new equation of motion.

Gauge-field choices that often get confused

Section titled “Gauge-field choices that often get confused”
ChoiceMeaningCommon trap
Dirichlet Aμ(0)A_\mu^{(0)} fixedGlobal current coupled to background gauge fieldTreating the boundary gauge field as dynamical
Neumann electric flux fixedFixed charge density ensembleForgetting the Legendre transform
Mixed boundary conditionDouble-trace/current-current deformation or dynamical boundary gauge fieldComparing conductivity without specifying boundary photon dynamics
At(rh)=0A_t(r_h)=0Regular gauge at Euclidean horizonMistaking At(0)A_t(0) for gauge-invariant μ\mu in a gauge with At(rh)0A_t(r_h)\neq0
Chern—Simons term presentAnomaly/contact contributionMissing Bardeen counterterms or consistent/covariant current distinction

The boundary metric sources the stress tensor:

δSQFT=12ddxg(0)Tμνδg(0)μν.\delta S_{\rm QFT} = \frac{1}{2}\int d^d x\sqrt{-g_{(0)}}\,T^{\mu\nu}\delta g_{(0)\mu\nu}.

The holographic stress tensor is

Tμν=2g(0)δSrenδg(0)μν.\langle T^{\mu\nu}\rangle = \frac{2}{\sqrt{-g_{(0)}}}\frac{\delta S_{\rm ren}}{\delta g_{(0)\mu\nu}}.

In a homogeneous isotropic equilibrium state on flat space,

T νμ=diag(ϵ,p,p,,p),\langle T^{\mu}_{\ \nu}\rangle = \operatorname{diag}(-\epsilon,p,p,\ldots,p),

with dsd_s copies of pp. With mostly-plus metric ημν=diag(1,1,,1)\eta_{\mu\nu}=\operatorname{diag}(-1,1,\ldots,1),

Ttt=ϵ,Tij=pδij.T^{tt}=\epsilon, \qquad T^{ij}=p\delta^{ij}.

For a conformal state with no anomaly on flat space,

T μμ=0ϵ=dsp.T^\mu_{\ \mu}=0 \quad\Longrightarrow\quad \epsilon=d_s p.

The thermodynamic relations in the grand canonical ensemble are

dp=sdT+ρdμ,dp=s\,dT+\rho\,d\mu, ϵ+p=sT+μρ,\epsilon+p=sT+\mu\rho,

and

dϵ=Tds+μdρ.d\epsilon=T\,ds+\mu\,d\rho.

The combination

χPP=ϵ+p\chi_{PP}=\epsilon+p

is the momentum susceptibility of a relativistic homogeneous fluid. It appears constantly in metallic transport.

At finite density, the heat current is not the energy current. The standard convention is

Qi=TtiμJi.Q^i=T^{ti}-\mu J^i.

This is the current conjugate to a temperature gradient in the thermoelectric matrix. Some authors write the energy current as JEi=TtiJ_E^i=T^{ti} and reserve QiQ^i for heat. Mixing them is a classic way to get wrong factors of μ\mu.

CurrentSymbolDefinitionCouples naturally to
Charge currentJiJ^iU(1)U(1) currentElectric field EiE_i
Energy currentJEiJ_E^iTtiT^{ti}Metric perturbation htih_{ti}
Heat currentQiQ^iTtiμJiT^{ti}-\mu J^iiT/T-\nabla_i T/T
Momentum densityPiP^iTtiT^{ti} in relativistic theoriesVelocity/source for boosts

In nonrelativistic systems, energy current and momentum density are no longer identical. In relativistic holographic fluids, they are the same component of the stress tensor, but the heat current still differs from them at finite chemical potential.

The same bulk solution can represent different thermodynamic ensembles depending on boundary terms.

Boundary data held fixedBoundary conditionThermodynamic potentialExample
T,μT,\muFix boundary metric and At(0)A_t^{(0)}Grand potential Ω(T,μ)\Omega(T,\mu)RN-AdS black brane in grand canonical ensemble
T,ρT,\rhoFix electric fluxHelmholtz free energy F(T,ρ)F(T,\rho)Legendre-transformed Maxwell boundary term
s,ρs,\rhoFix horizon area and fluxEnergy E(s,ρ)E(s,\rho)Microcanonical discussion
Source ϕ(0)\phi_{(0)}Dirichlet scalarGenerating functional as function of sourceExplicit deformation
Vev-like scalar coefficientNeumann/alternativeLegendre-transformed functionalAlternative quantization
Relation among modesMixedDeformed theoryDouble-trace deformation

For Maxwell fields, the canonical ensemble is obtained by adding a boundary term that Legendre transforms from AμA_\mu to its radial momentum. For scalar fields in alternative quantization, the Legendre transform exchanges the leading and subleading modes. For gravity, changing the boundary metric boundary condition is more drastic: it can make boundary gravity dynamical.

The retarded correlator is

GABR(t,x)=iθ(t)[OA(t,x),OB(0,0)].G^R_{AB}(t,\vec x) = -i\theta(t)\langle[O_A(t,\vec x),O_B(0,\vec0)]\rangle.

Fourier conventions vary. In this course, perturbations are usually written as

δΦ(r,t,x)=δΦ(r)eiωt+ikx.\delta\Phi(r,t,\vec x)=\delta\Phi(r)e^{-i\omega t+i\vec k\cdot\vec x}.

With this convention, an infalling mode near a nonextremal horizon behaves as

δΦ(rhr)iω/(4πT)\delta\Phi\sim (r_h-r)^{-i\omega/(4\pi T)}

when rrhr\to r_h and the boundary is at r=0r=0. If instead the perturbation is written as e+iωte^{+i\omega t}, the sign of the exponent changes. This is not physics; it is Fourier bookkeeping.

The spectral density is

ρAB(ω,k)=2ImGABR(ω,k)\rho_{AB}(\omega,k) = -2\operatorname{Im}G^R_{AB}(\omega,k)

for A=BA=B in the convention above. Some communities define +2ImGR+2\operatorname{Im}G^R instead. Always check positivity: for a bosonic operator, the spectral weight at positive frequency should be nonnegative in the corresponding convention.

Boundary conditions for correlators and modes

Section titled “Boundary conditions for correlators and modes”
ObjectUV conditionIR/horizon conditionOutput
Retarded Green functionTurn on source(s), read response(s)Infalling at future horizonGABR(ω,k)G^R_{AB}(\omega,k)
Quasinormal modeSource-free/normalizableInfalling at future horizonPoles ωn(k)\omega_n(k)
Euclidean correlatorBoundary source at Matsubara frequencyRegular at Euclidean tipGE(iωn,k)G_E(i\omega_n,k)
Static susceptibilityStatic sourceRegular horizon/interiorχ\chi
Normal mode in horizonless geometryNormalizableRegular in interiorDiscrete spectrum
Instability thresholdSource-free static modeRegularCritical temperature or wavevector

A quasinormal mode is not a source response computation with a source accidentally set to zero at the end. It is an eigenvalue problem: source-free UV boundary condition plus infalling IR boundary condition.

Linear response defines

Ji(ω)=σij(ω)Ej(ω).J_i(\omega)=\sigma_{ij}(\omega)E_j(\omega).

With Ej=tAjE_j=-\partial_t A_j at zero spatial momentum and the eiωte^{-i\omega t} convention,

Ej=iωAj.E_j=i\omega A_j.

If the current response is

δJi=GJiJjR(ω,0)Aj,\delta\langle J_i\rangle=G^R_{J_iJ_j}(\omega,0)A_j,

then

σij(ω)=1iωGJiJjR(ω,0),\sigma_{ij}(\omega)=\frac{1}{i\omega}G^R_{J_iJ_j}(\omega,0),

up to contact/diamagnetic terms. Equivalently,

Reσij(ω)=1ωImGJiJjR(ω,0)\operatorname{Re}\sigma_{ij}(\omega) = -\frac{1}{\omega}\operatorname{Im}G^R_{J_iJ_j}(\omega,0)

for the convention above.

A common convention is

(JiQi)=(σijTαijTαijTκˉij)(EjjT/T).\begin{pmatrix} J^i\\ Q^i \end{pmatrix} = \begin{pmatrix} \sigma^{ij} & T\alpha^{ij}\\ T\alpha^{ij} & T\bar\kappa^{ij} \end{pmatrix} \begin{pmatrix} E_j\\ -\nabla_j T/T \end{pmatrix}.

Here κˉ\bar\kappa is the thermal conductivity at zero electric field. The experimentally common open-circuit thermal conductivity κ\kappa is measured at J=0J=0:

κ=κˉTασ1α\kappa = \bar\kappa-T\alpha\sigma^{-1}\alpha

in matrix notation. In isotropic systems this reduces to

κ=κˉTα2σ.\kappa=\bar\kappa-\frac{T\alpha^2}{\sigma}.

If you compare thermal conductivities across papers, check whether the author reports κ\kappa or κˉ\bar\kappa.

The following formulas assume isotropy, zero background magnetic field unless stated otherwise, and the eiωte^{-i\omega t} convention.

CoefficientKubo formulaNotes
Electric conductivityσ=limω01iωGJxJxR(ω,0)\sigma=\displaystyle\lim_{\omega\to0}\frac{1}{i\omega}G^R_{J_xJ_x}(\omega,0)Include contact terms where required
Charge diffusionD=σ/χD=\sigma/\chiχ=(ρ/μ)T\chi=(\partial\rho/\partial\mu)_T
Shear viscosityη=limω01ωImGTxyTxyR(ω,0)\eta=-\displaystyle\lim_{\omega\to0}\frac{1}{\omega}\operatorname{Im}G^R_{T_{xy}T_{xy}}(\omega,0)For two-derivative isotropic Einstein gravity, η/s=1/(4π)\eta/s=1/(4\pi)
Bulk viscosityζ\zeta from trace stress correlatorVanishes in conformal theories on flat space
Momentum relaxation rateDrude width Γ\Gamma or memory matrixRequires translation breaking
Thermoelectric coefficientα\alpha from mixed JxQxJ_xQ_x responseWatch heat-current definition
Thermal conductivity at E=0E=0κˉ\bar\kappa from QxQxQ_xQ_x responseNot the same as open-circuit κ\kappa
Hall conductivityσxy=limω01iωGJxJyR\sigma_{xy}=\displaystyle\lim_{\omega\to0}\frac{1}{i\omega}G^R_{J_xJ_y}Magnetization/contact terms can matter

At finite density with exact translations, σdc\sigma_{\rm dc} is generally infinite because current overlaps with conserved momentum. A finite horizon conductivity does not by itself remove the delta function from momentum conservation.

A useful schematic formula is

σ(ω)=σQ+ρ2ϵ+piω+i0+\sigma(\omega) = \sigma_Q+\frac{\rho^2}{\epsilon+p}\frac{i}{\omega+i0^+}

in the translation-invariant limit. With weak momentum relaxation,

σ(ω)=σQ+ρ2ϵ+p1Γiω.\sigma(\omega) = \sigma_Q+\frac{\rho^2}{\epsilon+p}\frac{1}{\Gamma-i\omega}.

Here σQ\sigma_Q is the incoherent or pair-creation conductivity of the fluid, and the second term is controlled by the slow relaxation of momentum. In a quasiparticle metal, the Drude peak comes from quasiparticle momentum relaxation. In a holographic incoherent metal, a Drude-like peak can arise from hydrodynamics even when quasiparticles do not exist.

The momentum-orthogonal current can be normalized as

Jinci=(ϵ+p)JiρTti.J_{\rm inc}^i = (\epsilon+p)J^i-\rho T^{ti}.

Multiplying JincJ_{\rm inc} by an overall constant changes the normalization of its conductivity but not the physics. The defining property is its zero static overlap with momentum.

Hydrodynamics is an effective theory of conserved densities and Goldstone modes. In a relativistic charged fluid, a common Landau-frame constitutive relation is

Tμν=ϵuμuν+pΔμν+τμν,T^{\mu\nu}=\epsilon u^\mu u^\nu+p\Delta^{\mu\nu}+\tau^{\mu\nu}, Jμ=ρuμ+νμ,J^\mu=\rho u^\mu+\nu^\mu,

where

Δμν=gμν+uμuν,νμuμ=0,τμνuν=0.\Delta^{\mu\nu}=g^{\mu\nu}+u^\mu u^\nu, \qquad \nu^\mu u_\mu=0, \qquad \tau^{\mu\nu}u_\nu=0.

Landau frame fixes uμu^\mu by the energy flow. Eckart frame fixes it by the charge flow. The frame choice changes intermediate definitions of uμu^\mu, νμ\nu^\mu, and τμν\tau^{\mu\nu}, but physical correlators and transport coefficients are frame-invariant when computed consistently.

ChannelConserved dataSmall-kk poleTransport data
Charge diffusion at ρ=0\rho=0ρ\rhoω=iDk2+\omega=-iDk^2+\cdotsD=σ/χD=\sigma/\chi
Shear momentum diffusiontransverse momentumω=iDηk2+\omega=-iD_\eta k^2+\cdotsDη=η/(ϵ+p)D_\eta=\eta/(\epsilon+p)
Soundenergy and longitudinal momentumω=±vskiΓsk2/2+\omega=\pm v_s k-i\Gamma_s k^2/2+\cdotsvs2=(p/ϵ)v_s^2=(\partial p/\partial\epsilon), η,ζ\eta,\zeta
Momentum relaxationmomentumω=iΓ+\omega=-i\Gamma+\cdotsDrude width
Superfluid phaseGoldstone plus conserved densitiesfirst/second soundsuperfluid density, phase relaxation
Pinned density wavephasonω±ω0iΩ/2\omega\approx\pm\omega_0-i\Omega/2pinning frequency, phase relaxation

For a conformal relativistic fluid on flat space,

vs2=1ds.v_s^2=\frac{1}{d_s}.

A common hyperscaling-violating metric convention is

ds2=r2(dsθ)/ds(r2(z1)dt2+dr2+dx2),ds^2 = r^{-2(d_s-\theta)/d_s}\left( -r^{-2(z-1)}dt^2+dr^2+d\vec x^2 \right),

with r0r\to0 interpreted as the UV in this convention. Under scaling,

tλzt,xλx,rλr,dsλθ/dsds.t\to\lambda^z t, \qquad \vec x\to\lambda \vec x, \qquad r\to\lambda r, \qquad ds\to\lambda^{\theta/d_s}ds.

The effective spatial dimensionality is

deff=dsθ.d_{\rm eff}=d_s-\theta.

The entropy density scales as

sT(dsθ)/z.s\sim T^{(d_s-\theta)/z}.
ExponentMeaningDiagnostic
zzDynamical critical exponentωkz\omega\sim k^z
θ\thetaHyperscaling violation exponentsT(dsθ)/zs\sim T^{(d_s-\theta)/z}
dsθd_s-\thetaEffective spatial dimensionThermal and entanglement scaling
Φ\Phi or ζ\zetaAnomalous charge-density exponent, notation variesCharge/transport scaling
νk\nu_kIR scaling exponent in AdS2AdS_2 or semi-local regionsGIRRω2νkG^R_{\rm IR}\sim\omega^{2\nu_k}

The symbols for the charge exponent are especially nonstandard. Some authors use Φ\Phi, some use ζ\zeta, and some absorb it into the gauge coupling Z(ϕ)Z(\phi). Always read the scaling transformation of AtA_t, not just the symbol.

For the metric convention above, the null energy condition often gives inequalities of the schematic form

(dsθ)(ds(z1)θ)0,(d_s-\theta)\left(d_s(z-1)-\theta\right)\ge0, (z1)(ds+zθ)0.(z-1)(d_s+z-\theta)\ge0.

These formulas are convention-sensitive. They are useful for sanity checks, not a substitute for deriving the constraints in the metric convention being used.

For a Dirac fermion in AdSd+1AdS_{d+1},

Sψ=dd+1xgiψˉ(ΓaDam)ψ+.S_\psi = \int d^{d+1}x\sqrt{-g}\,i\bar\psi\left(\Gamma^aD_a-m\right)\psi+\cdots.

The dual fermionic operator has dimension

Δψ=d2+mL\Delta_\psi=\frac{d}{2}+mL

in standard quantization, for the usual mass range. Near the boundary, the spinor decomposes into eigenspaces of the radial gamma matrix:

ψ=ψ++ψ,Γrψ±=±ψ±.\psi=\psi_+ + \psi_- , \qquad \Gamma^r\psi_\pm=\pm\psi_\pm.

The source and response are the two independent boundary spinor components. Which component is called source depends on the sign of mm and on gamma-matrix conventions, so the invariant statement is this: impose the boundary condition that fixes half of the spinor components, then obtain the conjugate half from the on-shell variation.

A common holographic Fermi-surface Green function near kFk_F is

GR(ω,k)h1kkFω/vFh2ω2νkF.G_R(\omega,k) \simeq \frac{h_1}{k-k_F-\omega/v_F-h_2\omega^{2\nu_{k_F}}}.
SymbolMeaningWarning
mLmLBulk spinor massFixes UV dimension, not the Fermi momentum by itself
qqBulk spinor chargeControls coupling to AtA_t and IR exponent
kFk_FMomentum of normalizable zero modeModel-dependent; not automatically a Luttinger count
νk\nu_kIR exponentDetermines low-energy self-energy in AdS2AdS_2 matching
A(ω,k)A(\omega,k)Spectral functionOften A=2ImTrGRA=-2\operatorname{Im}\operatorname{Tr}G_R
Dipole coupling ppPauli coupling to FabF_{ab}Can create zeros/pseudogaps; not universal

A sharp peak in a large-NN fermion spectral function is a pole of a probe operator correlator. It is not automatically an electron quasiparticle of a microscopic material.

Probe branes add flavor degrees of freedom in the limit NfNcN_f\ll N_c. The DBI action is commonly written

SDBI=Tqdq+1ξeΦdet(P[g+B]ab+2παFab).S_{\rm DBI} = -T_q\int d^{q+1}\xi\,e^{-\Phi} \sqrt{-\det\left(P[g+B]_{ab}+2\pi\alpha' F_{ab}\right)}.

The worldvolume gauge field is dual to a flavor current. Its radial electric displacement is the flavor density:

d=δLDBIδAt.d = \frac{\delta \mathcal L_{\rm DBI}}{\delta A_t'}.

Because DBI is nonlinear, one must distinguish the closed-string metric gabg_{ab} from the open-string metric controlling fluctuations around a background field strength. Conductivity calculations in DBI systems often depend on the worldvolume horizon, not just the background spacetime horizon.

DBI quantityBoundary meaningCommon trap
Brane separation/asymptotic embeddingFlavor massCoordinate-dependent normalization
Normalizable embedding coefficientFlavor condensateRequires counterterms
AtA_tFlavor chemical potentialOnly potential difference is gauge-invariant
Electric displacement ddFlavor densityFixed-density ensemble uses Legendre transform
Worldvolume horizonEffective dissipation for flavor fluctuationsMay differ from background horizon in driven states
2παF2\pi\alpha'FDimensionless DBI field strengthForgetting 2πα2\pi\alpha' changes nonlinear scales

Magnetic fields, Hall response, and anomalies

Section titled “Magnetic fields, Hall response, and anomalies”

In 2+12+1 boundary dimensions, a background magnetic field is introduced by

Fxy=B.F_{xy}=B.

The conductivity tensor is

σij=(σxxσxyσxyσxx)\sigma_{ij} = \begin{pmatrix} \sigma_{xx} & \sigma_{xy}\\ -\sigma_{xy} & \sigma_{xx} \end{pmatrix}

in an isotropic parity-breaking state. It is often useful to use circular components

σ±=σxx±iσxy.\sigma_\pm=\sigma_{xx}\pm i\sigma_{xy}.

Magnetization currents do not represent net transport through the sample. In inhomogeneous or finite-magnetic-field backgrounds, transport currents may require subtracting local magnetization curls:

Jtransporti=JtotaliϵijjM.J^i_{\rm transport}=J^i_{\rm total}-\epsilon^{ij}\partial_j M.

For heat currents, there is an analogous energy magnetization subtraction. This is one of the most common sources of disagreement between naive holographic currents and transport coefficients.

A five-dimensional Chern—Simons term may be written schematically as

SCS=κCSAFF.S_{\rm CS}=\kappa_{\rm CS}\int A\wedge F\wedge F.

It induces a four-dimensional boundary anomaly of the form

μJμκCSEB.\nabla_\mu J^\mu\propto \kappa_{\rm CS}\,E\cdot B.

The exact coefficient depends on whether the current is consistent or covariant and on which Bardeen counterterms have been added. When comparing chiral magnetic or chiral vortical coefficients, write down the anomaly polynomial or the Chern—Simons normalization first.

Entanglement, chaos, and diffusion notation

Section titled “Entanglement, chaos, and diffusion notation”

For Einstein gravity, the Ryu—Takayanagi prescription for a static region AA is

SA=Area(γA)4GN,S_A=\frac{\operatorname{Area}(\gamma_A)}{4G_N},

where γA\gamma_A is the bulk minimal surface homologous to AA. In time-dependent settings, replace the minimal surface by the HRT extremal surface.

Chaos is often diagnosed by an out-of-time-order correlator with early-time behavior

C(t,x)exp[λL(txvB)].C(t,\vec x)\sim \exp\left[\lambda_L\left(t-\frac{|\vec x|}{v_B}\right)\right].

The maximal Einstein-gravity value is

λL=2πT\lambda_L=2\pi T

in units with =kB=1\hbar=k_B=1. With constants restored,

λL2πkBT.\lambda_L\le \frac{2\pi k_B T}{\hbar}.

Relations such as

DvB2TD\sim \frac{v_B^2}{T}

are model-dependent scaling relations, not universal identities. The coefficient and even the relevant diffusion constant depend on the IR fixed point and on whether charge, energy, or momentum is the slow mode.

This courseSome papersMeaning
ddD1D-1Boundary spacetime dimension
ds=d1d_s=d-1ddBoundary spatial dimension
d+1d+1DDBulk spacetime dimension
AdSd+1AdS_{d+1}AdSDAdS_DBulk anti-de Sitter spacetime

This is especially important for finite density. If the boundary has dd spacetime dimensions, a Maxwell field has At=μ++ρrd2+A_t=\mu+\cdots+\rho r^{d-2}+\cdots. If the author calls the number of boundary spatial dimensions dd, the same formula becomes At=μ++ρrd1+A_t=\mu+\cdots+\rho r^{d-1}+\cdots.

ConventionChoice in this courseAlternative
Metric signaturemostly plus (,+,+,)(-,+,+,\ldots)mostly minus (+,,,)(+,-,-,\ldots)
Fourier modeeiωt+ikxe^{-i\omega t+i kx}e+iωtikxe^{+i\omega t-i kx}
Retarded horizon conditioninfalling (rhr)iω/4πT\sim(r_h-r)^{-i\omega/4\pi T}exponent sign flips with Fourier convention
Spectral functionρ=2ImGR\rho=-2\operatorname{Im}G^R+2ImGR+2\operatorname{Im}G^R in some texts
Conductivityσ=GR/(iω)\sigma=G^R/(i\omega)σ=GR/(iω)\sigma=-G^R/(i\omega) if source convention differs

The safest way to compare signs is to compute something positive: entropy density, susceptibility, or positive-frequency spectral weight.

Most holographic calculations set

=c=kB=1.\hbar=c=k_B=1.

To restore constants in thermal/transport statements:

Natural-units expressionWith constants restored
TT as an energykBTk_B T
ω/T\omega/Tω/(kBT)\hbar\omega/(k_B T)
Planckian time τ1/T\tau\sim 1/Tτ/(kBT)\tau\sim\hbar/(k_B T)
Chaos bound λL2πT\lambda_L\le2\pi TλL2πkBT/\lambda_L\le2\pi k_B T/\hbar
Chemical potential μ/T\mu/Tμ/(kBT)\mu/(k_B T)
Conductivity in 2+12+1dmultiply dimensionless result by e2/he^2/h for electric units, if JJ is electric charge current

For condensed-matter comparison, one must also decide whether the holographic U(1)U(1) charge is normalized as particle number, electric charge, or some emergent conserved charge. The conversion to SI units is not universal; it depends on that identification.

Pitfall 1: confusing source-free with zero source

Section titled “Pitfall 1: confusing source-free with zero source”

A spontaneous condensate means the source coefficient vanishes while the response coefficient is nonzero:

ϕ(0)=0,O0.\phi_{(0)}=0, \qquad \langle O\rangle\ne0.

It does not mean the whole bulk field vanishes near the boundary. In a broken phase, the normalizable mode is precisely the order parameter.

Conductivity, Hall response, stress-tensor correlators, and anomaly-induced currents can all contain contact terms. These are invisible if one only stares at the imaginary part of a numerical fluctuation ratio. They are fixed by the renormalized action, not by the second-order ODE alone.

Pitfall 3: treating κˉ\bar\kappa as κ\kappa

Section titled “Pitfall 3: treating κˉ\bar\kappaκˉ as κ\kappaκ”

Holographic horizon formulae often naturally give κˉ\bar\kappa, the heat conductivity at zero electric field. Experiments often report κ\kappa, the heat conductivity at zero electric current. They differ by

κ=κˉTασ1α.\kappa=\bar\kappa-T\alpha\sigma^{-1}\alpha.

Pitfall 4: using η/s=1/(4π)\eta/s=1/(4\pi) outside its domain

Section titled “Pitfall 4: using η/s=1/(4π)\eta/s=1/(4\pi)η/s=1/(4π) outside its domain”

The universal value holds for isotropic two-derivative Einstein gravity in the classical limit. Higher-derivative terms, anisotropy, explicit translation breaking in tensor channels, or finite-coupling corrections can change the answer.

Pitfall 5: overinterpreting a bottom-up normalization

Section titled “Pitfall 5: overinterpreting a bottom-up normalization”

A bottom-up action can compute robust dimensionless structures: pole motion, scaling exponents, ratios protected by symmetry, and hydrodynamic constraints. Absolute magnitudes require a normalization of GNG_N, gFg_F, operator normalizations, and the map between the model’s U(1)U(1) and the experimental charge.

Pitfall 6: calling every finite DC conductivity “incoherent”

Section titled “Pitfall 6: calling every finite DC conductivity “incoherent””

A finite DC conductivity can arise from momentum relaxation, pair creation, probe-sector dissipation, horizon absorption, disorder, or explicit lattices. “Incoherent” should mean that the measured current has negligible overlap with long-lived momentum, not merely that the system is strongly coupled.

The following table is the fastest way to orient a new computation.

Boundary questionBulk operationMinimal warning
What is the entropy density?Horizon area density s=Ah/(4GNV)s=A_h/(4G_NV)Extremal horizons may have residual entropy
What is the charge density?Radial electric fluxNormalization depends on Maxwell coupling
What is the chemical potential?Boundary-to-horizon potential differenceAtA_t itself is gauge-dependent
What is the condensate?Normalizable scalar mode with source set to zeroCounterterms and alternative quantization matter
What is GRG^R?Linearized fluctuation with infalling horizon conditionUse renormalized canonical momenta
What are QNMs?Source-free infalling eigenmodesRemove pure gauge modes
What is σdc\sigma_{\rm dc}?Kubo formula or horizon DC methodClean finite-density systems have momentum delta functions
What is η\eta?Metric tensor-channel fluctuationUniversality has assumptions
What is a Fermi surface?Normalizable bulk spinor zero modeProbe Fermi surfaces need not exhaust charge
What is an anomaly?Chern—Simons inflow plus boundary countertermsConsistent versus covariant currents differ
What is an explicit lattice?Spatially dependent sourceDo not confuse with spontaneous modulation
What is a density wave?Source-free finite-kk normalizable modeSliding mode gives infinite conductivity unless pinned

A paper using coordinate RR\to\infty writes a scalar as

ϕ(R,x)=a(x)RΔd+b(x)RΔ+.\phi(R,x)=a(x)R^{\Delta-d}+b(x)R^{-\Delta}+\cdots.

Rewrite this expansion in the r0r\to0 convention with R=1/rR=1/r. Identify the source in standard quantization.

Solution

Using R=1/rR=1/r,

RΔd=rdΔ,RΔ=rΔ.R^{\Delta-d}=r^{d-\Delta}, \qquad R^{-\Delta}=r^\Delta.

Therefore

ϕ(r,x)=a(x)rdΔ+b(x)rΔ+.\phi(r,x)=a(x)r^{d-\Delta}+b(x)r^\Delta+\cdots.

In standard quantization, a(x)a(x) is the source and b(x)b(x) determines the vev, up to the factor 2Δd2\Delta-d and local counterterm contributions.

Exercise 2: scalar dimension from a bulk mass

Section titled “Exercise 2: scalar dimension from a bulk mass”

For a scalar in AdS4AdS_4, suppose

m2L2=2.m^2L^2=-2.

Find Δ±\Delta_\pm. Is alternative quantization allowed?

Solution

Here d=3d=3. The dimension formula is

m2L2=Δ(Δd)=Δ(Δ3).m^2L^2=\Delta(\Delta-d)=\Delta(\Delta-3).

So

Δ(Δ3)=2Δ23Δ+2=0.\Delta(\Delta-3)=-2 \quad\Longrightarrow\quad \Delta^2-3\Delta+2=0.

Thus

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

The alternative-quantization window is

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

For d=3d=3, this is

94<m2L2<54.-\frac{9}{4}<m^2L^2<-\frac{5}{4}.

Since 2-2 lies in this interval, alternative quantization is allowed.

Consider Maxwell theory in a fixed asymptotically AdSd+1AdS_{d+1} background with

SA=14gF2dd+1xgFabFab.S_A=-\frac{1}{4g_F^2}\int d^{d+1}x\sqrt{-g}\,F_{ab}F^{ab}.

Show that the boundary charge density is proportional to the radial electric flux.

Solution

Vary the action:

δSA=12gF2gFabδFab.\delta S_A = -\frac{1}{2g_F^2}\int \sqrt{-g}\,F^{ab}\delta F_{ab}.

Using δFab=aδAbbδAa\delta F_{ab}=\partial_a\delta A_b-\partial_b\delta A_a and integrating by parts gives a bulk equation plus a boundary term:

δSAbdy=1gF2r=ϵddxgFrμδAμ.\delta S_A\big|_{\rm bdy} = -\frac{1}{g_F^2}\int_{r=\epsilon} d^d x\sqrt{-g}\,F^{r\mu}\delta A_\mu.

Therefore the canonical radial momentum is

ΠAμ=1gF2gFrμ.\Pi_A^\mu=-\frac{1}{g_F^2}\sqrt{-g}\,F^{r\mu}.

The source is Aμ(0)A_\mu^{(0)}, so

Jμ=limr0ΠAμ+counterterms.\langle J^\mu\rangle = \lim_{r\to0}\Pi_A^\mu+\text{counterterms}.

For μ=t\mu=t this is the charge density:

ρ=Jt.\rho=\langle J^t\rangle.

Thus density is radial electric flux, with normalization set by gF2g_F^2 and counterterms.

Exercise 4: κˉ\bar\kappa versus κ\kappa

Section titled “Exercise 4: κˉ\bar\kappaκˉ versus κ\kappaκ”

Suppose an isotropic holographic model gives

σ=4,α=3,κˉ=20,T=2.\sigma=4, \qquad \alpha=3, \qquad \bar\kappa=20, \qquad T=2.

Compute the open-circuit thermal conductivity κ\kappa.

Solution

For an isotropic system,

κ=κˉTα2σ.\kappa=\bar\kappa-\frac{T\alpha^2}{\sigma}.

Substitute the data:

κ=202×324=20184=204.5=15.5.\kappa=20-\frac{2\times 3^2}{4}=20-\frac{18}{4}=20-4.5=15.5.

So

κ=312.\kappa=\frac{31}{2}.

Exercise 5: dimensionality of conductivity

Section titled “Exercise 5: dimensionality of conductivity”

Using Ji=σEiJ_i=\sigma E_i, show that [σ]=d3[\sigma]=d-3 in dd boundary spacetime dimensions.

Solution

The current has dimension

[Ji]=d1.[J_i]=d-1.

The gauge potential AμA_\mu has dimension 11 because it couples as ddxAμJμ\int d^d x\,A_\mu J^\mu, so

[Aμ]+[Jμ]=d[Aμ]=1.[A_\mu]+[J^\mu]=d \quad\Longrightarrow\quad [A_\mu]=1.

The electric field has one derivative acting on AA:

[Ei]=2.[E_i]=2.

Therefore

[σ]=[Ji][Ei]=(d1)2=d3.[\sigma]=[J_i]-[E_i]=(d-1)-2=d-3.

For d=3d=3, the conductivity is dimensionless.

Exercise 6: identify a clean-limit delta function

Section titled “Exercise 6: identify a clean-limit delta function”

A translationally invariant relativistic charged fluid has ρ0\rho\ne0 and ϵ+p<\epsilon+p<\infty. Explain why the real part of σ(ω)\sigma(\omega) contains a delta function at ω=0\omega=0.

Solution

At finite density, the electric current overlaps with momentum. In a relativistic fluid,

Ji=ρvi+,Pi=Tti=(ϵ+p)vi+.J^i=\rho v^i+\cdots, \qquad P^i=T^{ti}=(\epsilon+p)v^i+\cdots.

Therefore the current contains a piece proportional to conserved momentum:

Jiρϵ+pPi.J^i\supset \frac{\rho}{\epsilon+p}P^i.

If translations are exact, PiP^i does not decay. A small electric field accelerates the conserved momentum indefinitely, producing an infinite DC response. In frequency space, the hydrodynamic conductivity contains

σ(ω)ρ2ϵ+piω+i0+.\sigma(\omega)\supset \frac{\rho^2}{\epsilon+p}\frac{i}{\omega+i0^+}.

Using

iω+i0+=πδ(ω)+iP1ω,\frac{i}{\omega+i0^+}=\pi\delta(\omega)+i\,\mathcal P\frac{1}{\omega},

the real part contains a delta function. This is a consequence of momentum conservation, not quasiparticles.

Exercise 7: entropy scaling in a hyperscaling-violating geometry

Section titled “Exercise 7: entropy scaling in a hyperscaling-violating geometry”

A scaling phase in ds=2d_s=2 spatial dimensions has z=3/2z=3/2 and θ=1\theta=1. What is the low-temperature entropy scaling?

Solution

The entropy density scales as

sT(dsθ)/z.s\sim T^{(d_s-\theta)/z}.

With ds=2d_s=2, θ=1\theta=1, and z=3/2z=3/2,

dsθz=213/2=23.\frac{d_s-\theta}{z} = \frac{2-1}{3/2} = \frac{2}{3}.

Thus

sT2/3.s\sim T^{2/3}.

For the standard field/operator map, holographic renormalization, and correlation-function normalization, see the AdS/CFT textbook treatments by Ammon—Erdmenger, Natsuume, Năstase, and the classic large-NN/AdS review by Aharony—Gubser—Maldacena—Ooguri—Oz. For holographic quantum matter conventions, especially transport, finite density, AdS2AdS_2 exponents, probe fermions, incoherent currents, and memory-matrix notation, use Hartnoll—Lucas—Sachdev as the main reference spine. For entanglement conventions, use Rangamani—Takayanagi.