Exact Factorization-Based Density Functional Theory of Electrons and Nuclei

A simple one-electron expression for electron rotational factors

Within the context of fewest-switch surface hopping (FSSH) dynamics, one often wishes to remove the angular component of the derivative coupling between states J and K. In a previous set of papers, Shu et al. [J. Phys. Chem. Lett. 11, 1135-1140 (2020)] posited one approach for such a removal based on direct projection, while we isolated a second approach by constructing and differentiating a rotationally invariant basis. Unfortunately, neither approach was able to demonstrate a one-electron operatorÔ whose matrix element JÔK was the angular component of the derivative coupling. Here, we show that a one-electron operator can, in fact, be constructed efficiently in a semi-local fashion. The present results yield physical insight into designing new surface hopping algorithms and are of immediate use for FSSH calculations.

Practical phase-space electronic Hamiltonians for ab initio dynamics

Modern electronic structure theory is built around the Born-Oppenheimer approximation and the construction of an electronic Hamiltonian Ĥel(X) that depends on the nuclear position X (and not the nuclear momentum P). In this article, using the well-known theory of electron translation (Γ') and rotational (Γ″) factors to couple electronic transitions to nuclear motion, we construct a practical phase-space electronic Hamiltonian that depends on both nuclear position and momentum, ĤPS(X,P). While classical Born-Oppenheimer dynamics that run along the eigensurfaces of the operator Ĥel(X) can recover many nuclear properties correctly, we present some evidence that motion along the eigensurfaces of ĤPS(X,P) can better capture both nuclear and electronic properties (including the elusive electronic momentum studied by Nafie). Moreover, only the latter (as opposed to the former) conserves the total linear and angular momentum in general.

Diagonalizing the Born-Oppenheimer Hamiltonian via Moyal perturbation theory, nonadiabatic corrections, and translational degrees of freedom

This article describes a method for calculating higher order or nonadiabatic corrections in Born-Oppenheimer theory and its interaction with the translational degrees of freedom. The method uses the Wigner-Weyl correspondence to map nuclear operators into functions on the classical phase space and the Moyal star product to represent operator multiplication on those functions. These are explained in the body of the paper. The result is a power series in κ2, where κ = (m/M)1/4 is the usual Born-Oppenheimer parameter. The lowest order term is the usual Born-Oppenheimer approximation, while higher order terms are nonadiabatic corrections. These are needed in calculations of electronic currents, momenta, and densities. The separation of nuclear and electronic degrees of freedom takes place in the context of the exact symmetries (for an isolated molecule) of translations and rotations, and these, especially translations, are explicitly incorporated into our discussion. This article presents an independent derivation of the Moyal expansion in molecular Born-Oppenheimer theory. We show how electronic currents and momenta can be calculated within the framework of Moyal perturbation theory; we derive the transformation laws of the electronic Hamiltonian, the electronic eigenstates, and the derivative couplings under translations; we discuss in detail the rectilinear motion of the molecular center of mass in the Born-Oppenheimer representation; and we show how the elimination of the translational components of the derivative couplings leads to a unitary transformation that has the effect of exactly separating the translational degrees of freedom.

Real-Time Time-Dependent Density Functional Theory for Simulating Nonequilibrium Electron Dynamics

The explicit real-time propagation approach for time-dependent density functional theory (RT-TDDFT) has increasingly become a popular first-principles computational method for modeling various time-dependent electronic properties of complex chemical systems. In this Perspective, we provide a nontechnical discussion of how this first-principles simulation approach has been used to gain novel physical insights into nonequilibrium electron dynamics phenomena in recent years. Following a concise overview of the RT-TDDFT methodology from a practical standpoint, we discuss our recent studies on the electronic stopping of DNA in water and the Floquet topological phase as examples. Our discussion focuses on how RT-TDDFT simulations played a unique role in deriving new scientific understandings. We then discuss existing challenges and some new advances at the frontier of RT-TDDFT method development for studying increasingly complex dynamic phenomena and systems.

Exact Factorization Adventures: A Promising Approach for Non-Bound States

Modeling the dynamics of non-bound states in molecules requires an accurate description of how electronic motion affects nuclear motion and vice-versa. The exact factorization (XF) approach offers a unique perspective, in that it provides potentials that act on the nuclear subsystem or electronic subsystem, which contain the effects of the coupling to the other subsystem in an exact way. We briefly review the various applications of the XF idea in different realms, and how features of these potentials aid in the interpretation of two different laser-driven dissociation mechanisms. We present a detailed study of the different ways the coupling terms in recently-developed XF-based mixed quantum-classical approximations are evaluated, where either truly coupled trajectories, or auxiliary trajectories that mimic the coupling are used, and discuss their effect in both a surface-hopping framework as well as the rigorously-derived coupled-trajectory mixed quantum-classical approach.

Geometric energy transfer in two-component systems

Factoring a wave function into marginal and conditional factors partitions the subsystem kinetic energy into two terms. The first depends solely on the marginal wave function, through its gauge-covariant derivative, while the second depends on the quantum metric of the conditional wave function over the manifold of marginal variables. We derive an identity for the rate of change of the second term. This article is part of the theme issue 'Chemistry without the Born-Oppenheimer approximation'.

Describing the photo-isomerization of a retinal chromophore model with coupled and quantum trajectories

The exact factorization of the electron-nuclear wavefunction is applied to the study of the photo- isomerization of a retinal chromophore model. We describe such an ultrafast nonadiabatic process by analyzing the time-dependent potentials of the theory and by mimicking nuclear dynamics with quantum and coupled trajectories. The time-dependent vector and scalar potentials are the signature of the exact factorization, as they guide nuclear dynamics by encoding the complete electronic dynamics and including excited-state effects. Analysis of the potentials is, thus, essential - when possible - to predict the time-dependent behavior of the system of interest. In this work, we employ the exact time-dependent potentials, available for the numerically-exactly solvable model used here, to propagate quantum nuclear trajectories representing the isomerization reaction of the retinal chromophore. The quantum trajectories are the best possible trajectory-based description of the reaction when using the exact-factorization formalism, and thus allow us to assess the performance of the coupled-trajectory, fully approximate, schemes derived from the exact-factorization equations.

Energy, Momentum, and Angular Momentum Transfer between Electrons and Nuclei

The recently developed exact factorization approach condenses all electronic effects on the nuclear subsystem into scalar and vector potentials that appear in an effective time dependent Schrödinger equation. Starting from this equation, we derive subsystem Ehrenfest identities characterizing the energy, momentum, and angular momentum transfer between electrons and nuclei. An effective electromagnetic force operator induced by the electromagnetic field corresponding to the effective scalar and vector potentials appears in all three identities. The effective magnetic field has two components that can be identified with the Berry curvature calculated with (a) different Cartesian coordinates of the same nucleus and (b) arbitrary Cartesian coordinates of two different nuclei. (a) has a classical interpretation as the induced magnetic field felt by the nucleus, while (b) has no classical analog. Subsystem Ehrenfest identities are ideally suited for quantifying energy transfer in electron-phonon systems. With two explicit examples we demonstrate the usefulness of the new identities.

Gaussian-Type Orbital Calculations for High Harmonic Generation in Vibrating Molecules: Benchmarks for H2. J Chem Theory Comput 2021;17:7353-7365. [PMID: 34747605 DOI: 10.1021/acs.jctc.1c00837]

The response of the hydrogen molecular ion, H₂⁺, to few-cycle laser pulses of different intensities is simulated. To treat the coupled electron-nuclear motion, we use adiabatic potentials computed with Gaussian-type basis sets together with a heuristic ionization model for the electron and a grid representation for the nuclei. Using this mixed-basis approach, the time-dependent Schrödinger equation is solved, either within the Born-Oppenheimer approximation or with nonadiabatic couplings included. The dipole response spectra are compared to all-grid-based solutions for the three-body problem, which we take as a reference to benchmark the Gaussian-type basis set approaches. Also, calculations employing the fixed-nuclei approximation are performed, to quantify effects due to nuclear motion. For low intensities and small ionization probabilities, we get excellent agreement of the dynamics using Gaussian-type basis sets with the all-grid solutions. Our investigations suggest that high harmonic generation (HHG) and high-frequency response, in general, can be reliably modeled using Gaussian-type basis sets for the electrons for not too high harmonics. Further, nuclear motion destroys electronic coherences in the response spectra even on the time scale of about 30 fs and affects HHG intensities, which reflect the electron dynamics occurring on the attosecond time scale. For the present system, non-Born-Oppenheimer effects are small. The Gaussian-based, nonadiabatically coupled, time-dependent multisurface approach to treat quantum electron-nuclear motion beyond the non-Born-Oppenheimer approximation can be easily extended to approximate wavefunction methods, such as time-dependent configuration interaction singles (TD-CIS), for systems where no benchmarks are available.

Nucleus-electron correlation revising molecular bonding fingerprints from the exact wavefunction factorization

We present a novel theory and implementation for computing coupled electronic and quantal nuclear subsystems on a single potential energy surface, moving beyond the standard Born-Oppenheimer (BO) separation of nuclei and electrons. We formulate an exact self-consistent nucleus-electron embedding potential from the single product molecular wavefunction and demonstrate that the fundamental behavior of the correlated nucleus-electron can be computed for mean-field electrons that are responsive to a quantal anharmonic vibration of selected nuclei in a discrete variable representation. Geometric gauge choices are discussed and necessary for formulating energy invariant biorthogonal electronic equations. Our method is further applied to characterize vibrationally averaged molecular bonding properties of molecular energetics, bond lengths, and protonic and electron densities. Moreover, post-Hartree-Fock electron correlation can be conveniently computed on the basis of nucleus-electron coupled molecular orbitals, as demonstrated for correlated models of second-order Møllet-Plesset perturbation and full configuration interaction theories. Our approach not only accurately quantifies non-classical nucleus-electron couplings for revising molecular bonding properties but also provides an alternative time-independent approach for deploying non-BO molecular quantum chemistry.

Simulating electronic excitation and dynamics with real-time propagation approach to TDDFT within plane-wave pseudopotential formulation

We give a perspective on simulating electronic excitation and dynamics using the real-time propagation approach to time-dependent density functional theory (RT-TDDFT) in the plane-wave pseudopotential formulation. RT-TDDFT is implemented in various numerical formalisms in recent years, and its practical application often dictates the most appropriate implementation of the theory. We discuss recent developments and challenges, emphasizing numerical aspects of studying real systems. Several applications of RT-TDDFT simulation are discussed to highlight how the approach is used to study interesting electronic excitation and dynamics phenomena in recent years.

Quantum-classical nonadiabatic dynamics of Floquet driven systems

We develop a trajectory-based approach for excited-state molecular dynamics simulations of systems subject to an external periodic drive. We combine the exact-factorization formalism, allowing us to treat electron-nuclear systems in nonadiabatic regimes, with the Floquet formalism for time-periodic processes. The theory is developed starting with the molecular time-dependent Schrödinger equation with the inclusion of an external periodic drive that couples to the system dipole moment. With the support of the Floquet formalism, quantum dynamics is approximated by combining classical-like, trajectory-based, nuclear evolution with electronic dynamics represented in the Floquet basis. The resulting algorithm, which is an extension of the coupled-trajectory mixed quantum-classical scheme for periodically driven systems, is applied to a model study, exactly solvable, with different field intensities.

Quantum Information and Algorithms for Correlated Quantum Matter

Discoveries in quantum materials, which are characterized by the strongly quantum-mechanical nature of electrons and atoms, have revealed exotic properties that arise from correlations. It is the promise of quantum materials for quantum information science superimposed with the potential of new computational quantum algorithms to discover new quantum materials that inspires this Review. We anticipate that quantum materials to be discovered and developed in the next years will transform the areas of quantum information processing including communication, storage, and computing. Simultaneously, efforts toward developing new quantum algorithmic approaches for quantum simulation and advanced calculation methods for many-body quantum systems enable major advances toward functional quantum materials and their deployment. The advent of quantum computing brings new possibilities for eliminating the exponential complexity that has stymied simulation of correlated quantum systems on high-performance classical computers. Here, we review new algorithms and computational approaches to predict and understand the behavior of correlated quantum matter. The strongly interdisciplinary nature of the topics covered necessitates a common language to integrate ideas from these fields. We aim to provide this common language while weaving together fields across electronic structure theory, quantum electrodynamics, algorithm design, and open quantum systems. Our Review is timely in presenting the state-of-the-art in the field toward algorithms with nonexponential complexity for correlated quantum matter with applications in grand-challenge problems. Looking to the future, at the intersection of quantum information science and algorithms for correlated quantum matter, we envision seminal advances in predicting many-body quantum states and describing excitonic quantum matter and large-scale entangled states, a better understanding of high-temperature superconductivity, and quantifying open quantum system dynamics.

Quantum Trajectories for the Dynamics in the Exact Factorization Framework: A Proof-of-Principle Test

In the framework of the exact factorization of the time-dependent electron-nuclear wave function, we investigate the possibility of solving the nuclear time-dependent Schrödinger equation based on trajectories. The nuclear equation is separated in a Hamilton-Jacobi equation for the phase of the wave function, and a continuity equation for its (squared) modulus. For illustrative adiabatic and nonadiabatic one-dimensional models, we implement a procedure to follow the evolution of the nuclear density along the characteristics of the Hamilton-Jacobi equation. Those characteristics are referred to as quantum trajectories, since they are generated via ordinary differential equations similar to Hamilton's equations, but including the so-called quantum potential, and they can be used to reconstruct exactly the quantum-mechanical nuclear wave function, provided infinite initial conditions are propagated in time.

Spin-Orbit Interactions in Ultrafast Molecular Processes

We investigate spin-orbit interactions in ultrafast molecular processes employing the exact factorization of the electron-nuclear wave function. We revisit the original derivation by including spin-orbit coupling, and show how the dynamics driven by the time-dependent potential energy surface alleviates inconsistencies arising from different electronic representations. We propose a novel trajectory-based scheme to simulate spin-forbidden non-radiative processes, and we show its performance in the treatment of excited-state dynamics where spin-orbit effects couple different spin multiplets.

On the numerical solution of the exact factorization equations

The exact factorization (EF) approach to coupled electron-ion dynamics recasts the time-dependent molecular Schrödinger equation as two coupled equations, one for the nuclear wavefunction and one for the conditional electronic wavefunction. The potentials appearing in these equations have provided insight into non-adiabatic processes, and new practical non-adiabatic dynamics methods have been formulated starting from these equations. Here, we provide a first demonstration of a self-consistent solution of the exact equations, with a preliminary analysis of their stability and convergence properties. The equations have an unprecedented mathematical form, involving a Hamiltonian outside the class of Hermitian Hamiltonians usually encountered in time-propagation, and so the usual numerical methods for time-dependent Schrödinger fail when applied in a straightforward way to the EF equations. We find an approach that enables stable propagation long enough to witness non-adiabatic behavior in a model system before non-trivial instabilities take over. Implications for the development and analysis of EF-based methods are discussed.

Time-Dependent Multicomponent Density Functional Theory for Coupled Electron-Positron Dynamics

Electron-positron interactions have been utilized in various fields of science. Here we develop time-dependent multicomponent density functional theory to study the coupled electron-positron dynamics from first principles. We prove that there are coupled time-dependent single-particle equations that can provide the electron and positron density dynamics, and derive the formally exact expression for their effective potentials. Introducing the adiabatic local density approximation to time-dependent electron-positron correlation, we apply the theory to the dynamics of a positronic lithium hydride molecule under a laser field. We demonstrate the significance of the coupling between electronic and positronic motion by revealing the complex positron detachment mechanism and the suppression of electronic resonant excitation by the screening effect of the positron.

Cavity-Correlated Electron-Nuclear Dynamics from First Principles

The rapidly developing and converging fields of polaritonic chemistry and quantum optics necessitate a unified approach to predict strongly correlated light-matter interactions with atomic-scale resolution. Toward this overarching goal, we introduce a general time-dependent density-functional theory to study correlated electron, nuclear, and photon interactions on the same quantized footing. We complement our theoretical formulation with the first ab initio calculation of a correlated electron-nuclear-photon system. For a CO_{2} molecule in an optical cavity, we construct the infrared spectra exhibiting Rabi splitting between the upper and lower polaritonic branches, time-dependent quantum-electrodynamical observables such as the electric displacement field, and observe cavity-modulated molecular motion. Our work opens an important new avenue in introducing ab initio methods to the nascent field of collective strong vibrational light-matter interactions.

Continuous vibronic symmetries in Jahn-Teller models

Explorations of the consequences of the Jahn-Teller (JT) effect remain active in solid-state and chemical physics. In this topical review we revisit the class of JT models which exhibit continuous vibronic symmetries. A treatment of these systems is given in terms of their algebraic properties. In particular, the compact symmetric spaces corresponding to JT models carrying a vibronic Lie group action are identified, and their invariants used to reduce their adiabatic potential energy surfaces into orbit spaces of the corresponding Lie groups. Additionally, a general decomposition of the molecular motion into pseudorotational and radial components is given based on the behavior of the electronic adiabatic states under the corresponding motions. We also provide a simple proof that the electronic spectrum for the space of JT minimum-energy structures (trough) displays a universality predicted by the epikernel principle. This result is in turn used to prove the topological equivalence between bosonic (fermionic) JT troughs and real (quaternionic) projective spaces. The relevance of the class of systems studied here for the more common case of JT systems with only discrete point group symmetry, and for generic asymmetric molecular systems with conical intersections involving more than two states is likewise explored. Finally, we show that JT models with continuous symmetries present the simplest models of conical intersections among an arbitrary number of electronic state crossings, and outline how this information may be utilized to obtain additional insight into generic dynamics near conical intersections.

Effective electronic-only Kohn-Sham equations for the muonic molecules

A set of effective electronic-only Kohn-Sham (EKS) equations are derived for the muonic molecules (containing a positively charged muon), which are completely equivalent to the coupled electronic-muonic Kohn-Sham equations derived previously within the framework of the nuclear-electronic orbital density functional theory (NEO-DFT). The EKS equations contain effective non-coulombic external potentials depending on parameters describing the muon's vibration, which are optimized during the solution of the EKS equations making the muon's KS orbital reproducible. It is demonstrated that the EKS equations are derivable from a certain class of effective electronic Hamiltonians through applying the usual Hohenberg-Kohn theorems revealing a "duality" between the NEO-DFT and the effective electronic-only DFT methodologies. The EKS equations are computationally applied to a small set of muoniated organic radicals and it is demonstrated that a mean effective potential may be derived for this class of muonic species while an electronic basis set is also designed for the muon. These computational ingredients are then applied to muoniated ferrocenyl radicals, which had been previously detected experimentally through adding a muonium atom to ferrocene. In line with previous computational studies, from the six possible species, the staggered conformer, where the muon is attached to the exo position of the cyclopentadienyl ring, is deduced to be the most stable ferrocenyl radical.

On the Dynamics through a Conical Intersection

Conical intersections represent critical topological features of potential energy surfaces and open ultrafast nonradiative deactivation channels for photoexcited molecules. In the following, we investigate how this funneling picture is transposed in the eyes of the exact factorization formalism for a 2D model system. The exact factorization of the total molecular wave function leads to the fundamental concept of time-dependent potential energy surface and time-dependent vector potential, whose behavior during a dynamics through a conical intersection has up to now remained unexplored. Despite the fact that these quantities might be viewed as time-dependent generalizations of the adiabatic potential energy surfaces and the nonadiabatic coupling vectors, characteristic quantities appearing in the Born-Oppenheimer framework, we observe that they do not exhibit particular topological features in the region of conical intersection but still reflect the complex dynamics of the nuclear wavepacket.

Electronic non-adiabatic dynamics in enhanced ionization of isotopologues of hydrogen molecular ions from the exact factorization perspective

An exact-factorization perspective of enhanced ionization in isotopologues of H₂⁺ demonstrates the concept of the exact potential driving the electrons in non-adiabatic motion of molecules in strong fields, and sets a new platform for introducing various approximations.