Abstract
The conjecture of Grosse-Kunstleve et al. [(1996), Acta Cryst. A52, 879–889], that coordination sequences of periodic structures in n-dimensional Euclidean space are rational, is proved. This has been recently proven by Nakamura et al. [(2021), Acta Cryst. A77, 138–148]; however, the proof presented here is a straightforward application of classic techniques from automata theory.
Publisher
International Union of Crystallography (IUCr)
Subject
Inorganic Chemistry,Physical and Theoretical Chemistry,Condensed Matter Physics,General Materials Science,Biochemistry,Structural Biology
Reference16 articles.
1. Chistikov, D. & Haase, C. (2016). 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy, edited by I. Chatzigiannakis, M. Mitzenmacher, Y. Rabani & D. Sangiorgi, vol. 55 of LIPIcs, pp. 128:1-128:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2016.128.
2. Rational sets in commutative monoids
3. Algebraic determination of generating functions for coordination sequences in crystal structures
4. Epstein, D. B. A., Paterson, M. S., Cannon, J. W., Holt, D. F., Levy, S. V. & Thurston, W. P. (1992). Word Processing in Groups. USA: A. K. Peters, Ltd.
5. A coloring-book approach to finding coordination sequences