Skip to content

7. Momentum Relaxation, Lattices, Q-Lattices, and Disorder

A clean finite-density holographic metal has an immediate problem: it usually conducts too well. If spatial translations are exact, the total momentum is conserved. At nonzero charge density, the electric current overlaps with momentum, so a homogeneous electric field can accelerate the whole fluid. The DC conductivity then contains a zero-frequency singularity even if the system has no quasiparticles and locally equilibrates rapidly.

The previous page separated two pieces of finite-density transport:

  • a momentum-drag channel, controlled by the overlap of current with the conserved momentum,
  • an incoherent channel, controlled by the part of the current orthogonal to momentum.

This page asks the next question: how do holographic models make the measured DC conductivity finite? The answer is not just “add a lattice.” There are several physically different ways to break translations, and they lead to different interpretations of the same-looking transport formulas.

The central lesson is this:

A finite DC conductivity is not a microscopic scattering time by itself. It is the endpoint of a chain: translations are broken, momentum decays or is pinned, slow modes reorganize the low-frequency response, and the bulk encodes this through boundary conditions plus horizon regularity.

We will study four levels of translation breaking.

  1. Weak explicit breaking, where memory-matrix and hydrodynamic formulas are controlled.
  2. Homogeneous holographic lattices, such as linear axions and Q-lattices, where translations are broken but the bulk equations remain ordinary differential equations.
  3. Genuine inhomogeneous lattices and disorder, where the bulk geometry depends on boundary spatial coordinates.
  4. Spontaneous translation breaking, where momentum relaxation, pinning, and phase relaxation must be distinguished.

Momentum relaxation, lattices, Q-lattices, and disorder

Translation breaking in holographic quantum matter has several regimes. Weak explicit breaking gives a memory-matrix relaxation rate Γ\Gamma. Homogeneous axion and Q-lattice models keep the bulk equations tractable and often give horizon DC formulas. Ionic lattices and disorder are genuine inhomogeneous bulk boundary-value problems. Spontaneous translation breaking introduces a sliding mode, so pinning and phase relaxation are extra data rather than synonyms for momentum relaxation.

The boundary Ward identity is the starting point

Section titled “The boundary Ward identity is the starting point”

Let the boundary theory contain a conserved current JμJ^\mu, stress tensor TμνT^{\mu\nu}, and a scalar operator O\mathcal O sourced by a spatially dependent coupling h(x)h(\mathbf x). In the presence of an external gauge field and a scalar source, the spatial Ward identity has the schematic form

μTμi=FiνJν+Oih+.\partial_\mu T^{\mu i} = F^{i\nu}J_\nu + \langle \mathcal O\rangle\,\partial^i h + \cdots .

The first term is the Lorentz force. In a homogeneous state with electric field EiE_i, it gives the familiar force density

tPi=ρEi\partial_t P_i = \rho E_i

when no other sources vary in space. The second term is the force exerted by the spatially varying coupling. If hh is constant, it does not break translations. If h(x)h(\mathbf x) varies, the background itself can absorb momentum.

At the level of the Hamiltonian, a weak source deformation can be written as

H=H0ddxh(x)O(x).H=H_0-\int d^d x\,h(\mathbf x)\mathcal O(\mathbf x).

The momentum operator generates translations, so the deformation implies

P˙i=i[H,Pi]=ddxih(x)O(x),\dot P_i=i[H,P_i] = \int d^d x\,\partial_i h(\mathbf x)\mathcal O(\mathbf x),

up to a sign convention. This formula is the seed of the memory-matrix result. Momentum decays because the Hamiltonian contains a spatial pattern that can absorb it.

Notice that the operator O\mathcal O is not necessarily a density of impurities in the everyday sense. It can be any operator sourced by a lattice, disorder field, strain, ionic potential, scalar deformation, or holographic axion sector. What matters is that the source carries spatial momentum.

Weak explicit breaking and the memory-matrix rate

Section titled “Weak explicit breaking and the memory-matrix rate”

Suppose translations are broken weakly enough that momentum remains a long-lived mode. Then the low-frequency response is controlled by a small momentum-relaxation rate Γ\Gamma. In the simplest isotropic case,

P˙i=ΓPi+ρEi+sTζi,\dot P_i = -\Gamma P_i + \rho E_i + sT\,\zeta_i,

where ζi=iT/T\zeta_i=-\partial_iT/T is the thermal driving field. Combining this with charged hydrodynamics gives the pole structure

σ(ω)=σQ+ρ2ϵ+p1Γiω,\sigma(\omega) = \sigma_Q+ \frac{\rho^2}{\epsilon+p}\frac{1}{\Gamma-i\omega}, α(ω)=αQ+ρsϵ+p1Γiω,\alpha(\omega) = \alpha_Q+ \frac{\rho s}{\epsilon+p}\frac{1}{\Gamma-i\omega}, κˉ(ω)=κˉQ+s2Tϵ+p1Γiω.\bar\kappa(\omega) = \bar\kappa_Q+ \frac{s^2T}{\epsilon+p}\frac{1}{\Gamma-i\omega}.

This is Drude-like, but it is not necessarily quasiparticle Drude theory. The pole appears because momentum is long-lived, not because electrons are long-lived.

The memory-matrix formalism gives a more microscopic expression for Γ\Gamma that does not assume quasiparticles. For a weak source h(x)h(\mathbf x) coupled to O\mathcal O, one obtains schematically

Γ=1χPPddk(2π)dh(k)2kx2limω0ImGOOR(ω,k)ω.\Gamma = \frac{1}{\chi_{PP}} \int \frac{d^dk}{(2\pi)^d} |h(\mathbf k)|^2 k_x^2 \lim_{\omega\to0} \frac{\operatorname{Im}G^R_{\mathcal O\mathcal O}(\omega,\mathbf k)}{\omega}.

Here χPP=ϵ+p\chi_{PP}=\epsilon+p in a relativistic fluid. The formula is conceptually powerful because it says that momentum relaxation is controlled by the low-frequency spectral weight of the operator that breaks translations.

For a one-dimensional periodic lattice,

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

the Fourier transform has support only at ±kL\pm k_L. The relaxation rate is therefore proportional to

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

For weak random disorder with

h(k)h(k)=(2π)dδ(k+k)W(k),\overline{h(\mathbf k)h(\mathbf k')}=(2\pi)^d\delta(\mathbf k+\mathbf k')\,W(\mathbf k),

the same expression becomes disorder-averaged:

Γ=1χPPddk(2π)dW(k)kx2limω0ImGOOR(ω,k)ω.\Gamma = \frac{1}{\chi_{PP}} \int \frac{d^dk}{(2\pi)^d} W(\mathbf k) k_x^2 \lim_{\omega\to0} \frac{\operatorname{Im}G^R_{\mathcal O\mathcal O}(\omega,\mathbf k)}{\omega}.

The same logic unifies weak lattices and weak disorder. The difference is the distribution of wavevectors carried by the source.

The dimensionless measure of coherence is not simply whether the DC conductivity is large. A cleaner criterion asks whether the low-frequency response contains an isolated pole whose width is parametrically smaller than the local equilibration scale. If

ΓT,\Gamma \ll T,

then the optical conductivity typically has a narrow Drude-like peak. Transport is coherent: it is dominated by a slow momentum mode.

If Γ\Gamma is comparable to the microscopic or quantum-critical equilibration scale, then the low-frequency response may not have a sharply isolated pole. Transport is incoherent: the current relaxes through strongly coupled dynamics without a long-lived momentum bottleneck.

A useful schematic expression is

σDC=σQ+ρ2(ϵ+p)Γ.\sigma_{\rm DC} = \sigma_Q+ \frac{\rho^2}{(\epsilon+p)\Gamma}.

When the second term dominates, the resistivity tracks Γ\Gamma:

ρDCelectric(ϵ+p)Γρ2.\rho_{\rm DC}^{\rm electric} \approx \frac{(\epsilon+p)\Gamma}{\rho^2}.

When the first term dominates, the resistivity is controlled mainly by the intrinsic conductivity σQ\sigma_Q, not by momentum drag. A holographic model can therefore have finite resistivity without a meaningful quasiparticle scattering time and without a sharply Drude-shaped peak.

This is the first diagnostic to apply to any holographic lattice paper: ask whether the state is coherent, incoherent, or mixed.

Homogeneous holographic lattices: the trick

Section titled “Homogeneous holographic lattices: the trick”

A genuine lattice makes the state depend on boundary position, which usually turns the bulk problem into nonlinear partial differential equations. Homogeneous holographic lattices avoid this by breaking translations while preserving enough generalized symmetry that the background fields depend only on the radial coordinate.

This is a computational trick, but a valuable one. It lets one study finite DC transport, metal-insulator transitions, and scaling regimes without solving a full inhomogeneous bulk geometry.

The two most important homogeneous mechanisms are:

  • linear axions, where shift-symmetric scalar fields are proportional to boundary coordinates,
  • Q-lattices, where a complex scalar has a spatially modulated phase but a radial amplitude.

These models do break translations in the boundary theory. They are not coordinate artifacts. But because the stress tensor of the bulk matter fields can be homogeneous, the metric and gauge field can remain functions of the radial coordinate alone.

The price is interpretational. A homogeneous holographic lattice is not a microscopic crystal with Bloch bands. It is a large-NN effective model of momentum relaxation.

The simplest isotropic axion model in dd boundary spacetime dimensions uses d1d-1 scalar fields ψI\psi_I with shift symmetries,

ψIψI+cI,\psi_I\to\psi_I+c_I,

and background profiles

ψI=kxI,I=1,,d1.\psi_I=k x_I, \qquad I=1,\ldots,d-1.

A common bulk action is

S=dd+1xg[R12(ϕ)2V(ϕ)Z(ϕ)4F2Y(ϕ)2I(ψI)2].S = \int d^{d+1}x\sqrt{-g} \left[ R- \frac{1}{2}(\partial\phi)^2 -V(\phi) - \frac{Z(\phi)}{4}F^2 - \frac{Y(\phi)}{2}\sum_I(\partial\psi_I)^2 \right].

Even though ψI\psi_I depends explicitly on xIx_I, the combination (ψI)2(\partial\psi_I)^2 can be homogeneous. The background ansatz can remain

ds2=D(r)dt2+B(r)dr2+C(r)dx2,ds^2 = -D(r)dt^2+B(r)dr^2+C(r)d\mathbf x^2, A=At(r)dt,ϕ=ϕ(r),ψI=kxI.A=A_t(r)dt, \qquad \phi=\phi(r), \qquad \psi_I=kx_I.

The parameter kk controls the strength of explicit translation breaking. In the boundary theory, the scalar sources are linear functions of position. Because the bulk scalars have shift symmetries, this is compatible with a homogeneous stress tensor.

The cleanest result is the horizon DC conductivity. For many isotropic Einstein-Maxwell-dilaton-axion models, one finds

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

Here ZhZ_h and YhY_h are the horizon values of Z(ϕ)Z(\phi) and Y(ϕ)Y(\phi), and ss is the entropy density.

The structure is exactly what the boundary theory expects.

  • The term ZhZ_h is the intrinsic horizon conductivity.
  • The term proportional to 1/k21/k^2 is momentum drag.
  • As k0k\to0, the DC conductivity diverges because translations are restored.

The formula is beautiful because it turns a transport calculation into horizon data. But it should not be overread. The DC formula alone does not say whether the optical conductivity is Drude-like; one must examine the quasinormal spectrum.

A Q-lattice uses an internal global symmetry to make a spatially modulated source compatible with homogeneous bulk equations. The simplest version has a complex scalar

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

If the bulk action depends on Φ\Phi only through phase-invariant combinations such as Φ2|\partial\Phi|^2 and Φ2|\Phi|^2, then the stress tensor is independent of xx. The phase winds in space, but the geometry remains homogeneous.

In the boundary theory, this corresponds to a source whose phase rotates in space. The wavevector kk sets the lattice scale, while the UV amplitude of φ\varphi sets the lattice strength. Q-lattices are especially useful because they can realize metallic and insulating regimes in relatively simple ordinary differential equations.

The interpretation is similar to axion models but not identical. Linear axions are often maximally efficient toy models of momentum relaxation. Q-lattices are closer to periodic scalar deformations, because they contain a length scale kk and a source amplitude. But neither model captures all features of an ordinary crystal.

In particular, a homogeneous Q-lattice does not automatically give:

  • Bloch bands,
  • Brillouin-zone folding,
  • sharp Umklapp surfaces,
  • localized impurity physics,
  • or a microscopic ionic potential.

It gives a controlled large-NN holographic mechanism for degrading momentum and studying the resulting transport.

Ionic lattices and genuine inhomogeneous geometries

Section titled “Ionic lattices and genuine inhomogeneous geometries”

A more literal holographic lattice is an explicitly position-dependent chemical potential, for example

μ(x)=μ0+λcos(kLx).\mu(x)=\mu_0+\lambda\cos(k_L x).

Equivalently, the boundary value of the bulk gauge field is

At(r,x)=μ(x).A_t(r\to\infty,x)=\mu(x).

Now the bulk metric, gauge field, and possibly other fields depend on both rr and xx. The problem is no longer an ordinary differential equation. It is a nonlinear elliptic boundary-value problem for an inhomogeneous black brane.

The advantage is physical fidelity. Genuine inhomogeneous lattices can capture effects that homogeneous models wash out:

  • spatially varying charge density,
  • Brillouin-like structure in spectral functions,
  • local current patterns,
  • anisotropic conductivities,
  • commensurability effects,
  • and possible formation of striped or crystalline phases.

The disadvantage is computational cost. One typically needs numerical methods for stationary gravitational solutions. Boundary conditions must be imposed at the AdS boundary, the horizon, and any axes or periodic directions. Gauge fixing, horizon regularity, and extraction of one-point functions all become more delicate.

For a lecture-note-level mental model, the important distinction is:

Homogeneous lattices are efficient models of momentum relaxation. Inhomogeneous lattices are closer to literal spatial potentials.

Both are useful. They answer different questions.

Disorder is translation breaking without periodicity. In field theory, one might source an operator by a random function h(x)h(\mathbf x). The weak-disorder memory-matrix rate was already written above. At stronger disorder, the full problem becomes a random inhomogeneous black-brane geometry.

Disorder raises special conceptual issues.

First, the relevant observables are usually disorder-averaged quantities. One may care about

σ(ω),ρDC,GR(ω,k),\overline{\sigma(\omega)}, \qquad \overline{\rho_{\rm DC}}, \qquad \overline{G^R(\omega,\mathbf k)},

where the overline means an average over disorder realizations. At large NN, some quantities can become self-averaging, but this should be checked, not assumed.

Second, disorder can be relevant or irrelevant in the renormalization-group sense. A weak random source for an operator O\mathcal O may grow toward the IR, die away, or flow to a disordered fixed point. The holographic geometry must know which case it is.

Third, disorder is not the same as a relaxation-time approximation. A random source can produce momentum relaxation, but it can also produce new low-energy structure, rare-region effects, localization tendencies, glassiness, or emergent inhomogeneous phases. Classical large-NN holography is often best at capturing coarse-grained dissipative effects; it is less automatically trustworthy for phenomena that rely on strong mesoscopic fluctuations.

In short: holographic disorder is powerful, but the epistemic status should be stated carefully. Weak disorder is well organized by memory matrices. Strong disorder is a hard gravitational boundary-value problem and should not be reduced to a single number Γ\Gamma unless the dynamics actually supports that reduction.

Massive gravity and effective momentum relaxation

Section titled “Massive gravity and effective momentum relaxation”

Another route introduces bulk terms that break diffeomorphism invariance in a controlled effective way, often described as massive gravity. In the boundary theory this mimics momentum nonconservation. Such models were historically important because they produced simple finite DC conductivities and clear Drude-to-incoherent crossovers.

The useful viewpoint is not that “the graviton literally has a mass in the microscopic dual.” Rather, massive-gravity-type terms can be an effective description of translation breaking after some degrees of freedom have been integrated out.

The warning is obvious but important:

Massive gravity is a model of momentum relaxation, not automatically a top-down derivation of a lattice.

For the purposes of this section, massive gravity belongs in the same conceptual family as homogeneous momentum-relaxing models: useful, efficient, and sometimes universal in the IR, but requiring care when interpreted microscopically.

Explicit versus spontaneous translation breaking

Section titled “Explicit versus spontaneous translation breaking”

A density wave, stripe, or crystal can break translations spontaneously. This is physically different from putting an explicit lattice or disorder source in the Hamiltonian.

If translations are broken spontaneously, the system has a sliding mode: a phonon or phason. A uniform shift of the pattern costs no energy. Therefore spontaneous breaking alone does not necessarily make the DC conductivity finite. The sliding collective mode can still carry current without dissipation.

To obtain a finite DC response in a charge-density-wave-like state, one often needs:

  • explicit pinning, which gives the sliding mode a finite pinning frequency,
  • phase relaxation, which lets the phase of the density wave decay through defects, dislocations, or other processes,
  • or coupling to other momentum-relaxing sectors.

The optical conductivity of a pinned density wave is not just an ordinary Drude peak. It can contain a pinned collective resonance. A schematic pinned-mode denominator has the form

ω02ω2iωΩ,\omega_0^2-\omega^2-i\omega\Omega,

where ω0\omega_0 is a pinning frequency and Ω\Omega is a phase-relaxation rate. This is a different structure from

Γiω.\Gamma-i\omega.

This distinction will matter later for spatially modulated phases. The safe rule is:

Explicit translation breaking relaxes momentum directly. Spontaneous translation breaking creates new collective modes. Pinning and phase relaxation are additional mechanisms.

Horizon DC formulas arise because zero-frequency bulk perturbation equations often contain radially conserved quantities. The logic is as follows.

Apply a constant electric field and thermal gradient at the boundary. In the bulk this corresponds to linear perturbations such as

δAi=Eit+ai(r),\delta A_i = -E_i t + a_i(r),

and metric perturbations that implement the thermal source. At zero frequency, the equations imply that certain radial fluxes are conserved:

rJi=0,rQi=0.\partial_r \mathcal J_i =0, \qquad \partial_r \mathcal Q_i=0.

The boundary values of Ji\mathcal J_i and Qi\mathcal Q_i are the electric and heat currents. Since the fluxes are radially conserved, one may evaluate them at the horizon instead. Horizon regularity then determines them algebraically in terms of EiE_i and ζi\zeta_i.

This is why the DC conductivities can be horizon data. It is not magic; it is radial conservation plus regularity.

However, this works specifically for DC transport. For finite frequency, the perturbations propagate nontrivially between boundary and horizon. One must solve the full fluctuation equations, impose ingoing boundary conditions, and extract retarded Green’s functions.

A practical classification of holographic translation-breaking models

Section titled “A practical classification of holographic translation-breaking models”

The following table is a useful calculation-time guide.

Model typeBulk difficultyWhat it captures wellMain caveat
Linear axionsODEfinite DC transport, coherent/incoherent crossover, horizon formulasnot a literal periodic lattice
Q-latticeODEperiodic scale, metal-insulator tendencies, homogeneous momentum relaxationno full Bloch-band structure
Helical/Bianchi latticeODEanisotropic homogeneous translation breakingrestricted symmetry pattern
Ionic latticePDEliteral periodic potential, spatial charge modulation, spectral foldingcomputationally expensive
Random disorderPDE or perturbativedisorder-averaged momentum relaxation, inhomogeneous responserare-region/localization physics is subtle
Massive gravityODEeffective momentum relaxationmicroscopic interpretation may be unclear
Spontaneous stripes/crystalsPDE or special ansatzordered phases and sliding modesneeds pinning/phase relaxation for finite DC

This table is not a hierarchy from “bad” to “good.” It is a map of questions. If the question is the general fate of the Drude pole, axions may be ideal. If the question is Bloch-like spectral structure, a real lattice is needed. If the question is spontaneous spatial order, explicit lattices are the wrong starting point.

Worked example: axion DC conductivity and the clean limit

Section titled “Worked example: axion DC conductivity and the clean limit”

Consider a four-dimensional bulk dual to a 2+12+1-dimensional boundary theory, with two axions

ψ1=kx,ψ2=ky.\psi_1=kx, \qquad \psi_2=ky.

Assume a simple model with Zh=1Z_h=1 and Yh=1Y_h=1. The horizon formula gives

σDC=1+4πρ2sk2.\sigma_{\rm DC}=1+\frac{4\pi\rho^2}{s k^2}.

This expression already contains the physical decomposition.

The first term is intrinsic:

σQ=1.\sigma_Q=1.

It remains finite at zero density and is controlled by horizon absorption of the gauge-field perturbation.

The second term is momentum drag:

σdrag=4πρ2sk2.\sigma_{\rm drag}=\frac{4\pi\rho^2}{s k^2}.

It diverges when k0k\to0, because the translation-breaking deformation is being removed. It also vanishes at ρ=0\rho=0, because momentum no longer drags electric current in a particle-hole symmetric state.

Matching to the hydrodynamic formula

σDC=σQ+ρ2(ϵ+p)Γ\sigma_{\rm DC}=\sigma_Q+\frac{\rho^2}{(\epsilon+p)\Gamma}

suggests

Γsk24π(ϵ+p)\Gamma\sim \frac{s k^2}{4\pi(\epsilon+p)}

in the weak-breaking regime of this simple model. The exact coefficient can depend on conventions and model details, but the scaling is the point:

Γk2.\Gamma\propto k^2.

Small translation breaking gives a long momentum lifetime.

PitfallBetter statement
“The black-hole horizon makes the DC conductivity finite.”Horizons dissipate locally, but exact momentum conservation still gives infinite DC conductivity at finite density.
“A Drude peak means quasiparticles.”A narrow Drude-like pole can come from slow momentum, even without quasiparticles.
“Axion models are ordinary lattices.”Linear axions break translations homogeneously; they model momentum relaxation, not Bloch-band physics.
“Q-lattices capture all periodic effects.”Q-lattices contain a wavevector and amplitude, but the background remains homogeneous.
“Spontaneous translation breaking relaxes momentum.”Spontaneous breaking gives phonons or phasons; finite DC response needs pinning, phase relaxation, or another relaxation mechanism.
“The DC formula determines the optical conductivity.”DC horizon formulas give zero-frequency response only; finite-frequency transport requires solving fluctuations.
“Disorder is just a number Γ\Gamma.”Weak disorder may reduce to Γ\Gamma; strong disorder can create new IR structure.
“Finite resistivity measures a quasiparticle lifetime.”In holographic matter, resistivity may measure momentum relaxation, incoherent conductivity, horizon data, or a mixture.

Translation breaking is not one idea; it is a family of mechanisms.

At finite density, exact translations make the DC conductivity singular because current overlaps with momentum. Weak explicit breaking turns the singularity into a Drude-like pole with width Γ\Gamma, and the memory-matrix formalism expresses Γ\Gamma through the spectral weight of the translation-breaking operator.

Holography gives several ways to implement this physics. Linear axions and Q-lattices keep the bulk homogeneous and often give simple horizon DC formulas. Ionic lattices and disorder are more literal but require inhomogeneous geometries. Massive gravity is an effective model of momentum relaxation. Spontaneous stripes or crystals require a separate treatment because they introduce sliding modes, pinning, and phase relaxation.

The best way to read any holographic translation-breaking model is to ask four questions:

  1. Is translation breaking explicit, spontaneous, or both?
  2. Is momentum long-lived or strongly relaxed?
  3. Is the response coherent, incoherent, or mixed?
  4. Is the model intended as a top-down construction, a controlled effective model, or a phenomenological analogue?

If those questions are answered clearly, finite DC transport becomes a diagnostic rather than a slogan.

Let

H=H0ddxh(x)O(x),H=H_0-\int d^d x\,h(\mathbf x)\mathcal O(\mathbf x),

where H0H_0 is translationally invariant. Use the fact that PiP_i generates translations to show that P˙i\dot P_i is proportional to ddxihO\int d^d x\,\partial_i h\,\mathcal O.

Solution

For a local operator, the momentum generator obeys

i[Pi,O(x)]=iO(x),i[P_i,\mathcal O(\mathbf x)]=\partial_i\mathcal O(\mathbf x),

up to the sign convention for commutators. Since H0H_0 is translationally invariant, [H0,Pi]=0[H_0,P_i]=0. The deformation gives

P˙i=i[H,Pi]=iddxh(x)[O(x),Pi].\dot P_i=i[H,P_i] = -i\int d^d x\,h(\mathbf x)[\mathcal O(\mathbf x),P_i].

Using the translation property gives

P˙i=ddxh(x)iO(x).\dot P_i =\int d^d x\,h(\mathbf x)\partial_i\mathcal O(\mathbf x).

Integrating by parts and ignoring boundary terms,

P˙i=ddxih(x)O(x).\dot P_i =-\int d^d x\,\partial_i h(\mathbf x)\mathcal O(\mathbf x).

Depending on the convention for PiP_i and the sign of the deformation, the overall sign may change. The physical statement is invariant: momentum changes only if the source has spatial gradients.

2. Periodic lattice and the memory-matrix rate

Section titled “2. Periodic lattice and the memory-matrix rate”

For

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

explain why the weak-breaking relaxation rate is proportional to

h02kL2limω0ImGOOR(ω,kL)ω.h_0^2k_L^2 \lim_{\omega\to0} \frac{\operatorname{Im}G^R_{\mathcal O\mathcal O}(\omega,k_L)}{\omega}.
Solution

The Fourier transform of h(x)=h0cos(kLx)h(x)=h_0\cos(k_Lx) has support at k=±kLk=\pm k_L. The memory-matrix formula contains the factor

h(k)2kx2limω0ImGOOR(ω,k)ω.|h(k)|^2 k_x^2 \lim_{\omega\to0} \frac{\operatorname{Im}G^R_{\mathcal O\mathcal O}(\omega,k)}{\omega}.

Since the only nonzero Fourier components are at ±kL\pm k_L, the integral over kk reduces to those wavevectors. Both have kx2=kL2k_x^2=k_L^2, and h(k)2|h(k)|^2 is proportional to h02h_0^2. Thus

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

up to normalization conventions for Fourier transforms.

Assume

(Γiω)(ϵ+p)v=ρE,(\Gamma-i\omega)(\epsilon+p)v=\rho E,

and

J=ρv+σQE.J=\rho v+\sigma_QE.

Derive the electric conductivity. Why does this derivation not require quasiparticles?

Solution

Solving the first equation for the fluid velocity gives

v=ρϵ+p1ΓiωE.v=\frac{\rho}{\epsilon+p}\frac{1}{\Gamma-i\omega}E.

Substituting into the current,

J=σQE+ρv=[σQ+ρ2ϵ+p1Γiω]E.J=\sigma_QE+\rho v =\left[\sigma_Q+ \frac{\rho^2}{\epsilon+p}\frac{1}{\Gamma-i\omega}\right]E.

Therefore

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

The derivation uses only hydrodynamic variables and conservation laws: charge density, momentum density, enthalpy, and a momentum-relaxation rate. It does not assume a distribution of long-lived quasiparticles. The pole is due to slow momentum, not particle kinetics.

4. Axion horizon formula and the clean limit

Section titled “4. Axion horizon formula and the clean limit”

In a simple axion model,

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

Identify the intrinsic and momentum-drag terms. What happens as k0k\to0? What happens at ρ=0\rho=0?

Solution

The intrinsic term is

σQ=Zh.\sigma_Q=Z_h.

It remains finite even without charge density. The momentum-drag contribution is

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

As k0k\to0, translations are restored and the drag term diverges. This reproduces the infinite DC conductivity of a clean finite-density system. At ρ=0\rho=0, the drag term vanishes because current no longer overlaps with momentum in the same way; the DC conductivity reduces to the intrinsic horizon value ZhZ_h.

Consider a complex scalar

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

with an action depending only on Φ2|\Phi|^2 and Φ2|\partial\Phi|^2. Explain why the stress tensor can be independent of xx.

Solution

The modulus is

Φ2=φ(r)2,|\Phi|^2=\varphi(r)^2,

which is independent of xx. The spatial derivative is

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

so

xΦ2=k2φ(r)2,|\partial_x\Phi|^2=k^2\varphi(r)^2,

also independent of xx. Radial derivatives similarly give

rΦ2=φ(r)2.|\partial_r\Phi|^2=\varphi'(r)^2.

Therefore the phase depends on xx, but phase-invariant quantities entering the stress tensor depend only on rr. The scalar source breaks translations, yet the bulk background can remain homogeneous.

6. Explicit versus spontaneous translation breaking

Section titled “6. Explicit versus spontaneous translation breaking”

Why does spontaneous translation breaking not automatically produce a finite DC conductivity? What additional ingredients can make the DC response finite?

Solution

Spontaneous translation breaking produces a Goldstone mode: a phonon or phason corresponding to sliding the pattern. If the pattern can slide freely, it can carry current without dissipation. Thus the conductivity may still contain a zero-frequency singularity.

A finite DC response requires additional mechanisms such as explicit pinning, phase relaxation, or coupling to another momentum-relaxing sector. Pinning gives the sliding mode a finite restoring force; phase relaxation allows the phase of the density wave to decay through defects or dislocations. These are extra slow-mode data, not synonyms for spontaneous order.

You want to study the temperature dependence of the DC resistivity in a strongly coupled metal without caring about Brillouin-zone structure. Which model class is likely to be efficient? What if you instead want spectral functions showing lattice momentum mixing?

Solution

For the DC resistivity and coherent/incoherent crossover, homogeneous models such as linear axions or Q-lattices are efficient. They break translations while keeping the background equations ordinary differential equations, and they often give analytic horizon DC formulas.

For spectral functions with lattice momentum mixing, a genuine inhomogeneous lattice is needed. A boundary chemical potential such as μ(x)=μ0+λcos(kLx)\mu(x)=\mu_0+\lambda\cos(k_Lx) forces the bulk fields to depend on both rr and xx, but it can capture effects such as Brillouin-like folding and spatially modulated charge density.

For the logic of momentum relaxation, memory matrices, and holographic transport, useful starting points include:

  • Sean A. Hartnoll, Andrew Lucas, and Subir Sachdev, Holographic Quantum Matter.
  • Jan Zaanen, Yan Liu, Ya-Wen Sun, and Koenraad Schalm, Holographic Duality in Condensed Matter Physics.
  • Martin Ammon and Johanna Erdmenger, Gauge/Gravity Duality: Foundations and Applications.
  • Tom Andrade and Benjamin Withers, “A simple holographic model of momentum relaxation.”
  • Aristomenis Donos and Jerome P. Gauntlett, “Thermoelectric DC conductivities from black hole horizons.”
  • Richard A. Davison, “Momentum relaxation in holographic massive gravity.”
  • Sean A. Hartnoll, “Theory of universal incoherent metallic transport.”
  • Andrew Lucas and Subir Sachdev, “Memory matrix theory of transport in strange metals.”
  • Blaise Gouteraux, “Charge transport in holography with momentum dissipation.”