Skip to content

Luttinger Liquid Preview

A Luttinger liquid is the universal low-energy phase of a broad class of gapless, compressible, one-dimensional quantum fluids. Its elementary long-wavelength excitations are collective waves of density and phase. A microscopic fermion or boson inserted into the system creates a correlated superposition of those waves rather than one asymptotically isolated particle-like excitation.

For one gapless mode, the fixed-point Hamiltonian requires only two parameters:

HLL=ℏv2π∫dx [K(∂xθ)2+1K(∂xϕ)2].H_{\mathrm{LL}} = \frac{\hbar v}{2\pi} \int dx\, \left[ K(\partial_x\theta)^2 + \frac1K(\partial_x\phi)^2 \right].

The velocity vv sets the light-cone slope of the collective mode. The dimensionless Luttinger parameter KK sets the relative cost of phase and density distortions and controls an entire family of correlation exponents.

This compact theory is powerful precisely because it forgets most microscopic details. Weakly interacting fermions, strongly interacting bosons, spin chains, and lattice particles can flow to the same operator structure while retaining different values of vv and KK.

The price of that universality is a strict domain:

  • one spatial dimension;
  • at least one gapless sector;
  • interactions short-ranged enough for constant infrared parameters;
  • energies and momenta below microscopic crossover scales.

Outside that domain, a gap, additional modes, disorder, long-range forces, curvature, boundaries, or dimensional crossover can change the answer.

This page owns the generic many-body framework:

  • why the Landau quasiparticle picture fails in a generic interacting one-dimensional fluid;
  • linearization about two Fermi points;
  • the harmonic-fluid Hamiltonian and its convention ledger;
  • the bosonization dictionary for spinless fermions and one-dimensional bosons;
  • the meaning and extraction of vv and KK;
  • universal equal-time, finite-temperature, and finite-size relations;
  • the momentum-distribution cusp, vanishing quasiparticle residue, and spectral thresholds;
  • spin–charge separation in a gapless spinful fluid;
  • scaling dimensions of the leading perturbations;
  • diagnostics, limitations, and common mistakes.

Neighboring pages remain canonical for specialized material:

  • Quantum Wires owns transverse confinement, subband thresholds, noninteracting one-dimensional state counting, device geometries, and the contact-aware route into this many-body limit.
  • Low-Dimensional Quantum Gases owns dimensional state counting, confinement, infrared fluctuations, and dimensional crossover.
  • Spinless Fermion Chains owns the tt–VV Hamiltonian, its phase diagram, and exact model-specific values of KK and vv.
  • XXZ Chain dossier owns the compact baseline, exact KK and vv fingerprints, endpoints, and finite-ring validation; XXZ Spin Chain owns the full spin-chain derivations.
  • Renormalization Group Preview owns generic flow, fixed-line, and relevance language.
  • Spectral Functions owns normalization, linewidth, sum-rule, and experimental-convolution conventions.
  • Entanglement Entropy owns the general conformal-entropy formulas and numerical fitting workflow.
  • Fermi Liquid Theory Preview owns the Landau theory used here as a contrast.

Bosonization is also a bridge to quantum field theory. This page develops the operator dictionary needed for many-body use. Full compact-boson conformal field theory, operator-product expansions, refermionization, anomalies, and path-integral treatments belong to the field-theory continuation at QFT.org.

For spinless fermions in one dimension, the zero-temperature Fermi sea occupies an interval,

−kF<k<kF.-k_{\mathrm F} < k < k_{\mathrm F}.

Its low-energy boundary consists of only two Fermi points:

k≃+kFork≃−kF.k \simeq +k_{\mathrm F} \qquad \text{or} \qquad k \simeq -k_{\mathrm F}.

A small momentum transfer can therefore connect many low-energy states near one branch, while momentum near 2kF2k_{\mathrm F} connects the two branches. The same restricted kinematics repeatedly exposes an excitation to forward and backscattering processes.

In three dimensions, two particles near a Fermi surface can often scatter into many angular directions. In one dimension, the ordering of particles along the line and the two-branch kinematics leave far fewer alternatives. Density fluctuations generated by one particle cannot simply spread around it in transverse directions.

This does not mean that every one-dimensional interaction is strong. It means that even a weak interaction can reorganize the asymptotic low-energy expansion.

Orthogonality replaces a persistent particle

Section titled “Orthogonality replaces a persistent particle”

Adding one fermion changes the scattering phase experienced by arbitrarily many low-energy particle–hole pairs. In the thermodynamic limit, the overlap between the original ground state and the locally disturbed many-body state can vanish as a power of system size:

∣⟨Ψ0∣Ψ~0⟩∣∝L−β,β>0.\left| \langle\Psi_0 \mid \widetilde\Psi_0\rangle \right| \propto L^{-\beta}, \qquad \beta>0.

This orthogonality mechanism is a useful physical reason that a microscopic creation operator need not produce a finite-residue quasiparticle pole.

Long-wavelength density fluctuations can be described by their displacement and phase fields. Once written in those variables, the interacting low-energy theory is quadratic even though microscopic particle operators have nontrivial power-law correlations.

The resulting organization is:

microscopic particles⇓right- and left-moving branches⇓collective density and phase fields⇓universal Gaussian fixed pointplus symmetry-allowed perturbations.\begin{gathered} \text{microscopic particles} \\ \Downarrow \\ \text{right- and left-moving branches} \\ \Downarrow \\ \text{collective density and phase fields} \\ \Downarrow \\ \text{universal Gaussian fixed point} \\ \text{plus symmetry-allowed perturbations}. \end{gathered}

Bosonization formulas are convention-sensitive. Every exponent below is tied to the normalization stated here.

Use two compact, real fields ϕ(x)\phi(x) and θ(x)\theta(x) with

[ϕ(x),∂yθ(y)]=iπδ(x−y).\left[ \phi(x), \partial_y\theta(y) \right] = i\pi\delta(x-y).

The smooth density fluctuation and current are

δρ(x)=−1π∂xϕ(x),\delta\rho(x) = -\frac1\pi \partial_x\phi(x), j(x)=vKπ∂xθ(x).j(x) = \frac{vK}{\pi} \partial_x\theta(x).

The sign of θ\theta is not universal across the literature. With the convention above, the annihilation part of a particle field contains e+iθe^{+i\theta}.

The universal one-mode Hamiltonian is

HLL=ℏv2π∫dx [K(∂xθ)2+1K(∂xϕ)2].H_{\mathrm{LL}} = \frac{\hbar v}{2\pi} \int dx\, \left[ K(\partial_x\theta)^2 + \frac1K(\partial_x\phi)^2 \right].

Stability requires

v>0,K>0.v>0, \qquad K>0.

The cutoff aa used below is a short-distance regulator of order a lattice spacing, interaction range, healing length, or inverse bandwidth scale. It is not universal.

The symbol qq denotes wave number and ω\omega denotes angular frequency:

p=ℏq,E=ℏω.p = \hbar q, \qquad E = \hbar\omega.

The linear theory applies when

∣q∣a≪1,ℏ∣ω∣≪EUV,|q|a \ll 1, \qquad \hbar|\omega| \ll E_{\mathrm{UV}},

where EUVE_{\mathrm{UV}} is a microscopic crossover energy.

The existence of the Gaussian fixed-point form, scaling dimensions, exponent relations, and ratios that eliminate nonuniversal amplitudes are universal low-energy statements.

The values of

v,K,a,Amv, \qquad K, \qquad a, \qquad A_m

are not all universal. In particular, the amplitudes AmA_m multiplying oscillatory density harmonics depend on microscopic physics.

Resolve a slowly varying field into right- and left-moving pieces:

ψ(x)≃eikFxψR(x)+e−ikFxψL(x).\psi(x) \simeq e^{ik_{\mathrm F}x}\psi_R(x) + e^{-ik_{\mathrm F}x}\psi_L(x).

For a smooth microscopic dispersion,

ϵ(k)−μ≃{+ℏvF(k−kF),k≃+kF,−ℏvF(k+kF),k≃−kF.\epsilon(k) -\mu \simeq \begin{cases} +\hbar v_{\mathrm F}(k-k_{\mathrm F}), & k\simeq+k_{\mathrm F}, \\[4pt] -\hbar v_{\mathrm F}(k+k_{\mathrm F}), & k\simeq-k_{\mathrm F}. \end{cases}

The free low-energy Hamiltonian is

H0=−iℏvF∫dx (ψR†∂xψR−ψL†∂xψL).H_0 = -i\hbar v_{\mathrm F} \int dx\, \left( \psi_R^\dagger\partial_x\psi_R - \psi_L^\dagger\partial_x\psi_L \right).

Linearization introduces a branch cutoff Λ\Lambda:

∣k−rkF∣<Λ,r=±1.|k-rk_{\mathrm F}| < \Lambda, \qquad r=\pm1.

Results at distances x≫Λ−1x\gg\Lambda^{-1} cannot depend on the detailed shape of that cutoff, although nonuniversal amplitudes do.

In a minimal spinless forward-scattering model, g4g_4 couples density fluctuations on the same branch and g2g_2 couples opposite branches. A common convention gives

vN=vF+g4+g22πℏ,v_N = v_{\mathrm F} + \frac{g_4+g_2}{2\pi\hbar}, vJ=vF+g4−g22πℏ.v_J = v_{\mathrm F} + \frac{g_4-g_2}{2\pi\hbar}.

The collective parameters are then

v=vNvJ,v = \sqrt{v_Nv_J}, K=vJvN.K = \sqrt{ \frac{v_J}{v_N} }.

For repulsive forward scattering with g2>0g_2>0, this convention normally gives

K<1.K<1.

For attractive forward scattering, it normally gives

K>1.K>1.

These formulas are a weak-coupling matching relation, not the definition of a Luttinger liquid. Exchange conventions and the precise definition of g2g_2 and g4g_4 vary. Backscattering and Umklapp processes must be analyzed separately because they can renormalize the parameters or open a gap.

From two linearized Fermi points to collective bosonic fields and separated spin and charge packets

The low-energy change of variables. Near ±kF\pm k_{\mathrm F}, a microscopic fermion field becomes two slowly varying branches. Their density fluctuations are represented by compact fields ϕ\phi and θ\theta supporting a linearly dispersing collective mode. In a spinful liquid, one electron injection generally launches charge and spin responses with different velocities vcv_c and vsv_s.

The commutator and Hamiltonian give

∂tϕ=vK ∂xθ,\partial_t\phi = vK\,\partial_x\theta, ∂tθ=vK∂xϕ.\partial_t\theta = \frac vK \partial_x\phi.

Applying another time derivative yields

(∂t2−v2∂x2)ϕ=0,\left( \partial_t^2 - v^2\partial_x^2 \right) \phi = 0, (∂t2−v2∂x2)θ=0.\left( \partial_t^2 - v^2\partial_x^2 \right) \theta = 0.

Every oscillator therefore has the linear dispersion

ω(q)=v∣q∣.\omega(q) = v|q|.

Using

δρ=−1π∂xϕ,\delta\rho = -\frac1\pi\partial_x\phi,

one finds

∂tδρ=−vKπ∂x2θ.\partial_t\delta\rho = -\frac{vK}{\pi} \partial_x^2\theta.

With

j=vKπ∂xθ,j = \frac{vK}{\pi} \partial_x\theta,

this becomes

∂tδρ+∂xj=0.\partial_t\delta\rho + \partial_xj = 0.

The density mode is therefore not an analogy imposed from outside. It is the collective carrier of the conserved particle number.

It is often useful to write

vN=vK,vJ=vK.v_N = \frac vK, \qquad v_J = vK.

Then

HLL=ℏ2π∫dx [vJ(∂xθ)2+vN(∂xϕ)2].H_{\mathrm{LL}} = \frac{\hbar}{2\pi} \int dx\, \left[ v_J(\partial_x\theta)^2 + v_N(\partial_x\phi)^2 \right].

The inverse relations are

v=vNvJ,K=vJvN.v = \sqrt{v_Nv_J}, \qquad K = \sqrt{ \frac{v_J}{v_N} }.

The quantity vNv_N measures the energy cost of changing the density, while vJv_J measures the energy cost of a phase twist or persistent current. Their geometric mean fixes propagation; their ratio fixes the interaction-dependent scaling.

Thermodynamic and Response Meaning of the Parameters

Section titled “Thermodynamic and Response Meaning of the Parameters”

For a uniform density change δn\delta n, the field has

∂xϕ=−πδn.\partial_x\phi = -\pi\delta n.

The corresponding energy density is

ΔEL=πℏv2K(δn)2.\frac{\Delta E}{L} = \frac{\pi\hbar v}{2K} (\delta n)^2.

Comparing with

ΔEL=12∂μ∂n(δn)2\frac{\Delta E}{L} = \frac12 \frac{\partial\mu}{\partial n} (\delta n)^2

gives

∂n∂μ=Kπℏv.\frac{\partial n}{\partial\mu} = \frac{K}{\pi\hbar v}.

The conventional isothermal compressibility per equilibrium density nn is

κ=1n2∂n∂μ=Kπℏvn2.\kappa = \frac1{n^2} \frac{\partial n}{\partial\mu} = \frac{K}{\pi\hbar v n^2}.

These formulas apply to the single density mode in the normalization used here. Spin degeneracy or a different charge-field normalization changes prefactors.

A uniform phase twist has

∂xθ=ΦL.\partial_x\theta = \frac{\Phi}{L}.

Its energy cost is

ΔE=ℏvK2πLΦ2.\Delta E = \frac{\hbar vK}{2\pi L} \Phi^2.

Thus a twist or Drude-weight measurement probes the product

vK=vJ,vK = v_J,

whereas compressibility probes

Kv=1vN.\frac K v = \frac1{v_N}.

Measuring both determines vv and KK without fitting a correlation exponent.

For one spinless density mode in a Galilean-invariant continuum,

vK=πℏnm.vK = \frac{\pi\hbar n}{m}.

This relation follows because a uniform phase gradient is a center-of-mass boost and the total current is tied to conserved momentum. A lattice breaks continuous Galilean invariance, so the same formula need not hold there.

For an external scalar potential coupled as

δH=∫dx U(x,t)ρ(x,t),\delta H = \int dx\, U(x,t)\rho(x,t),

the retarded smooth-density susceptibility is

χρρR(q,ω)=Kvq2πℏ[(ω+i0+)2−v2q2].\chi_{\rho\rho}^{R}(q,\omega) = \frac{Kvq^2} {\pi\hbar \left[ (\omega+i0^+)^2-v^2q^2 \right] }.

The poles lie at

ω=±v∣q∣.\omega = \pm v|q|.

The static limit is

χρρR(q,0)=−Kπℏv.\chi_{\rho\rho}^{R}(q,0) = -\frac K{\pi\hbar v}.

The minus sign appears because a positive external potential raises the local particle energy and reduces the density. Response to a chemical-potential perturbation has the opposite sign.

Bosonization is an operator correspondence between the low-energy sectors of one-dimensional particle theories and a compact bosonic field theory. It does not claim that microscopic fermions have changed their exchange statistics.

For spinless fermions,

ψr(x)=ηr2πaeirkFx×e−i[rϕ(x)−θ(x)],r=±1.\begin{aligned} \psi_r(x) ={}& \frac{\eta_r}{\sqrt{2\pi a}} e^{irk_{\mathrm F}x} \\ &\times e^{-i[r\phi(x)-\theta(x)]}, \\ r ={}& \pm1. \end{aligned}

Here:

  • r=+1r=+1 labels the right branch and r=−1r=-1 the left branch;
  • aa is a short-distance cutoff;
  • ηr\eta_r are Hermitian Klein factors;
  • the vertex operator is defined with a regulator and an ordering prescription.

The Klein factors enforce anticommutation between distinct branches:

{ηr,ηr′}=2δrr′.\{\eta_r,\eta_{r'}\} = 2\delta_{rr'}.

They are easy to omit in a single local correlator and essential when relative branch or species signs matter.

The full long-distance density expansion is

ρ(x)=ρ0−1π∂xϕ(x)+∑m=1∞Amcos⁡(2m[πρ0x−ϕ(x)]).\begin{aligned} \rho(x) ={}& \rho_0 - \frac1\pi\partial_x\phi(x) \\ &+ \sum_{m=1}^{\infty} A_m \cos \left( 2m[\pi\rho_0x-\phi(x)] \right). \end{aligned}

For spinless fermions,

kF=πρ0,k_{\mathrm F} = \pi\rho_0,

so the first oscillatory harmonic has wave number

2kF.2k_{\mathrm F}.

The smooth term is fixed by number conservation. The amplitudes AmA_m are nonuniversal.

For a one-dimensional bosonic fluid, the annihilation field has the asymptotic representation

ΨB(x)∼[ρ0−1π∂xϕ(x)]1/2×e+iθ(x)×∑m=−∞∞Bme2im[πρ0x−ϕ(x)].\begin{aligned} \Psi_B(x) \sim{}& \left[ \rho_0 - \frac1\pi\partial_x\phi(x) \right]^{1/2} \\ &\times e^{+i\theta(x)} \\ &\times \sum_{m=-\infty}^{\infty} B_m e^{2im[\pi\rho_0x-\phi(x)]}. \end{aligned}

The creation field is the Hermitian conjugate and contains e−iθe^{-i\theta}. The coefficients BmB_m depend on the cutoff and microscopic model.

Fermionic and bosonic fields differ in their allowed vertex combinations, exchange phases, and harmonic content. The quadratic Hamiltonian can nevertheless be the same.

The density harmonics are unchanged under

ϕ⟶ϕ+π.\phi \longrightarrow \phi+\pi.

Particle-number quantization and boundary conditions also constrain windings of ϕ\phi and θ\theta. Treating the fields as unconstrained real variables can reproduce local oscillator correlators while losing zero-mode sectors, parity rules, and the allowed operator lattice.

Consider

Om,n(x)=ei[mϕ(x)+nθ(x)].\mathcal O_{m,n}(x) = e^{i[m\phi(x)+n\theta(x)]}.

In the present normalization, its bulk scaling dimension is

Δm,n=14(m2K+n2K).\Delta_{m,n} = \frac14 \left( m^2K + \frac{n^2}{K} \right).

At equal time,

⟨Om,n(x)Om,n†(0)⟩∝1∣x∣2Δm,n.\left\langle \mathcal O_{m,n}(x) \mathcal O_{m,n}^{\dagger}(0) \right\rangle \propto \frac1{|x|^{2\Delta_{m,n}}}.

Important cases are

Δ[e2iϕ]=K,\Delta[e^{2i\phi}] = K, Δ[e2iθ]=1K.\Delta[e^{2i\theta}] = \frac1K.

The reciprocal appearance of KK expresses density–phase duality: making density fluctuations costly makes phase fluctuations softer, and conversely.

The displayed dimensions assume the single-mode Hamiltonian above. Rescaling the fields changes the numerical labels mm, nn, and KK together while leaving physical exponents invariant.

At zero temperature and distances ∣x∣≫a|x|\gg a,

⟨δρ(x)δρ(0)⟩∼−K2π2x2+C1cos⁡(2kFx)∣x∣2K+⋯ .\begin{aligned} \left\langle \delta\rho(x) \delta\rho(0) \right\rangle \sim{}& -\frac{K}{2\pi^2x^2} \\ &+ C_1 \frac{\cos(2k_{\mathrm F}x)} {|x|^{2K}} + \cdots. \end{aligned}

The first term is the universal smooth-density contribution. The coefficient C1C_1 is nonuniversal, but its exponent is fixed by KK.

Higher harmonics behave as

cos⁡(2mkFx)∣x∣2m2K,m=2,3,….\frac{\cos(2mk_{\mathrm F}x)} {|x|^{2m^2K}}, \qquad m=2,3,\ldots.

The equal-time fermion correlator has

⟨ψ†(x)ψ(0)⟩∼CReikFx+CLe−ikFx∣x∣(K+K−1)/2.\left\langle \psi^\dagger(x)\psi(0) \right\rangle \sim \frac{ C_R e^{ik_{\mathrm F}x} + C_L e^{-ik_{\mathrm F}x} } {|x|^{(K+K^{-1})/2}}.

For a parity-symmetric state, the leading oscillation can be written as a cosine:

⟨ψ†(x)ψ(0)⟩∝cos⁡(kFx)∣x∣(K+K−1)/2.\left\langle \psi^\dagger(x)\psi(0) \right\rangle \propto \frac{\cos(k_{\mathrm F}x)} {|x|^{(K+K^{-1})/2}}.

The arithmetic–geometric mean inequality gives

12(K+1K)≥1,\frac12 \left( K+\frac1K \right) \ge 1,

with equality only at

K=1.K=1.

Interactions therefore make the single-particle correlator decay faster than the free spinless-fermion result.

The leading 2kF2k_{\mathrm F} density-wave correlation decays as

CCDW(x)∝∣x∣−2K.C_{\mathrm{CDW}}(x) \propto |x|^{-2K}.

A spinless pairing operator has

Cpair(x)∝∣x∣−2/K.C_{\mathrm{pair}}(x) \propto |x|^{-2/K}.

Consequently:

  • For K<1K<1, density-wave correlations decay more slowly.
  • For K>1K>1, pair correlations decay more slowly.

These are dominant correlations, not automatically broken-symmetry order. In an ordinary short-ranged one-dimensional system, both vanish at asymptotically large separation within the gapless phase.

Correlations in a One-Dimensional Bose Liquid

Section titled “Correlations in a One-Dimensional Bose Liquid”

The leading one-body correlation is

⟨ΨB†(x)ΨB(0)⟩∝∣x∣−1/(2K).\left\langle \Psi_B^\dagger(x) \Psi_B(0) \right\rangle \propto |x|^{-1/(2K)}.

The leading oscillatory density term is

⟨δρ(x)δρ(0)⟩2πρ0∝cos⁡(2πρ0x)∣x∣2K.\left\langle \delta\rho(x) \delta\rho(0) \right\rangle_{2\pi\rho_0} \propto \frac{ \cos(2\pi\rho_0x) } {|x|^{2K}}.

For the repulsive Lieb–Liniger gas, common conventions give

K≥1.K \ge 1.

The strongly repulsive Tonks–Girardeau limit approaches

K⟶1,K \longrightarrow 1,

while weak repulsion gives larger KK. This does not make the weakly interacting gas a true condensate in the infinite one-dimensional thermodynamic limit; the one-body correlation remains algebraic at zero temperature.

Momentum Distribution and Vanishing Residue

Section titled “Momentum Distribution and Vanishing Residue”

Define

α=12(K+1K−2)≥0.\alpha = \frac12 \left( K+\frac1K-2 \right) \ge 0.

Near a Fermi point, the nonanalytic part of the momentum distribution behaves schematically as

n(k)−n(kF)∝−sgn⁡(k−kF)∣k−kF∣α.n(k)-n(k_{\mathrm F}) \propto -\operatorname{sgn}(k-k_{\mathrm F}) |k-k_{\mathrm F}|^{\alpha}.

For

K≠1,K\ne1,

one has

α>0,\alpha>0,

so there is no finite jump:

Z=n(kF−)−n(kF+)=0.Z = n(k_{\mathrm F}^{-}) - n(k_{\mathrm F}^{+}) = 0.

This is the sharpest contrast with a Landau Fermi liquid, where the jump equals the quasiparticle residue in the idealized zero-temperature translationally invariant setting.

For α>1\alpha>1, analytic background terms can dominate the first derivative of n(k)n(k); the power law still identifies a subleading nonanalyticity. At special integer exponents, logarithmic factors can appear. A numerical fit should therefore include regular background terms rather than forcing the entire curve into one cusp.

At the exactly free point,

K=1,α=0,K=1, \qquad \alpha=0,

and the step is restored. The limit is singular: an arbitrarily small fixed interaction produces Z=0Z=0 after the thermodynamic and low-energy limits are taken.

Real-Time Green Function and Spectral Thresholds

Section titled “Real-Time Green Function and Spectral Thresholds”

For a right mover at zero temperature, a regulated time-ordered or greater-function expression has the asymptotic structure

GR(x,t)∝eikFx[aa+i(vt−x)]γ+×[aa+i(vt+x)]γ−.\begin{aligned} G_R(x,t) \propto{}& e^{ik_{\mathrm F}x} \left[ \frac{a} {a+i(vt-x)} \right]^{\gamma_+} \\ &\times \left[ \frac{a} {a+i(vt+x)} \right]^{\gamma_-}. \end{aligned}

where

γ±=14(K+1K±2).\gamma_{\pm} = \frac14 \left( K+\frac1K\pm2 \right).

The exponents satisfy

γ++γ−=12(K+1K).\gamma_+ + \gamma_- = \frac12 \left( K+\frac1K \right).

At the free point,

γ+=1,γ−=0,\gamma_+ = 1, \qquad \gamma_- = 0,

so only the right-moving light-cone factor remains.

For K≠1K\ne1, both factors carry noninteger powers in general. Writing q=k−kFq=k-k_{\mathrm F}, Fourier transformation produces threshold singularities and continuum weight rather than a finite-residue Landau pole of the form

GR(q,ω)≁Zω−vFq+i0+.G^R(q,\omega) \not\sim \frac{Z} {\omega-v_{\mathrm F}q+i0^+}.

The local tunneling density of states of a spinless bulk liquid obeys

νbulk(ω)∝∣ω∣α.\nu_{\mathrm{bulk}}(\omega) \propto |\omega|^{\alpha}.

At an open end,

νend(ω)∝∣ω∣αend,\nu_{\mathrm{end}}(\omega) \propto |\omega|^{\alpha_{\mathrm{end}}},

with

αend=1K−1\alpha_{\mathrm{end}} = \frac1K-1

for the simplest spinless boundary fixed point.

Bulk and boundary exponents differ because a boundary relates right and left movers. Contacts, finite temperature, finite length, and an actual tunneling circuit can further modify the measured conductance.

The exactly linear model concentrates the smooth density response on

ω=v∣q∣.\omega = v|q|.

Band curvature and irrelevant interactions broaden or reshape finite-energy thresholds. The resulting nonlinear-Luttinger-liquid problem is beyond the fixed-point preview; fitting an exact delta line at nonzero experimental resolution is not a test of the asymptotic theory.

For spin-1/21/2 fermions, define

ϕc=ϕ↑+ϕ↓2,ϕs=ϕ↑−ϕ↓2,\phi_c = \frac{ \phi_\uparrow+\phi_\downarrow }{\sqrt2}, \qquad \phi_s = \frac{ \phi_\uparrow-\phi_\downarrow }{\sqrt2},

and similarly

θc=θ↑+θ↓2,θs=θ↑−θ↓2.\theta_c = \frac{ \theta_\uparrow+\theta_\downarrow }{\sqrt2}, \qquad \theta_s = \frac{ \theta_\uparrow-\theta_\downarrow }{\sqrt2}.

When symmetry allows the sectors to decouple, the fixed-point Hamiltonian is

H=∑ν=c,sHν,H = \sum_{\nu=c,s} H_\nu, Hν=ℏvν2π∫dx Kν(x),H_\nu = \frac{\hbar v_\nu}{2\pi} \int dx\, \mathcal K_\nu(x),

where

Kν=Kν(∂xθν)2+1Kν(∂xϕν)2.\mathcal K_\nu = K_\nu(\partial_x\theta_\nu)^2 + \frac1{K_\nu} (\partial_x\phi_\nu)^2.

The charge and spin waves generally have different velocities:

vc≠vs.v_c \ne v_s.

An electron carries both charge and spin. Its creation operator contains vertex operators from both sectors. A localized injection therefore launches a superposition of charge and spin excitations.

After time tt, characteristic packet centers can be separated by

Δx(t)≃∣vc−vs∣t.\Delta x(t) \simeq |v_c-v_s|t.

This is spin–charge separation. It does not mean that the electron breaks into two microscopic fragments that can be assigned independent permanent identities. It means that charge and spin correlations propagate through distinct collective sectors.

For a gapless spin sector with exact spin-rotation invariance,

Ks=1K_s = 1

at the infrared fixed point in the standard spin normalization. A marginally irrelevant spin backscattering operator can generate logarithmic corrections, so finite-size data need not look like a clean power law immediately.

With a gapless spin-rotation-invariant spin sector, the bulk tunneling exponent is

αspinful=14(Kc+1Kc−2).\alpha_{\mathrm{spinful}} = \frac14 \left( K_c+\frac1{K_c}-2 \right).

Representative equal-time exponents are

C2kF density(x)∝∣x∣−(Kc+1),C_{2k_{\mathrm F}\mathrm{\ density}}(x) \propto |x|^{-(K_c+1)}, Csinglet pair(x)∝∣x∣−(Kc−1+1),C_{\mathrm{singlet\ pair}}(x) \propto |x|^{-(K_c^{-1}+1)},

up to oscillatory factors, amplitudes, and possible logarithmic corrections.

If one sector is gapped, these formulas change. A Luther–Emery liquid, for example, has one gapless charge mode but a spin gap. Calling every spinful one-dimensional metal a two-component gapless Luttinger liquid is therefore too broad.

Central Charge and Low-Temperature Thermodynamics

Section titled “Central Charge and Low-Temperature Thermodynamics”

Each independent nonchiral compact-boson mode has

c=1.c=1.

Thus one spinless or bosonic mode has c=1c=1, gapless spin and charge modes together have c=2c=2, and a spinful system with one gapped sector and one gapless sector has c=1c=1 in its infrared theory.

For one mode on an infinite line, the low-temperature free-energy density is

f(T)=e0−πc6(kBT)2ℏv+o(T2).f(T) = e_0 - \frac{\pi c}{6} \frac{(k_{\mathrm B}T)^2} {\hbar v} + o(T^2).

The specific heat per length is

CVL=πc3kB2Tℏv+o(T).\frac{C_V}{L} = \frac{\pi c}{3} \frac{k_{\mathrm B}^2T} {\hbar v} + o(T).

For several decoupled modes,

CVL=πkB2T3ℏ∑νcνvν+o(T).\frac{C_V}{L} = \frac{\pi k_{\mathrm B}^2T}{3\hbar} \sum_\nu \frac{c_\nu}{v_\nu} + o(T).

A linear heat capacity alone does not uniquely identify a Luttinger liquid, but its coefficient provides a stringent consistency test when vv is known independently.

Define the thermal length scale

ℓT=ℏvπkBT.\ell_T = \frac{\hbar v} {\pi k_{\mathrm B}T}.

For an operator of scaling dimension Δ\Delta, the zero-temperature power law maps to

(a∣x∣)2Δ⟶[πakBT/(ℏv)sinh⁡(πkBT∣x∣/(ℏv))]2Δ.\left( \frac a{|x|} \right)^{2\Delta} \longrightarrow \left[ \frac{ \pi a k_{\mathrm B}T/(\hbar v) } { \sinh( \pi k_{\mathrm B}T|x|/(\hbar v) ) } \right]^{2\Delta}.

At short separation,

∣x∣≪ℓT,|x| \ll \ell_T,

the zero-temperature power law is recovered. At long separation,

∣x∣≫ℓT,|x| \gg \ell_T,

the same correlator decays exponentially:

CO(x,T)∝exp⁡[−2πΔkBTℏv∣x∣].C_{\mathcal O}(x,T) \propto \exp \left[ -\frac{ 2\pi\Delta k_{\mathrm B}T }{\hbar v} |x| \right].

Different operators have different Δ\Delta, so there is no unique correlation length shared by every observable. The scale ℓT\ell_T marks the common quantum-to-thermal crossover.

For spin and charge sectors with different velocities, each factor carries its own thermal length:

ℓT,ν=ℏvνπkBT.\ell_{T,\nu} = \frac{\hbar v_\nu} {\pi k_{\mathrm B}T}.

For one periodic gapless mode on a ring of circumference LL,

E0(L)=Le∞−πℏvc6L+o(L−1).E_0(L) = Le_\infty - \frac{\pi\hbar vc}{6L} + o(L^{-1}).

The coefficient of the 1/L1/L term contains the universal central charge, but extracting it requires an independently known velocity and control of subleading corrections.

For an open chain, the boundary condition changes the coefficient. One must not fit periodic data with the open-chain formula or conversely.

Let ΔN\Delta N be the particle-number change relative to a reference sector and let JJ be the winding or current quantum number. A common periodic-ring spectrum is

ΔE=πℏv2L[(ΔN)2K+KJ2]+2πℏvL(NR+NL).\begin{aligned} \Delta E ={}& \frac{\pi\hbar v}{2L} \left[ \frac{(\Delta N)^2}{K} + KJ^2 \right] \\ &+ \frac{2\pi\hbar v}{L} \left( N_R+N_L \right). \end{aligned}

The nonnegative integers NRN_R and NLN_L count total right- and left-moving oscillator levels. This formula displays three distinct probes:

number changev/Kcurrent or twistvKoscillator spacingv\begin{array}{c|c} \text{number change} & v/K \\[3pt] \text{current or twist} & vK \\[3pt] \text{oscillator spacing} & v \end{array}

The allowed combinations of ΔN\Delta N and JJ depend on statistics, microscopic filling, boundary conditions, and parity sector. The quadratic energy is universal; the selection rules are part of the compactification data and must be matched to the microscopic model.

A periodic c=1c=1 liquid has interval entropy

S(ℓ,L)=13ln⁡[Lπasin⁡(πℓL)]+s1S(\ell,L) = \frac13 \ln \left[ \frac{L}{\pi a} \sin \left( \frac{\pi\ell}{L} \right) \right] + s_1

at leading order. This is a valuable central-charge diagnostic, but oscillatory and marginal corrections can bias short-chain fits. Entanglement Entropy owns the boundary variants, Rényi formulas, fitting cautions, and area-law comparison.

The Luttinger Hamiltonian is a fixed-point theory. Microscopic symmetries determine which additional operators are allowed. Their scaling dimensions determine whether they fade, remain marginal, or grow under coarse-graining.

Consider

δHp=gp∫dx cos⁡(2pϕ).\delta H_p = g_p \int dx\, \cos(2p\phi).

Its bulk scaling dimension is

Δp=p2K.\Delta_p = p^2K.

To leading order, the dimensionless coupling obeys

dgpdℓ=(2−p2K)gp+⋯ .\frac{dg_p}{d\ell} = \left( 2-p^2K \right)g_p + \cdots.

Therefore:

p2K<2relevantp2K>2irrelevantp2K=2marginal at tree level\begin{array}{c|c} p^2K<2 & \text{relevant} \\[3pt] p^2K>2 & \text{irrelevant} \\[3pt] p^2K=2 & \text{marginal at tree level} \end{array}

At marginality, higher-order flow decides the outcome. A relevant cosine can pin ϕ\phi near one of its minima and gap the corresponding density sector.

For a translation-invariant spinless lattice at half filling, the leading allowed Umklapp term has

δHU∝∫dx cos⁡(4ϕ).\delta H_{\mathrm U} \propto \int dx\, \cos(4\phi).

Its dimension is

ΔU=4K.\Delta_{\mathrm U} = 4K.

It becomes relevant when

K<12.K < \frac12.

The equality marks the Berezinskii–Kosterlitz–Thouless threshold in the standard short-ranged problem. Spinless Fermion Chains owns how this criterion appears in the tt–VV phase diagram.

For bosons at the simplest integer commensurability in a periodic lattice, the leading pinning term is commonly

δHlat∝∫dx cos⁡(2ϕ).\delta H_{\mathrm{lat}} \propto \int dx\, \cos(2\phi).

Its dimension is

Δlat=K,\Delta_{\mathrm{lat}} = K,

so the corresponding BKT threshold occurs at

K=2K=2

in this normalization. Different commensurabilities produce higher harmonics and different thresholds.

If particle-number conservation is explicitly broken, for example by proximity coupling, a spinless pairing perturbation can contain

δHpair∝∫dx cos⁡(2θ).\delta H_{\mathrm{pair}} \propto \int dx\, \cos(2\theta).

Its dimension is

Δpair=1K.\Delta_{\mathrm{pair}} = \frac1K.

It is relevant at tree level when

K>12.K > \frac12.

The density-pinning and phase-pinning cosines are dual competitors. They cannot both be treated as simultaneously sharp classical fields because ϕ\phi and θ\theta are conjugate.

A local backscattering impurity at x=0x=0 produces

δHimp=λcos⁡[2ϕ(0)].\delta H_{\mathrm{imp}} = \lambda \cos[2\phi(0)].

As a boundary operator, it has dimension

Δimp=K.\Delta_{\mathrm{imp}} = K.

Its leading flow is

dλdℓ=(1−K)λ+⋯ .\frac{d\lambda}{d\ell} = (1-K)\lambda + \cdots.

Thus a weak impurity grows for repulsive spinless liquids with K<1K<1. The dual weak-link amplitude tlinkt_{\mathrm{link}} has boundary dimension

Δlink=1K\Delta_{\mathrm{link}} = \frac1K

and flow

dtlinkdℓ=(1−1K)tlink+⋯ .\frac{dt_{\mathrm{link}}}{d\ell} = \left( 1-\frac1K \right)t_{\mathrm{link}} + \cdots.

This weak-barrier/weak-link duality describes the asymptotic isolated Luttinger liquid. Leads, finite length, multiple channels, resonant levels, and additional symmetries can change the measured transport crossover.

In a spinful system, backscattering can generate a cosine in the spin sector, while commensurate Umklapp can generate one in the charge sector. Depending on its sign and scaling flow, a cosine may:

  • remain marginally irrelevant and leave the sector gapless;
  • become relevant and pin the field;
  • produce a spin gap with gapless charge;
  • produce a charge gap with gapless or gapped spin;
  • leave two gapless sectors.

The phrase “Luttinger liquid” should therefore be accompanied by the number and identity of the gapless modes.

The Lieb–Liniger Model Preview is the canonical finite-coupling dossier for continuum bosons with repulsive delta-function interactions. Its low-energy phase is a one-mode Luttinger liquid throughout the repulsive regime. Exact Bethe-ansatz thermodynamics determines vv and KK, while the universal page here determines how those values enter long-distance observables.

The half-filled tt–VV chain is a Luttinger liquid between phase separation and charge-density-wave order. Its free point has K=1K=1; repulsion lowers KK, and the commensurate charge-order threshold is reached at K=1/2K=1/2.

The easy-plane spin-1/21/2 XXZ chain has one gapless compact-boson mode. Spin operators map to uniform and staggered vertex operators. The exactly known dependence of KK and vv on anisotropy belongs to XXZ Spin Chain.

The compressible side of the one-dimensional Bose–Hubbard model is described by a Luttinger liquid. At commensurate filling, a lattice cosine can become relevant and drive a Mott transition. The universal threshold is stated above; Bose–Hubbard Chain owns the microscopic one-dimensional Hamiltonian, exact limits, numerical transition scale, and finite-size diagnostics, while the general lattice treatment remains at Bose–Hubbard Model.

Repulsive Hubbard chain away from commensurability

Section titled “Repulsive Hubbard chain away from commensurability”

Away from a charge-gapping commensurability, the repulsive one-dimensional Hubbard model has separate gapless charge and spin sectors. Spin-rotation symmetry fixes the infrared spin normalization, while interactions renormalize the charge parameter and separate the velocities.

Semiconductor wires, carbon nanotubes, atomic gases confined to tubes, and chains in crystalline solids can display Luttinger-liquid scaling over a finite window. Real samples also contain contacts, transverse modes, disorder, long-range Coulomb interactions, and finite temperature. Demonstrating the fixed point requires showing a common parameter set across several observables, not merely fitting one power law.

Define the equal-time continuum structure factor per length by

s(q)=1L⟨δρqδρ−q⟩,s(q) = \frac1L \left\langle \delta\rho_q \delta\rho_{-q} \right\rangle,

with

δρq=∫0Ldx e−iqxδρ(x).\delta\rho_q = \int_0^L dx\, e^{-iqx}\delta\rho(x).

The fixed point predicts

s(q)=K∣q∣2π+o(∣q∣).s(q) = \frac{K|q|}{2\pi} + o(|q|).

Hence

K=2πlim⁡q→0s(q)∣q∣.K = 2\pi \lim_{q\to0} \frac{s(q)}{|q|}.

On a lattice, the definition of density per site and the Fourier normalization must be translated before applying this prefactor.

The two independent combinations are

Kv=πℏ∂n∂μ,\frac K v = \pi\hbar \frac{\partial n}{\partial\mu}, vK=vJ.vK = v_J.

Their product and ratio give

K=(πℏ∂n∂μ)vJ,K = \sqrt{ \left( \pi\hbar \frac{\partial n}{\partial\mu} \right) v_J }, v=vJπℏ∂n/∂μ.v = \sqrt{ \frac{ v_J }{ \pi\hbar \partial n/\partial\mu } }.

The dimensions of vJv_J depend on the stiffness convention. The equations above assume it has velocity units as in the Hamiltonian ledger.

The oscillator spacing gives

ΔEosc≃2πℏvL.\Delta E_{\mathrm{osc}} \simeq \frac{2\pi\hbar v}{L}.

Number and winding gaps then separate v/Kv/K and vKvK. This method is powerful in exact diagonalization and density-matrix renormalization group calculations, provided the correct symmetry and parity sectors are identified.

One can fit several predictions:

η2kF=2K,\eta_{2k_{\mathrm F}} = 2K, ηpair=2K,\eta_{\mathrm{pair}} = \frac2K, ηfermion=12(K+1K).\eta_{\mathrm{fermion}} = \frac12 \left( K+\frac1K \right).

A reliable identification asks whether one value of KK explains all accessible exponents after finite-size, boundary, temperature, and logarithmic corrections are included.

The slope of a low-qq density mode gives vv. In a spinful system, charge- and spin-sensitive probes can reveal separate slopes:

ωc(q)≃vc∣q∣,\omega_c(q) \simeq v_c|q|, ωs(q)≃vs∣q∣.\omega_s(q) \simeq v_s|q|.

Spectral continua and matrix elements can obscure a simple line, so one should track thresholds and integrated response rather than only the brightest pixel.

Finite-size ground-state energies and entanglement scaling can test

c=1c=1

per gapless nonchiral mode. Central charge counts modes; it does not determine KK. Two c=1c=1 liquids can have different exponents.

  1. Identify the active dimension. Verify that transverse excitation, temperature, drive, and interaction scales lie below the confinement gap.
  2. Count gapless sectors. Determine whether charge, spin, flavor, or band modes remain gapless.
  3. State the field normalization. Record the commutator, density map, and Hamiltonian before quoting KK.
  4. Determine the infrared window. Exclude distances comparable to the cutoff, the system size, and the thermal length.
  5. Extract vv independently. Use a mode slope or finite-size oscillator gap.
  6. Extract KK in more than one way. Compare structure factor, compressibility and stiffness, and correlation exponents.
  7. Test perturbations. Check commensurability, impurities, disorder, pairing, and spin backscattering.
  8. Inspect single-particle evidence. Look for a cusp and threshold continuum rather than assuming a Lorentzian pole.
  9. Control corrections. Vary size, temperature, fit window, broadening, and boundary conditions.
  10. Report the regime. State the energy, momentum, length, and temperature window over which the Luttinger description is supported.

The exact microscopic dispersion is not linear:

ϵ(k)−μ=ℏvFδk+ℏ22m∗(δk)2+⋯ .\epsilon(k) -\mu = \hbar v_{\mathrm F}\delta k + \frac{\hbar^2}{2m_*} (\delta k)^2 + \cdots.

Curvature is irrelevant in the strict fixed-point sense but reorganizes finite-energy threshold singularities. It can determine decay channels, line shapes, and asymmetry near spectral edges.

If a relevant cosine pins a field, the asymptotic theory is no longer the gapless Gaussian Hamiltonian. Correlations of some operators become exponential, solitons or massive particles can replace the sound mode, and the c=1c=1 finite-size formulas cease to apply below the gap.

Unscreened or weakly screened Coulomb interactions can make the effective parameters momentum dependent:

K⟶K(q),v⟶v(q).K \longrightarrow K(q), \qquad v \longrightarrow v(q).

The resulting correlations need not be simple powers with one constant exponent. Calling such a system an ordinary short-ranged Luttinger liquid can hide physically important logarithms.

Random backscattering introduces a spatially varying operator rather than one isolated boundary impurity. Its relevance criterion and localized phase are not obtained by applying the single-impurity result point by point. Renormalization Group Preview owns the general flow logic; disorder-specific flows require their own treatment.

Two bands, valleys, legs, or internal components produce a matrix of density and phase couplings. Diagonalization may yield several collective modes with different velocities and compactification data. A single pair (v,K)(v,K) is then insufficient.

An open boundary folds right movers into left movers and changes local exponents. A clean interacting wire connected adiabatically to noninteracting reservoirs can have a two-terminal conductance governed by the leads even though its local tunneling density of states shows interaction-dependent powers.

Interchain hopping or transverse excitation can become relevant at sufficiently low energy. A material may show Luttinger scaling over an intermediate window and cross over to higher-dimensional coherent motion, ordering, or Fermi-liquid behavior at longer scales.

A fractional quantum Hall edge can be described by a chiral Luttinger theory. Its anomaly, compactification, charge assignments, and one-way propagation differ from the nonchiral right-plus-left liquid developed here. The shared word “Luttinger” does not make the two theories interchangeable.

Integrability is not required for Luttinger-liquid universality. It is one way to calculate vv, KK, and exact crossover functions in special microscopic models. Generic nonintegrable short-ranged systems can flow to the same fixed point.

Treating the Luttinger parameter as self-defining

Section titled “Treating the Luttinger parameter as self-defining”

A quoted value of KK is incomplete without the field normalization, species convention, and operator dictionary. Spin-chain, spinful-charge, and bosonic conventions can differ by factors of two.

Calling every one-dimensional system a Luttinger liquid

Section titled “Calling every one-dimensional system a Luttinger liquid”

One-dimensional systems can be gapped, localized, phase separated, symmetry broken, topological, many-channel, or governed by long-range interactions. The label requires a gapless compact-boson sector and a demonstrated infrared window.

Bosonization rewrites low-energy operators. It does not turn a microscopic fermion into a microscopic boson or erase anticommutation. Klein factors and compactification retain the statistics and global sectors.

The generic single-particle signal is threshold continuum weight with no finite residue. A narrow finite-size or resolution-broadened feature is not by itself a quasiparticle pole.

Calling dominant correlations long-range order

Section titled “Calling dominant correlations long-range order”

The slowest algebraic decay identifies the leading susceptibility, not a nonzero infinite-distance order parameter.

Confusing spin–charge separation with fractional particles

Section titled “Confusing spin–charge separation with fractional particles”

Different collective sectors carry the response at different velocities. This operational statement is subtler than a picture of one electron permanently breaking into two localized pieces.

For a weak but fixed interaction,

Z=0Z=0

in the thermodynamic infrared limit. A short finite system can retain an apparently sharp overlap because the flow is cut off before the asymptotic regime is reached.

Crossovers, boundaries, thermal decay, marginal logarithms, and analytic backgrounds can all imitate an exponent. A trustworthy claim combines several observables and varies the fit window.

Set

K=1,v=vF.K=1, \qquad v=v_{\mathrm F}.

Then

γ+=1,γ−=0,\gamma_+ = 1, \qquad \gamma_- = 0,

and

α=0.\alpha = 0.

The right-moving Green function reduces to one chiral denominator, the momentum distribution regains a jump, and the density and pairing exponents are both 22. The fixed-point Hamiltonian therefore contains the free gas as one special point, not as a separate formalism.

Take a spinless liquid with

K=34.K = \frac34.

The leading density-wave exponent is

ηCDW=2K=32,\eta_{\mathrm{CDW}} = 2K = \frac32,

while the pairing exponent is

ηpair=2K=83.\eta_{\mathrm{pair}} = \frac2K = \frac83.

Density correlations decay more slowly. The momentum cusp exponent is

α=12(34+43−2)=124.\alpha = \frac12 \left( \frac34 + \frac43 - 2 \right) = \frac1{24}.

The exponent is small, so a finite system may look almost discontinuous even though the true thermodynamic jump is zero.

Reconstruct the velocity and Luttinger parameter

Section titled “Reconstruct the velocity and Luttinger parameter”

Suppose finite-size energies yield

vN=1.8u,vJ=0.8u,v_N = 1.8u, \qquad v_J = 0.8u,

where uu is a velocity unit. Then

v=1.44 u=1.2u,v = \sqrt{1.44}\,u = 1.2u,

and

K=0.81.8=23.K = \sqrt{ \frac{0.8}{1.8} } = \frac23.

The inferred K<1K<1 is consistent with repulsive spinless behavior. The conclusion is stronger if the 2kF2k_{\mathrm F} density exponent also approaches

2K=43.2K = \frac43.

Starting from

∂tϕ=vK∂xθ,∂tθ=vK∂xϕ,\partial_t\phi = vK\partial_x\theta, \qquad \partial_t\theta = \frac vK\partial_x\phi,

derive the wave equation for ϕ\phi. Then use the density definition to identify the conserved current.

Solution

Differentiate the first equation with respect to time:

∂t2ϕ=vK∂x∂tθ.\partial_t^2\phi = vK \partial_x\partial_t\theta.

Insert the second equation:

∂t2ϕ=vK∂x(vK∂xϕ)=v2∂x2ϕ.\partial_t^2\phi = vK \partial_x \left( \frac vK \partial_x\phi \right) = v^2\partial_x^2\phi.

Therefore

(∂t2−v2∂x2)ϕ=0.\left( \partial_t^2-v^2\partial_x^2 \right)\phi = 0.

Since

δρ=−1π∂xϕ,\delta\rho = -\frac1\pi\partial_x\phi,

one has

∂tδρ=−vKπ∂x2θ.\partial_t\delta\rho = -\frac{vK}{\pi} \partial_x^2\theta.

Writing this as

∂tδρ+∂xj=0\partial_t\delta\rho + \partial_xj = 0

identifies

j=vKπ∂xθ.j = \frac{vK}{\pi} \partial_x\theta.

Exercise 2: Density and current velocities

Section titled “Exercise 2: Density and current velocities”

A finite-size calculation gives

vN=3u,vJ=u.v_N = 3u, \qquad v_J = u.

Find vv and KK. Which qualitative spinless interaction regime does the value of KK suggest?

Solution

The collective velocity is

v=vNvJ=3 u.v = \sqrt{v_Nv_J} = \sqrt3\,u.

The Luttinger parameter is

K=vJvN=13.K = \sqrt{ \frac{v_J}{v_N} } = \frac1{\sqrt3}.

Because

K<1,K<1,

the result is characteristic of repulsive spinless interactions in this normalization. That inference can fail if the field or species convention differs, so the Hamiltonian normalization must accompany the quoted number.

Exercise 3: Free limit of the chiral correlator

Section titled “Exercise 3: Free limit of the chiral correlator”

Evaluate γ+\gamma_+, γ−\gamma_-, and α\alpha at K=1K=1. Explain what happens to the counterpropagating factor in GR(x,t)G_R(x,t).

Solution

At K=1K=1,

γ±=14(1+1±2).\gamma_{\pm} = \frac14 (1+1\pm2).

Therefore

γ+=1,γ−=0.\gamma_+ = 1, \qquad \gamma_- = 0.

The factor involving vt+xvt+x is raised to the zeroth power and disappears. The right-moving correlator becomes

GR(x,t)∝eikFxaa+i(vFt−x).G_R(x,t) \propto e^{ik_{\mathrm F}x} \frac a{a+i(v_{\mathrm F}t-x)}.

Also,

α=12(1+1−2)=0,\alpha = \frac12(1+1-2) = 0,

consistent with the free momentum-distribution step.

For a spinless liquid with K=1/2K=1/2, compute the momentum-distribution exponent. Does n(k)n(k) have a jump at kFk_{\mathrm F}?

Solution

The exponent is

α=12(12+2−2)=14.\alpha = \frac12 \left( \frac12 + 2 - 2 \right) = \frac14.

Near the Fermi point,

n(k)−n(kF)∝−sgn⁡(k−kF)×∣k−kF∣1/4.\begin{aligned} n(k)-n(k_{\mathrm F}) \propto{}& -\operatorname{sgn}(k-k_{\mathrm F}) \\ &\times |k-k_{\mathrm F}|^{1/4}. \end{aligned}

The function is continuous, although its slope is singular. Hence

Z=0.Z=0.

For K=3/4K=3/4, compare the leading spinless density-wave and pairing exponents. Which correlation decays more slowly?

Solution

The density-wave exponent is

ηCDW=2K=32.\eta_{\mathrm{CDW}} = 2K = \frac32.

The pairing exponent is

ηpair=2K=83.\eta_{\mathrm{pair}} = \frac2K = \frac83.

Because

32<83,\frac32 < \frac83,

the 2kF2k_{\mathrm F} density correlation decays more slowly. This identifies the dominant algebraic tendency, not true charge-density-wave long-range order.

A probe injects an electron a distance dd from a detector. The charge and spin velocities are vcv_c and vsv_s, with vc>vs>0v_c>v_s>0. Find the separation between the arrival times. What does the detector observe if its time resolution is worse than this separation?

Solution

The characteristic arrival times are

tc=dvc,ts=dvs.t_c = \frac d{v_c}, \qquad t_s = \frac d{v_s}.

Their separation is

Δt=ts−tc=d(1vs−1vc).\Delta t = t_s-t_c = d \left( \frac1{v_s} - \frac1{v_c} \right).

If the instrumental time resolution exceeds Δt\Delta t, the two responses overlap and may appear as one broadened pulse. Failure to resolve two peaks is then not evidence that vc=vsv_c=v_s.

At a spinless fixed point with

K=0.4,K=0.4,

classify the following at tree level:

  1. half-filled Umklapp cos⁡(4ϕ)\cos(4\phi);
  2. a local impurity cos⁡[2ϕ(0)]\cos[2\phi(0)];
  3. a weak link;
  4. a bulk pairing term cos⁡(2θ)\cos(2\theta).
Solution

The half-filled Umklapp dimension is

ΔU=4K=1.6.\Delta_{\mathrm U} = 4K = 1.6.

Because this is a bulk operator and

1.6<2,1.6<2,

it is relevant.

The local impurity has boundary dimension

Δimp=K=0.4<1,\Delta_{\mathrm{imp}} = K = 0.4<1,

so it is relevant.

The weak link has boundary dimension

Δlink=1K=2.5>1,\Delta_{\mathrm{link}} = \frac1K = 2.5>1,

so it is irrelevant near the cut-chain fixed point.

The bulk pairing cosine also has dimension

Δpair=1K=2.5>2,\Delta_{\mathrm{pair}} = \frac1K = 2.5>2,

so it is irrelevant at tree level.

The comparison threshold is 22 for bulk operators and 11 for boundary operators.

For a periodic one-mode liquid, compare the lowest energy costs of the sectors

(ΔN,J)=(1,0)(\Delta N,J)=(1,0)

and

(ΔN,J)=(0,1),(\Delta N,J)=(0,1),

ignoring oscillator excitations. Show how their ratio determines KK.

Solution

The number-changing gap is

ΔEN=πℏv2LK.\Delta E_N = \frac{\pi\hbar v}{2LK}.

The winding gap is

ΔEJ=πℏvK2L.\Delta E_J = \frac{\pi\hbar vK}{2L}.

Their ratio is

ΔEJΔEN=K2.\frac{\Delta E_J}{\Delta E_N} = K^2.

Therefore

K=ΔEJΔEN.K = \sqrt{ \frac{\Delta E_J}{\Delta E_N} }.

In a microscopic fermion problem, the sectors (1,0)(1,0) and (0,1)(0,1) may not both satisfy the parity selection rule. One must use the lowest allowed sectors and adjust the integer changes accordingly.

  • A Luttinger liquid replaces particle-like low-energy excitations by collective density and phase waves.
  • One gapless mode is controlled by a velocity vv and a convention-dependent parameter KK.
  • The same KK fixes compressibility, stiffness ratios, density harmonics, pairing powers, tunneling suppression, and the momentum cusp.
  • A generic interacting spinless liquid has Z=0Z=0 even when the interaction is arbitrarily weak.
  • Spinful systems can separate into charge and spin sectors with different velocities.
  • Relevant commensurate, impurity, pairing, spin, or disorder perturbations can drive the system away from the gapless fixed line.
  • Central charge counts gapless modes, while KK distinguishes points along a fixed line.
  • Trustworthy identification requires one parameter set to explain several observables over a controlled infrared window.
  1. S. Tomonaga, “Remarks on Bloch’s Method of Sound Waves Applied to Many-Fermion Problems”, Progress of Theoretical Physics 5, 544–569 (1950).
  2. J. M. Luttinger, “An Exactly Soluble Model of a Many-Fermion System”, Journal of Mathematical Physics 4, 1154–1162 (1963).
  3. D. C. Mattis and E. H. Lieb, “Exact Solution of a Many-Fermion System and Its Associated Boson Field”, Journal of Mathematical Physics 6, 304–312 (1965).
  4. F. D. M. Haldane, “‘Luttinger Liquid Theory’ of One-Dimensional Quantum Fluids. I”, Journal of Physics C 14, 2585–2609 (1981).
  5. A. Luther and I. Peschel, “Calculation of Critical Exponents in Two Dimensions from Quantum Field Theory in One Dimension”, Physical Review B 12, 3908–3917 (1975).
  6. J. Voit, “One-Dimensional Fermi Liquids”, Reports on Progress in Physics 58, 977–1116 (1995).
  7. T. Giamarchi, Quantum Physics in One Dimension, Oxford University Press (2004).
  8. J. von Delft and H. Schoeller, “Bosonization for Beginners — Refermionization for Experts”, Annalen der Physik 7, 225–305 (1998).
  9. M. A. Cazalilla, “Bosonizing One-Dimensional Cold Atomic Gases”, Journal of Physics B 37, S1–S47 (2004).
  10. M. A. Cazalilla, R. Citro, T. Giamarchi, E. Orignac, and M. Rigol, “One Dimensional Bosons: From Condensed Matter Systems to Ultracold Gases”, Reviews of Modern Physics 83, 1405–1466 (2011).
  11. E. H. Lieb and W. Liniger, “Exact Analysis of an Interacting Bose Gas. I. The General Solution and the Ground State”, Physical Review 130, 1605–1616 (1963).
  12. E. H. Lieb and F. Y. Wu, “Absence of Mott Transition in an Exact Solution of the Short-Range, One-Band Model in One Dimension”, Physical Review Letters 20, 1445–1448 (1968).
  13. A. Luther and V. J. Emery, “Backward Scattering in the One-Dimensional Electron Gas”, Physical Review Letters 33, 589–592 (1974).
  14. C. L. Kane and M. P. A. Fisher, “Transport in a One-Channel Luttinger Liquid”, Physical Review Letters 68, 1220–1223 (1992).
  15. T. Giamarchi and H. J. Schulz, “Anderson Localization and Interactions in One-Dimensional Metals”, Physical Review B 37, 325–340 (1988).
  16. A. Imambekov, T. L. Schmidt, and L. I. Glazman, “One-Dimensional Quantum Liquids: Beyond the Luttinger Liquid Paradigm”, Reviews of Modern Physics 84, 1253–1306 (2012).
  17. Y. Jompol et al., “Probing Spin-Charge Separation in a Tomonaga–Luttinger Liquid”, Science 325, 597–601 (2009).