arXiv++ Combinatorics

Rigo and Salimov (2015) proved that the number of binary \(2\)-binomial equivalence classes of words of length \(n\) is the \(n^{\text{th}}\) cake number. We give a geometric explanation of this identity by constructing an explicit arrangement of \(n\) planes in three-dimensional space whose chambers are naturally indexed by these equivalence classes. This arrangement is the three-dimensional member of an infinite family of hyperplane arrangements. In dimensions \(1\), \(2\), and \(3\), the corresponding quotients recover abelian equivalence, a natural intermediate equivalence between abelian and \(2\)-binomial equivalence, and binary \(2\)-binomial equivalence itself. In higher dimensions, the same family realises natural refinements of \(2\)-binomial equivalence. We also determine the sizes of the resulting classes. Each size is given by a coefficient of a suitable Gaussian binomial coefficient. This yields the full class-size distribution for binary \(2\)-binomial equivalence and stabilisation results for the number of classes of any fixed cardinality.

We study the $k$-Bonacci word over the infinite alphabet $\mathbb{N}$. Since the alphabet is infinite, the usual factor complexity is infinite and does not provide any information. We therefore investigate factor occurrence statistics in the finite iterates. For $k \ge 3$, we obtain closed forms for the generating functions (with respect to the iteration index) that count the number of occurrences of an arbitrary digit in the $n$th iterate. We then characterize the complete set of length-$2$ factors occurring in the infinite word and compute, for each such factor, a closed form for the generating function encoding its number of occurrences across all finite iterates. As a consequence, the associated counting sequences satisfy uniform $(k\!-\!1)$-step Fibonacci-type recurrences and admit a description in terms of $(k\!-\!1)$-Bonacci enumeration phenomena, including self-convolution structures.

We investigate unipotent dynamics on a torus and apply these techniques to the following problem. Let \(d\) be a positive integer, and let \(a > 0\) be a real number. For an integer \(b \geqslant 5\), such that \(a\) and \(b\) are multiplicatively independent, consider the sequence \((\mathbf{w}_n)\), where \(\mathbf{w}_n\) is the most significant digit of \(a^{n^d}\) when expressed in base \(b\). We prove that the complexity function of the sequence \((\mathbf{w}_n)\) is, up to finitely many exceptions, a polynomial function.