It is pointed out that, if {Γy} is the set of Nth-order density matrices associated with a given first-order reduced density matrix γ = γ(x1|x1), then γ is wave-function representable, if and only if there is at least one Γγ for which one has μ = Tr(Γγ − Γ) = 0.
For a quantum-mechanical system of N identical fermions, the N-representability problem is the problem of recognizing whether, for a given pth-order reduced density matrix ${\ensuremath{\Gamma}}^{(p)}(12\ensuremath{\cdots}p|{1}^{\ensuremath{'}}{2}^{\ensuremath{'}}\ensuremath{\cdots}{p}^{\ensuremath{'}})$, there exists an antisymmetric N-particle wave function $\ensuremath{\Psi}(12\ensuremath{\cdots}N)$ such that ${\ensuremath{\Gamma}}^{(p)}(12\ensuremath{\cdots}p|{1}^{\ensuremath{'}}{2}^{\ensuremath{'}}\ensuremath{\cdots}{p}^{\ensuremath{'}})=({N}{p})\ensuremath{\int}\ensuremath{\Psi}(12\ensuremath{\cdots}N)\ifmmode\times\else\texttimes\fi{}{\ensuremath{\Psi}}^{*}({1}^{\ensuremath{'}}{2}^{\ensuremath{'}}\ensuremath{\cdots}{p}^{\ensuremath{'}},p+1\ensuremath{\cdots}N){d}_{{\ensuremath{\tau}}_{p+1}}\ensuremath{\cdots}{d}_{{\ensuremath{\tau}}_{N}}$. It is shown that if the Hamiltonian of a system is time-reversal invariant, and the number of particles, N, is even, the necessary and sufficient condition that an approximate first-order density matrix corresponding to a nondegenerate energy eigenstate be N-representable is that its natural spin-orbital occupation numbers be equal in pairs.
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.