Skip to content

Momentum Relaxation, Lattices, and Disorder

The previous page isolated the central obstruction to finite DC resistivity in a clean finite-density metal:

χJP0,tPi=0σdc=.\chi_{JP}\neq0, \qquad \partial_tP_i=0 \quad\Longrightarrow\quad \sigma_{\rm dc}=\infty .

A strongly coupled horizon can dissipate local excitations extremely efficiently, but it cannot violate an exact boundary conservation law. If translations are exact, total momentum is conserved. If the electric current overlaps with momentum, a uniform electric field accelerates the whole charged fluid. The resulting delta function in Reσ(ω)\operatorname{Re}\sigma(\omega) is not a quasiparticle effect; it is hydrodynamics.

This page is about the mechanisms that remove the bottleneck. Real materials have ionic lattices, disorder, boundaries, phonons, impurities, dislocations, and often emergent spatial order. Holographic models must therefore answer a very practical question:

How do we break translations without losing calculational control?\boxed{ \text{How do we break translations without losing calculational control?} }

The answer is not unique. There are literal holographic lattices, random sources, linear axions, Q-lattices, helical Bianchi lattices, massive-gravity models, and horizon-fluid formulae. They are not interchangeable. Each implements a different idealization of how momentum leaves the low-energy electronic fluid. The art is to know what physical question each model is good for.

Throughout this page, dsd_s is the number of boundary spatial dimensions, so the bulk has dimension ds+2d_s+2. Spatial indices are i,j=1,,dsi,j=1,\ldots,d_s. We use ρ\rho for charge density and reserve ρdc\rho_{\rm dc} for electrical resistivity.

Translation breaking in the boundary theory

Section titled “Translation breaking in the boundary theory”

Let the clean theory be deformed by static spatial sources,

SQFT=S0+dtddsxλA(x)OA(t,x).S_{\rm QFT} = S_0+ \int dt\,d^{d_s}x\,\lambda_A(x) O_A(t,x).

The local Ward identity for momentum is schematically

μTμi=FiμJμAOAiλA.\boxed{ \partial_\mu T^{\mu i} = F^{i\mu}J_\mu - \sum_A O_A\,\partial^i\lambda_A . }

The first term is the force from external electromagnetic fields. The second term is the force exerted by the spatially varying background source. Integrating over space gives

dPidt=ρEiAddsxOAiλA.\frac{dP_i}{dt} = \rho E_i - \sum_A\int d^{d_s}x\,O_A\,\partial_i\lambda_A .

If λA\lambda_A is constant, translations remain unbroken and the last term vanishes. If λA(x)\lambda_A(x) is periodic, random, helical, or otherwise spatially dependent, the electronic fluid can transfer momentum to that background.

This formula is the boundary-side anchor for every construction below. A holographic lattice is not added because we like complicated black holes. It is added because a finite-density current cannot decay unless the right-hand side of this Ward identity contains a momentum sink.

There are two logically different kinds of translation breaking.

Explicit breaking means the Hamiltonian itself is not translationally invariant. A lattice source, impurity potential, random chemical potential, and axion source are examples. Momentum is not conserved.

Spontaneous breaking means the Hamiltonian is translationally invariant, but the state chooses a spatial pattern. A crystal, charge-density wave, and striped phase are examples. Momentum is still conserved in the microscopic theory, but the ordered phase has phonons, and transport depends on pinning, phase relaxation, and defects. We will return to spontaneously modulated phases later. On this page, the focus is explicit breaking.

Holographic mechanisms for translation breaking

Common holographic mechanisms for explicit translation breaking. Literal lattices and disorder are closest to the boundary physics but typically require inhomogeneous bulk PDEs. Axions, Q-lattices, and helical lattices preserve enough symmetry to reduce the bulk problem to ODEs. Massive gravity and horizon Stokes formulae isolate the universal consequences of momentum relaxation directly in the gravitational variables.

Weak momentum relaxation: universal first, microscopic second

Section titled “Weak momentum relaxation: universal first, microscopic second”

When translation breaking is weak, there is a clean separation of time scales:

τeqΓ1.\tau_{\rm eq}\ll \Gamma^{-1}.

Here τeq\tau_{\rm eq} is the local equilibration time of the strongly interacting fluid, and Γ\Gamma is the momentum relaxation rate. The system first becomes locally thermal, then much later loses its total momentum. In this regime the conductivity has a hydrodynamic Drude peak even without quasiparticles:

σ(ω)=σQ+ρ2χPP1Γiω.\boxed{ \sigma(\omega) = \sigma_Q+ \frac{\rho^2}{\chi_{PP}}\frac{1}{\Gamma-i\omega}. }

The coherent DC resistivity is therefore

ρdcχPPρ2Γ,\rho_{\rm dc} \approx \frac{\chi_{PP}}{\rho^2}\Gamma,

provided the Drude contribution dominates over the incoherent background σQ\sigma_Q.

The memory-matrix formula computes Γ\Gamma directly from the clean theory. Suppose

H=H0ddsxh(x)O(x).H=H_0- \int d^{d_s}x\,h(x)O(x).

Then

P˙i=ddsxih(x)O(x).\dot P_i = \int d^{d_s}x\,\partial_i h(x)O(x).

At leading order in hh,

Γij=1χPPddsk(2π)dskikjh(k)2limω0ImGOOR(ω,k)ωh=0.\boxed{ \Gamma_{ij} = \frac{1}{\chi_{PP}} \int\frac{d^{d_s}k}{(2\pi)^{d_s}} k_i k_j |h(k)|^2 \lim_{\omega\to0} \frac{\operatorname{Im}G^R_{OO}(\omega,k)}{\omega} \bigg|_{h=0} . }

For a one-dimensional periodic source,

h(x)=h0cos(kLx),h(x)=h_0\cos(k_Lx),

this becomes

Γh02kL2χPPlimω0ImGOOR(ω,kL)ω.\boxed{ \Gamma \sim \frac{h_0^2 k_L^2}{\chi_{PP}} \lim_{\omega\to0} \frac{\operatorname{Im}G^R_{OO}(\omega,k_L)}{\omega}. }

The physics is beautifully sharp. The lattice supplies a momentum kLk_L. Momentum can relax only if the clean strongly coupled state has low-energy spectral weight at that wavevector.

For a finite-zz critical geometry, low-energy excitations scale toward k=0k=0, so fixed nonzero kLk_L spectral weight is often exponentially suppressed:

ΓeCkL/T1/z.\Gamma\sim e^{-C k_L/T^{1/z}}.

For a semi-local AdS2×RdsAdS_2\times\mathbb R^{d_s} IR, spectral weight can remain available at nonzero momentum. If

ImGOOR(ω,k)ω2νk,\operatorname{Im}G^R_{OO}(\omega,k) \sim \omega^{2\nu_k},

then finite-temperature scaling gives

Γh02kL2T2νkL1,ρdcT2νkL1\boxed{ \Gamma\sim h_0^2 k_L^2 T^{2\nu_{k_L}-1}, \qquad \rho_{\rm dc}\propto T^{2\nu_{k_L}-1} }

in the coherent regime.

The most direct holographic implementation is to impose a spatially dependent boundary source. Examples include

μ(x)=μ0+δμcos(kLx),\mu(x)=\mu_0+\delta\mu\cos(k_Lx),

for an ionic chemical-potential lattice, or

λ(x)=λ0cos(kLx),\lambda(x)=\lambda_0\cos(k_Lx),

for a neutral scalar lattice. The bulk fields then depend on both the radial coordinate and boundary position:

gMN=gMN(r,x),AM=AM(r,x),ϕ=ϕ(r,x).g_{MN}=g_{MN}(r,x), \qquad A_M=A_M(r,x), \qquad \phi=\phi(r,x).

This is physically transparent and technically brutal. The Einstein equations become nonlinear coupled PDEs. The payoff is realism: one can study optical conductivity, band folding, Umklapp physics, strong lattice potentials, and spatially resolved bulk horizons.

A minimal scalar-lattice setup is

S=116πGNd4xg[R+6L214FMNFMN12(ϕ)2V(ϕ)],S = \frac{1}{16\pi G_N} \int d^{4}x\sqrt{-g} \left[ R+\frac{6}{L^2} -\frac14 F_{MN}F^{MN} -\frac12(\partial\phi)^2 -V(\phi) \right],

with near-boundary source

ϕ(s)(x)=εcos(kLx).\phi_{(s)}(x)=\varepsilon\cos(k_Lx).

At small ε\varepsilon, one can perturb around the homogeneous charged black brane. At finite ε\varepsilon, the background itself must be solved as an inhomogeneous geometry. The optical conductivity is then extracted from linearized inhomogeneous perturbations with infalling horizon conditions.

Literal lattices teach several lessons.

First, weak-lattice calculations reproduce the memory-matrix answer in the appropriate regime. This is a strong consistency check: the gravitational perturbation problem knows about the same nearly conserved momentum mode.

Second, at stronger lattice strength the optical conductivity need not look like a simple Drude peak plus a featureless background. Holographic lattice computations can show a low-frequency Drude-like regime and an intermediate-frequency scaling regime. Such results are intriguing because similar two-regime optical conductivities appear in some strange-metal data, though this similarity should be treated as suggestive rather than decisive.

Third, a lattice affects fermion spectral functions in a way that is not simply conventional band theory. For weak periodic potentials, spectral weight can be rearranged across multiple Brillouin zones through Umklapp processes. In a non-quasiparticle state, there is no general theorem that the single-particle spectral function must look like nearly free bands decorated by finite lifetimes.

The drawback is obvious. Literal lattices are costly. They are excellent when the spatial structure itself is the object of study, but overkill when one only wants the DC conductivity or the leading effect of momentum relaxation.

The simplest homogeneous model of momentum relaxation introduces dsd_s neutral scalar fields χI\chi_I with shift symmetries,

χIχI+cI,I=1,,ds,\chi_I\to\chi_I+c_I, \qquad I=1,\ldots,d_s,

and takes the background profile

χI=kxI.\boxed{ \chi_I=k\,x_I . }

A minimal bulk action is

S=dds+2xg[R+ds(ds+1)L214F212I=1ds(χI)2].S = \int d^{d_s+2}x\sqrt{-g} \left[ R+\frac{d_s(d_s+1)}{L^2} -\frac14 F^2 -\frac12\sum_{I=1}^{d_s}(\partial\chi_I)^2 \right].

The scalar sources depend on position, so translations are explicitly broken. Yet the stress tensor is homogeneous and isotropic, because the gradients are constant:

iχI=kδiI.\partial_i\chi_I=k\delta_{iI}.

Therefore the background metric and gauge field can remain functions of rr only:

ds2=f(r)dt2+dr2f(r)+a(r)dx2,A=At(r)dt.ds^2=-f(r)dt^2+\frac{dr^2}{f(r)}+a(r)d\vec x^2, \qquad A=A_t(r)dt.

This is the great virtue of axion models. They retain homogeneous ODEs while relaxing momentum.

The linear axions are not a literal ionic lattice. A scalar source that grows linearly with xx is not periodic and is not globally well-defined on a torus. What makes the construction useful is that the shift symmetry makes only the gradient physical. The model is best viewed as an analytically controlled homogeneous sink for momentum, not as a microscopic crystal.

In a broad class of EMD-axion models,

S=dds+2xg[R12(Φ)2V(Φ)Z(Φ)4F2Y(Φ)2I(χI)2],S =\int d^{d_s+2}x\sqrt{-g} \left[ R-\frac12(\partial\Phi)^2 -V(\Phi) -\frac{Z(\Phi)}{4}F^2 -\frac{Y(\Phi)}{2}\sum_I(\partial\chi_I)^2 \right],

with

χI=kxI,\chi_I=kx_I,

the DC conductivities in ds=2d_s=2 often take the horizon-data form

σdc=Zh+4πρ2sk2Yh,\boxed{ \sigma_{\rm dc} = Z_h+ \frac{4\pi\rho^2}{s\,k^2Y_h}, } αdc=4πρk2Yh,κˉdc=4πsTk2Yh.\boxed{ \alpha_{\rm dc} = \frac{4\pi\rho}{k^2Y_h}, \qquad \bar\kappa_{\rm dc} = \frac{4\pi sT}{k^2Y_h}. }

Here Zh=Z(Φh)Z_h=Z(\Phi_h) and Yh=Y(Φh)Y_h=Y(\Phi_h) are evaluated at the horizon. The first term in σdc\sigma_{\rm dc} is the incoherent conductivity. The second term is the momentum-drag contribution regulated by axion-induced relaxation.

These formulae are a kind of holographic magic trick: to compute the boundary DC transport, one evaluates data at the horizon. But the magic is not arbitrary. It follows from radially conserved electric and heat currents plus horizon regularity.

A Q-lattice is another homogeneous way to encode a periodic source. Introduce a complex scalar with a global phase symmetry,

ΦeiαΦ,\Phi\to e^{i\alpha}\Phi,

and take

Φ(r,x)=φ(r)eikx.\boxed{ \Phi(r,x)=\varphi(r)e^{ikx}. }

The scalar itself depends periodically on xx, but the stress tensor can be homogeneous because it depends on phase-invariant combinations such as Φ2|\Phi|^2 and Φ2|\partial\Phi|^2. The bulk equations again reduce to ODEs.

The boundary interpretation is closer to a periodic lattice than the linear-axion model: a global internal rotation compensates a spatial translation. The source breaks translations explicitly while preserving a diagonal combination of translation and internal phase rotation in the bulk ansatz.

Q-lattices are especially useful for studying metal-insulator transitions. Depending on the IR scaling dimension of the lattice deformation, the translation-breaking source can be irrelevant, marginal, or relevant in the deep interior. If it is irrelevant, the low-temperature geometry remains close to the clean fixed point and the metal is coherent. If it is relevant, the lattice backreacts on the IR geometry, and the system can flow to an insulating state.

A useful way to phrase the criterion is:

irrelevant lattice in the IRΓ/T0,\text{irrelevant lattice in the IR} \quad\Longrightarrow\quad \Gamma/T\to0,

whereas

relevant lattice in the IRthe lattice is part of the IR fixed point.\text{relevant lattice in the IR} \quad\Longrightarrow\quad \text{the lattice is part of the IR fixed point.}

The second case is no longer a weak momentum-relaxation problem. The conductivity is not governed by a small Γ\Gamma alone; it is a property of a new, translation-broken infrared geometry.

In ds=3d_s=3, one can break translations in one direction while keeping the bulk equations homogeneous by using a helical structure. Define one-forms

ω1=dx1,ω2+iω3=eipx1(dx2+idx3).\omega_1=dx_1, \qquad \omega_2+i\omega_3=e^{ipx_1}(dx_2+i dx_3).

A source such as

B(0)=λω2B_{(0)}=\lambda\omega_2

breaks ordinary translations in x1x_1, but preserves a combination of translation in x1x_1 and rotation in the (x2,x3)(x_2,x_3) plane. This is a Bianchi VII homogeneous structure.

The point is not that nature is usually helical in this exact way. The point is that the helix gives a controlled laboratory for strong explicit translation breaking. It allows one to study fully backreacted lattice physics using ODEs rather than PDEs.

Helical models can produce anisotropic metal-insulator behavior. In some regimes the conductivity along the helix direction vanishes as a power law at low frequency, while the transverse directions remain metallic. This kind of anisotropic “quantum smectic” behavior is hard to mimic with simple isotropic quasiparticle intuition.

Massive gravity and the Higgsing of translations

Section titled “Massive gravity and the Higgsing of translations”

In the holographic dictionary, boundary momentum conservation is tied to bulk diffeomorphism invariance. More precisely, the boundary stress tensor is sourced by the boundary metric, and its conservation follows from invariance under boundary coordinate transformations.

If translations are broken explicitly, the bulk graviton can acquire an effective mass in the spatial directions. This motivates massive-gravity models of momentum relaxation. A common schematic form is

S=dds+2xg[R+ds(ds+1)L214F2+mg2U(g,f)],S =\int d^{d_s+2}x\sqrt{-g} \left[ R+\frac{d_s(d_s+1)}{L^2} -\frac14F^2 +m_g^2\,\mathcal U(g,f) \right],

where fMNf_{MN} is a fixed reference tensor and U\mathcal U is built from matrix invariants of g1f\sqrt{g^{-1}f}.

In a Stückelberg language, massive gravity is closely related to scalar fields with spatial profiles. The axion model is often the healthier and more transparent way to implement the same physical idea: the graviton eats the spatial scalar modes, and momentum is no longer conserved.

Massive-gravity models are useful because they produce simple analytic black branes with finite DC conductivity. They can be interpreted as effective descriptions of featureless momentum relaxation, often closer to disorder than to a clean periodic lattice.

A famous lesson from these models is that in certain locally critical EMD backgrounds the DC resistivity can track the entropy density:

ρdcs(T).\rho_{\rm dc}\propto s(T).

If the entropy density is Sommerfeld-like,

s(T)T,s(T)\sim T,

then

ρdcT.\rho_{\rm dc}\sim T.

This is an appealing mechanism for linear resistivity, but it is not a theorem about all strange metals. It relies on the translation-breaking strength not acquiring its own strong temperature dependence and on the relevant locally critical IR structure.

A random potential can be represented by a source h(x)h(x) with

h(x)=0,h(x)h(y)=W(xy),\overline{h(x)}=0, \qquad \overline{h(x)h(y)}=W(x-y),

where the overline denotes disorder averaging. In the weak-disorder regime, the memory-matrix formula becomes

Γij=1χPPddsk(2π)dskikjW(k)limω0ImGOOR(ω,k)ω.\boxed{ \Gamma_{ij} = \frac{1}{\chi_{PP}} \int\frac{d^{d_s}k}{(2\pi)^{d_s}} k_i k_j W(k) \lim_{\omega\to0} \frac{\operatorname{Im}G^R_{OO}(\omega,k)}{\omega}. }

This equation shows why disorder can be more efficient than a single lattice wavevector. A periodic lattice probes spectral weight at one or a few kk values. Disorder samples a continuum of momenta.

For finite-zz scaling theories, low-energy fixed-kk spectral weight may still be suppressed, so weak disorder can be ineffective at the lowest temperatures unless it is relevant. For semi-local z=z=\infty criticality, nonzero-momentum spectral weight is much more available, making disorder a powerful relaxation channel.

Strong disorder is harder. The bulk dual has spatially random boundary conditions. One must solve inhomogeneous Einstein equations with random sources, or derive effective horizon-fluid equations after constructing the disordered black hole. This is a frontier-style problem because disorder can change the IR fixed point itself. Once that happens, it is no longer meaningful to compute transport by perturbing the clean geometry.

Three regimes should be kept distinct:

weak irrelevant disorderclean IR plus small Γ,\text{weak irrelevant disorder} \quad\Longrightarrow\quad \text{clean IR plus small }\Gamma, weak relevant disordereventual flow away from clean IR,\text{weak relevant disorder} \quad\Longrightarrow\quad \text{eventual flow away from clean IR}, strong disordernew inhomogeneous or incoherent IR fixed point.\text{strong disorder} \quad\Longrightarrow\quad \text{new inhomogeneous or incoherent IR fixed point}.

The last regime is the most realistic for many bad metals, but also the least analytically controlled.

One of the most powerful developments in holographic transport is the realization that DC conductivities of broad classes of inhomogeneous black holes can be computed by solving a forced fluid problem on the horizon.

The logic is simple. At zero frequency, the bulk electric and heat currents are radially conserved. Therefore the currents measured at the boundary can be evaluated at the horizon. Horizon regularity then translates the boundary electric field and thermal gradient into a set of constraint equations for horizon variables.

For homogeneous axion models, this collapses to algebraic formulae such as

σdc=Zh+4πρ2sk2Yh.\sigma_{\rm dc}=Z_h+\frac{4\pi\rho^2}{s k^2Y_h}.

For a genuinely inhomogeneous horizon, it becomes a Stokes problem. Schematically, one solves for a horizon velocity vi(x)v_i(x), an electric potential correction w(x)w(x), and a pressure p(x)p(x):

ivi=0,\nabla_i v^i=0, i[Zh(Ei+iw+Fhijvj)]=0,\nabla_i\left[Z_h\left(E^i+\nabla^i w+F_h^{ij}v_j\right)\right]=0, 2j(jvi)+ip+friction from scalar gradients=ρh(Ei+iw)+shTζi+magnetic terms.-2\nabla^j\nabla_{(j}v_{i)} +\nabla_i p +\text{friction from scalar gradients} =\rho_h\left(E_i+\nabla_iw\right)+s_hT\zeta_i+\text{magnetic terms}.

The boundary DC currents are horizon averages of local horizon currents:

Jdci=Jhi(x),Qdci=Qhi(x).J^i_{\rm dc}=\langle J^i_h(x)\rangle, \qquad Q^i_{\rm dc}=\langle Q^i_h(x)\rangle.

This is one of the cleanest bridges between holography and hydrodynamics. A disordered or latticed black hole has a horizon that behaves like a viscous charged fluid moving through an inhomogeneous landscape. The DC conductivity is a property of that horizon fluid.

Metal-insulator transitions from lattice relevance

Section titled “Metal-insulator transitions from lattice relevance”

A clean holographic metal can become insulating when translation breaking is relevant in the IR. This is a geometric statement.

In the UV, a lattice is a deformation of the boundary theory. In the bulk, it is a field profile sourced near the boundary. Whether it matters at low temperature depends on how that profile behaves as it flows toward the horizon. If the profile dies off in the deep IR, the lattice is irrelevant and the black brane remains effectively translationally invariant at low energies. If it grows, the lattice reconstructs the IR geometry.

A rough diagnostic is the low-temperature scaling of the DC conductivity. In a coherent weak-lattice metal,

σdc1Γ\sigma_{\rm dc}\sim \frac{1}{\Gamma}

is large. In an incoherent or insulating phase, the horizon conductivity itself can vanish as

σdcTγ,γ>0,\sigma_{\rm dc}\sim T^\gamma, \qquad \gamma>0,

or the optical conductivity can show a power-law pseudogap,

Reσ(ω)ωγ.\operatorname{Re}\sigma(\omega)\sim \omega^\gamma.

Holographic insulators are often “algebraic” rather than hard-gapped. This means that there may be no sharp gap scale, but the spectral weight still vanishes as a power law in the IR.

Do not confuse the following three notions:

large resistivity from slow momentum relaxation,\text{large resistivity from slow momentum relaxation}, incoherent metal with no momentum bottleneck,\text{incoherent metal with no momentum bottleneck}, insulator with vanishing charge conductivity in the IR.\text{insulator with vanishing charge conductivity in the IR}.

They can look similar in a narrow temperature range, but they are physically different.

Holographic translation-breaking models are not microscopic descriptions of actual crystals. They are controlled models of strongly coupled finite-density matter with mechanisms for momentum loss. The hierarchy is worth stating plainly.

A literal lattice is closest to a crystal potential. It is technically expensive and usually bottom-up.

A linear axion model gives homogeneous momentum relaxation. It is analytically powerful, but not a literal lattice.

A Q-lattice or helical lattice keeps enough symmetry to make strong lattice effects tractable. It is a controlled toy model of periodic translation breaking.

A massive-gravity model captures the symmetry consequence of broken translations in an effective way. It is useful for universal transport mechanisms, especially when microscopic spatial structure is unimportant.

A disordered geometry is closest to random potentials, but it is technically demanding and can involve new disordered fixed points.

The robust lessons are hydrodynamic and structural: current overlaps with momentum; weak translation breaking gives a collective Drude peak; relaxation rates are governed by low-energy spectral weight at finite momentum; DC conductivities can often be read from horizon data; strong translation breaking can reconstruct the IR geometry.

The non-robust lessons are model-specific exponents, numerical scaling windows, and detailed claims about particular materials.

Worked example: linear-axion DC conductivities

Section titled “Worked example: linear-axion DC conductivities”

Consider a 2+12+1-dimensional boundary theory dual to a 3+13+1-dimensional EMD-axion bulk:

S=d4xg[R12(Φ)2V(Φ)Z(Φ)4F2Y(Φ)2I=12(χI)2].S =\int d^4x\sqrt{-g}\left[ R-\frac12(\partial\Phi)^2 -V(\Phi) -\frac{Z(\Phi)}{4}F^2 -\frac{Y(\Phi)}{2}\sum_{I=1}^2(\partial\chi_I)^2 \right].

Take

χ1=kx,χ2=ky,\chi_1=kx, \qquad \chi_2=ky,

and an isotropic charged black brane,

ds2=U(r)dt2+dr2U(r)+C(r)(dx2+dy2),A=At(r)dt.ds^2=-U(r)dt^2+\frac{dr^2}{U(r)}+C(r)(dx^2+dy^2), \qquad A=A_t(r)dt.

The charge density is the radially conserved Maxwell flux,

ρ=Z(Φ)C(r)At(r).\rho=Z(\Phi)C(r)A_t'(r).

To compute σdc\sigma_{\rm dc}, perturb the solution by a constant electric field in the xx direction:

δAx=Et+ax(r),\delta A_x=-Et+a_x(r),

and include the coupled metric and axion perturbations

δgtx=C(r)htx(r),δχ1=ψ(r).\delta g_{tx}=C(r)h_{tx}(r), \qquad \delta\chi_1=\psi(r).

The electric current is radially conserved:

J=gZ(Φ)Frx.J =-\sqrt{-g}\,Z(\Phi)F^{rx}.

At the boundary, this is Jx\langle J_x\rangle. At the horizon, regularity in ingoing coordinates fixes the singular part of axa_x' in terms of EE. The remaining Einstein constraint fixes htx(rh)h_{tx}(r_h) algebraically in terms of EE:

htx(rh)ρEk2YhCh.h_{tx}(r_h) \propto \frac{\rho E}{k^2Y_h C_h}.

Substituting the regular horizon data into JJ gives

J=(Zh+ρ2k2YhCh)E.J = \left(Z_h+\frac{\rho^2}{k^2Y_h C_h}\right)E.

Using the entropy density

s=4πChs=4\pi C_h

in units with 16πGN=116\pi G_N=1, this becomes

σdc=Zh+4πρ2sk2Yh.\boxed{ \sigma_{\rm dc}=Z_h+\frac{4\pi\rho^2}{s k^2Y_h}. }

The same method with a thermal drive

ζx=xTT\zeta_x=-\frac{\partial_xT}{T}

uses a second radially conserved quantity, the heat current QQ. Horizon regularity gives

αdc=4πρk2Yh,κˉdc=4πsTk2Yh.\boxed{ \alpha_{\rm dc}=\frac{4\pi\rho}{k^2Y_h}, \qquad \bar\kappa_{\rm dc}=\frac{4\pi sT}{k^2Y_h}. }

These formulas display the expected weak-relaxation divergence. As k0k\to0, momentum becomes conserved and the coherent DC conductivities diverge. The finite term ZhZ_h is the intrinsic horizon conductivity that remains after removing momentum drag.

Pitfall 1: Treating every translation-breaking model as a literal lattice.

Linear axions, Q-lattices, helical lattices, and massive gravity are different idealizations. They can agree in universal weak-relaxation limits but differ at strong breaking.

Pitfall 2: Forgetting the Ward identity.

Momentum relaxation is not a vague statement about “scattering.” It is encoded by

μTμi=OAiλA+external forces.\partial_\mu T^{\mu i} =-O_A\partial^i\lambda_A+\text{external forces}.

Without such a term, a finite-density clean metal has singular DC conductivity.

Pitfall 3: Reading Γ\Gamma as a quasiparticle lifetime.

In hydrodynamic holographic metals, Γ\Gamma is the lifetime of total momentum. It need not be the lifetime of any quasiparticle.

Pitfall 4: Assuming DC and optical conductivity are equally easy.

DC transport can often be computed from horizon data. Optical conductivity generally requires solving the full fluctuation problem.

Pitfall 5: Calling every bad metal an insulator.

A metal with large momentum relaxation, an incoherent metal, and an algebraic insulator are distinct IR structures.

Pitfall 6: Over-interpreting linear resistivity.

Holography supplies several routes to ρdcT\rho_{\rm dc}\sim T: Planckian momentum relaxation, entropy-tracking in locally critical phases, disorder near criticality, and model-specific lattice relevance. A single exponent is weak evidence unless accompanied by correlated predictions for thermoelectric response, optical conductivity, and spectral weight.

Exercise 1: Ward identity and momentum loss

Section titled “Exercise 1: Ward identity and momentum loss”

Let

H=H0ddsxh(x)O(x),H=H_0-\int d^{d_s}x\,h(x)O(x),

where H0H_0 is translationally invariant. Use the fact that PiP_i generates translations to show

P˙i=ddsxih(x)O(x).\dot P_i=\int d^{d_s}x\,\partial_i h(x)O(x).
Solution

Translations act as

i[Pi,O(x)]=iO(x).i[P_i,O(x)]=\partial_iO(x).

Because H0H_0 is translationally invariant,

i[H0,Pi]=0.i[H_0,P_i]=0.

The perturbation gives

P˙i=i[H,Pi]=iddsxh(x)[O(x),Pi].\dot P_i=i[H,P_i] =-i\int d^{d_s}x\,h(x)[O(x),P_i].

Using

i[O(x),Pi]=iO(x),i[O(x),P_i]=-\partial_iO(x),

we obtain

P˙i=ddsxh(x)iO(x).\dot P_i=-\int d^{d_s}x\,h(x)\partial_iO(x).

Integrating by parts and assuming boundary terms vanish,

P˙i=ddsxih(x)O(x).\dot P_i=\int d^{d_s}x\,\partial_i h(x)O(x).

Thus a constant source does not relax momentum, while a spatially varying source does.

For

h(x)=h0cos(kLx),h(x)=h_0\cos(k_Lx),

show that the leading relaxation rate is proportional to h02kL2h_0^2k_L^2 times the low-frequency spectral weight of OO at kLk_L.

Solution

From Exercise 1,

P˙x=ddsxxh(x)O(x)=h0kLddsxsin(kLx)O(x).\dot P_x=\int d^{d_s}x\,\partial_xh(x)O(x) =-h_0k_L\int d^{d_s}x\,\sin(k_Lx)O(x).

In Fourier space, this is proportional to h0kLO(kL)h_0k_LO(k_L) plus the mode at kL-k_L. The memory-matrix formula gives

Γ=1χPPlimω0ImGP˙xP˙xR(ω)ω.\Gamma=\frac{1}{\chi_{PP}} \lim_{\omega\to0}\frac{\operatorname{Im}G^R_{\dot P_x\dot P_x}(\omega)}{\omega}.

Therefore

Γh02kL2χPPlimω0ImGOOR(ω,kL)ω,\Gamma\sim \frac{h_0^2k_L^2}{\chi_{PP}} \lim_{\omega\to0} \frac{\operatorname{Im}G^R_{OO}(\omega,k_L)}{\omega},

up to a convention-dependent numerical factor from the cosine normalization.

Exercise 3: Why linear axions are homogeneous

Section titled “Exercise 3: Why linear axions are homogeneous”

Consider two axions in ds=2d_s=2,

χ1=kx,χ2=ky,\chi_1=kx, \qquad \chi_2=ky,

with action contribution

Sχ=12d4xgY(Φ)I=12(χI)2.S_\chi=-\frac12\int d^4x\sqrt{-g}\,Y(\Phi)\sum_{I=1}^2(\partial\chi_I)^2.

Show that the axion stress tensor is independent of xx and yy for a homogeneous isotropic metric.

Solution

The gradients are constants:

iχI=kδiI.\partial_i\chi_I=k\delta_{iI}.

The axion stress tensor contains only products of gradients,

TMN(χ)=Y(Φ)I(MχINχI12gMN(χI)2).T^{(\chi)}_{MN} =Y(\Phi)\sum_I\left(\partial_M\chi_I\partial_N\chi_I -\frac12g_{MN}(\partial\chi_I)^2\right).

For a homogeneous metric and homogeneous dilaton Φ(r)\Phi(r), the quantities

IiχIjχI=k2δij\sum_I\partial_i\chi_I\partial_j\chi_I=k^2\delta_{ij}

are constant and isotropic. Therefore TMN(χ)T^{(\chi)}_{MN} depends on rr only. The scalar sources break translations, but the bulk equations for the background remain ODEs.

Exercise 4: Coherent divergence from the axion formula

Section titled “Exercise 4: Coherent divergence from the axion formula”

Use

σdc=Zh+4πρ2sk2Yh\sigma_{\rm dc}=Z_h+\frac{4\pi\rho^2}{s k^2Y_h}

to explain why k0k\to0 restores the clean-limit infinite conductivity at nonzero density.

Solution

The parameter kk controls the strength of explicit translation breaking. When k0k\to0, the axion profiles become constant and no longer break translations. At nonzero charge density, current overlaps with the conserved momentum.

The formula gives

σdc4πρ2sYh1k2\sigma_{\rm dc}\sim \frac{4\pi\rho^2}{sY_h}\frac{1}{k^2}

as k0k\to0 if ρ0\rho\neq0. Thus σdc\sigma_{\rm dc} diverges. The finite ZhZ_h term remains, but it is subleading compared with the momentum-drag contribution.

Exercise 5: Resistivity from an AdS2AdS_2 spectral exponent

Section titled “Exercise 5: Resistivity from an AdS2AdS_2AdS2​ spectral exponent”

Suppose a weak lattice couples to an operator whose semi-local IR spectral function obeys

ImGOOR(ω,kL)ω2νkL.\operatorname{Im}G^R_{OO}(\omega,k_L)\sim\omega^{2\nu_{k_L}}.

Use finite-temperature scaling to estimate the temperature dependence of ρdc\rho_{\rm dc} in the coherent regime.

Solution

The memory-matrix formula gives

Γh02kL2limω0ImGOOR(ω,kL)ω.\Gamma\sim h_0^2k_L^2 \lim_{\omega\to0}\frac{\operatorname{Im}G^R_{OO}(\omega,k_L)}{\omega}.

At finite temperature, ω\omega is replaced by the only IR scale TT, so

limω0ImGOOR(ω,kL)ωT2νkL1.\lim_{\omega\to0}\frac{\operatorname{Im}G^R_{OO}(\omega,k_L)}{\omega} \sim T^{2\nu_{k_L}-1}.

Hence

Γh02kL2T2νkL1.\Gamma\sim h_0^2k_L^2T^{2\nu_{k_L}-1}.

In the coherent regime,

ρdcχPPρ2Γ,\rho_{\rm dc}\approx\frac{\chi_{PP}}{\rho^2}\Gamma,

so

ρdcT2νkL1,\rho_{\rm dc}\sim T^{2\nu_{k_L}-1},

up to slowly varying thermodynamic prefactors.

Exercise 6: Explicit versus spontaneous breaking

Section titled “Exercise 6: Explicit versus spontaneous breaking”

A charge-density wave forms with wavevector k0k_0 in a translationally invariant Hamiltonian. Is total momentum conserved? Why can the DC conductivity still be finite in a real material?

Solution

If the Hamiltonian is exactly translationally invariant and the charge-density wave forms spontaneously, total momentum is still conserved. The state breaks translations, but the microscopic conservation law remains. The ordered phase has a Goldstone mode: the sliding phase or phonon of the density wave.

In an ideal clean system, sliding can contribute to singular transport. In a real material, the density wave is typically pinned by weak explicit translation breaking from an ionic lattice, impurities, disorder, or commensurability effects. Pinning gaps the sliding mode and allows momentum to relax, making the DC conductivity finite.

  • S. A. Hartnoll, A. Lucas, and S. Sachdev, Holographic Quantum Matter, sections 5.5—5.10, for weak and strong momentum relaxation, memory matrices, mean-field models, and exact horizon methods.
  • J. Zaanen, Y. Liu, Y.-W. Sun, and K. Schalm, Holographic Duality in Condensed Matter Physics, chapter 12, for translation breaking, holographic lattices, Bianchi VII helices, massive gravity, and crystallization.
  • G. T. Horowitz, J. E. Santos, and D. Tong, work on optical conductivity in holographic lattices, for early fully inhomogeneous lattice computations.
  • A. Donos and J. P. Gauntlett, work on Q-lattices, helical lattices, and horizon DC conductivities.
  • R. A. Davison, B. Goutéraux, M. Blake, and collaborators, for axion models, massive gravity, incoherent transport, and diffusion-focused formulations.
  • T. Andrade and B. Withers, for the linear-axion model of momentum relaxation.