* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download some approximation
Path integral formulation wikipedia , lookup
Density functional theory wikipedia , lookup
Scalar field theory wikipedia , lookup
Molecular orbital wikipedia , lookup
Quantum electrodynamics wikipedia , lookup
Erwin Schrödinger wikipedia , lookup
Schrödinger equation wikipedia , lookup
Molecular Hamiltonian wikipedia , lookup
X-ray photoelectron spectroscopy wikipedia , lookup
Particle in a box wikipedia , lookup
Symmetry in quantum mechanics wikipedia , lookup
Relativistic quantum mechanics wikipedia , lookup
Dirac equation wikipedia , lookup
Renormalization group wikipedia , lookup
Matter wave wikipedia , lookup
Wave function wikipedia , lookup
Coupled cluster wikipedia , lookup
Wave–particle duality wikipedia , lookup
Tight binding wikipedia , lookup
Hydrogen atom wikipedia , lookup
Atomic theory wikipedia , lookup
Atomic orbital wikipedia , lookup
Electron configuration wikipedia , lookup
Theoretical and experimental justification for the Schrödinger equation wikipedia , lookup
Universita’ dell’Insubria, Como, Italy Is QMC delivering its early promises? With some reflections on nodes and wave functions Dario Bressanini http://scienze-como.uninsubria.it/bressanini QMC in the Apuan Alps, TTI Vallico di Sotto 2006 30 years of QMC in chemistry 2 The Early promises? Solve the Schrödinger equation exactly without approximation (very strong) Solve the Schrödinger equation with controlled approximations, and converge to the exact solution (strong) Solve the Schrödinger equation with some approximation, and do better than other methods (weak) 3 Good for Helium studies Thousands of theoretical and experimental papers Hˆ n (R) En n (R) have been published on Helium, in its various forms: Atom Small Clusters Droplets Bulk 4 3He 4He m n 3He 4He n 0 1 2 3 4 m Stability Chart 5 6 7 8 9 10 11 0 Bound L=0 1 Unbound 2 3 Unknown 4 L=1 S=1/2 5 L=1 S=1 Terra Incognita Bound 32 3He 4He 2 2 L=0 S=0 3He 4He 2 4 L=1 S=1 3He 4He 3 8 3He 4He 3 4 L=0 S=1/2 L=1 S=1/2 5 Good for vibrational problems 6 For electronic structure? 7 He2+: the basis set The ROHF wave function: RHF (R) ( g (1) u (3) g (3) u (1)) g (2) 1s E = -4.9905(2) hartree 1s1s’2s3s E = -4.9943(2) hartree EN.R.L = -4.9945 hartree 8 He2+: MO’s E(RHF) = -4.9943(2) hartree E(CAS) = -4.9925(2) hartree E(CAS-NO) = -4.9916(2) hartree E(CI-NO) = -4.9917(2) hartree EN.R.L = -4.9945 hartree J. Chem. Phys. 123, 204109 (2005) 9 He2+: CSF’s 1s1s’2s3s2p2p’ E(1 csf) = -4.9932(2) hartree + 1 u11 ux2 1 u11 uy2 E(2 csf) = -4.9946(2) hartree 1s1s’2s3s E(1 csf) = -4.9943(2) hartree + 1 1g 1 u1 2 1g E(2 csf) = -4.9925(2) hartree 10 A tentative recipe Use a large Slater basis But not too large Try to reach HF nodes convergence Orbitals from CAS seem better than HF, or NO Not worth optimizing MOs, if the basis is large enough Only few configurations seem to improve the FN energy Use the right determinants... ...different Angular Momentum CSFs And not the bad ones ...types already included iˆ34 (1s 2 2s 2 ) 1s 2 2s 2 iˆ34 (1s 2 2 p 2 ) 1s 2 2 p 2 iˆ34 (1s 2 3s 2 ) 1s 2 3s 2 11 Dimers 12 Is QMC competitive ? 13 Carbon Atom: Energy CSFs Det. Energy 1 1s22s2 2p2 1 -37.8303(4) 2 + 1s2 2p4 2 -37.8342(4) 5 + 1s2 2s 2p23d 18 -37.8399(1) 83 1s2 + 4 electrons in 2s 2p 3s 3p 3d shell 422 -37.8387(4) adding f orbitals 7 (4f2 + 2p34f) 34 -37.8407(1) R12-MR-CI Exact (estimated) -37.845179 -37.8450 14 Ne Atom Drummond et al. -128.9237(2) DMC Drummond et al. -128.9290(2) DMC backflow Gdanitz et al. -128.93701 Exact (estimated) -128.9376 R12-MR-CI 15 What to do? Should we be happy with the “cancellation of error”, and pursue it? If so: Is there the risk, in this case, that QMC becomes Yet Another Computational Tool, and not particularly efficient nor reliable? VMC seems to be much more robust, easy to “advertise” If not, and pursue orthodox QMC (no pseudopotentials, no cancellation of errors, …) , can we avoid the curse of T ? 16 The curse of the T QMC currently relies on T(R) Walter Kohn in its Nobel lecture (R.M.P. 71, 1253 (1999)) “discredited” the wave function as a non legitimate concept when N (number of electrons) is large M p3N 3 p 10 p = parameters per variable For M=109 and p=3 N=6 M = total parameters needed The Exponential Wall 17 Convergence to the exact We must include the correct analytical structure Cusps: r12 (r12 0) 1 2 (r 0) 1 Zr QMC OK 3-body coalescence and logarithmic terms: Tails: QMC OK Often neglected 18 Asymptotic behavior of Example with 2-e atoms 1 2 1 1 1 2 H (1 2 ) Z ( ) 2 r1 r2 r12 1 2 Z Z 1 2 H (1 2 ) 2 r1 r2 r2 r2 0 (r1 )r2 0 (r1 ) ( Z 1) / 1 r2 e 2 EI is the solution of the 1 electron problem 19 Asymptotic behavior of The usual form (r1 ) (r2 ) J (r12 ) does not satisfy the asymptotic conditions (r2 ) 0 (r1 ) (r2 ) (r1 ) (r1 ) 0 (r2 ) A closed shell determinant has the wrong structure ( (r1 ) (r2 ) (r2 ) (r1 )) J (r12 ) 20 Asymptotic behavior of r1 In general N r a1 (1 c r 1 O(r 2 ))e r1 / b1Y m1 (r ) N 1 (2,...N ) 0 1 1 1 1 l1 1 0 Recursively, fixing the cusps, and setting the right symmetry… U ˆ A( f1 (1) f 2 (2)... f N ( N ) N )e Each electron has its own orbital, Multideterminant (GVB) Structure! Take 2N coupled electrons 2 N (1 2 1 2 )( 3 4 3 4 )... 2N determinants. Again an exponential wall 21 PsH – Positronium Hydride A wave function with the correct asymptotic conditions: (1,2, p) (1 Pˆ12 )( H ) f (rp )( Ps) g (r1 p ) Bressanini and Morosi: JCP 119, 7037 (2003) 22 We need new, and different, ideas Different representations Different dimensions Different equations Different potential Radically different algorithms Different something Research is the process of going up alleys to see if they are blind. Marston Bates 23 Just an example Try a different representation Is some QMC in the momentum representation Possible ? And if so, is it: Practical ? Useful/Advantageus ? Eventually better than plain vanilla QMC ? Better suited for some problems/systems ? Less plagued by the usual problems ? 24 The other half of Quantum mechanics ( p) Fˆ ( (r )) The Schrodinger equation in the momentum representation 2 p (E ) ( p) (2 ) 1/ 2 Vˆ ( p p) ( p)dp 2m Some QMC (GFMC) should be possible, given the iterative form Or write the imaginary time propagator in momentum space 25 Better? For coulomb systems: 1 2 ˆ ˆ V ( p) F ( ) rij pi p j 2 There are NO cusps in momentum space. convergence should be faster Hydrogenic orbitals are simple rational functions (8Z 5 )1/ 2 1s ( p) 2 2 2 (p Z ) 26 Another (failed so far) example Different dimensionality: Hypernodes Given H (R) = E (R) build H H (R1 ) H (R 2 ) 6 N dimensions T B (R1 )F (R 2 ) F (R1 )B (R 2 ) •Use the Hypernode of T • The hope was that it could be better than Fixed Node 27 Hypernodes The intuitive idea was that the system could correct the wrong fixed nodes, by exploring regions where T ( R) 0 Fixed Node Trial node Fixed HyperNode Trial node Exact node Exact node The energy is still an upper bound Unfortunately, it seems to recover exactly the FN energy 28 A little intermezzo Why is QMC not used by chemists? DMC Top 10 reasons 12. We need forces, dummy! 11. Try getting O2 to bind at the variational level. 10. How many graduate students lives have been lost optimizing wavefunctions? 9. It is hard to get 0.01 eV accuracy by throwing dice. 8. Most chemical problems have more than 50 electrons. 7. Who thought LDA or HF pseudopotentials would be any good? 6. How many spectra have you seen computed by QMC? 5. QMC is only exact for energies. 4. Multiple determinants. We can't live with them, we can't live without them. 3. After all, electrons are fermions. 2. Electrons move. 1. QMC isn't included in Gaussian 90. Who programs anyway? http://web.archive.org/web/20021019141714/archive.ncsa.uiuc.e du/Apps/CMP/topten/topten.html 30 Chemistry and Mathematics "We are perhaps not far removed from the time, when we shall be able to submit the bulk of chemical phenomena to calculation” Joseph Louis Gay-Lussac - 1808 “The underlying physical laws necessary for the mathematical theory of a large part of physics and the whole of chemistry are thus completely known, and the difficulty is only that the exact application of these equations leads to equations much too complicated to be soluble” P.A.M. Dirac - 1929 31 Nature and Mathematics “il Grande libro della Natura e’ scritto nel linguaggio della matematica, e non possiamo capirla se prima non ne capiamo i simboli“ Galileo Galilei Every attempt to employ mathematical methods in the study of chemical questions must be considered profoundly irrational and contrary to the spirit of chemistry… If mathematical analysis should ever hold a prominent place in chemistry – an aberration which is happily almost impossible – it would occasion a rapid and widespread degeneration of that science. Auguste Compte 32 A Quantum Chemistry Chart Orthodox QMC J.Pople The more accurate the calculations became, the more the concepts tended to vanish into thin air (Robert Mulliken) 33 Chemical concepts Molecular structure and geometry Chemical bond Ionic-Covalent Singe, Double, Triple d NOT DIRECTLY OBSERVABLES Electronegativity ILL-DEFINED CONCEPTS Oxidation number Atomic charge Lone pairs Aromaticity d d d O C d O 34 Nodes Should we concentrate on nodes? Conjectures on nodes have higher symmetry than itself resemble simple functions the ground state has only 2 nodal volumes HF nodes are quite good: they “naturally” have these properties Checked on small systems: L, Be, He2+. See also Mitas 35 Avoided crossings Be e- gas Stadium 36 Nodal topology The conjecture (which I believe is true) claims that there are only two nodal volumes in the fermion ground state See, among others: Ceperley J.Stat.Phys 63, 1237 (1991) Bressanini and coworkers. JCP 97, 9200 (1992) Bressanini, Ceperley, Reynolds, “What do we know about wave function nodes?”, in Recent Advances in Quantum Monte Carlo Methods II, ed. S. Rothstein, World Scientfic (2001) Mitas and coworkers PRB 72, 075131 (2005) Mitas PRL 96, 240402 (2006) 37 Nodal Regions Nodal Regions HF CI Li Be B C Ne Li2 2 4 4 4 4 4 2 2 2 2 2 2 38 Avoided nodal crossing At a nodal crossing, and are zero Avoided nodal crossing is the rule, not the exception Not (yet) a proof... 0 0 1 eq. 3N 1 with 3N variables 3N eqs. If HF has 4 nodes HF has 2 nodes, with a proper 39 He atom with noninteracting electrons 1 3s5s S 40 41 Casual similarity ? 1s2s 1S Helium First unstable antisymmetric stretch orbit of semiclassical linear helium along with the symmetric Wannier orbit r1 = r2 and various equipotential lines 42 Casual similarity ? Superimposed Hylleraas node 43 How to directly improve nodes? Fit to a functional form and optimize the parameters (maybe for small systems) IF the topology is correct, use a coordinate transformation R T (R) 44 Coordinate transformation Take a wave function with the correct nodal topology HF Change the nodes with a coordinate transformation (Linear? Feynman’s backflow ?) preserving the topology R T (R) Miller-Good transformations 45 Feynman on simulating nature Nature isn’t classical, dammit, and if you want to make a simulation of Nature, you’d better make it quantum mechanical, and by golly it’s a wonderful problem, because it doesn’t look so easy” Richard Feynman 1981 46 A song... He deals the cards to find the answers the secret geometry of chance the hidden law of a probable outcome the numbers lead a dance Sting: Shape of my heart 47 Think Different! 48