arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 1302.6265cond-mat.softcond-mat.stat-mechhep-thnlin.CD
收藏

认证Potential Energy环境

Certifying the Potential Energy Landscape

Dhagash Mehta, Jonathan D. Hauenstein, David J. Wales

摘要:

对于位能景观的驻点的数值近似位于该驻点的二次收敛盆中是非常可取的。然而,有可能的是,近似值可能仅位于线性收敛盆地中,或者甚至位于混沌区域中,并且因此当尝试进一步优化时不会收敛到实际的稳定点。证明一个数值逼近将二次收敛到相关的稳定点称为证明数值逼近。我们采用Smale的α-理论来稳定点,提供了一个证明,作为一个数学证明,数值近似确实对应于一个实际的稳定点,独立于所采用的精度。作为一个实际的例子,我们采用最近发展的证明算法,展示了如何α理论可以用来证明所有已知的最小值和过渡态的Lennard-Jones LJ $_{N}$原子团簇N = 7,.,14.

英文摘要:

It is highly desirable for a numerical approximation of a stationary point for a potential energy landscape to lie in the quadratic convergence basin of that stationary point. However, it is possible that an approximation may lie only in the linear convergence basin, or even in a chaotic region, and hence not converge to the actual stationary point when further optimization is attempted. Proving that a numerical approximation will quadratically converge to the associated stationary point is termed certifying the numerical approximation. We employ Smale's α-theory to stationary points, providing a certification that serves as a mathematical proof that the numerical approximation does indeed correspond to an actual stationary point, independent of the precision employed. As a practical example, employing recently developed certification algorithms, we show how the α-theory can be used to certify all the known minima and transition states of Lennard-Jones LJ$_{N}$ atomic clusters for N = 7, ...,14.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑