Exact diagonalization (ED) is a numerical technique used in
physics
Physics is the scientific study of matter, its Elementary particle, fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge whi ...
to determine the
eigenstates
In quantum physics, a quantum state is a mathematical entity that embodies the knowledge of a quantum system. Quantum mechanics specifies the construction, evolution, and measurement of a quantum state. The result is a prediction for the system re ...
and energy
eigenvalues
In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by a ...
of a quantum
Hamiltonian
Hamiltonian may refer to:
* Hamiltonian mechanics, a function that represents the total energy of a system
* Hamiltonian (quantum mechanics), an operator corresponding to the total energy of that system
** Dyall Hamiltonian, a modified Hamiltonian ...
. In this technique, a Hamiltonian for a discrete, finite system is expressed in matrix form and
diagonalized
In linear algebra, a square matrix A is called diagonalizable or non-defective if it is similar to a diagonal matrix. That is, if there exists an invertible matrix P and a diagonal matrix D such that . This is equivalent to (Such D are not ...
using a computer. Exact diagonalization is only feasible for systems with a few tens of particles, due to the exponential growth of the
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
dimension with the size of the quantum system. It is frequently employed to study lattice models, including the
Hubbard model
The Hubbard model is an Approximation, approximate model used to describe the transition between Conductor (material), conducting and Electrical insulation, insulating systems.
It is particularly useful in solid-state physics. The model is named ...
,
Ising model
The Ising model (or Lenz–Ising model), named after the physicists Ernst Ising and Wilhelm Lenz, is a mathematical models in physics, mathematical model of ferromagnetism in statistical mechanics. The model consists of discrete variables that r ...
,
Heisenberg model,
''t''-''J'' model, and
SYK model.
Expectation values from exact diagonalization
After determining the eigenstates
and energies
of a given Hamiltonian, exact diagonalization can be used to obtain expectation values of observables. For example, if
is an observable, its
thermal expectation value is
:
where
is the
partition function. If the observable can be written down in the initial basis for the problem, then this sum can be evaluated after transforming to the basis of eigenstates.
Green's functions
In mathematics, a Green's function (or Green function) is the impulse response of an inhomogeneous linear differential operator defined on a domain with specified initial conditions or boundary conditions.
This means that if L is a linear diff ...
may be evaluated similarly. For example, the retarded Green's function
can be written
:
Exact diagonalization can also be used to determine the time evolution of a system after a quench. Suppose the system has been prepared in an initial state
, and then for time
evolves under a new Hamiltonian,
. The state at time
is
:
Memory requirements
The dimension of the Hilbert space describing a quantum system scales exponentially with system size. For example, consider a system of
spins localized on fixed lattice sites. The dimension of the on-site basis is 2, because the state of each spin can be described as a superposition of spin-up and spin-down, denoted
and
. The full system has dimension
, and the Hamiltonian represented as a matrix has size
. This implies that computation time and memory requirements scale very unfavorably in exact diagonalization. In practice, the memory requirements can be reduced by taking advantage of symmetry of the problem, imposing conservation laws, working with
sparse matrices
In numerical analysis and scientific computing, a sparse matrix or sparse array is a matrix (mathematics), matrix in which most of the elements are zero. There is no strict definition regarding the proportion of zero-value elements for a matrix ...
, or using other techniques.
Comparison with other techniques
Exact diagonalization is useful for extracting exact information about finite systems. However, often small systems are studied to gain insight into infinite lattice systems. If the diagonalized system is too small, its properties will not reflect the properties of the system in the
thermodynamic limit
In statistical mechanics, the thermodynamic limit or macroscopic limit, of a system is the Limit (mathematics), limit for a large number of particles (e.g., atoms or molecules) where the volume is taken to grow in proportion with the number of ...
, and the simulation is said to suffer from finite size effects.
Unlike some other exact theory techniques, such as
Auxiliary-field Monte Carlo
Auxiliary-field Monte Carlo is a method that allows the calculation, by use of Monte Carlo techniques, of averages of operators in many-body quantum mechanical (Blankenbecler 1981, Ceperley 1977) or classical problems (Baeurle 2004, Baeurle 2003, ...
, exact diagonalization obtains Green's functions directly in real time, as opposed to
imaginary time
Imaginary time is a mathematical representation of time that appears in some approaches to special relativity and quantum mechanics. It finds uses in certain cosmological theories.
Mathematically, imaginary time is real time which has undergone a ...
. Unlike in these other techniques, exact diagonalization results do not need to be numerically
analytically continued. This is an advantage, because numerical analytic continuation is an ill-posed and difficult optimization problem.
Applications
* Can be used as an impurity solver for
Dynamical mean-field theory
Dynamical mean-field theory (DMFT) is a method to determine the electronic structure of strongly correlated materials. In such materials, the approximation of independent electrons, which is used in density functional theory and usual band structur ...
techniques.
* When combined with finite size scaling, estimating the
ground state
The ground state of a quantum-mechanical system is its stationary state of lowest energy; the energy of the ground state is known as the zero-point energy of the system. An excited state is any state with energy greater than the ground state ...
energy and
critical exponents
Critical exponents describe the behavior of physical quantities near continuous phase transitions. It is believed, though not proven, that they are universal, i.e. they do not depend on the details of the physical system, but only on some of its g ...
of the 1D
transverse-field Ising model
The transverse field Ising model is a quantum version of the classical Ising model. It features a lattice with nearest neighbour interactions determined by the alignment or anti-alignment of spin projections along the z axis, as well as an extern ...
.
* Studying various properties of the 2D
Heisenberg model in a magnetic field, including antiferromagnetism and spin-wave velocity.
* Studying the Drude weight of the 2D Hubbard model.
* Studying out-of-time-order correlations (OTOCs) and scrambling in the SYK model.
* Simulating resonant x-ray spectra of strongly correlated materials.
Implementations
Numerous software packages implementing exact diagonalization of quantum Hamiltonians exist. These includ
ALPSDoQoEdLibedrixsQuantyand many others.
Generalizations
Exact diagonalization results from many small clusters can be combined to obtain more accurate information about systems in the thermodynamic limit using the
numerical linked cluster expansion
Numerical may refer to:
* Number
* Numerical digit
* Numerical analysis
Numerical analysis is the study of algorithms that use numerical approximation (as opposed to symbolic computation, symbolic manipulations) for the problems of mathematical ...
.
See also
*
Lanczos algorithm
The Lanczos algorithm is an iterative method devised by Cornelius Lanczos that is an adaptation of power iteration, power methods to find the m "most useful" (tending towards extreme highest/lowest) eigenvalues and eigenvectors of an n \times n ...
References
External links
Quantum Simulation/Exact diagonalizationALPS full diagonalization tutorial{{Webarchive, url=https://web.archive.org/web/20190723021548/http://alps.comp-phys.org/mediawiki/index.php/ALPS_2_Tutorials:ED-06_FullDiagonalization , date=2019-07-23
Exact Diagonalization and Lanczos Methodin E. Pavarini, E. Koch and S. Zhang (eds.): Many-Body Methods for Real Materials, Jülich 2019, ISBN 978-3-95806-400-3
Correlated electrons
Materials science
Condensed matter physics
Quantum mechanics