Schrieffer–Wolff Transformation
The Schrieffer–Wolff transformation is a perturbative unitary change of basis that removes couplings between a chosen low-energy subspace and its complement. Its output is an effective Hamiltonian that acts only inside the low-energy subspace while retaining the leading virtual effects of the eliminated states.
It is the right tool when the states outside the model space are not occupied in the low-energy description, but still shift energies and generate indirect couplings.
Projection Methods gives the exact energy-dependent reduction of the same P/Q block problem. Folded Effective Hamiltonians removes that energy dependence by Q-box derivative feedback. The Schrieffer–Wolff construction instead seeks a perturbative unitary change of basis, which keeps the effective Hamiltonian energy independent and supplies a consistent transformation for observables.
Its original impurity application starts from the charge-fluctuating Anderson Impurity Model Preview, removes empty and doubly occupied local-orbital states, and produces the antiferromagnetic exchange used in the Kondo Model Preview.
Effective Hamiltonians in Many-Body Systems applies this formalism to extensive projected sectors and compares the Hubbard-to-Heisenberg and Anderson-to-Kondo reductions, including generated same-order operators.
Let the Hilbert space be split by orthogonal projectors
The subspace is the retained model space. The subspace is the eliminated space. Write
where is block diagonal with respect to and :
The perturbation can be separated into block-diagonal and block-off-diagonal parts:
The off-diagonal part is what mixes the retained and eliminated subspaces.
The goal is to find a unitary operator
such that the transformed Hamiltonian
is block diagonal to a chosen order:
up to controlled corrections. The effective Hamiltonian in the retained space is then
Because is unitary, this is not merely a projection after throwing away information. It is a perturbative change of basis that first folds virtual high-energy processes into the low-energy block.
Generator at Leading Order
Section titled “Generator at Leading Order”Using the Baker-Campbell-Hausdorff expansion,
At first order in , choose to cancel the off-diagonal coupling:
In an eigenbasis of , let and lie in the retained space, and let lie in the eliminated space. Then
The denominator is the energy cost of the virtual excursion into the eliminated subspace. If that denominator is small, the chosen model space is not well separated.
Effective Hamiltonian to Second Order
Section titled “Effective Hamiltonian to Second Order”With the leading generator, the retained-space Hamiltonian through second order is
where denotes the relevant energy separation between and sectors.
For low-energy basis states , this gives
This form makes Hermiticity transparent when is Hermitian. It also shows why the method is closely related to degenerate perturbation theory: both keep a model space and account for coupling to outside states perturbatively.
Two-Level Example
Section titled “Two-Level Example”Consider
Take to project onto the lower bare state and onto the upper bare state. The second-order effective Hamiltonian in is the number
The eliminated state is not populated in the effective description, but virtual visits to it lower or raise the retained energy depending on the sign of .
This is the simplest version of dispersive shifts, level repulsion, and perturbative elimination.
Three-Level Example
Section titled “Three-Level Example”Suppose two nearly degenerate states are coupled only through a far-detuned state :
For , eliminating gives the retained-space Hamiltonian
in the basis . The diagonal terms are light shifts or level shifts. The off-diagonal terms are effective couplings mediated by a virtual excursion through .
The same algebra appears in Raman transitions, superexchange, dispersive qubit couplings, and many perturbative gadget constructions.
Validity
Section titled “Validity”The control parameter is not simply the size of . It is the ratio of off-diagonal matrix elements to energy denominators:
The Schrieffer–Wolff expansion is controlled when and the retained subspace includes all states that are close enough to mix strongly. If a supposedly eliminated state is nearly resonant, it should be moved into .
The method also assumes that the desired observable or process is insensitive to the discarded high-energy amplitudes beyond the order retained. When observables are transformed, they must be transformed consistently:
Using while leaving other operators untransformed can produce inconsistent matrix elements.
Physical Interpretation
Section titled “Physical Interpretation”The transformation replaces direct access to high-energy states by virtual processes. A state in can briefly enter and return, shifting its energy. Two different states in can communicate through the same eliminated state, producing an effective coupling.
This is why the second-order term contains products such as
The intermediate state is not a final state. It is a virtual state whose contribution is weighted by an energy denominator.
Relation to Other Methods
Section titled “Relation to Other Methods”Degenerate perturbation theory diagonalizes the perturbation inside a near-degenerate subspace and then treats outside states perturbatively. Schrieffer–Wolff does the same job in a unitary block-diagonal language.
Feshbach projection methods produce energy-dependent effective Hamiltonians using resolvents. Schrieffer–Wolff instead produces an energy-independent perturbative Hamiltonian after a change of basis.
Adiabatic elimination starts from equations of motion and slaves a fast amplitude to slow variables. It reproduces the same leading virtual coupling when its timescale assumptions hold, while Adiabatic Elimination owns the initial transient, memory, derivative corrections, and decaying-sector extension.
The Foldy–Wouthuysen transformation in relativistic quantum mechanics is a close cousin: it block diagonalizes positive- and negative-energy sectors perturbatively. In effective field theory, analogous transformations remove redundant high-energy effects and organize low-energy operators by powers of a scale separation.
Common Mistakes
Section titled “Common Mistakes”- Eliminating a state that is nearly degenerate with the retained subspace.
- Forgetting the factor of in the commutator form of the second-order Hamiltonian.
- Treating the projected Hamiltonian as the effective Hamiltonian when virtual corrections are important.
- Comparing bare and effective states without applying the same unitary transformation to observables.
- Using the method without naming the energy gap or small dimensionless ratio.
Cross-Links
Section titled “Cross-Links”- Effective Hamiltonians and Scale Separation
- Folded Effective Hamiltonians
- Adiabatic Elimination
- Projectors
- Unitary Operators
- Degenerate Perturbation Theory
- Quasi-Degenerate Perturbation Theory
- Small Parameters and Error Estimates
- Rotating-Wave Approximation
- Effective Hamiltonians in Quantum Information
- Effective Hamiltonians in Quantum Matter
- Exchange Interactions in Quantum Matter
- Kondo Model Preview
- Two-Level System
References
Section titled “References”- J. R. Schrieffer and P. A. Wolff, “Relation between the Anderson and Kondo Hamiltonians,” Physical Review 149, 491-492, 1966.
- S. Bravyi, D. P. DiVincenzo, and D. Loss, “Schrieffer–Wolff transformation for quantum many-body systems,” Annals of Physics 326, 2793–2826, 2011.
- A. Messiah, Quantum Mechanics, Dover, 1999.
- J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
- C. Cohen-Tannoudji, B. Diu, and F. Laloe, Quantum Mechanics, Wiley, 1977.
Exercises
Section titled “Exercises”- For the two-level Hamiltonian
show that the lower exact eigenvalue agrees with the Schrieffer–Wolff result to order .
Solution
The exact eigenvalues are
For ,
Thus
which matches the effective Hamiltonian in the retained lower subspace.
- Why is the second-order matrix element symmetric in the two retained energies and ?
Solution
Hermiticity requires
when is Hermitian. The symmetrized denominator
is the form produced by the unitary block diagonalization and preserves this Hermitian structure. A formula using only one of the two denominators generally corresponds to a different, energy-dependent perturbative convention and must be interpreted carefully.