1: \documentclass[twocolumn,showpacs,preprintnumbers,amsmath,amssymb]{revtex4}
2:
3: %\documentclass[preprint,showpacs,preprintnumbers,amsmath,amssymb]{revtex4}
4: % Some other (several out of many) possibilities
5: %\documentclass[preprint,aps]{revtex4}
6: %\documentclass[preprint,aps,draft]{revtex4}
7: %\documentclass[prb]{revtex4}% Physical Review B
8:
9: \usepackage{graphicx}% Include figure files
10: \usepackage{dcolumn}% Align table columns on decimal point
11: \usepackage{bm}% Bold math
12: \usepackage{amsmath}
13: \usepackage{SIunits} % For nice angstr\"oms etc.
14: %\nofiles
15:
16: \begin{document}
17:
18: %\preprint{cond-mat/}
19:
20: \title{Robust \emph{ab initio} calculation of condensed matter: transparent
21: convergence through semicardinal multiresolution analysis}
22:
23: \author{I.P. Daykov}
24: %\homepage{http://www.physics.cornell.edu/~daykov}
25: %\affiliation{Department of Physics, Cornell University, Ithaca, NY 14853}
26: \affiliation{Laboratory of Atomic and Solid State Physics, Cornell University, Ithaca, NY 14853}
27: %\email{daykov@physics.cornell.edu}
28:
29: \author{T.D. Engeness}
30: \affiliation{Department of Physics, Massachusetts Institute of Technology, Cambridge, MA 02139}
31: %\email{torkel@mit.edu}
32:
33: \author{T.A. Arias}
34: %\homepage{http://www.ccmr.cornell.edu/~muchomas}
35: %\affiliation{Department of Physics, Cornell University, Ithaca, NY 14853{}}
36: \affiliation{Laboratory of Atomic and Solid State Physics, Cornell University, Ithaca, NY 14853}
37: %\email{muchomas@physics.cornell.edu}
38:
39: \date{DRAFT: \today}
40:
41: %
42: % Symbol over-count: 7 per \emph{} X 1 plus 2 for `' X 1 = 9
43: %
44: \begin{abstract}
45: We present the first wavelet-based all-electron density-functional
46: calculations to include gradient corrections and the first in a solid.
47: Direct comparison shows this approach to be unique in providing
48: systematic ``transparent'' convergence, convergence with \emph{a
49: priori} prediction of errors, to beyond chemical (millihartree)
50: accuracy. The method is ideal for exploration of materials under novel
51: conditions where there is little experience with how traditional
52: methods perform and for the development and use of chemically accurate
53: density functionals, which demand reliable access to such precision.
54: \end{abstract}
55:
56: \pacs{71.15.Ap, 71.15.Mb, 71.15.Nc}
57:
58: \keywords{wavelets,multiresolution analysis, \emph{ab initio},density
59: functional theory,electronic structure,chemical accuracy,MgO}
60:
61: \maketitle
62:
63: Over the last several decades, the \emph{ab initio} density-functional
64: approach, which replaces the many-body wave function with a set of
65: single-particle ``Kohn-Sham'' orbitals moving in an effective
66: potential\cite{KS}, has opened to first-principles study a diverse
67: array of condensed matter phenomena ranging from plasticity, diffusion
68: and surface reconstruction to melting and chemical
69: reactions\cite{bible}. While density-functional theory is exact in
70: principle, the true form of the effective potential as a functional of
71: the orbitals is unknown. Current research is pushing available
72: approximations to this functional toward \emph{chemical
73: accuracy}\cite{refs5-6fromBurke}, typically defined as predicting
74: bond-breaking energies to 1~kcal/mol = 1.6~millihartree. The prime
75: motivation for this precision is the ability to predict rates of
76: microscopic processes at room temperature, where the relevant energy
77: scale is $k_{\mathrm B} T\approx$~1~millihartree.
78:
79: Unfortunately, current feasible representations for the Kohn-Sham
80: orbitals, such as the plane-wave pseudopotential approach\cite{bible}
81: or the atomic sphere methods\cite{lapwlmto}, are not easily improved
82: systematically to millihartree accuracy. For instance, although
83: plane-wave bases converge systematically with basis size,
84: pseudopotential calculations require significant experience in the
85: construction of reliable potentials\cite{bible}. And, although atomic
86: sphere methods use the Coulomb potential of the nuclei directly, they
87: remain also an art involving many parameters and requiring significant
88: expertise to ensure millihartree accuracy consistently\cite{lapwbook}.
89: As testimony to these difficulties, it is not uncommon to find in the
90: literature disagreements over the predictions of density-functional
91: theory.
92:
93: To illustrate this, Table~\ref{tbl:results} presents the lattice
94: constant, cohesive energy and bulk modulus of a very simple solid, MgO
95: in its rock-salt structure, both as measured in
96: experiments\cite{crc,Ecoh-nscatt,Ecoh-interf} \emph{and} and as
97: calculated within the local spin-density approximation (LSDA) when
98: using various representations for the Kohn-Sham
99: orbitals\cite{taurian,schromberger,mehl,cohen84,cappellini}. No two
100: methods in the table agree consistently on the predictions of LSDA.
101: For each property, the spread in predictions is on the order of the
102: discrepancy from the experiment. Without direct estimation of the
103: errors, it is difficult to judge how much of each discrepancy is
104: inherent in LSDA or due to biases built into the different
105: representations. Hence, the use of existing methods is questionable
106: when exploring materials under novel conditions where there is little
107: experience with how such methods perform, as in the study of materials
108: at geological pressures under which atomic cores begin to overlap.
109: (There is recent interest in \emph{ab initio} study of MgO under such
110: conditions\cite{science}.) Finally, lack of consistent access to
111: millihartree precision hampers development and eventual use of
112: chemically accurate functionals.
113:
114: \begin{table}
115: \begin{tabular}{r|lcc}
116: & a [$\angstrom$] & E$_{\mathrm coh}$ [eV] & B [\mega bar]\\\hline\hline
117: Experiment\cite{crc,Ecoh-nscatt,Ecoh-interf} & 4.21 & 10.33 & 1.55 -- 1.62\\ \hline
118: LMTO\cite{taurian} & 4.09 & 10.67 & 1.71 \\
119: FP-LMTO\cite{schromberger}& 4.16 & & \\
120: FP-LAPW\cite{mehl}& 4.167 & & 1.72 \\
121: pseudopotential\cite{cohen84} & 4.191 & $\;\;9.96 (+0.5)$ & 1.46\\
122: pseudopotential\cite{cappellini} & 4.125 & 11.80 & 1.56
123: \end{tabular}
124: \caption{Structural properties of MgO
125: }
126: \label{tbl:results}
127: \end{table}
128:
129: The purpose of this letter is to demonstrate for the first time that a
130: new general representation, a wavelet-like multiresolution analysis,
131: provides for solid-state electronic structure calculations an
132: unprecedented level of precision and a new capability for
133: \emph{transparent convergence}, systematic convergence with an
134: extremely simple and predictable scaling for the errors. We also
135: demonstrate the first wavelet calculations to employ generalized
136: gradient approximations (GGAs). We find GGAs to fit seamlessly within
137: our approach, without special concerns such as the
138: discontinuities at the sphere boundaries which arise in the atomic
139: sphere methods\cite{singh91}.
140:
141: To date, the application of multiresolution analysis to \emph{ab
142: initio} calculations has been limited solely to very simple systems,
143: such as single-electron atoms\cite{prl}, the diatomic hydrogen
144: molecule\cite{tymczak}, diatomic oxygen using
145: pseudopotentials\cite{chou}, purely electrostatic problems without
146: electronic structure\cite{goedecker}, or all-electron calculations of
147: atoms\cite{mgras}. Only recently have all-electron wavelet
148: calculations of small molecules appeared in the
149: literature\cite{cho,torkel_molecules}. Here, new
150: techniques\cite{ross,rmp} enable us to present the first such
151: calculations in solids and the first to include gradient corrected
152: density functionals.
153:
154: \emph{Multiresolution analysis ---} A multiresolution analysis
155: consists of a basis set of spatially localized functions which
156: describe fluctuations on a hierarchy of length scales, each separated
157: by a factor of two, with the basis functions representing each of
158: these levels of resolution organized on simple rectilinear grids.
159: (Ref.~\cite{rmp} provides a detailed review.) The central, nontrivial
160: mathematical result of multiresolution analysis is that, with
161: appropriately chosen basis functions, this multilevel description is
162: mathematically equivalent to a uniform grid of basis functions on the
163: finest level of resolution\cite{Mallat,Meyer}. This key result allows
164: for \emph{a priori} knowledge of convergence. In particular, the use
165: of third-order interpolating basis functions in the present work
166: implies that all errors scale as the fourth power of the spacing on
167: the finest level, a factor of sixteen for each additional level of
168: resolution.
169:
170: The superiority of the multiresolution analysis over the uniform
171: representation comes from the unique way in which the analysis
172: represents information. Because fine-scale coefficients carry
173: information only about high spatial frequencies, they drop rapidly to
174: zero with distance away from the nuclei\cite{cho,rmp}. Thus,
175: \emph{restriction} of the basis, elimination of functions from finer
176: levels far from the nuclei, has controllably negligible effect on the
177: outcome of the calculation. In practice, sufficient functions can be
178: restricted from the basis so that the basis size and workload grow
179: linearly with the number of levels of resolution, making convergence
180: exponential with basis size\cite{cho,mgras}.
181:
182: The primary reason for the limitation of wavelet calculations to very
183: simple systems in the past has been the lack of efficient algorithms
184: suited to the solution of non-linear partial differential equations.
185: We recently introduced new algorithms\cite{ross,rmp} which are faster
186: than the approaches used in the older wavelet electronic-structure
187: works by some three to four orders of magnitude. With these methods,
188: all-electron calculations now require an effort of the same order of
189: magnitude as their pseudopotential
190: counterparts\cite{torkel_molecules}, opening the possibility of
191: all-electron wavelet calculations of non-trivial systems.
192:
193: Given a multiresolution representation, our density-functional
194: calculations proceed by straightforward expansion of the Kohn-Sham
195: Lagrangian\cite{rmp,dftpp} or, equivalently, energy
196: functional\cite{KS}, employing nuclear potentials constructed as
197: described in \cite{torkel_molecules} and employing either the Vosko,
198: Wilk and Nussair parameterization (VWN) of
199: LSDA\cite{lsda-vwn,lsda-vwn2} or the Perdew, Burke and Ernzerhof
200: parameterization (PBE96) of GGA\cite{PBE96}. The calculations then
201: locate the stationary point of the functional using standard
202: preconditioned conjugate gradient methods with analytic continuation
203: as in \cite{analcontprl} to maintain the orthonormality constraints
204: among the Kohn-Sham orbitals.
205:
206: Refs.~\cite{rmp,torkel_molecules} give the full details of our
207: implementation, with the exception of four extensions which proved
208: critical in carrying out calculations in solids to high precision: (1)
209: treatment of boundary conditions for Bloch states, (2) symmetrization
210: of the electron density, (3) expansion of the electron density on
211: higher resolution grids, and (4) the extension of our approach to
212: include gradient corrections to the exchange-correlation energy.
213:
214: (1) In a finite multiresolution basis, the common practice of
215: expanding the periodic parts $u_{nk}(r)$, rather than the full Bloch
216: orbitals $\psi_{nk}(r)=e^{ikr} u_{nk}(r)$, does not ensure
217: \emph{extensivity}, that decreasing cell size while correspondingly
218: increasing Brillouin-zone sampling results in identical total
219: energies. However, because wavelet bases share the translational
220: symmetries of the lattice, their expansion coefficients satisfy a
221: discrete Bloch's theorem, $c_{x+R}=e^{ikR} c_x$, where $c_x$ and $R$
222: are, respectively, the expansion coefficient for the basis function
223: centered at $x$ and any lattice vector. We thus implement Bloch
224: states by storing the coefficients $c_x$ for each orbital $\psi_{nk}$
225: in a single representative cell and producing all needed coefficients
226: $c_{x+R}$ by multiplying the corresponding coefficient $c_x$ by
227: $e^{ikR}$ (``twisted boundary conditions'').
228:
229: \def\cI{{\mathcal I}}
230: \def\cJ{{\mathcal J}}
231: \def\cO{{\mathcal O}}
232: \def\cD{{\mathcal D}}
233:
234: (2) For k-point sampling, we use the scheme of Monkhorst and Pack
235: \cite{monkhpack} with symmetry folding of the Brillioun zone. For
236: this folding to be exact, the symmetrized electron density must be
237: expandable in a multiresolution basis respecting the symmetries of the
238: crystal. Accordingly, we symmetrize the density with the operator $s
239: \equiv \cI P \cJ S \cI P \cJ$, composed from the usual real-space
240: symmetrization operator $S$, a projector onto basis functions which
241: have all symmetry partners $P$, and the forward $\cI$ and inverse
242: $\cJ$ wavelet transforms of \cite{rmp}. Moreover, differentiation of
243: the total energy shows that the self-consistent potential requires a
244: further symmetrization with the operator $s^\dagger$, a different
245: operator from $s$ because $\cJ \ne \cI^\dagger$ for non-orthogonal bases.
246:
247:
248: (3) In our older approach, which samples real-space quantities only at
249: the centers of basis functions\cite{torkel_molecules}, errors in
250: approximate evaluation of the total energy dominate errors from
251: incomplete representation of the orbitals. Accordingly, we now save
252: considerable computational effort by expanding the orbitals in a
253: basis of exactly half the spatial resolution of that representing the
254: other quantities. This proves critical to the present calculations
255: and requires the introduction of new transform operators to be
256: described in depth in a forthcoming publication.
257:
258: (4) Gradient corrections implement simply and naturally within our
259: framework. Using the notation established in \cite{rmp},
260: the exchange-correlation energy
261: $$
262: E_{xc}=\int d^3x\,\, n(x) \epsilon_{xc} \left(\partial_{x_1}
263: n(x),\partial_{x_2} n(x),\partial_{x_3} n(x),n(x) \right)
264: $$
265: becomes
266: \begin{equation} \label{eq:ExcGGA}
267: E_{xc}=\left(\cJ n\right)^\dagger \cO \cJ \epsilon_{xc}(\cD_1 \cJ
268: n,\cD_2 \cJ n,\cD_3 \cJ n,n),
269: \end{equation}
270: where $n$ is a vector of values of the electron density at sampling
271: points at the centers of the basis functions, the $\cD_i$ are matrices
272: of values of the $\partial_{x_i}$ derivative of each basis function at
273: each such sample point, and $\cO$ is the matrix of overlaps among
274: basis functions. The exchange-correlation potential then follows
275: directly by differentiating (\ref{eq:ExcGGA}) with respect to $n$,
276: which introduces no new operators other than the Hermitian conjugates
277: of the $\cD_i$.
278:
279: \emph{Transparent convergence ---} To illustrate
280: the feasibility of larger calculations in complex systems, we study an
281: eight atom cubic supercell of MgO. Without pseudizing or treating
282: differently the core states or core regions, our results converge
283: directly to the true LSDA/GGA predictions as a function of only three
284: parameters: number of iterations in the self-consistent solution of
285: the Kohn-Sham equations, the number of k-points in the sampling of the
286: Brillouin zone, and the size of the multiresolution basis. The
287: remaining paragraphs of this section address these three parameters
288: one by one.
289:
290: Despite the broad range of length scales in the calculation, the
291: convergence of conjugate-gradient minimization is extremely good (0.12
292: digits/iteration), even when compared to that of plane-wave
293: pseudopotential calculations. As \cite{rmp,torkel_beyond} discuss,
294: this results from the use of our specific non-orthogonal basis with a
295: simple diagonal preconditioner. This approach achieves millihartree
296: precision (corresponding to six significant figures) within just forty
297: iterations of starting from randomized atomic wave functions. We
298: typically ran eighty iterations.
299:
300: Exploring convergence with respect to Brillioun zone sampling (with a
301: multiresolution basis somewhat smaller than that which the
302: calculations below employ) we find that that eight k-points, which
303: reduce to one special point at $[0.25\, 0.25\, 0.25]$ in the
304: irreducible wedge, suffice to converge the energy to 0.3 millihartree
305: per chemical unit, better than chemical accuracy.
306:
307: A key, novel result of this work is the simple form of the convergence
308: to the full all-electron result with increasing basis set and the high
309: precisions which this allows us to reach. Figure~\ref{fig:gridconv}
310: shows for both LSDA and GGA the total energy per MgO chemical unit as
311: a function of the fourth power of the spacing on the finest level for
312: the multiresolution grids in Table~\ref{tbl:MgOgridstruct} when
313: truncated at four, five and six levels of refinement. The results
314: demonstrate that the basis convergence of GGA is almost identical that
315: that of LDA, with no adverse effects from the presence of second
316: derivatives of the density in the exchange-correlation potential. The
317: data clearly exhibit the \emph{a priori} expected quartic convergence,
318: thus demonstrating that the restriction of the basis has negligible
319: effect and that the calculation has entered the asymptotic convergence
320: regime where there are no hidden convergence ``shoulders''. The
321: quality of the linear fit empowers extrapolation to infinite
322: resolution (stars in the figure insets) with an error of only
323: $\sim$14~\emph{micro}hartree, far below the tolerances described for the most
324: accurate of the standard approaches\cite{mehl}. We also see that,
325: even without extrapolation, six levels of refinement suffice to give
326: the energy to within 0.5 millihartree per chemical unit. Thus, the
327: present approach gives simple, transparent knowledge of the precision
328: of the calculation at any stage. We believe the simplicity of the
329: convergence of multiresolution analysis to the all-electron result in
330: a practical calculation to be unique in the field of electronic
331: structure.
332:
333: \begin{figure}
334: \begin{center}
335: \scalebox{0.32}{\includegraphics{gridconv3.eps}}
336: \end{center}
337: \caption{Convergence of total energy per MgO chemical unit with basis
338: size: LSDA (left panel), GGA (right panel). Insets are comparable in
339: size to square symbols in main plots.}
340: \label{fig:gridconv}
341: \end{figure}
342:
343: \begin{table}
344: \begin{center}
345: \vspace{0.1cm}
346: \begin{tabular}{c||c|c}
347: Level & \multicolumn{2}{c}{${N_x,N_y,N_z}$} \\ \hline \hline
348: 0 & \multicolumn{2}{c}{44, 44, 44} \\\hline \hline
349: & Mg & O \\\hline \hline
350: 1 &\ 24, 24, 24 \ & \ 24, 24, 24 \ \\\hline
351: 2 &24, 24, 24 & 24, 24, 24 \\\hline
352: 3 &24, 24, 24 & 28, 28, 28 \\\hline
353: 4 &28, 28, 28 & 28, 28, 28 \\\hline
354: 5 &32, 32, 32 & 32, 32, 32
355: \end{tabular}
356: \end{center}
357: \caption{Restriction employed in the present work:
358: dimension (${N_x,N_y,N_z}$) of the cubic grids of basis functions
359: on the top coarse periodic level (0), and lower levels (1-5) centered
360: on magnesium and oxygen nuclei.}
361: \label{tbl:MgOgridstruct}
362: \end{table}
363:
364: \emph{Results ---} Table~\ref{tbl:results-new} summarizes the
365: predictions of the LSDA-VWN and GGA-PBE96 parameterizations of
366: density-functional theory, when computed with one special k-point and the
367: six-level restriction of the multiresolution analysis from
368: Table~\ref{tbl:MgOgridstruct}, which the discussion above establishes
369: to give millihartree precision. Note that, to allow direct comparison
370: with the values available in the literature, the table lists the value
371: of the binding energy at the {\em experimental} lattice constant.
372: Comparison of Table~\ref{tbl:results} with Table~\ref{tbl:results-new}
373: shows that, of the traditional methods, only FP-LAPW consistently
374: reproduces the fully converged LSDA results to chemical accuracy.
375: Further, it is now possible to make a definitive determination of the
376: relative transferability among pseudopotentials. Finally, we can now
377: judge unambiguously the predictions of LSDA and GGA for MgO. As
378: generally the case for LSDA, the lattice constant is within a few
379: percent (-1.5\%) of the experiment, the system is slightly over bound
380: (+14\%), and the bulk modulus is in error by several percent (5-10\%,
381: depending upon to which experiment we compare). For GGA relative to
382: LSDA, we find the typical expansion of the lattice constant,
383: correction of the over-binding (when including atomic
384: spin-polarization energies) and decrease in the bulk modulus. For
385: MgO, GGA improves these results dramatically.
386:
387:
388: \begin{table}
389: \begin{tabular}{r|lll}
390: & a [$\angstrom$] & E$_{\mathrm coh}$ [eV] & B [\mega bar]\\\hline\hline
391: LSDA & 4.161$\pm$0.003 & 11.80$\pm$0.03& 1.71$\pm$0.03\\
392: GGA & 4.221$\pm$0.004 & 11.90$\pm$0.03& 1.64$\pm$0.03\\
393: \multicolumn{2}{c}{\ } & \multicolumn{1}{c}{10.4$^\dagger$} & \\
394: \end{tabular}\\
395: $^\dagger$Including estimate for spin-polarization energy of
396: atomic oxygen based on LSDA/LDA difference of 1.5~eV.
397: \caption{Multiresolution analysis calculation of structural properties
398: of MgO within LSDA and GGA.}
399: \label{tbl:results-new}
400: \end{table}
401:
402:
403: \emph{Conclusions ---} We report the first solid-state all-electron
404: calculations within a wavelet-like multiresolution analysis and the
405: first multiresolution calculations to include gradient corrections.
406: The results give the first \emph{independent} verification that, of
407: the traditional methods, FP-LAPW is by far the most accurate and gives
408: the first unambiguous demonstration that GGA outperforms LSDA for MgO.
409: We also demonstrate multiresolution analysis to be unique among
410: electronic-structure representations in exhibiting extremely simple
411: and predictable convergence to far beyond millihartree accuracy. This
412: approach, therefore, is ideal for novel problems such as the study of
413: the impact of core polarization effects on electron energy loss and
414: X-ray absorption spectra and the investigation of materials under
415: geological pressures, applications where the use of the traditional,
416: less systematic approaches remains more an art than a science.
417:
418: \begin{acknowledgments}
419: This work supported in part by the NSF Information Technology
420: Research program (Award No. 0085969) and in part by the US DOE ASCI
421: ASAP Level~2 program (Contract No. B347887). TDE would like to
422: thank the Research Council of Norway. IPD would like to acknowledge
423: support from the Cornell Department of Physics. Computational
424: support by the Cornell Center for Materials Research
425: supported under NSF DMR-9632275.
426: \end{acknowledgments}
427:
428: %\appendix
429: %\section{Appendixes}
430:
431: \bibliography{prl}% Produces the bibliography via BibTeX.
432:
433: \end{document}
434: