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. II. Reduced density matrices and N representability

John E. Harriman

Published Apr 1, 1978• 84 citations
Publisher

Abstract

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.

DOI
10.1103/physreva.17.1257

Related papers

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

A comparison of geometric methods with other methods for the characterization of density matrices

John E. Harriman

Abstract Some recently developed geometric methods for characterizing the subset of density matrices within the space of Hermitian matrices are compared with methods commonly used for the approximate characterization of reduced density matrices. The decomposition of a density matrix into components in terms of the reducing basis set is compared with decomposition in terms of representations of U(r).

International Journal of Quantum Chemistry•Dec 1, 1977•3 citations

Diagonal N-representability as a method for solving the representability problem

M. M. Mestechkin

The latest results of density matrix theory are summarized in terms of analysis of off-diagonal components. For a given reduced density matrix (RDM) of arbitrary order, the full density matrix is explicitly constructed, from which the RDM is derived by means of the corresponding reduction procedure. Both the matrices satisfy all the necessary conditions, such antisymmetry, normalization, hermiticity, except that the non-negative definiteness of the full DM is not guaranteed. If an RDM satisfies the necessary inequalities with the same number of indices as it has itself, then, as proved here, there is an additive correction to the full DM matrix that turns it into a non-negative definite matrix leading to the same RDM and satisfying the other requirements. This establishes a fundamental fact that these inequalities are sufficient as well, providing the N-representability of the given RDM. The construction is based on the classification, introduced in the article, of the multi-index elements of the RDM and full DM according to their degree of off-diagonality. RDM elements with a predetermined degree of off-diagonality are expressed through full DM elements with the same off-diagonality. This shows that the conventional variational approach to calculating the energy of the system by convex programming methods under the conditions of N-representability (before and even after reaching the minimum energy) generally does not lead to constructing a mixed quantum state composed of solutions to the Schrödinger equation. Therefore, except for the energy, it does not guarantee a correct description of the other properties so long as the conditions of correctness for each particular property are not expressed in terms of the RDM and not incorporated into the specific conditions of N-representability (regardless of the requirement of energy minimization).

Russian Journal of Physical Chemistry B•Mar 1, 2017•0 citations

n-Representability Problem for Reduced Density Matrices

Hans Kummer

In this paper we prove some theorems about the n-representability problem for reduced density operators. The first theorem (Theorem 6) sharpens a theorem proved by Garrod and Percus. Let Tnp be the set of all n-representable p-density operators. Then a density operator Dp belongs to Tnp¯ (the bar indicates the closure with respect to a certain topology) if and only if Tr (DpBp) ≥ 0 for all bounded self-adjoint p-particle operators Bp, such that their n-expansion (pn)ΓpnBp≡ ∑ i1<…<ipBp(i1…ip)is a positive operator in n-particle space. Moreover, it is shown that Tnp¯ is the closed convex hull of the exposed points of Tnp of finite one-rank (Theorem 9). A more practical version of this theorem may be formulated in the following manner (cf. Theorem 8). Consider the set γp of subspaces of the n-particle space, occurring as an eigenspace to the deepest eigenvalue of a bounded n-particle operator which is the n expansion of some p-particle operator. Choose from every element of γp one (and only one) vector (function) and form the corresponding reduced p-particle operator. Tnp¯ is the closed convex hull of all these p-density operators (cf. Theorem 9). For p = 1, this theorem reduces to Coleman's theorem about the n representability of the 1 matrix.

Journal of Mathematical Physics•Oct 1, 1967•207 citations

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

John E. Harriman

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.

Physical Review A•Feb 1, 1983•74 citations

Orthogonalization of fermion k -body operators and representability

Volker Bach, Robert Rauch

The reduced $k$-particle density matrix of a density matrix on finite-dimensional, fermion Fock space can be defined as the image under the orthogonal projection in the Hilbert-Schmidt geometry onto the space of $k$-body observables. A proper understanding of this projection is therefore intimately related to the representability problem, a long-standing open problem in computational quantum chemistry. Given an orthonormal basis in the finite-dimensional one-particle Hilbert space, we explicitly construct an orthonormal basis of the space of Fock space operators which restricts to an orthonormal basis of the space of $k$-body operators for all $k$.

arXiv:1807.05299•Physical Review A•Apr 9, 2019•2 citations
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.
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 latest results of density matrix theory are summarized in terms of analysis of off-diagonal components. For a given reduced density matrix (RDM) of arbitrary order, the full density matrix is explicitly constructed, from which the RDM is derived by means of the corresponding reduction procedure. Both the matrices satisfy all the necessary conditions, such antisymmetry, normalization, hermiticity, except that the non-negative definiteness of the full DM is not guaranteed. If an RDM satisfies the necessary inequalities with the same number of indices as it has itself, then, as proved here, there is an additive correction to the full DM matrix that turns it into a non-negative definite matrix leading to the same RDM and satisfying the other requirements. This establishes a fundamental fact that these inequalities are sufficient as well, providing the N-representability of the given RDM. The construction is based on the classification, introduced in the article, of the multi-index elements of the RDM and full DM according to their degree of off-diagonality. RDM elements with a predetermined degree of off-diagonality are expressed through full DM elements with the same off-diagonality. This shows that the conventional variational approach to calculating the energy of the system by convex programming methods under the conditions of N-representability (before and even after reaching the minimum energy) generally does not lead to constructing a mixed quantum state composed of solutions to the Schrödinger equation. Therefore, except for the energy, it does not guarantee a correct description of the other properties so long as the conditions of correctness for each particular property are not expressed in terms of the RDM and not incorporated into the specific conditions of N-representability (regardless of the requirement of energy minimization).
In this paper we prove some theorems about the n-representability problem for reduced density operators. The first theorem (Theorem 6) sharpens a theorem proved by Garrod and Percus. Let Tnp be the set of all n-representable p-density operators. Then a density operator Dp belongs to Tnp¯ (the bar indicates the closure with respect to a certain topology) if and only if Tr (DpBp) ≥ 0 for all bounded self-adjoint p-particle operators Bp, such that their n-expansion (pn)ΓpnBp≡ ∑ i1<…<ipBp(i1…ip)is a positive operator in n-particle space. Moreover, it is shown that Tnp¯ is the closed convex hull of the exposed points of Tnp of finite one-rank (Theorem 9). A more practical version of this theorem may be formulated in the following manner (cf. Theorem 8). Consider the set γp of subspaces of the n-particle space, occurring as an eigenspace to the deepest eigenvalue of a bounded n-particle operator which is the n expansion of some p-particle operator. Choose from every element of γp one (and only one) vector (function) and form the corresponding reduced p-particle operator. Tnp¯ is the closed convex hull of all these p-density operators (cf. Theorem 9). For p = 1, this theorem reduces to Coleman's theorem about the n representability of the 1 matrix.
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.
The reduced kkk-particle density matrix of a density matrix on finite-dimensional, fermion Fock space can be defined as the image under the orthogonal projection in the Hilbert-Schmidt geometry onto the space of kkk-body observables. A proper understanding of this projection is therefore intimately related to the representability problem, a long-standing open problem in computational quantum chemistry. Given an orthonormal basis in the finite-dimensional one-particle Hilbert space, we explicitly construct an orthonormal basis of the space of Fock space operators which restricts to an orthonormal basis of the space of kkk-body operators for all kkk.