Skip to content

EMD, Lifshitz, and Hyperscaling Violation

The extremal Reissner—Nordström AdS brane gave us a sharp lesson: finite density can reorganize the low-energy theory into an emergent near-horizon geometry. In the minimal Einstein—Maxwell model, that geometry is

AdS2×Rds,AdS_2\times \mathbb R^{d_s},

with local criticality, z=z=\infty, and a finite extremal horizon area. The finite entropy density at T=0T=0 is both technically useful and physically suspicious. It says that the simplest charged horizon has an enormous degeneracy in the strict classical large-NN limit. That may be a good intermediate regime, but it is unlikely to be the final word on a stable ground state of quantum matter.

The natural next step is to let the bulk couplings run. In top-down reductions from string theory, the low-energy bulk often contains scalar fields whose values determine effective gauge couplings and potentials. Bottom-up holography packages this possibility into Einstein—Maxwell—Dilaton models. They are the simplest arena in which charged black branes can flow to a much broader family of IR scaling geometries:

finite-density UV theoryIR geometry with exponents z and θ.\text{finite-density UV theory} \quad\longrightarrow\quad \text{IR geometry with exponents } z \text{ and } \theta.

The exponent zz measures the relative scaling of time and space. The exponent θ\theta measures hyperscaling violation, meaning that thermodynamic quantities scale as though the number of spatial dimensions were not dsd_s, but

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

This page is about what those words actually mean, how they arise from gravity, and how not to over-interpret them.

Throughout, dsd_s denotes the number of boundary spatial dimensions. The boundary spacetime dimension is d=ds+1d=d_s+1, and the bulk dimension is ds+2d_s+2. We use a radial coordinate rr for the scaling region, with larger rr corresponding to deeper infrared scales. Conventions vary heavily in this subject; the invariant statements are the scaling laws, not the name of the radial coordinate.

At a scale-invariant quantum critical point with dynamical exponent zz, the basic scaling is

xλx,tλzt.\vec x\to \lambda \vec x, \qquad t\to \lambda^z t.

Thus

kλ1k,ωλzω,TλzT.k\to \lambda^{-1}k, \qquad \omega\to \lambda^{-z}\omega, \qquad T\to \lambda^{-z}T.

A thermal state cuts off critical correlations at the thermal length

ξTT1/z.\xi_T\sim T^{-1/z}.

If the critical degrees of freedom fill all dsd_s spatial dimensions in the ordinary way, then the entropy density scales like one thermodynamic degree of freedom per thermal correlation volume:

sξTdsTds/z.s\sim \xi_T^{-d_s}\sim T^{d_s/z}.

This is ordinary hyperscaling. For a relativistic CFT, z=1z=1, and we recover

sTds.s\sim T^{d_s}.

Hyperscaling violation changes this counting rule. The entropy behaves as though the critical low-energy degrees of freedom occupied only

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

spatial dimensions:

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

Equivalently, the free energy density scales as

FT(ds+zθ)/z.\boxed{ \mathcal F\sim T^{(d_s+z-\theta)/z}. }

These formulas are among the most useful outputs of the hyperscaling-violating geometry. They are also among the easiest formulas to misuse. The exponent θ\theta is not automatically proof of a Fermi surface, not automatically proof of hidden fractionalized matter, and not by itself a transport theory. It is a scaling diagnostic.

The simplest gravitational geometry with z1z\neq1 and no hyperscaling violation is the Lifshitz metric

ds2=L2(dt2r2z+dr2+dxds2r2).ds^2 = L^2\left( -\frac{dt^2}{r^{2z}} + \frac{dr^2+d\vec x_{d_s}^{\,2}}{r^2} \right).

It is invariant under

xλx,tλzt,rλr.\vec x\to \lambda\vec x, \qquad t\to\lambda^z t, \qquad r\to\lambda r.

When z=1z=1, this is just AdSds+2AdS_{d_s+2} in Poincare-like coordinates. When z1z\neq1, Lorentz symmetry is gone. Time and space scale differently.

The field-theory interpretation is direct. Low-energy excitations, if one may speak of them kinematically, obey the scaling relation

ωkz.\omega\sim k^z.

For z=2z=2, this is the familiar nonrelativistic scaling. For large zz, time scales far more strongly than space. In the formal zz\to\infty limit, one approaches the idea behind local criticality: temporal scaling survives while spatial scaling becomes increasingly weak. The Reissner—Nordström AdS2×RdsAdS_2\times\mathbb R^{d_s} throat from the previous page is the cleanest version of that idea, though it is not merely an ordinary finite-zz Lifshitz geometry with zz dialed to infinity.

There is a useful lesson here. A nonrelativistic scaling exponent is not a small deformation of a CFT. It requires new bulk matter. Pure Einstein gravity with a cosmological constant gives AdS, hence z=1z=1. To support z1z\neq1, the bulk stress tensor must know that time and space are being treated differently.

The standard hyperscaling-violating metric is

ds2=L2r2θ/ds(dt2r2z+dr2+dxds2r2).\boxed{ ds^2 = L^2 r^{2\theta/d_s} \left( -\frac{dt^2}{r^{2z}} +\frac{dr^2+d\vec x_{d_s}^{\,2}}{r^2} \right). }

Under the scaling transformation

xλx,tλzt,rλr,\vec x\to\lambda\vec x, \qquad t\to\lambda^z t, \qquad r\to\lambda r,

the metric transforms as

ds2λ2θ/dsds2.\boxed{ ds^2\to\lambda^{2\theta/d_s}ds^2. }

Thus the metric is not scale invariant when θ0\theta\neq0. It is only scale covariant. It rescales by an overall Weyl factor.

This is exactly what the name says. The theory has a scaling regime, but the metric does not transform as an honest fixed-point metric. The overall factor carries the hyperscaling violation. Holographically, this factor is usually produced by a scalar field that runs logarithmically in the radial direction.

Scaling exponents in Einstein-Maxwell-Dilaton geometries

Einstein—Maxwell—Dilaton models generate IR scaling geometries in which zz controls the relative scaling of time and space, while θ\theta controls the anomalous Weyl rescaling of the metric. A finite-temperature horizon at r=rhr=r_h gives TrhzT\sim r_h^{-z} and srhθdss\sim r_h^{\theta-d_s}, hence sT(dsθ)/zs\sim T^{(d_s-\theta)/z}.

A quick way to understand the entropy law is to inspect the area density of a constant-tt, constant-rr slice. From the spatial part of the metric,

gxx=L2r2θ/ds2,g_{xx}=L^2 r^{2\theta/d_s-2},

so a horizon at r=rhr=r_h has area density

AhVds(gxx(rh))ds/2rhθds.\frac{A_h}{V_{d_s}} \sim \left(g_{xx}(r_h)\right)^{d_s/2} \sim r_h^{\theta-d_s}.

Since the blackening factor gives

Trhz,T\sim r_h^{-z},

we find

s=Ah4GNVdsrhθdsT(dsθ)/z.s=\frac{A_h}{4G_N V_{d_s}} \sim r_h^{\theta-d_s} \sim T^{(d_s-\theta)/z}.

That derivation is so short that it is worth remembering. The exponent θ\theta is nothing mysterious in the bulk: it changes the radial dependence of the spatial volume element.

A finite-temperature version of the metric can be written schematically as

ds2=L2r2θ/ds[fT(r)dt2r2z+dr2r2fT(r)+dxds2r2],ds^2 = L^2 r^{2\theta/d_s} \left[ -\frac{f_T(r)dt^2}{r^{2z}} + \frac{dr^2}{r^2 f_T(r)} + \frac{d\vec x_{d_s}^{\,2}}{r^2} \right],

with

fT(r)=1(rrh)ds+zθf_T(r)=1-\left(\frac{r}{r_h}\right)^{d_s+z-\theta}

in the simplest scaling solutions. The horizon is at

r=rh.r=r_h.

The temperature is proportional to

Trhz,T\sim r_h^{-z},

up to a dimensionless coefficient depending on ds,z,θd_s,z,\theta and the normalization of time. The entropy density is

srhθds.s\sim r_h^{\theta-d_s}.

Putting these together gives again

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

Thermodynamic stability imposes a simple first test. If z>0z>0, then the specific heat should not diverge with the wrong sign as T0T\to0. A common requirement is

dsθz>0.\frac{d_s-\theta}{z}>0.

For z>0z>0, this says

θ<ds\theta<d_s

if the zero-temperature entropy is to vanish. The Reissner—Nordström AdS2AdS_2 throat evades this finite-zz discussion because it has z=z=\infty and a finite extremal horizon area.

The simplest bulk action that naturally produces these geometries is

SEMD=12κ2dds+2xg[R12(ϕ)2V(ϕ)Z(ϕ)4FabFab].\boxed{ S_{\rm EMD} = \frac{1}{2\kappa^2} \int d^{d_s+2}x\sqrt{-g} \left[ R -\frac12(\partial\phi)^2 -V(\phi) -\frac{Z(\phi)}4F_{ab}F^{ab} \right]. }

Here:

  • ϕ\phi is the dilaton, a real scalar field.
  • V(ϕ)V(\phi) is its potential.
  • Z(ϕ)Z(\phi) is a field-dependent Maxwell coupling.
  • AaA_a is the bulk gauge field dual to the boundary current JμJ^\mu.

The effective gauge coupling is

geff2(ϕ)=1Z(ϕ).g_{\rm eff}^2(\phi)=\frac{1}{Z(\phi)}.

The Maxwell equation is

a(Z(ϕ)Fab)=0.\nabla_a\left(Z(\phi)F^{ab}\right)=0.

For a homogeneous finite-density ansatz with only At(r)A_t(r) turned on, this becomes a radial Gauss law:

r(gZ(ϕ)Frt)=0.\boxed{ \partial_r\left(\sqrt{-g}\,Z(\phi)F^{rt}\right)=0. }

The conserved quantity

Q=gZ(ϕ)Frt\mathcal Q=\sqrt{-g}\,Z(\phi)F^{rt}

is the electric flux through a radial slice. Near the UV boundary it is proportional to the charge density ρ\rho of the field theory. In the interior, the same flux supports the charged scaling geometry.

The essential new ingredient relative to the RN-AdS brane is that Z(ϕ)Z(\phi) may run. The electric field can therefore be distributed differently along the radial direction, and the IR no longer has to be the rigid AdS2×RdsAdS_2\times\mathbb R^{d_s} throat of minimal Einstein—Maxwell theory.

Why exponential couplings give scaling solutions

Section titled “Why exponential couplings give scaling solutions”

In the IR of many EMD solutions, the dilaton runs logarithmically:

ϕ(r)=κlogr+ϕ0.\phi(r)=\kappa\log r+\phi_0.

If the potential and gauge coupling are exponential at large ϕ|\phi|,

V(ϕ)V0eδϕ,Z(ϕ)Z0eγϕ,V(\phi)\sim -V_0 e^{-\delta\phi}, \qquad Z(\phi)\sim Z_0 e^{\gamma\phi},

then the running dilaton turns these functions into powers of rr:

V(ϕ(r))V~0rδκ,Z(ϕ(r))Z~0rγκ.V(\phi(r))\sim -\tilde V_0 r^{-\delta\kappa}, \qquad Z(\phi(r))\sim \tilde Z_0 r^{\gamma\kappa}.

This is the basic mechanism. The metric, gauge field, scalar kinetic term, potential term, and Maxwell term can all scale as powers of rr. The equations of motion then reduce to algebraic relations among the powers. Solving those relations fixes zz, θ\theta, the running coefficient κ\kappa, and the normalization of the electric field in terms of the action parameters.

In bottom-up work one often reverses the logic: choose a desired pair (z,θ)(z,\theta), then infer what kind of exponential VV and ZZ would support it. In top-down work, the functions VV and ZZ are fixed by the compactification or truncation, and the possible IR exponents are outputs.

A useful first diagnostic is the bulk null energy condition. If the matter supporting the metric obeys

TabNaNb0T_{ab}N^aN^b\ge0

for every null vector NaN^a, then Einstein’s equations imply constraints on zz and θ\theta. For the metric convention used above, the two standard inequalities are

(dsθ)[ds(z1)θ]0,\boxed{ (d_s-\theta)\big[d_s(z-1)-\theta\big]\ge0, }

and

(z1)(ds+zθ)0.\boxed{ (z-1)(d_s+z-\theta)\ge0. }

These are not the full story of consistency, but they are very good at catching nonsense.

A commonly studied region has

z1,θds.z\ge1, \qquad \theta\le d_s.

Then the first inequality further requires

θds(z1).\theta\le d_s(z-1).

For Lifshitz with θ=0\theta=0, the null-energy condition reduces to

z1z\ge1

in this common branch. That is why holographic Lifshitz examples usually have z1z\ge1.

There are additional constraints one may impose for specific physical reasons. For example, if one wants the entanglement entropy not to violate the area law by more than a logarithm, one is naturally led to

θds1.\theta\le d_s-1.

That condition is not the same as the null-energy condition. It is an extra diagnostic tied to the structure of low-energy degrees of freedom.

The exponents organize many familiar geometries.

Geometry or regimeExponentsMain feature
Relativistic CFTz=1z=1, θ=0\theta=0AdSds+2AdS_{d_s+2}, sTdss\sim T^{d_s}
Lifshitz criticalityz1z\neq1, θ=0\theta=0nonrelativistic scale invariance, sTds/zs\sim T^{d_s/z}
Hyperscaling-violating IRz1z\neq1, θ0\theta\neq0effective dimension dsθd_s-\theta
Fermi-surface-like thermodynamicsθ=ds1\theta=d_s-1sT1/zs\sim T^{1/z} and logarithmic entanglement heuristic
RN-AdS throatz=z=\infty in spiritlocal criticality and finite extremal entropy
Conformal-to-AdS2AdS_2 or η\eta geometryzz\to\infty, θ\theta\to-\infty with η=θ/z\eta=-\theta/z fixedlocal-critical-like response with sTηs\sim T^\eta

The Fermi-surface entry deserves care. A free Fermi liquid in dsd_s spatial dimensions has a codimension-one manifold of gapless excitations. Thermodynamically this behaves as though only the direction normal to the Fermi surface scales, giving

sT.s\sim T.

If z=1z=1, the formula sT(dsθ)/zs\sim T^{(d_s-\theta)/z} reproduces this when

θ=ds1.\theta=d_s-1.

This is a useful mnemonic and a deep hint, especially because holographic entanglement entropy also shows a logarithmic area-law violation at θ=ds1\theta=d_s-1. But it is not a theorem that every holographic background with θ=ds1\theta=d_s-1 contains gauge-invariant Fermi surfaces. Holographic large-NN matter can imitate some Fermi-surface scalings without being a Landau Fermi liquid.

Thermodynamics is not the whole theory. At finite density, charge transport and charge response can involve another exponent, often denoted Φ\Phi, which measures anomalous scaling of charge density or of the bulk gauge field.

A simple scaling assignment is

[ρ]=dsθ+Φ.[\rho]=d_s-\theta+\Phi.

For ordinary conserved currents in an ordinary CFT, one does not expect an anomalous current dimension. But hyperscaling-violating finite-density phases are not ordinary CFTs, and the gauge field profile in EMD solutions can scale anomalously. This matters for conductivities.

For example, an incoherent conductivity in a scaling regime often has the form

σincT(ds2θ+2Φ)/z,\sigma_{\rm inc}\sim T^{(d_s-2-\theta+2\Phi)/z},

up to model-dependent assumptions. We will not use this formula heavily yet, because transport at finite density has an additional complication: if translations are exact, electric current overlaps with conserved momentum, and the DC conductivity is singular. That is the subject of the next transport pages.

For now the lesson is simple:

(z,θ) describe metric and thermodynamics,Φ may be needed for charge response.(z,\theta) \text{ describe metric and thermodynamics,} \qquad \Phi \text{ may be needed for charge response.}

A realistic holographic model is not just the scaling metric by itself. The full geometry should look schematically like

asymptotic AdSds+2 UVhyperscaling-violating IR.\text{asymptotic }AdS_{d_s+2}\text{ UV} \quad\longrightarrow\quad \text{hyperscaling-violating IR}.

The UV AdS region defines the microscopic CFT and the operator dictionary. The finite density deformation introduces a scale, often set by μ\mu. At energies below that scale, the radial geometry may approach an EMD scaling solution.

Thus the scaling metric is an intermediate or deep IR fixed regime, not usually the whole spacetime. This matters because many EMD scaling metrics are singular if extended all the way to the IR. Whether such singularities are acceptable depends on whether they can be resolved, hidden behind a finite-temperature horizon, or embedded into a controlled top-down construction. Bottom-up models are useful precisely because they isolate the scaling logic, but the price is that consistency must be checked rather than assumed.

A clean mental picture is:

Eμ:UV CFT,E\gg \mu: \quad \text{UV CFT}, TEμ:IR scaling regime with z,θ,T\ll E\ll \mu: \quad \text{IR scaling regime with }z,\theta, ET:finite-temperature horizon cutoff.E\lesssim T: \quad \text{finite-temperature horizon cutoff}.

The horizon cuts off the IR and turns scaling dimensions into temperature powers.

Worked derivation: entropy from the metric

Section titled “Worked derivation: entropy from the metric”

Let us derive the entropy scaling carefully once, because the same reasoning appears all over holographic quantum matter.

Start from

ds2=L2r2θ/ds[fT(r)dt2r2z+dr2r2fT(r)+dxds2r2].ds^2 = L^2 r^{2\theta/d_s} \left[ -\frac{f_T(r)dt^2}{r^{2z}} + \frac{dr^2}{r^2 f_T(r)} + \frac{d\vec x_{d_s}^{\,2}}{r^2} \right].

At the horizon r=rhr=r_h, the induced spatial metric is

dshor2=L2rh2θ/dsdxds2rh2.ds^2_{\rm hor} = L^2 r_h^{2\theta/d_s} \frac{d\vec x_{d_s}^{\,2}}{r_h^2}.

Therefore

detghor=Ldsrhθds.\sqrt{\det g_{\rm hor}} = L^{d_s} r_h^{\theta-d_s}.

The entropy density is

s=14GNdetghorrhθds.s = \frac{1}{4G_N}\sqrt{\det g_{\rm hor}} \sim r_h^{\theta-d_s}.

Now determine the temperature. Near r=rhr=r_h,

fT(r)fT(rh)(rrh),f_T(r)\simeq f_T'(r_h)(r-r_h),

and regularity of the Euclidean cigar fixes

Trhz.T\sim r_h^{-z}.

Thus

rhT1/z.r_h\sim T^{-1/z}.

Substituting into the entropy gives

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

Notice that this derivation did not depend on the detailed normalization of fT(r)f_T(r). It only used scaling.

EMD scaling geometries are powerful because they provide controlled, strongly coupled examples of compressible quantum matter with tunable IR scaling. They let us ask questions such as:

  • What thermodynamic power laws are possible in large-NN finite-density matter?
  • How does a charged horizon differ from a cohesive charged bulk star or condensate?
  • Which exponents are compatible with energy conditions and stable low-temperature entropy?
  • How do irrelevant translation-breaking operators control resistivity?
  • Can holographic matter imitate some Fermi-surface diagnostics without quasiparticles?

The answer to the last question is especially subtle. The exponent θ\theta can make thermodynamics look Fermi-surface-like, while the large-NN spectral function may still lack ordinary gauge-invariant quasiparticles. This is exactly the kind of place where holography is useful: it separates assumptions that are usually bundled together in weak-coupling intuition.

Pitfall 1: Treating zz and θ\theta as material fitting parameters with no model. A pair of exponents is not a theory. A theory also needs operator content, charge scaling, momentum relaxation, stability, and a UV completion or at least a controlled bottom-up embedding.

Pitfall 2: Confusing hyperscaling violation with ordinary explicit breaking of scale invariance. The geometry still has a scaling covariance. The metric rescales by an overall Weyl factor; the IR is not just a random non-scale-invariant background.

Pitfall 3: Saying θ=ds1\theta=d_s-1 proves a Fermi surface. It suggests Fermi-surface-like thermodynamics and entanglement scaling. It does not by itself identify gauge-invariant fermionic quasiparticles.

Pitfall 4: Forgetting the role of the UV. The scaling metric is usually an IR region. The UV AdS region fixes the field-theory dictionary and determines which perturbations are sources, vevs, or irrelevant deformations.

Pitfall 5: Ignoring momentum conservation when discussing conductivity. A finite-density scaling geometry does not automatically give a finite DC resistivity. Translation symmetry must be broken, or one must study the incoherent current.

Exercise 1: Scaling of the hyperscaling-violating metric

Section titled “Exercise 1: Scaling of the hyperscaling-violating metric”

Consider

ds2=L2r2θ/ds(dt2r2z+dr2+dx2r2).ds^2 = L^2 r^{2\theta/d_s} \left( -\frac{dt^2}{r^{2z}} + \frac{dr^2+d\vec x^{\,2}}{r^2} \right).

Show that under

xλx,tλzt,rλr,\vec x\to\lambda\vec x, \qquad t\to\lambda^z t, \qquad r\to\lambda r,

the metric transforms as

ds2λ2θ/dsds2.ds^2\to\lambda^{2\theta/d_s}ds^2.
Solution

The time term transforms as

dt2r2zλ2zdt2(λr)2z=dt2r2z.\frac{dt^2}{r^{2z}} \to \frac{\lambda^{2z}dt^2}{(\lambda r)^{2z}} = \frac{dt^2}{r^{2z}}.

The radial term transforms as

dr2r2λ2dr2(λr)2=dr2r2.\frac{dr^2}{r^2} \to \frac{\lambda^2dr^2}{(\lambda r)^2} = \frac{dr^2}{r^2}.

The spatial term similarly gives

dx2r2λ2dx2(λr)2=dx2r2.\frac{d\vec x^{\,2}}{r^2} \to \frac{\lambda^2d\vec x^{\,2}}{(\lambda r)^2} = \frac{d\vec x^{\,2}}{r^2}.

Only the overall factor changes:

r2θ/ds(λr)2θ/ds=λ2θ/dsr2θ/ds.r^{2\theta/d_s}\to(\lambda r)^{2\theta/d_s} =\lambda^{2\theta/d_s}r^{2\theta/d_s}.

Therefore

ds2λ2θ/dsds2.\boxed{ds^2\to\lambda^{2\theta/d_s}ds^2.}

Using the finite-temperature metric

ds2=L2r2θ/ds[fT(r)dt2r2z+dr2r2fT(r)+dx2r2],ds^2 = L^2 r^{2\theta/d_s} \left[ -\frac{f_T(r)dt^2}{r^{2z}} + \frac{dr^2}{r^2 f_T(r)} + \frac{d\vec x^{\,2}}{r^2} \right],

with horizon r=rhr=r_h and TrhzT\sim r_h^{-z}, derive

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

At the horizon, the induced spatial metric is

gijhor=L2rh2θ/ds2δij.g_{ij}^{\rm hor} = L^2 r_h^{2\theta/d_s-2}\delta_{ij}.

The area density is therefore

detgijhor=(L2rh2θ/ds2)ds/2=Ldsrhθds.\sqrt{\det g_{ij}^{\rm hor}} = \left(L^2 r_h^{2\theta/d_s-2}\right)^{d_s/2} = L^{d_s}r_h^{\theta-d_s}.

The entropy density is proportional to horizon area density:

srhθds.s\sim r_h^{\theta-d_s}.

Since

Trhz,T\sim r_h^{-z},

we have

rhT1/z.r_h\sim T^{-1/z}.

Thus

s(T1/z)θds=T(dsθ)/z.s\sim \left(T^{-1/z}\right)^{\theta-d_s} = T^{(d_s-\theta)/z}.

Exercise 3: Null-energy inequalities in ds=2d_s=2

Section titled “Exercise 3: Null-energy inequalities in ds=2d_s=2ds​=2”

For ds=2d_s=2, the null-energy inequalities are

(2θ)[2(z1)θ]0,(2-\theta)\big[2(z-1)-\theta\big]\ge0,

and

(z1)(2+zθ)0.(z-1)(2+z-\theta)\ge0.

Assume z1z\ge1 and θ<2\theta<2. What additional upper bound on θ\theta follows from the first inequality?

Solution

If θ<2\theta<2, then

2θ>0.2-\theta>0.

For the product

(2θ)[2(z1)θ](2-\theta)\big[2(z-1)-\theta\big]

to be nonnegative, we must have

2(z1)θ0.2(z-1)-\theta\ge0.

Therefore

θ2(z1).\boxed{\theta\le 2(z-1).}

The second inequality is automatically satisfied in much of this branch if z1z\ge1 and θ<2\theta<2, since then

2+zθ>z>0.2+z-\theta>z>0.

Exercise 4: Running dilaton and power-law couplings

Section titled “Exercise 4: Running dilaton and power-law couplings”

Suppose

ϕ(r)=κlogr+ϕ0,\phi(r)=\kappa\log r+\phi_0,

and

Z(ϕ)=Z0eγϕ.Z(\phi)=Z_0e^{\gamma\phi}.

Show that Z(ϕ(r))Z(\phi(r)) is a power of rr. What is the power?

Solution

Substitute the running scalar into the coupling:

Z(ϕ(r))=Z0eγ(κlogr+ϕ0).Z(\phi(r)) = Z_0e^{\gamma(\kappa\log r+\phi_0)}.

This becomes

Z(ϕ(r))=Z0eγϕ0eγκlogr.Z(\phi(r)) = Z_0e^{\gamma\phi_0}e^{\gamma\kappa\log r}.

Using

ealogr=ra,e^{a\log r}=r^a,

we obtain

Z(ϕ(r))=Z~0rγκ,Z~0=Z0eγϕ0.\boxed{ Z(\phi(r))=\tilde Z_0 r^{\gamma\kappa}, \qquad \tilde Z_0=Z_0e^{\gamma\phi_0}. }

The power is γκ\gamma\kappa.

A compressible system in dsd_s spatial dimensions has entropy density

sTs\sim T

at low temperature. If a hyperscaling-violating geometry has z=1z=1, what value of θ\theta reproduces this scaling?

Solution

The hyperscaling-violating entropy law is

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

For z=1z=1, this becomes

sTdsθ.s\sim T^{d_s-\theta}.

To reproduce sTs\sim T, we need

dsθ=1.d_s-\theta=1.

Therefore

θ=ds1.\boxed{\theta=d_s-1.}

This is why θ=ds1\theta=d_s-1 is often called Fermi-surface-like. It reproduces the entropy scaling of a codimension-one manifold of gapless modes. It does not, by itself, prove the presence of Landau quasiparticles.

Exercise 6: When does the zero-temperature entropy vanish?

Section titled “Exercise 6: When does the zero-temperature entropy vanish?”

Assume z>0z>0 and

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

Find the condition on θ\theta for the entropy density to vanish as T0T\to0.

Solution

As T0T\to0, the power law

TpT^p

vanishes if

p>0.p>0.

Here

p=dsθz.p=\frac{d_s-\theta}{z}.

Since z>0z>0, this is positive exactly when

dsθ>0.d_s-\theta>0.

Therefore

θ<ds.\boxed{\theta<d_s.}

If θ=ds\theta=d_s, the entropy approaches a constant. If θ>ds\theta>d_s, the entropy diverges as T0T\to0, signaling a thermodynamic pathology in the simplest interpretation.

For the role of EMD models in the scaling atlas of holographic compressible phases, see Hartnoll, Lucas, and Sachdev, Holographic Quantum Matter, especially the sections on charged horizons and critical compressible phases. For a condensed-matter-facing discussion of the Reissner—Nordström metal, EMD scaling geometries, Lifshitz scaling, hyperscaling violation, and conformal-to-AdS2AdS_2 metals, see Zaanen, Liu, Sun, and Schalm, Holographic Duality in Condensed Matter Physics, chapter 8. For textbook coverage of dilatonic systems and hyperscaling violation in gauge/gravity duality, see Ammon and Erdmenger, Gauge/Gravity Duality, section 15.5. For entanglement diagnostics of hyperscaling violation and the special role of θ=ds1\theta=d_s-1, see Rangamani and Takayanagi, Holographic Entanglement Entropy, chapter 9.