Gaps for PLRS with zero coefficients

Abstract

Zeckendorf proved that every positive integer has a unique decomposition as a sum of non-adjacent Fibonacci numbers. Among its extensions, we focus on Positive Linear Recurrence Sequences (PLRS): fixed depth recurrences with non-negative integral coefficients whose first and last terms are positive: $G_{n+1} = c_1 G_n + \dots + c_L G_{n-L+1}$ with $c_i$ non-negative integers and $c_1 c_L \ge 1$. We again find every integer can be written uniquely as an appropriate sum of terms of the sequence, and we can study the distribution of gaps between summands in decompositions. Bower et al. (2015) proved that if each $c_i \ge 1$ then the distribution of gaps in the generalized Zeckendorf decompositions of integers in $[G_n, G_{n+1})$ converges to a geometric decay for gaps at least two. What if some of the $c_i$'s are allowed to be zero? To date only the Kangaroo case, where there is a fixed $g$ such that $c_i = 1$ if $i \equiv 1 \bmod g$ and 0 otherwise, has been done and again geometric behavior emerges. Ben-Ari and Miller (2016) developed a probabilistic framework that also produce similar results, but their approach requires more advanced machinery. One of the goals of this paper is to show that the elementary methods used by Bower et al. (2015) can be adapted to this setting as well. We analyze the case $H_{n+1} = H_n + H_{n-p} + H_{n-p-q}$. For gaps at least $\max(p,q)$ we again prove geometric decay, with parameter the largest root of the characteristic polynomial associated with the recurrence. For the finitely many smaller gaps, under the restriction $p<q+2$, we prove that the limiting probabilities exist and can be computed using a transfer-matrix method, yielding results that depend on $p,q,$ and the gap size $g$. The case $p \ge q+2$ is not addressed by our small-gap argument.