Skip to content

Entanglement Spectrum

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.

This page owns the many-body use of:

  • Schmidt probabilities and energy-like entanglement levels;
  • normalized and shift-ambiguous entanglement-Hamiltonian conventions;
  • symmetry-resolved spectra and multiplet structure;
  • benchmark spectra for product, Bell-pair, GHZ, and AKLT-like states;
  • correlation-matrix reconstruction for number-conserving free fermions;
  • extraction from exact diagonalization and matrix-product states;
  • entanglement gaps, Schmidt gaps, and truncation tails;
  • cautious previews of topological, edge, and critical information;
  • numerical evidence standards for spectral claims.

Neighboring pages retain their canonical roles:

The emphasis here is operational: given a many-body state, what exactly should be diagonalized, plotted, labeled, compared, and claimed? The Many-Body Entanglement Glossary provides the compact Schmidt-coefficient, probability, modular-level, gap, and discarded-weight dictionary.

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.

A three-panel guide mapping Schmidt coefficients to probabilities and entanglement levels, showing symmetry-resolved low and high levels, and comparing numerical extraction routes.

An entanglement-spectrum ledger. Panel (a) separates Schmidt coefficients sαs_\alpha, normalized probabilities pα=sα2p_\alpha=s_\alpha^2, and energy-like levels ξα=−ln⁡pα\xi_\alpha=-\ln p_\alpha. Panel (b) illustrates a phase-specific low-lying band organized by subsystem charge qAq_A; the entanglement gap Δent\Delta_{\rm ent} is meaningful only after the low-level sector pattern has been declared. Panel (c) shows three common extraction routes. Every plot should retain sector labels, normalization checks, and numerical errors.

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(χ):=∑α>χpα.\epsilon_{\mathrm{disc}}(\chi) := \sum_{\alpha>\chi}p_\alpha.

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),\begin{aligned} S(\rho_A) &= H(\{p_q\}) \\ &\quad + \sum_q p_q S(\sigma_{A,q}), \end{aligned}

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.

In a one-dimensional gapped symmetry-protected phase, 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.

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 Affleck–Kennedy–Lieb–Tasaki fixed 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,

in the idealized fixed-point setting.

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 a finite interval there are two entanglement cuts and therefore two virtual edges. The low spectrum can approach a four-state structure with splittings controlled by their effective coupling. Half-chain and finite-interval multiplicities should not be conflated.

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∈AUij∗ci.f_j := \sum_{i\in A} U_{ij}^*c_i.

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 the reduced state of a generic interacting, non-Gaussian system.

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]h = \ln \left[ (I-C_A)C_A^{-1} \right]

on eigenmodes with 0<νj<10<\nu_j<1.

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 \\ &\quad -\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 Schmidt vectors on both sides;
  • 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−∑α=1χpα.\epsilon_{\mathrm{disc}} = 1- \sum_{\alpha=1}^{\chi}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 is

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

For an interval of length ℓ\ell in a gapped injective MPS, interactions between its two virtual entanglement edges are typically suppressed on scales set by

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

This explains why finite-interval multiplets may approach their asymptotic degeneracy exponentially rather than being exactly degenerate at small ℓ\ell.

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, Turner, Berg, and Oshikawa identified a double structure protected by specified symmetries, including suitable dihedral spin rotations, time reversal, or bond-centered inversion.

The evidence package is:

  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. The canonical evidence also includes local indistinguishability, topology-dependent ground sectors, loop operators, anyonic fusion and braiding, and stability under local perturbations.

Topological Entanglement Entropy Preview owns 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 owns 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.

State:

  • pure or mixed global state;
  • ground, eigenstate, thermal, quench, or trajectory state;
  • Hamiltonian parameters and symmetry sector;
  • normalization and numerical representation.

For a mixed global state, explain why the reduced spectrum is being called entanglement data, if it is.

Specify:

  • real-space, orbital, particle, momentum, or internal cut;
  • subsystem size and total size;
  • number of connected entanglement boundaries;
  • boundary conditions and topology;
  • basis or orbital convention;
  • gauge or algebra convention when factorization is subtle.

Changing the cut changes the observable.

Prefer:

  • SVD of the wavefunction coefficient matrix for a pure exact state;
  • canonical bond singular values for a one-cut MPS;
  • symmetry-blocked decompositions when charges are exact;
  • covariance-matrix methods only for Gaussian states.

Retain eigenvectors or projected symmetry matrices when the claim involves symmetry representations.

Check

∑αpα=1\sum_\alpha p_\alpha = 1

within a reported tolerance and verify

pα≥0.p_\alpha \geq 0.

Record:

ϵtrace:=∣1−∑αpα∣\epsilon_{\mathrm{trace}} := \left| 1-\sum_\alpha p_\alpha \right|

and

ϵneg:=∑pα<0∣pα∣.\epsilon_{\mathrm{neg}} := \sum_{p_\alpha<0} \lvert p_\alpha\rvert.

Do not simply discard negative numerical eigenvalues before documenting their total weight.

Declare whether the vertical axis is:

pα,−ln⁡pα,or−ln⁡(pα/p0).p_\alpha, \qquad -\ln p_\alpha, \qquad \text{or} \qquad -\ln(p_\alpha/p_0).

If each sector is shifted separately, say so and preserve a separate plot of the sector weights.

For every displayed level, retain all exact labels supported by the state and cut. If degeneracies are central, analyze symmetry within the full multiplet rather than labeling arbitrary eigenvectors.

Vary:

  • total size;
  • subsystem size or aspect ratio;
  • bond dimension;
  • eigensolver tolerance;
  • probability cutoff;
  • symmetry-preserving perturbations;
  • boundary conditions;
  • parameter values inside the proposed phase.

Plot splitting, gap, and discarded weight against the relevant size variable. A single visually clean spectrum is an illustration, not an asymptotic result.

From the retained probabilities, recompute:

SA=−∑αpαln⁡pαS_A = -\sum_\alpha p_\alpha\ln p_\alpha

and selected moments:

Tr⁡ρAn=∑αpαn.\operatorname{Tr}\rho_A^n = \sum_\alpha p_\alpha^n.

Compare them with independently computed entropies when available. Disagreement can expose missing sectors, wrong normalization, basis-ordering mistakes, or truncation.

Use language such as:

  • “the half-chain spectrum forms symmetry-labeled doublets within the numerical tolerance”;
  • “the low orbital levels have the predicted counting over the sizes studied”;
  • “an entanglement gap defined by this counting remains positive on the available circumferences”;
  • “the full high-level spectrum is nonuniversal and not used in the phase claim.”

Avoid:

  • “the spectrum proves topology”;
  • “the entanglement Hamiltonian is the edge Hamiltonian”;
  • “two equal entropies imply the same spectrum”;
  • “all small levels are converged.”
  • Not defining “Schmidt value.” State whether it means sαs_\alpha or pα=sα2p_\alpha=s_\alpha^2.
  • Mixing raw and shifted energies. Absolute ξα=−ln⁡pα\xi_\alpha=-\ln p_\alpha and ξα−ξ0\xi_\alpha-\xi_0 have different information.
  • Taking the logarithm of numerical noise. Negative and tiny eigenvalues require an error ledger and cutoff.
  • Calling a mixed-state subsystem spectrum entanglement. A maximally mixed product state has a flat reduced spectrum and no correlations.
  • Reading every degeneracy as topological. Symmetry, cat states, Bell pairs, and accidental crossings can all generate degeneracy.
  • Ignoring quantum numbers. Level counting without sector labels is often meaningless.
  • Shifting every sector independently without reporting weights. This erases physically relevant charge probabilities.
  • Equating the Schmidt gap with an entanglement-energy gap. p0−p1p_0-p_1 and ln⁡(p0/p1)\ln(p_0/p_1) are distinct.
  • Equating the entanglement gap with the physical gap. They arise from different operators.
  • Assuming KA=βHAK_A=\beta H_A. Exact modular Hamiltonians are generally state and boundary dependent.
  • Using one finite-size blank region as an entanglement gap. Define the low set and perform scaling.
  • Comparing different cuts as though they were the same observable. Orbital, particle, momentum, and real-space partitions are inequivalent.
  • Applying the correlation-matrix formula to an interacting non-Gaussian state. Two-point data then do not determine ρA\rho_A.
  • Using one MPS bond for a finite interval. An interval usually has two entanglement boundaries.
  • Cutting a symmetry multiplet during truncation. This creates artificial splitting and symmetry breaking.
  • Comparing Schmidt eigenvectors without fixing degenerate-subspace gauge. Arbitrary rotations can look like physical discontinuities.
  • Treating the full spectrum as universal within a phase. Short-distance unitaries near the cut can reshape it.
  • Using the spectrum as a stand-alone classifier. Combine it with gaps, symmetries, correlations, response, and phase-specific diagnostics.

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,\begin{aligned} H(\{p_q\}) &+ \frac34S(\sigma_{A,0}) \\ &= \frac32\ln2, \end{aligned}

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.

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.

For a pure bipartite state,

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

the Schmidt probabilities are

pα=sα2,∑αpα=1.p_\alpha=s_\alpha^2, \qquad \sum_\alpha p_\alpha=1.

The energy-like spectrum is

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

The normalized modular Hamiltonian

KA=−ln⁡ρAK_A=-\ln\rho_A

has eigenvalues ξα\xi_\alpha. An alternative HEH_E defined through

ρA=e−HEZE\rho_A = \frac{e^{-H_E}}{Z_E}

is shift ambiguous.

Entropy and Rényi moments are spectral summaries:

SA=∑αpαξα,Tr⁡ρAn=∑αe−nξα.\begin{aligned} S_A &= \sum_\alpha p_\alpha\xi_\alpha, \\ \operatorname{Tr}\rho_A^n &= \sum_\alpha e^{-n\xi_\alpha}. \end{aligned}

Symmetries organize the spectrum into sectors and multiplets. For an additive charge,

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

and

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

For number-conserving fermionic Gaussian states, the eigenvalues νj\nu_j of the restricted correlation matrix determine the complete many-body spectrum:

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

The entanglement spectrum can expose symmetry representations, truncation tails, boundary-like counting, and phase-specific low-level structure. Its interpretation remains conditional on the state, partition, symmetry, geometry, normalization, and finite-size limit. Degeneracy or an apparent entanglement gap is evidence to be explained, not a self-interpreting proof.

  1. 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
  2. P. Calabrese and A. Lefevre, “Entanglement spectrum in one-dimensional systems,” Physical Review A 78, 032329 (2008). doi:10.1103/PhysRevA.78.032329
  3. 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
  4. 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
  5. F. Pollmann, A. M. Turner, E. Berg, and M. Oshikawa, “Entanglement spectrum of a topological phase in one dimension,” Physical Review B 81, 064439 (2010). doi:10.1103/PhysRevB.81.064439
  6. L. Fidkowski, “Entanglement spectrum of topological insulators and superconductors,” Physical Review Letters 104, 130502 (2010). doi:10.1103/PhysRevLett.104.130502
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. N. Laflorencie, “Quantum entanglement in condensed matter systems,” Physics Reports 646, 1–59 (2016). doi:10.1016/j.physrep.2016.06.008
  19. 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