Skip to content

The entanglement spectrum is the full eigenvalue data of a reduced density operator, usually reorganized as a set of energy-like levels. For a pure many-body state and a declared bipartition,

∣Ψ⟩∈HA⊗HAˉ,ρA=Tr⁡Aˉ∣Ψ⟩⟨Ψ∣,\lvert\Psi\rangle \in \mathcal H_A\otimes\mathcal H_{\bar A}, \qquad \rho_A = \operatorname{Tr}_{\bar A} \lvert\Psi\rangle\langle\Psi\rvert,

one may use either the probabilities

{pα}=spec⁡(ρA)\{p_\alpha\} = \operatorname{spec}(\rho_A)

or the entanglement energies

ξα:=−ln⁡pα.\xi_\alpha := -\ln p_\alpha.

The two contain the same nonzero eigenvalue information. Their visual emphases differ: large probabilities appear first in {pα}\{p_\alpha\} and become low-lying levels in {ξα}\{\xi_\alpha\}.

A scalar entropy compresses this entire list. The spectrum can additionally reveal:

  • degeneracies and near-degeneracies;
  • symmetry quantum numbers of Schmidt states;
  • tails that control tensor-network truncation;
  • low-lying level counting associated with selected boundary or conformal theories;
  • distinctions between states with similar von Neumann entropy;
  • numerical artifacts hidden by a single converged-looking number.

It is not a partition-independent fingerprint. A spatial cut, orbital cut, particle cut, momentum cut, and internal-species cut define different reduced operators. Nor does every low entanglement level represent a physical edge excitation. The interpretation is strongest only after the state, partition, symmetry sector, normalization convention, geometry, and finite-size procedure have all been stated.

Helpful background. The Schmidt decomposition relates singular values to reduced-state probabilities; entanglement entropy explains their entropy and spatial scaling.

Schmidt probabilities and entanglement energies

Section titled “Schmidt probabilities and entanglement energies”

Unless stated otherwise:

  • the global state ∣Ψ⟩\lvert\Psi\rangle is pure;
  • AA and Aˉ\bar A define a tensor-product bipartition;
  • ρA\rho_A is normalized, positive semidefinite, and trace one;
  • all logarithms are natural;
  • only the support of ρA\rho_A is shown unless zero eigenvalues matter;
  • spectra are compared only for the same partition geometry and symmetry convention.

For a lattice region,

H≃HA⊗HAˉ.\mathcal H \simeq \mathcal H_A \otimes \mathcal H_{\bar A}.

Identical particles, gauge constraints, continuum local algebras, and superselection rules can obstruct or modify this naive factorization. In those settings one must declare the algebra, extended Hilbert space, center choice, particle partition, or mode partition being used.

Write the Schmidt decomposition as

∣Ψ⟩=∑α=1rsα ∣α⟩A∣α⟩Aˉ,\lvert\Psi\rangle = \sum_{\alpha=1}^{r} s_\alpha\, \lvert\alpha\rangle_A \lvert\alpha\rangle_{\bar A},

where

sα>0,∑α=1rsα2=1.s_\alpha>0, \qquad \sum_{\alpha=1}^{r}s_\alpha^2=1.

This page calls sαs_\alpha the Schmidt coefficients and

pα:=sα2p_\alpha := s_\alpha^2

the Schmidt probabilities. The literature sometimes calls either sαs_\alpha or pαp_\alpha a “Schmidt value.” A numerical report should therefore display the defining equation rather than rely on the name alone.

We order the nonzero probabilities as

p0≥p1≥⋯>0.p_0 \geq p_1 \geq \cdots > 0.

The corresponding raw entanglement energies obey

ξ0≤ξ1≤⋯ .\xi_0 \leq \xi_1 \leq \cdots.

“Entanglement spectrum” may mean:

  1. the probabilities {pα}\{p_\alpha\};
  2. the raw levels {ξα=−ln⁡pα}\{\xi_\alpha=-\ln p_\alpha\};
  3. shifted levels {εα}\{\varepsilon_\alpha\} obtained from an operator HEH_E satisfying ρA=e−HE/ZE\rho_A=e^{-H_E}/Z_E.

The first two are normalized and related exactly. The third is defined only up to a common additive constant:

εα⟼εα+c.\varepsilon_\alpha \longmapsto \varepsilon_\alpha+c.

Level differences, degeneracies, and sector counting survive this shift. Absolute vertical positions do not.

If ρA\rho_A has a kernel, then

pα=0⟹ξα=+∞.p_\alpha=0 \quad\Longrightarrow\quad \xi_\alpha=+\infty.

An exact product state is the simplest example: one probability equals one and all remaining basis directions have zero weight. Numerical eigensolvers replace exact zeros by signed roundoff noise or tiny positive values. Before taking logarithms:

  1. hermitize the computed reduced matrix;
  2. quantify trace and positivity errors;
  3. choose and report a cutoff;
  4. distinguish exact symmetry zeros from discarded numerical weight.

Silently replacing all tiny eigenvalues by a plotting floor can manufacture an artificial high-energy band.

From Schmidt Decomposition to the Spectrum

Section titled “From Schmidt Decomposition to the Spectrum”

Tracing the Schmidt form gives

ρA=∑α=1rpα∣α⟩A⟨α∣.\rho_A = \sum_{\alpha=1}^{r} p_\alpha \lvert\alpha\rangle_A \langle\alpha\rvert.

The complement has

ρAˉ=∑α=1rpα∣α⟩Aˉ⟨α∣.\rho_{\bar A} = \sum_{\alpha=1}^{r} p_\alpha \lvert\alpha\rangle_{\bar A} \langle\alpha\rvert.

Thus the two reduced states of a globally pure bipartite state have the same nonzero spectrum:

spec⁡>0(ρA)=spec⁡>0(ρAˉ).\operatorname{spec}_{>0}(\rho_A) = \operatorname{spec}_{>0}(\rho_{\bar A}).

Their kernels need not have the same dimension when

dim⁡HA≠dim⁡HAˉ.\dim\mathcal H_A \ne \dim\mathcal H_{\bar A}.

The equality of nonzero spectra is the spectral version of

SA=SAˉ.S_A=S_{\bar A}.

It is not true for a generic mixed global state.

The von Neumann entropy is

SA=−∑αpαln⁡pα=∑αpαξα.\begin{aligned} S_A &= -\sum_\alpha p_\alpha\ln p_\alpha \\ &= \sum_\alpha p_\alpha\xi_\alpha. \end{aligned}

It is the probability-weighted mean entanglement energy. A single mean cannot determine a distribution.

The order-nn spectral moment is

ZA(n):=Tr⁡ρAn=∑αpαn=∑αe−nξα.Z_A(n) := \operatorname{Tr}\rho_A^n = \sum_\alpha p_\alpha^n = \sum_\alpha e^{-n\xi_\alpha}.

The Rényi entropy is

SA(n)=ln⁡ZA(n)1−n,n>0,n≠1.S_A^{(n)} = \frac{\ln Z_A(n)}{1-n}, \qquad n>0, \quad n\ne1.

The von Neumann entropy follows from

SA=−∂∂nln⁡ZA(n)∣n=1.S_A = -\left. \frac{\partial}{\partial n} \ln Z_A(n) \right|_{n=1}.

This makes the thermal analogy precise: nn acts like an inverse temperature for the entanglement levels. It does not make KAK_A the physical Hamiltonian of region AA.

Two probability vectors can have the same entropy while differing in:

  • rank;
  • largest eigenvalue;
  • degeneracies;
  • symmetry-sector weights;
  • small-eigenvalue tail;
  • Schmidt vectors;
  • response to truncation.

Even knowing several Rényi entropies usually leaves many compatible spectra. In a finite dd-dimensional support, sufficiently many exact power sums can reconstruct the eigenvalues through symmetric-polynomial relations. In numerical many-body work, however:

  • the effective rank may be large or cutoff dependent;
  • high moments suppress small probabilities;
  • low moments amplify poorly converged tails;
  • moment inversion is ill-conditioned;
  • eigenvectors and symmetry actions remain absent.

The full reduced density operator contains more information than its eigenvalues, and the global state contains more information than either reduced operator.

Largest probability and single-copy structure

Section titled “Largest probability and single-copy structure”

The largest probability defines the min-entropy:

SA(∞)=−ln⁡p0=ξ0.S_A^{(\infty)} = -\ln p_0 = \xi_0.

If shifted levels are plotted with their minimum set to zero,

ξ~α:=ξα−ξ0,\widetilde\xi_\alpha := \xi_\alpha-\xi_0,

then the min-entropy is no longer visible in the vertical origin. Both plots are useful, but they answer different questions.

For a mixed state ρAAˉ\rho_{A\bar A},

ρA=Tr⁡AˉρAAˉ\rho_A = \operatorname{Tr}_{\bar A}\rho_{A\bar A}

still has a spectrum, but that spectrum is not by itself a measure of entanglement between AA and Aˉ\bar A.

At infinite temperature,

ρAAˉ=IAdA⊗IAˉdAˉ,\rho_{A\bar A} = \frac{I_A}{d_A} \otimes \frac{I_{\bar A}}{d_{\bar A}},

so

ρA=IAdA.\rho_A = \frac{I_A}{d_A}.

The subsystem spectrum is perfectly flat:

pα=1dA,ξα=ln⁡dA.p_\alpha = \frac1{d_A}, \qquad \xi_\alpha = \ln d_A.

Yet the global state is a product and has zero mutual information. For mixed global states, use phrases such as reduced-state spectrum or subsystem spectrum unless an entanglement measure or purification has been specified.

On the support of ρA\rho_A, define

KA:=−ln⁡ρA.K_A := -\ln\rho_A.

Then

ρA=e−KA,Tr⁡e−KA=1.\rho_A = e^{-K_A}, \qquad \operatorname{Tr}e^{-K_A} = 1.

The eigenvalues of KAK_A are exactly

ξα=−ln⁡pα.\xi_\alpha = -\ln p_\alpha.

With this convention, no additive freedom remains. Directions in the kernel of ρA\rho_A have formally infinite modular energy.

One may instead write

ρA=e−HEZE,ZE:=Tr⁡e−HE.\rho_A = \frac{e^{-H_E}}{Z_E}, \qquad Z_E := \operatorname{Tr}e^{-H_E}.

Now

HE⟼HE+cIH_E \longmapsto H_E+cI

leaves ρA\rho_A unchanged because

ZE⟼e−cZE.Z_E \longmapsto e^{-c}Z_E.

The two operators satisfy

KA=HE+ln⁡ZE.K_A = H_E+\ln Z_E.

Accordingly,

ξα=εα+ln⁡ZE.\xi_\alpha = \varepsilon_\alpha+\ln Z_E.

When a paper says that the entanglement Hamiltonian is defined “up to a constant,” it is using the HEH_E convention. When it writes KA=−ln⁡ρAK_A=-\ln\rho_A, the normalization has fixed that constant.

It is generally not the restricted physical Hamiltonian

Section titled “It is generally not the restricted physical Hamiltonian”

Let a local physical Hamiltonian be decomposed schematically as

H=HA+HAˉ+H∂.H = H_A + H_{\bar A} + H_{\partial}.

In general,

KA≠βHA+cI.K_A \ne \beta H_A+cI.

Tracing out Aˉ\bar A encodes boundary correlations, conservation laws, and global-state information in KAK_A. Even when the original Hamiltonian is short ranged, the exact modular Hamiltonian can contain:

  • position-dependent couplings;
  • longer-range interactions;
  • many-body operator terms;
  • symmetry-sector projectors;
  • nonlocal constraints.

Special geometries, Gaussian states, conformal limits, and tensor-network constructions can yield local or approximately local entanglement Hamiltonians. Those are structured results, not a default identity.

Physical and entanglement gaps are distinct

Section titled “Physical and entanglement gaps are distinct”

A physical excitation gap is a difference between eigenvalues of the system Hamiltonian:

Δphys=E1−E0.\Delta_{\mathrm{phys}} = E_1-E_0.

An entanglement-energy spacing is

Δξ=ξ1−ξ0=ln⁡p0p1.\Delta_{\xi} = \xi_1-\xi_0 = \ln\frac{p_0}{p_1}.

The two have different units, normalization, geometry, and stability questions. A closing entanglement spacing can accompany a physical critical point, but no model-independent equality identifies it with the physical gap.

Local-unitary invariance and cut dependence

Section titled “Local-unitary invariance and cut dependence”

For a pure state, a unitary of the form

UA⊗UAˉU_A\otimes U_{\bar A}

rotates Schmidt vectors but preserves all pαp_\alpha. A unitary crossing the cut can change the spectrum.

Thus the entanglement spectrum is invariant under basis changes local to each side, but it depends on:

  • where the cut is placed;
  • which degrees of freedom belong to each side;
  • whether orbitals or particles rather than positions are partitioned;
  • whether a symmetry-resolved block or the full reduced state is used.

This dependence is a feature: changing the partition asks a different physical question.

Two Gaussian occupations produce four many-body probabilities and charge-resolved entanglement levels

A concrete Gaussian example with two correlation eigenvalues ν1=3/4\nu_1=3/4 and ν2=1/4\nu_2=1/4. Its single-particle entanglement energies are −ln⁡3-\ln3 and +ln⁡3+\ln3, while all four raw many-body levels are positive. The four occupation probabilities sum to one; plotting their negative logarithms by charge qA=n1+n2q_A=n_1+n_2 reveals the sector structure. The equal levels in sectors zero and two follow from these selected occupation probabilities and alone do not diagnose a topological phase.

For a finite spectrum, plot either

p0≥p1≥⋯p_0 \geq p_1 \geq \cdots

or

ξ0≤ξ1≤⋯ .\xi_0 \leq \xi_1 \leq \cdots.

A probability plot makes normalization and truncation tails visible. An energy plot spreads small probabilities and makes level counting easier.

Because

ξα=−ln⁡pα,\xi_\alpha = -\ln p_\alpha,

relative errors transform as

δξα≃−δpαpα.\delta\xi_\alpha \simeq -\frac{\delta p_\alpha}{p_\alpha}.

Tiny probabilities therefore produce large and unstable entanglement-energy errors. High-lying levels are usually the least numerically reliable part of the plot.

An exact gg-fold level degeneracy means

pα=pα+1=⋯=pα+g−1.p_\alpha = p_{\alpha+1} = \cdots = p_{\alpha+g-1}.

Possible origins include:

  • an irreducible symmetry multiplet;
  • a projective edge representation;
  • independent maximally entangled pairs;
  • a cat-state superposition;
  • a tensor-product factor;
  • a solvable fixed point;
  • an accidental finite-size coincidence.

The eigenvalues alone do not distinguish these mechanisms. One must inspect the Schmidt states, their symmetry action, the partition, perturbation response, and size dependence.

For an approximate multiplet, report a splitting such as

δmult:=max⁡α∈Mξα−min⁡α∈Mξα\delta_{\mathrm{mult}} := \max_{\alpha\in M}\xi_\alpha - \min_{\alpha\in M}\xi_\alpha

together with the numerical uncertainty and system-size dependence.

One common probability-space definition is

ΔS:=p0−p1.\Delta_{\mathrm S} := p_0-p_1.

The corresponding first entanglement-energy spacing is

δξ:=ξ1−ξ0=ln⁡p0p1.\delta_\xi := \xi_1-\xi_0 = \ln\frac{p_0}{p_1}.

They vanish at the same exact degeneracy but are not numerically equal. The literature uses “Schmidt gap” inconsistently, sometimes for a difference of Schmidt coefficients s0−s1s_0-s_1. Always state the formula.

A Schmidt-gap closing can be a useful finite-size indicator near selected quantum critical points. It is not a universal order parameter for every transition and does not replace conventional scaling analysis.

In topological and conformal applications, one may identify a low-lying set LL with a predicted sector counting and a higher set HH. A convenient finite-size definition is

Δent:=min⁡β∈Hξβ−max⁡α∈Lξα.\Delta_{\mathrm{ent}} := \min_{\beta\in H}\xi_\beta - \max_{\alpha\in L}\xi_\alpha.

This definition requires the sets LL and HH to be specified independently of the desired conclusion. A blank horizontal space in one plot is not enough.

A credible entanglement-gap claim reports:

  • the partition and geometry;
  • the sector quantum numbers;
  • the expected low-level counting;
  • the rule assigning levels to LL and HH;
  • system-size or circumference scaling;
  • stability across a finite parameter interval;
  • sensitivity to numerical truncation;
  • whether a common energy shift was removed.

The physical system may remain in one phase while its entanglement Hamiltonian changes qualitatively. Consequently, an entanglement gap need not be universal throughout a physical phase.

The Schmidt rank is

r=rank⁡ρA.r = \operatorname{rank}\rho_A.

For a cutoff retaining the largest χ\chi probabilities, define the discarded weight

ϵdisc(χ):=∑α=χr−1pα.\epsilon_{\mathrm{disc}}(\chi) := \sum_{\alpha=\chi}^{r-1}p_\alpha.

Here probabilities are indexed from 00: retaining χ\chi terms means keeping p0,…,pχ−1p_0,\ldots,p_{\chi-1}. The normalized truncated Schmidt state has squared overlap

∣⟨Ψ∣Ψχ⟩∣2=1−ϵdisc(χ).\left| \langle\Psi\vert\Psi_\chi\rangle \right|^2 = 1-\epsilon_{\mathrm{disc}}(\chi).

Two states with equal entropy can have very different ϵdisc(χ)\epsilon_{\mathrm{disc}}(\chi). This is why the spectrum, rather than entropy alone, controls matrix-product truncation quality.

Universal information, when present, often resides more robustly in:

  • how many levels occur in each sector;
  • which multiplets are forced by symmetry;
  • how counting changes under flux or boundary conditions;
  • whether a predicted tower persists with size.

The precise level spacings can be nonuniversal and geometry dependent. Fitting an effective velocity or temperature to entanglement energies requires a theory that fixes the relevant normalization.

Suppose an additive conserved charge satisfies

Q=QA+QAˉQ = Q_A+Q_{\bar A}

and the pure state has fixed total charge QtotQ_{\mathrm{tot}}. The Schmidt decomposition can be chosen as

∣ΨQtot⟩=∑q,αsqα ∣q,α⟩A∣Qtot−q,α⟩Aˉ.\lvert\Psi_{Q_{\mathrm{tot}}}\rangle = \sum_{q,\alpha} s_{q\alpha}\, \lvert q,\alpha\rangle_A \lvert Q_{\mathrm{tot}}-q,\alpha\rangle_{\bar A}.

The reduced state commutes with the subsystem charge:

[ρA,QA]=0.[\rho_A,Q_A] = 0.

Therefore,

ρA=⨁qpq σA,q,\rho_A = \bigoplus_q p_q\,\sigma_{A,q},

where

pq:=∑αpqα,Tr⁡σA,q=1.p_q := \sum_\alpha p_{q\alpha}, \qquad \operatorname{Tr}\sigma_{A,q} = 1.

Within a sector with pq>0p_q>0,

σA,q=∑αpqαpq∣q,α⟩⟨q,α∣.\sigma_{A,q} = \sum_\alpha \frac{p_{q\alpha}}{p_q} \lvert q,\alpha\rangle \langle q,\alpha\rvert.

The entropy separates into charge uncertainty and within-sector entropy:

S(ρA)=H({pq})+∑qpqS(σA,q),S(\rho_A) = H(\{p_q\}) + \sum_q p_q S(\sigma_{A,q}),

with

H({pq})=−∑qpqln⁡pq.H(\{p_q\}) = -\sum_q p_q\ln p_q.

A sector-resolved entanglement plot should show both qq and the level index within each block. Plotting every sector after independently shifting its lowest level to zero destroys the relative sector weights.

For commuting observables

QA(1),…,QA(k),Q_A^{(1)}, \ldots, Q_A^{(k)},

levels can be labeled by a charge vector

q=(q1,…,qk).\mathbf q = \left( q_1,\ldots,q_k \right).

Examples include:

  • particle number and momentum along a translation-invariant cut;
  • total SzS^z and lattice parity;
  • particle number and orbital angular momentum in quantum Hall geometries.

Every label requires the corresponding symmetry to preserve both the state and the partition. A symmetry exchanging AA and Aˉ\bar A does not automatically block-diagonalize ρA\rho_A in the same way as an onsite charge.

If a compact non-Abelian symmetry acts consistently on the bipartition and the global state is invariant, the Schmidt space decomposes into irreducible representations:

HSchmidt≃⨁λ(Cmλ⊗Vλ).\mathcal H_{\mathrm{Schmidt}} \simeq \bigoplus_\lambda \left( \mathbb C^{m_\lambda} \otimes V_\lambda \right).

Here VλV_\lambda is an irrep of dimension dλd_\lambda and mλm_\lambda is a multiplicity space. Symmetry forces each eigenvalue associated with an irrep block to occur at least dλd_\lambda times when the reduced operator acts trivially within VλV_\lambda.

This representation-theoretic degeneracy is not automatically topological. It may occur in an ordinary singlet. Conversely, a topological or symmetry-protected diagnosis may require the projective transformation law of the Schmidt vectors, not just their eigenvalue multiplicity.

Within an exactly degenerate eigenspace, numerical diagonalization returns an arbitrary orthonormal basis. Individual Schmidt vectors can rotate as

∣α⟩⟼∑β∈MWβα∣β⟩,\lvert\alpha\rangle \longmapsto \sum_{\beta\in M} W_{\beta\alpha} \lvert\beta\rangle,

with WW unitary on the multiplet MM.

To identify symmetry content:

  1. isolate the degenerate or quasi-degenerate subspace;
  2. project the symmetry operators into it;
  3. diagonalize commuting labels or analyze the representation matrices;
  4. test stability against basis rotations and truncation;
  5. report the multiplet, not arbitrary eigenvectors.

Comparing raw Schmidt vectors from two parameter values without fixing this gauge can create fake discontinuities.

For an onsite unitary protecting symmetry in a one-dimensional gapped bosonic phase with no spontaneous symmetry breaking, symmetry can act on virtual edge or Schmidt states through matrices VgV_g satisfying

VgVh=ω(g,h)Vgh.V_gV_h = \omega(g,h)V_{gh}.

The phase factor ω(g,h)\omega(g,h) defines a projective representation. Under allowed gauge changes,

Vg⟼eiθgXVgX−1,V_g \longmapsto e^{i\theta_g} X V_g X^{-1},

the cocycle ω\omega changes by a coboundary, while its cohomology class can remain invariant.

Protected entanglement degeneracies may follow from the irreducible projective representation, provided:

  • the protecting symmetry is preserved;
  • the bulk remains gapped;
  • the cut is compatible with the symmetry;
  • the thermodynamic limit is controlled.

Time-reversal and spatial-inversion symmetries require conjugation or transpose relations rather than this simple onsite-unitary multiplication law. Eigenvalue degeneracy alone does not determine the projective class.

For

∣Ψ⟩=∣a⟩A⊗∣b⟩Aˉ,\lvert\Psi\rangle = \lvert a\rangle_A \otimes \lvert b\rangle_{\bar A},

the only nonzero probability is

p0=1.p_0=1.

Hence

ξ0=0,SA=0.\xi_0=0, \qquad S_A=0.

Every orthogonal direction in HA\mathcal H_A belongs to the kernel and has infinite raw entanglement energy.

Consider

∣ψ(θ)⟩=cos⁡θ ∣00⟩+sin⁡θ ∣11⟩,\lvert\psi(\theta)\rangle = \cos\theta\, \lvert00\rangle + \sin\theta\, \lvert11\rangle,

with

0≤θ≤π4.0\leq\theta\leq\frac{\pi}{4}.

The probabilities are

p0=cos⁡2θ,p1=sin⁡2θ.p_0 = \cos^2\theta, \qquad p_1 = \sin^2\theta.

The raw entanglement energies are

ξ0=−2ln⁡(cos⁡θ),ξ1=−2ln⁡(sin⁡θ).\xi_0 = -2\ln(\cos\theta), \qquad \xi_1 = -2\ln(\sin\theta).

The probability and energy gaps are

ΔS=cos⁡(2θ)\Delta_{\mathrm S} = \cos(2\theta)

and

δξ=2ln⁡(cot⁡θ).\delta_\xi = 2\ln(\cot\theta).

At θ=π/4\theta=\pi/4, the spectrum is flat and both gaps vanish. As θ→0\theta\to0, the second probability vanishes and its raw entanglement energy diverges.

For

pα=1R,α=1,…,R,p_\alpha = \frac1R, \qquad \alpha=1,\ldots,R,

all finite entanglement energies equal

ξα=ln⁡R.\xi_\alpha = \ln R.

Every Rényi entropy has the same value:

SA(n)=ln⁡R.S_A^{(n)} = \ln R.

A shifted HEH_E convention can place all these levels at zero. Flatness indicates maximal entanglement on the occupied Schmidt support, not necessarily maximal entanglement on the full subsystem Hilbert space.

Let NN independent qudit Bell pairs cross the bipartition:

∣Ψ⟩=⨂j=1N1q∑a=0q−1∣a⟩Aj∣a⟩Aˉj.\lvert\Psi\rangle = \bigotimes_{j=1}^{N} \frac1{\sqrt q} \sum_{a=0}^{q-1} \lvert a\rangle_{A_j} \lvert a\rangle_{\bar A_j}.

The Schmidt rank is

R=qN,R=q^N,

and the spectrum is flat:

pα=q−N.p_\alpha = q^{-N}.

Thus

SA=Nln⁡q.S_A = N\ln q.

The degeneracy is generated by independent pairs. It is not, by itself, evidence of intrinsic topological order.

For the VV-qubit GHZ state,

∣GHZV⟩=∣0⟩⊗V+∣1⟩⊗V2,\lvert\mathrm{GHZ}_V\rangle = \frac{ \lvert0\rangle^{\otimes V} + \lvert1\rangle^{\otimes V} }{\sqrt2},

every nontrivial spatial bipartition has

p0=p1=12.p_0=p_1=\frac12.

Its nonzero entanglement spectrum is the same as one Bell pair, even though its multipartite correlations, local-unitary structure, and response to perturbations are different.

This example proves that a spectrum from one cut does not provide a complete classification of the global state.

At the exactly solvable Affleck–Kennedy–Lieb–Tasaki (AKLT) point, a cut through an infinite spin-1 chain exposes a virtual spin-1/21/2 degree of freedom. The half-chain spectrum has a twofold structure,

p0=p1=12,p_0=p_1=\frac12,

exactly in the infinite-chain ground state. This solvable point has nonzero correlation length; it is not a zero-correlation-length renormalization fixed point.

The same probability pair appeared for a Bell pair and a GHZ state. The additional SPT information lies in:

  • how the Schmidt doublet transforms under the protecting symmetry;
  • robustness under symmetry-preserving, gap-preserving deformations;
  • lifting under appropriate symmetry breaking;
  • finite-size convergence toward the half-infinite limit.

For an interval of ℓ\ell sites in the infinite AKLT chain, the nonzero probabilities comprise a singlet and a triplet:

ps=1+3(−1/3)ℓ4,pt=1−(−1/3)ℓ4(three times).p_{\mathrm s}=\frac{1+3(-1/3)^\ell}{4}, \qquad p_{\mathrm t}=\frac{1-(-1/3)^\ell}{4} \quad\text{(three times)}.

At ℓ=1\ell=1, the singlet weight vanishes and the physical spin-1 state has three probabilities 1/31/3. As ℓ\ell grows, all four weights approach 1/41/4. Two entanglement cuts expose two virtual edges, whose splitting decays with interval length. This is different from the exactly twofold half-chain spectrum.

Free-Fermion Correlation-Matrix Construction

Section titled “Free-Fermion Correlation-Matrix Construction”

Consider fermionic modes cic_i and a Gaussian state that conserves particle number. For sites or orbitals in AA, define the restricted one-body correlation matrix

(CA)ij:=⟨ci†cj⟩,i,j∈A.(C_A)_{ij} := \langle c_i^\dagger c_j\rangle, \qquad i,j\in A.

It is Hermitian and satisfies

0≤CA≤I.0 \leq C_A \leq I.

Diagonalize it as

CA=Udiag⁡(ν1,…,νNA)U†,C_A = U \operatorname{diag} \left( \nu_1,\ldots,\nu_{N_A} \right) U^\dagger,

where

0≤νj≤1.0\leq\nu_j\leq1.

Define subsystem modes

fj:=∑i∈AUijci.f_j := \sum_{i\in A} U_{ij}c_i.

The absence of a conjugate on UijU_{ij} follows from the stated convention Cij=⟨ci†cj⟩C_{ij}=\langle c_i^\dagger c_j\rangle: explicitly, ⟨fj†fk⟩=(U†CAU)jk\langle f_j^\dagger f_k\rangle=(U^\dagger C_AU)_{jk}. If instead the correlation matrix is defined with indices reversed, the mode transformation changes accordingly.

The reduced density operator factorizes over these entanglement modes:

ρA=⨂j=1NA[(1−νj)(1−nj)+νjnj],\rho_A = \bigotimes_{j=1}^{N_A} \left[ (1-\nu_j)(1-n_j) + \nu_j n_j \right],

with

nj:=fj†fj.n_j := f_j^\dagger f_j.

This is a statement about Gaussian states. Matching only the two-point matrix does not determine a general reduced state. Even a noninteracting thermal state projected to a fixed total particle number is generally non-Gaussian; a Slater determinant with fixed number is Gaussian, but a canonical mixture of such determinants need not be.

The same reduced state can be written

ρA=1ZEexp⁡(−∑jϵjnj),\rho_A = \frac1{Z_E} \exp \left( -\sum_j\epsilon_j n_j \right),

where

ϵj=ln⁡1−νjνj.\epsilon_j = \ln \frac{1-\nu_j}{\nu_j}.

In the original subsystem basis,

HE=∑i,j∈Ahijci†cj,H_E = \sum_{i,j\in A} h_{ij}c_i^\dagger c_j,

with the one-body matrix

h={ln⁡[(I−CA)CA−1]}Th = \left\{\ln\left[(I-C_A)C_A^{-1}\right]\right\}^{\mathsf T}

on eigenmodes with 0<νj<10<\nu_j<1. The transpose is essential for complex correlations: h=U∗diag⁡(ϵj)UTh=U^*\operatorname{diag}(\epsilon_j)U^{\mathsf T}, because the operator is written as ∑ijhijci†cj\sum_{ij}h_{ij}c_i^\dagger c_j. It disappears only for a real symmetric CAC_A, or when using the reversed-index correlation convention.

The ϵj\epsilon_j are single-particle entanglement energies. They can be negative because a common many-body normalization shift has not yet been added. They are not the raw nonnegative values −ln⁡pn-\ln p_{\mathbf n}.

For an occupation pattern

n=(n1,…,nNA),nj∈{0,1},\mathbf n = (n_1,\ldots,n_{N_A}), \qquad n_j\in\{0,1\},

the probability is

pn=∏j=1NAνjnj(1−νj)1−nj.p_{\mathbf n} = \prod_{j=1}^{N_A} \nu_j^{n_j} (1-\nu_j)^{1-n_j}.

The raw many-body entanglement energy is

ξn=−ln⁡pn=−∑jnjln⁡νj−∑j(1−nj)ln⁡(1−νj).\begin{aligned} \xi_{\mathbf n} &= -\ln p_{\mathbf n} \\ &= -\sum_j n_j\ln\nu_j -\sum_j (1-n_j)\ln(1-\nu_j). \end{aligned}

Equivalently,

ξn=ln⁡ZE+∑jnjϵj.\xi_{\mathbf n} = \ln Z_E + \sum_j n_j\epsilon_j.

The many-body spectrum therefore consists of all occupation sums of the single-particle levels, plus one common normalization shift.

The entropy is additive over entanglement modes:

SA=∑jh2(νj),S_A = \sum_j h_2(\nu_j),

where

h2(ν):=−νln⁡ν−(1−ν)ln⁡(1−ν).h_2(\nu) := -\nu\ln\nu - (1-\nu)\ln(1-\nu).

A mode with

νj=12\nu_j=\frac12

has

ϵj=0\epsilon_j=0

and contributes ln⁡2\ln2. Such a zero single-particle entanglement energy often accompanies an edge-like or cut mode in free-fermion topological models, but its interpretation still depends on symmetry, geometry, and finite-size stability.

A mode with νj=0\nu_j=0 or 11 is deterministic and contributes no entropy. The corresponding ϵj\epsilon_j diverges, but the normalized many-body probability of the allowed occupation remains finite.

For superconducting Gaussian states, anomalous correlators

⟨cicj⟩\langle c_i c_j\rangle

are nonzero. The number-conserving matrix CAC_A is then insufficient; one diagonalizes a Nambu covariance matrix or a Majorana correlation matrix.

Gaussian bosonic states require symplectic eigenvalues of a covariance matrix and careful treatment of unbounded local Hilbert spaces. Those constructions share the quadratic entanglement-Hamiltonian idea but use different spectra and stability conditions.

Exact diagonalization and wavefunction reshaping

Section titled “Exact diagonalization and wavefunction reshaping”

For a pure state expanded in product bases,

∣Ψ⟩=∑i=1dA∑μ=1dAˉCiμ∣i⟩A∣μ⟩Aˉ,\lvert\Psi\rangle = \sum_{i=1}^{d_A} \sum_{\mu=1}^{d_{\bar A}} C_{i\mu} \lvert i\rangle_A \lvert\mu\rangle_{\bar A},

the reduced matrix is

ρA=CC†.\rho_A = CC^\dagger.

If

C=UΣV†C = U\Sigma V^\dagger

is a singular-value decomposition, then

sα=Σαα,pα=sα2.s_\alpha = \Sigma_{\alpha\alpha}, \qquad p_\alpha = s_\alpha^2.

Computing the singular values of CC is usually preferable to explicitly forming CC†CC^\dagger:

  • it avoids squaring the condition number;
  • it preserves positivity more reliably;
  • it returns the left Schmidt vectors from UU and the right Schmidt vectors from V∗V^* (complex conjugation matters for a complex coefficient matrix);
  • it can target only the largest singular values.

The coefficient matrix depends on the tensor-product ordering. Before reshaping a many-body vector, verify the basis convention with a product-state and Bell-pair test.

If total charge is fixed, arrange CC into compatible blocks:

C=⨁qCq.C = \bigoplus_q C_q.

An SVD of each block yields pqαp_{q\alpha} directly. This:

  • reduces memory;
  • preserves exact labels;
  • avoids numerical mixing of degenerate sectors;
  • makes sector weights pqp_q explicit.

The singular values from all blocks must be combined before global normalization checks or entropy calculation.

At a canonical MPS bond cut,

∣Ψ⟩=∑α=1χΛα∣Lα⟩∣Rα⟩,\lvert\Psi\rangle = \sum_{\alpha=1}^{\chi} \Lambda_\alpha \lvert L_\alpha\rangle \lvert R_\alpha\rangle,

with orthonormal Schmidt states and

∑αΛα2=1.\sum_\alpha\Lambda_\alpha^2=1.

Therefore,

pα=Λα2.p_\alpha = \Lambda_\alpha^2.

The bond entanglement spectrum is available without constructing an exponentially large reduced density matrix.

For a finite interval inside an infinite chain there are two cuts. The interval spectrum is not generally the spectrum of one MPS bond. It must be obtained from the interval transfer operator or an explicit reduced-state contraction.

Keeping the largest χ\chi Schmidt coefficients gives

ϵdisc=1−∑α=0χ−1pα.\epsilon_{\mathrm{disc}} = 1- \sum_{\alpha=0}^{\chi-1}p_\alpha.

A reported spectrum should state:

  • the maximum bond dimension;
  • the discarded weight at the cut;
  • the canonicalization tolerance;
  • whether symmetry multiplets were truncated together;
  • the smallest trusted probability;
  • convergence under larger χ\chi.

Cutting through part of a symmetry multiplet can introduce artificial level splitting and even break the represented symmetry.

For a translation-invariant infinite MPS, the transfer matrix controls:

  • canonical fixed points;
  • normalization;
  • correlation length;
  • finite-interval reduced states;
  • coupling between virtual edges.

If the transfer matrix has leading eigenvalues

λ0=1,∣λ1∣<1,\lambda_0=1, \qquad \lvert\lambda_1\rvert<1,

the correlation length in units of one transfer-matrix step is

ξcorr=−1ln⁡∣λ1∣.\xi_{\mathrm{corr}} = -\frac1{\ln\lvert\lambda_1\rvert}.

For a diagonalizable transfer matrix, the leading finite-interval corrections are set by

e−ℓ/ξcorr.e^{-\ell/\xi_{\mathrm{corr}}}.

If a subleading transfer eigenvalue has a nontrivial Jordan block, a polynomial in ℓ\ell can multiply this exponential. For a transfer matrix built from a multi-site cell, convert both ℓ\ell and the correlation length to the same cell units. The interval spectrum approaches the product of the two edge spectra; degeneracies occur only when the edge spectra themselves have the relevant symmetry or solvable structure.

For large reduced states, one may use:

  • iterative eigensolvers for the largest pαp_\alpha;
  • randomized or matrix-free singular-value methods;
  • tensor-network boundary contractions;
  • replica or moment methods;
  • quantum Monte Carlo estimators in special sign-free settings.

Moments such as Tr⁡ρAn\operatorname{Tr}\rho_A^n do not automatically resolve individual fine levels. Reconstructing a broad spectrum from noisy moments is an ill-conditioned inverse problem and requires explicit regularization and uncertainty analysis.

Different partitions expose different structures:

  • real-space cut: probes a spatial entanglement boundary;
  • orbital cut: partitions a chosen one-particle orbital basis;
  • particle cut: traces out a subset of indistinguishable particles;
  • momentum cut: partitions modes in reciprocal space;
  • internal cut: separates spin, layer, species, or other internal labels.

Two partitions of the same wavefunction need not have similar spectra. The phrase “the entanglement spectrum of the phase” is incomplete without the partition.

Li and Haldane introduced the entanglement-spectrum viewpoint in fractional quantum Hall trial and Coulomb states using an orbital partition. In their examples:

  • low-lying entanglement levels had characteristic angular-momentum counting;
  • the counting matched the expected edge conformal field theory;
  • a higher generic set could be separated by an entanglement gap.

The safe conclusion is model and geometry specific. It rests on the conjunction of:

  • appropriate low-level counting;
  • controlled finite-size scaling;
  • independent evidence for the phase assignment.

A visible entanglement gap by itself does not imply topological order.

Orbital, particle, and real-space spectra can reveal complementary edge or bulk-quasihole information. Their level counts should not be compared as though the cuts were interchangeable.

An entanglement cut creates an interface in the wavefunction but does not physically terminate the Hamiltonian. Under controlled conditions, the low entanglement spectrum can correspond to a boundary theory:

  • free topological insulators and superconductors admit exact relations involving a spectrally flattened Hamiltonian;
  • selected gapped topological states with chiral edge conformal theories admit a boundary-CFT relation;
  • projected entangled-pair states map bulk reduced states to operators on virtual boundaries.

These results differ in hypotheses and construction. None implies the unrestricted identity

HE=Hphysical edge.H_E = H_{\mathrm{physical\ edge}}.

The physical edge depends on its termination and local interactions. The entanglement boundary depends on the state, cut, normalization, and virtual representation.

For a half-infinite one-dimensional gapped state, the entanglement cut exposes one virtual edge. In the Haldane phase, Pollmann, Berg, Turner, and Oshikawa identified a double structure protected by specified symmetries, including suitable dihedral spin rotations, time reversal, or bond-centered inversion.

The interpretation uses:

  1. a gapped bulk phase;
  2. a declared protecting symmetry;
  3. Schmidt states carrying the appropriate projective or protected action;
  4. stable multiplet structure under symmetry-preserving perturbations;
  5. lifting or trivialization when the relevant protection is removed;
  6. controlled finite-size or bond-dimension convergence.

A twofold spectrum in one finite chain is insufficient.

In two-dimensional intrinsically topological phases, reduced-state structure can reflect:

  • boundary superselection sectors;
  • anyon flux through a cylinder;
  • edge-theory level counting;
  • topological constraints on virtual boundary operators.

However, intrinsic topological order is not defined by an entanglement-spectrum pattern alone. Independent physical diagnostics include local indistinguishability, topology-dependent ground sectors, loop operators, anyonic fusion and braiding, and stability under local perturbations.

Topological entanglement entropy describes the universal constant term and selected area-law combinations. The entanglement spectrum instead retains a much larger, more partition-sensitive set of reduced-state data.

The following can all produce low-level degeneracy:

  • symmetry multiplets in a trivial singlet;
  • GHZ-type symmetry-breaking cat states;
  • independent Bell pairs;
  • SPT virtual edges;
  • free-fermion boundary zero modes;
  • intrinsic topological sectors;
  • exact fixed-point tensors;
  • accidental finite-size crossings.

To identify the mechanism, ask:

  • Which symmetry acts on the Schmidt space?
  • Which partition and boundary geometry were used?
  • How does the splitting scale?
  • What perturbations lift it?
  • Which independent bulk diagnostic agrees?

The complete entanglement spectrum is generally not universal. Even while a physical Hamiltonian remains in one gapped phase:

  • high levels can change strongly;
  • entanglement gaps can close or reopen;
  • the entanglement Hamiltonian can undergo its own spectral rearrangement;
  • a different cut can change the apparent boundary theory;
  • short-distance unitary circuits near the cut can reshape the spectrum.

Robust claims should target structures protected by a theorem, symmetry representation, topological sector, or controlled low-energy limit. “The spectra look alike” is suggestive evidence, not a phase equivalence proof.

For a real-space interval in selected one-dimensional critical ground states, the low entanglement spectrum can organize into towers associated with a boundary conformal field theory. This can reveal operator content beyond the central charge extracted from entropy scaling.

The correspondence depends on:

  • interval geometry and boundary conditions;
  • the ultraviolet regularization;
  • the conformal mapping;
  • which symmetry sectors are resolved;
  • finite-size corrections;
  • how entanglement energies are shifted and rescaled.

Tower counting can be more meaningful than raw spacings. A finite set of approximately equally spaced levels is not by itself proof of conformal invariance.

Near selected quantum critical points, the largest probabilities can reorganize and the Schmidt gap can close with finite-size scaling. A careful analysis compares

ΔS(g,L)\Delta_{\mathrm S}(g,L)

over several sizes LL and couplings gg, using the same partition and symmetry sector.

The critical point, exponent, and scaling function should be checked against:

  • the physical gap;
  • correlation length;
  • conventional order parameters when present;
  • entanglement entropy scaling;
  • boundary-condition dependence.

An isolated crossing of p0p_0 and p1p_1 can be symmetry generated or accidental.

Highly excited chaotic eigenstates and Haar-random states often have dense, volume-law spectra. Their reduced eigenvalues can be compared with energy-shell or random-matrix benchmarks, but the reference ensemble matters.

A full-Hilbert-space Haar state and a finite-energy eigenstate differ in:

  • accessible entropy density;
  • conserved charges;
  • energy-shell constraints;
  • finite-subsystem-fraction corrections;
  • correlations among eigenvalues.

Volume laws explains those distinctions. Here the lesson is narrower: equal entropy density does not imply equal entanglement spectra.

After a global quench, both probabilities and Schmidt vectors evolve:

pα⟶pα(t).p_\alpha \longrightarrow p_\alpha(t).

Tracking only

SA(t)S_A(t)

can hide:

  • level crossings;
  • symmetry-sector transport;
  • delayed convergence of the spectral tail;
  • numerical saturation at finite bond dimension;
  • persistent nonthermal low-level structure.

Dynamic entanglement spectra are especially sensitive to truncation because newly generated small probabilities become high entanglement levels before they contribute strongly to entropy.

First check normalization, positivity, and basis ordering before taking logarithms. Record the trace error and total negative numerical weight:

ϵtrace=∣1−∑αpα∣,ϵneg=∑pα<0∣pα∣.\epsilon_{\mathrm{trace}}=\left|1-\sum_\alpha p_\alpha\right|, \qquad \epsilon_{\mathrm{neg}}=\sum_{p_\alpha<0}|p_\alpha|.

Inspect these errors before any clipping or renormalization. Reconstruct entropy and selected moments from the probabilities and compare with independent calculations. Missing charge sectors or confusing singular values with their squares produces visible discrepancies.

Next vary the parameters relevant to the claim: system size for limiting degeneracy, bond dimension for a truncation tail, or probability cutoff for high entanglement energies. A stable low multiplet does not establish convergence of the small-probability tail. Retain symmetry operators within a degenerate subspace when interpreting its representation.

Finally specify whether plotted levels are raw −ln⁡pα-\ln p_\alpha or shifted −ln⁡(pα/p0)-\ln(p_\alpha/p_0). A common shift preserves all gaps; independently shifting each sector loses relative sector weights. A spectrum from one finite sample illustrates a pattern, while its persistence requires size and perturbation checks.

1. Two-level spectrum and two gap conventions

Section titled “1. Two-level spectrum and two gap conventions”

For

∣ψ⟩=32∣00⟩+12∣11⟩,\lvert\psi\rangle = \frac{\sqrt3}{2}\lvert00\rangle + \frac12\lvert11\rangle,

find:

  1. the Schmidt probabilities;
  2. the raw entanglement energies;
  3. the von Neumann entropy;
  4. the probability Schmidt gap p0−p1p_0-p_1;
  5. the first entanglement-energy spacing ξ1−ξ0\xi_1-\xi_0.
Solution

The Schmidt coefficients are

s0=32,s1=12.s_0 = \frac{\sqrt3}{2}, \qquad s_1 = \frac12.

Therefore,

p0=34,p1=14.p_0 = \frac34, \qquad p_1 = \frac14.

The raw levels are

ξ0=−ln⁡34=ln⁡43\xi_0 = -\ln\frac34 = \ln\frac43

and

ξ1=−ln⁡14=ln⁡4.\xi_1 = -\ln\frac14 = \ln4.

The entropy is

SA=−34ln⁡34−14ln⁡14=ln⁡4−34ln⁡3.\begin{aligned} S_A &= -\frac34\ln\frac34 - \frac14\ln\frac14 \\ &= \ln4 - \frac34\ln3. \end{aligned}

The probability gap is

ΔS=34−14=12.\Delta_{\mathrm S} = \frac34-\frac14 = \frac12.

The energy spacing is

δξ=ln⁡4−ln⁡43=ln⁡3.\begin{aligned} \delta_\xi &= \ln4-\ln\frac43 \\ &= \ln3. \end{aligned}

The two gaps diagnose the same exact two-level degeneracy but use different nonlinear coordinates.

2. Fixing the entanglement-Hamiltonian shift

Section titled “2. Fixing the entanglement-Hamiltonian shift”

An unnormalized entanglement Hamiltonian has three eigenvalues

ε∈{0,ln⁡2,ln⁡6}.\varepsilon \in \left\{ 0,\ln2,\ln6 \right\}.

Compute ZEZ_E, the normalized probabilities, and the raw entanglement energies.

Solution

The Boltzmann-like weights are

{1,12,16}.\left\{ 1,\frac12,\frac16 \right\}.

Thus

ZE=1+12+16=53.Z_E = 1+\frac12+\frac16 = \frac53.

After normalization,

{pα}={35,310,110}.\{p_\alpha\} = \left\{ \frac35, \frac3{10}, \frac1{10} \right\}.

The raw levels are

{ξα}={ln⁡53,ln⁡103,ln⁡10}.\{\xi_\alpha\} = \left\{ \ln\frac53, \ln\frac{10}{3}, \ln10 \right\}.

Equivalently,

ξα=εα+ln⁡ZE.\xi_\alpha = \varepsilon_\alpha + \ln Z_E.

Adding any constant to all εα\varepsilon_\alpha changes ZEZ_E but leaves the normalized probabilities and raw ξα\xi_\alpha unchanged.

A reduced state has two charge sectors. Their weights and conditional spectra are

pq=0=34,spec⁡(σA,0)={23,13},p_{q=0} = \frac34, \qquad \operatorname{spec}(\sigma_{A,0}) = \left\{ \frac23,\frac13 \right\},

and

pq=1=14,spec⁡(σA,1)={1}.p_{q=1} = \frac14, \qquad \operatorname{spec}(\sigma_{A,1}) = \{1\}.
  1. Find the full spectrum of ρA\rho_A.
  2. Verify
S(ρA)=H({pq})+∑qpqS(σA,q).S(\rho_A) = H(\{p_q\}) + \sum_q p_qS(\sigma_{A,q}).
Solution

Multiplying sector weights by conditional probabilities gives

spec⁡(ρA)={12,14,14}.\operatorname{spec}(\rho_A) = \left\{ \frac12,\frac14,\frac14 \right\}.

Therefore,

S(ρA)=−12ln⁡12−2(14ln⁡14)=32ln⁡2.\begin{aligned} S(\rho_A) &= -\frac12\ln\frac12 - 2\left(\frac14\ln\frac14\right) \\ &= \frac32\ln2. \end{aligned}

The charge entropy is

H({pq})=−34ln⁡34−14ln⁡14.H(\{p_q\}) = -\frac34\ln\frac34 - \frac14\ln\frac14.

Only the q=0q=0 sector has internal entropy:

S(σA,0)=−23ln⁡23−13ln⁡13.S(\sigma_{A,0}) = -\frac23\ln\frac23 - \frac13\ln\frac13.

Hence

H({pq})+34S(σA,0)=32ln⁡2,H(\{p_q\}) + \frac34S(\sigma_{A,0}) = \frac32\ln2,

as required. The q=1q=1 sector is pure and contributes no within-sector entropy.

A number-conserving fermionic Gaussian reduced state has correlation eigenvalues

ν1=34,ν2=14.\nu_1 = \frac34, \qquad \nu_2 = \frac14.
  1. Find all four many-body probabilities.
  2. Find the single-particle entanglement energies.
  3. Find the entropy.
Solution

For occupations (n1,n2)(n_1,n_2),

pn1n2=ν1n1(1−ν1)1−n1ν2n2(1−ν2)1−n2.p_{n_1n_2} = \nu_1^{n_1}(1-\nu_1)^{1-n_1} \nu_2^{n_2}(1-\nu_2)^{1-n_2}.

Thus

(n1,n2)pn1n2(0,0)3/16(1,0)9/16(0,1)1/16(1,1)3/16\begin{array}{c|c} (n_1,n_2) & p_{n_1n_2} \\ \hline (0,0) & 3/16 \\ (1,0) & 9/16 \\ (0,1) & 1/16 \\ (1,1) & 3/16 \end{array}

and the probabilities sum to one.

The single-particle entanglement energies are

ϵ1=ln⁡1/43/4=−ln⁡3\epsilon_1 = \ln\frac{1/4}{3/4} = -\ln3

and

ϵ2=ln⁡3/41/4=ln⁡3.\epsilon_2 = \ln\frac{3/4}{1/4} = \ln3.

The entropy is

SA=h2 ⁣(34)+h2 ⁣(14)=2ln⁡4−32ln⁡3.\begin{aligned} S_A &= h_2\!\left(\frac34\right) + h_2\!\left(\frac14\right) \\ &= 2\ln4 - \frac32\ln3. \end{aligned}

The negative value of ϵ1\epsilon_1 is harmless: these are shifted single-particle levels. Every raw many-body value −ln⁡pn1n2-\ln p_{n_1n_2} is nonnegative.

Across one MPS bond, the Schmidt probabilities are

{0.55, 0.25, 0.12, 0.05, 0.03}.\left\{ 0.55,\, 0.25,\, 0.12,\, 0.05,\, 0.03 \right\}.

If only χ=3\chi=3 values are retained:

  1. find the discarded weight;
  2. find the squared overlap with the normalized truncated state;
  3. find the normalized retained probabilities.
Solution

The retained weight is

wχ=0.55+0.25+0.12=0.92.w_\chi = 0.55+0.25+0.12 = 0.92.

Therefore,

ϵdisc=1−wχ=0.08.\epsilon_{\mathrm{disc}} = 1-w_\chi = 0.08.

For Schmidt truncation, the normalized truncated state’s squared overlap with the original state is

∣⟨Ψ∣Ψχ⟩∣2=wχ=0.92.\left| \langle\Psi\vert\Psi_\chi\rangle \right|^2 = w_\chi = 0.92.

The retained probabilities must be renormalized:

{5592,2592,1292}.\left\{ \frac{55}{92}, \frac{25}{92}, \frac{12}{92} \right\}.

Computing entropy from the unnormalized retained values would mix physical entanglement with numerical norm loss.

A Bell pair, a nontrivial cut of an NN-qubit GHZ state, and an ideal AKLT half-chain can each have the nonzero probability spectrum

{12,12}.\left\{ \frac12,\frac12 \right\}.

List at least four additional diagnostics needed to distinguish their physical structures.

Solution

Useful diagnostics include:

  1. Schmidt-state symmetry action. The AKLT doublet carries protected virtual-edge structure under specified symmetries.
  2. Other bipartitions. GHZ retains a two-level spectrum for every nontrivial site partition, while one Bell pair is localized to its paired degrees of freedom.
  3. Local correlations and reduced states. GHZ has cat-state correlations and fragile coherence; a Bell pair has localized two-body entanglement.
  4. Perturbation response. SPT structure is stable only under its protecting symmetry and a bulk gap; GHZ degeneracy is tied to symmetry-breaking cat structure.
  5. System-size scaling. Virtual-edge splittings, cat-state tunneling, and isolated-pair structure scale differently.
  6. Boundary and geometry dependence. A finite AKLT interval has two virtual edges, unlike a half-chain.
  7. Bulk diagnostics. Correlation length, string order, gap, and phase path provide independent evidence.

The example illustrates that eigenvalues from one cut do not specify the Schmidt vectors, symmetry representation, or global state.

A sector-resolved calculation identifies low levels

L={0,0.2,0.2,0.5}L = \{0,0.2,0.2,0.5\}

and higher levels

H={1.4,1.7}.H = \{1.4,1.7\}.
  1. Compute the entanglement gap.
  2. Show that a common additive shift does not change it.
  3. Explain why shifting different symmetry sectors independently can obstruct the comparison.
Solution

By definition,

Δent=min⁡H−max⁡L=1.4−0.5=0.9.\begin{aligned} \Delta_{\mathrm{ent}} &= \min H-\max L \\ &= 1.4-0.5 \\ &= 0.9. \end{aligned}

Under a common shift ξ↦ξ+c\xi\mapsto\xi+c,

Δent′=(min⁡H+c)−(max⁡L+c)=Δent.\begin{aligned} \Delta_{\mathrm{ent}}' &= (\min H+c) - (\max L+c) \\ &= \Delta_{\mathrm{ent}}. \end{aligned}

If each charge sector is shifted by a different constant, relative positions between sectors change. One can no longer tell which sector contains the globally lowest level or how sector probabilities compare. Sectorwise shifting is useful for internal tower counting only when an unshifted spectrum and the sector weights are also retained.

8. Interpreting a topological-spectrum claim

Section titled “8. Interpreting a topological-spectrum claim”

An exact-diagonalization study of one finite fractional quantum Hall cluster shows low orbital-entanglement levels with the expected edge counting and a visible blank region above them. The authors conclude that the state has definitively established topological order.

What additional evidence is needed before making a strong claim?

Solution

The observed counting is useful evidence, but the conclusion is too strong. A controlled analysis should add:

  • several system sizes or circumferences;
  • a precise rule defining the low-level set and entanglement gap;
  • sector-resolved counting and finite-size corrections;
  • stability over a finite Hamiltonian-parameter interval;
  • convergence with Hilbert-space truncation and eigensolver tolerance;
  • comparison with real-space or particle cuts where appropriate;
  • physical bulk-gap and ground-sector scaling;
  • independent topological diagnostics such as flux response, modular data, quasiparticle sectors, or local indistinguishability;
  • tests against symmetry breaking, accidental degeneracy, and competing phases.

Even a stable entanglement gap is not a universal definition of topological order. The strongest conclusion comes from agreement among phase-specific spectral, bulk, and response evidence.

  • V. Alba, M. Haque, and A. M. Läuchli, “Boundary-locality and perturbative structure of entanglement spectra in gapped systems,” Physical Review Letters 108, 227201 (2012). doi:10.1103/PhysRevLett.108.227201
  • P. Calabrese and A. Lefevre, “Entanglement spectrum in one-dimensional systems,” Physical Review A 78, 032329 (2008). doi:10.1103/PhysRevA.78.032329
  • A. Chandran, M. Hermanns, N. Regnault, and B. A. Bernevig, “Bulk-edge correspondence in entanglement spectra,” Physical Review B 84, 205136 (2011). doi:10.1103/PhysRevB.84.205136
  • A. Chandran, V. Khemani, and S. L. Sondhi, “How universal is the entanglement spectrum?,” Physical Review Letters 113, 060501 (2014). doi:10.1103/PhysRevLett.113.060501
  • J. I. Cirac, D. Poilblanc, N. Schuch, and F. Verstraete, “Entanglement spectrum and boundary theories with projected entangled-pair states,” Physical Review B 83, 245134 (2011). doi:10.1103/PhysRevB.83.245134
  • M. Dalmonte, V. Eisler, M. Falconi, and B. Vermersch, “Entanglement Hamiltonians: From field theory to lattice models and experiments,” Annalen der Physik 534, 2200064 (2022). doi:10.1002/andp.202200064
  • G. De Chiara, L. Lepori, M. Lewenstein, and A. Sanpera, “Entanglement spectrum, critical exponents, and order parameters in quantum spin chains,” Physical Review Letters 109, 237208 (2012). doi:10.1103/PhysRevLett.109.237208
  • H. Fan, V. Korepin, and V. Roychowdhury, “Entanglement in a valence-bond solid state,” Physical Review Letters 93, 227203 (2004). doi:10.1103/PhysRevLett.93.227203
  • L. Fidkowski, “Entanglement spectrum of topological insulators and superconductors,” Physical Review Letters 104, 130502 (2010). doi:10.1103/PhysRevLett.104.130502
  • N. Laflorencie, “Quantum entanglement in condensed matter systems,” Physics Reports 646, 1–59 (2016). doi:10.1016/j.physrep.2016.06.008
  • H. Li and F. D. M. Haldane, “Entanglement spectrum as a generalization of entanglement entropy: Identification of topological order in non-Abelian fractional quantum Hall effect states,” Physical Review Letters 101, 010504 (2008). doi:10.1103/PhysRevLett.101.010504
  • I. Peschel, “Calculation of reduced density matrices from correlation functions,” Journal of Physics A: Mathematical and General 36, L205–L208 (2003). doi:10.1088/0305-4470/36/14/101
  • I. Peschel and V. Eisler, “Reduced density matrices and entanglement entropy in free lattice models,” Journal of Physics A: Mathematical and Theoretical 42, 504003 (2009). doi:10.1088/1751-8113/42/50/504003
  • F. Pollmann, E. Berg, A. M. Turner, and M. Oshikawa, “Entanglement spectrum of a topological phase in one dimension,” Physical Review B 81, 064439 (2010). doi:10.1103/PhysRevB.81.064439
  • X.-L. Qi, H. Katsura, and A. W. W. Ludwig, “General relationship between the entanglement spectrum and the edge state spectrum of topological quantum states,” Physical Review Letters 108, 196402 (2012). doi:10.1103/PhysRevLett.108.196402
  • U. Schollwöck, “The density-matrix renormalization group in the age of matrix product states,” Annals of Physics 326, 96–192 (2011). doi:10.1016/j.aop.2010.09.012
  • A. Sterdyniak, N. Regnault, and B. A. Bernevig, “Extracting excitations from model state entanglement,” Physical Review Letters 106, 100405 (2011). doi:10.1103/PhysRevLett.106.100405
  • R. Thomale, A. Sterdyniak, N. Regnault, and B. A. Bernevig, “Entanglement gap and a new principle of adiabatic continuity,” Physical Review Letters 104, 180502 (2010). doi:10.1103/PhysRevLett.104.180502
  • A. M. Turner, F. Pollmann, and E. Berg, “Topological phases of one-dimensional fermions: An entanglement point of view,” Physical Review B 83, 075102 (2011). doi:10.1103/PhysRevB.83.075102
  • M. P. Zaletel, R. S. K. Mong, and F. Pollmann, “Topological characterization of fractional quantum Hall ground states from microscopic Hamiltonians,” Physical Review Letters 110, 236801 (2013). doi:10.1103/PhysRevLett.110.236801