Enumeration of nonequivalent substitutional structures using advanced data structure of binary decision diagram

J Chem Phys. 2020 Sep 14;153(10):104109. doi: 10.1063/5.0021663.

Abstract

A derivative structure is a nonequivalent substitutional atomic configuration derived from a given primitive cell. The enumeration of derivative structures plays an essential role in searching for the ground states in multicomponent systems. However, it is computationally difficult to enumerate derivative structures if the number of derivative structures of a target system becomes huge. In this study, we introduce a novel compact data structure of the zero-suppressed binary decision diagram (ZDD) for enumerating derivative structures much more efficiently. We show its simple applications to the enumeration of structures derived from the face-centered cubic and hexagonal close-packed lattices in binary, ternary, and quaternary systems. The present ZDD-based procedure should contribute to computational approaches based on derivative structures in physics and materials science.