Showing 1–50 of 54 results for author: Maday, Y

Nonlinear compressive reduced basis approximation for multi-parameter elliptic problem

Authors: Christophe Prud'Homme, Yvon Maday, Hassan Ballout

Abstract: Reduced basis methods for approximating the solutions of parameter-dependant partial differential equations (PDEs) are based on learning the structure of the set of solutions - seen as a manifold ${\mathcal S}$ in some functional space - when the parameters vary. This involves investigating the manifold and, in particular, understanding whether it is close to a low-dimensional affine space. This l… ▽ More Reduced basis methods for approximating the solutions of parameter-dependant partial differential equations (PDEs) are based on learning the structure of the set of solutions - seen as a manifold ${\mathcal S}$ in some functional space - when the parameters vary. This involves investigating the manifold and, in particular, understanding whether it is close to a low-dimensional affine space. This leads to the notion of Kolmogorov $N$-width that consists of evaluating to which extent the best choice of a vectorial space of dimension $N$ approximates ${\mathcal S}$ well enough. If a good approximation of elements in ${\mathcal S}$ can be done with some well-chosen vectorial space of dimension $N$ -- provided $N$ is not too large -- then a ``reduced'' basis can be proposed that leads to a Galerkin type method for the approximation of any element in ${\mathcal S}$. In many cases, however, the Kolmogorov $N$-width is not so small, even if the parameter set lies in a space of small dimension yielding a manifold with small dimension. In terms of complexity reduction, this gap between the small dimension of the manifold and the large Kolmogorov $N$-width can be explained by the fact that the Kolmogorov $N$-width is linear while, in contrast, the dependency in the parameter is, most often, non-linear. There have been many contributions aiming at reconciling these two statements, either based on deterministic or AI approaches. We investigate here further a new paradigm that, in some sense, merges these two aspects: the nonlinear compressive reduced basisapproximation. We focus on a simple multiparameter problem and illustrate rigorously that the complexity associated with the approximation of the solution to the parameter dependant PDE is directly related to the number of parameters rather than the Kolmogorov $N$-width. △ Less

Submitted 4 July, 2024; originally announced July 2024.

Shortcut to Chemically Accurate Quantum Computing via Density-based Basis-set Correction

Authors: Diata Traore, Olivier Adjoua, César Feniou, Ioanna-Maria Lygatsika, Yvon Maday, Evgeny Posenitskiy, Kerstin Hammernik, Alberto Peruzzo, Julien Toulouse, Emmanuel Giner, Jean-Philip Piquemal

Abstract: Quantum computing promises a computational advantage over classical methods in electronic-structure calculations, with expected applications in drug design and materials science. Accessing a quantitative description of chemical systems while minimizing quantum resources, such as the number of qubits, is an essential challenge given the limited capabilities of current quantum processors. We provide… ▽ More Quantum computing promises a computational advantage over classical methods in electronic-structure calculations, with expected applications in drug design and materials science. Accessing a quantitative description of chemical systems while minimizing quantum resources, such as the number of qubits, is an essential challenge given the limited capabilities of current quantum processors. We provide a shortcut towards quantum computations at chemical accuracy by approaching the complete-basis-set limit (CBS) through integrating density-functional theory into quantum algorithms via density-based basis-set corrections coupled to basis-sets crafted on-the-fly and specifically adapted to a given system/user-defined qubit budget. The approach self-consistently accelerates the basis-set convergence, improving electronic densities, ground-state energies, and first-order properties such as dipole moments. It can also serve as a classical, a posteriori, energy correction to quantum hardware calculations. The strategy is assessed using GPU-accelerated state-vector emulation up to 32 qubits. We converge the ground-state energies of four systems (He, Be, H$_2$, LiH) within chemical accuracy of the CBS full-configuration-interaction reference, while offering a systematic increase of accuracy beyond a double-zeta quality for various molecules up to the H$_8$ hydrogen chain. We also obtain dissociation curves for H$_2$ and LiH that reach the CBS limit whereas for the challenging simulation of the N$_2$ triple-bond breaking, we achieve a near-triple-zeta quality at the cost of a minimal basis-set. This hybrid strategy allows us to obtain quantitative results that would otherwise require brute-force quantum simulations using far more than 100 logical qubits, thereby opening up opportunities to explore real-world chemistry with reasonable computational resources. △ Less

Submitted 1 June, 2024; v1 submitted 19 May, 2024; originally announced May 2024.

Analysis of the Single Reference Coupled Cluster Method for Electronic Structure Calculations: The Discrete Coupled Cluster Equations

Authors: Muhammad Hassan, Yvon Maday, Yipeng Wang

Abstract: Coupled cluster methods are widely regarded as the gold standard of computational quantum chemistry as they are perceived to offer the best compromise between computational cost and a high-accuracy resolution of the ground state eigenvalue of the electronic Hamiltonian -- an unbounded, self-adjoint operator acting on a Hilbert space of antisymmetric functions that describes electronic properties o… ▽ More Coupled cluster methods are widely regarded as the gold standard of computational quantum chemistry as they are perceived to offer the best compromise between computational cost and a high-accuracy resolution of the ground state eigenvalue of the electronic Hamiltonian -- an unbounded, self-adjoint operator acting on a Hilbert space of antisymmetric functions that describes electronic properties of molecular systems. The present contribution is the second in a series of two articles where we introduce a new numerical analysis of the single-reference coupled cluster method based on the invertibility of coupled cluster Fréchet derivative. In this contribution, we study discretisations of the single-reference coupled cluster equations based on a prior mean-field (Hartree-Fock) calculation. We show that under some structural assumptions on the associated discretisation spaces and assuming that the discretisation is fine enough, the discrete coupled cluster equations are locally well-posed, and we derive a priori and residual-based a posteriori error estimates for the discrete coupled cluster solutions. Preliminary numerical experiments indicate that the structural assumptions that we impose for our analysis can be expected to hold for several small molecules and the theoretical constants that appear in our error estimates are an improvement over those obtained from earlier approaches. △ Less

Submitted 26 November, 2023; v1 submitted 1 November, 2023; originally announced November 2023.

Comments: 78 Pages

MSC Class: 65N25; 65N30; 65Z05; 81V55; 81V70

Greedy Gradient-free Adaptive Variational Quantum Algorithms on a Noisy Intermediate Scale Quantum Computer

Authors: César Feniou, Baptiste Claudon, Muhammad Hassan, Axel Courtat, Olivier Adjoua, Yvon Maday, Jean-Philip Piquemal

Abstract: Hybrid quantum-classical adaptive Variational Quantum Eigensolvers (VQE) already hold the potential to outperform classical computing for simulating quantum many-body systems. However, their practical implementation on current quantum processing units (QPUs) is very challenging due to the noisy evaluation of a polynomially scaling number of observables, undertaken for operator selection and optimi… ▽ More Hybrid quantum-classical adaptive Variational Quantum Eigensolvers (VQE) already hold the potential to outperform classical computing for simulating quantum many-body systems. However, their practical implementation on current quantum processing units (QPUs) is very challenging due to the noisy evaluation of a polynomially scaling number of observables, undertaken for operator selection and optimisation of a high-dimensional cost function. To overcome this, we propose new techniques to execute adaptive algorithms on a 25-qubit error-mitigated QPU coupled to a GPU-accelerated HPC simulator. Targeting physics applications, we compute the ground state of a 25-body Ising model using the newly introduced Greedy Gradient-free Adaptive VQE (CGA-VQE) requiring only five circuit measurements per iteration, regardless of the number of qubits and size of the operator pool. Towards chemistry, we combine the GGA-VQE and Overlap-ADAPT-VQE algorithms to approximate a molecular system ground state. We show that the QPU successfully executes the algorithms and yields the correct choice of parametrised unitary operators. While the QPU evaluation of the resulting ansatz wave-function is polluted by hardware noise, a single final evaluation of the sought-after observables on a classical GPU-accelerated/noiseless simulator allows the recovery of the correct approximation of the ground state, thus highlighting the need for hybrid quantum-classical observable measurement. △ Less

Submitted 11 September, 2023; v1 submitted 29 June, 2023; originally announced June 2023.

Directed Message Passing Based on Attention for Prediction of Molecular Properties

Authors: Chen Gong, Yvon Maday

Abstract: Molecular representation learning (MRL) has long been crucial in the fields of drug discovery and materials science, and it has made significant progress due to the development of natural language processing (NLP) and graph neural networks (GNNs). NLP treats the molecules as one dimensional sequential tokens while GNNs treat them as two dimensional topology graphs. Based on different message passi… ▽ More Molecular representation learning (MRL) has long been crucial in the fields of drug discovery and materials science, and it has made significant progress due to the development of natural language processing (NLP) and graph neural networks (GNNs). NLP treats the molecules as one dimensional sequential tokens while GNNs treat them as two dimensional topology graphs. Based on different message passing algorithms, GNNs have various performance on detecting chemical environments and predicting molecular properties. Herein, we propose Directed Graph Attention Networks (D-GATs): the expressive GNNs with directed bonds. The key to the success of our strategy is to treat the molecular graph as directed graph and update the bond states and atom states by scaled dot-product attention mechanism. This allows the model to better capture the sub-structure of molecular graph, i.e., functional groups. Compared to other GNNs or Message Passing Neural Networks (MPNNs), D-GATs outperform the state-of-the-art on 13 out of 15 important molecular property prediction benchmarks. △ Less

Submitted 24 May, 2023; originally announced May 2023.

Comments: Computational Materials Science, In press

An overview of a posteriori error estimation and post-processingmethods for nonlinear eigenvalue problems

Authors: Geneviève Dusson, Yvon Maday

Abstract: In this article, we present an overview of different a posteriori error analysis and postprocessing methods proposed in the context of nonlinear eigenvalue problems, e.g. arising inelectronic structure calculations for the calculation of the ground state and compare them. Weprovide two equivalent error reconstructions based either on a second-order Taylor expansionof the minimized energy, or a fir… ▽ More In this article, we present an overview of different a posteriori error analysis and postprocessing methods proposed in the context of nonlinear eigenvalue problems, e.g. arising inelectronic structure calculations for the calculation of the ground state and compare them. Weprovide two equivalent error reconstructions based either on a second-order Taylor expansionof the minimized energy, or a first-order expansion of the nonlinear eigenvalue equation. Wethen show how several a posteriori error estimations as well as post-processing methods can beformulated as specific applications of the derived reconstructed errors, and we compare theirrange of applicability as well as numerical cost and precision. △ Less

Submitted 4 July, 2023; v1 submitted 2 March, 2023; originally announced March 2023.

Overlap-ADAPT-VQE: Practical Quantum Chemistry on Quantum Computers via Overlap-Guided Compact Ansätze

Authors: César Feniou, Muhammad Hassan, Diata Traoré, Emmanuel Giner, Yvon Maday, Jean-Philip Piquemal

Abstract: ADAPT-VQE is a robust algorithm for hybrid quantum-classical simulations of quantum chemical systems on near-term quantum computers. While its iterative process systematically reaches the ground state energy, ADAPT-VQE is sensitive to local energy minima, leading to over-parameterized ansätze. We introduce the Overlap-ADAPT-VQE to grow wave-functions by maximizing their overlap with any intermedia… ▽ More ADAPT-VQE is a robust algorithm for hybrid quantum-classical simulations of quantum chemical systems on near-term quantum computers. While its iterative process systematically reaches the ground state energy, ADAPT-VQE is sensitive to local energy minima, leading to over-parameterized ansätze. We introduce the Overlap-ADAPT-VQE to grow wave-functions by maximizing their overlap with any intermediate target wave-function that already captures some electronic correlation. By avoiding building the ansatz in the energy landscape strewn with local minima, the Overlap-ADAPT-VQE produces ultra-compact ansätze suitable for high-accuracy initializations of a new ADAPT procedure. Spectacular advantages over ADAPT-VQE are observed for strongly correlated systems including massive savings in circuit depth. Since this compression strategy can also be initialized with accurate Selected-Configuration Interaction (SCI) classical target wave-functions, it paves the way for chemically accurate simulations of larger systems, and strengthens the promise of decisively surpassing classical quantum chemistry through the power of quantum computing. △ Less

Submitted 8 June, 2023; v1 submitted 24 January, 2023; originally announced January 2023.

Journal ref: Commun. Phys. 6 (2023) 192

Analysis of the Single Reference Coupled Cluster Method for Electronic Structure Calculations: The Full Coupled Cluster Equations

Authors: Muhammad Hassan, Yvon Maday, Yipeng Wang

Abstract: The central problem in electronic structure theory is the computation of the eigenvalues of the electronic Hamiltonian -- an unbounded, self-adjoint operator acting on a Hilbert space of antisymmetric functions. Coupled cluster (CC) methods, which are based on a non-linear parameterisation of the sought-after eigenfunction and result in non-linear systems of equations, are the method of choice for… ▽ More The central problem in electronic structure theory is the computation of the eigenvalues of the electronic Hamiltonian -- an unbounded, self-adjoint operator acting on a Hilbert space of antisymmetric functions. Coupled cluster (CC) methods, which are based on a non-linear parameterisation of the sought-after eigenfunction and result in non-linear systems of equations, are the method of choice for high accuracy quantum chemical simulations but their numerical analysis is underdeveloped. The existing numerical analysis relies on a local, strong monotonicity property of the CC function that is valid only in a perturbative regime, i.e., when the sought-after ground state CC solution is sufficiently close to zero. In this article, we introduce a new well-posedness analysis for the single reference coupled cluster method based on the invertibility of the CC derivative. Under the minimal assumption that the sought-after eigenfunction is intermediately normalisable and the associated eigenvalue is isolated and non-degenerate, we prove that the continuous (infinite-dimensional) CC equations are always locally well-posed. Under the same minimal assumptions and provided that the discretisation is fine enough, we prove that the discrete Full-CC equations are locally well-posed, and we derive residual-based error estimates with guaranteed positive constants. Preliminary numerical experiments indicate that the constants that appear in our estimates are a significant improvement over those obtained from the local monotonicity approach. △ Less

Submitted 26 January, 2023; v1 submitted 24 December, 2022; originally announced December 2022.

Comments: Second draft; 42 Pages

MSC Class: 65N25; 65N30; 65Z05; 81V55; 81V70

Extension of the Trotterized Unitary Coupled Cluster to Triple Excitations

Authors: Mohammad Haidar, Marko J. Rančić, Yvon Maday, Jean-Philip Piquemal

Abstract: The Trotterized Unitary Coupled Cluster Single and Double (UCCSD) ansatz has recently attracted interest due to its use in Variation Quantum Eigensolver (VQE) molecular simulations on quantum computers. However, when the size of molecules increases, UCCSD becomes less interesting as it cannot achieve sufficient accuracy. Including higher-order excitations is therefore mandatory to recover the UCC'… ▽ More The Trotterized Unitary Coupled Cluster Single and Double (UCCSD) ansatz has recently attracted interest due to its use in Variation Quantum Eigensolver (VQE) molecular simulations on quantum computers. However, when the size of molecules increases, UCCSD becomes less interesting as it cannot achieve sufficient accuracy. Including higher-order excitations is therefore mandatory to recover the UCC's missing correlation effects. In this Letter, we extend the Trotterized UCC approach via the addition of (true) Triple T excitations introducing UCCSDT. We also include both spin and orbital symmetries. Indeed, in practice, these later help to reduce unnecessarily circuit excitations and thus accelerate the optimization process enabling to tackle larger molecules. Our initial numerical tests (12-14 qubits) show that UCCSDT improves the overall accuracy by at least two-orders of magnitudes with respect to standard UCCSD. Overall, the UCCSDT ansatz is shown to reach chemical accuracy and to be competitive with the CCSD(T) gold-standard classical method of quantum chemistry. △ Less

Submitted 17 March, 2023; v1 submitted 23 December, 2022; originally announced December 2022.

Journal ref: J. Phys. Chem. A, 2023, 127, 15, 3543-3550

Neural-Network-Augmented Projection-Based Model Order Reduction for Mitigating the Kolmogorov Barrier to Reducibility of CFD Models

Authors: Joshua L Barnett, Charbel Farhat, Yvon Maday

Abstract: Inspired by our previous work on mitigating the Kolmogorov barrier using a quadratic approximation manifold, we propose in this paper a computationally tractable approach for combining a projection-based reduced-order model (PROM) and an artificial neural network (ANN) for mitigating the Kolmogorov barrier to reducibility of convection-dominated flow problems. The main objective the PROM-ANN conce… ▽ More Inspired by our previous work on mitigating the Kolmogorov barrier using a quadratic approximation manifold, we propose in this paper a computationally tractable approach for combining a projection-based reduced-order model (PROM) and an artificial neural network (ANN) for mitigating the Kolmogorov barrier to reducibility of convection-dominated flow problems. The main objective the PROM-ANN concept that we propose is to reduce the dimensionality of the online approximation of the solution beyond what is possible using affine and quadratic approximation manifolds. In contrast to previous approaches for constructing arbitrarily nonlinear manifold approximations for nonlinear model reduction that exploited one form or another of ANN, the training of the PROM-ANN we propose in this paper does not involve data whose dimension scales with that of the high-dimensional model; and this PROM-ANN is hyperreducible using any well-established hyperreduction method. Hence, unlike many other ANN-based approaches, the PROM-ANN concept we propose in this paper is practical for large-scale and industry-relevant CFD problems. Its potential is demonstrated here for a parametric, shock-dominated, benchmark problem. △ Less

Submitted 17 December, 2022; originally announced December 2022.

Error estimate of the Non-Intrusive Reduced Basis (NIRB) two-grid method with parabolic equations

Authors: Elise Grosjean, Yvon Maday

Abstract: Reduced Basis Methods (RBMs) are frequently proposed to approximate parametric problem solutions. They can be used to calculate solutions for a large number of parameter values (e.g. for parameter fitting) as well as to approximate a solution for a new parameter value (e.g. real time approximation with a very high accuracy). They intend to reduce the computational costs of High Fidelity (HF) codes… ▽ More Reduced Basis Methods (RBMs) are frequently proposed to approximate parametric problem solutions. They can be used to calculate solutions for a large number of parameter values (e.g. for parameter fitting) as well as to approximate a solution for a new parameter value (e.g. real time approximation with a very high accuracy). They intend to reduce the computational costs of High Fidelity (HF) codes. We will focus on the Non-Intrusive Reduced Basis (NIRB) two-grid method. Its main advantage is that it uses the HF code exclusively as a "black-box," as opposed to other so-called intrusive methods that require code modification. This is very convenient when the HF code is a commercial one that has been purchased, as is frequently the case in the industry. The effectiveness of this method relies on its decomposition into two stages, one offline (classical in most RBMs as presented above) and one online. The offline part is time-consuming but it is only performed once. On the contrary, the specificity of this NIRB approach is that, during the online part, it solves the parametric problem on a coarse mesh only and then improves its precision. As a result, it is significantly less expensive than a HF evaluation. This method has been originally developed for elliptic equations with finite elements and has since been extended to finite volume. In this paper, we extend the NIRB two-grid method to parabolic equations. We recover optimal estimates in $L^{\infty}(0,T;H^1(Ω))$ using as a model problem, the heat equation. Then, we present numerical results on the heat equation and on the Brusselator problem. △ Less

Submitted 16 November, 2022; originally announced November 2022.

Open Source Variational Quantum Eigensolver Extension of the Quantum Learning Machine (QLM) for Quantum Chemistry

Authors: Mohammad Haidar, Marko J. Rančić, Thomas Ayral, Yvon Maday, Jean-Philip Piquemal

Abstract: Quantum Chemistry (QC) is one of the most promising applications of Quantum Computing. However, present quantum processing units (QPUs) are still subject to large errors. Therefore, noisy intermediate-scale quantum (NISQ) hardware is limited in terms of qubits counts and circuit depths. Specific algorithms such as Variational Quantum Eigensolvers (VQEs) can potentially overcome such issues. We int… ▽ More Quantum Chemistry (QC) is one of the most promising applications of Quantum Computing. However, present quantum processing units (QPUs) are still subject to large errors. Therefore, noisy intermediate-scale quantum (NISQ) hardware is limited in terms of qubits counts and circuit depths. Specific algorithms such as Variational Quantum Eigensolvers (VQEs) can potentially overcome such issues. We introduce here a novel open-source QC package, denoted Open-VQE, providing tools for using and develo** chemically-inspired adaptive methods derived from Unitary Coupled Cluster (UCC). It facilitates the development and testing of VQE algorithms. It is able to use the Atos Quantum Learning Machine (QLM), a general quantum programming framework enabling to write, optimize and simulate quantum computing programs. Along with Open-VQE, we introduce myQLM-Fermion, a new open-source module (that includes the key QLM ressources that are important for QC developments (fermionic second quantization tools etc...). The Open-VQE package extends therefore QLM to QC providing: (i) the functions to generate the different types of excitations beyond the commonly used UCCSD ans{ä}tz;(ii) a new implementation of the "adaptive derivative assembled pseudo-Trotter method" (ADAPT-VQE), written in simple class structure python codes. Interoperability with other major quantum programming frameworks is ensured thanks to myQLM, which allows users to easily build their own code and execute it on existing QPUs. The combined Open-VQE/myQLM-Fermion quantum simulator facilitates the implementation, tests and developments of variational quantum algorithms towards choosing the best compromise to run QC computations on present quantum computers while offering the possibility to test large molecules. We provide extensive benchmarks for several molecules associated to qubit counts ranging from 4 up to 24. △ Less

Submitted 28 November, 2022; v1 submitted 17 June, 2022; originally announced June 2022.

Journal ref: WIREs Comput Mol Sci.,2023;e1664

A Kermack-McKendrick model with age of infection starting from a single or multiple cohorts of infected patients

Authors: Jacques Demongeot, Quentin Griette, Yvon Maday, Pierre Magal

Abstract: During an epidemic, the infectiousness of infected individuals is known to depend on the time since the individual was infected, that is called the age of infection. Here we study the parameter identifiability of the Kermack-McKendrick model with age of infection which takes into account this dependency. By considering a single cohort of individuals, we show that the daily reproduction number can… ▽ More During an epidemic, the infectiousness of infected individuals is known to depend on the time since the individual was infected, that is called the age of infection. Here we study the parameter identifiability of the Kermack-McKendrick model with age of infection which takes into account this dependency. By considering a single cohort of individuals, we show that the daily reproduction number can be obtained by solving a Volterra integral equation that depends on the flow of new infected individuals. We test the consistency our the method by generating data from deterministic and stochastic numerical simulations. Finally we apply our method to a dataset from SARS-CoV-1 with detailed information on a single cluster of patients. We stress the necessity of taking into account the initial data in the analysis to ensure the identifiability of the problem. △ Less

Submitted 3 June, 2022; v1 submitted 31 May, 2022; originally announced May 2022.

On an interior-exterior nonoverlap** domain decomposition method for the Poisson--Boltzmann equation

Authors: Xuanyu Liu, Yvon Maday, Chaoyu Quan, Hui Zhang

Abstract: A nonoverlap** domain decomposition method is studied for the linearized Poisson--Boltzmann equation, which is essentially an interior-exterior transmission problem with bounded interior and unbounded exterior. This problem is different from the classical Schwarz alternating method for bounded nonoverlap** subdomains well studied by Lions in 1990, and is challenging due to the existence of unb… ▽ More A nonoverlap** domain decomposition method is studied for the linearized Poisson--Boltzmann equation, which is essentially an interior-exterior transmission problem with bounded interior and unbounded exterior. This problem is different from the classical Schwarz alternating method for bounded nonoverlap** subdomains well studied by Lions in 1990, and is challenging due to the existence of unbounded subdomain. To obtain the convergence, a new concept of interior-exterior Sobolev constant is introduced and a spectral equivalence of related Dirichlet-to-Neumann operators is established afterwards. We prove rigorously that the spectral equivalence results in the convergence of interior-exterior iteration. Some numerical simulations are provided to investigate the optimal step** parameter of iteration and to verify our convergence analysis. △ Less

Submitted 17 April, 2022; originally announced April 2022.

Projection based semi--implicit partitioned Reduced Basis Method for non parametrized and parametrized Fluid--Structure Interaction problems

Authors: Monica Nonino, Francesco Ballarin, Gianluigi Rozza, Yvon Maday

Abstract: We present a partitioned Model Order Reduction method for multiphysics problems, that is based on a semi-implicit treatment of the coupling conditions, and on a projection scheme. The proposed Reduced Order Method is based on the Proper Orthogonal Decomposition and on a Galerkin projection onto the reduced basis spaces; we aim of addressing both time-dependent and time-dependent, parametrized Flui… ▽ More We present a partitioned Model Order Reduction method for multiphysics problems, that is based on a semi-implicit treatment of the coupling conditions, and on a projection scheme. The proposed Reduced Order Method is based on the Proper Orthogonal Decomposition and on a Galerkin projection onto the reduced basis spaces; we aim of addressing both time-dependent and time-dependent, parametrized Fluid-Structure Interaction problems, where the fluid is incompressible and the structure is linear, elastic and two dimensional. △ Less

Submitted 3 November, 2022; v1 submitted 10 January, 2022; originally announced January 2022.

MSC Class: 65Z05; 65Y9; 65M99

FLEIM: A stable, accurate and robust extrapolation method at infinity for computing the ground state of electronic Hamiltonians

Authors: Étienne Polack, Yvon Maday, Andreas Savin

Abstract: The Kohn-Sham method uses a single model system, and corrects it by a density functional the exact user friendly expression of which is not known and is replaced by an approximated, usable, model. We propose to use instead more than one model system, and use a greedy extrapolation method to correct the results of the model systems. Evidently, there is a higher price to pay for it. However, there a… ▽ More The Kohn-Sham method uses a single model system, and corrects it by a density functional the exact user friendly expression of which is not known and is replaced by an approximated, usable, model. We propose to use instead more than one model system, and use a greedy extrapolation method to correct the results of the model systems. Evidently, there is a higher price to pay for it. However, there are also gains: within the same paradigm, e.g., excited states and physical properties can be obtained. △ Less

Submitted 24 December, 2021; originally announced December 2021.

A flexible smoother adapted to censored data with outliers and its application to SARS-CoV-2 monitoring in wastewater

Authors: Marie Courbariaux, Nicolas Cluzel, Siyun Wang, Vincent Maréchal, Laurent Moulin, Sébastien Wurtzer, Obépine consortium, Jean-Marie Mouchel, Yvon Maday, Grégory Nuel

Abstract: A sentinel network, Obépine, has been designed to monitor SARS-CoV-2 viral load in wastewaters arriving at wastewater treatment plants (WWTPs) in France as an indirect macro-epidemiological parameter. The sources of uncertainty in such monitoring system are numerous and the concentration measurements it provides are left-censored and contain outliers, which biases the results of usual smoothing me… ▽ More A sentinel network, Obépine, has been designed to monitor SARS-CoV-2 viral load in wastewaters arriving at wastewater treatment plants (WWTPs) in France as an indirect macro-epidemiological parameter. The sources of uncertainty in such monitoring system are numerous and the concentration measurements it provides are left-censored and contain outliers, which biases the results of usual smoothing methods. Hence the need for an adapted pre-processing in order to evaluate the real daily amount of virus arriving to each WWTP. We propose a method based on an auto-regressive model adapted to censored data with outliers. Inference and prediction are produced via a discretised smoother which makes it a very flexible tool. This method is both validated on simulations and on real data from Obépine. The resulting smoothed signal shows a good correlation with other epidemiological indicators and is currently used by Obépine to provide an estimate of virus circulation over the watersheds corresponding to about 200 WWTPs. △ Less

Submitted 4 January, 2022; v1 submitted 4 August, 2021; originally announced August 2021.

Comments: 18 pages, 9 figures

Error estimate of the Non Intrusive Reduced Basis method with finite volume schemes

Authors: Elise Grosjean, Yvon Maday

Abstract: The context of this paper is the simulation of parameter-dependent partial differential equations (PDEs). When the aim is to solve such PDEs for a large number of parameter values, Reduced Basis Methods (RBM) are often used to reduce computational costs of a classical high fidelity code based on Finite Element Method (FEM), Finite Volume (FVM) or Spectral methods. The efficient implementation of m… ▽ More The context of this paper is the simulation of parameter-dependent partial differential equations (PDEs). When the aim is to solve such PDEs for a large number of parameter values, Reduced Basis Methods (RBM) are often used to reduce computational costs of a classical high fidelity code based on Finite Element Method (FEM), Finite Volume (FVM) or Spectral methods. The efficient implementation of most of these RBM requires to modify this high fidelity code, which cannot be done, for example in an industrial context if the high fidelity code is only accessible as a "black-box" solver. The Non Intrusive Reduced Basis method (NIRB) has been introduced in the context of finite elements as a good alternative to reduce the implementation costs of these parameter-dependent problems. The method is efficient in other contexts than the FEM one, like with finite volume schemes, which are more often used in an industrial environment. In this case, some adaptations need to be done as the degrees of freedom in FV methods have different meenings. At this time, error estimates have only been studied with FEM solvers. In this paper, we present a generalisation of the NIRB method to Finite Volume schemes and we show that estimates established for FEM solvers also hold in the FVM setting. We first prove our results for the hybrid-Mimetic Finite Difference method (hMFD), which is part the Hybrid Mixed Mimetic methods (HMM) family. Then, we explain how these results apply more generally to other FV schemes. Some of them are specified, such as the Two Point Flux Approximation (TPFA). △ Less

Submitted 6 April, 2021; v1 submitted 22 March, 2021; originally announced March 2021.

An EIM-degradation free reduced basis method via over collocation and residual hyper reduction-based error estimation

Authors: Yanlai Chen, Sigal Gottlieb, Lijie Ji, Yvon Maday

Abstract: The need for multiple interactive, real-time simulations using different parameter values has driven the design of fast numerical algorithms with certifiable accuracies. The reduced basis method (RBM) presents itself as such an option. RBM features a mathematically rigorous error estimator which drives the construction of a low-dimensional subspace. A surrogate solution is then sought in this low-… ▽ More The need for multiple interactive, real-time simulations using different parameter values has driven the design of fast numerical algorithms with certifiable accuracies. The reduced basis method (RBM) presents itself as such an option. RBM features a mathematically rigorous error estimator which drives the construction of a low-dimensional subspace. A surrogate solution is then sought in this low-dimensional space approximating the parameter-induced high fidelity solution manifold. However when the system is nonlinear or its parameter dependence nonaffine, this efficiency gain degrades tremendously, an inherent drawback of the application of the empirical interpolation method (EIM). In this paper, we augment and extend the EIM approach as a direct solver, as opposed to an assistant, for solving nonlinear partial differential equations on the reduced level. The resulting method, called Reduced Over-Collocation method (ROC), is stable and capable of avoiding the efficiency degradation. Two critical ingredients of the scheme are collocation at about twice as many locations as the number of basis elements for the reduced approximation space, and an efficient error indicator for the strategic building of the reduced solution space. The latter, the main contribution of this paper, results from an adaptive hyper reduction of the residuals for the reduced solution. Together, these two ingredients render the proposed R2-ROC scheme both offline- and online-efficient. A distinctive feature is that the efficiency degradation appearing in traditional RBM approaches that utilize EIM for nonlinear and nonaffine problems is circumvented, both in the offline and online stages. Numerical tests on different families of time-dependent and steady-state nonlinear problems demonstrate the high efficiency and accuracy of our R2-ROC and its superior stability performance. △ Less

Submitted 14 January, 2021; originally announced January 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:2009.04812, arXiv:1906.07349

Weighted analyticity of Hartree-Fock eigenfunctions

Authors: Yvon Maday, Carlo Marcati

Abstract: We prove analytic-type estimates in weighted Sobolev spaces on the eigenfunctions of a class of elliptic and nonlinear eigenvalue problems with singular potentials, which includes the Hartree-Fock equations. Going beyond classical results on the analyticity of the wavefunctions away from the nuclei, we prove weighted estimates locally at each singular point, with precise control of the derivatives… ▽ More We prove analytic-type estimates in weighted Sobolev spaces on the eigenfunctions of a class of elliptic and nonlinear eigenvalue problems with singular potentials, which includes the Hartree-Fock equations. Going beyond classical results on the analyticity of the wavefunctions away from the nuclei, we prove weighted estimates locally at each singular point, with precise control of the derivatives of all orders. Our estimates have far-reaching consequences for the approximation of the eigenfunctions of the problems considered, and they can be used to prove a priori estimates on the numerical solution of such eigenvalue problems. △ Less

Submitted 14 October, 2020; originally announced October 2020.

MSC Class: 35A20; 35P30; 35Q40

Epidemiological Forecasting with Model Reduction of Compartmental Models. Application to the COVID-19 pandemic

Authors: Athmane Bakhta, Thomas Boiveau, Yvon Maday, Olga Mula

Abstract: We propose a forecasting method for predicting epidemiological health series on a two-week horizon at the regional and interregional resolution. The approach is based on model order reduction of parametric compartmental models, and is designed to accommodate small amount of sanitary data. The efficiency of the method is shown in the case of the prediction of the number of infected and removed peop… ▽ More We propose a forecasting method for predicting epidemiological health series on a two-week horizon at the regional and interregional resolution. The approach is based on model order reduction of parametric compartmental models, and is designed to accommodate small amount of sanitary data. The efficiency of the method is shown in the case of the prediction of the number of infected and removed people during the two pandemic waves of COVID-19 in France, which have taken place approximately between February and November 2020. Numerical results illustrate the promising potential of the approach. △ Less

Submitted 10 December, 2020; v1 submitted 19 September, 2020; originally announced September 2020.

Guaranteed a posteriori bounds for eigenvalues and eigenvectors: multiplicities and clusters

Authors: Eric Cancès, Geneviève Dusson, Yvon Maday, Benjamin Stamm, Martin Vohralík

Abstract: This paper presents a posteriori error estimates for conforming numerical approximations of eigenvalue clusters of second-order self-adjoint elliptic linear operators with compact resolvent. Given a cluster of eigenvalues, we estimate the error in the sum of the eigenvalues, as well as the error in the eigenvectors represented through the density matrix, i.e., the orthogonal projector on the assoc… ▽ More This paper presents a posteriori error estimates for conforming numerical approximations of eigenvalue clusters of second-order self-adjoint elliptic linear operators with compact resolvent. Given a cluster of eigenvalues, we estimate the error in the sum of the eigenvalues, as well as the error in the eigenvectors represented through the density matrix, i.e., the orthogonal projector on the associated eigenspace. This allows us to deal with degenerate (multiple) eigenvalues within the framework. All the bounds are valid under the only assumption that the cluster is separated from the surrounding smaller and larger eigenvalues; we show how this assumption can be numerically checked. Our bounds are guaranteed and converge with the same speed as the exact errors. They can be turned into fully computable bounds as soon as an estimate on the dual norm of the residual is available, which is presented in two particular cases: the Laplace eigenvalue problem discretized with conforming finite elements, and a Schr{ö}dinger operator with periodic boundary conditions of the form $--$Δ$ + V$ discretized with planewaves. For these two cases, numerical illustrations are provided on a set of test problems. △ Less

Submitted 10 August, 2020; originally announced August 2020.

Journal ref: Mathematics of Computation, American Mathematical Society, In press

Analyticity and hp discontinuous Galerkin approximation of nonlinear Schrödinger eigenproblems

Authors: Yvon Maday, Carlo Marcati

Abstract: We study a class of nonlinear eigenvalue problems of Schrödinger type, where the potential is singular on a set of points. Such problems are widely present in physics and chemistry, and their analysis is of both theoretical and practical interest. In particular, we study the regularity of the eigenfunctions of the operators considered, and we propose and analyze the approximation of the solution v… ▽ More We study a class of nonlinear eigenvalue problems of Schrödinger type, where the potential is singular on a set of points. Such problems are widely present in physics and chemistry, and their analysis is of both theoretical and practical interest. In particular, we study the regularity of the eigenfunctions of the operators considered, and we propose and analyze the approximation of the solution via an isotropically refined $hp$ discontinuous Galerkin (dG) method. We show that, for weighted analytic potentials and for up-to-quartic polynomial nonlinearities, the eigenfunctions belong to analytic-type non homogeneous weighted Sobolev spaces. We also prove quasi optimal a priori estimates on the error of the dG finite element method; when using an isotropically refined $hp$ space the numerical solution is shown to converge with exponential rate towards the exact eigenfunction. We conclude with a series of numerical tests to validate the theoretical results. △ Less

Submitted 24 October, 2022; v1 submitted 16 December, 2019; originally announced December 2019.

MSC Class: 65N25 (Primary); 35J10; 35P30; 65N12; 65N30 (Secondary)

Overcoming slowly decaying Kolmogorov n-width by transport maps: application to model order reduction of fluid dynamics and fluid--structure interaction problems

Authors: Monica Nonino, Francesco Ballarin, Gianluigi Rozza, Yvon Maday

Abstract: In this work we focus on reduced order modelling for problems for which the resulting reduced basis spaces show a slow decay of the Kolmogorov $n$-width, or, in practical calculations, its computational surrogate given by the magnitude of the eigenvalues returned by a proper orthogonal decomposition on the solution manifold. In particular, we employ an additional preprocessing during the offline p… ▽ More In this work we focus on reduced order modelling for problems for which the resulting reduced basis spaces show a slow decay of the Kolmogorov $n$-width, or, in practical calculations, its computational surrogate given by the magnitude of the eigenvalues returned by a proper orthogonal decomposition on the solution manifold. In particular, we employ an additional preprocessing during the offline phase of the reduced basis method, in order to obtain smaller reduced basis spaces. Such preprocessing is based on the composition of the snapshots with a transport map, that is a family of smooth and invertible map**s that map the physical domain of the problem into itself. Two test cases are considered: a fluid moving in a domain with deforming walls, and a fluid past a rotating cylinder. Comparison between the results of the novel offline stage and the standard one is presented. △ Less

Submitted 15 November, 2019; originally announced November 2019.

Comments: 26 pages, 11 figures

Journal ref: Advances in Computational Science and Engineering, 2023, Volume 1, Issue 1, 36-58

An Adaptive Parareal Algorithm

Authors: Y. Maday, O. Mula

Abstract: In this paper, we consider the problem of accelerating the numerical simulation of time dependent problems by time domain decomposition. The available algorithms enabling such decompositions present severe efficiency limitations and are an obstacle for the solution of large scale and high dimensional problems. Our main contribution is the improvement of the parallel efficiency of the parareal in t… ▽ More In this paper, we consider the problem of accelerating the numerical simulation of time dependent problems by time domain decomposition. The available algorithms enabling such decompositions present severe efficiency limitations and are an obstacle for the solution of large scale and high dimensional problems. Our main contribution is the improvement of the parallel efficiency of the parareal in time method. The parareal method is based on combining predictions made by a numerically inexpensive solver (with coarse physics and/or coarse resolution) with corrections coming from an expensive solver (with high-fidelity physics and high resolution). At convergence, the algorithm provides a solution that has the fine solver's high-fidelity physics and high resolution. In the classical version, the fine solver has a fixed high accuracy which is the major obstacle to achieve a competitive parallel efficiency. In this paper, we develop an adaptive variant that overcomes this obstacle by dynamically increasing the accuracy of the fine solver across the parareal iterations. We theoretically show that the parallel efficiency becomes very competitive in the ideal case where the cost of the coarse solver is small, thus proving that the only remaining factors impeding full scalability become the cost of the coarse solver and communication time. The developed theory has also the merit of setting a general framework to understand the success of several extensions of parareal based on iteratively improving the quality of the fine solver and re-using information from previous parareal steps. We illustrate the actual performance of the method in stiff ODEs, which are a challenging family of problems since the only mechanism for adaptivity is time and efficiency is affected by the cost of the coarse solver. △ Less

Submitted 26 March, 2020; v1 submitted 18 September, 2019; originally announced September 2019.

MSC Class: 65M12; 65N55; 65Y05; 65Y20

L1-ROC and R2-ROC: L1- and R2-based Reduced Over-Collocation methods for parametrized nonlinear partial differential equations

Authors: Yanlai Chen, Sigal Gottlieb, Lijie Ji, Yvon Maday, Zhenli Xu

Abstract: The onerous task of repeatedly resolving certain parametrized partial differential equations (pPDEs) in, e.g. the optimization context, makes it imperative to design vastly more efficient numerical solvers without sacrificing any accuracy. The reduced basis method (RBM) presents itself as such an option. With a mathematically rigorous error estimator, RBM seeks a surrogate solution in a carefully-… ▽ More The onerous task of repeatedly resolving certain parametrized partial differential equations (pPDEs) in, e.g. the optimization context, makes it imperative to design vastly more efficient numerical solvers without sacrificing any accuracy. The reduced basis method (RBM) presents itself as such an option. With a mathematically rigorous error estimator, RBM seeks a surrogate solution in a carefully-built subspace of the parameter-induced high fidelity solution manifold. It can improve efficiency by several orders of magnitudes leveraging an offline-online decomposition procedure. However, this decomposition, usually through the empirical interpolation method (EIM) when the PDE is nonlinear or its parameter dependence nonaffine, is either challenging to implement, or severely degrading to the online efficiency. In this paper, we augment and extend the EIM approach in the context of solving pPDEs in two different ways, resulting in the Reduced Over-Collocation methods (ROC). These are stable and capable of avoiding the efficiency degradation inherent to a direct application of EIM. There are two ingredients of these methods. First is a strategy to collocate at about twice as many locations as the number of bases for the surrogate space. The second is an efficient approach for the strategic selection of the parameter values to build the reduced solution space for which we study two choices, a recent empirical L1 approach and a new indicator based on the reduced residual. Together, these two ingredients render the schemes, L1-ROC and R2-ROC, online efficient and immune from the efficiency degradation of EIM for nonlinear and nonaffine problems offline and online. Numerical tests on three different families of nonlinear problems demonstrate the high efficiency and accuracy of these new algorithms and their superior stability performance. △ Less

Submitted 17 June, 2019; originally announced June 2019.

MSC Class: 65N06; 65N35; 65N99

PBDW method for state estimation: error analysis for noisy data and nonlinear formulation

Authors: Helin Gong, Yvon Maday, Olga Mula, Tommaso Taddei

Abstract: We present an error analysis and further numerical investigations of the Parameterized-Background Data-Weak (PBDW) formulation to variational Data Assimilation (state estimation), proposed in [Y Maday, AT Patera, JD Penn, M Yano, Int J Numer Meth Eng, 102(5), 933-965]. The PBDW algorithm is a state estimation method involving reduced models. It aims at approximating an unknown function… ▽ More We present an error analysis and further numerical investigations of the Parameterized-Background Data-Weak (PBDW) formulation to variational Data Assimilation (state estimation), proposed in [Y Maday, AT Patera, JD Penn, M Yano, Int J Numer Meth Eng, 102(5), 933-965]. The PBDW algorithm is a state estimation method involving reduced models. It aims at approximating an unknown function $u^{\rm true}$ living in a high-dimensional Hilbert space from $M$ measurement observations given in the form $y_m = \ell_m(u^{\rm true}),\, m=1,\dots,M$, where $\ell_m$ are linear functionals. The method approximates $u^{\rm true}$ with $\hat{u} = \hat{z} + \hatη$. The \emph{background} $\hat{z}$ belongs to an $N$-dimensional linear space $\mathcal{Z}_N$ built from reduced modelling of a parameterized mathematical model, and the \emph{update} $\hatη$ belongs to the space $\mathcal{U}_M$ spanned by the Riesz representers of $(\ell_1,\dots, \ell_M)$. When the measurements are noisy {--- i.e., $y_m = \ell_m(u^{\rm true})+ε_m$ with $ε_m$ being a noise term --- } the classical PBDW formulation is not robust in the sense that, if $N$ increases, the reconstruction accuracy degrades. In this paper, we propose to address this issue with an extension of the classical formulation, {which consists in} searching for the background $\hat{z}$ either on the whole $\mathcal{Z}_N$ in the noise-free case, or on a well-chosen subset $\mathcal{K}_N \subset \mathcal{Z}_N$ in presence of noise. The restriction to $\mathcal{K}_N$ makes the reconstruction be nonlinear and is the key to make the algorithm significantly more robust against noise. We {further} present an \emph{a priori} error and stability analysis, and we illustrate the efficiency of the approach on several numerical examples. △ Less

Submitted 3 June, 2019; originally announced June 2019.

Regularity and $hp$ discontinuous Galerkin finite element approximation of linear elliptic eigenvalue problems with singular potentials

Authors: Yvon Maday, Carlo Marcati

Abstract: We study the regularity in weighted Sobolev spaces of Schrödinger-type eigenvalue problems, and we analyse their approximation via a discontinuous Galerkin (dG) $hp$ finite element method. In particular, we show that, for a class of singular potentials, the eigenfunctions of the operator belong to analytic-type non homogeneous weighted Sobolev spaces. Using this result, we prove that the an isotro… ▽ More We study the regularity in weighted Sobolev spaces of Schrödinger-type eigenvalue problems, and we analyse their approximation via a discontinuous Galerkin (dG) $hp$ finite element method. In particular, we show that, for a class of singular potentials, the eigenfunctions of the operator belong to analytic-type non homogeneous weighted Sobolev spaces. Using this result, we prove that the an isotropically graded $hp$ dG method is spectrally accurate, and that the numerical approximation converges with exponential rate to the exact solution. Numerical tests in two and three dimensions confirm the theoretical results and provide an insight into the the behaviour of the method for varying discretisation parameters. △ Less

Submitted 21 October, 2018; originally announced October 2018.

MSC Class: 35J10; 65N25; 65N30

Journal ref: Math. Models Methods Appl. Sci. 29 (2019), no. 8, 1585-1617

A Domain Decomposition Method for the Poisson-Boltzmann Solvation Models

Authors: Chaoyu Quan, Benjamin Stamm, Yvon Maday

Abstract: In this paper, a domain decomposition method for the Poisson-Boltzmann (PB) solvation model that is widely used in computational chemistry is proposed. This method, called ddLPB for short, solves the linear Poisson-Boltzmann (LPB) equation defined in $\mathbb R^3$ using the van der Waals cavity as the solute cavity. The Schwarz domain decomposition method is used to formulate local problems by dec… ▽ More In this paper, a domain decomposition method for the Poisson-Boltzmann (PB) solvation model that is widely used in computational chemistry is proposed. This method, called ddLPB for short, solves the linear Poisson-Boltzmann (LPB) equation defined in $\mathbb R^3$ using the van der Waals cavity as the solute cavity. The Schwarz domain decomposition method is used to formulate local problems by decomposing the cavity into overlap** balls and only solving a set of coupled sub-equations in balls. A series of numerical experiments is presented to test the robustness and the efficiency of this method including the comparisons with some existing methods. We observe exponential convergence of the solvation energy with respect to the number of degrees of freedom which allows this method to reach the required level of accuracy when coupling with quantum mechanical descriptions of the solute. △ Less

Submitted 19 December, 2018; v1 submitted 14 July, 2018; originally announced July 2018.

A coherent derivation of the Ewald summation for arbitrary orders of multipoles: The self-terms

Authors: Benjamin Stamm, Louis Lagardère, Étienne Polack, Yvon Maday, Jean-Philip Piquemal

Abstract: In this work, we provide the mathematical elements we think essential for a proper understanding of the calculus of the electrostatic energy of point-multipoles of arbitrary order under periodic boundary conditions. The emphasis is put on the expressions of the so-called self parts of the \Ewald\, summation where different expressions can be found in literature. Indeed, such expressions are of pri… ▽ More In this work, we provide the mathematical elements we think essential for a proper understanding of the calculus of the electrostatic energy of point-multipoles of arbitrary order under periodic boundary conditions. The emphasis is put on the expressions of the so-called self parts of the \Ewald\, summation where different expressions can be found in literature. Indeed, such expressions are of prime importance in the context of new generation polarizable force field where the self field appears in the polarization equations. We provide a general framework, where the idea of the \Ewald\ splitting is applied to the electric potential and subsequently, all other quantities such as the electric field, the energy and the forces are derived consistently thereof. Mathematical well-posedness is shown for all these contributions for any order of multipolar distribution. △ Less

Submitted 6 September, 2018; v1 submitted 25 May, 2018; originally announced May 2018.

Journal ref: The Journal of Chemical Physics,149, 124103 (2018)

Adaptive PBDW approach to state estimation: noisy observations; user-defined update spaces

Authors: Yvon Maday, Tommaso Taddei

Abstract: We provide a number of extensions and further interpretations of the Parameterized-Background Data-Weak (PBDW) formulation, a real-time and in-situ Data Assimilation (DA) framework for physical systems modeled by parametrized Partial Differential Equations (PDEs), proposed in [Y Maday, AT Patera, JD Penn, M Yano, Int J Numer Meth Eng, 102(5), 933-965]. Given $M$ noisy measurements of the state, PB… ▽ More We provide a number of extensions and further interpretations of the Parameterized-Background Data-Weak (PBDW) formulation, a real-time and in-situ Data Assimilation (DA) framework for physical systems modeled by parametrized Partial Differential Equations (PDEs), proposed in [Y Maday, AT Patera, JD Penn, M Yano, Int J Numer Meth Eng, 102(5), 933-965]. Given $M$ noisy measurements of the state, PBDW seeks an approximation of the form $u^{\star} = z^{\star} + η^{\star}$, where the \emph{background} $z^{\star}$ belongs to a $N$-dimensional \emph{background space} informed by a parameterized mathematical model, and the \emph{update} $η^{\star}$ belongs to a $M$-dimensional \emph{update space} informed by the experimental observations. The contributions of the present work are threefold: first, we extend the adaptive formulation proposed in [T Taddei, M2AN, 51(5), 1827-1858] to general linear observation functionals, to effectively deal with noisy observations; second, we consider an user-defined choice of the update space, to improve convergence with respect to the number of measurements; third, we propose an \emph{a priori} error analysis for general linear functionals in the presence of noise, to identify the different sources of state estimation error and ultimately motivate the adaptive procedure. We present results for two synthetic model problems in Acoustics, to illustrate the elements of the methodology and to prove its effectiveness. We further present results for a synthetic problem in Fluid Mechanics to demonstrate the applicability of the approach to vector-valued fields. △ Less

Submitted 27 December, 2017; originally announced December 2017.

Comments: 28 pages, 13 figures

MSC Class: 62-07; 93E24

Reduced-order semi-implicit schemes for fluid-structure interaction problems

Authors: Francesco Ballarin, Gianluigi Rozza, Yvon Maday

Abstract: POD--Galerkin reduced-order models (ROMs) for fluid-structure interaction problems (incompressible fluid and thin structure) are proposed in this paper. Both the high-fidelity and reduced-order methods are based on a Chorin-Temam operator-splitting approach. Two different reduced-order methods are proposed, which differ on velocity continuity condition, imposed weakly or strongly, respectively. Th… ▽ More POD--Galerkin reduced-order models (ROMs) for fluid-structure interaction problems (incompressible fluid and thin structure) are proposed in this paper. Both the high-fidelity and reduced-order methods are based on a Chorin-Temam operator-splitting approach. Two different reduced-order methods are proposed, which differ on velocity continuity condition, imposed weakly or strongly, respectively. The resulting ROMs are tested and compared on a representative haemodynamics test case characterized by wave propagation, in order to assess the capabilities of the proposed strategies. △ Less

Submitted 29 November, 2017; originally announced November 2017.

Journal ref: Ballarin F., Rozza G., Maday Y. (2017) Reduced-Order Semi-Implicit Schemes for Fluid-Structure Interaction Problems. In MS&A (Modeling, Simulation and Applications), vol 17. Springer

A Reduced Basis Technique for Long-Time Unsteady Turbulent Flows

Authors: Lambert Fick, Yvon Maday, Anthony T Patera, Tommaso Taddei

Abstract: We present a reduced basis technique for long-time integration of parametrized incompressible turbulent flows. The new contributions are threefold. First, we propose a constrained Galerkin formulation that corrects the standard Galerkin statement by incorporating prior information about the long-time attractor. For explicit and semi-implicit time discretizations, our statement reads as a constrain… ▽ More We present a reduced basis technique for long-time integration of parametrized incompressible turbulent flows. The new contributions are threefold. First, we propose a constrained Galerkin formulation that corrects the standard Galerkin statement by incorporating prior information about the long-time attractor. For explicit and semi-implicit time discretizations, our statement reads as a constrained quadratic programming problem where the objective function is the Euclidean norm of the error in the reduced Galerkin (algebraic) formulation, while the constraints correspond to bounds for the maximum and minimum value of the coefficients of the $N$-term expansion. Second, we propose an \emph{a posteriori} error indicator, which corresponds to the dual norm of the residual associated with the time-averaged momentum equation. We demonstrate that the error indicator is highly-correlated with the error in mean flow prediction, and can be efficiently computed through an offline/online strategy. Third, we propose a Greedy algorithm for the construction of an approximation space/procedure valid over a range of parameters; the Greedy is informed by the \emph{a posteriori} error indicator developed in this paper. We illustrate our approach and we demonstrate its effectiveness by studying the dependence of a two-dimensional turbulent lid-driven cavity flow on the Reynolds number. △ Less

Submitted 10 October, 2017; originally announced October 2017.

Comments: submitted to Journal of Computational Physics

MSC Class: 65M15; 76F99; 76D05

Stabilization of (G)EIM in presence of measurement noise: application to nuclear reactor physics

Authors: J. P. Argaud, B. Bouriquet, H. Gong, Y. Maday, O. Mula

Abstract: The Empirical Interpolation Method (EIM) and its generalized version (GEIM) can be used to approximate a physical system by combining data measured from the system itself and a reduced model representing the underlying physics. In presence of noise, the good properties of the approach are blurred in the sense that the approximation error no longer converges but even diverges. We propose to address… ▽ More The Empirical Interpolation Method (EIM) and its generalized version (GEIM) can be used to approximate a physical system by combining data measured from the system itself and a reduced model representing the underlying physics. In presence of noise, the good properties of the approach are blurred in the sense that the approximation error no longer converges but even diverges. We propose to address this issue by a least-squares projection with constrains involving a some a priori knowledge of the geometry of the manifold formed by all the possible physical states of the system. The efficiency of the approach, which we will call Constrained Stabilized GEIM (CS-GEIM), is illustrated by numerical experiments dealing with the reconstruction of the neutron flux in nuclear reactors. A theoretical justification of the procedure will be presented in future works. △ Less

Submitted 7 November, 2016; originally announced November 2016.

Convergence analysis of the Generalized Empirical Interpolation Method

Authors: Y. Maday, O. Mula, G. Turinici

Abstract: Let $F$ be a compact set of a Banach space $\mathcal{X}$. This paper analyses the "Generalized Empirical Interpolation Method" (GEIM) which, given a function $f\in F$, builds an interpolant $\mathcal{J}_n[f]$ in an $n$-dimensional subspace $X_n \subset \mathcal{X}$ with the knowledge of $n$ outputs $(σ_i(f))_{i=1}^n$, where $σ_i\in \mathcal{X}'$ and $\mathcal{X}'$ is the dual space of… ▽ More Let $F$ be a compact set of a Banach space $\mathcal{X}$. This paper analyses the "Generalized Empirical Interpolation Method" (GEIM) which, given a function $f\in F$, builds an interpolant $\mathcal{J}_n[f]$ in an $n$-dimensional subspace $X_n \subset \mathcal{X}$ with the knowledge of $n$ outputs $(σ_i(f))_{i=1}^n$, where $σ_i\in \mathcal{X}'$ and $\mathcal{X}'$ is the dual space of $\mathcal{X}$. The space $X_n$ is built with a greedy algorithm that is adapted to $F$ in the sense that it is generated by elements of $F$ itself. The algorithm also selects the linear functionals $(σ_i)_{i=1}^n$ from a dictionary $Σ\subset \mathcal{X}'$. In this paper, we study the interpolation error $\max_{f\in F} \Vert f-\mathcal{J}_n[f]\Vert_{\mathcal{X}}$ by comparing it with the best possible performance on an $n$-dimensional space, i.e., the Kolmogorov $n$-width of $F$ in $\mathcal{X}$, $d_n(F,\mathcal{X})$. For polynomial or exponential decay rates of $d_n(F,\mathcal{X})$, we prove that the interpolation error has the same behavior modulo the norm of the interpolation operator. Sharper results are obtained in the case where $\mathcal X$ is a Hilbert space. △ Less

Submitted 25 May, 2016; originally announced May 2016.

Comments: arXiv admin note: text overlap with arXiv:1204.2290 by other authors

Journal ref: SIAM J. Numer. Anal., 2017, 54-3, 1713-1731

A Generalized Empirical Interpolation Method: application of reduced basis techniques to data assimilation

Authors: Y. Maday, O. Mula

Abstract: This paper introduces a generalization of the empirical interpolation method (EIM) and the reduced basis method (RBM) in order to allow their combination with data mining and data assimilation. The purpose is to be able to derive sound information from data and reconstruct information, possibly taking into account noise in the acquisition, that can serve as an input to models expressed by partial… ▽ More This paper introduces a generalization of the empirical interpolation method (EIM) and the reduced basis method (RBM) in order to allow their combination with data mining and data assimilation. The purpose is to be able to derive sound information from data and reconstruct information, possibly taking into account noise in the acquisition, that can serve as an input to models expressed by partial differential equations. The approach combines data acquisition (with noise) with domain decomposition techniques and reduced basis approximations. △ Less

Submitted 2 December, 2015; originally announced December 2015.

Comments: in Analysis and Numerics of Partial Differential Equations, Springer INdAM Series, volume 4, p. 221--235, 2013

MSC Class: 97N40; 97N50; 65Z05; 35A35

Journal ref: Analysis and Numerics of Partial Differential Equations, 2013, Vol. 4 of the series Springer INdAM Series, pp. 221-235

Parametric Analytical Preconditioning and its Applications to the Reduced Collocation Methods

Authors: Yanlai Chen, Sigal Gottlieb, Yvon Maday

Abstract: In this paper, we extend the recently developed reduced collocation method \cite{ChenGottlieb} to the nonlinear case, and propose two analytical preconditioning strategies. One is parameter independent and easy to implement, the other one has the traditional affinity with respect to the parameters which allows for efficient implementation through an offline-online decomposition. Overall, the preco… ▽ More In this paper, we extend the recently developed reduced collocation method \cite{ChenGottlieb} to the nonlinear case, and propose two analytical preconditioning strategies. One is parameter independent and easy to implement, the other one has the traditional affinity with respect to the parameters which allows for efficient implementation through an offline-online decomposition. Overall, the preconditioning improves the quality of the error estimation uniformly on the parameter domain, and speeds up the convergence of the reduced solution to the truth approximation. △ Less

Submitted 27 March, 2014; originally announced March 2014.

MSC Class: 65M60; 65N30

Parareal in time 3D numerical solver for the LWR Benchmark neutron diffusion transient model

Authors: Anne-Marie A. -M. Baudron, Jean-Jacques Lautard, Yvon Maday, Mohamed Kamel Riahi, Julien Salomon

Abstract: We present a parareal in time algorithm for the simulation of neutron diffusion transient model. The method is made efficient by means of a coarse solver defined with large time steps and steady control rods model. Using finite element for the space discretization, our implementation provides a good scalability of the algorithm. Numerical results show the efficiency of the parareal method on large… ▽ More We present a parareal in time algorithm for the simulation of neutron diffusion transient model. The method is made efficient by means of a coarse solver defined with large time steps and steady control rods model. Using finite element for the space discretization, our implementation provides a good scalability of the algorithm. Numerical results show the efficiency of the parareal method on large light water reactor transient model corresponding to the Langenbuch-Maurer-Werner (LMW) benchmark [1]. △ Less

Submitted 7 March, 2014; originally announced March 2014.

Robin Schwarz algorithm for the NICEM Method: the Pq finite element case

Authors: Caroline Japhet, Yvon Maday, Frédéric Nataf

Abstract: In Gander et al. [2004] we proposed a new non-conforming domain decomposition paradigm, the New Interface Cement Equilibrated Mortar (NICEM) method, based on Schwarz type methods that allows for the use of Robin interface conditions on non-conforming grids. The error analysis was done for P1 finite elements, in 2D and 3D. In this paper, we provide new numerical analysis results that allow to exten… ▽ More In Gander et al. [2004] we proposed a new non-conforming domain decomposition paradigm, the New Interface Cement Equilibrated Mortar (NICEM) method, based on Schwarz type methods that allows for the use of Robin interface conditions on non-conforming grids. The error analysis was done for P1 finite elements, in 2D and 3D. In this paper, we provide new numerical analysis results that allow to extend this error analysis in 2D for piecewise polynomials of higher order and also prove the convergence of the iterative algorithm in all these cases. △ Less

Submitted 30 January, 2014; originally announced January 2014.

Comments: arXiv admin note: substantial text overlap with arXiv:0705.0288

Comparison of some Reduced Representation Approximations

Authors: Mario Bebendorf, Yvon Maday, Benjamin Stamm

Abstract: In the field of numerical approximation, specialists considering highly complex problems have recently proposed various ways to simplify their underlying problems. In this field, depending on the problem they were tackling and the community that are at work, different approaches have been developed with some success and have even gained some maturity, the applications can now be applied to informa… ▽ More In the field of numerical approximation, specialists considering highly complex problems have recently proposed various ways to simplify their underlying problems. In this field, depending on the problem they were tackling and the community that are at work, different approaches have been developed with some success and have even gained some maturity, the applications can now be applied to information analysis or for numerical simulation of PDE's. At this point, a crossed analysis and effort for understanding the similarities and the differences between these approaches that found their starting points in different backgrounds is of interest. It is the purpose of this paper to contribute to this effort by comparing some constructive reduced representations of complex functions. We present here in full details the Adaptive Cross Approximation (ACA) and the Empirical Interpolation Method (EIM) together with other approaches that enter in the same category. △ Less

Submitted 22 May, 2013; originally announced May 2013.

MSC Class: 65D05; 65D15

Non-consistent approximations of self-adjoint eigenproblems: Application to the supercell method

Authors: Eric Cancès, Virginie Ehrlacher, Yvon Maday

Abstract: In this article, we introduce a general theoretical framework to analyze non-consistent approximations of the discrete eigenmodes of a self-adjoint operator. We focus in particular on the discrete eigenvalues laying in spectral gaps. We first provide a priori error estimates on the eigenvalues and eigenvectors in the absence of spectral pollution. We then show that the supercell method for perturb… ▽ More In this article, we introduce a general theoretical framework to analyze non-consistent approximations of the discrete eigenmodes of a self-adjoint operator. We focus in particular on the discrete eigenvalues laying in spectral gaps. We first provide a priori error estimates on the eigenvalues and eigenvectors in the absence of spectral pollution. We then show that the supercell method for perturbed periodic Schrödinger operators falls into the scope of our study. We prove that this method is spectral pollution free, and we derive optimal convergence rates for the planewave discretization method, taking numerical integration errors into account. Some numerical illustrations are provided. △ Less

Submitted 2 May, 2012; originally announced May 2012.

Comments: 29 pages, 5 figures

Locally adaptive greedy approximations for anisotropic parameter reduced basis spaces

Authors: Yvon Maday, Benjamin Stamm

Abstract: Reduced order models, in particular the reduced basis method, rely on empirically built and problem dependent basis functions that are constructed during an off-line stage. In the on-line stage, the precomputed problem-dependent solution space, that is spanned by the basis functions, can then be used in order to reduce the size of the computational problem. For complex problems, the number of basi… ▽ More Reduced order models, in particular the reduced basis method, rely on empirically built and problem dependent basis functions that are constructed during an off-line stage. In the on-line stage, the precomputed problem-dependent solution space, that is spanned by the basis functions, can then be used in order to reduce the size of the computational problem. For complex problems, the number of basis functions required to guarantee a certain error tolerance can become too large in order to benefit computationally from the model reduction. To overcome this, the present work introduces a framework where local approximation spaces (in parameter space) are used to define the reduced order approximation in order to have explicit control over the on-line cost. This approach also adapts the local approximation spaces to local anisotropic behavior in the parameter space. We present the algorithm and numerous numerical tests. △ Less

Submitted 6 December, 2012; v1 submitted 17 April, 2012; originally announced April 2012.

Comments: Submitted to SIAM Journal on Scientific Computing

Parareal in time intermediate targets methods for optimal control problem

Authors: Yvon Maday, Mohamed-Kamel Riahi, Julien Salomon

Abstract: In this paper, we present a method that enables solving in parallel the Euler-Lagrange system associated with the optimal control of a parabolic equation. Our approach is based on an iterative update of a sequence of intermediate targets that gives rise to independent sub-problems that can be solved in parallel. This method can be coupled with the parareal in time algorithm. Numerical experiments… ▽ More In this paper, we present a method that enables solving in parallel the Euler-Lagrange system associated with the optimal control of a parabolic equation. Our approach is based on an iterative update of a sequence of intermediate targets that gives rise to independent sub-problems that can be solved in parallel. This method can be coupled with the parareal in time algorithm. Numerical experiments show the efficiency of our method. △ Less

Submitted 11 March, 2012; originally announced March 2012.

Comments: 14 pages

MSC Class: Primary 49J20; Secondary 68W10

Stable parareal in time method for first and second order hyperbolic system

Authors: Xiaoying Dai, Yvon Maday

Abstract: The parareal in time algorithm allows to perform parallel simulations of time dependent problems. This algorithm has been implemented on many types of time dependent problems with some success. Recent contributions have allowed to extend the domain of application of the parareal in time algorithm so as to handle long time simulations of Hamiltonian systems. This improvement has managed to avoid th… ▽ More The parareal in time algorithm allows to perform parallel simulations of time dependent problems. This algorithm has been implemented on many types of time dependent problems with some success. Recent contributions have allowed to extend the domain of application of the parareal in time algorithm so as to handle long time simulations of Hamiltonian systems. This improvement has managed to avoid the fatal large lack of accuracy of the plain parareal in time algorithm consequence of the fact that the plain parareal in time algorithm does not conserve invariants. A somehow similar difficulty occurs for problems where the solution lacks regularity, either initially or in the evolution, like for the solution to hyperbolic system of conservation laws. In this paper we identify the problem of lack of stability of the parareal in time algorithm and propose a simple way to cure it. The new method is used to solve a linear wave equation and a non linear Burger's equation, the results illustrate the stability of this variant of the parareal in time algorithm. △ Less

Submitted 5 January, 2012; originally announced January 2012.

Comments: 30 pages, 30 figures

MSC Class: 65L05; 65P10; 65Y05

Periodic Schrödinger operators with local defects and spectral pollution

Authors: Eric Cancès, Virginie Ehrlacher, Yvon Maday

Abstract: This article deals with the numerical calculation of eigenvalues of perturbed periodic Schrödinger operators located in spectral gaps. Such operators are encountered in the modeling of the electronic structure of crystals with local defects, and of photonic crystals. The usual finite element Galerkin approximation is known to give rise to spectral pollution. In this article, we give a precise desc… ▽ More This article deals with the numerical calculation of eigenvalues of perturbed periodic Schrödinger operators located in spectral gaps. Such operators are encountered in the modeling of the electronic structure of crystals with local defects, and of photonic crystals. The usual finite element Galerkin approximation is known to give rise to spectral pollution. In this article, we give a precise description of the corresponding spurious states. We then prove that the supercell model does not produce spectral pollution. Lastly, we extend results by Lewin and Séré on some no-pollution criteria. In particular, we prove that using approximate spectral projectors enables one to eliminate spectral pollution in a given spectral gap of the reference periodic Schödinger operator. △ Less

Submitted 16 November, 2011; originally announced November 2011.

Comments: 23 pages, 5 figures

An intermediate targets method for time parallelization in optimal control

Authors: Yvon Maday, Julien Salomon, Kamel Riahi

Abstract: In this paper, we present a method that enables to solve in parallel the Euler-Lagrange system associated with the optimal control of a parabolic equation. Our approach is based on an iterative update of a sequence of intermediate targets and gives rise independent sub-problems that can be solved in parallel. Numerical experiments show the efficiency of our method. In this paper, we present a method that enables to solve in parallel the Euler-Lagrange system associated with the optimal control of a parabolic equation. Our approach is based on an iterative update of a sequence of intermediate targets and gives rise independent sub-problems that can be solved in parallel. Numerical experiments show the efficiency of our method. △ Less

Submitted 18 October, 2011; originally announced October 2011.

Symmetric parareal algorithms for Hamiltonian systems

Authors: X. Dai, C. Le Bris, F. Legoll, Y. Maday

Abstract: The parareal in time algorithm allows to efficiently use parallel computing for the simulation of time-dependent problems. It is based on a decomposition of the time interval into subintervals, and on a predictor-corrector strategy, where the propagations over each subinterval for the corrector stage are concurrently performed on the processors. In this article, we are concerned with the long time… ▽ More The parareal in time algorithm allows to efficiently use parallel computing for the simulation of time-dependent problems. It is based on a decomposition of the time interval into subintervals, and on a predictor-corrector strategy, where the propagations over each subinterval for the corrector stage are concurrently performed on the processors. In this article, we are concerned with the long time integration of Hamiltonian systems. Geometric, structure-preserving integrators are preferably employed for such systems because they show interesting numerical properties, in particular excellent preservation of the total energy of the system. Using a symmetrization procedure and/or a (possibly also symmetric) projection step, we introduce here several variants of the original plain parareal in time algorithm [Lions, Maday and Turinici 2001, Baffico, Bernard, Maday, Turinici and Zerah 2002, Bal and Maday 2002] that are better adapted to the Hamiltonian context. These variants are compatible with the geometric structure of the exact dynamics, and are easy to implement. Numerical tests on several model systems illustrate the remarkable properties of the proposed parareal integrators over long integration times. Some formal elements of understanding are also provided. △ Less

Submitted 29 November, 2010; originally announced November 2010.

MSC Class: 65L05; 65P10; 65Y05

Reduced basis techniques for stochastic problems

Authors: Sébastien Boyaval, Claude Le Bris, Tony Lelièvre, Yvon Maday, Ngoc Cuong Nguyen, Anthony T. Patera

Abstract: We report here on the recent application of a now classical general reduction technique, the Reduced-Basis approach initiated in [C. Prud'homme, D. Rovas, K. Veroy, Y. Maday, A. T. Patera, and G. Turinici. Reliable real-time solution of parametrized partial differential equations: Reduced-basis output bounds methods. Journal of Fluids Engineering, 124(1):7080, 2002.], to the specific context of d… ▽ More We report here on the recent application of a now classical general reduction technique, the Reduced-Basis approach initiated in [C. Prud'homme, D. Rovas, K. Veroy, Y. Maday, A. T. Patera, and G. Turinici. Reliable real-time solution of parametrized partial differential equations: Reduced-basis output bounds methods. Journal of Fluids Engineering, 124(1):7080, 2002.], to the specific context of differential equations with random coefficients. After an elementary presentation of the approach, we review two contributions of the authors: [S. Boyaval, C. Le Bris, Y. Maday, N.C. Nguyen, and A.T. Patera. A reduced basis approach for variational problems with stochastic parameters: Application to heat conduction with variable Robin co-efficient. Computer Methods in Applied Mechanics and Engineering, 198(4144):3187-3206, 2009.], which presents the application of the RB approach for the discretization of a simple second order elliptic equation supplied with a random boundary condition, and [S. Boyaval and T. Lelièvre, A variance reduction method for parametrized stochastic differential equations using the reduced basis paradigm with T. Lelièvre, Commun. Math. Sci. 8, special Issue "Mathematical Issue on Complex Fluids" P. Zhang ed., to appear, 2010, ARXIV preprint arXiv:0906.3600], which uses a RB type approach to reduce the variance in the Monte-Carlo simulation of a stochastic differential equation. We conclude the review with some general comments and also discuss possible tracks for further research in the direction. △ Less

Submitted 2 April, 2010; originally announced April 2010.

Numerical analysis of the planewave discretization of some orbital-free and Kohn-Sham models

Authors: Eric Cancès, Rachida Chakir, Yvon Maday

Abstract: We provide a priori error estimates for the spectral and pseudospectral Fourier (also called planewave) discretizations of the periodic Thomas-Fermi-von Weizsäcker (TFW) model and for the spectral discretization of the Kohn-Sham model, within the local density approximation (LDA). These models allow to compute approximations of the ground state energy and density of molecular systems in the cond… ▽ More We provide a priori error estimates for the spectral and pseudospectral Fourier (also called planewave) discretizations of the periodic Thomas-Fermi-von Weizsäcker (TFW) model and for the spectral discretization of the Kohn-Sham model, within the local density approximation (LDA). These models allow to compute approximations of the ground state energy and density of molecular systems in the condensed phase. The TFW model is stricly convex with respect to the electronic density, and allows for a comprehensive analysis. This is not the case for the Kohn-Sham LDA model, for which the uniqueness of the ground state electronic density is not guaranteed. Under a coercivity assumption on the second order optimality condition, we prove that for large enough energy cut-offs, the discretized Kohn-Sham LDA problem has a minimizer in the vicinity of any Kohn-Sham ground state, and that this minimizer is unique up to unitary transform. We then derive optimal a priori error estimates for the spectral discretization method. △ Less

Submitted 8 March, 2010; originally announced March 2010.

Comments: 50 pages

MSC Class: 65N15; 65N25; 65N30; 65T99; 35J60; 35P30

Numerical analysis of the planewave discretization of orbital-free and Kohn-Sham models Part I: The Thomas-Fermi-von Weizacker model

Authors: Eric Cancès, Rachida Chakir, Yvon Maday

Abstract: We provide {\it a priori} error estimates for the spectral and pseudospectral Fourier (also called planewave) discretizations of the periodic Thomas-Fermi-von Weizsäcker (TFW) model and of the Kohn-Sham model, within the local density approximation (LDA). These models allow to compute approximations of the ground state energy and density of molecular systems in the condensed phase. The TFW model… ▽ More We provide {\it a priori} error estimates for the spectral and pseudospectral Fourier (also called planewave) discretizations of the periodic Thomas-Fermi-von Weizsäcker (TFW) model and of the Kohn-Sham model, within the local density approximation (LDA). These models allow to compute approximations of the ground state energy and density of molecular systems in the condensed phase. The TFW model is stricly convex with respect to the electronic density, and allows for a comprehensive analysis (Part I). This is not the case for the Kohn-Sham LDA model, for which the uniqueness of the ground state electronic density is not guaranteed. Under a coercivity assumption on the second order optimality condition, we prove in Part II that for large enough energy cut-offs, the discretized Kohn-Sham LDA problem has a minimizer in the vicinity of any Kohn-Sham ground state, and that this minimizer is unique up to unitary transform. We then derive optimal {\it a priori} error estimates for both the spectral and the pseudospectral discretization methods. △ Less

Submitted 8 September, 2009; originally announced September 2009.

MSC Class: 65N15; 65N25; 65N30; 65T99; 35J60; 35P30