Abstract Molecular simulations generally require fermionic encoding in which fermion statistics are encoded into the qubit representation of the wave function. Recent calculations suggest that fermionic encoding of the wave function can be bypassed, leading to more efficient quantum computations. Here we show that the two-electron reduced density matrix (2-RDM) can be expressed as a unique functional of the unencoded N-qubit-particle wave function without approximation, and hence, the energy can be expressed as a functional of the 2-RDM without fermionic encoding of the wave function. In contrast to current hardware-efficient methods, the derived functional has a unique, one-to-one (and onto) mapping between the qubit-particle wave functions and 2-RDMs, which avoids the over-parametrization that can lead to optimization difficulties such as barren plateaus. An application to computing the ground-state energy and 2-RDM of H4 is presented.
Quantum computers potentially have an exponential advantage over classical computers for the quantum simulation of many-fermion quantum systems. Nonetheless, fermions are more expensive to simulate than bosons due to the fermionic encoding---a mapping by which the qubits are encoded with fermion statistics. Here we generalize the contracted quantum eigensolver (CQE) to avoid fermionic encoding of the wave function. In contrast to the variational quantum eigensolver, the CQE solves for a many-fermion stationary state by minimizing the contraction (projection) of the Schr\"odinger equation onto two fermions. We avoid fermionic encoding of the wave function by contracting the Schr\"odinger equation onto an unencoded pair of particles. Solution of the resulting contracted equation by a series of unencoded two-body exponential transformations generates an unencoded wave function from which the energy and two-fermion reduced density matrix (2-RDM) can be computed. We apply the unencoded and the encoded CQE algorithms to the hydrogen fluoride molecule, the dissociation of oxygen
O2, and a series of hydrogen chains. Both algorithms show comparable convergence towards the exact ground-state energies and 2-RDMs, but the unencoded algorithm has computational advantages in terms of state preparation and tomography.
Parametrization of a molecular two-electron reduced density matrix (2-RDM) enables energies and properties to be directly computed at a highly efficient computational cost. In this Letter an improved 2-RDM parametrization yields energies and properties that are markedly better than those calculated with a similar computational scaling by traditional ab initio methods. Computed 2-RDMs very nearly satisfy well-known N-representability conditions. Applications are made to ground-state energies of several molecules and equilibrium bond distances and harmonic frequencies of HF, F2, and CO. The method for single-bond breaking in HF and CH4 yields similar accuracy at equilibrium and nonequilibrium geometries.
We derive necessary conditions for any two-fermion reduced density matrix (2-RDM) to be representable by a pure
N-fermion density matrix $\mathrm{\ensuremath{\Psi}}{\mathrm{\ensuremath{\Psi}}}^{*}$ where $\mathrm{\ensuremath{\Psi}}$ is the wave function. These pure
N-representability conditions of the 2-RDM are important because they provide stringent constraints beyond those from the Pauli and the generalized Pauli constraints on the structure of many-fermion 2-RDMs and their wave functions. The pure 2-RDM conditions are derived as generalized Pauli constraints on effective one-fermion reduced density matrices (1-RDMs) generated by the removal or addition of a fermion from the wave function. Computationally, we show for four-electron molecules that the derived pure
N-representability conditions are nontrivially active for exact ground-state 2-RDMs and that they provide significant restrictions beyond the D, Q, and G ensemble
N-representability conditions. Constraints on higher-order
p-RDMs where
p>2 are derived in a similar fashion. The constraints have potentially significant applications to computing strongly correlated many-fermion states with enhanced accuracy and decreased computational complexity.
The variational two-electron reduced-density-matrix (2-RDM) method computes the ground-state energy and 2-RDM of an atom or molecule without calculation of the many-electron wave function. Recently, the computational efficiency of the 2-RDM method has been significantly enhanced through the use of a first-order algorithm for semidefinite programming [Mazziotti, Phys. Rev. Lett. 93, 213001 (2004)]. In this paper we develop a spin- and symmetry-adapted formulation of the method that further improves its efficiency by incorporating both the spin and spatial symmetries of many-electron atoms and molecules. While previous work on density-matrix symmetry focused on only one form of the 2-RDM, the variational method employs three different forms of the 2-RDM, known as the
D,
Q, and
G matrices, to restrict the 2-RDM to be approximately
N-representable, that is representable by an
N-electron wave function. We apply spin symmetries to the three forms of the 2-RDM, each of which breaks into four diagonal spin-blocks, namely one singlet and three triplet blocks. If the molecules have point-group symmetry, each of the 2-RDMs may be further subdivided into smaller diagonal blocks according to the spatial symmetry of the basis functions. The subdivision of the 2-RDMs into diagonal blocks generates significant computational savings in both floating-point operations and memory storage. Calculations illustrate the computational savings. Spin adaptation also enforces the correct expectation value of the ${\stackrel{\ifmmode \hat{}\else \^{}\fi{}}{S}}^{2}$ operator, which in earlier work is applied as a separate constraint.
An improved parametrization of the two-electron reduced density matrix (2-RDM) [D. A. Mazziotti, Phys. Rev. Lett. 101, 253002 (2008)] was recently shown to yield energies and properties that are markedly better than those calculated by traditional ab initio methods of similar computational scaling. In this paper a family of such energy functionals, generalizing the ones obtained previously, is derived through the use of (i)
p-particle contraction relations based on the contraction of the cumulant expansions of
p-particle RDMs and (ii) Cauchy-Schwarz relations that arise from an important set of
N-representability constraints known as the two-positivity conditions. The 2-RDMs are explicitly parameterized in terms of the first-order part of the cumulant 2-RDM and, for the inclusion of single excitations, a second-order part of the 1-RDM. In contrast to earlier formulations based on the coefficients from configuration interaction with single and double excitations (CISD), the cumulant-based parametric 2-RDM methods, from the properties of cumulants, are rigorously size extensive. We also show that writing the energy functionals in terms of correlated 1-RDMs and cumulant 2-RDMs reduces the computational cost of the parametric 2-RDM methods to that of CISD. Applications are made to ground-state energies of several molecules, equilibrium bond distances, and frequencies of HF,
F2, and CO, the relative energy of the cis and trans isomers of
HO3${}^{\ensuremath{-}}$, and the HCN-HNC isomerization reaction. For bond breaking in hydrogen fluoride the improved and more efficient parametric 2-RDM methods yield energies with similar accuracies at both equilibrium and nonequilibrium geometries in 6-31G** and polarized valence quadruple-$\ensuremath{\zeta}$ basis sets. Computed 2-RDMs very nearly satisfy well-known
N-representability conditions.
Molecular two-electron reduced density matrices (2-RDMs) are computed variationally without the many-electron wave function by constraining the 2-RDM with a set of three-particle
N-representability conditions known as three-positivity conditions. These constraints restrict four distinct three-particle probability distributions, which can be defined for any
N-particle system, to be nonnegative. The variational calculation of the 2-RDM with full three-positivity conditions is implemented with the first-order semidefinite programming algorithm [D.A. Mazziotti, Phys. Rev. Lett. 93, 213001 (2004)]. We also derive and implement a generalization of the
T2 representability condition, which is a subset of the three-positivity conditions. Energies and 2-RDMs are computed for several molecules as well as the nitrogen molecule at both equilibrium and nonequilibrium geometries. The ground-state energies for nitrogen are within
0.0015a.u. of the values from full configuration interaction at all internuclear distances.