For an open, time-dependent quantum system, Lindblad derived the most general modification of the quantum Liouville equation in the Markovian approximation that models environmental effects while preserving the non-negativity of the system's density matrix. While Lindblad's modification is correct for N-electron density matrices, solution of the Liouville equation with a Lindblad operator causes the one-electron reduced density matrix (1-RDM) to violate the Pauli exclusion principle. Consequently, after a short time, the 1-RDM is not representable by an ensemble N-electron density matrix (not ensemble N-representable). In this communication, we derive the necessary and sufficient constraints on the Lindbladian matrix within the Lindblad operator to ensure that the 1-RDM remains N-representable for all time. The theory is illustrated by considering the relaxation of an excitation in several molecules F2, N2, CO, and BeH2 subject to environmental noise.
For an open, time-dependent quantum system, Lindblad derived the most general modification of the quantum Liouville equation in the Markovian approximation that models environmental effects while preserving the non-negativity of the system's density matrix. While Lindblad's modification is correct for N-electron density matrices, solution of the Liouville equation with a Lindblad operator causes the one-electron reduced density matrix (1-RDM) to violate the Pauli exclusion principle. Consequently, after a short time, the 1-RDM is not representable by an ensemble N-electron density matrix (not ensemble N-representable). In this communication, we derive the necessary and sufficient constraints on the Lindbladian matrix within the Lindblad operator to ensure that the 1-RDM remains N-representable for all time. The theory is illustrated by considering the relaxation of an excitation in several molecules F2, N2, CO, and BeH2 subject to environmental noise.
Treatment of Markovian, many-electron dynamics from the solution of the Lindblad equation for the 1-electron reduced density matrix requires additional constraints on the bath operators to maintain fermion statistics. Recently, we generalized Lindblad's formalism to non-Markovian dynamics through an ensemble of Lindbladian trajectories. Here we show that the fermion statistics of non-Markovian dynamics can be enforced through analogous constraints on the bath operators of each Lindbladian trajectory in the ensemble. To illustrate, we apply the non-Markovian method to three distinct systems of two fermions in three levels. While the electrons violate the fermion statistics without the constraints, correct fermion behavior is recovered with the constraints.
Information about the interaction of a many-electron quantum system with its environment, we show, is encoded within the one-electron density matrix (1-RDM). While the 1-RDM from an ensemble many-electron quantum system must obey the Pauli exclusion principle, the 1-RDM must obey additional constraints known as generalized Pauli conditions when it corresponds to a closed system describable by a single wave function. By examining the 1-RDM's violation of these generalized Pauli conditions, we obtain a sufficient condition at the level of a single electron for a many-electron quantum system's openness. In an application to exciton dynamics in photosynthetic light harvesting we show that the interaction of the system with the environment (quantum noise) relaxes significant constraints imposed on the exciton dynamics by the generalized Pauli conditions. This relaxation provides a geometric (kinematic) interpretation for the role of noise in enhancing exciton transport in quantum systems.
Abstract This chapter introduces the density operator and the Liouville equation and outlines how reduced dynamical description of open quantum systems naturally leads to the appearance of relaxation processes. (1) The density operator and the quantum Liouville equation (the density matrix for a pure system, statistical mixtures, representations, coherences, thermodynamic equilibrium). (2) An example: The time evolution of a two-level system in the density matrix formalism. (3) Reduced descriptions. (4) Time evolution equations for reduced density operators: The quantum master equation (projection operators, The Nakajima–Zwanzig equation, Derivation of the quantum master equation using the thermal projector, The quantum master equation in the interaction representation, The Markovian limit—the Redfield equation, The secular approximation and the Lindblad equation). (5) The Lindblad equation in the ‘Heisenberg representation’. (6) Relaxation of a two-level system and a harmonic oscillator revisited. (7) The optically driven two-level system in a thermal environment—the Bloch equations. (8) The oscillating dipole model of a two-level molecule. (9) Analogy of a coupled two-level system to a spin ½ system in a magnetic field.
It is well known that determining the energy of molecules and other quantum many-body systems reduces in the standard approximation to optimizing a simple linear functional of a 12-variable object, the two-electron reduced density matrix (2-RDM). The difficulty is that the variation ensemble for that functional has never been satisfactorily determined. This is known as the N-representability problem of quantum chemistry (which to a large extent is a problem of quantum information theory). The situation has given rise to competing research programs, typically trading more complicated functionals for simpler representability conditions. Chief among them is density functional theory, based on a three-variable object for which the N-representability is trivial, whereas the exact functional is very strange indeed, and probably forever unknowable. An intermediate position is occupied by 1-RDM functional theory. Postulated by Pauli to explain the electronic structure of atoms and molecules, the exclusion principle establishes an upper bound of 1 for the fermionic natural occupation numbers, accordingly allowing no more than one electron in each quantum state. This is a necessary and sufficient condition for a 1-RDM to be the contraction of an ensemble N-body density matrix. The fermionic one-body quantum marginal problem asks whether given natural occupation numbers can arise from an antisymmetric (ensemble or pure) N-particle state. The configuration interaction method affords optimal descriptions of quantum states of atoms and molecules by expanding the wave function in terms of orbital-based configurations of Slater determinants. For these systems, the dimension of the Hilbert space grows binomially with m, the number of spin-orbitals in the basis of the one-particle Hilbert space, and N, the number of electrons of the system. It has been observed that for the rank-six approximation of a pure-state N=3 system, the occupation numbers satisfy some additional constraints, stronger than the Pauli exclusion principle. The recent analysis by Alexander Klyachko and coworkers of the one-body marginal problem of the pure N-fermion state establishes a systematic approach to this type of constraints. In fact, for a pure quantum system of N electrons arranged in m spin-orbitals the occupation numbers satisfy a set of linear inequalities, known as generalized Pauli constraints (GPC). These inequalities define a convex polytope of allowed states in R^m. They are conditions for a 1-RDM to be the contraction of a N-body state. When one of the GPC is completely saturated, the system is said to be pinned, and it lies on one of the facets of the polytope. The nature of those conditions has been explored till now only in a few systems: a model of three spinless fermions confined to a one-dimensional harmonic potential, the lithium isoelectronic series and ground and excited states of some three- and four-electron molecules for the rank being at least twice the number of electrons. For all these systems the inequalities are (quite often) nearly saturated. This is the so-called quasipinning phenomenon. In this PhD thesis we have taken up the challenge of using numerical and analytical methods to examine pinned and quasipinned states, for atoms and molecules, starting from scratch with configuration-interaction and multiconfiguration self-consistent methods. This procedure serves to study the occurrence of quasipinning in realistic systems. A second goal is to show how the subsets of pinned states defined by GPC give rise to the most efficient approach from a computational viewpoint, yielding the leading order of the electron-electron correlations. As a consequence, we underline in this thesis the theoretical and practical importance of Klyachko's approach to the quantum marginal problem and its impact on the competing research programs to determine feasible electronic densities, 1-RDM, 2-RDM, intracular distributions or Wigner density quasiprobabilities. In relation with the above, our research provides a new variational optimization method for few-fermion ground states. We quantitatively confirm its high accuracy for quasipinned systems and derive an upper bound on the error of the correlation energy given by the ratio of the numerical value of the Klyachko inequality and the distance to the Hartree-Fock point. Depending on the details of the algorithm, we are able to reach 98%-99% of the correlation energy for such systems.
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.