arxiv: v1 [math.nt] 4 Mar 2014
|
|
- Jerome Cannon
- 5 years ago
- Views:
Transcription
1 VARIATIONS ON A GENERATINGFUNCTIONAL THEME: ENUMERATING COMPOSITIONS WITH PARTS AVOIDING AN ARITHMETIC SEQUENCE arxiv: v [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 = λ + λ λ 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 ). 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 Mathematics Subject Classification. Primary P83; Secondary 05A7. Key words and phrases. Composition, ordered partition, arithmetic sequence, generating function, recursion, Fibonacci sequence.
2 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.
3 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 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 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 ) 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 α and β,γ ± i 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 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 α and β,γ ± i.
5 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 α and β,γ ± i 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) Table. Evaluations of the composition counting functions avoiding arithmetic sequences modulo 3.
6 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,
7 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 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, 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., Ira M. Gessel and Ji Li, Compositions and Fibonacci identities, J. Integer Seq ), no. 4, Art , 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 , Combinatorics of Compositions and Words, Discrete Mathematics and its Applications Boca Raton), CRC Press, Boca Raton, FL, Verner E. Hoggatt, Jr. and D. A. Lind, Fibonacci and binomial properties of weighted compositions, J. Combinatorial Theory 4 968), Arnold Knopfmacher and Neville Robbins, On binary and Fibonacci compositions, Ann. Univ. Sci. Budapest. Sect. Comput ), Robert Milson, Composition sum identities related to the distribution of coordinate values in a discrete simplex, Electron. J. Combin ), Research Paper 20, 4 pp. electronic). 2. Leo Moser and E. L. Whitney, Weighted compositions, Canad. Math. Bull. 4 96), 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 ), no. 4, Department of Mathematics, San Francisco State University, San Francisco, CA 9432, USA address: [mattbeck,nrobbins]@sfsu.edu
PARTITIONS WITH FIXED DIFFERENCES BETWEEN LARGEST AND SMALLEST PARTS
PARTITIONS WITH FIXED DIFFERENCES BETWEEN LARGEST AND SMALLEST PARTS GEORGE E. ANDREWS, MATTHIAS BECK, AND NEVILLE ROBBINS Abstract. We study the number p(n, t) of partitions of n with difference t between
More informationPARTITIONS WITH FIXED DIFFERENCES BETWEEN LARGEST AND SMALLEST PARTS
PARTITIONS WITH FIXED DIFFERENCES BETWEEN LARGEST AND SMALLEST PARTS GEORGE E. ANDREWS, MATTHIAS BECK, AND NEVILLE ROBBINS Abstract. We study the number p(n, t) of partitions of n with difference t between
More informationA LATTICE POINT ENUMERATION APPROACH TO PARTITION IDENTITIES
A LATTICE POINT ENUMERATION APPROACH TO PARTITION IDENTITIES A thesis presented to the faculty of San Francisco State University In partial fulfilment of The Requirements for The Degree Master of Arts
More informationPartition Identities
Partition Identities Alexander D. Healy ahealy@fas.harvard.edu May 00 Introduction A partition of a positive integer n (or a partition of weight n) is a non-decreasing sequence λ = (λ, λ,..., λ k ) of
More informationOn the Sylvester Denumerants for General Restricted Partitions
On the Sylvester Denumerants for General Restricted Partitions Geir Agnarsson Abstract Let n be a nonnegative integer and let ã = (a 1... a k be a k-tuple of positive integers. The term denumerant introduced
More informationCompositions, Bijections, and Enumerations
Georgia Southern University Digital Commons@Georgia Southern Electronic Theses & Dissertations COGS- Jack N. Averitt College of Graduate Studies Fall 2012 Compositions, Bijections, and Enumerations Charles
More informationCOMPOSITIONS, PARTITIONS, AND FIBONACCI NUMBERS
COMPOSITIONS PARTITIONS AND FIBONACCI NUMBERS ANDREW V. SILLS Abstract. A bijective proof is given for the following theorem: the number of compositions of n into odd parts equals the number of compositions
More informationSHI-MEI MA AND YEONG-NAN YEH
ENUMERATION OF PERMUTATIONS BY NUMBER OF ALTERNATING DESCENTS SHI-MEI MA AND YEONG-NAN YEH Abstract. In this paper we present an explicit formula for the number of permutations with a given number of alternating
More informationCongruence successions in compositions
Discrete Mathematics and Theoretical Computer Science DMTCS vol. 16:, 014, 37 338 Congruence successions in compositions Toufik Mansour 1 Mark Shattuck Mark C. Wilson 3 1 Department of Mathematics, University
More informationBijective Proofs with Spotted Tilings
Brian Hopkins, Saint Peter s University, New Jersey, USA Visiting Scholar, Mahidol University International College Editor, The College Mathematics Journal MUIC Mathematics Seminar 2 November 2016 outline
More informationEnumerating Distinct Chessboard Tilings and Generalized Lucas Sequences Part I
Enumerating Distinct Chessboard Tilings and Generalized Lucas Sequences Part I Daryl DeFord Washington State University January 28, 2013 Roadmap 1 Problem 2 Symmetry 3 LHCCRR as Vector Spaces 4 Generalized
More informationA Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)!
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 8 (2005), Article 05.2.3 A Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)! Ira M. Gessel 1 and Guoce Xin Department of Mathematics Brandeis
More informationPrimary classes of compositions of numbers
Annales Mathematicae et Informaticae 41 (2013) pp. 193 204 Proceedings of the 15 th International Conference on Fibonacci Numbers and Their Applications Institute of Mathematics and Informatics, Eszterházy
More informationA PERIODIC APPROACH TO PLANE PARTITION CONGRUENCES
A PERIODIC APPROACH TO PLANE PARTITION CONGRUENCES MATTHEW S. MIZUHARA, JAMES A. SELLERS, AND HOLLY SWISHER Abstract. Ramanujan s celebrated congruences of the partition function p(n have inspired a vast
More informationC-COLOR COMPOSITIONS AND PALINDROMES
CAROLINE SHAPCOTT Abstract. An unepected relationship is demonstrated between n-color compositions compositions for which a part of size n can take on n colors) and part-products of ordinary compositions.
More informationarxiv: v1 [math.co] 13 Jul 2017
A GENERATING FUNCTION FOR THE DISTRIBUTION OF RUNS IN BINARY WORDS arxiv:1707.04351v1 [math.co] 13 Jul 2017 JAMES J. MADDEN Abstract. Let N(n, r, k) denote the number of binary words of length n that begin
More informationare the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1).
Lecture A jacques@ucsd.edu Notation: N, R, Z, F, C naturals, reals, integers, a field, complex numbers. p(n), S n,, b(n), s n, partition numbers, Stirling of the second ind, Bell numbers, Stirling of the
More informationCombinatorial algorithms
Combinatorial algorithms computing subset rank and unrank, Gray codes, k-element subset rank and unrank, computing permutation rank and unrank Jiří Vyskočil, Radek Mařík 2012 Combinatorial Generation definition:
More informationCOMPOSITIONS AND FIBONACCI NUMBERS
COMPOSITIONS AND FIBONACCI NUMBERS V. E. HOGGATT, JR., and D. A. LIND San Jose State College, San Jose, California and University of Cambridge, England 1, INTRODUCTION A composition of n is an ordered
More informationCOMPOSITIONS WITH A FIXED NUMBER OF INVERSIONS
COMPOSITIONS WITH A FIXED NUMBER OF INVERSIONS A. KNOPFMACHER, M. E. MAYS, AND S. WAGNER Abstract. A composition of the positive integer n is a representation of n as an ordered sum of positive integers
More informationCounting Palindromic Binary Strings Without r-runs of Ones
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 16 (013), Article 13.8.7 Counting Palindromic Binary Strings Without r-runs of Ones M. A. Nyblom School of Mathematics and Geospatial Science RMIT University
More informationarxiv: v1 [math.ca] 7 Mar 2013
A SIMPLE PROOF OF ANDREWS S 5 F 4 EVALUATION IRA M. GESSEL arxiv:1303.1757v1 [math.ca] 7 Mar 2013 Department of Mathematics Brandeis University Waltham, MA 02453 gessel@brandeis.edu Abstract. We give a
More informationGenerating Functions
Semester 1, 2004 Generating functions Another means of organising enumeration. Two examples we have seen already. Example 1. Binomial coefficients. Let X = {1, 2,..., n} c k = # k-element subsets of X
More informationBIJECTIVE PROOFS FOR FIBONACCI IDENTITIES RELATED TO ZECKENDORF S THEOREM
BIJECTIVE PROOFS FOR FIBONACCI IDENTITIES RELATED TO ZECKENDORF S THEOREM Philip Matchett Wood Department of Mathematics, Rutgers University, Piscataway, NJ 08854 e-mail: matchett@math.rutgers.edu (Submitted
More informationPARTITIONS OF FINITE VECTOR SPACES INTO SUBSPACES
PARTITIONS OF FINITE VECTOR SPACES INTO SUBSPACES S.I. EL-ZANATI, G.F. SEELINGER, P.A. SISSOKHO, L.E. SPENCE, AND C. VANDEN EYNDEN Abstract. Let V n (q) denote a vector space of dimension n over the field
More informationInteger Sequences Related to Compositions without 2 s
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 6 (2003), Article 03.2.3 Integer Sequences Related to Compositions without 2 s Phyllis Chinn Department of Mathematics Humboldt State University Arcata,
More informationIncomplete Tribonacci Numbers and Polynomials
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014, Article 14.4. Incomplete Tribonacci Numbers and Polynomials José L. Ramírez 1 Instituto de Matemáticas y sus Aplicaciones Calle 74 No. 14-14 Bogotá
More informationApplication of Logic to Generating Functions. Holonomic (P-recursive) Sequences
Application of Logic to Generating Functions Holonomic (P-recursive) Sequences Johann A. Makowsky Faculty of Computer Science, Technion - Israel Institute of Technology, Haifa, Israel http://www.cs.technion.ac.il/
More informationNoncommutative Abel-like identities
Noncommutative Abel-like identities Darij Grinberg draft, January 15, 2018 Contents 1. Introduction 1 2. The identities 3 3. The proofs 7 3.1. Proofs of Theorems 2.2 and 2.4...................... 7 3.2.
More informationarxiv: v2 [math.nt] 4 Jun 2016
ON THE p-adic VALUATION OF STIRLING NUMBERS OF THE FIRST KIND PAOLO LEONETTI AND CARLO SANNA arxiv:605.07424v2 [math.nt] 4 Jun 206 Abstract. For all integers n k, define H(n, k) := /(i i k ), where the
More informationBijective proofs for Fibonacci identities related to Zeckendorf s Theorem
Bijective proofs for Fibonacci identities related to Zeckendorf s Theorem Philip Matchett Wood Department of Mathematics, Rutgers University, Hill Center Busch Campus, 0 Frelinghuysen Rd, Piscataway, NJ
More informationCOUNTING STAIRCASES IN INTEGER COMPOSITIONS
COUNTING STAIRCASES IN INTEGER COMPOSITIONS AUBREY BLECHER AND TOUFIK MANSOUR Abstract The main theorem establishes the generating function F which counts the number of times the staircase 1 + 2 + 3 +
More informationMULTI-ORDERED POSETS. Lisa Bishop Department of Mathematics, Occidental College, Los Angeles, CA 90041, United States.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (2007), #A06 MULTI-ORDERED POSETS Lisa Bishop Department of Mathematics, Occidental College, Los Angeles, CA 90041, United States lbishop@oxy.edu
More informationCounting permutations by cyclic peaks and valleys
Annales Mathematicae et Informaticae 43 (2014) pp. 43 54 http://ami.ektf.hu Counting permutations by cyclic peaks and valleys Chak-On Chow a, Shi-Mei Ma b, Toufik Mansour c Mark Shattuck d a Division of
More informationPermutations with Inversions
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 4 2001, Article 01.2.4 Permutations with Inversions Barbara H. Margolius Cleveland State University Cleveland, Ohio 44115 Email address: b.margolius@csuohio.edu
More informationOn divisibility of Narayana numbers by primes
On divisibility of Narayana numbers by primes Miklós Bóna Department of Mathematics, University of Florida Gainesville, FL 32611, USA, bona@math.ufl.edu and Bruce E. Sagan Department of Mathematics, Michigan
More informationMath 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction
Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationThe distribution of run lengths in integer compositions
The distribution of run lengths in integer compositions Herbert S Wilf University of Pennsylvania Philadelphia PA 19104-6395, USA wilf@mathupennedu Submitted: Mar 7, 2010; Accepted: Oct 9, 2011; Published:
More informationON QUADRAPELL NUMBERS AND QUADRAPELL POLYNOMIALS
Hacettepe Journal of Mathematics and Statistics Volume 8() (009), 65 75 ON QUADRAPELL NUMBERS AND QUADRAPELL POLYNOMIALS Dursun Tascı Received 09:0 :009 : Accepted 04 :05 :009 Abstract In this paper we
More informationCourse : Algebraic Combinatorics
Course 18.31: Algebraic Combinatorics Lecture Notes # 10 Addendum by Gregg Musiker (Based on Lauren Williams Notes for Math 19 at Harvard) February 5th - 7th, 009 1 Introduction to Partitions A partition
More informationA LINEAR BINOMIAL RECURRENCE AND THE BELL NUMBERS AND POLYNOMIALS
Applicable Analysis and Discrete Mathematics, 1 (27, 371 385. Available electronically at http://pefmath.etf.bg.ac.yu A LINEAR BINOMIAL RECURRENCE AND THE BELL NUMBERS AND POLYNOMIALS H. W. Gould, Jocelyn
More informationColloq. Math. 145(2016), no. 1, ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS. 1. Introduction. x(x 1) (1.1) p m (x) = (m 2) + x.
Colloq. Math. 145(016), no. 1, 149-155. ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS FAN GE AND ZHI-WEI SUN Abstract. For m = 3, 4,... those p m (x) = (m )x(x 1)/ + x with x Z are called generalized
More informationBinomial coefficients and k-regular sequences
Binomial coefficients and k-regular sequences Eric Rowland Hofstra University New York Combinatorics Seminar CUNY Graduate Center, 2017 12 22 Eric Rowland Binomial coefficients and k-regular sequences
More informationON DIVISIBILITY OF SOME POWER SUMS. Tamás Lengyel Department of Mathematics, Occidental College, 1600 Campus Road, Los Angeles, USA.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (007, #A4 ON DIVISIBILITY OF SOME POWER SUMS Tamás Lengyel Department of Mathematics, Occidental College, 600 Campus Road, Los Angeles, USA
More informationGenerating Functions
8.30 lecture notes March, 0 Generating Functions Lecturer: Michel Goemans We are going to discuss enumeration problems, and how to solve them using a powerful tool: generating functions. What is an enumeration
More informationEnumerating Binary Strings
International Mathematical Forum, Vol. 7, 2012, no. 38, 1865-1876 Enumerating Binary Strings without r-runs of Ones M. A. Nyblom School of Mathematics and Geospatial Science RMIT University Melbourne,
More information1 Solving Linear Recurrences
Solving Linear Recurrences Suppose we have a sequence a n defined by the formula The first couple terms of the sequence are a n = 3a n +, a 0 =, 4, 3, 40, 2,... Can you find a general closed for expression
More informationOn an identity of Gessel and Stanton and the new little Göllnitz identities
On an identity of Gessel and Stanton and the new little Göllnitz identities Carla D. Savage Dept. of Computer Science N. C. State University, Box 8206 Raleigh, NC 27695, USA savage@csc.ncsu.edu Andrew
More informationGenerating Functions (Revised Edition)
Math 700 Fall 06 Notes Generating Functions (Revised Edition What is a generating function? An ordinary generating function for a sequence (a n n 0 is the power series A(x = a nx n. The exponential generating
More informationA Combinatorial Proof of the Recurrence for Rook Paths
A Combinatorial Proof of the Recurrence for Rook Paths Emma Yu Jin and Markus E. Nebel Department of Computer Science niversity of Kaiserslautern, Germany {jin,nebel}@cs.uni-kl.de Submitted: Feb 23, 2012;
More informationCOMPOSITION SUM IDENTITIES RELATED TO THE DISTRIBUTION OF COORDINATE VALUES IN A DISCRETE SIMPLEX.
COMPOSITION SUM IDENTITIES RELATED TO THE DISTRIBUTION OF COORDINATE VALUES IN A DISCRETE SIMPLEX. R. MILSON DEPT. MATHEMATICS & STATISTICS DALHOUSIE UNIVERSITY HALIFAX, N.S. B3H 3J5 CANADA MILSON@MATHSTAT.DAL.CA
More informationand the compositional inverse when it exists is A.
Lecture B jacques@ucsd.edu Notation: R denotes a ring, N denotes the set of sequences of natural numbers with finite support, is a generic element of N, is the infinite zero sequence, n 0 R[[ X]] denotes
More informationAn Application of Catalan Numbers on Cayley Tree of Order 2: Single Polygon Counting
BULLETIN of the Malaysian Mathematical Sciences Society http://math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. (2) 31(2) (2008), 175 183 An Application of Catalan Numbers on Cayley Tree of Order 2:
More informationOn Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers
A tal given at the Institute of Mathematics, Academia Sinica (Taiwan (Taipei; July 6, 2011 On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers Zhi-Wei Sun Nanjing University
More informationModular Periodicity of the Euler Numbers and a Sequence by Arnold
Arnold Math J. (2018) 3:519 524 https://doi.org/10.1007/s40598-018-0079-0 PROBLEM CONTRIBUTION Modular Periodicity of the Euler Numbers and a Sequence by Arnold Sanjay Ramassamy 1 Received: 19 November
More informationA reciprocity theorem for domino tilings
A reciprocity theorem for domino tilings James Propp Department of Mathematics University of Wisconsin Madison, Wisconsin, USA propp@math.wisc.edu Submitted: April 1, 2001; Accepted: April 30, 2001 MR
More informationPartition of Integers into Distinct Summands with Upper Bounds. Partition of Integers into Even Summands. An Example
Partition of Integers into Even Summands We ask for the number of partitions of m Z + into positive even integers The desired number is the coefficient of x m in + x + x 4 + ) + x 4 + x 8 + ) + x 6 + x
More informationOn the indecomposability of polynomials
On the indecomposability of polynomials Andrej Dujella, Ivica Gusić and Robert F. Tichy Abstract Applying a combinatorial lemma a new sufficient condition for the indecomposability of integer polynomials
More informationAn enumeration of equilateral triangle dissections
arxiv:090.599v [math.co] Apr 00 An enumeration of equilateral triangle dissections Aleš Drápal Department of Mathematics Charles University Sokolovská 83 86 75 Praha 8 Czech Republic Carlo Hämäläinen Department
More informationarxiv: v1 [math.co] 24 Jan 2017
CHARACTERIZING THE NUMBER OF COLOURED m ARY PARTITIONS MODULO m, WITH AND WITHOUT GAPS I. P. GOULDEN AND PAVEL SHULDINER arxiv:1701.07077v1 [math.co] 24 Jan 2017 Abstract. In a pair of recent papers, Andrews,
More informationOn the Ordinary and Signed Göllnitz-Gordon Partitions
On the Ordinary and Signed Göllnitz-Gordon Partitions Andrew V. Sills Department of Mathematical Sciences Georgia Southern University Statesboro, Georgia, USA asills@georgiasouthern.edu Version of October
More informationCombinatorial Proofs and Algebraic Proofs I
Combinatorial Proofs and Algebraic Proofs I Shailesh A Shirali Shailesh A Shirali is Director of Sahyadri School (KFI), Pune, and also Head of the Community Mathematics Centre in Rishi Valley School (AP).
More informationInteger partitions into Diophantine pairs
Availaible on line at http://www.liforce.usthb.dz bulletin-liforce@usthb.dz Bulletin du Laboratoire 04 (015) 8-35 Integer partitions into Diophantine pairs Zahra YAHI 1, Nesrine BENYAHIA TANI, Sadek BOUROUBI
More informationarxiv: v1 [math.co] 23 Feb 2012
HOW TO WRITE A PERMUTATION AS A PRODUCT OF INVOLUTIONS (AND WHY YOU MIGHT CARE) T. KYLE PETERSEN AND BRIDGET EILEEN TENNER arxiv:0.9v [math.co] Feb 0 Abstract. It is well-known that any permutation can
More informationThe primitive root theorem
The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under
More informationTHE LECTURE HALL PARALLELEPIPED
THE LECTURE HALL PARALLELEPIPED FU LIU AND RICHARD P. STANLEY Abstract. The s-lecture hall polytopes P s are a class of integer polytopes defined by Savage and Schuster which are closely related to the
More informationA GENERALIZATION OF THE FARKAS AND KRA PARTITION THEOREM FOR MODULUS 7
A GENERALIZATION OF THE FARKAS AND KRA PARTITION THEOREM FOR MODULUS 7 S. OLE WARNAAR Dedicated to George Andrews on the occasion of his 65th birthday Abstract. We prove generalizations of some partition
More informationABSTRACT 1. INTRODUCTION
THE FIBONACCI NUMBER OF GENERALIZED PETERSEN GRAPHS Stephan G. Wagner Department of Mathematics, Graz University of Technology, Steyrergasse 30, A-8010 Graz, Austria e-mail: wagner@finanz.math.tu-graz.ac.at
More informationWoon s Tree and Sums over Compositions
2 3 47 6 23 Journal of Integer Sequences, Vol. 2 208, Article 8.3.4 Woon s Tree and Sums over Compositions Christophe Vignat L.S.S., CentraleSupelec Université Paris Sud Orsay, 992 France and Department
More informationA COMBINATORIAL PROOF OF A RESULT FROM NUMBER THEORY
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 4 (004), #A09 A COMBINATORIAL PROOF OF A RESULT FROM NUMBER THEORY Shaun Cooper Institute of Information and Mathematical Sciences, Massey University
More informationInvestigating Geometric and Exponential Polynomials with Euler-Seidel Matrices
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 14 (2011), Article 11.4.6 Investigating Geometric and Exponential Polynomials with Euler-Seidel Matrices Ayhan Dil and Veli Kurt Department of Mathematics
More informationCombinatorial Reciprocity Theorems
Combinatorial Reciprocity Theorems Matthias Beck San Francisco State University math.sfsu.edu/beck based on joint work with Raman Sanyal Universität Frankfurt JCCA 2018 Sendai Thomas Zaslavsky Binghamton
More informationPolynomial analogues of Ramanujan congruences for Han s hooklength formula
Polynomial analogues of Ramanujan congruences for Han s hooklength formula William J. Keith CELC, University of Lisbon Email: william.keith@gmail.com Detailed arxiv preprint: 1109.1236 Context Partition
More informationA RESULT ON RAMANUJAN-LIKE CONGRUENCE PROPERTIES OF THE RESTRICTED PARTITION FUNCTION p(n, m) ACROSS BOTH VARIABLES
#A63 INTEGERS 1 (01) A RESULT ON RAMANUJAN-LIKE CONGRUENCE PROPERTIES OF THE RESTRICTED PARTITION FUNCTION p(n, m) ACROSS BOTH VARIABLES Brandt Kronholm Department of Mathematics, Whittier College, Whittier,
More informationNewton, Fermat, and Exactly Realizable Sequences
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 8 (2005), Article 05.1.2 Newton, Fermat, and Exactly Realizable Sequences Bau-Sen Du Institute of Mathematics Academia Sinica Taipei 115 TAIWAN mabsdu@sinica.edu.tw
More informationF. T. HOWARD AND CURTIS COOPER
SOME IDENTITIES FOR r-fibonacci NUMBERS F. T. HOWARD AND CURTIS COOPER Abstract. Let r 1 be an integer. The r-generalized Fibonacci sequence {G n} is defined as 0, if 0 n < r 1; G n = 1, if n = r 1; G
More informationCOM S 330 Lecture Notes Week of Feb 9 13
Monday, February 9. Rosen.4 Sequences Reading: Rosen.4. LLM 4.. Ducks 8., 8., Def: A sequence is a function from a (usually infinite) subset of the integers (usually N = {0,,, 3,... } or Z + = {,, 3, 4,...
More informationMaximal Independent Sets In Graphs With At Most r Cycles
Maximal Independent Sets In Graphs With At Most r Cycles Goh Chee Ying Department of Mathematics National University of Singapore Singapore goh chee ying@moe.edu.sg Koh Khee Meng Department of Mathematics
More informationDIFFERENTIAL POSETS SIMON RUBINSTEIN-SALZEDO
DIFFERENTIAL POSETS SIMON RUBINSTEIN-SALZEDO Abstract. In this paper, we give a sampling of the theory of differential posets, including various topics that excited me. Most of the material is taken from
More informationGray Codes and Overlap Cycles for Restricted Weight Words
Gray Codes and Overlap Cycles for Restricted Weight Words Victoria Horan Air Force Research Laboratory Information Directorate Glenn Hurlbert School of Mathematical and Statistical Sciences Arizona State
More informationIra M. Gessel Department of Mathematics, Brandeis University, P.O. Box 9110, Waltham, MA Revised September 30, 1988
GENERALIZED ROOK POLYNOMIALS AND ORTHOGONAL POLYNOMIALS Ira M. Gessel Department of Mathematics, Brandeis University, P.O. Box 9110, Waltham, MA 02254-9110 Revised September 30, 1988 Abstract. We consider
More informationCounting Peaks and Valleys in a Partition of a Set
1 47 6 11 Journal of Integer Sequences Vol. 1 010 Article 10.6.8 Counting Peas and Valleys in a Partition of a Set Toufi Mansour Department of Mathematics University of Haifa 1905 Haifa Israel toufi@math.haifa.ac.il
More informationCATALAN DETERMINANTS A COMBINATORIAL APPROACH
CATALAN DETERMINANTS A COMBINATORIAL APPROACH ARTHUR T BENJAMIN, NAIOMI T CAMERON, JENNIFER J QUINN, AND CARL R YERGER Abstract Determinants of matrices involving the Catalan sequence have appeared throughout
More informationProblem Set 5 Solutions
Problem Set 5 Solutions Section 4.. Use mathematical induction to prove each of the following: a) For each natural number n with n, n > + n. Let P n) be the statement n > + n. The base case, P ), is true
More informationARITHMETIC PROPERTIES FOR HYPER M ARY PARTITION FUNCTIONS
ARITHMETIC PROPERTIES FOR HYPER M ARY PARTITION FUNCTIONS Kevin M. Courtright Department of Mathematics, The Pennsylvania State University, University Park, PA 16802 kmc260@psu.edu James A. Sellers Department
More informationCDM Combinatorial Principles
CDM Combinatorial Principles 1 Counting Klaus Sutner Carnegie Mellon University Pigeon Hole 22-in-exclusion 2017/12/15 23:16 Inclusion/Exclusion Counting 3 Aside: Ranking and Unranking 4 Counting is arguably
More informationarxiv: v1 [math.nt] 26 Jun 2015
A -DIGITAL BINOMIAL THEOREM TOUFIK MANSOUR AND HIEU D. NGUYEN arxiv:1506.07945v1 [math.nt] 26 Jun 2015 Abstract. We present a multivariable generalization of the digital binomial theorem from which a -analog
More informationarxiv: v1 [math.co] 11 Aug 2015
arxiv:1508.02762v1 [math.co] 11 Aug 2015 A Family of the Zeckendorf Theorem Related Identities Ivica Martinjak Faculty of Science, University of Zagreb Bijenička cesta 32, HR-10000 Zagreb, Croatia Abstract
More informationarxiv: v3 [math.co] 6 Aug 2016
ANALOGUES OF A FIBONACCI-LUCAS IDENTITY GAURAV BHATNAGAR arxiv:1510.03159v3 [math.co] 6 Aug 2016 Abstract. Sury s 2014 proof of an identity for Fibonacci and Lucas numbers (Identity 236 of Benjamin and
More information1. Introduction Definition 1.1. Let r 1 be an integer. The r-generalized Fibonacci sequence {G n } is defined as
SOME IDENTITIES FOR r-fibonacci NUMBERS F. T. HOWARD AND CURTIS COOPER Abstract. Let r 1 be an integer. The r-generalized Fibonacci sequence {G n} is defined as 8 >< 0, if 0 n < r 1; G n = 1, if n = r
More informationIDENTITY OF AN UNKNOWN TERM IN A TETRANACCI- LIKE SEQUENCE
IDENTITY OF AN UNKNOWN TERM IN A TETRANACCI- LIKE SEQUENCE Gautam S Hathiwala 1, Devbhadra V Shah 2 Lecturer, Department of Applied Science, CK Pithawalla College of Engineering & Technology, Surat, Gujarat
More informationFibonacci and Lucas Identities the Golden Way
Fibonacci Lucas Identities the Golden Way Kunle Adegoe adegoe00@gmail.com arxiv:1810.12115v1 [math.nt] 25 Oct 2018 Department of Physics Engineering Physics, Obafemi Awolowo University, 220005 Ile-Ife,
More informationEuler characteristic of the truncated order complex of generalized noncrossing partitions
Euler characteristic of the truncated order complex of generalized noncrossing partitions D. Armstrong and C. Krattenthaler Department of Mathematics, University of Miami, Coral Gables, Florida 33146,
More informationand Other Combinatorial Reciprocity Instances
and Other Combinatorial Reciprocity Instances Matthias Beck San Francisco State University math.sfsu.edu/beck [Courtney Gibbons] Act 1: Binomial Coefficients Not everything that can be counted counts,
More informationCHARACTERIZING THE NUMBER OF m ARY PARTITIONS MODULO m Mathematics Subject Classification: 05A17, 11P83
CHARACTERIZING THE NUMBER OF m ARY PARTITIONS MODULO m GEORGE E. ANDREWS, AVIEZRI S. FRAENKEL, AND JAMES A. SELLERS Abstract. Motivated by a recent conjecture of the second author related to the ternary
More informationA SIMPLE EXPLICIT BIJECTION BETWEEN (n, 2)-GOG AND MAGOG TRAPEZOIDS
Séminaire Lotharingien de Combinatoire 75 (2016), Article B75e A SIMPLE EXPLICIT BIJECTION BETWEEN (n, 2)-GOG AND MAGOG TRAPEZOIDS JÉRÉMIE BETTINELLI ABSTRACT. A sub-problem of the open problem of finding
More informationSequences that satisfy a(n a(n)) = 0
Sequences that satisfy a(n a(n)) = 0 Nate Kube Frank Ruskey October 13, 2005 Abstract We explore the properties of some sequences for which a(n a(n)) = 0. Under the natural restriction that a(n) < n the
More informationThe Gaussian coefficient revisited
The Gaussian coefficient revisited Richard EHRENBORG and Margaret A. READDY Abstract We give new -(1+)-analogue of the Gaussian coefficient, also now as the -binomial which, lie the original -binomial
More informationCounting on Continued Fractions
appeared in: Mathematics Magazine 73(2000), pp. 98-04. Copyright the Mathematical Association of America 999. All rights reserved. Counting on Continued Fractions Arthur T. Benjamin Francis Edward Su Harvey
More information