Folded Effective Hamiltonians
An exact projection of the Schrödinger equation produces an effective Hamiltonian that depends on the energy being sought. A folded effective Hamiltonian reorganizes that energy dependence into an energy-independent operator acting on a chosen model space. In many-body perturbation theory, the extra terms generated by this reorganization are called folded diagrams.
The method solves a practical problem. A shell-model, multireference, or valence-space calculation should diagonalize one matrix and obtain several target states. It is inconvenient to assign a different nonlinear Hamiltonian to every eigenvalue. Folding converts the feedback of the unknown energy into derivatives and repeated insertions of an energy-dependent vertex, traditionally called the Q-box.
This is a specialized extension of Projection Methods, which owns the exact P/Q reduction and state reconstruction. Brillouin–Wigner Perturbation Theory owns the energy-dependent perturbative eigenvalue equation. Schrieffer–Wolff Transformation constructs an energy-independent Hamiltonian by perturbative block diagonalization instead of Q-box folding.
The Energy-Independent Target
Section titled “The Energy-Independent Target”Let project onto a -dimensional model space and let . Select exact eigenstates,
whose projected vectors
are linearly independent. They need not be orthogonal. Introduce biorthogonal dual vectors in satisfying
An exact energy-independent model-space Hamiltonian is then
It obeys
This formula defines the target but does not yet make it computable: it uses the exact eigenvalues and projected eigenvectors one was trying to find. Folded-diagram methods construct the same kind of operator from perturbative model-space vertices.
Two lessons are already visible:
- the effective Hamiltonian depends on which exact states are selected;
- it is generally non-Hermitian because the projected eigenvectors are generally nonorthogonal.
An energy-independent effective Hamiltonian is therefore not unique. Similarity transformations within can change its matrix elements without changing the selected spectrum.
Degenerate Model-Space Setup
Section titled “Degenerate Model-Space Setup”The cleanest folded expansion assumes a degenerate unperturbed model space. Write
with
Define the energy-dependent Q-box by
The calligraphic symbol distinguishes the Q-box from the complementary projector . Many papers write the vertex simply as .
The exact projected equation is
This is the Bloch–Horowitz or Brillouin–Wigner form specialized to the degenerate model space. The first term in the Q-box acts directly inside . The resolvent term leaves , propagates entirely inside , and returns.
The Q-box has poles at eigenvalues of . It is therefore not an ordinary constant interaction. Its variation with measures how strongly the eliminated sector reacts when the target energy changes.
The Q-box contains irreducible excursions through . Expanding it about produces derivative vertices . Feeding the model-space interaction back through those vertices sums folded contributions and yields .
Trading Energy Dependence for Folds
Section titled “Trading Energy Dependence for Folds”Write the desired energy-independent Hamiltonian as
For a selected model-space eigenvector,
The energy-dependent equation requires
Assume the Q-box is analytic between and the selected energies. Define its normalized derivatives by
For ,
Taylor expansion gives
If the selected vectors span , the operator equation is
This is the algebraic core of folding. The order of the factors matters: acts first on a model-space state, and the derivative vertex acts afterward. The formula is simplest for a degenerate model space; nondegenerate spaces require multi-energy or generalized constructions rather than blind reuse of this equation.
What a fold represents
Section titled “What a fold represents”The Q-box is built to exclude model-space intermediate propagation from its internal resolvent. Yet the exact energy entering the Q-box already contains the model-space interaction . Expanding in that energy feeds model-space propagation back into the vertex. Diagrammatically, joining irreducible vertices across such a model-space propagation folds one contribution over another.
Recursive substitution generates terms of the form
This line displays representative early structures, not a complete truncation rule. A consistent many-body calculation organizes terms by perturbative order, number of folds, or a specified iteration scheme.
Folding does not describe an additional physical interaction. It removes the starting-energy dependence and corrects the counting of model-space intermediate propagation. Omitting folds while retaining a truncated Q-box generally leaves an effective interaction that depends on the arbitrary starting energy .
Iterative Constructions
Section titled “Iterative Constructions”The simplest fixed-point iteration is
This expression is pedagogically transparent but is not the only practical summation. Kuo–Krenciglowa and Lee–Suzuki constructions reorganize the same derivative information with different iteration maps and root-selection properties.
For the degenerate Lee–Suzuki recursion, the first two interaction iterates can be written
The inverse in already sums repeated first-derivative insertions. Higher iterates include higher Q-box derivatives and ordered products of earlier iterates.
Iteration is not merely an implementation detail. In common degenerate formulations, Kuo–Krenciglowa-type iterations are associated with eigenstates having substantial model-space overlap, while the standard Lee–Suzuki construction is organized around eigenvalues near the chosen starting energy. Precise selection and convergence depend on the variant, the projector, and the spectrum. A method name alone does not guarantee that the desired roots will be obtained.
For a scalar fixed-point equation , local iteration converges only if
at the target root. The operator problem has a corresponding stability analysis involving the derivative of the iteration map. Large Q-box derivatives are therefore a direct warning sign.
Worked Example: Folds in a Two-Level Model
Section titled “Worked Example: Folds in a Two-Level Model”Consider
and retain the first state. Let
The Q-box is the scalar
Writing , the exact projected equation becomes
Expansion about gives
The first Q-box term gives
Feeding it through the first derivative gives the first folded correction,
At sixth order, two feedback structures contribute:
Therefore
The exact root connected continuously to the retained level is
Its expansion agrees with the folded series for either sign of nonzero . The Q-box has a pole at , so the Taylor series requires
This example isolates the meaning of a fold: it generates the higher-order consequences of evaluating the self-energy at the shifted energy rather than at the unperturbed one.
Linked and Irreducible Many-Body Vertices
Section titled “Linked and Irreducible Many-Body Vertices”In nuclear shell-model and atomic many-body applications, the Q-box is not evaluated as one exact resolvent. It is expanded in diagrams. The standard construction retains contributions that are:
- valence linked, so every disconnected piece is connected to a valence line;
- irreducible with respect to the model space, so intermediate states internal to the Q-box lie outside ;
- evaluated to a stated order in the residual interaction.
Folded diagrams then restore the model-space feedback needed to create an energy-independent interaction while preserving linked structure. The detailed graphical rules depend on the many-body formalism and are not identical to merely multiplying two ordinary Feynman diagrams.
The bookkeeping has a second layer. Even if the starting interaction is two-body, eliminating degrees of freedom generally induces three-body and higher-body operators in the model space. A valence-space Hamiltonian truncated at the two-body level therefore makes a cluster approximation in addition to truncating the Q-box and folded series.
This hierarchy should be reported separately:
- order used for the irreducible Q-box;
- method used to sum its folds;
- maximum particle rank retained in the effective Hamiltonian;
- numerical model-space and intermediate-state cutoffs.
Agreement after varying only one of these choices does not establish convergence in the others.
Non-Hermiticity and Hermitization
Section titled “Non-Hermiticity and Hermitization”The standard energy-independent Hamiltonian built from projected exact eigenvectors is generally non-Hermitian. This is not caused by an underlying non-Hermitian full Hamiltonian. It arises because projection makes the model-space eigenvectors nonorthogonal and the decoupling transformation need not be unitary.
Let the wave operator be
so that selected full states satisfy
Their model-space norm operator is
For an exact decoupling construction, the non-Hermitian effective Hamiltonian is quasi-Hermitian:
A Hermitian representative is then
This similarity transformation preserves the selected eigenvalues. It changes the model-space vectors and therefore requires the same transformation for effective observables. Applying a hermitization to the Hamiltonian while leaving transition operators untouched is inconsistent.
At finite perturbative order, different Bloch, des Cloizeaux, Okubo, Lee–Suzuki, and canonical constructions can produce different-looking matrices. Their equality should be judged only after matching the selected states, perturbative order, metric, and operator convention.
Convergence and Intruder States
Section titled “Convergence and Intruder States”Let
For a self-adjoint excluded-space Hamiltonian with ,
The Taylor expansion is naturally controlled when the target shifts obey
and the perturbative Q-box itself is convergent. These are separate requirements.
An intruder state is an eigenstate dominated by the excluded space that enters the energy region associated with the model space. It brings a Q-box pole close to the starting energy, makes derivatives large, and can cause iterations to diverge, switch roots, or converge to a state different from the intended one.
Useful diagnostics are:
- track the -space overlaps of candidate exact or benchmark states;
- vary the starting energy and model-space boundary;
- monitor Q-box poles and derivative norms;
- compare several iteration or diagonalization strategies;
- enlarge when a nearby state mixes strongly;
- benchmark small versions of the problem against full-space diagonalization.
No folding prescription repairs a physically poor model-space choice.
Relation to Neighboring Methods
Section titled “Relation to Neighboring Methods”| Method | Main output | Energy dependence | Characteristic structure |
|---|---|---|---|
| Projection methods | Exact reduced equation and reconstructed states | Retained | Schur complement and Q-space resolvent |
| Brillouin–Wigner | Perturbative nonlinear eigenvalue equation | Retained | Self-consistent denominators |
| Folded effective Hamiltonian | One model-space operator for selected states | Removed by derivative feedback | Q-box and folded insertions |
| Schrieffer–Wolff | Perturbative block-diagonal Hamiltonian | Absent order by order | Anti-Hermitian generator and commutators |
| Quasi-degenerate perturbation theory | Matrix for a nearby level cluster | Usually removed order by order | Symmetrized denominators and model-space diagonalization |
All encode virtual excursions through excluded states. They differ in the object matched, the state normalization, the operator convention, and the way energy dependence is handled.
Common Mistakes
Section titled “Common Mistakes”- Confusing the Q-box with the complementary projector .
- Calling a truncated Q-box an energy-independent effective interaction before its folds are summed.
- Treating the derivative expansion as convergent without locating the nearest Q-box pole.
- Using the degenerate-model-space equation unchanged for a nondegenerate model space.
- Assuming that Lee–Suzuki or Kuo–Krenciglowa iteration must converge to the desired roots.
- Interpreting folded diagrams as new physical processes rather than energy-feedback and counting corrections.
- Assuming that an energy-independent folded Hamiltonian is automatically Hermitian.
- Truncating induced many-body operators without identifying that separate cluster approximation.
- Comparing matrix elements from different hermitization or wave-operator conventions term by term.
Exercises
Section titled “Exercises”1. Differentiate the Q-box
Section titled “1. Differentiate the Q-box”Starting from
derive for .
Solution
For an invertible operator ,
Repeated differentiation gives
The term has no energy dependence. Therefore
2. Derive the folded operator equation
Section titled “2. Derive the folded operator equation”Assume the selected span . Starting from
derive the energy-independent operator equation for .
Solution
Taylor-expand the Q-box:
Because
the projected equation becomes
Since the selected vectors form a basis of the model space,
3. Recover the sixth-order two-level shift
Section titled “3. Recover the sixth-order two-level shift”For the two-level model, use recursive substitution in
to find the energy shift through order .
Solution
The coefficients are
The second-order term is . At fourth order,
At sixth order there are two terms:
Thus
4. Diagnose fixed-point convergence
Section titled “4. Diagnose fixed-point convergence”For
compute at a fixed point and explain what happens as the target root approaches the Q-box pole.
Solution
Differentiation gives
At a fixed point, , so
The iteration is locally attractive only when
As approaches the pole at , the denominator tends to zero, the derivative grows, and fixed-point iteration becomes unstable. The same pole also limits the Taylor expansion.
5. Hermitize a quasi-Hermitian effective Hamiltonian
Section titled “5. Hermitize a quasi-Hermitian effective Hamiltonian”Suppose is positive definite and
Show that
is Hermitian.
Solution
Taking the adjoint gives
The quasi-Hermiticity relation implies
Therefore
Because is related to by a similarity transformation, they have the same eigenvalues.
6. Separate three approximations
Section titled “6. Separate three approximations”A shell-model calculation evaluates the Q-box to third order, sums folds with an iteration, and retains only one- and two-body terms in the final valence-space Hamiltonian. Identify three logically distinct approximations.
Solution
The approximations are:
- Vertex truncation: irreducible Q-box diagrams beyond third order are omitted.
- Fold summation: the chosen iteration may be stopped at finite tolerance, may select only certain roots, and inherits convergence assumptions.
- Cluster truncation: induced three-body and higher-body model-space operators are discarded even if they would be generated by exact elimination.
Intermediate-state and basis cutoffs can add further numerical approximations. Varying the fold iteration alone does not test the Q-box order or the cluster truncation.
Cross-Links
Section titled “Cross-Links”- Effective Hamiltonians and Scale Separation
- Projection Methods
- Brillouin–Wigner Perturbation Theory
- Quasi-Degenerate Perturbation Theory
- Feshbach Projection Formalism
- Schrieffer–Wolff Transformation
- Higher-Order Structure
- Small Parameters and Error Estimates
References
Section titled “References”- T. T. S. Kuo, S. Y. Lee, and K. F. Ratcliff, “A folded-diagram expansion of the model-space effective Hamiltonian,” Nuclear Physics A 176, 65–88 (1971) — original linked folded-diagram expansion.
- E. M. Krenciglowa and T. T. S. Kuo, “Convergence of effective Hamiltonian expansion and partial summations of folded diagrams,” Nuclear Physics A 235, 171–189 (1974).
- K. Suzuki and S. Y. Lee, “Convergent theory for effective interaction in nuclei,” Progress of Theoretical Physics 64, 2091–2106 (1980) — similarity-transformation formulation and iterative constructions.
- S. Y. Lee and K. Suzuki, “The effective interaction of two nucleons in the sd shell,” Physics Letters B 91, 173–176 (1980).
- K. Suzuki, R. Okamoto, P. J. Ellis, and T. T. S. Kuo, “Iterative solution for effective interactions in a system with non-degenerate unperturbed energies,” Nuclear Physics A 567, 576–590 (1994).
- K. Suzuki, “Construction of Hermitian effective interaction in nuclei,” Progress of Theoretical Physics 68, 246–260 (1982).
- P.-O. Löwdin, “Studies in perturbation theory. IV. Solution of eigenvalue problem by projection operator formalism,” Journal of Mathematical Physics 3, 969–982 (1962).
- I. Lindgren, “The Rayleigh–Schrödinger perturbation and the linked-diagram theorem for a multi-configurational model space,” Journal of Physics B 7, 2441–2470 (1974) — multireference and atomic many-body context.
- B. H. Brandow, “Linked-cluster expansions for the nuclear many-body problem,” Reviews of Modern Physics 39, 771–828 (1967).