arXiv++ Combinatorics

We study Fibonacci compositions, which are compositions of natural numbers that only use Fibonacci numbers, in two different contexts. We first prove inequalities comparing the number of Fibonacci compositions to regular compositions where summands have a maximum possible value. Then, we consider asymptotic properties of Fibonacci compositions, comparing them to compositions whose terms come from positive linear recurrence sequences. Finally, we consider analogues of these results where we do not allow the use of a certain number of consecutive Fibonacci numbers starting from $F_2 = 1$.

In this paper, we use techniques of enumerative combinatorics to study the following problem: we count the number of ways to split $n$ balls into nonempty, ordered bins so that the most crowded bin has exactly $k$ balls. We find closed forms for three of the different cases that can arise: $k > \frac{n}{2}$, $k = \frac{n}{2}$, and when there exists $j < k$ such that $n = 2k + j$. As an immediate result of our proofs, we find a closed form for the number of positive integer solutions to $x_1 + x_2 + \dots + x_{\ell} = n$ with the attained maximum of $\{x_1, x_2, \dots, x_{\ell}\}$ being equal to $k$, when $n$ and $k$ have one of the aforementioned algebraic relationships to each other. The problem is generalized to find a formula that enumerates the total number of ways without specific conditions on $n, \ell, k$. Subsequently, various additional identities and estimates related to this enumeration are proven and interpreted.

Zeckendorf proved that every integer can be written uniquely as a sum of non-consecutive Fibonacci numbers $\{F_n\}$, and later researchers showed that the distribution of the number of summands needed for such decompositions of integers in $[F_n, F_{n+1})$ converges to a Gaussian as $n\to\infty$. Decomposition problems have been studied extensively for a variety of different sequences and notions of a legal decompositions; for the Fibonacci numbers, a legal decomposition is one for which each summand is used at most once and no two consecutive summands may be chosen. Recently, Chen et al. [CCGJMSY] generalized earlier work to $d$-dimensional lattices of positive integers; there, a legal decomposition is a path such that every point chosen had each component strictly less than the component of the previous chosen point in the path. They were able to prove Gaussianity results despite the lack of uniqueness of the decompositions; however, their results should hold in the more general case where some components are identical. The strictly decreasing assumption was needed in that work to obtain simple, closed form combinatorial expressions, which could then be well approximated and led to the limiting behavior. In this work we remove that assumption through inclusion-exclusion arguments. These lead to more involved combinatorial sums; using generating functions and recurrence relations we obtain tractable forms in $2$ dimensions and prove Gaussianity again; a more involved analysis should work in higher dimensions.