arXiv++ Combinatorics

Binomial coefficients for multidimensional arrays count occurrences of particular configurations. For the sake of presentation, the emphasis is put on column-binomial coefficients for two-dimensional finite arrays. In this article, we first show that these coefficients can be computed through some Magnus transform. To get structural and combinatorial information on arrays, we then define \((k,\ell)\)-binomial equivalence for finite arrays and, from it, the \((k,\ell)\)-binomial complexity function of an infinite array. Roughly, two finite arrays are \((k,\ell)\)-binomially equivalent when they share the same number of subarrays of size at most $k\times \ell$. We obtain general results on the \((k,\ell)\)-binomial complexity of infinite arrays coding direct products of infinite words. Our main theorem gives an exact formula for the \((k,\ell)\)-binomial complexity of the two-dimensional Thue--Morse array. To that end, we closely examine the action of the bit-wise complement on the \(k\)-binomial equivalence classes of the factors of the Thue--Morse word.

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.