My research work focuses on the numerical and theoretical analysis of numerical models and methods in quantum chemistry, whether they come from solid state physics or molecular chemistry. More precisely, they aim to estimate the errors that have several possible origins
modeling errors: the equations which govern quantum chemistry are known - the Schrödinger equation is a high-dimensional linear PDE - which can only be solved for systems reduced to a few electrons. The models (Hartree-Fock or Kohn-Sham) reduce the problem to solving a nonlinear system of PDEs in 3D.
discretization errors: for a given model, this error depends on the numerical scheme considered (plane waves, finite elements or finite differences).
algorithmic errors: at a fixed model and scheme, the chosen algorithm introduces an error which may be difficult to assess. The nonlinear PDEs in quantum chemistry are solved by fixed point methods. The underlying problem being in the vast majority of cases non-convex, the convergence with respect to a numerical tolerance is unclear.
Tensor Networks (TN) have seen rapid and emerging interests. They aim to give a sparse representation of high-dimensional functions. The first instance of TN was Matrix Product States (MPS) or Tensor Trains that were introduced in the late 90s/early 2000s in physics as DMRG (Density Matrix Renormalization Group) to find the ground-state of statistical models (one-dimensional Hubbard or Heisenberg models). MPS has been used for the -body electronic Schrödinger problem where the question of the optimal topology (or best ordering) is not clear.
In the contribution, we investigate the behaviour of the singular values of reshapes of a particular class of functions (Slater determinants). The decay of these singular values drives the approximability of the function by an MPS. For this class of functions, if we denote by the singular values of the reshaped tensor , then we show that there are positive singular values, where is the number of particles and they satisfy
The constant is moreover explicit and depends on the ordering of the modes of the tensor. This provides a natural criterion to optimze a TT approximation of the state.
Mi-Song Dupuy, Gero Friesecke, Inversion symmetry of singular values and a new orbital ordering method in tensor train approximations for quantum chemistry, SIAM Journal on Scientific Computing, 2021.
Properties of a molecule in its ground-state perturbed by a time-dependent potential can be approximated in the linear regime (assuming that the perturbation is small) using the Kubo formula. To be more precise, if is the ground-state of an operator acting on , for some observable and solution to
the linear response function defined by
is given by the Kubo formula
The Fourier transform of is then
The above formula is in practice approximated by taking a positive and by truncating the space to a finite region . This necessarily yields a singular approximation of the linear response function . In the paper, the regularity of the response function is determined, depending on the decay of the potential . Moreover, the relationship between and guaranteeing the convergence of the approximation is shown, supported by numerical experiments.
Mi-Song Dupuy, Antoine Levitt, Finite-size effects in response functions of molecular systems, accepted in SMAI Journal of Computational Mathematics, 2022.
The ground-state of a molecule is given by the lowest eigenvalue of the operator acting on with domain
where is the number of electrons, accounts for the interaction with the nuclei and is the electron-electron interaction. Solving the high-dimensional eigenvalue problem is quickly intractable for systems with more than a few electrons, but thankfully, the ground state energy can be computed using density functional theory (DFT). DFT states the existence of a universal functional of the electronic density such that
where is the admissible set of electronic densities.
It is a tremendous reduction of dimensionality, at the expense that the functional is unknown... Over the past 60 years, great efforts have been put in the design of more and more accurate density functionals, that have been used for systems with tens of thousands electrons, but it appeared that the simple dissociation of the H molecule, i.e. a two-electron molecule remains a challenging system for most density functionals. At the dissociation limit, when the hydrogen atoms are pulled away to infinity, we expect that the energy of the system at the limit is twice the energy of a single hydrogen atom. This fails for example for restricted Hartree-Fock as the spin restriction introduces a spurious self-interaction energy that can only be lifted by breaking the spin symmetry. In other words, the correct depiction of the dissociation requires a superposition of two determinantal states, hence it cannot be captured at the level of restricted Hartree-Fock.
phRPA, also simply called RPA, is one of the few ansatz for the correlation energy that is able to dissociate H correctly. In the paper with Kyle Thicke, we show that by taking the RPA correlation energy, which can be derived from an adiabatic connection argument that is explained, on top of a restricted Hartree-Fock functional, we have the exact dissociation of the H molecule.
Mi-Song Dupuy, Kyle Thicke, Dissociation limit of the H2 molecule in phRPA-DFT, preprint, 2022.
Anderson acceleration, also known as DIIS (Direct Inversion of the Iterative Space) in quantum chemistry, aims to accelerate the convergence of fixed-point iteration . Such fixed-point problems are ubiquitous, and in quantum chemistry come from the Hartree-Fock or Kohn-Sham equations. DIIS is an extrapolation method where the next iterate is built using the knowledge of previous iterates. The DIIS sequence is given by
where is an error function that locally vanishes only at the solution of the fixed-point problem. A usual choice is .
An important parameter in the efficiency of the method is the width of the history/number of iterates kept. Two variants are considered in our publication:
one where the history increases until the least-square problem is ill-conditioned.
another where teh size of the history is controlled by the ratio of the residuals for . The heuristic behind this variant is to keep the iterates that are the most relevant to build the next one.
For both variants, we prove local linear convergence and superlinear convergence by tuning the DIIS numerical parameters.
Maxime Chupin, Mi-Song Dupuy, Guillaume Legendre, Eric Séré, Convergence analysis of adaptive DIIS algorithms with application to electronic ground state calculations, ESIAM: M2AN, (2021).
In solid-state physics, the periodic boundary conditions motivate a plane-wave discretisation. However because of the Coulomb singularities at the nuclei, the eigenfunctions of the Hamiltonian have cusps which impedes the convergence. Pseudopotential methods are widely used, where the Coulomb singularities are smoothened. In the PAW method (Projector Augmented-Wave), introduced by Blöchl, the pseudopotential is introduced using an invertible operator acting locally around the nuclei. The PAW equations involve infinitely many terms that are truncated in the numerical treatment which causes a modelling error. This modelling error has been analysed for the one-dimensional model for which explicit formulas of the eigenpairs are available.
Another approach consists in introducing an invertible operator acting locally around the nuclei. This operator is defined such that it maps smooth functions to functions with cusps satisfying the Kato cusp condition. This operator acts as a preconditonner for a plane-wave discretisation. This method is called the Variational Projector Augmented-Wave and has been analysed for one-dimensional and three-dimensional Hamiltonians.
Xavier Blanc, Eric Cancès, Mi-Song Dupuy, Variational projector augmented-wave method : theoretical analysis and preliminary numerical results, Numerische Mathematik, 2019.
Mi-Song Dupuy, Projector augmented-wave method: analysis in a one-dimensional setting, ESAIM: M2AN, 2020.
Mi-Song Dupuy, Variational projector-augmented wave method: a full-potential approach for electronic structure calculations in solid-state physics, Journal of Computational Physics, 2021.