Derivative structure enumeration using binary decision diagram

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 hard to enumerate derivative structures if the number of derivative structures of a target system becomes huge. In the present study, we introduce a novel compact data structure of the zero-suppressed binary decision diagram (ZDD) to enumerate derivative structures much more efficiently. The present study shows 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 significantly contribute not only to various computational approaches based on the derivative structures but also to a wide range of combinatorial issues in physics and materials science.