Optimality Guarantees for Crystal Structure Prediction



Adamson, Duncan ORCID: 0000-0003-3343-2435, Gusev, Vladimir V, Deligkas, Argyrios, Antypov, Dmytro ORCID: 0000-0003-1893-7785, Collins, Chritopher M ORCID: 0000-0002-0101-4426, Krysta, Piotr, Potapov, Igor, Darling, George R ORCID: 0000-0001-9329-9993, Dyer, Matthew S ORCID: 0000-0002-4923-3003, Spirakis, Paul ORCID: 0000-0001-5396-3749
et al (show 1 more authors) (2023) Optimality Guarantees for Crystal Structure Prediction. Nature, 619 (7968). 68-+.

[img] Text
IPSCP.pdf - Author Accepted Manuscript

Download (4MB) | Preview

Abstract

Crystalline materials enable essential technologies, and their properties are determined by their structures. Crystal structure prediction can thus play a central part in the design of new functional materials<sup>1,2</sup>. Researchers have developed efficient heuristics to identify structural minima on the potential energy surface<sup>3-5</sup>. Although these methods can often access all configurations in principle, there is no guarantee that the lowest energy structure has been found. Here we show that the structure of a crystalline material can be predicted with energy guarantees by an algorithm that finds all the unknown atomic positions within a unit cell by combining combinatorial and continuous optimization. We encode the combinatorial task of finding the lowest energy periodic allocation of all atoms on a lattice as a mathematical optimization problem of integer programming<sup>6,7</sup>, enabling guaranteed identification of the global optimum using well-developed algorithms. A single subsequent local minimization of the resulting atom allocations then reaches the correct structures of key inorganic materials directly, proving their energetic optimality under clear assumptions. This formulation of crystal structure prediction establishes a connection to the theory of algorithms and provides the absolute energetic status of observed or predicted materials. It provides the ground truth for heuristic or data-driven structure prediction methods and is uniquely suitable for quantum annealers<sup>8-10</sup>, opening a path to overcome the combinatorial explosion of atomic configurations.

Item Type: Article
Divisions: Faculty of Science and Engineering > School of Physical Sciences
Depositing User: Symplectic Admin
Date Deposited: 15 May 2023 08:13
Last Modified: 05 Jan 2024 02:30
DOI: 10.1038/s41586-023-06071-y
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3170275