Variations on a Generating-Function Theme: Enumerating Compositions with Parts Avoiding an Arithmetic Sequence
Matthias Beck,Neville Robbins,Matthias Beck and Neville Robbins
DOI: https://doi.org/10.4169/amer.math.monthly.122.03.256
2015-01-01
Abstract:A composition of a positive integer n is a k-tuple (λ1, λ2, …, λk) ∈ ℤk>0 such that n = λ1 + λ2 + … + λk. Our goal is to enumerate those compositions whose parts λ1, λ2, …, λk avoid a fixed arithmetic sequence. When this sequence is given by the even integers (i.e., all parts of the compositions must be odd), it is well known that the number of compositions is given by the Fibonacci sequence. A much more recent theorem says that when the parts are required to avoid all multiples of a given integer k, the resulting compositions are counted by a sequence given by a Fibonacci-type recursion of depth k. We extend this result to arbitrary arithmetic sequences. Our main tool is a lemma on generating functions that is no secret among experts but deserves to be more widely known.