Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Physical Review A

Geometry of density matrices. IV. The relationship between density matrices and densities

John E. Harriman

Published Feb 1, 1983• 74 citations
Publisher

Abstract

The relationship between densities and density matrices is explored in the case of a finite-basis-set expansion. The space of one-electron density matrices can be divided into two orthogonal subspaces with elements in one of them in one-to-one correspondence with densities. A component in the other does not contribute to the density. The set of densities is convex but there may be densities which cannot be obtained from a density matrix. The matrix of a local potential has a component only in the first subspace, and any such matrix can be obtained from a local potential. It is possible for Hamiltonian matrices differing by the matrix of a local potential to have a common ground-state eigenvector, so a Hohenberg-Kohn theorem cannot always be established. When it can, the explicit local potential with a given ground-state density can be formally obtained when appropriate conditions are satisfied. The details of the decomposition of the space of matrices and of subsequent developments depend on linear-dependency relationships among basis-set products, and are thus basis-set dependent.

DOI
10.1103/physreva.27.632

Related papers

Densities, operators, and basis sets

John E. Harriman

Relationships between density matrices and densities or between operators and local potentials are considered for model problems defined by the introduction of basis sets. Some properties depend only on the space spanned by the basis while others depend on a particular choice of basis functions. Linear-dependency conditions play a critical role. In a model problem defined by a basis with all products linearly independent, the effect of any operator can be reproduced by a local potential, but any complete basis must have linearly dependent products. A one-electron density matrix or single-determinant wave function can be determined from the density (or experimental measurements sensitive only to the density) in the model problem defined by a basis with linearly independent products, but not otherwise. A simple example illustrates some of the general results.

Physical Review A•Jul 1, 1986•71 citations

Geometry of density matrices. I. Definitions, N matrices and 1 matrices

John E. Harriman

Density matrices defined with respect to a finite basis set are considered as elements in a vector space. A basis set is introduced in the space whose elements are Hermitian matrices. By a suitable transformation of the basis, one component only will contribute to the trace, so the space of unit trace matrices is a translated linear subspace. The positivity constraint is then examined in terms of distance from a multiple of the unit matrix, which is in the interior of the set of density matrices. The boundary of this set is shown to lie between two concentric hyperspheres. The set whose elements are $N$-representable 1 matrices has similar properties.

Physical Review A•Apr 1, 1978•105 citations

Geometry of density matrices. II. Reduced density matrices and N representability

John E. Harriman

The reduction of density matrices defined with respect to a finite basis set is considered. A basis set can be introduced into the vector space of Hermitian matrices acting on functions of the coordinates of $p$ particles for each value of $p$. An analogy with the construction of spin eigenfunctions is used to obtain a particular basis set called the reducing basis. Reduction of one of these basis elements is either one to one or maps into the origin. Any element in the preimage of a density matrix can thus be resolved into two components, one uniquely determined by the density matrix and the other arbitrary within a certin subset. A restatement of the $N$-representability problem is given, and two sufficient conditions and one necessary condition for $N$ representability are given in terms of distances and norms.

Physical Review A•Apr 1, 1978•84 citations

Geometry of density matrices. VI. Superoperators and unitary invariance

Mark E. Casida, John E. Harriman

Abstract We examine and compare ways of dividing into subspaces the space whose elements are density matrices or other operators for the class of model problems defined by a finite one‐particle basis set. One method of decomposition makes the significance of the subspaces apparent. We show that this decomposition is also complete, in the group‐theoretic sense, for the group of unitary transformations of the set of one‐electron basis functions. The irreducible subspaces are labeled by particle number and by an additional integer we call the reduction index. For spaces of particle‐number‐conserving operators, all subspaces with the same reduction index are isomorphic, and an analogous isomorphism exists for non‐particle‐number‐conserving cases. The general linear group also plays a key role, and we introduce the term “canonical superoperators” to characterize those superoperators which commute with this group. When an appropriate basis set is chosen for the matrix spaces, the supermatrices corresponding to these superoperators have a particularly simple form: a block structure with the only nonzero blocks being multiples of unit matrices. The superoperators of interest can be constructed in terms of two operators, , and these two have been expressed simply in terms of creation and annihilation operators. When only real orthogonal transformations of the basis are considered, a further decomposition is possible. We have introduced superoperators associated with this decomposition.

International Journal of Quantum Chemistry•Aug 1, 1986•19 citations

Density matrices and density functionals : proceedings of the A. John Coleman symposium

Alan Coleman, Robert Erdahl, Vedene H. Smith

A Tribute to A. John Coleman - The Tame Mathematician.- Reduced Density Matrices: 1929-1989.- Some Aspects on the Development of the Theory of Reduced Density Matrices and the Representability Problem.- Representability Conditions.- On the Diagonal N-Representability Problem.- Fermion N-Representability Conditions Generated by a Decomposition of the 1-Particle Identity Operator onto Mutually Orthogonal Projection Operators.- The Unitarily Invariant Decomposition of Hermitian Operators.- Building Up N-Electron States with Symplectic Symmetry.- Time Dependent Antisymmetrized Geminal Power Theory Using a Coherent State Formulation.- Griffiths Inequalities for Fermion Systems.- Entropy of Reduced Density Matrices.- A Lower Bound to the Ground State Energy of a Boson System With Fermion Source.- Reduced Density Operators, Their Related von Neumann Density Operators, Close Cousins of These, and Their Physical Interpretation.- Theory and Practice of the Spin-Adapted Reduced Hamiltonians (SRH).- Variational Principle with Built-In Pure State N-Representability Conditions. The N-Electron Case.- Wigner Distributions as Representations of the Density Matrix.- Inter-Relationships Between Various Representations of One-Matrices and Related Densities: A Road Map and an Example ..- Current Problems in Density Functional Theory.- The Interface Between Reduced Density Matrices and Density Functional Theory.- The Physics Underlying the Langreth-Mehl Scheme for Non-Uniform Systems.- Understanding Energy Differences in Density Functional Theory.- Density Functional Calculations of Molecular Bond Energies.- Non-Local Effects on Atomic and Molecular Correlation Energies Studied with a Gradient-Corrected Density Functional.- An Evaluation of Local Electron Correlation Corrections and Non-Local Exchange Corrections to the Hartree-Fock-Slater Method from Calculations on Bond Energies and Electronic Spectra of Molecular Systems.- Correlation Energy Functionals of One-Matrices and Hartree-Fock Densities.- Some Remarks on Scaling Relations in Density Functional Theory.- Deduction of Semiempirical MO Methods from Density Functional Theory.- Charge and Spin Densities in Molecular Solids: Local Density Functional Calculations Versus Experiment.- A Functional of the Two-Particle Density Matrix for the Approximate Calculation of the Electronic Correlation Energy.- Extracules, Intracules, Correlation Holes, Potentials, Coefficients and All That.- The Exact Schroedinger Equation for the Electron Density.- Adiabatic Separation, Broken Symmetries and Geometry Optimization.- Asymptotic Results for Density Matrices and Electron Density in Atoms and Nearly Spherical Molecules.- An Algorithm for Calculating Isoelectronic Changes in Energies, Densities, and One-Matrices.- Atoms and Ions in the Limit of Large Nuclear Charge.- Improved Thomas-Fermi Theory for Atoms.- A Bond Energy from Quantum Mechanics.- Measured Electron Densities and Band Structure Calculations.- X-ray Orthonormal Orbital Model for Crystallography.

D. Reidel Pub. Co. eBooks•Jan 1, 1987•19 citations

The problem of the universal density functional and the density matrix functional theory

Viktor Borisovich Bobrov, S. A. Trigger

The analysis in this paper shows that the Hohenberg-Kohn theorem is the constellation of two statements: (i) the mathematically rigorous Hohenberg-Kohn lemma, which demonstrates that the same ground-state density cannot correspond to two different potentials of an external field, and (ii) the hypothesis of the existence of the universal density functional. Based on the obtained explicit expression for the nonrel-ativistic particle energy in a local external field, we prove that the energy of the system of more than two non-interacting electrons cannot be a functional of the inhomogeneous density. This result is generalized to the system of interacting electrons. It means that the Hohenberg-Kohn lemma cannot provide justification of the universal density functional for fermions. At the same time, statements of the density functional theory remain valid when considering any number of noninteracting ground-state bosons due to the Bose condensation effect. In the framework of the density matrix functional theory, the hypothesis of the existence of the universal density matrix functional corresponds to the cases of noninteracting particles and to interaction in the Hartree-Fock approximation.

Journal of Experimental and Theoretical Physics•Apr 1, 2013•18 citations
The relationship between densities and density matrices is explored in the case of a finite-basis-set expansion. The space of one-electron density matrices can be divided into two orthogonal subspaces with elements in one of them in one-to-one correspondence with densities. A component in the other does not contribute to the density. The set of densities is convex but there may be densities which cannot be obtained from a density matrix. The matrix of a local potential has a component only in the first subspace, and any such matrix can be obtained from a local potential. It is possible for Hamiltonian matrices differing by the matrix of a local potential to have a common ground-state eigenvector, so a Hohenberg-Kohn theorem cannot always be established. When it can, the explicit local potential with a given ground-state density can be formally obtained when appropriate conditions are satisfied. The details of the decomposition of the space of matrices and of subsequent developments depend on linear-dependency relationships among basis-set products, and are thus basis-set dependent.
Relationships between density matrices and densities or between operators and local potentials are considered for model problems defined by the introduction of basis sets. Some properties depend only on the space spanned by the basis while others depend on a particular choice of basis functions. Linear-dependency conditions play a critical role. In a model problem defined by a basis with all products linearly independent, the effect of any operator can be reproduced by a local potential, but any complete basis must have linearly dependent products. A one-electron density matrix or single-determinant wave function can be determined from the density (or experimental measurements sensitive only to the density) in the model problem defined by a basis with linearly independent products, but not otherwise. A simple example illustrates some of the general results.
Density matrices defined with respect to a finite basis set are considered as elements in a vector space. A basis set is introduced in the space whose elements are Hermitian matrices. By a suitable transformation of the basis, one component only will contribute to the trace, so the space of unit trace matrices is a translated linear subspace. The positivity constraint is then examined in terms of distance from a multiple of the unit matrix, which is in the interior of the set of density matrices. The boundary of this set is shown to lie between two concentric hyperspheres. The set whose elements are NNN-representable 1 matrices has similar properties.
The reduction of density matrices defined with respect to a finite basis set is considered. A basis set can be introduced into the vector space of Hermitian matrices acting on functions of the coordinates of ppp particles for each value of ppp. An analogy with the construction of spin eigenfunctions is used to obtain a particular basis set called the reducing basis. Reduction of one of these basis elements is either one to one or maps into the origin. Any element in the preimage of a density matrix can thus be resolved into two components, one uniquely determined by the density matrix and the other arbitrary within a certin subset. A restatement of the NNN-representability problem is given, and two sufficient conditions and one necessary condition for NNN representability are given in terms of distances and norms.
Abstract We examine and compare ways of dividing into subspaces the space whose elements are density matrices or other operators for the class of model problems defined by a finite one‐particle basis set. One method of decomposition makes the significance of the subspaces apparent. We show that this decomposition is also complete, in the group‐theoretic sense, for the group of unitary transformations of the set of one‐electron basis functions. The irreducible subspaces are labeled by particle number and by an additional integer we call the reduction index. For spaces of particle‐number‐conserving operators, all subspaces with the same reduction index are isomorphic, and an analogous isomorphism exists for non‐particle‐number‐conserving cases. The general linear group also plays a key role, and we introduce the term “canonical superoperators” to characterize those superoperators which commute with this group. When an appropriate basis set is chosen for the matrix spaces, the supermatrices corresponding to these superoperators have a particularly simple form: a block structure with the only nonzero blocks being multiples of unit matrices. The superoperators of interest can be constructed in terms of two operators, , and these two have been expressed simply in terms of creation and annihilation operators. When only real orthogonal transformations of the basis are considered, a further decomposition is possible. We have introduced superoperators associated with this decomposition.
A Tribute to A. John Coleman - The Tame Mathematician.- Reduced Density Matrices: 1929-1989.- Some Aspects on the Development of the Theory of Reduced Density Matrices and the Representability Problem.- Representability Conditions.- On the Diagonal N-Representability Problem.- Fermion N-Representability Conditions Generated by a Decomposition of the 1-Particle Identity Operator onto Mutually Orthogonal Projection Operators.- The Unitarily Invariant Decomposition of Hermitian Operators.- Building Up N-Electron States with Symplectic Symmetry.- Time Dependent Antisymmetrized Geminal Power Theory Using a Coherent State Formulation.- Griffiths Inequalities for Fermion Systems.- Entropy of Reduced Density Matrices.- A Lower Bound to the Ground State Energy of a Boson System With Fermion Source.- Reduced Density Operators, Their Related von Neumann Density Operators, Close Cousins of These, and Their Physical Interpretation.- Theory and Practice of the Spin-Adapted Reduced Hamiltonians (SRH).- Variational Principle with Built-In Pure State N-Representability Conditions. The N-Electron Case.- Wigner Distributions as Representations of the Density Matrix.- Inter-Relationships Between Various Representations of One-Matrices and Related Densities: A Road Map and an Example ..- Current Problems in Density Functional Theory.- The Interface Between Reduced Density Matrices and Density Functional Theory.- The Physics Underlying the Langreth-Mehl Scheme for Non-Uniform Systems.- Understanding Energy Differences in Density Functional Theory.- Density Functional Calculations of Molecular Bond Energies.- Non-Local Effects on Atomic and Molecular Correlation Energies Studied with a Gradient-Corrected Density Functional.- An Evaluation of Local Electron Correlation Corrections and Non-Local Exchange Corrections to the Hartree-Fock-Slater Method from Calculations on Bond Energies and Electronic Spectra of Molecular Systems.- Correlation Energy Functionals of One-Matrices and Hartree-Fock Densities.- Some Remarks on Scaling Relations in Density Functional Theory.- Deduction of Semiempirical MO Methods from Density Functional Theory.- Charge and Spin Densities in Molecular Solids: Local Density Functional Calculations Versus Experiment.- A Functional of the Two-Particle Density Matrix for the Approximate Calculation of the Electronic Correlation Energy.- Extracules, Intracules, Correlation Holes, Potentials, Coefficients and All That.- The Exact Schroedinger Equation for the Electron Density.- Adiabatic Separation, Broken Symmetries and Geometry Optimization.- Asymptotic Results for Density Matrices and Electron Density in Atoms and Nearly Spherical Molecules.- An Algorithm for Calculating Isoelectronic Changes in Energies, Densities, and One-Matrices.- Atoms and Ions in the Limit of Large Nuclear Charge.- Improved Thomas-Fermi Theory for Atoms.- A Bond Energy from Quantum Mechanics.- Measured Electron Densities and Band Structure Calculations.- X-ray Orthonormal Orbital Model for Crystallography.
The analysis in this paper shows that the Hohenberg-Kohn theorem is the constellation of two statements: (i) the mathematically rigorous Hohenberg-Kohn lemma, which demonstrates that the same ground-state density cannot correspond to two different potentials of an external field, and (ii) the hypothesis of the existence of the universal density functional. Based on the obtained explicit expression for the nonrel-ativistic particle energy in a local external field, we prove that the energy of the system of more than two non-interacting electrons cannot be a functional of the inhomogeneous density. This result is generalized to the system of interacting electrons. It means that the Hohenberg-Kohn lemma cannot provide justification of the universal density functional for fermions. At the same time, statements of the density functional theory remain valid when considering any number of noninteracting ground-state bosons due to the Bose condensation effect. In the framework of the density matrix functional theory, the hypothesis of the existence of the universal density matrix functional corresponds to the cases of noninteracting particles and to interaction in the Hartree-Fock approximation.