-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
