Showing 1–45 of 45 results for author: Friesecke, G

Copula methods for modeling pair densities in density functional theory

Authors: Geneviève Dusson, Claudia Klüppelberg, Gero Friesecke

Abstract: We propose a new approach towards approximating the density-to-pair-density map based on copula theory from statistics. We extend the copula theory to multi-dimensional marginals, and deduce that one can describe any (exact or approximate) pair density by the single-particle density and a copula. We present analytical formulas for the exact copula in scaling limits, numerically compute the copula… ▽ More We propose a new approach towards approximating the density-to-pair-density map based on copula theory from statistics. We extend the copula theory to multi-dimensional marginals, and deduce that one can describe any (exact or approximate) pair density by the single-particle density and a copula. We present analytical formulas for the exact copula in scaling limits, numerically compute the copula for dissociating systems with two to four particles in one dimension, and propose accurate approximations of the copula between equilibrium and dissociation for two-particle systems. △ Less

Submitted 9 March, 2025; v1 submitted 29 January, 2025; originally announced January 2025.

Global fermionic mode optimization via swap gates

Authors: Gero Friesecke, Miklós Antal Werner, Kornél Kapás, Andor Menczer, Örs Legeza

Abstract: We propose a general approach to find an optimal representation of a quantum many body wave function for a given error margin via global fermionic mode optimization. The stationary point on a fixed rank matrix product state manifold is obtained via a joint optimization on the Grassman manifold [Phys. Rev. Lett. 117, 210402] together with swap gates controlled permutations. The minimization of the… ▽ More We propose a general approach to find an optimal representation of a quantum many body wave function for a given error margin via global fermionic mode optimization. The stationary point on a fixed rank matrix product state manifold is obtained via a joint optimization on the Grassman manifold [Phys. Rev. Lett. 117, 210402] together with swap gates controlled permutations. The minimization of the global quantity, the block entropy area, guarantees that the method fulfills all criteria with respect to partial derivatives. Numerical results via large scale density matrix renormalization group simulations on strongly correlated molecular systems and two-dimensional fermionic lattice models are discussed. △ Less

Submitted 5 June, 2024; originally announced June 2024.

Comments: 5 pages, 4 figures

$p$-Wasserstein barycenters

Authors: Camilla Brizzi, Gero Friesecke, Tobias Ried

Abstract: We study barycenters of $N$ probability measures on $\mathbb{R}^d$ with respect to the $p$-Wasserstein metric ($1<p<\infty$). We prove that -- $p$-Wasserstein barycenters of absolutely continuous measures are unique, and again absolutely continuous -- $p$-Wasserstein barycenters admit a multi-marginal formulation -- the optimal multi-marginal plan is unique and of Monge form if the marginals… ▽ More We study barycenters of $N$ probability measures on $\mathbb{R}^d$ with respect to the $p$-Wasserstein metric ($1<p<\infty$). We prove that -- $p$-Wasserstein barycenters of absolutely continuous measures are unique, and again absolutely continuous -- $p$-Wasserstein barycenters admit a multi-marginal formulation -- the optimal multi-marginal plan is unique and of Monge form if the marginals are absolutely continuous, and its support has an explicit parametrization as a graph over any marginal space. This extends the Agueh--Carlier theory of Wasserstein barycenters [SIAM J. Math. Anal. 43 (2011), no.2, 904--924] to exponents $p\neq 2$. A key ingredient is a quantitative injectivity estimate for the (highly non-injective) map from $N$-point configurations to their $p$-barycenter on the support of an optimal multi-marginal plan. We also discuss the statistical meaning of $p$-Wasserstein barycenters in one dimension. △ Less

Submitted 22 October, 2024; v1 submitted 15 May, 2024; originally announced May 2024.

MSC Class: Primary 49Q20; Secondary 49J40; 49K21

$h$-Wasserstein barycenters

Authors: Camilla Brizzi, Gero Friesecke, Tobias Ried

Abstract: We generalize the notion and theory of Wasserstein barycenters introduced by Agueh and Carlier (2011) from the quadratic cost to general smooth strictly convex costs $h$ with non-degenerate Hessian. We show the equivalence between a coupled two-marginal and a multi-marginal formulation and establish that the multi-marginal optimal plan is unique and of Monge form. To establish the latter result we… ▽ More We generalize the notion and theory of Wasserstein barycenters introduced by Agueh and Carlier (2011) from the quadratic cost to general smooth strictly convex costs $h$ with non-degenerate Hessian. We show the equivalence between a coupled two-marginal and a multi-marginal formulation and establish that the multi-marginal optimal plan is unique and of Monge form. To establish the latter result we introduce a new approach which is not based on explicitly solving the optimality system, but instead deriving a quantitative injectivity estimate for the (highly non-injective) map from $N$-point configurations to their $h$-barycenter on the support of an optimal multi-marginal plan. △ Less

Submitted 20 February, 2024; originally announced February 2024.

MSC Class: Primary 49Q20; Secondary 49J40; 49K21

Robust self-assembly of nonconvex shapes in 2D

Authors: Lukas Mayrhofer, Myfanwy E. Evans, Gero Friesecke

Abstract: We present fast simulation methods for the self-assembly of complex shapes in two dimensions. The shapes are modeled via a general boundary curve and interact via a standard volume term promoting overlap and an interpenetration penalty. To efficiently realize the Gibbs measure on the space of possible configurations we employ the hybrid Monte Carlo algorithm together with a careful use of signed d… ▽ More We present fast simulation methods for the self-assembly of complex shapes in two dimensions. The shapes are modeled via a general boundary curve and interact via a standard volume term promoting overlap and an interpenetration penalty. To efficiently realize the Gibbs measure on the space of possible configurations we employ the hybrid Monte Carlo algorithm together with a careful use of signed distance functions for energy evaluation. Motivated by the self-assembly of identical coat proteins of the tobacco mosaic virus which assemble into a helical shell, we design a particular nonconvex 2D model shape and demonstrate its robust self-assembly into a unique final state. Our numerical experiments reveal two essential prerequisites for this self-assembly process: blocking and matching (i.e., local repulsion and attraction) of different parts of the boundary; and nonconvexity and handedness of the shape. △ Less

Submitted 8 December, 2023; originally announced December 2023.

Next-order correction to the Dirac exchange energy of the free electron gas in the thermodynamic limit and generalized gradient approximations

Authors: Thiago Carvalho Corso, Gero Friesecke

Abstract: We derive the next order correction to the Dirac exchange energy for the free electron gas in a box with zero boundary conditions in the thermodynamic limit. The correction is of the order of the surface area of the box, and comes from three different contributions: (i) a real-space boundary layer, (ii) a boundary-condition-induced small shift of Fermi momentum and bulk density, and (iii) a long-r… ▽ More We derive the next order correction to the Dirac exchange energy for the free electron gas in a box with zero boundary conditions in the thermodynamic limit. The correction is of the order of the surface area of the box, and comes from three different contributions: (i) a real-space boundary layer, (ii) a boundary-condition-induced small shift of Fermi momentum and bulk density, and (iii) a long-range electrostatic finite-size correction. Moreover we show that the LDA, in addition to capturing the bulk term exactly, also produces a correction of the correct order but not the correct size. GGA corrections are found to be capable of capturing the surface term exactly, provided the gradient enhancement factor satisfies a simple explicit integral constraint. For current GGAs such as B88 and PBE we find that the new constraint is not satisfied and the size of the surface correction is overestimated by about ten percent. The new constraint might thus be of interest for the design of future exchange functionals. △ Less

Submitted 20 March, 2023; originally announced March 2023.

Convergence proof for the GenCol algorithm in the case of two-marginal optimal transport

Authors: Gero Friesecke, Maximilian Penka

Abstract: The recently introduced Genetic Column Generation (GenCol) algorithm has been numerically observed to efficiently and accurately compute high-dimensional optimal transport plans for general multi-marginal problems, but theoretical results on the algorithm have hitherto been lacking. The algorithm solves the OT linear program on a dynamically updated low-dimensional submanifold consisting of sparse… ▽ More The recently introduced Genetic Column Generation (GenCol) algorithm has been numerically observed to efficiently and accurately compute high-dimensional optimal transport plans for general multi-marginal problems, but theoretical results on the algorithm have hitherto been lacking. The algorithm solves the OT linear program on a dynamically updated low-dimensional submanifold consisting of sparse plans. The submanifold dimension exceeds the sparse support of optimal plans only by a fixed factor $β$. Here we prove that for $β\geq 2$ and in the two-marginal case, GenCol always converges to an exact solution, for arbitrary costs and marginals. The proof relies on the concept of c-cyclical monotonicity. As an offshoot, GenCol rigorously reduces the data complexity of numerically solving two-marginal OT problems from $O(\ell^2)$ to $O(\ell)$ without any loss in accuracy, where $\ell$ is the number of discretization points for a single marginal. At the end of the paper we also present some insights into the convergence behavior in the multi-marginal case. △ Less

Submitted 13 September, 2023; v1 submitted 13 March, 2023; originally announced March 2023.

Comments: A section on the multi-marginal case was added

MSC Class: 65K; 90C06

The density-density response function in time-dependent density functional theory: mathematical foundations and pole shifting

Authors: Thiago Carvalho Corso, Mi-Song Dupuy, Gero Friesecke

Abstract: We establish existence and uniqueness of the solution to the Dyson equation for the density-density response function in time-dependent density functional theory (TDDFT) in the random phase approximation (RPA). We show that the poles of the RPA density-density response function are forward-shifted with respect to those of the non-interacting response function, thereby explaining mathematically the… ▽ More We establish existence and uniqueness of the solution to the Dyson equation for the density-density response function in time-dependent density functional theory (TDDFT) in the random phase approximation (RPA). We show that the poles of the RPA density-density response function are forward-shifted with respect to those of the non-interacting response function, thereby explaining mathematically the well known empirical fact that the non-interacting poles (given by the spectral gaps of the time-independent Kohn-Sham equations) underestimate the true transition frequencies. Moreover we show that the RPA poles are solutions to an eigenvalue problem, justifying the approach commonly used in the physics community to compute these poles. △ Less

Submitted 18 July, 2023; v1 submitted 30 January, 2023; originally announced January 2023.

Comments: 39 pages

Predicting the FCI energy of large systems to chemical accuracy from restricted active space density matrix renormalization group calculations

Authors: Gero Friesecke, Gergely Barcza, Örs Legeza

Abstract: We theoretically derive and validate with large scale simulations a remarkably accurate power law scaling of errors for the restricted active space density matrix renormalization group (DMRG-RAS) method [arXiv:2111.06665] in electronic structure calculations. This yields a new extrapolation method, DMRG-RAS-X, which reaches chemical accuracy for strongly correlated systems such as the Chromium dim… ▽ More We theoretically derive and validate with large scale simulations a remarkably accurate power law scaling of errors for the restricted active space density matrix renormalization group (DMRG-RAS) method [arXiv:2111.06665] in electronic structure calculations. This yields a new extrapolation method, DMRG-RAS-X, which reaches chemical accuracy for strongly correlated systems such as the Chromium dimer, dicarbon up to a large cc-pVQZ basis, and even a large chemical complex like the FeMoco with significantly lower computational demands than previous methods. The method is free of empirical parameters, performed robustly and reliably in all examples we tested, and has the potential to become a vital alternative method for electronic structure calculations in quantum chemistry, and more generally for the computation of strong correlations in nuclear and condensed matter physics. △ Less

Submitted 2 April, 2023; v1 submitted 28 September, 2022; originally announced September 2022.

Comments: 16 pages, 10 figures

The GenCol algorithm for high-dimensional optimal transport: general formulation and application to barycenters and Wasserstein splines

Authors: Gero Friesecke, Maximilian Penka

Abstract: We extend the recently introduced genetic column generation algorithm for high-dimensional multi-marginal optimal transport from symmetric to general problems. We use the algorithm to calculate accurate mesh-free Wasserstein barycenters and cubic Wasserstein splines. We extend the recently introduced genetic column generation algorithm for high-dimensional multi-marginal optimal transport from symmetric to general problems. We use the algorithm to calculate accurate mesh-free Wasserstein barycenters and cubic Wasserstein splines. △ Less

Submitted 19 September, 2022; originally announced September 2022.

Density Functionals based on the mathematical structure of the strong-interaction limit of DFT

Authors: Stefan Vuckovic, Augusto Gerolin, Timothy J. Daas, Hilke Bahmann, Gero Friesecke, Paola Gori-Giorgi

Abstract: While in principle exact, Kohn-Sham density functional theory -- the workhorse of computational chemistry -- must rely on approximations for the exchange-correlation functional. Despite staggering successes, present-day approximations still struggle when the effects of electron-electron correlation play a prominent role. The limit in which the electronic Coulomb repulsion completely dominates the… ▽ More While in principle exact, Kohn-Sham density functional theory -- the workhorse of computational chemistry -- must rely on approximations for the exchange-correlation functional. Despite staggering successes, present-day approximations still struggle when the effects of electron-electron correlation play a prominent role. The limit in which the electronic Coulomb repulsion completely dominates the exchange-correlation functional offers a well-defined mathematical framework that provides insight for new approximations able to deal with strong correlation. In particular, the mathematical structure of this limit, which is now well-established thanks to its reformulation as an optimal transport problem, points to the use of very different ingredients (or features) with respect to the traditional ones used in present approximations. We focus on strategies to use these new ingredients to build approximations for computational chemistry and highlight future promising directions. △ Less

Submitted 22 April, 2022; originally announced April 2022.

The strong-interaction limit of density functional theory

Authors: Gero Friesecke, Augusto Gerolin, Paola Gori-Giorgi

Abstract: This is a comprehensive review of the strong-interaction limit of density functional theory. It covers the derivation of the limiting strictly correlated electrons (SCE) functional from exact Hohenberg-Kohn DFT, basic aspects of SCE physics such as the nonlocal dependence of the SCE potential on the density, equivalent formulations and the mathematical interpretation as optimal transport with Coul… ▽ More This is a comprehensive review of the strong-interaction limit of density functional theory. It covers the derivation of the limiting strictly correlated electrons (SCE) functional from exact Hohenberg-Kohn DFT, basic aspects of SCE physics such as the nonlocal dependence of the SCE potential on the density, equivalent formulations and the mathematical interpretation as optimal transport with Coulomb cost, rigorous results (including exactly soluble cases), approximations, numerical methods, integration into Kohn-Sham DFT (KS SCE), and applications to molecular systems, an example being that KS SCE, unlike the local density approximation or generalized gradient approximations, dissociates H$_2$ correctly. We have made an effort to make this review accessible to a broad audience of physicists, chemists, and mathematicians. △ Less

Submitted 20 February, 2022; originally announced February 2022.

Comments: Chapter in the book `Density Functional Theory' edited by Eric Cancès and Gero Friesecke, submitted to Springer

Exact matrix product state representation and convergence of a fully correlated electronic wavefunction in the infinite basis limit

Authors: Gero Friesecke, Benedikt R. Graswald, Örs Legeza

Abstract: In this article we present the exact representation of a fully correlated electronic wavefunction as the single-particle basis approaches completeness. It consists of a half-infinite chain of matrices of exponentially increasing size. The complete basis limit is illustrated numerically using the density matrix renormalization group method by computing the core-valence entanglement in the C$_2$ gro… ▽ More In this article we present the exact representation of a fully correlated electronic wavefunction as the single-particle basis approaches completeness. It consists of a half-infinite chain of matrices of exponentially increasing size. The complete basis limit is illustrated numerically using the density matrix renormalization group method by computing the core-valence entanglement in the C$_2$ ground state in increasing subsets of cc-pVTZ and pVQZ bases until convergence is reached. △ Less

Submitted 6 April, 2022; v1 submitted 19 December, 2021; originally announced December 2021.

Comments: Fixed latex bug which printed both old and updated bibliography

Two-electron wavefunctions are matrix product states with bond dimension Three

Authors: Gero Friesecke, Benedikt R. Graswald

Abstract: We prove the statement in the title, for a suitable (wavefunction-dependent) choice of the underlying orbitals, and show that Three is optimal. Thus for two-electron systems, the QC-DMRG method with bond dimension Three combined with fermionic mode optimization exactly recovers the FCI energy. We prove the statement in the title, for a suitable (wavefunction-dependent) choice of the underlying orbitals, and show that Three is optimal. Thus for two-electron systems, the QC-DMRG method with bond dimension Three combined with fermionic mode optimization exactly recovers the FCI energy. △ Less

Submitted 21 September, 2021; originally announced September 2021.

On the closedness and geometry of tensor network state sets

Authors: Thomas Barthel, Jianfeng Lu, Gero Friesecke

Abstract: Tensor network states (TNS) are a powerful approach for the study of strongly correlated quantum matter. The curse of dimensionality is addressed by parametrizing the many-body state in terms of a network of partially contracted tensors. These tensors form a substantially reduced set of effective degrees of freedom. In practical algorithms, functionals like energy expectation values or overlaps ar… ▽ More Tensor network states (TNS) are a powerful approach for the study of strongly correlated quantum matter. The curse of dimensionality is addressed by parametrizing the many-body state in terms of a network of partially contracted tensors. These tensors form a substantially reduced set of effective degrees of freedom. In practical algorithms, functionals like energy expectation values or overlaps are optimized over certain sets of TNS. Concerning algorithmic stability, it is important whether the considered sets are closed because, otherwise, the algorithms may approach a boundary point that is outside the TNS set and tensor elements diverge. We discuss the closedness and geometries of TNS sets, and we propose regularizations for optimization problems on non-closed TNS sets. We show that sets of matrix product states (MPS) with open boundary conditions, tree tensor network states (TTNS), and the multiscale entanglement renormalization ansatz (MERA) are always closed, whereas sets of translation-invariant MPS with periodic boundary conditions (PBC), heterogeneous MPS with PBC, and projected entangled-pair states (PEPS) are generally not closed. The latter is done using explicit examples like the W state, states that we call two-domain states, and fine-grained versions thereof. △ Less

Submitted 2 August, 2022; v1 submitted 30 July, 2021; originally announced August 2021.

Comments: 23 pages, 10 figures; minor improvements, added references; published version; This article belongs to the themed collection "Mathematical Physics and Numerical Simulation of Many-Particle Systems", V. Bach and L. Delle Site (eds.), Letters in Mathematical Physics

MSC Class: 15A69; 81V70; 15A21; 65K10; 14J81

Journal ref: Lett. Math. Phys. 112, 72 (2022)

Convex geometry of finite exchangeable laws and de Finetti style representation with universal correlated corrections

Authors: Guillaume Carlier, Gero Friesecke, Daniela Vögler

Abstract: We present a novel analogue for finite exchangeable sequences of the de Finetti, Hewitt and Savage theorem and investigate its implications for multi-marginal optimal transport (MMOT) and Bayesian statistics. If $(Z_1,...,Z_N)$ is a finitely exchangeable sequence of $N$ random variables taking values in some Polish space $X$, we show that the law $μ_k$ of the first $k$ components has a representat… ▽ More We present a novel analogue for finite exchangeable sequences of the de Finetti, Hewitt and Savage theorem and investigate its implications for multi-marginal optimal transport (MMOT) and Bayesian statistics. If $(Z_1,...,Z_N)$ is a finitely exchangeable sequence of $N$ random variables taking values in some Polish space $X$, we show that the law $μ_k$ of the first $k$ components has a representation of the form $μ_k=\int_{{\mathcal P}_{\frac{1}{N}}(X)} F_{N,k}(λ) \, \mbox{d} α(λ)$ for some probability measure $α$ on the set of $1/N$-quantized probability measures on $X$ and certain universal polynomials $F_{N,k}$. The latter consist of a leading term $N^{k-1}\! /{\small \prod_{j=1}^{k-1}(N\! -\! j)\, λ^{\otimes k}}$ and a finite, exponentially decaying series of correlated corrections of order $N^{-j}$ ($j=1,...,k$). The $F_{N,k}(λ)$ are precisely the extremal such laws, expressed via an explicit polynomial formula in terms of their one-point marginals $λ$. Applications include novel approximations of MMOT via polynomial convexification and the identification of the remainder which is estimated in the celebrated error bound of Diaconis-Freedman between finite and infinite exchangeable laws. △ Less

Submitted 16 June, 2021; originally announced June 2021.

MSC Class: 60G09; 52-XX; 90C06

Electronic wavefunction with maximally entangled MPS representation

Authors: Benedikt R. Graswald, Gero Friesecke

Abstract: We present an example of an electronic wavefunction with maximally entangled MPS representation, in the sense that the bond dimension is maximal and cannot be lowered by any re-ordering of the underlying one-body basis. Our construction works for any number of electrons and orbitals. We present an example of an electronic wavefunction with maximally entangled MPS representation, in the sense that the bond dimension is maximal and cannot be lowered by any re-ordering of the underlying one-body basis. Our construction works for any number of electrons and orbitals. △ Less

Submitted 29 March, 2021; originally announced March 2021.

Genetic column generation: Fast computation of high-dimensional multi-marginal optimal transport problems

Authors: Gero Friesecke, Andreas S. Schulz, Daniela Vögler

Abstract: We introduce a simple, accurate, and extremely efficient method for numerically solving the multi-marginal optimal transport (MMOT) problems arising in density functional theory. The method relies on (i) the sparsity of optimal plans [for $N$ marginals discretized by $\ell$ gridpoints each, general Kantorovich plans require $\ell^N$ gridpoints but the support of optimizers is of size… ▽ More We introduce a simple, accurate, and extremely efficient method for numerically solving the multi-marginal optimal transport (MMOT) problems arising in density functional theory. The method relies on (i) the sparsity of optimal plans [for $N$ marginals discretized by $\ell$ gridpoints each, general Kantorovich plans require $\ell^N$ gridpoints but the support of optimizers is of size $O(\ell\cdot N)$ [FV18]], (ii) the method of column generation (CG) from discrete optimization which to our knowledge has not hitherto been used in MMOT, and (iii) ideas from machine learning. The well-known bottleneck in CG consists in generating new candidate columns efficiently; we prove that in our context, finding the best new column is an NP-complete problem. To overcome this bottleneck we use a genetic learning method tailormade for MMOT in which the dual state within CG plays the role of an "adversary", in loose similarity to Wasserstein GANs. On a sequence of benchmark problems with up to 120 gridpoints and up to 30 marginals, our method always found the exact optimizers. Moreover, empirically the number of computational steps needed to find them appears to scale only polynomially when both $N$ and $\ell$ are simultaneously increased (while keeping their ratio fixed to mimic a thermodynamic limit of the particle system). △ Less

Submitted 23 March, 2021; originally announced March 2021.

Inversion symmetry of singular values and a new orbital ordering method in tensor train approximations for quantum chemistry

Authors: Mi-Song Dupuy, Gero Friesecke

Abstract: The tensor train approximation of electronic wave functions lies at the core of the QC-DMRG (Quantum Chemistry Density Matrix Renormalization Group) method, a recent state-of-the-art method for numerically solving the $N$-electron Schrödinger equation. It is well known that the accuracy of TT approximations is governed by the tail of the associated singular values, which in turn strongly depends o… ▽ More The tensor train approximation of electronic wave functions lies at the core of the QC-DMRG (Quantum Chemistry Density Matrix Renormalization Group) method, a recent state-of-the-art method for numerically solving the $N$-electron Schrödinger equation. It is well known that the accuracy of TT approximations is governed by the tail of the associated singular values, which in turn strongly depends on the ordering of the one-body basis. Here we find that the singular values $s_1\ge s_2\ge ... \ge s_d$ of tensors representing ground states of noninteracting Hamiltonians possess a surprising inversion symmetry, $s_1s_d=s_2s_{d-1}=s_3s_{d-2}=...$, thus reducing the tail behaviour to a single hidden invariant, which moreover depends explicitly on the ordering of the basis. For correlated wavefunctions, we find that the tail is upper bounded by a suitable superposition of the invariants. Optimizing the invariants or their superposition thus provides a new ordering scheme for QC-DMRG. Numerical tests on simple examples, i.e. linear combinations of a few Slater determinants, show that the new scheme reduces the tail of the singular values by several orders of magnitudes over existing methods, including the widely used Fiedler order. △ Less

Submitted 18 February, 2020; originally announced February 2020.

Barycenters for the Hellinger--Kantorovich distance over $\mathbb{R}^d$

Authors: Gero Friesecke, Daniel Matthes, Bernhard Schmitzer

Abstract: We study the barycenter of the Hellinger--Kantorovich metric over non-negative measures on compact, convex subsets of $\mathbb{R}^d$. The article establishes existence, uniqueness (under suitable assumptions) and equivalence between a coupled-two-marginal and a multi-marginal formulation. We analyze the HK barycenter between Dirac measures in detail, and find that it differs substantially from the… ▽ More We study the barycenter of the Hellinger--Kantorovich metric over non-negative measures on compact, convex subsets of $\mathbb{R}^d$. The article establishes existence, uniqueness (under suitable assumptions) and equivalence between a coupled-two-marginal and a multi-marginal formulation. We analyze the HK barycenter between Dirac measures in detail, and find that it differs substantially from the Wasserstein barycenter by exhibiting a local `clustering' behaviour, depending on the length scale of the input measures. In applications it makes sense to simultaneously consider all choices of this scale, leading to a 1-parameter family of barycenters. We demonstrate the usefulness of this family by analyzing point clouds sampled from a mixture of Gaussians and inferring the number and location of the underlying Gaussians. △ Less

Submitted 25 January, 2021; v1 submitted 31 October, 2019; originally announced October 2019.

Comments: Minor changes to keep consistent with journal version

Journal ref: SIAM J. Math. Anal. 53 (2021), 62-110

Existence and nonexistence of HOMO-LUMO excitations in Kohn-Sham density functional theory

Authors: Gero Friesecke, Benedikt Graswald

Abstract: In numerical computations of response properties of electronic systems, the standard model is Kohn-Sham density functional theory (KS-DFT). Here we investigate the mathematical status of the simplest class of excitations in KS-DFT, HOMO-LUMO excitations. We show using concentration-compactness arguments that such excitations, i.e. excited states of the Kohn-Sham Hamiltonian, exist for $Z>N$, where… ▽ More In numerical computations of response properties of electronic systems, the standard model is Kohn-Sham density functional theory (KS-DFT). Here we investigate the mathematical status of the simplest class of excitations in KS-DFT, HOMO-LUMO excitations. We show using concentration-compactness arguments that such excitations, i.e. excited states of the Kohn-Sham Hamiltonian, exist for $Z>N$, where $Z$ is the total nuclear charge and $N$ is the number of electrons. The result applies under realistic assumptions on the exchange-correlation functional, which we verify explicitly for the widely used PZ81 and PW92 functionals. By contrast, and somewhat surprisingly, we find using a method of Glaser, Martin, Grosse, and Thirring \cite{glaser1976} that in case of the hydrogen and helium atoms, excited states do not exist in the neutral case $Z=N$ when the self-consistent KS ground state density is replaced by a realistic but easier to analyze approximation (in case of hydrogen, the true Schrödinger ground state density). Implications for interpreting minus the HOMO eigenvalue as an approximation to the ionization potential are indicated. △ Less

Submitted 5 June, 2019; originally announced July 2019.

MSC Class: 81V55; 47A75; 49S05

A simple counterexample to the Monge ansatz in multi-marginal optimal transport, convex geometry of the set of Kantorovich plans, and the Frenkel-Kontorova model

Authors: Gero Friesecke

Abstract: It is known from clever mathematical examples \cite{Ca10} that the Monge ansatz may fail in continuous two-marginal optimal transport (alias optimal coupling alias optimal assignment) problems. Here we show that this effect already occurs for finite assignment problems with $N=3$ marginals, $\ell=3$ 'sites', and symmetric pairwise costs, with the values for $N$ and $\ell$ both being optimal. Our c… ▽ More It is known from clever mathematical examples \cite{Ca10} that the Monge ansatz may fail in continuous two-marginal optimal transport (alias optimal coupling alias optimal assignment) problems. Here we show that this effect already occurs for finite assignment problems with $N=3$ marginals, $\ell=3$ 'sites', and symmetric pairwise costs, with the values for $N$ and $\ell$ both being optimal. Our counterexample is a transparent consequence of the convex geometry of the set of symmetric Kantorovich plans for $N=\ell=3$, which -- as we show -- possess 22 extreme points, only 7 of which are Monge. These extreme points have a simple physical meaning as irreducible molecular packings, and the example corresponds to finding the minimum energy packing for Frenkel-Kontorova interactions. Our finite example naturally gives rise, by superposition, to a continuous one, where failure of the Monge ansatz manifests itself as nonattainment and formation of 'microstructure'. △ Less

Submitted 13 August, 2018; originally announced August 2018.

MSC Class: 49J40; 49K30; 52B12

New optimal control problems in density functional theory motivated by photovoltaics

Authors: Gero Friesecke, Michael Kniely

Abstract: We present and study novel optimal control problems motivated by the search for photovoltaic materials with high power-conversion efficiency. The material must perform the first step: convert light (photons) into electronic excitations. We formulate various desirable properties of the excitations as mathematical control goals at the Kohn-Sham-DFT level of theory, with the control being given by th… ▽ More We present and study novel optimal control problems motivated by the search for photovoltaic materials with high power-conversion efficiency. The material must perform the first step: convert light (photons) into electronic excitations. We formulate various desirable properties of the excitations as mathematical control goals at the Kohn-Sham-DFT level of theory, with the control being given by the nuclear charge distribution. We prove that nuclear distributions exist which give rise to optimal HOMO-LUMO excitations, and present illustrative numerical simulations for 1D finite nanocrystals. We observe pronounced goal-dependent features such as large electron-hole separation, and a hierarchy of length scales: internal HOMO and LUMO wavelengths $<$ atomic spacings $<$ (irregular) fluctuations of the doping profiles $<$ system size. △ Less

Submitted 13 August, 2018; originally announced August 2018.

MSC Class: 49J40; 81V55; 82D80

Breaking the curse of dimension in multi-marginal Kantorovich optimal transport on finite state spaces

Authors: G. Friesecke, D. Vögler

Abstract: We present a new ansatz space for the general symmetric multi-marginal Kantorovich optimal transport problem on finite state spaces which reduces the number of unknowns from $\tbinom{N+\ell-1}{\ell-1}$ to $\ell\cdot(N+1)$, where $\ell$ is the number of marginal states and $N$ the number of marginals. The new ansatz space is a careful low-dimensional enlargement of the Monge class, which correspo… ▽ More We present a new ansatz space for the general symmetric multi-marginal Kantorovich optimal transport problem on finite state spaces which reduces the number of unknowns from $\tbinom{N+\ell-1}{\ell-1}$ to $\ell\cdot(N+1)$, where $\ell$ is the number of marginal states and $N$ the number of marginals. The new ansatz space is a careful low-dimensional enlargement of the Monge class, which corresponds to $\ell\cdot(N-1)$ unknowns, and cures the insufficiency of the Monge ansatz, i.e. we show that the Kantorovich problem always admits a minimizer in the enlarged class, for arbitrary cost functions. Our results apply, in particular, to the discretization of multi-marginal optimal transport with Coulomb cost in three dimensions, which has received much recent interest due to its emergence as the strongly correlated limit of Hohenberg-Kohn density functional theory. In this context $N$ corresponds to the number of particles, motivating the interest in large $N$. △ Less

Submitted 31 December, 2017; originally announced January 2018.

MSC Class: 49J40; 49K30; 49S05

Smoothing of transport plans with fixed marginals and rigorous semiclassical limit of the Hohenberg-Kohn functional

Authors: Codina Cotar, Gero Friesecke, Claudia Klüppelberg

Abstract: We prove rigorously that the exact N-electron Hohenberg-Kohn density functional converges in the strongly interacting limit to the strictly correlated electrons (SCE) functional, and that the absolute value squared of the associated constrained-search wavefunction tends weakly in the sense of probability measures to a minimizer of the multi-marginal optimal transport problem with Coulomb cost asso… ▽ More We prove rigorously that the exact N-electron Hohenberg-Kohn density functional converges in the strongly interacting limit to the strictly correlated electrons (SCE) functional, and that the absolute value squared of the associated constrained-search wavefunction tends weakly in the sense of probability measures to a minimizer of the multi-marginal optimal transport problem with Coulomb cost associated to the SCE functional. This extends our previous work for N=2 [CFK11]. The correct limit problem has been derived in the physics literature by Seidl [Se99] and Seidl, Gori-Giorgi and Savin [SGS07]; in these papers the lack of a rigorous proof was pointed out. We also give a mathematical counterexample to this type of result, by replacing the constraint of given one-body density -- an infinite-dimensional quadratic expression in the wavefunction -- by an infinite-dimensional quadratic expression in the wavefunction and its gradient. Connections with the Lawrentiev phenomenon in the calculus of variations are indicated. △ Less

Submitted 18 June, 2017; originally announced June 2017.

Classification of particle numbers with unique Heitmann-Radin minimizer

Authors: Lucia De Luca, Gero Friesecke

Abstract: We show that minimizers of the Heitmann-Radin energy (R. C. Heitmann, C. Radin, J. Stat. Phys. 22, 281-287, 1980) are unique if and only if the particle number N belongs to an infinite sequence whose first thirty-five elements are 1, 2, 3, 4, 5, 7, 8, 10, 12, 14, 16, 19, 21, 24, 27, 30, 33, 37, 40, 44, 48, 52, 56, 61, 65, 70, 75, 80, 85, 91, 96, 102, 108, 114, 120 (see the paper for a closed-form… ▽ More We show that minimizers of the Heitmann-Radin energy (R. C. Heitmann, C. Radin, J. Stat. Phys. 22, 281-287, 1980) are unique if and only if the particle number N belongs to an infinite sequence whose first thirty-five elements are 1, 2, 3, 4, 5, 7, 8, 10, 12, 14, 16, 19, 21, 24, 27, 30, 33, 37, 40, 44, 48, 52, 56, 61, 65, 70, 75, 80, 85, 91, 96, 102, 108, 114, 120 (see the paper for a closed-form description of this sequence). The proof relies on the discrete differential geometry techniques introduced in (L. De Luca, G. Friesecke, preprint). △ Less

Submitted 25 January, 2017; originally announced January 2017.

Crystallization in two dimensions and a discrete Gauss-Bonnet theorem

Authors: Lucia De Luca, Gero Friesecke

Abstract: We show that the emerging field of discrete differential geometry can be usefully brought to bear on crystallization problems. In particular, we give a simplified proof of the Heitmann-Radin crystallization theorem (R. C. Heitmann, C. Radin, J. Stat. Phys. 22, 281-287, 1980), which concerns a system of $N$ identical atoms in two dimensions interacting via the idealized pair potential… ▽ More We show that the emerging field of discrete differential geometry can be usefully brought to bear on crystallization problems. In particular, we give a simplified proof of the Heitmann-Radin crystallization theorem (R. C. Heitmann, C. Radin, J. Stat. Phys. 22, 281-287, 1980), which concerns a system of $N$ identical atoms in two dimensions interacting via the idealized pair potential $V(r)=+\infty$ if $r<1$, $-1$ if $r=1$, $0$ if $r>1$. This is done by endowing the bond graph of a general particle configuration with a suitable notion of {\it discrete curvature}, and appealing to a {\it discrete Gauss-Bonnet theorem} (O. Knill, Elem. Math. 67, 1-17, 2012) which, as its continuous cousins, relates the sum/integral of the curvature to topological invariants. This leads to an exact geometric decomposition of the Heitmann-Radin energy into (i) a combinatorial bulk term, (ii) a combinatorial perimeter, (iii) a multiple of the Euler characteristic, and (iv) a natural topological energy contribution due to defects. An analogous exact geometric decomposition is also established for soft potentials such as the Lennard-Jones potential $V(r)=r^{-6}-2r^{-12}$, where two additional contributions arise, (v) elastic energy and (vi) energy due to non-bonded interactions. △ Less

Submitted 29 April, 2016; originally announced May 2016.

Sparse Control of Quantum Systems

Authors: Gero Friesecke, Felix Henneke, Karl Kunisch

Abstract: A new class of cost functionals for optimal control of quantum systems which produces controls which are sparse in frequency and smooth in time is proposed. This is achieved by penalizing a suitable time-frequency representation of the control field, rather than the control field itself, and by employing norms which are of $L^1$ or measure form with respect to frequency but smooth with respect to… ▽ More A new class of cost functionals for optimal control of quantum systems which produces controls which are sparse in frequency and smooth in time is proposed. This is achieved by penalizing a suitable time-frequency representation of the control field, rather than the control field itself, and by employing norms which are of $L^1$ or measure form with respect to frequency but smooth with respect to time. We prove existence of optimal controls for the resulting nonsmooth optimization problem, derive necessary optimality conditions, and rigorously establish the frequency-sparsity of the optimizers. More precisely, we show that the time-frequency representation of the control field, which a priori admits a continuum of frequencies, is supported on only \textit{ finitely many} frequencies. These results cover important systems of physical interest, including (infinite-dimensional) Schrödinger dynamics on multiple potential energy surfaces as arising in laser control of chemical reactions. Numerical simulations confirm that the optimal controls, unlike those obtained with the usual $L^2$ costs, concentrate on just a few frequencies, even in the infinite-dimensional case of laser-controlled chemical reactions. △ Less

Submitted 14 July, 2016; v1 submitted 2 July, 2015; originally announced July 2015.

MSC Class: 81Q93; 49J20; 35Q41

Twisted X-rays: incoming waveforms yielding discrete diffraction patterns for helical structures

Authors: Gero Friesecke, Richard D. James, Dominik Jüstel

Abstract: Conventional X-ray methods use incoming plane waves and result in discrete diffraction patterns when scattered at crystals. Here we find, by a systematic method, incoming waveforms which exhibit discrete diffraction patterns when scattered at helical structures. As examples we present simulated diffraction patterns of carbon nanotubes and tobacco mosaic virus. The new incoming waveforms, which w… ▽ More Conventional X-ray methods use incoming plane waves and result in discrete diffraction patterns when scattered at crystals. Here we find, by a systematic method, incoming waveforms which exhibit discrete diffraction patterns when scattered at helical structures. As examples we present simulated diffraction patterns of carbon nanotubes and tobacco mosaic virus. The new incoming waveforms, which we call twisted waves due to their geometric shape, are found theoretically as closed-form solutions to Maxwell's equations. The theory of the ensuing diffraction patterns is developed in detail. A twisted analogue of the Von Laue condition is seen to hold, with the peak locations encoding the symmetry and the helix parameters, and the peak intensities indicating the electronic structure in the unit cell. If suitable twisted X-ray sources can in the future be realized experimentally, it appears from our mathematical results that they will provide a powerful tool for directly determining the detailed atomic structure of numerous biomolecules and nanostructures with helical symmetries. This would eliminate the need to crystallize those structures or their subunits. △ Less

Submitted 13 June, 2015; originally announced June 2015.

MSC Class: 78A45; 35Q61; 43A25

Pair densities in density functional theory

Authors: Huajie Chen, Gero Friesecke

Abstract: The exact interaction energy of a many-electron system is determined by the electron pair density, which is not well-approximated in standard Kohn-Sham density functional models. Here we study the (complicated but well-defined) exact universal map from density to pair density. We survey how many common functionals, including the most basic version of the LDA (Dirac exchange with no correlation con… ▽ More The exact interaction energy of a many-electron system is determined by the electron pair density, which is not well-approximated in standard Kohn-Sham density functional models. Here we study the (complicated but well-defined) exact universal map from density to pair density. We survey how many common functionals, including the most basic version of the LDA (Dirac exchange with no correlation contribution), arise from particular approximations of this map. We develop an algorithm to compute the map numerically, and apply it to one-parameter families {a*rho(a*x)} of one-dimensional homogeneous and inhomogeneous single-particle densities. We observe that the pair density develops remarkable multiscale patterns which strongly depend on both the particle number and the "width" 1/a of the single-particle density. The simulation results are confirmed by rigorous asymptotic results in the limiting regimes a>>1 and a<<1. For one-dimensional homogeneous systems, we show that the whole spectrum of patterns is reproduced surprisingly well by a simple asymptotics-based ansatz which slowly smoothens out the "strictly correlated" a=0 pair density while slowly turning on the a=infty "exchange" terms as a increases. Our findings lend theoretical support to the celebrated semi-empirical idea [Becke93] to mix in a fractional amount of exchange, albeit not to assuming the mixing to be additive and taking the fraction to be a system independent constant. △ Less

Submitted 6 August, 2015; v1 submitted 25 March, 2015; originally announced March 2015.

Comments: 30 pages

Numerical methods for a Kohn-Sham density functional model based on optimal transport

Authors: Huajie Chen, Gero Friesecke, Christian B. Mendl

Abstract: In this paper, we study numerical discretizations to solve density functional models in the "strictly correlated electrons" (SCE) framework. Unlike previous studies our work is not restricted to radially symmetric densities. In the SCE framework, the exchange-correlation functional encodes the effects of the strong correlation regime by minimizing the pairwise Coulomb repulsion, resulting in an op… ▽ More In this paper, we study numerical discretizations to solve density functional models in the "strictly correlated electrons" (SCE) framework. Unlike previous studies our work is not restricted to radially symmetric densities. In the SCE framework, the exchange-correlation functional encodes the effects of the strong correlation regime by minimizing the pairwise Coulomb repulsion, resulting in an optimal transport problem. We give a mathematical derivation of the self-consistent Kohn-Sham-SCE equations, construct an efficient numerical discretization for this type of problem for N = 2 electrons, and apply it to the H2 molecule in its dissociating limit. Moreover, we prove that the SCE density functional model is correct for the H2 molecule in its dissociating limit. △ Less

Submitted 27 May, 2014; originally announced May 2014.

Comments: 22 pages, 6 figures

Journal ref: J. Chem. Theory Comput. 10, 4360-4368 (2014)

Infinite-body optimal transport with Coulomb Cost

Authors: Codina Cotar, Gero Friesecke, Brendan Pass

Abstract: We introduce and analyze symmetric infinite-body optimal transport (OT) problems with cost function of pair potential form. We show that for a natural class of such costs, the optimizer is given by the independent product measure all of whose factors are given by the one-body marginal. This is in striking contrast to standard finite-body OT problems, in which the optimizers are typically highly co… ▽ More We introduce and analyze symmetric infinite-body optimal transport (OT) problems with cost function of pair potential form. We show that for a natural class of such costs, the optimizer is given by the independent product measure all of whose factors are given by the one-body marginal. This is in striking contrast to standard finite-body OT problems, in which the optimizers are typically highly correlated, as well as to infinite-body OT problems with Gangbo-Swiech cost. Moreover, by adapting a construction from the study of exchangeable processes in probability theory, we prove that the corresponding $N$-body OT problem is well approximated by the infinite-body problem. To our class belongs the Coulomb cost which arises in many-electron quantum mechanics. The optimal cost of the Coulombic N-body OT problem as a function of the one-body marginal density is known in the physics and quantum chemistry literature under the name SCE functional, and arises naturally as the semiclassical limit of the celebrated Hohenberg-Kohn functional. Our results imply that in the inhomogeneous high-density limit (i.e. $N\to\infty$ with arbitrary fixed inhomogeneity profile $ρ/N$), the SCE functional converges to the mean field functional. We also present reformulations of the infinite-body and N-body OT problems as two-body OT problems with representability constraints and give a dual characterization of representable two-body measures which parallels an analogous result by Kummer on quantum representability of two-body density matrices. △ Less

Submitted 27 December, 2013; v1 submitted 24 July, 2013; originally announced July 2013.

Comments: 22 pages, significant revisions

MSC Class: 49S05; 65K99; 81V55; 82B05; 82C70; 92E99; 35Q40

N-density representability and the optimal transport limit of the Hohenberg-Kohn functional

Authors: Gero Friesecke, Christian B. Mendl, Brendan Pass, Codina Cotar, Claudia Klüppelberg

Abstract: We derive and analyze a hierarchy of approximations to the strongly correlated limit of the Hohenberg-Kohn functional. These "density representability approximations" are obtained by first noting that in the strongly correlated limit, N-representability of the pair density reduces to the requirement that the pair density must come from a symmetric N-point density. One then relaxes this requirement… ▽ More We derive and analyze a hierarchy of approximations to the strongly correlated limit of the Hohenberg-Kohn functional. These "density representability approximations" are obtained by first noting that in the strongly correlated limit, N-representability of the pair density reduces to the requirement that the pair density must come from a symmetric N-point density. One then relaxes this requirement to the existence of a representing symmetric k-point density with k < N. The approximate energy can be computed by simulating a fictitious k-electron system. We investigate the approximations by deriving analytically exact results for a 2-site model problem, and by incorporating them into a self-consistent Kohn-Sham calculation for small atoms. We find that the low order representability conditions already capture the main part of the correlations. △ Less

Submitted 2 April, 2013; originally announced April 2013.

Comments: 12 pages

Journal ref: J. Chem. Phys. 139, 164109 (2013)

Cnoidal Waves on Fermi-Pasta-Ulam Lattices

Authors: Gero Friesecke, Alice Mikikits-Leitner

Abstract: We study a chain of infinitely many particles coupled by nonlinear springs, obeying the equations of motion [\ddot{q}_n = V'(q_{n+1}-q_n) - V'(q_n-q_{n-1})] with generic nearest-neighbour potential $V$. We show that this chain carries exact spatially periodic travelling waves whose profile is asymptotic, in a small-amlitude long-wave regime, to the KdV cnoidal waves. The discrete waves have three… ▽ More We study a chain of infinitely many particles coupled by nonlinear springs, obeying the equations of motion [\ddot{q}_n = V'(q_{n+1}-q_n) - V'(q_n-q_{n-1})] with generic nearest-neighbour potential $V$. We show that this chain carries exact spatially periodic travelling waves whose profile is asymptotic, in a small-amlitude long-wave regime, to the KdV cnoidal waves. The discrete waves have three interesting features: (1) being exact travelling waves they keep their shape for infinite time, rather than just up to a timescale of order wavelength$^{-3}$ suggested by formal asymptotic analysis, (2) unlike solitary waves they carry a nonzero amount of energy per particle, (3) analogous behaviour of their KdV continuum counterparts suggests long-time stability properties under nonlinear interaction with each other. Connections with the Fermi-Pasta-Ulam recurrence phenomena are indicated. Proofs involve an adaptation of the renormalization approach of Friesecke and Pego (1999) to a periodic setting and the spectral theory of the periodic Schrödinger operator with KdV cnoidal wave potential. △ Less

Submitted 14 August, 2012; originally announced August 2012.

Comments: 25 pages, 3 figures

MSC Class: 70F; 70H12; 35Q51; 35Q53; 82B28

Density functional theory and optimal transportation with Coulomb cost

Authors: Codina Cotar, Gero Friesecke, Claudia Klüppelberg

Abstract: We present here novel insight into exchange-correlation functionals in density functional theory, based on the viewpoint of optimal transport. We show that in the case of two electrons and in the semiclassical limit, the exact exchange-correlation functional reduces to a very interesting functional of novel form, which depends on an optimal transport map $T$ associated with a given density $ρ$. Si… ▽ More We present here novel insight into exchange-correlation functionals in density functional theory, based on the viewpoint of optimal transport. We show that in the case of two electrons and in the semiclassical limit, the exact exchange-correlation functional reduces to a very interesting functional of novel form, which depends on an optimal transport map $T$ associated with a given density $ρ$. Since the above limit is strongly correlated, the limit functional yields insight into electron correlations. We prove the existence and uniqueness of such an optimal map for any number of electrons and each $ρ$, and determine the map explicitly in the case when $ρ$ is radially symmetric. △ Less

Submitted 4 April, 2011; originally announced April 2011.

Comments: 40 pages

MSC Class: 49S05; 65K99; 81V55; 82B05; 82C70; 92E99; 35Q40

Efficient Algorithm for Asymptotics-Based Configuration-Interaction Methods and Electronic Structure of Transition Metal Atoms

Authors: Christian Mendl, Gero Friesecke

Abstract: Asymptotics-based configuration-interaction (CI) methods [G. Friesecke and B. D. Goddard, Multiscale Model. Simul. 7, 1876 (2009)] are a class of CI methods for atoms which reproduce, at fixed finite subspace dimension, the exact Schrödinger eigenstates in the limit of fixed electron number and large nuclear charge. Here we develop, implement, and apply to 3d transition metal atoms an efficient an… ▽ More Asymptotics-based configuration-interaction (CI) methods [G. Friesecke and B. D. Goddard, Multiscale Model. Simul. 7, 1876 (2009)] are a class of CI methods for atoms which reproduce, at fixed finite subspace dimension, the exact Schrödinger eigenstates in the limit of fixed electron number and large nuclear charge. Here we develop, implement, and apply to 3d transition metal atoms an efficient and accurate algorithm for asymptotics-based CI. Efficiency gains come from exact (symbolic) decomposition of the CI space into irreducible symmetry subspaces at essentially linear computational cost in the number of radial subshells with fixed angular momentum, use of reduced density matrices in order to avoid having to store wavefunctions, and use of Slater-type orbitals (STO's). The required Coulomb integrals for STO's are evaluated in closed form, with the help of Hankel matrices, Fourier analysis, and residue calculus. Applications to 3d transition metal atoms are in good agreement with experimental data. In particular we reproduce the anomalous magnetic moment and orbital filling of Chromium in the otherwise regular series Ca, Sc, Ti, V, Cr. △ Less

Submitted 7 November, 2010; v1 submitted 10 September, 2010; originally announced September 2010.

Comments: 14 pages, 1 figure

Journal ref: J. Chem. Phys. 133, 184101 (2010)

Semiclassical limit of quantum dynamics with rough potentials and well posedness of transport equations with measure initial data

Authors: Luigi Ambrosio, Alessio Figalli, Gero Friesecke, Johannes Giannoulis, Thierry Paul

Abstract: In this paper we study the semiclassical limit of the Schrödinger equation. Under mild regularity assumptions on the potential $U$ which include Born-Oppenheimer potential energy surfaces in molecular dynamics, we establish asymptotic validity of classical dynamics globally in space and time for "almost all" initial data, with respect to an appropriate reference measure on the space of initial dat… ▽ More In this paper we study the semiclassical limit of the Schrödinger equation. Under mild regularity assumptions on the potential $U$ which include Born-Oppenheimer potential energy surfaces in molecular dynamics, we establish asymptotic validity of classical dynamics globally in space and time for "almost all" initial data, with respect to an appropriate reference measure on the space of initial data. In order to achieve this goal we prove existence, uniqueness and stability results for the flow in the space of measures induced by the continuity equation. △ Less

Submitted 28 June, 2010; originally announced June 2010.

Comments: 34 pp

MSC Class: 35Q40; 35R05; 81S30; 35L02

A sharp version of Ehrenfest's theorem for general self-adjoint operators

Authors: Gero Friesecke, Bernd Schmidt

Abstract: We prove the Ehrenfest theorem of quantum mechanics under sharp assumptions on the operators involved. We prove the Ehrenfest theorem of quantum mechanics under sharp assumptions on the operators involved. △ Less

Submitted 17 March, 2010; originally announced March 2010.

Comments: To appear in Proc. R. Soc. A

MSC Class: 81Qxx; 47B25; 47D08

Minimizing atomic configurations of short range pair potentials in two dimensions: crystallization in the Wulff shape

Authors: Yuen Au Yeung, Gero Friesecke, Bernd Schmidt

Abstract: We investigate ground state configurations of atomic systems in two dimensions interacting via short range pair potentials. As the number of particles tends to infinity, we show that low-energy configurations converge to a macroscopic cluster of finite surface area and constant density, the latter being given by the density of atoms per unit volume in the triangular lattice. In the special case… ▽ More We investigate ground state configurations of atomic systems in two dimensions interacting via short range pair potentials. As the number of particles tends to infinity, we show that low-energy configurations converge to a macroscopic cluster of finite surface area and constant density, the latter being given by the density of atoms per unit volume in the triangular lattice. In the special case of the Heitmann-Radin sticky disc potential and exact ground states, we show that the macroscopic cluster has a (unique) Wulff shape. This is done by showing that the atomistic energy, after subtracting off a bulk part and re-scaling, Gamma-converges to a macroscopic anisotropic surface energy. △ Less

Submitted 4 September, 2009; originally announced September 2009.

MSC Class: 70C20; 49-XX; 82B24

Minimum energy configurations of classical charges: Large N asymptotics

Authors: Stephane Capet, Gero Friesecke

Abstract: We study minimum energy configurations of $N$ particles in $\R^3$ of charge -1 (`electrons') in the potential of $M$ particles of charges $Z_α>0$ (`atomic nuclei'). In a suitable large-N limit, we determine the asymptotic electron distribution explicitly, showing in particular that the number of electrons surrounding each nucleus is asymptotic to the nuclear charge ("screening"). The proof proce… ▽ More We study minimum energy configurations of $N$ particles in $\R^3$ of charge -1 (`electrons') in the potential of $M$ particles of charges $Z_α>0$ (`atomic nuclei'). In a suitable large-N limit, we determine the asymptotic electron distribution explicitly, showing in particular that the number of electrons surrounding each nucleus is asymptotic to the nuclear charge ("screening"). The proof proceeds by establishing, via Gamma-convergence, a coarse-grained variational principle for the limit distribution, which can be solved explicitly. △ Less

Submitted 29 July, 2009; originally announced July 2009.

Comments: To appear in Applied Mathematics Research Express

MSC Class: 49-XX; 70C20; 81V55

On the Ehrenfest theorem of quantum mechanics

Authors: Gero Friesecke, Mario Koppen

Abstract: We give a mathematically rigorous derivation of Ehrenfest's equations for the evolution of position and momentum expectation values, under general and natural assumptions which include atomic and molecular Hamiltonians with Coulomb interactions. We give a mathematically rigorous derivation of Ehrenfest's equations for the evolution of position and momentum expectation values, under general and natural assumptions which include atomic and molecular Hamiltonians with Coulomb interactions. △ Less

Submitted 10 July, 2009; originally announced July 2009.

Comments: To appear in J. Math. Phys

MSC Class: 47B25; 47A60; 81S05; 81V55

Mean field approximation in conformation dynamics

Authors: Gero Friesecke, Oliver Junge, Péter Koltai

Abstract: We propose a new approach to the transfer operator based analysis of the conformation dynamics of molecules. It is based on a statistical independence ansatz for the eigenfunctions of the operator related to a partitioning into subsystems. Numerical tests performed on small systems show excellent qualitative agreement between mean field and exact model, at greatly reduced computational cost. We propose a new approach to the transfer operator based analysis of the conformation dynamics of molecules. It is based on a statistical independence ansatz for the eigenfunctions of the operator related to a partitioning into subsystems. Numerical tests performed on small systems show excellent qualitative agreement between mean field and exact model, at greatly reduced computational cost. △ Less

Submitted 10 July, 2009; originally announced July 2009.

MSC Class: 65P99; 37M25; 41A63

Passage from quantum to classical molecular dynamics in the presence of Coulomb interactions

Authors: Luigi Ambrosio, Gero Friesecke, Jannis Giannoulis

Abstract: We present a rigorous derivation of classical molecular dynamics (MD) from quantum molecular dynamics (QMD) that applies to the standard Hamiltonians of molecular physics with Coulomb interactions. The derivation is valid away from possible electronic eigenvalue crossings. We present a rigorous derivation of classical molecular dynamics (MD) from quantum molecular dynamics (QMD) that applies to the standard Hamiltonians of molecular physics with Coulomb interactions. The derivation is valid away from possible electronic eigenvalue crossings. △ Less

Submitted 7 July, 2009; originally announced July 2009.

Comments: 23 pages

MSC Class: 35Q40; 35R05; 81S30; 81V55; 92E20

Asymptotics-based CI models for atoms: properties, exact solution of a minimal model for Li to Ne, and application to atomic spectra

Authors: Gero Friesecke, Benjamin D. Goddard

Abstract: Configuration-Interaction (CI) models are approximations to the electronic Schrödinger equation which are widely used for numerical electronic structure calculations in quantum chemistry. Based on our recent closed-form asymptotic results for the full atomic Schrödinger equation in the limit of fixed electron number and large nuclear charge, we introduce a class of CI models for atoms which repr… ▽ More Configuration-Interaction (CI) models are approximations to the electronic Schrödinger equation which are widely used for numerical electronic structure calculations in quantum chemistry. Based on our recent closed-form asymptotic results for the full atomic Schrödinger equation in the limit of fixed electron number and large nuclear charge, we introduce a class of CI models for atoms which reproduce, at fixed finite model dimension, the correct Schrödinger eigenvalues and eigenstates in this limit. We solve exactly the ensuing minimal model for the second period atoms, Li to Ne. The energy levels and eigenstates are in remarkably good agreement with experimental data (comparable to that of much larger scale numerical simulations in the literature), and facilitate a mathematical understanding of various spectral, chemical and physical properties of small atoms. △ Less

Submitted 8 May, 2009; originally announced May 2009.

Comments: 26 pages, 3 figures, submitted to SIAM Multiscale Model. Sim

MSC Class: 81-xx; 81V45; 81Q05

Explicit large nuclear charge limit of electronic ground states for Li, Be, B, C, N, O, F, Ne and basic aspects of the periodic table

Authors: Gero Friesecke, Benjamin D. Goddard

Abstract: This paper is concerned with the Schrödinger equation for atoms and ions with N=1 to 10 electrons. In the asymptotic limit of large nuclear charge $Z$, we determine explicitly the low-lying energy levels and eigenstates. The asymptotic energies and wavefunctions are in good quantitative agreement with experimental data for positive ions, and in excellent qualitative agreement even for neutral… ▽ More This paper is concerned with the Schrödinger equation for atoms and ions with N=1 to 10 electrons. In the asymptotic limit of large nuclear charge $Z$, we determine explicitly the low-lying energy levels and eigenstates. The asymptotic energies and wavefunctions are in good quantitative agreement with experimental data for positive ions, and in excellent qualitative agreement even for neutral atoms ($Z=N$). In particular, the predicted ground state spin and angular momentum quantum numbers ($^1S$ for He, Be, Ne, $^2S$ for H and Li, $^4S$ for N, $^2P$ for B and F, and $^3P$ for C and O) agree with experiment in every case. The asymptotic Schrödinger ground states agree, up to small corrections, with the semi-empirical hydrogen orbital configurations developed by Bohr, Hund and Slater to explain the periodic table. In rare cases where our results deviate from this picture, such as the ordering of the lowest ${}^1D^o$ and ${}^3S^o$ states of the Carbon isoelectronic sequence, experiment confirms our, not Hund's, predictions. △ Less

Submitted 11 May, 2009; v1 submitted 3 July, 2008; originally announced July 2008.

Comments: 42 pages, 2 figures, submitted to SIAM J. Math. Analysis Corrected typos, added references, mostly to chemistry/spectroscopy literature

MSC Class: 81-xx; 81V45; 81Q05