Microscopic Geometry Characterizes Structure/Potential-Energy Correspondence in a Thermodynamic System
Koretaka Yuge

TL;DR
This paper introduces a microscopic geometric measure called 'harmonicity' to characterize the stable and unique correspondence between structure and potential energy landscape in classical systems, advancing the understanding of property-PEL relationships.
Contribution
It proposes a new quantity, harmonicity, based on microscopic geometry, to determine when structures have a stable, unique PEL correspondence without thermodynamic data.
Findings
Harmonicity characterizes structure-PEL correspondence stability.
The approach applies to exactly solvable classical systems.
It enables constructing reliable PEL with known predictive uncertainty.
Abstract
Potential energy landscape (PEL) is essential to determine phase stability, reaction path, and other important physical as well as chemical properties. Whereas given PEL can reasonably determine the properties in thermodynamically equilibrium state, it is generally unclear whether a set of known property can uniquely and/or stably determines PEL, i.e., understandings of property/PEL correspondence is basically unidirectional in the current statistical mechanics. Here we make significant advance toward bidirectional bridging of this gap for classical discrete systems under many-body interactions. Our idea is to focus on characteristic microscopic geometry in configuration space for an exactly solvable system, resulting in a new, important quantity of "harmonicity in the structural degree of freedom". This quantity reasonablly characterizes which structures in equilibrium state have…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Microscopic Geometry Characterizes Structure/Potential-Energy Correspondence in a Thermodynamic System
Koretaka Yuge
Department of Materials Science and Engineering, Kyoto University, Sakyo, Kyoto 606-8501, Japan
Abstract
Potential energy landscape (PEL) is essential to determine phase stability, reaction path, and other important physical as well as chemical properties. Whereas given PEL can reasonably determine the properties in thermodynamically equilibrium state, it is generally unclear whether a set of known property can uniquely and/or stably determines PEL, i.e., understandings of property/PEL correspondence is basically unidirectional in the current statistical mechanics. Here we make significant advance toward bidirectional bridging of this gap for classical discrete systems under many-body interactions. Our idea is to focus on characteristic microscopic geometry in configuration space for an exactly solvable system, resulting in a new, important quantity of ”harmonicity in the structural degree of freedom”. This quantity reasonablly characterizes which structures in equilibrium state have practically unique and stable correspondence to PEL, without requiring any thermodynamic information such as energy or temperature. The present findings will open a gate to constructing reliable PEL, where its predictive uncertainty can be a priori known. A significant role of microscopic geometry for non-interacting system should be re-emphasized in statistical mechanics.
I Introduction
One of the main goal for statistical mechanics is to elucidate relationships between many-body interactions of the system and macroscopic properties in equilibrium and/or non-equilibrium states. Particularly, potential energy landscape (PEL) plays central role to describe phase stability, reaction path and other important physical and chemical properties matters, whereas full knowledge of PEL is typically difficult to obtain. So far, many different methods have been developed based on ab initio calculations to construct effective (classical) Hamiltonian for the PEL.nat1 ; nat2 These are direct and powerful when (i) all contributions to determine PEL can be accurately included, and (ii) used calculation data has sufficient information to describe PEL on high-dimensional space, which is not known a priori. For instance, full inclusion of temperature-dependent interactions (e.g., lattice vibrational, magnetic and electronic entropy effects) for condensed matters is not practical, especially dimension of exploring space exponentially increases due to increase of the number of components: Such effects are typically either approximated or ignored when predicting physical properties of equilibrium states, which sometimes fails to explain and interpret measured properties.mat1 ; mat2 ; mat3 ; lp ; lp2 For these cases, it naturally leads to take another stragegy to construct PEL. The so-called inverse methods, which basically optimizes PEL to reproduce measured structure and/or other properties, have also been amply developed and applied to discrete (e.g. crystalline solids) or continuous (e.g. liquid) systems.pe ; invmc1 ; invmc2 ; invmc3 ; invmc4 ; invmc5 ; inv1 ; inv2 However, both direct and inverse methods always involve an essential problem to construct reliable PEL: Generally, the transformation from PEL to structure is a well-posed direct problem, whereas that from structure to PEL is a typical inverse problem: Although different methods have been proposed to characterize PEL for system-specific quantities, it is generally unclear whether the constructed PEL uniquely and/or stably determines a set of known macroscopic property.many1 ; many2 ; many3 ; many4 ; many-rej ; cpel1 ; cpel2 Up to now, for a modest classical system under pairwise additive interactions, it has been shown that the PE can be determined uniquely from the structural information contained in pair-correlation functions.pe However, for systems that involve many-body interactions, it remains an open question whether using such an inverse methods is justified.many1 ; many2 ; many3 Especially, for crystalline solids considered as classical many-body system, while it has been typically assumed that pair correlations up to a sufficiently large interatomic distance can uniquely (or almost uniquely) determine higher-order correlations, this assumption has been rejected theoretically.many-rej Thus, understanding of the correspondence between structure in equilibrium state and PEL (hereinafter called SPE correspondence) is unidirectional in the current statistical mechanics. Based on classical statistical mechanics, we here make significant advances in bidirectional bridging of the gap for a broad class of classical systems, under many-body interactions with multiple components. We find a quantity to universally characterize which microscopic structures have unique and stable correspondence with PEL. We find that these structures can be known a priori without any information about energy or temperature, which will lead to a new approach of constructing reliable PEL. The details are given below.
II Derivation and Concepts
Herein, we consider a typical classical system with a fixed number of constituents, and whose microscopic structure is specified by a finite number of generalised coordinates . The expectation value of a chosen coordination is then given by the thermodynamic (so-called canonical) average, namely
[TABLE]
where denotes the partition function with , and the summation is taken over all possible microscopic states in the configuration space. If we interpret the thermodynamic average as a map, , acting on the potential energy, Eq. (1) for all possible coordinates reads
[TABLE]
where and (see Appendix). is a vector representation of potential energy under given coordination, corresponding to specifying PEL. When predicting the PEL from a thermodynamically equilibrium structure, the problem is that it is generally unclear whether the inverse map, , exists.
Very recently, we have shownem1 ; em2 ; em3 that the map corresponding to the thermodynamic average can be approximated in explicit matrix form as (see Appendix). We have provenem2 that the map becomes exactly identical to for any given potential energy and for any temperature , when the density of microscopic states in configuration space, before applying many-body interactions to the system, is represented by a multidimensional Gaussian distribution. Herein, such an ideal system is defined as a ”harmonic system”.
To address the uniqueness of SPE correspondence, we firstly consider whether the inverse map exists. For a harmonic system, we can show that becomes exactly (see Appendix)
[TABLE]
where corresponds to the elements of the covariance matrix of the density of states (DOS). Because the eigenvalue of the covariance matrix is positive-semidefinite with non-zero variance for any transformation of coordinates, always exists. This implies that for any harmonic system, we can always write
[TABLE]
for any given PE, i.e. the SPE correspondence is unique. We have confirmedem3 that for a broad class of practical classical systems (e.g., for solids on representative lattices, including fcc, bcc, diamond, square and trianglar, and for liquids in a rigid box), the DOS before including system interactions becomes almost identical to a multidimensional Gaussian as the system becomes large. We showed this not only by comparing its landscape with an ideal Gaussian but also by demonstrating statistical interdependence based on random matrix theory with a Gaussian orthogonal ensemble.em3 This indicates strongly that slight deviations of the actual DOS from a multidimensional Gaussian cause changes in the uniqueness of the SPE correspondence. In other words, many classical systems can be interpreted as perturbed in that they differ slightly from an ideal harmonic system but have the same covariance matrix .
In order to see how practical system deviates from an ideal harmonic system, we first qualitatively investigate the character of the map on a two-dimensional periodic lattice with artificial PE provided, which confirm the dependence of difference between and on individual microscopic structure. The results imply that a certain set of microscopic structures contributes to keep the system harmonic, where distance (Euclidean metric) from the center of gravity (COG) of the configurational DOS for a non-interacting system to the microscopic structure would come into play (see Appendix). In other words, the map acts in almost the same way as the thermodynamic average, namely , whereas another set of structures promotes anharmonicity, namely . Again, the deviations from harmonicity come from the slight deviations of the configurational DOS from Gaussian. Therefore, if we could estimate quantitatively the harmonic contributions from individual microscopic structures, we can know which observed structures are likely to determine the corresponding PEL uniquely. However, the question naturally arises as to how to measure the harmonicity (or anharmonicity). The problem is that (i) the image of the map depends on both PE and temperature, and (ii) that of depends on temperature. Ideally, we would like to avoid using any information about the energy or temperature. Our solution is based on the fact that the image of the composite map, , is independent of both energy and temperature (see Appendix). Therefore, we can determine quantitatively the anharmonicity for any given microscopic structure :
[TABLE]
where denotes the distance function. Because the energy of the system should be independent of any linear transformation of coordinates, we employ hereinafter the natural choice for of the standard Euclidean distance. The anharmonicity of Eq. (5) is thus completely independent of many-body interactions and of temperature, which purely reflects the microscopic geometry of the system. Because is required to satisfy , the magnitude of can reflect the difference between the maps and for a given structure , i.e. it represents the anharmonic contribution. To illustrate this, we show in Fig. 1 the value of for microscopic structures of binary components on four different lattices, as functions of . We see clearly the general trends in Figs. 1a-d: (i) Structures with low values of have low anharmonicity (blue regions) that changes continuously with . (ii) When increases, a discontinuous change occurs in (white regions), during the transition from the harmonic to the anharmonic region, where takes its maximum value. (iii) For structures with sufficiently large (right-hand side, beyond the vertical dotted line in the red region), behaves as a multivalued function. Since the quantity is a natural measure of ordering (low corresponds to a disordered structure, whereas high indicate an well-ordered one),cp trends (i) and (ii) means that partially ordered structure has a high anharmonicity, resulting in , whereas the disordered structure has a lower anharmonicity with . Trend (iii) has already been shown in a previous study, where multiple choices of PE can provide candidates for the ground-state structure (e.g., the largest value of in a given direction in configuration space).cp Because and can be determined without any information about many-body interactions or temperature, we can thus know a priori which microscopic structures belong to the harmonic or anharmonic regions from Fig. 1.
We then demonstrate how the anharmonicity relates to the actual SPE correspondence. We first prepare multiple PEs of binary components on the four lattices with multiple compositions, and apply the thermodynamic average at different temperatures to obtain equilibrium structures, to which the map is then applied to predict the PEs inversely (see Appendix). The equilibrium structures depend both on the choice of PE () and on the temperature . The difference between the original and the predicted PEs for each equilibrium structure is measured by
[TABLE]
Figure 2 shows the resultant relationship between the anharmonicity for the constructed structures and the corresponding deviation in the PE. We see clearly that when the microscopic structure is in the harmonic region (blue region), increases continuously with increasing anharmonicity, while in the anharmonic region, its behaviour becomes complex (i.e. it becomes a multivalued function). This can be expected from the results of Fig. 1, where in the anharmonic region (red region), the deviation of the map from is maximised or behaves as a multivalued function. For instance, if we choose a harmonic and anharmonic state constructed from the same PE but for different temperatures (shown in Fig. 2a), we see clearly in Fig. 2b that the PE from an anharmonic state does not reproduce the landscape of the original PE even qualitatively, whereas the PE from the harmonic state (even near the border between the harmonic and anharmonic regions) can reproduce the landscape of the original PE reasonably well. These results demonstrate that microscopic structures in the harmonic state make perturbed contributions to an ideally harmonic system, leading to perturbed changes in the uniqueness and stability of the SPE correspondence. The important point here is that, although we artificially prepared multiple PEs on multiple lattices with different compositions, Fig. 2a shows that for the harmonic region, the map always results in a PE that has a slight deviation from the original PE, which exhibits a monotonic increase with increasing anharmonicity. Such a tendency cannot be observed if there are multiple candidate PEs that differ far beyond . Therefore, microscopic structures in the harmonic region can be guaranteed to predict the PE inversely in relation to both uniqueness and stability. Furthermore, the characteristics of the DOS in configuration space also support the uniqueness and stability of the SPE correspondence in the harmonic region. It has been shownem1 that the DOS near its center of gravity (COG) becomes almost identical to a multidimensional Gaussian, for which deviations generally increase with increasing distance from the COG. Therefore, it is reasonable that contributions from microscopic structures near the COG should be harmonic, i.e. .
So far, SPE correspondence can be well-characterized by for binary systems. We finally demonstrate that the above discussions can also be applied when number of components increases. In analogy to Figs. 1 and 2, we show in Fig. 3 the value of as a function of and for microscopic structures of quaternary components on fcc lattice. In a similar fashion to binary systems, we can classify which microscopic structures belongs to harnomic or anharmonic region from Fig. 3 a, which results in a similar relationship between and shown in Fig. 3 b. For instance, when we focus on a harmonic and anharmonic state in Fig. 3 b, inversely predicted PE for harmonic state (open squares in Fig. 3 c) correctly captures the landscape of original PE (filled bars), while that for anharmonic state (open circles) fails even qualitatively, which has also been shown in the case of binary system, Fig. 2. We therefore have demonstrated that uniqueness and stability of SPE correspondence for classical many-body system can be universally characterized by a newly-introduced concept of harmonicity in the structural degree of freedom, which can let us a priori know which microscopic structures provides inverse problem from PEL to structure as well-posed in practice.
III Conclusion
In this paper, we theoretically investigated for a classical, many-body, multicomponent system, correspondence between structure and potential energy landscape (SPE corresondence) in terms of the underlying microscopic geometry. We introduced the new quantity of harmonicity in the structural degree of freedom derived from an exactly solvable system, thereby successfully characterising the SPE correspondence. The present results predict the PEL uniquely and stably with residual uncertainty for structure given, without requiring any thermodynamic information about energy or temperature. The present results therefore will open a gate to constructing reliable, temperature-dependent PEL of multicomponent sysmtem with many-body interactions, where existing methods fail to fully include. Especially, inclusion of temperature-dependent contributions, e.g., lattice vibrational, magnetic and electronic entropy, is straightforward (see Appendix). We note that a complete understanding of the SPE correspondence will require further study, i.e., (i) how bijection-breaking occurs when increases, and (ii) especially for structures in the anharmonic region, thecorrespondence remains unclear. For the latter, we can see from Fig. 2 that several microscopic structures have low anharmonicity but high , which indicates directly that the SPE correspondence is not unique for such structures. For other structures in the anharmonic state, the correspondence is unclear. Herein, we propose at least a partial set of microscopic structures for which the SPE correspondence is practically guaranteed. As a practical matter, when we predict the PEL from a given structure, we cannot illustrate simply a relationship like those shown in Figs. 2a, b or Fig. 3b because we do not know the original PEL. Alternatively, we can construct relationships between the anharmonicity and for multiple microscopic structures constructed with finite system size, such as those shown in Fig. 1 or Fig. 3a. From such relationships, we can therefore know a priori whether a given structure is in the harmonic or anharmonic region. In the former case, the structure provides , which is thus guaranteed to predict the PE inversely, with residual structural uncertainty that corresponds to the anharmonicity . Therefore, when the given structure is in the harmonic state, the present results can also be applied to confirm the validity of a constructed PEL by existing methods.
Acknowledgement
This work was supported by a Grant-in-Aid for Scientific Research (16K06704) from the MEXT of Japan, Research Grant from Hitachi MetalsMaterials Science Foundation, and Advanced Low Carbon Technology Research and Development Program of the Japan Science and Technology Agency (JST). The author expresses cordial thanks to Prof. Shu Kurokawa and Prof. Yoshikazu Tabata at Kyoto University for fruitful discussions of the present study.
Appendices
Description of potential energy for classical systems.
For classical systems, the potential energy of any microscopic state of a given system can be represented completely by
[TABLE]
where denotes the inner product, i.e. the trace over all possible microscopic states in configuration space. For instance, for a discrete system on a periodic lattice, it has been shownce that the generalised Ising modelce provides the corresponding complete basis functions . Equation (7) corresponds to representing the PE in terms of the given coordinates , in inner product form. The present study describes the PE in terms of equation (7).
Details of map in matrix form.
The map can be given explicitly as follows:em2
[TABLE]
where denotes the average structure of a non-interacting system, and , respectively, denotes the linear average and standard deviation over all possible microscopic structures. Furthermore, denotes the linear average of over all microscopic structures for which the -th coordinate satisfies . The most important point here is that these standard deviation and averages are calculated for a non-interacting system. This implies directly that we can construct the matrix a priori without requiring any information about the many-body interactions. For simplicity, we represent structure measured from throughout the paper, i.e. describing structure as . Because the DOS for a non-interacting system solely reflects the underlying microscopic geometry (e.g., the type of lattice), equation (Details of map in matrix form.) strongly indicates the significant role of the geometry in determining the equilibrium structure.
Derivation of equation (3).
Let us introduce the DOS in two-dimensional configuration space for a non-interacting, harmonic system, , with its covariance matrix . Then in equation (3) can be given by the following expression:
[TABLE]
where denotes the off-diagonal element of , i.e. the covariance of the distribution . Substituting equation (9) into equation (Details of map in matrix form.), we obtain
[TABLE]
This directly shows that the matrix is times the covariance matrix for the DOS, , i.e. identical to equation (3).
Example for difference between map and thermodynamic average on a periodic lattice.
To illustrate qualitatively the character of the map for a practical system, we prepared an artificial PE on a two-dimensional triangular lattice and applied the thermodynamic average at both low () and high () temperatures, resulting in partially ordered and well-disordered structures, respectively (see Supplementary). The results are summarised in Fig. 4. The PE of the prepared triangular lattice is shown in Fig. 4a. Panels 1a-d show the results for the low-temperature examples, while panels 1e-h give the corresponding high-temperature results. Note that the PE distributions in Figs.— 4a and 4e are identical. Application of the thermodynamic map to Fig. 4a yields the partially ordered structure shown in Fig. 4b, with the corresponding structural parameters shown. Next, application of the inverse map yields the PE distribution shown in Fig. 4c. Application of the thermodynamic map to Fig. 4c then yields the phase-separated structure and structural parameters shown in Fig. 4d. Figure 4e-h gives the corresponding high-temperature results.
We see clearly that when one considers the partially ordered structure (b) at the low temperature under the given PE (a), the inverse prediction using results in the PE (c) and corresponding equilibrium structure (d), which are completely different from the original ones [(a) and (b)]. Conversely, for the disordered structure (f) at high temperature under the same provided PE (e) [identical to (a)], the inverse prediction of shows excellent agreement between both the PE (g) and the structure (h) and the respective original ones [(e) and (f)].
Calculations for Figs. 1, 2, 3 and 4.
To produce Fig. 4, we prepared a two-dimensional, triangular lattice consisting of 2304 atoms (i.e. times the dimensions of the unit cell). For Figs. 4a and e, we include two-body interactions up to the sixth-nearest neighbours (6NN), twelve 3-body interactions, and five 4-body interactions consisting of up to 4NN pairs, where the multisite figures (i.e. figures consisting of multiple lattice points) in Figs. 4 (and Fig. 2b) are described in that order. The thermodynamic average is obtained by applying the artificially-prepared PE to a standard Monte Carlo (MC) simulation, with the Metropolis algorithmmc1 under the canonical ensemble. The matrix is constructed by uniformly sampling the possible microscopic structures based on the MC simulation. To describe quantitatively the microscopic structures on the given lattice, we employed a generalised Ising model in which the occupation of site by an atom of type A (B) is specified by the so-called spin variable, () for binary system, and by A, B, C, D is respectively specified by for quaternary system. The structural parameter for a multisite figure (including the difference in order of constituent basis functionsce ) can be obtained by taking the linear average of the spin product taken over the lattice points included in , . Because a set of for all possible figures on the lattice forms a complete basis,ce equation (7) can be rewritten as
[TABLE]
where the many-body interactions used in computing Figs. 4, 2 and 3 correspond to the inner product, . Dimension of interaction denotes the number of lattice points that forms individual multisite figures: i.e. for pairs, the dimension is two, whereas for triplets, it is three. In Fig. 1, we consider four lattices (bcc, fcc, square, and triangular) with different binary compositions AxB*(1-x)* (). To obtain the quantities and defined by equation (5), we describe the microscopic structure quantitatively, including up to 6NN pairs on each lattice. Explicitly, for structure , is given by . For the binary systems on bcc, fcc, square, and triangular lattices, respectively, we also included 8, 12, 7 and 12 triplets, as well as 9, 5, 10 and 5 quartets consisting of up to 4NN pairs. Under these conditions, we randomly prepared 24 microscopic structures for each composition on each lattice (totalling 192 structures) so that the computed values of for the structures ranged uniformly from near the COG of the DOS for the given structures to candidates near and/or at previously known ground-state structures .cp In a similar fashion, for quaternary system, we included 36 pair interactions (corresponding to including up to 6NN pair), 30 triplet, and 15 quartet interactions. Then we randomly prepared 48 microscopic structures at equiatomic composition where value of ranges from disordered to ordered structures. To obtain Figs. 2 and 3, we prepared multiple sets of many-body interactions for the individual lattices used in Fig. 1, with compositions and for binary and with equiatomic composition for quaternary system. They exhibits ordering and a phase-separating tendency when the temperature decreases. These interactions are applied to the MC simulation under the canonical ensemble at eleven different temperatures to compute statistical averages that are used to estimate the anharmonicity in the structural degree of freedom (S.D.F) and in the distance from the COG.
Derivation: The image of the composite map is independent of .
Assume that the temperature changes to , where is a non-zero finite real number. Then, at , the PE for a given structure is given by
[TABLE]
Meanwhile, at , the corresponding PE becomes
[TABLE]
because is proportional to , as shown in equation (3). Applying these PEs to the thermodynamic average , we find that the equilibrium structure for any chosen coordinate at takes the form
[TABLE]
while that at becomes
[TABLE]
which demonstrates that the image of the composite map is exactly independent of for any given structure, .
Inclusion of temperature-dependent interactions to PEL in the present ansatz.
For crystalline solids, because the lifetime of a particular atomic configuration is typically long enough to achieve dynamical (including lattice vibrational, magnetic and electronic entropy) equilibrium, the partition function can be described by , where denotes the free energy for the temperature-dependent dynamical contributions to configuration .z If we define as the potential free energy (PFE), replacement of PE by PFE holds true throughout the paper.em2 Therefore, inverse prediction from measured microscopic structure to PEL by using automatically includes all possible temperature-dependent contributions.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) S. Curtarolo, G. L. W. Hart, M. B. Nardelli, N. Mingo, S. Sanvito, and O. Levy, Nature Mater. 12 , 191 (2013).
- 2(2) G. L. W. Hart, V. Blum, M. J. Walorski, and A. Zunger, Nature Mater. 4 , 391 (2005).
- 3(3) A. van de Walle, Q. Hong, L. Miljacic, C. B. Gopal, S. Demers, G. Pomrehn, A. Kowalski, and P. Tiwary, Phys. Rev. B 89 , 184101 (2014).
- 4(4) J. G. Goiri and A. Van der Ven, Phys. Rev. B 94 , 094111 (2016).
- 5(5) O. Isayev, C. Oses, C. Toher, E. Gossett, S. Curtarolo, and A. Tropsha, Nature Commun. 8 , 15679 (2017).
- 6(6) H. Kimizuka, S. Kurokawa, A. Yamaguchi, A. Sakai, and S. Ogata, Sci. Rep. 4 , 7318 (2014).
- 7(7) K. Takeuchi, K. Yuge, S. Tabata, H. Saito, S. Kurokawa, and A. Sakai, Sci. Rep. (submitted).
- 8(8) R. L. Henderson, Phys. Lett. A 49 , 197 (1974).
