A conjecture of Dekking on the dimensions of the lower central series factors of a certain just infinite Lie algebra (Q6144381)

The second author and \textit{O. A. de Morais Costa} in [J. Algebra 504, 291--335 (2018; Zbl 1422.16019)], constructed a 2-generated just infinite nil graded fractal Lie superalgebra \(\mathfrak{R}\) over an arbitrary field having also linear growth. Furthermore, this algebra is \(\mathbb{N}\)-graded by degree in the generators, that is, \(\mathfrak{R}=\bigoplus_{n>1} \mathfrak{R}_{n}\), where \(\mathfrak{R}_{n}=\mathfrak{R}^{n}/\mathfrak{R}^{n+1}\), and \(\{ \mathfrak{R}^{n} \mid n>1\}\) are the terms of the lower central series of \(\mathfrak{R}\). In the case of characteristic 2, one obtains a Lie algebra, also denoted by \(\mathfrak{R}\), for which an interesting combinatorial expression holds. The sequence \((a_{n})_{n\geq 1}\), where \(a_{n}=\dim \mathfrak{R}^{n}/\mathfrak{R}^{n+1}=\dim \mathfrak{R}_{n}\), takes only the values 1 and 2; furthermore, for \(n \geq 5\) this sequence is composed of alternating blocks containing either only 1's or only 2's, and the block 11 is followed by either the block 2 or the block 222. In 2020 \textit{M. Dekking} conjectured a simpler way of generating this sequence (see sequence \textsf{A296299} in [\textit{N. J. A. Sloane}. The On-Line Encyclopedia of Integer Sequences], available online at \url{https://oeis.org/}). In the paper under review the authors prove Dekking's conjecture.