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 theory⟶IR 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

ξT∼T−1/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∼ξT−ds∼Tds/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

s∼Tds.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:

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

Equivalently, the free energy density scales as

F∼T(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 z≠1z\neq1 and no hyperscaling violation is the Lifshitz metric

ds2=L2(−dt2r2z+dr2+dx⃗ds 2r2).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 z≠1z\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 z→∞z\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 z≠1z\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+dx⃗ds 2r2).\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 T∼rh−zT\sim r_h^{-z} and s∼rhθ−dss\sim r_h^{\theta-d_s}, hence s∼T(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θ/ds−2,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/2∼rhθ−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

T∼rh−z,T\sim r_h^{-z},

we find

s=Ah4GNVds∼rhθ−ds∼T(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)+dx⃗ds 2r2],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

T∼rh−z,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

s∼rhθ−ds.s\sim r_h^{\theta-d_s}.

Putting these together gives again

s∼T(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 T→0T\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κ2∫dds+2x−g[R−12(∂ϕ)2−V(ϕ)−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(−g Z(ϕ)Frt)=0.\boxed{ \partial_r\left(\sqrt{-g}\,Z(\phi)F^{rt}\right)=0. }

The conserved quantity

Q=−g Z(ϕ)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)=κlog⁡r+ϕ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

TabNaNb≥0T_{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(z−1)−θ]≥0,\boxed{ (d_s-\theta)\big[d_s(z-1)-\theta\big]\ge0, }

and

(z−1)(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

z≥1,θ≤ds.z\ge1, \qquad \theta\le d_s.

Then the first inequality further requires

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

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

z≥1z\ge1

in this common branch. That is why holographic Lifshitz examples usually have z≥1z\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

θ≤ds−1.\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}, s∼Tdss\sim T^{d_s}
Lifshitz criticalityz≠1z\neq1, θ=0\theta=0nonrelativistic scale invariance, s∼Tds/zs\sim T^{d_s/z}
Hyperscaling-violating IRz≠1z\neq1, θ≠0\theta\neq0effective dimension ds−θd_s-\theta
Fermi-surface-like thermodynamicsθ=ds−1\theta=d_s-1s∼T1/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 geometryz→∞z\to\infty, θ→−∞\theta\to-\infty with η=−θ/z\eta=-\theta/z fixedlocal-critical-like response with s∼Tη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

s∼T.s\sim T.

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

θ=ds−1.\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 θ=ds−1\theta=d_s-1. But it is not a theorem that every holographic background with θ=ds−1\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

σinc∼T(ds−2−θ+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 UV⟶hyperscaling-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}, T≪E≪μ:IR scaling regime with z,θ,T\ll E\ll \mu: \quad \text{IR scaling regime with }z,\theta, E≲T: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)+dx⃗ds 2r2].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θ/dsdx⃗ds 2rh2.ds^2_{\rm hor} = L^2 r_h^{2\theta/d_s} \frac{d\vec x_{d_s}^{\,2}}{r_h^2}.

Therefore

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

The entropy density is

s=14GNdet⁡ghor∼rhθ−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)(r−rh),f_T(r)\simeq f_T'(r_h)(r-r_h),

and regularity of the Euclidean cigar fixes

T∼rh−z.T\sim r_h^{-z}.

Thus

rh∼T−1/z.r_h\sim T^{-1/z}.

Substituting into the entropy gives

s∼T(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 θ=ds−1\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+dx⃗ 2r2).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

dx⃗ 2r2→λ2dx⃗ 2(λr)2=dx⃗ 2r2.\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)+dx⃗ 2r2],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 T∼rh−zT\sim r_h^{-z}, derive

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

At the horizon, the induced spatial metric is

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

The area density is therefore

det⁡gijhor=(L2rh2θ/ds−2)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:

s∼rhθ−ds.s\sim r_h^{\theta-d_s}.

Since

T∼rh−z,T\sim r_h^{-z},

we have

rh∼T−1/z.r_h\sim T^{-1/z}.

Thus

s∼(T−1/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(z−1)−θ]≥0,(2-\theta)\big[2(z-1)-\theta\big]\ge0,

and

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

Assume z≥1z\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(z−1)−θ](2-\theta)\big[2(z-1)-\theta\big]

to be nonnegative, we must have

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

Therefore

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

The second inequality is automatically satisfied in much of this branch if z≥1z\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)=κlog⁡r+ϕ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γ(κlog⁡r+ϕ0).Z(\phi(r)) = Z_0e^{\gamma(\kappa\log r+\phi_0)}.

This becomes

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

Using

ealog⁡r=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

s∼Ts\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

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

For z=1z=1, this becomes

s∼Tds−θ.s\sim T^{d_s-\theta}.

To reproduce s∼Ts\sim T, we need

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

Therefore

θ=ds−1.\boxed{\theta=d_s-1.}

This is why θ=ds−1\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

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

Find the condition on θ\theta for the entropy density to vanish as T→0T\to0.

Solution

As T→0T\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 T→0T\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 θ=ds−1\theta=d_s-1, see Rangamani and Takayanagi, Holographic Entanglement Entropy, chapter 9.