Skip to content

Density-matrix renormalization group is a variational ground-state method whose practical power comes from matching a one-dimensional tensor representation to the entanglement structure of the target state. It replaces one exponentially large eigenproblem by a sequence of local effective eigenproblems, but the resulting calculation is trustworthy only after bond, sweep, sector, initialization, and finite-size convergence have all been tested.

Here the system is a finite open chain with a Hermitian Hamiltonian. The method optimizes one site or an adjacent pair, factors the resulting tensor, and moves this center through the chain. Repeating left-to-right and right-to-left passes updates the effective bases until the requested observables stabilize.

Required background. Matrix product states explains canonical forms and Schmidt bonds; singular-value decomposition supplies the local factorization.

Let Mχ\mathcal M_{\boldsymbol\chi} denote the set of open-boundary MPS whose bond dimensions are bounded by

χ=(χ1,…,χL−1).\boldsymbol\chi = (\chi_1,\ldots,\chi_{L-1}).

At fixed physical basis, ordering, boundary condition, and symmetry sector, the variational target is

Eχ=min⁡∣ψ(A)⟩∈Mχ⟨ψ(A)∣H∣ψ(A)⟩⟨ψ(A)∣ψ(A)⟩.E_{\boldsymbol\chi} = \min_{\lvert\psi(A)\rangle\in\mathcal M_{\boldsymbol\chi}} \frac{ \langle\psi(A)\lvert H\rvert\psi(A)\rangle }{ \langle\psi(A)\vert\psi(A)\rangle }.

For any normalized represented state in the Hamiltonian form domain, its exactly evaluated energy is an upper bound to the global ground energy. Thus

Eχ≥E0.E_{\boldsymbol\chi} \ge E_0.

Increasing a bond dimension enlarges the accessible state class, so the exact variational optimum cannot increase:

χ′≥χ⟹Eχ′≤Eχ.\boldsymbol\chi' \ge \boldsymbol\chi \quad\Longrightarrow\quad E_{\boldsymbol\chi'} \le E_{\boldsymbol\chi}.

If a symmetry restriction excludes the global ground state, the class minimum is bounded below by the sector ground energy instead; it is still an upper bound to the global value. This monotonic statement concerns the global optimum in each class, with the same Hamiltonian and sector. A practical DMRG run may not find that optimum. The MPS parameterization is nonlinear and gauge-redundant, and the energy landscape can contain stationary points or narrow directions that trap a local update.

DMRG therefore performs alternating optimization: hold every tensor except one site or one adjacent pair fixed, solve the resulting local variational problem, move the center, and repeat.

Place an MPS in mixed-canonical form with its center at site ii. The state can be written

∣ψ(AC)⟩=∑α,s,β(AC)αβs∣αL⟩∣si⟩∣βR⟩.\lvert\psi(A_C)\rangle = \sum_{\alpha,s,\beta} (A_C)^s_{\alpha\beta} \lvert\alpha_L\rangle \lvert s_i\rangle \lvert\beta_R\rangle.

Here:

  • {∣αL⟩}\{\lvert\alpha_L\rangle\} is the effective basis generated by the left-canonical tensors;
  • {∣βR⟩}\{\lvert\beta_R\rangle\} is the effective basis generated by the right-canonical tensors;
  • {∣si⟩}\{\lvert s_i\rangle\} is the local physical basis;
  • ACA_C is the only variational tensor in the one-site step.

Canonical form makes the effective basis orthonormal:

⟨αL∣αL′⟩=δαα′,⟨βR∣βR′⟩=δββ′.\langle\alpha_L\vert\alpha_L'\rangle = \delta_{\alpha\alpha'}, \qquad \langle\beta_R\vert\beta_R'\rangle = \delta_{\beta\beta'}.

Flatten the center tensor into a vector aa. The map from its entries to the full Hilbert space is linear:

∣ψ(a)⟩=Xia.\lvert\psi(a)\rangle = X_i a.

The projected operators are

Heff=Xi†HXi,Neff=Xi†Xi.H_{\mathrm{eff}} = X_i^\dagger H X_i, \qquad N_{\mathrm{eff}} = X_i^\dagger X_i.

The local Rayleigh quotient is

E(a)=a†Heffaa†Neffa.\mathcal E(a) = \frac{ a^\dagger H_{\mathrm{eff}}a }{ a^\dagger N_{\mathrm{eff}}a }.

After removing any redundant zero-norm coordinates, stationarity with respect to the complex coordinates a†a^\dagger gives the generalized eigenproblem

Heffa=ElocNeffa.H_{\mathrm{eff}}a = E_{\mathrm{loc}} N_{\mathrm{eff}}a.

In exact mixed-canonical form, XiX_i is an isometry and

Neff=I,N_{\mathrm{eff}} = I,

so the local problem becomes

Heffa=Eloca.H_{\mathrm{eff}}a = E_{\mathrm{loc}}a.

This identity is more than a cosmetic simplification. It removes an ill-conditioned norm matrix and makes the local residual physically interpretable.

A local Hamiltonian is commonly represented as a matrix product operator (MPO). The tensors to the left and right of the center can then be contracted into reusable environments:

Li,Ri.L_i, \qquad R_i.

Together with the local MPO tensor, these environments define the action of HeffH_{\mathrm{eff}} on the center tensor. One should normally apply this action by contraction rather than form the dense effective matrix.

For a one-site center, the effective vector dimension is

n1s=qiχi−1χi.n_{\mathrm{1s}} = q_i\chi_{i-1}\chi_i.

For a two-site center,

n2s=qiqi+1χi−1χi+1.n_{\mathrm{2s}} = q_i q_{i+1} \chi_{i-1}\chi_{i+1}.

These are local dimensions, not full Hilbert-space dimensions. Symmetry blocks can reduce them substantially, while large local bases, wide MPO bonds, or large MPS bonds can still make the local solve expensive.

An iterative eigensolver seeks the lowest vector without storing all of HeffH_{\mathrm{eff}}. Its residual is

rloc=∥Heffa−Eloca∥.r_{\mathrm{loc}} = \left\| H_{\mathrm{eff}}a - E_{\mathrm{loc}}a \right\|.

A small rlocr_{\mathrm{loc}} identifies an approximate eigenpair of the local matrix, but does not by itself prove it is that matrix’s lowest eigenpair. Even an exact local minimum need not be a global MPS optimum.

For a concrete example, take H=−Z1−Z2−gX1X2H=-Z_1-Z_2-gX_1X_2 with g>0g>0 and Pauli matrices X,ZX,Z. In the product state ∣00⟩|00\rangle, optimizing either site alone keeps it unchanged: the other site’s ⟨X⟩=0\langle X\rangle=0 removes the coupling from the local problem. Both local residuals vanish. Nevertheless,

H∣00⟩=−2∣00⟩−g∣11⟩,∥(H+2)∣00⟩∥=g.H|00\rangle=-2|00\rangle-g|11\rangle, \qquad \|(H+2)|00\rangle\|=g.

The global ground energy is −4+g2<−2-\sqrt{4+g^2}<-2, in an entangled state. A two-site update can explore the missing direction. This explains why local convergence and full-state variance test different questions.

A one-site update optimizes ACA_C while every other tensor is fixed.

One left-to-right step is:

  • Put the orthogonality center at site ii.
  • Contract or update LiL_i and RiR_i.
  • Solve the lowest local eigenproblem for ACA_C.
  • Factor the optimized center to make site ii left-canonical.
  • Absorb the remaining factor into site i+1i+1.
  • Advance the center and update the environment.

The reverse half-sweep exchanges left and right.

If:

  • the current center is included in the local search space;
  • the effective problem is solved accurately;
  • canonicalization is numerically stable;
  • and no truncation changes the state;

then the local variational energy should not increase. A violation larger than numerical tolerances signals an inconsistent environment, loose local solve, normalization problem, or implementation error.

  • It keeps the declared bond dimensions fixed.
  • It avoids the larger two-site center.
  • It is strictly variational under the stated conditions.
  • It works naturally with block-sparse symmetry sectors.

The fixed local basis can make a one-site method reluctant to create directions absent from the current bond space. It may stall in a metastable state, especially after an unfortunate initialization or an overly restrictive symmetry pattern.

Reliable one-site variants use controlled enrichment, mixing, or subspace expansion. Such devices enlarge the local search directions without turning a numerical perturbation into part of the physical Hamiltonian. Their strength must itself be converged or reduced as the calculation settles.

A two-site update combines adjacent sites into

Θαsisi+1β.\Theta_{\alpha s_i s_{i+1}\beta}.

The state is

∣ψ(Θ)⟩=∑α,si,si+1,βΘαsisi+1β×∣αL⟩∣sisi+1⟩∣βR⟩.\lvert\psi(\Theta)\rangle = \sum_{\alpha,s_i,s_{i+1},\beta} \Theta_{\alpha s_i s_{i+1}\beta} {}\times \lvert\alpha_L\rangle \lvert s_i s_{i+1}\rangle \lvert\beta_R\rangle.

DMRG solves the two-site effective problem

Heff(2)θ=Elocθ,H_{\mathrm{eff}}^{(2)}\theta = E_{\mathrm{loc}}\theta,

where θ\theta is the flattened two-site tensor. The optimized tensor is then reshaped as a matrix,

Θ(αsi),(si+1β),\Theta_{(\alpha s_i),(s_{i+1}\beta)},

and factorized:

Θ=USV†.\Theta = USV^\dagger.

Keeping at most χmax⁡\chi_{\max} singular values defines the new bond and moves the orthogonality center.

The enlarged center can alter the bond basis and adapt the bond dimension. It can introduce correlations or symmetry-compatible directions that a fixed-bond one-site update cannot reach easily.

Before truncation, the optimized two-site state has energy no larger than the previous state when the local solve is exact and the previous state belongs to the search space. The SVD then chooses the best low-rank approximation in state norm, not the state that minimizes energy after truncation. Consequently:

Eafter truncationE_{\mathrm{after\ truncation}}

may exceed

Ebefore truncation,E_{\mathrm{before\ truncation}},

and can occasionally exceed the energy before the local update. Subsequent updates usually recover the variational improvement, but the distinction must not be hidden when diagnosing a sweep.

Suppose the normalized two-site center has singular values

s1≥s2≥⋯≥0,∑asa2=1.s_1\ge s_2\ge\cdots\ge0, \qquad \sum_a s_a^2=1.

Keeping the first χ\chi values gives the local discarded weight

ϵdisc=∑a>χsa2.\epsilon_{\mathrm{disc}} = \sum_{a>\chi}s_a^2.

For the unnormalized Schmidt projection ∣ψ~χ⟩\lvert\widetilde\psi_\chi\rangle,

∥∣ψ⟩−∣ψ~χ⟩∥2=ϵdisc,\left\| \lvert\psi\rangle - \lvert\widetilde\psi_\chi\rangle \right\|^2 = \epsilon_{\mathrm{disc}},

and

⟨ψ~χ∣ψ~χ⟩=1−ϵdisc.\langle\widetilde\psi_\chi \vert \widetilde\psi_\chi\rangle = 1-\epsilon_{\mathrm{disc}}.

After normalization,

∣ψχ⟩=∣ψ~χ⟩1−ϵdisc,\lvert\psi_\chi\rangle = \frac{ \lvert\widetilde\psi_\chi\rangle }{ \sqrt{1-\epsilon_{\mathrm{disc}}} },

the squared overlap is

∣⟨ψ∣ψχ⟩∣2=1−ϵdisc.\left| \langle\psi\vert\psi_\chi\rangle \right|^2 = 1-\epsilon_{\mathrm{disc}}.

For this single truncation, any bounded observable obeys

∣⟨O⟩ψ−⟨O⟩ψχ∣≤2∥O∥∞ϵdisc.\left| \langle O\rangle_\psi - \langle O\rangle_{\psi_\chi} \right| \le 2\lVert O\rVert_\infty \sqrt{\epsilon_{\mathrm{disc}}}.

This is a bound on the full represented state for one bond truncation, not a claim restricted to local observables. A sweep contains many adaptive truncations, and their effects can interact. The maximum discarded weight, the sum of discarded weights, and a package-reported truncation error are useful diagnostics, but none is a universal global error bar on every observable.

A half-sweep moves the center from one end of the finite chain to the other. A full sweep normally means one left-to-right and one right-to-left pass, although software conventions differ. A reproducible report must state its convention.

At every move:

  • the newly passed tensor is put in the appropriate canonical gauge;
  • one environment is extended;
  • the environment on the far side is reused;
  • the local problem is solved;
  • truncation data and local diagnostics are recorded.

Two-site DMRG sweep with canonical regions, environments, local solve, SVD, truncation, and center motion

After the local solve, Θ=USV†\Theta=USV^\dagger. Retaining the largest singular values produces a left-canonical tensor UU and a new center SV†SV^\dagger on the next site. This changes the basis across their shared bond; the neighboring canonical regions stay fixed during this step.

One sweep is not a physical time evolution. Its direction and intermediate states are algorithmic. Each normalized intermediate MPS is a legitimate trial state with meaningful expectation values, but the succession of sweeps does not represent its physical dynamics.

Why the method is called density-matrix renormalization group

Section titled “Why the method is called density-matrix renormalization group”

In the original block formulation, a system block was enlarged and then compressed. The retained block states were the eigenvectors of a reduced density matrix with the largest eigenvalues.

For a bipartite target state,

∣ψ⟩=∑asa∣aL⟩∣aR⟩,\lvert\psi\rangle = \sum_a s_a \lvert a_L\rangle \lvert a_R\rangle,

the reduced density matrix is

ρL=∑asa2∣aL⟩⟨aL∣.\rho_L = \sum_a s_a^2 \lvert a_L\rangle\langle a_L\rvert.

Keeping its largest eigenvalues is exactly Schmidt truncation. Modern finite-system DMRG written in MPS language performs the same optimal local compression through the SVD of the center tensor.

The historical name can otherwise mislead:

  • DMRG is not a real-space renormalization-group flow that preserves every low-energy state.
  • The density matrix belongs to the chosen target state or target ensemble.
  • Modern implementations need not explicitly construct and diagonalize a dense reduced density matrix.
  • The method is best understood as variational MPS optimization with adaptive Schmidt bases.

White introduced the density-matrix selection principle in 1992 and developed the finite-system algorithms in 1993. The later MPS interpretation made the variational state class and entanglement limitation explicit.

Why one-dimensional gapped systems are favorable

Section titled “Why one-dimensional gapped systems are favorable”

Three structures cooperate.

For a contiguous cut of an open one-dimensional chain, one MPS bond crosses the cut:

SA≤ln⁡χ.S_A \le \ln\chi.

Ground states of broad classes of local gapped one-dimensional Hamiltonians obey an area law. Their Schmidt spectra often decay sufficiently rapidly that moderate bond dimensions capture local observables and energies accurately.

The precise theorem status and converse cautions belong to Area Laws. An area law is not by itself a certificate that a particular χ\chi is adequate or that a local optimizer will find the desired state.

Short-range one-dimensional Hamiltonians admit compact MPO representations. Their effective actions can be evaluated from left and right environments without constructing the full Hamiltonian matrix.

Canonical MPS gauges provide orthonormal effective block bases and stable local norm matrices. As the center moves, most contractions are reused rather than recomputed from scratch.

The favorable implication is therefore conditional:

local 1D Hamiltonian+compressible entanglement+successful variational search⟹accurate DMRGat accessible χ.\begin{gathered} \text{local 1D Hamiltonian} \\ + \text{compressible entanglement} \\ + \text{successful variational search} \\ \Longrightarrow \text{accurate DMRG} \\ \text{at accessible }\chi. \end{gathered}

Removing any one condition can change the conclusion.

Critical ground states commonly have entanglement growing with subsystem size. Optimized clustering MPS approximations at finite bond dimension generally introduce a finite transfer correlation length ξχ\xi_\chi. Noninjective states can retain long-range order at finite bond dimension, so inspect the transfer spectrum before using this interpretation. A stable energy at one χ\chi does not distinguish a physical gap from finite-entanglement saturation.

Critical studies require a controlled grid in system size and bond dimension, with the regimes in Entanglement and Criticality kept distinct.

Mapping a width-WW cylinder to a one-dimensional ordering makes a transverse cut intersect O(W)O(W) physical bonds. If

Scut∼αW,S_{\mathrm{cut}} \sim \alpha W,

then an MPS needs at least

χ≳eαW\chi \gtrsim e^{\alpha W}

to reproduce this entropy. Approximation at a specified fidelity is controlled by the Schmidt tail; the entropy capacity alone does not give its required bond dimension. DMRG can be powerful on cylinders, but cost generally grows rapidly with width. Width convergence, ordering, aspect ratio, boundary pinning, and sector selection all become part of the physical inference.

Highly excited states, generic long-time states after global quenches, and other volume-law targets can require

ln⁡χ∝L\ln\chi \propto L

across central cuts. The required bond dimension is then exponential in system size.

Long-range couplings and large local spaces

Section titled “Long-range couplings and large local spaces”

Long-range Hamiltonians may need a larger MPO bond dimension or an approximation to the interaction kernel. Bosonic, molecular, or orbital problems may also need a large local basis. DMRG then carries both a bond truncation and a local-basis or operator-compression error.

For roughly uniform local dimension qq, MPS bond dimension χ\chi, and MPO bond dimension ww, the work per open-chain sweep is often:

  • linear in chain length LL;
  • polynomial in qq and ww;
  • dominated by contractions with a cost commonly cubic in χ\chi.

But there is no universal formula such as “DMRG costs Lχ3L\chi^3” without qualifications. The exponent and prefactor depend on:

  • one-site versus two-site updates;
  • contraction order;
  • MPO structure and range;
  • symmetry block sizes;
  • local eigensolver iterations;
  • target-state multiplicity;
  • boundary conditions;
  • memory strategy and parallelization.

A defensible scaling claim reports measured wall time and memory against LL, χ\chi, ww, and symmetry content for the actual calculation.

Block-sparse tensors can enforce conserved charges such as particle number or total spin projection:

Qleft+qs=Qright.Q_{\mathrm{left}} + q_s = Q_{\mathrm{right}}.

This reduces cost and prevents drift out of the selected sector. It can also prevent the optimizer from reaching a lower state in another sector. A ground-state claim must compare all physically relevant sectors or justify the selected one.

For non-Abelian symmetries, multiplet structure changes the meaning of “number of kept states.” Reports should distinguish reduced multiplets from total bond-state dimension.

DMRG sees the one-dimensional order supplied to it. A poor ordering can turn short-range physical correlations into long-range MPS entanglement and enlarge the MPO. Ordering is therefore a variational design choice, not a cosmetic indexing convention.

Open boundaries align naturally with canonical MPS sweeps. They also create edge profiles and may select among nearly degenerate states. Periodic boundaries can reduce edge effects but are usually less favorable computationally.

Bulk observables should be measured in controlled central windows or extrapolated with boundary effects exposed. See Boundary Conditions on Lattices.

Common initializations include:

  • a product state in the desired sector;
  • a random symmetry-compatible MPS;
  • a converged state at smaller χ\chi;
  • a nearby parameter point;
  • an exact-diagonalization state on a smaller system;
  • a state with deliberately chosen boundary pinning or unit cell.

Continuation can accelerate a scan, but it can also preserve hysteresis and metastability. Near first-order transitions, competing orders, topological sectors, or nearly degenerate manifolds, use independent initial states that favor different candidates.

Agreement along one optimization history characterizes one basin; compare independent initial states to search for lower ones.

Convergence should be established in layers.

At every center, monitor:

rloc=∥Heffa−Eloca∥.r_{\mathrm{loc}} = \left\| H_{\mathrm{eff}}a - E_{\mathrm{loc}}a \right\|.

The local tolerance should be tighter than the physical changes one intends to resolve. Oversolving early sweeps can waste work because the environments are still changing; undersolving late sweeps can create false stationarity.

Across complete sweeps, track:

ΔEsweep=∣E(n)−E(n−1)∣,\Delta E_{\mathrm{sweep}} = \left| E^{(n)} - E^{(n-1)} \right|,

as well as changes in representative local observables, correlations, entanglement data, and symmetry labels.

The energy can converge before delicate observables. A small ΔEsweep\Delta E_{\mathrm{sweep}} shows only that the energy changes little. It does not establish stationarity of every tensor or convergence of correlations.

Repeat the calculation over a sequence

χ1<χ2<⋯\chi_1 < \chi_2 < \cdots

or over decreasing discarded-weight targets. Compare:

  • energy and energy density;
  • energy variance;
  • local and long-distance observables;
  • correlation lengths;
  • Schmidt spectra and entropies;
  • state quantum numbers;
  • dependence on initialization and sweep schedule.

For a normalized state,

σH2=⟨H2⟩−⟨H⟩2\sigma_H^2 = \langle H^2\rangle - \langle H\rangle^2

and equivalently

σH=∥(H−E)∣ψ⟩∥.\sigma_H = \left\| (H-E)\lvert\psi\rangle \right\|.

An exact eigenstate has zero variance. Variance probes the full represented state rather than one local effective problem, testing directions that local optimization may omit.

Energy-versus-variance extrapolation can be useful near a well-isolated eigenstate, but linearity is not a theorem for arbitrary state families or fitting windows.

Only after controlling solver and bond errors should one infer:

L→∞,W→∞,or another physical limit.\begin{gathered} L\to\infty, \\ W\to\infty, \\ \text{or another physical limit}. \end{gathered}

For critical systems, finite size and finite entanglement are competing infrared cutoffs. For cylinders, length, width, aspect ratio, and bond dimension are separate axes.

For

H=−∑i=1LZi,H = - \sum_{i=1}^{L}Z_i,

the ground state is a product state with χ=1\chi=1. A DMRG implementation should recover:

E0=−L,σH2=0,ϵdisc=0.E_0 = -L, \qquad \sigma_H^2 = 0, \qquad \epsilon_{\mathrm{disc}} = 0.

This checks local basis ordering, Hamiltonian signs, normalization, and the sweep loop. It does not test nontrivial entanglement.

For an interacting chain small enough for exact diagonalization, compare:

EDMRG,σH,∣⟨ψED∣ψDMRG⟩∣2,E_{\mathrm{DMRG}}, \qquad \sigma_H, \qquad \left| \langle\psi_{\mathrm{ED}} \vert \psi_{\mathrm{DMRG}}\rangle \right|^2,

along with several observables. Energy agreement alone can conceal an incorrect vector inside a nearly degenerate subspace.

For the antiferromagnetic spin-1/21/2 chain,

H=J∑iSi⋅Si+1,J>0,H = J \sum_{i} \mathbf S_i\cdot\mathbf S_{i+1}, \qquad J>0,

use small-LL exact diagonalization, then increase LL and χ\chi. The infinite-chain energy density is a valuable analytic check, but open-boundary finite systems contain edge and finite-size corrections. The canonical Heisenberg Model page fixes the model conventions and physical interpretation.

The cleanest excited-state target is often the lowest state in a different exact symmetry sector. Within one sector, common strategies include:

  • explicit orthogonality constraints against lower states;
  • projector penalties;
  • state-averaged reduced density matrices;
  • block or multi-state optimization;
  • tangent-space or correction-vector methods for specific responses.

A projector-penalty target has the schematic form

H′=H+∑n<kμn∣ψn⟩⟨ψn∣.H' = H + \sum_{n<k} \mu_n \lvert\psi_n\rangle\langle\psi_n\rvert.

The penalty strengths, orthogonality errors, and accumulated errors in the lower states must be controlled. An excited-state variational search can converge to the wrong root even when its local residuals are small.

Infinite-system algorithms, dynamical DMRG, finite-temperature purification, and non-Hermitian transfer problems share tensor-network ingredients but have distinct fixed points and validation requirements. They should not be inferred from finite ground-state DMRG without a dedicated analysis.

A normalized two-site center has Schmidt probabilities

(p1,p2,p3)=(0.49,0.36,0.10),(p4,p5)=(0.04,0.01).\begin{gathered} (p_1,p_2,p_3) = (0.49,0.36,0.10), \\ (p_4,p_5) = (0.04,0.01). \end{gathered}

If only χ=2\chi=2 values are kept, find the discarded weight, retained norm, normalized-state fidelity, and the single-truncation worst-case observable bound.

Solution

The discarded weight is

ϵdisc=0.10+0.04+0.01=0.15.\epsilon_{\mathrm{disc}} = 0.10+0.04+0.01 = 0.15.

The unnormalized retained state has norm squared

1−ϵdisc=0.85.1-\epsilon_{\mathrm{disc}} = 0.85.

Its norm is therefore

0.85≈0.922.\sqrt{0.85} \approx 0.922.

After normalization, its squared overlap with the original state is

F=∣⟨ψ∣ψχ⟩∣2=0.85.F = \left| \langle\psi\vert\psi_\chi\rangle \right|^2 = 0.85.

For a bounded observable,

∣⟨O⟩ψ−⟨O⟩ψχ∣≤20.15∥O∥∞≈0.775∥O∥∞.\begin{aligned} \left| \langle O\rangle_\psi - \langle O\rangle_{\psi_\chi} \right| &\le 2\sqrt{0.15} \lVert O\rVert_\infty \\ &\approx 0.775 \lVert O\rVert_\infty. \end{aligned}

This deliberately loose bound concerns one truncation. It is not a global sweep error estimate.

Classify each statement as correct or incorrect.

  • An exactly solved one-site update in exact canonical gauge cannot increase the variational energy.
  • An exactly solved two-site update cannot increase the energy after SVD truncation.
  • The global optimum cannot increase when every allowed bond dimension is enlarged.
  • A practical run at larger χ\chi must always return a lower energy.
Solution

Statement 1 is correct under its assumptions. The previous center tensor belongs to the local search space, so exact minimization cannot do worse.

Statement 2 is incorrect. The pre-truncation local state is variationally improved, but the SVD selects the best state-norm truncation rather than the minimum-energy state at the retained rank.

Statement 3 is correct. Enlarging all bond bounds nests the variational classes, so their exact global minima are monotone.

Statement 4 is incorrect. A practical nonlinear optimization can land in a worse basin, use a looser local tolerance, or target a different effective sector. The variational-class statement does not guarantee algorithmic success.

Exercise 4: Separate local and global residuals

Section titled “Exercise 4: Separate local and global residuals”

A run reports

rloc<10−11r_{\mathrm{loc}} < 10^{-11}

at every center but has

σH=10−3.\sigma_H = 10^{-3}.

What has converged, and what has not?

Solution

Every recorded center tensor accurately solves its current effective eigenproblem. The full-state residual is larger than the local residuals. It does not by itself set an eigenvector error: that also depends on spectral separation and the energy scale. It shows that local solves alone have not reduced the global residual to the same tolerance.

Possible causes include:

  • inadequate bond dimension;
  • a sweep that has not reached a fixed point;
  • inconsistent or stale environments;
  • truncation after accurate local solves;
  • convergence to a variationally stationary but imperfect state.

The local residual and global variance answer different questions. The stronger ground-state claim must wait for bond and sweep studies and for the variance to meet the physical target.

  • M. B. Hastings, “An Area Law for One-Dimensional Quantum Systems,” Journal of Statistical Mechanics: Theory and Experiment (2007) P08024, doi:10.1088/1742-5468/2007/08/P08024.
  • C. Hubig, I. P. McCulloch, U. Schollwöck, and F. A. Wolf, “Strictly Single-Site DMRG Algorithm with Subspace Expansion,” Physical Review B 91, 155115 (2015), doi:10.1103/PhysRevB.91.155115.
  • I. P. McCulloch, “From Density-Matrix Renormalization Group to Matrix Product States,” Journal of Statistical Mechanics: Theory and Experiment (2007) P10014, doi:10.1088/1742-5468/2007/10/P10014.
  • S. Östlund and S. Rommer, “Thermodynamic Limit of Density Matrix Renormalization,” Physical Review Letters 75, 3537–3540 (1995), doi:10.1103/PhysRevLett.75.3537.
  • U. Schollwöck, “The Density-Matrix Renormalization Group,” Reviews of Modern Physics 77, 259–315 (2005), doi:10.1103/RevModPhys.77.259.
  • 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.
  • N. Schuch, M. M. Wolf, F. Verstraete, and J. I. Cirac, “Entropy Scaling and Simulability by Matrix Product States,” Physical Review Letters 100, 030504 (2008), doi:10.1103/PhysRevLett.100.030504.
  • G. K.-L. Chan and S. Sharma, “The Density Matrix Renormalization Group in Quantum Chemistry,” Annual Review of Physical Chemistry 62, 465–481 (2011), doi:10.1146/annurev-physchem-032210-103338.
  • Ö. Legeza and J. Sólyom, “Optimizing the Density-Matrix Renormalization Group Method Using Quantum Information Entropy,” Physical Review B 68, 195116 (2003), doi:10.1103/PhysRevB.68.195116.
  • F. Verstraete, V. Murg, and J. I. Cirac, “Matrix Product States, Projected Entangled Pair States, and Variational Renormalization Group Methods for Quantum Spin Systems,” Advances in Physics 57, 143–224 (2008), doi:10.1080/14789940801912366.
  • S. R. White, “Density Matrix Formulation for Quantum Renormalization Groups,” Physical Review Letters 69, 2863–2866 (1992), doi:10.1103/PhysRevLett.69.2863.
  • S. R. White, “Density-Matrix Algorithms for Quantum Renormalization Groups,” Physical Review B 48, 10345–10356 (1993), doi:10.1103/PhysRevB.48.10345.
  • E. M. Stoudenmire and S. R. White, “Studying Two-Dimensional Systems with the Density Matrix Renormalization Group,” Annual Review of Condensed Matter Physics 3, 111–128 (2012), doi:10.1146/annurev-conmatphys-020911-125018.
  • S. Rommer and S. Östlund, “Class of Ansatz Wave Functions for One-Dimensional Spin Systems and Their Relation to the Density Matrix Renormalization Group,” Physical Review B 55, 2164–2181 (1997), doi:10.1103/PhysRevB.55.2164.