Key claim

Logarithmic entanglement does not, by itself, imply conformal criticality.

An MPS can reproduce the logarithm and still misidentify the physics that generated it.

Theme

The XXZ ferromagnetic endpoint: when entanglement scaling lies about universality.

Guiding question

In the spin-1/2 XXZ chain, can a CFT entropy formula and finite-entanglement scaling distinguish a Luttinger liquid from the exceptional point Δ=−1?

The collision joins three subjects:

  • integrable spin chains;
  • conformal field theory;
  • matrix product states.

The trap is unusually clean. The endpoint has logarithmic ground-state entanglement, but its low-energy dynamics are not relativistic.

Setup

Take an even periodic chain,

H(Δ)=J∑j=1N(SjxSj+1x+SjySj+1y+ΔSjzSj+1z),J>0.

For −1<Δ≤1, the thermodynamic low-energy theory is a c=1 compact boson, or Luttinger liquid.

The endpoint Δ=−1 is different. Apply a staggered π rotation about z:

U=∏j=1j evenNexp⁡(iπSjz).

Because every bond contains one even site,

UH(−1)U†=−J∑jSj⋅Sj+1.

Thus the endpoint is unitarily equivalent to the isotropic Heisenberg ferromagnet.

Its ground-state manifold has maximal total spin S=N/2. Fixing Stotz=0 selects the half-filled Dicke state, up to the staggered onsite rotation.

That rotation factorizes as UA⊗UA¯ across any spatial cut. It therefore leaves the entanglement spectrum unchanged.

For a block of L sites,

|DNN/2⟩=∑kpk|DLk⟩|DN−LN/2−k⟩,

with

pk=(Lk)(N−LN/2−k)(NN/2).

The Schmidt probabilities form a hypergeometric distribution. This gives an exact route to the logarithm without invoking CFT.

Analysis

Derivation — solve the endpoint in its native language

Set L=N/2. The hypergeometric distribution has

⟨k⟩=N4,Var(k)=N216(N−1)∼N16.

Its width is therefore

σ∼N4.

Near its peak, pk approaches a discrete Gaussian. Its Shannon entropy is

SA=−∑kpklog⁡pk=12log⁡(2πeσ2)+o(1).

Hence

SA=12log⁡N+O(1).

The logarithm records the number of macroscopically plausible ways to distribute a fixed total magnetization between the two halves.

It does not come from a tower of relativistic local modes.

The distinction is visible in the excitation spectrum. For the rotated ferromagnet, a one-magnon excitation has

ε(q)∝1−cos⁡q∼q22.

Thus

z=2,

whereas an ordinary (1+1)-dimensional CFT requires linear low-energy dispersion and z=1.

Scope and assumptions — attack “logarithm means central charge”

For a periodic conformal chain, the von Neumann entropy of an interval of length L is

SA(L,N)=c3log⁡[Nπasin⁡(πLN)]+s0.

Here a is a short-distance cutoff. At L=N/2, the coefficient of log⁡N is c/3.

If the Dicke result were inserted blindly, one would infer

ceff3=12,ceff=32.

This number is an effective fit coefficient, not the central charge of an endpoint CFT. No relativistic CFT governs the endpoint.

The same functional form has arisen from a different mechanism: a collective conserved-charge fluctuation inside a highly degenerate ferromagnetic ground-state manifold.

This is not only a conceptual counterexample. Near Δ=−1, finite systems show a long crossover between the endpoint coefficient and the neighboring c=1 regime.

Entropy fits can therefore return plausible but scale-dependent central charges.

The correct question is not merely

“Is SA logarithmic?”

It is

“Which degrees of freedom produce the logarithm?”

Physical interpretation — what an MPS actually knows

First separate two geometries.

For an open-boundary MPS cut across one virtual bond of dimension χ,

rankρA≤χ,SA≤log⁡χ.

For an interval in a periodic MPS, the bipartition crosses two virtual bonds:

rankρA≤χ2,SA≤2log⁡χ.

These are exact algebraic bounds. They do not diagnose a universality class.

Now consider an optimized uniform MPS for a genuine one-dimensional conformal ground state. Finite χ induces an effective correlation length ξχ.

For the entropy across one cut,

Sχ≃c6log⁡ξχ+sχ,ξχ∝χκ.

The standard finite-entanglement theory predicts

κ=6c(12/c+1)

under its CFT assumptions.

This theory is more than the inequality S≤log⁡χ. It uses the universal distribution of entanglement-spectrum eigenvalues at a conformal critical point.

Finite χ is often described as introducing a mass-generating relevant perturbation. That description is a useful analogy, not an operator identity.

A 2026 analysis finds that the effective perturbations selected by optimal tensor-network approximations can differ from those guessed from the most relevant CFT operator alone.

The geometry of the variational manifold also matters.

False claim to diagnose

If Sχ is linear in log⁡ξχ and the fitted slope gives c≈1, the XXZ state must be a Luttinger liquid.

The claim is tempting because this is a standard finite-entanglement diagnostic.

But the fit tests one relation over a finite range. It does not independently establish z=1, a conformal tower, or freedom from crossover contamination.

The Δ=−1 state supplies the counterexample:

SA∼12log⁡N,ε(q)∼q2.

A defensible diagnosis requires mutually consistent evidence:

  • entropy scaling;
  • low-momentum dispersion or finite-size energy gaps;
  • MPS transfer-matrix spectra;
  • correlation-function exponents;
  • stability of fitted parameters as N and χ increase.

The entropy coefficient is evidence. It is not a verdict.

What follows — and what does not

The practical conflict is controlled by three competing lengths:

N,ξχ,ξcross(Δ).

The endpoint crossover scale ξcross grows as Δ→−1+.

If N or ξχ remains below that scale, a calculation performed inside the c=1 phase can still look endpoint-like.

If the accessible scale exceeds it at fixed Δ>−1, the asymptotic Luttinger-liquid behavior can emerge.

Writing only

N→∞,χ→∞,Δ→−1+

hides this competition. One must specify the path through scale space.

An MPS does not classify universality directly. It provides a compressed state whose entropy, transfer matrix, correlations, symmetry sector, and convergence must be interpreted together.

Exercise

Take the half-filled Dicke state |DNN/2⟩ and divide an even chain into two equal halves.

  1. Derive its Schmidt probabilities pk.
  2. Approximate pk by a Gaussian and obtain SA=12log⁡N+O(1).
  3. For a one-cut Schmidt truncation, find the rank needed to retain a fixed fraction 0<f<1 of the total weight.
  4. Explain why none of these results establishes conformal invariance.
Hint 1

Use the entropy of a discrete Gaussian:

H≃12log⁡(2πeσ2).
Hint 2

A fixed fraction of a Gaussian lies within a window of width O(σ) around its mean.

Oral check 1. Why is S≤log⁡χ exact for one MPS cut, while ξχ∝χκ is not?

Oral check 2. Which most directly separates the endpoint from the Luttinger liquid: the entropy coefficient, ⟨Sz⟩, or the low-q dispersion?

Solution

Counting configurations with k up spins in the left half gives

pk=(N/2k)(N/2N/2−k)(NN/2).

This distribution has

σ2=N216(N−1)∼N16.

Therefore,

SA≃12log⁡(2πeσ2)=12log⁡N+O(1).

To retain any fixed fraction 0<f<1, one keeps a central window containing O(σ) Schmidt values.

Thus a one-cut truncation needs

χf∼σ∼N.

Exact representation across the half-chain cut requires the full Schmidt rank

χexact=N2+1.

For a periodic MPS interval, two virtual bonds cross the bipartition. Its geometric rank bound is χ2, not χ.

The calculation reveals the width of a collective number distribution. It says nothing by itself about z, local conformal symmetry, or a Virasoro spectrum.

The low-q dispersion is the cleanest oral-check answer:

ε(q)∝|q|for a Luttinger liquid,ε(q)∝q2at the endpoint.

Check your understanding

Is entanglement scaling a property of the infrared theory, the selected state sector, or the variational representation?

Name one measurement that separates those three layers in this example.

You may also reply with “deeper,” “too easy,” “too hard,” or your attempted derivation.

Further Reading

Connections and next step

  • Pressure point: a logarithmic entropy is not a unique fingerprint of CFT.
  • Exact layer: the Dicke Schmidt spectrum and MPS rank bounds.
  • Dynamical layer: z=2 at the ferromagnetic endpoint versus z=1 in the Luttinger liquid.
  • Numerical layer: N, ξχ, and ξcross compete near Δ=−1.
  • Revisit: extract c, z, and the Luttinger parameter from independent observables in three runs.