VARIATIONS ON A GENERATINGFUNCTIONAL THEME: ENUMERATING COMPOSITIONS WITH PARTS AVOIDING AN ARITHMETIC SEQUENCE arxiv:403.0665v [math.nt] 4 Mar 204 MATTHIAS BECK AND NEVILLE ROBBINS Abstract. A composition of a positive integer n is a k-tuple λ,λ 2,...,λ k ) Z k >0 such that n = λ + λ 2 + + λ k. Our goal is to enumerate those compositions whose parts λ,λ 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 which is no secret among experts but deserves to be more widely known. Life is the twofold internal movement of composition and decomposition at once general and continuous. Henri de Blainville 777 850). Introduction A composition of a positive integer n is a k-tuple λ,λ 2,...,λ k ) Z k >0 such that n = λ +λ 2 + +λ k. The integers λ,λ 2,...,λ k are the parts and k is the length of the composition. Our goal is to enumerate all compositions of a given integer for which the parts come from or avoid a fixed set, in our case formed by an arithmetic sequence. This goal is merely a variation on a theme that is well known to the experts see, e.g., [6, 7, 9, 0,, 2]), so that our paper has a definite expository flavor; we mainly wish to exhibit an approach to enumerating compositions that we find particularly elegant. Enumeration results on integer compositions and partitions for which we do not distinguish k-tuples that are permutations of each other) form a classic body of mathematics going back to at least Euler, including numerous applications throughout mathematics and some areas of physics. The books [2, 3, 8] serve as good introductions to this area of study. Given a set A Z >0, let c A n) denote the number of compositions of n of any length) with parts in A. Our point of departure is the case where A consists of the odd integers: Date: 3 March 204. 200 Mathematics Subject Classification. Primary P83; Secondary 05A7. Key words and phrases. Composition, ordered partition, arithmetic sequence, generating function, recursion, Fibonacci sequence.
2 MATTHIAS BECK AND NEVILLE ROBBINS Theorem. If A is the set of odd positive integers then c A n) equals the n th Fibonacci number f n, defined recursively as usual) through f = f 2 := f j := f j +f j 2 for j 3. At times it will be more natural to consider compositions of an integer whose parts avoid a given set A, and so we define Ā := Z >0\A. For example, Theorem says that, when A is the set of even positive integers then c Ā n) equals the nth Fibonacci number. It is not clear who first proved Theorem. The earliest reference we are aware of is [9] but we suspect that the theorem has been known earlier. Cayley s collected works [4, p. 6] contains the result that c {j Z:j 2} n) equals the n th Fibonacci number, but the fact that c {j Z:j 2} n) = c {2j+:j 0} n) is nontrivial see, e.g., the recent paper [5] which provided a bijective proof). Theorem virtually begs to be extended. Maybe surprising, the most natural generalization appeared only recently: Theorem 2 Robbins [3, 4]). Fix a positive integer k and let A be the set of all positive multiples of k. Then c Ā n) is given by the sequence f n) defined recursively through f j := 2 j for j k f k := 2 k f j := f j +f j 2 + +f j k for j > k. Naturally, Theorem is the special case k = 2 of Theorem 2. The instances k = 3 and k = 4 give rise to Tribonacci numbers [, Sequence A00590] and Tetranacci numbers [, Sequence A0063], respectively. Ourgoal istogive shortproofsoftheseresultsusingabasicbutpowerfultool Lemma3below that deserves to be more widely known. Thus our real goal is to spread the word.) This tool will naturally give rise to further generalizations and closed formulas for composition counting functions. We denote the generating function for the counting function c A n) by C A x) := + n c An)x n. Lemma 3. C A x) = m A xm. The earliest reference for this lemma we are aware of is Feller s book [5, p. 3] on probability theory, which was first published in 950. The earliest combinatorics paper that includes Lemma 3 seems to be [2]. Lemma 3 follows immediately from dissecting the generating function C A x) according to how many parts a composition has: since the generating function for all compositions with exactly j parts in A equals m A xm) j, ) C A x) = + j ) j x m = m A m A xm. We could now leave it up to the reader as a fun) exercise to derive Theorems and 2 from Lemma 3, including the challenge to find more results of the kind. We will give proofs and further results, such as Theorem 4 below, but the reader who would like to experience the charm of Lemma 3 first hand should now take pencil, paper, and a good cup of coffee, before reading on. The following sample result is novel but we think of it merely as a variation of the theme of using Lemma 3 to count compositions, as will hopefully become apparent in the next section.
VARIATIONS ON A GENERATINGFUNCTIONAL THEME 3 Theorem 4. Fix positive integers k and m with m < k, and let A := {m+jk : j Z 0 }. Then c Ā n) is given by the sequence f n) defined recursively through f j := 2 j for j m f j := 2 j 2 j m for m j k f j := f j + +f j m+ +f j m + +f j k+ +2f j k for j > k. Note that we could let m = k, as long as the recursion is interpreted correctly, which yields Theorem 2; in this sense, Theorem 4 can be viewed as a generalization of Theorem 2. 2. Proofs To warm-up, we start with the case A = Z >0. In this case Lemma 3 says C A x) = = m xm x x = x 2x = + 2 n 2 n ) x n = + n n 2 n x n, confirming that there are 2 n compositions of the positive integer n. The above line contains essentially all ingredients we need for more complicated sets A. Proof of Theorem 2. Fix a positive integer k and let A be the set of all positive multiples of k. By Lemma 3, C Ā x) = x+x2 + +x k x k = x k x x 2 x k. Developing the right-hand side into a power series + n f nx n gives x x 2 x k) + n f n x n = x k, and comparing coefficients yields the identities f = f 2 = f + = 2 f 3 = f 2 +f + = 4. f k = f k 2 +f k 3 + +f + = 2 k 2 f k = f k +f k 2 + +f = 2 k f j = f j +f j 2 + +f j k for j > k. Proof of Theorem 4. Fix positive integers k and m with m < k, and let A := {m+jk : j Z 0 }. By Lemma 3, C x) = Ā = x+ +xm +x m+ + +x k x k x k x x m x m+ x k 2x k.
4 MATTHIAS BECK AND NEVILLE ROBBINS Developing the right-hand side into a power series as in our proof of Theorem 2 yields the coefficient identities f j = 2 j for j m f j = 2 j 2 j m for m j k f j = f j + +f j m+ +f j m + +f j k+ +2f j k for j > k. 2) The classic formula 5 3. Closed Formulas + ) n 5 2 5 ) n 5 2 for the n th Fibonacci number follows at once from a partial-fraction expansion of the Fibonacci x generating function. Since all generating functions that appear in our paper evaluate to x x 2 rational functions, we can obtain closed formulas just as effortlessly for any of the composition counting functions we discussed. We give a sample. Theorem 5. Let A = {+3j : j Z 0 }, and let α 0.65729806 and β,γ 0.578649053 ±0.6525757633i be the three roots of x 2 2x 3. Then 3) c Ā n) = +α 2+6α)α n + +β 2+6β)β n + +γ 2+6γ)γ n. Proof. By Lemma 3, C Ā x) = x2 +x 3 x 3 = x 3 x 2 2x 3. This rational function comes with the partial-fraction expansion C Ā x) = α3 2α 6α 2 x α + β 3 2β 6β 2 x β + γ 3 2γ 6γ 2 x γ which, using α 3 = α 2 +α 3 and the analogous relations for β and γ, gives +α C Ā x) = 2+6α) x α + +β 2+6β) x β The result now follows from expanding the geometric series. + +γ 2+6γ) x γ One of the charming consequences of the formula 2) for the Fibonacci sequence is that the term ) n 5 5 2 converges to zero so quickly that we can compute the n th Fibonacci number as the nearest integer to ) + 5 n. 5 2 Unfortunately, the situation with the formula for cā n) presented in Theorem 5 is not quite as friendly, since α, β, and γ all have absolute value less than, and thus each of the three terms in 3) grows exponentially with n. Repeating the steps in the proof of Theorem 5 for the case A = {2+3j : j Z 0 } gives a similar picture: here we need to consider the three roots α 0.589754523 and β,γ 0.2948772562 ±0.872276255i.
VARIATIONS ON A GENERATINGFUNCTIONAL THEME 5 of x 2x 3. Again all of them have absolute value less than, and so each of the three terms in the associated composition counting function c Ā n) = +α 2 +6α 2 )α n + +β2 +6β 2 )β n + +γ2 +6γ 2 )γ n grows exponentially with n. On the other hand, if we consider the case A = {3j : j Z >0 }, we need the roots α 0.543689027 and β,γ 0.778445063 ±.5425080i of x x 2 x 3. Here the complex roots have absolute value larger than, and so the associated composition counting function c Ā n) = +α +2α+3α 2 )α n + +β +2β +3β 2 )β n + +γ +2γ +3γ 2 )γ n is well approximated by the first term; in fact, c Ā n) equals the nearest integer to +α +2α+3α 2 )α n, for any n > 0. Of course, the error decreases exponentially; it is smaller than % already for n = 4. Table gives the first twenty values for the three composition counting functions mentioned in this section; here we use the notation c 3,j n) for the number of compositions of n with parts not congruent to j mod 3). n c 3, n) c 3,2 n) c 3,0 n) 0 2 2 3 2 3 4 4 6 5 3 6 6 3 0 20 7 5 8 37 8 9 30 68 9 50 25 0 9 86 230 29 46 423 2 4 246 778 3 67 48 43 4 99 70 2632 5 49 202 484 6 233 2038 8904 7 347 3458 6377 8 53 5862 3022 9 83 9938 55403 20 225 6854 0902 Table. Evaluations of the composition counting functions avoiding arithmetic sequences modulo 3.
6 MATTHIAS BECK AND NEVILLE ROBBINS 4. Two-variable Recursions Thereexist bivariate versions of all resultswe have discussedsofar, whereonekeeps track of both the numbernwhose compositions we want to count and the numbermof parts in the compositions. Let c A n,m) denote the number of compositions of n with precisely m parts in the set A, and let C A x,y) := c A n,m)x n y m, n,m 0 where we set c A 0,0) :=. Of course, this means we can recover our previous generating function as C A x) = C A x,). The accompanying version of Lemma 3, which one easily verifies by inserting a y into the beginning of the large parenthesis in ), seems to have first appeared in [9]. Lemma 6. C A x,y) = y m A xm. Again we give a sample result for a composition counting function that follows from this lemma. Theorem 7. Let A denote the set of all positive odd integers. Then c A n,m) is given by the doubly-indexed sequence f n,m ) defined recursively through f 0,0 = f, := f n,0 := 0 for n f 0,m := 0 for m f,m := 0 for m 2 f n,m := f n 2,m f n,m for n 2, m. Proof. Let A denote the set of all positive odd integers. Then by Lemma 6, C A = y x x 2 = x2 x 2 xy. Developing the right-hand side into a power series n,m 0 f n,mx n y m gives x 2 xy ) f n,m x n y m = f n,m x n y m f n 2,m x n y m n,m 0 and comparing coefficients yields n,m 0 = x 2, f 0,0 = f, =, f,0 = f 2,0 = 0 n 2, m 0 f n,0 = f n 2,0 for n 3 = f n,0 = 0 for n f 0,m = 0 for m f,m = f 0,m for m = f,m = 0 for m 2 f n,m = f n 2,m f n,m for n 2, m. 5. Concluding Remarks n,m f n,m x n y m The usefulness of Lemma 3 is not restricted to the cases where the set A of possible parts of a composition is formed by arithmetic sequences. For example, for A = Z 2 we obtain C A x) = x2 x = x x x 2,
VARIATIONS ON A GENERATINGFUNCTIONAL THEME 7 which is the rational generating function for the Fibonacci series appended by a constant term of ; this confirms Cayley s result mentioned in the introduction. One might just as well consider, e.g., A = Z 3 : C A x) = = x x x 3, x3 x whose corresponding composition counting function c A n) is hence given by a third-order linear recurrence. But again, these are merely two further examples of the treasure trove that Lemma 3 provides. References. The On-Line Encyclopedia of Integer Sequences, published electronically at http://oeis.org, 204. 2. George E. Andrews, The Theory of Partitions, Cambridge Mathematical Library, Cambridge University Press, Cambridge, 998, Reprint of the 976 original. 3. George E. Andrews and Kimmo Eriksson, Integer Partitions, Cambridge University Press, Cambridge, 2004. 4. Arthur Cayley, The collected mathematical papers. Volume 0, Cambridge Library Collection, Cambridge University Press, Cambridge, 2009, Reprint of the 896 original. 5. William Feller, An Introduction to Probability Theory and Its Applications. Vol. I, Third Edition, John Wiley & Sons Inc., New York, N.Y., 968. 6. Ira M. Gessel and Ji Li, Compositions and Fibonacci identities, J. Integer Seq. 6 203), no. 4, Art. 2.4.5, 6. 7. Silvia Heubach and Toufik Mansour, Compositions of n with parts in a set, Proceedings of the Thirty-Fifth Southeastern International Conference on Combinatorics, Graph Theory and Computing, vol. 68, 2004, pp. 27 43. 8., Combinatorics of Compositions and Words, Discrete Mathematics and its Applications Boca Raton), CRC Press, Boca Raton, FL, 200. 9. Verner E. Hoggatt, Jr. and D. A. Lind, Fibonacci and binomial properties of weighted compositions, J. Combinatorial Theory 4 968), 2 24. 0. Arnold Knopfmacher and Neville Robbins, On binary and Fibonacci compositions, Ann. Univ. Sci. Budapest. Sect. Comput. 22 2003), 93 206.. Robert Milson, Composition sum identities related to the distribution of coordinate values in a discrete simplex, Electron. J. Combin. 7 2000), Research Paper 20, 4 pp. electronic). 2. Leo Moser and E. L. Whitney, Weighted compositions, Canad. Math. Bull. 4 96), 39 43. 3. Neville Robbins, On Tribonacci numbers and 3-regular compositions, Fibonacci Quaterly, to appear. 4., On r-regular compositions, Journal for Combinatorial Mathematics and Combinatorial Computing, to appear. 5. Andrew V. Sills, Compositions, partitions, and Fibonacci numbers, Fibonacci Quart. 49 20), no. 4, 348 354. Department of Mathematics, San Francisco State University, San Francisco, CA 9432, USA E-mail address: [mattbeck,nrobbins]@sfsu.edu