Coordination Sequences of Periodic Structures are Rational via Automata Theory
arXiv:2307.15803 · doi:10.1107/S2053273322000262
Abstract
We prove the conjecture of Grosse-Kunstleve et al. that coordination sequences of periodic structures in n-dimensional Euclidean space are rational. This has been recently proven by Nakamura et al.; however, our proof is a straightforward application of classic techniques from automata theory.