Permutation Patterns and Continued Fractions
|
|
- Phebe Bond
- 6 years ago
- Views:
Transcription
1 Permutation Patterns and Continued Fractions Aaron Robertson Colgate University, Hamilton, NY 3346 Herbert S. Wilf University of Pennsylvania, Philadelphia, PA Doron Zeilberger Temple University, Philadelphia, PA 922 Abstract We find, in the form of a continued fraction, the generating function for the number of (32)-avoiding permutations that have a given number of (23) patterns, and show how to extend this to permutations that have exactly one (32) pattern. We also find some properties of the continued fraction, which is similar to, though more general than, those that were studied by Ramanujan.
2 the electronic journal of combinatorics 6 (999), #Rxx 2 A (32) pattern (resp. a (23) pattern) in a permutation π of π letters is a triple i<j<k nof indices for which π(i) <π(k)<π(j)(resp. π(i) <π(j)<π(k)). Let f r (n) denote the number of permutations π of n letters that have no (32) patterns and exactly r (23) patterns. Our main result is the following. Theorem The generating function for the {f r (n)} is r,n 0 f r (n) n q r = q q3 q6... () in which the nth numerator is q (n 2 ). We think it is remarkable that such a continued fraction encodes information about (32)-avoiding permutations. We will first prove the theorem, and then study some consequences and generaliations. The patterns Let the weight of a permutation π of π letters be π q 23(π) t 2(π), in which 23(π) is the number of (23) patterns (rising triples) in π, and 2(π) is the number of rising pairs in π. Let P (q,, t) = weight(π), (2) π where the sum extends over all (32)-avoiding permutations π. If π is a (32)-avoiding permutation on {, 2,...,n},(n>0) and the largest element, n, isatthekth position, i.e., π(k) =n, then by letting π := {π(i)} k and π 2 := {π(i)} n k+, we have that every element in π must be larger than every element of π 2, or else a (32) would be formed, with the n serving as the 3 of the (32). Hence, π is a permutation of the set {n k +,...,n }, and π 2 is a permutation of the set {,...,n k}. Furthermore, π and π 2 are each (32)-avoiding. Conversely, if π and π 2 are (32)-avoiding permutations on {n k +,...,n }and {,...,n k}respectively (for some k, k n), then (π nπ 2 ) is a nonempty (32)-avoiding permutation. Thus we have 23(π) = 23(π ) + 23(π 2 ) + 2(π ), since a (23) pattern in π def = (π nπ 2 ) may either be totally immersed in the π part, or wholly immersed in the π 2 part, or may be due to the n serving as the 3 of the (23), the number of which is the number of (2) patterns in π.
3 the electronic journal of combinatorics 6 (999), #Rxx 3 We also have and, of course 2(π) = 2(π ) + 2(π 2 ) + π, π = π + π 2 +. Hence, weight(π)(q,, t) := q 23(π) π t 2(π) = q 23(π ) + 23(π 2 ) + 2(π ) π + π 2 + t 2(π ) + 2(π 2 ) + π = q 23(π ) (qt) 2(π ) (t) π q 23(π 2) t 2(π 2) π 2 = weight(π )(q, t, tq)weight(π 2 )(q,, t). Now sum over all possible (32)-avoiding permutations π, to get the functional equation P (q,, t) =+P(q, t, tq)p(q,, t), (3) in which the corresponds to the empty permutation. Next let Q(q,, t) be the sum of all the weights of all permutations with exactly one (32) pattern. By adapting the argument from Miklós Bóna s paper [?] we easily see that Q(q,, t) satisfies Q(q,, t) =P(q, t, qt)q(q,, t)+q(q, t, qt)p(q,, t)+t 2 2 P(q, t, qt)(p (q,, t) ). (4) This holds since our sole (32) pattern can either appear in the elements (a) before n, (b) after n, or (c) with n as the 3 in the (32) pattern. The term P(q, t, qt)q(q,, t) corresponds to (a), Q(q, t, qt)p(q,, t) corresponds to (b), and t 2 2 P (q, t, qt)(p (q,, t) ) corresponds to (c). We see that case (c) follows since π =(π,n k, n, π 2 ), where π is a permutation of [n k +2,...,n ], π 2 is a permutation of [,...,n k ] {n k+}, and k n. 2 The fractions Here we study this generating function P (q,, t) further, finding that it is a pretty continued fraction, and deriving a fairly explicit form for its numerator and denominator. First, from (??) we have that P (q,, t) = P(q, t, tq), (5)
4 the electronic journal of combinatorics 6 (999), #Rxx 4 and so by iteration we have the continued fraction, P (q,, t) = t t 2 q t3 q 3 t4 q (6) Now let A(q,, t) P (q,, t) = B(q,, t). Then substitution in (??) shows that A(q,, t) = B(q, t, tq), and therefore P (q,, t) = B(q, t, tq) B(q,, t), (7) where B satisfies the functional equation B(q,, t) =B(q, t, tq) B(q, t 2 q, tq 2 ). (8) To find out more about the form of B we write B(q,, t) = m 0φ m (q, t) m. Then φ 0 =, and φ m (q, t) =t m φ m (q, qt) t 2m 2 q m φ m (q, tq 2 ), for m =,2,3,... It is easy to see by induction that φ m (q, t) = j 2t jm 2 q m(j 2) 2j+3 φ m (q, tq j ). (m ; φ 0 =) For example, we have φ (q, t) = j 0t j q (j 2), and φ 2 (q, t) = j,l 2 t l+2j 4 q 2 l2 +j 2 +lj 5 2 l 5j+6. In general, the exponent of t in φ m (q, t) will be a linear form in the m summation indices, plus a constant, and the exponent of q will be an affine form in these indices,
5 the electronic journal of combinatorics 6 (999), #Rxx 5 i.e., a quadratic form plus a linear form plus a constant. Let s find all of these forms explicitly. Hence suppose in general that φ m (t) =( ) m t am j+bm q (j,qmj)+cm j+dm, j 0 in which j is the m-vector of summation indices, Q m is a real symmetric m m matrix to be determined, a m, c m are m-vectors, and b m,d m are scalars. Inductively we find that a m = {r} m r=, b m = 2m, c m = { 5r/2} m r=, d m = 3m. The m m matrix Q m is {min (r, s)/2} m r,s=. Thus we have the following formula for B. Theorem 2 The denominator B(q,, t) of the grand generating function P (q,, t) is explicitly given by B(q,, t) =+ ( q 3 t 2 ) m t { m m r= rjr q 2 r,s= min (r,s)jrjs 5 m r= }. rjr (9) m= j,...,j m 2 3 The series computations If f r (n) denotes the number of permutations of n letters that contain no pattern (32) and have exactly r (23) s, we write A (r, ) := nf r (n) n. Then A (r, ) is the coefficient of q r in the series development of P (q,, ) of (??). That is, we have q q3 q6... = r 0A (r, )q r. (0) From (??) we see that if we terminate the fraction P (q,, ) at the numerator q N,say, then we ll know all of the {A (r, )} N r=0 exactly. Further, if we know the denominator B(q,, t) in(??) exactly through terms of order q N, then by carrying out the division in (??) and keeping the same accuracy, we will, after setting t =, again obtain all of the generating functions {A (r, )} N r=0 exactly.
6 the electronic journal of combinatorics 6 (999), #Rxx 6 Finally, to find the denominator B(q,, t) in(??) exactly through terms of order q N, it is sufficient to carry out the iteration that is implicit in (??) N times, since further iteration will affect only the terms involving powers of q higher than the Nth. In that way we computed the A (r, ) s for 0 r 5 in a few seconds, as is shown below in the initial section of the series (??): q + ( ) 4 q 2 + ( )2 5 q ( ) q 4 ( 2 ) 2 ( 2 ) 3 ( 2 ) 4 ( +2 ) ( ) q 5 + ( ) 2 6 ( ) q 6 ( 2 ) 6 ( +2 ) ( ) q 7 ( 2 ) If g r (n) denotes the number of permutations of n letters that contain one (32) pattern and have exactly r (23) s, we write A 2 (r, ) := ng r (n) n. Then A 2 (r, ) is the coefficient of q r in the series development of Q(q,, ) of (??). Since we have a very quick method to compute P (q,, ), we can iterate equation (4) to compute the A 2 (r, ) s. Shown below are the A 2 (r, ) s for 0 r 6, that were computed in a few minutes. 3 ( 2) 2 + References 25 q + 4 ( ) ( 2) 3 ( 2) 4 q ( )(5 2 4+) ( 2) 5 q ( ) q ( ) q 5 ( 2) 6 ( 2) ( )( ) ( 2) 8 q [] Miklós Bóna, Permutations with one or two 32-subsequences. Discrete Math. 8 (998), no. -3, [2] Aaron Robertson, Permutations containing and avoiding 23 and 32 patterns. Discrete Math. and Theoretical Computer Science, 3 (999), no. 4, 9-22.
REFINED RESTRICTED PERMUTATIONS AVOIDING SUBSETS OF PATTERNS OF LENGTH THREE
REFINED RESTRICTED PERMUTATIONS AVOIDING SUBSETS OF PATTERNS OF LENGTH THREE Toufik Mansour LaBRI, Université Bordeaux 1, 51 cours de la Libération 405 Talence Cedex, France toufik@labri.fr Aaron Robertson
More informationThe initial involution patterns of permutations
The initial involution patterns of permutations Dongsu Kim Department of Mathematics Korea Advanced Institute of Science and Technology Daejeon 305-701, Korea dskim@math.kaist.ac.kr and Jang Soo Kim Department
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 informationA combinatorial determinant
A combinatorial erminant Herbert S Wilf Department of Mathematics, University of Pennsylvania Philadelphia, PA 19104-6395 Abstract A theorem of Mina evaluates the erminant of a matrix with entries D (f(x)
More informationRefining the Stern Diatomic Sequence
Refining the Stern Diatomic Sequence Richard P. Stanley Massachusetts Institute of Technology Cambridge, MA 0139-4307 Herbert S. Wilf University of Pennsylvania Philadelphia, PA 19104-6395
More informationTHE BAILEY TRANSFORM AND FALSE THETA FUNCTIONS
THE BAILEY TRANSFORM AND FALSE THETA FUNCTIONS GEORGE E ANDREWS 1 AND S OLE WARNAAR 2 Abstract An empirical exploration of five of Ramanujan s intriguing false theta function identities leads to unexpected
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 informationIntroduction to Series and Sequences Math 121 Calculus II Spring 2015
Introduction to Series and Sequences Math Calculus II Spring 05 The goal. The main purpose of our study of series and sequences is to understand power series. A power series is like a polynomial of infinite
More informationToufik Mansour 1. Department of Mathematics, Chalmers University of Technology, S Göteborg, Sweden
COUNTING OCCURRENCES OF 32 IN AN EVEN PERMUTATION Toufik Mansour Department of Mathematics, Chalmers University of Technology, S-4296 Göteborg, Sweden toufik@mathchalmersse Abstract We study the generating
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 informationAN ELEMENTARY APPROACH TO THE MACDONALD IDENTITIES* DENNIS STANTON
AN ELEMENTARY APPROACH TO THE MACDONALD IDENTITIES* DENNIS STANTON Abstract. Elementary proofs are given for the infinite families of Macdonald identities. The reflections of the Weyl group provide sign-reversing
More informationMath Circle: Recursion and Induction
Math Circle: Recursion and Induction Prof. Wickerhauser 1 Recursion What can we compute, using only simple formulas and rules that everyone can understand? 1. Let us use N to denote the set of counting
More informationPrime Numbers and Irrational Numbers
Chapter 4 Prime Numbers and Irrational Numbers Abstract The question of the existence of prime numbers in intervals is treated using the approximation of cardinal of the primes π(x) given by Lagrange.
More informationEnumeration Schemes for Words Avoiding Permutations
Enumeration Schemes for Words Avoiding Permutations Lara Pudwell November 27, 2007 Abstract The enumeration of permutation classes has been accomplished with a variety of techniques. One wide-reaching
More informationThe Matrix Representation of a Three-Dimensional Rotation Revisited
Physics 116A Winter 2010 The Matrix Representation of a Three-Dimensional Rotation Revisited In a handout entitled The Matrix Representation of a Three-Dimensional Rotation, I provided a derivation of
More informationTWO COLOR OFF-DIAGONAL RADO-TYPE NUMBERS
TWO COLOR OFF-DIAGONAL RADO-TYPE NUMBERS Kellen Myers 1 and Aaron Robertson Department of Mathematics, Colgate University, Hamilton, NY 13346 aaron@math.colgate.edu Abstract We show that for any two linear
More informationCSC 344 Algorithms and Complexity. Proof by Mathematical Induction
CSC 344 Algorithms and Complexity Lecture #1 Review of Mathematical Induction Proof by Mathematical Induction Many results in mathematics are claimed true for every positive integer. Any of these results
More informationGenerating Functions
Generating Functions Karen Ge May, 07 Abstract Generating functions gives us a global perspective when we need to study a local property. We define generating functions and present its applications in
More informationSequences and Series. College Algebra
Sequences and Series College Algebra Sequences A sequence is a function whose domain is the set of positive integers. A finite sequence is a sequence whose domain consists of only the first n positive
More informationCHAPTER 8: EXPLORING R
CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed
More information5. Sequences & Recursion
5. Sequences & Recursion Terence Sim 1 / 42 A mathematician, like a painter or poet, is a maker of patterns. Reading Sections 5.1 5.4, 5.6 5.8 of Epp. Section 2.10 of Campbell. Godfrey Harold Hardy, 1877
More informationMAT115A-21 COMPLETE LECTURE NOTES
MAT115A-21 COMPLETE LECTURE NOTES NATHANIEL GALLUP 1. Introduction Number theory begins as the study of the natural numbers the integers N = {1, 2, 3,...}, Z = { 3, 2, 1, 0, 1, 2, 3,...}, and sometimes
More informationCongruence Properties of Partition Function
CHAPTER H Congruence Properties of Partition Function Congruence properties of p(n), the number of partitions of n, were first discovered by Ramanujan on examining the table of the first 200 values of
More informationSequences and infinite series
Sequences and infinite series D. DeTurck University of Pennsylvania March 29, 208 D. DeTurck Math 04 002 208A: Sequence and series / 54 Sequences The lists of numbers you generate using a numerical method
More information= i 0. a i q i. (1 aq i ).
SIEVED PARTITIO FUCTIOS AD Q-BIOMIAL COEFFICIETS Fran Garvan* and Dennis Stanton** Abstract. The q-binomial coefficient is a polynomial in q. Given an integer t and a residue class r modulo t, a sieved
More informationColored Partitions and the Fibonacci Sequence
TEMA Tend. Mat. Apl. Comput., 7, No. 1 (006), 119-16. c Uma Publicação da Sociedade Brasileira de Matemática Aplicada e Computacional. Colored Partitions and the Fibonacci Sequence J.P.O. SANTOS 1, M.
More informationNumbers. 2.1 Integers. P(n) = n(n 4 5n 2 + 4) = n(n 2 1)(n 2 4) = (n 2)(n 1)n(n + 1)(n + 2); 120 =
2 Numbers 2.1 Integers You remember the definition of a prime number. On p. 7, we defined a prime number and formulated the Fundamental Theorem of Arithmetic. Numerous beautiful results can be presented
More informationChapter 11 - Sequences and Series
Calculus and Analytic Geometry II Chapter - Sequences and Series. Sequences Definition. A sequence is a list of numbers written in a definite order, We call a n the general term of the sequence. {a, a
More information(1.1) C(n; k) = D(n; k),
THE DUAL OF GÖLLNITZ S (BIG) PARTITION THEOREM* Krishnaswami Alladi University of Florida, Gainesville, FL 32611, USA George E Andrews The Pennsylvania State University, University Park, PA 16802, USA
More informationON MONOCHROMATIC ASCENDING WAVES. Tim LeSaulnier 1 and Aaron Robertson Department of Mathematics, Colgate University, Hamilton, NY 13346
INTEGERS: Electronic Journal of Combinatorial Number Theory 7(), #A3 ON MONOCHROMATIC ASCENDING WAVES Tim LeSaulnier 1 and Aaron Robertson Department of Mathematics, Colgate University, Hamilton, NY 1336
More information1 ** The performance objectives highlighted in italics have been identified as core to an Algebra II course.
Strand One: Number Sense and Operations Every student should understand and use all concepts and skills from the pervious grade levels. The standards are designed so that new learning builds on preceding
More informationADVANCE TOPICS IN PROBABILITY THEORY
ADVANCE TOPICS IN PROBABILITY THEORY NOTES COMPILED BY KATO LA Professor: Dr. Henry Landau E-mail: hjl4@columbia.edu Textbook: A First Course in Probability by Ross. Reference: An Introduction to Probability
More informationPRIMES Math Problem Set
PRIMES Math Problem Set PRIMES 017 Due December 1, 01 Dear PRIMES applicant: This is the PRIMES 017 Math Problem Set. Please send us your solutions as part of your PRIMES application by December 1, 01.
More informationMathematical Induction Assignments
1 Mathematical Induction Assignments Prove the Following using Principle of Mathematical induction 1) Prove that for any positive integer number n, n 3 + 2 n is divisible by 3 2) Prove that 1 3 + 2 3 +
More informationNumber, Number Sense, and Operations Data Analysis and Probability
Algebra 1 Unit 1 Numbers 3 weeks Number, Number Sense, and Operations Data Analysis and Probability NC Apply properties of operations and the real number system, and justify when they hold for a set of
More informationAlgebra 2 Secondary Mathematics Instructional Guide
Algebra 2 Secondary Mathematics Instructional Guide 2009-2010 ALGEBRA 2AB (Grade 9, 10 or 11) Prerequisite: Algebra 1AB or Geometry AB 310303 Algebra 2A 310304 Algebra 2B COURSE DESCRIPTION Los Angeles
More informationWORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers:
WORKSHEET MATH 215, FALL 15, WHYTE We begin our course with the natural numbers: N = {1, 2, 3,...} which are a subset of the integers: Z = {..., 2, 1, 0, 1, 2, 3,... } We will assume familiarity with their
More informationBINOMIAL COEFFICIENT IDENTITIES AND HYPERGEOMETRIC SERIES. Michael D. Hirschhorn
BINOMIAL COEFFICIENT IDENTITIES AND HYPERGEOMETRIC SERIES Michael D Hirschhorn In recent months I have come across many instances in which someone has found what they believe is a new result in which they
More informationCOMBINATORICS OF RAMANUJAN-SLATER TYPE IDENTITIES
COMBINATORICS OF RAMANUJAN-SLATER TYPE IDENTITIES James McLaughlin Department of Mathematics, West Chester University, West Chester, PA 9383, USA jmclaughl@wcupa.edu Andrew V. Sills Department of Mathematical
More informationMA10103: Foundation Mathematics I. Lecture Notes Week 1
MA00: Foundation Mathematics I Lecture Notes Week Numbers The naturals are the nonnegative whole numbers, i.e., 0,,,, 4,.... The set of naturals is denoted by N. Warning: Sometimes only the positive integers
More informationMaking Change of n cents
A Complete High School Proof of Schur s Theorem on Making Change of n cents William Gasarch Univ. of MD at College Park Introduction Let a, a 2,..., a L be coin denominations. Assume you have an unlimited
More informationCONWAY S COSMOLOGICAL THEOREM
CONWAY S COSMOLOGICAL THEOREM R.A. LITHERLAND. Introduction In [C], Conway introduced an operator on strings (finite sequences) of positive integers, the audioactive (or look and say ) operator. Usually,
More informationMath /Foundations of Algebra/Fall 2017 Foundations of the Foundations: Proofs
Math 4030-001/Foundations of Algebra/Fall 017 Foundations of the Foundations: Proofs A proof is a demonstration of the truth of a mathematical statement. We already know what a mathematical statement is.
More informationMath 328 Course Notes
Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the
More informationDefinition: A sequence is a function from a subset of the integers (usually either the set
Math 3336 Section 2.4 Sequences and Summations Sequences Geometric Progression Arithmetic Progression Recurrence Relation Fibonacci Sequence Summations Definition: A sequence is a function from a subset
More informationSection-A. Short Questions
Section-A Short Questions Question1: Define Problem? : A Problem is defined as a cultural artifact, which is especially visible in a society s economic and industrial decision making process. Those managers
More informationBasic Combinatorics. Math 40210, Section 01 Fall Homework 8 Solutions
Basic Combinatorics Math 4010, Section 01 Fall 01 Homework 8 Solutions 1.8.1 1: K n has ( n edges, each one of which can be given one of two colors; so Kn has (n -edge-colorings. 1.8.1 3: Let χ : E(K k
More informationProblem Solving in Math (Math 43900) Fall 2013
Problem Solving in Math (Math 43900) Fall 203 Week six (October ) problems recurrences Instructor: David Galvin Definition of a recurrence relation We met recurrences in the induction hand-out. Sometimes
More informationExcluded permutation matrices and the Stanley Wilf conjecture
Excluded permutation matrices and the Stanley Wilf conjecture Adam Marcus Gábor Tardos November 2003 Abstract This paper examines the extremal problem of how many 1-entries an n n 0 1 matrix can have that
More informationRestricted Motzkin permutations, Motzkin paths, continued fractions, and Chebyshev polynomials
Discrete Mathematics 305 (2005) 70 89 wwwelseviercom/locate/disc Restricted Motzkin permutations, Motzkin paths, continued fractions, and Chebyshev polynomials Sergi Elizalde a, Toufik Mansour b a Department
More informationPattern avoidance in compositions and multiset permutations
Pattern avoidance in compositions and multiset permutations Carla D. Savage North Carolina State University Raleigh, NC 27695-8206 Herbert S. Wilf University of Pennsylvania Philadelphia, PA 19104-6395
More informationCONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)
CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ωq) AND νq) GEORGE E. ANDREWS, DONNY PASSARY, JAMES A. SELLERS, AND AE JA YEE Abstract. Recently, Andrews, Dixit and Yee introduced partition
More informationANALOGUES OF THE TRIPLE PRODUCT IDENTITY, LEBESGUE S IDENTITY AND EULER S PENTAGONAL NUMBER THEOREM
q-hypergeometric PROOFS OF POLYNOMIAL ANALOGUES OF THE TRIPLE PRODUCT IDENTITY, LEBESGUE S IDENTITY AND EULER S PENTAGONAL NUMBER THEOREM S OLE WARNAAR Abstract We present alternative, q-hypergeometric
More informationMATH 55 - HOMEWORK 6 SOLUTIONS. 1. Section = 1 = (n + 1) 3 = 2. + (n + 1) 3. + (n + 1) 3 = n2 (n + 1) 2.
MATH 55 - HOMEWORK 6 SOLUTIONS Exercise Section 5 Proof (a) P () is the statement ( ) 3 (b) P () is true since ( ) 3 (c) The inductive hypothesis is P (n): ( ) n(n + ) 3 + 3 + + n 3 (d) Assuming the inductive
More informationCONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)
CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ωq) AND νq) GEORGE E. ANDREWS, DONNY PASSARY, JAMES A. SELLERS, AND AE JA YEE Abstract. Recently, Andrews, Dixit, and Yee introduced partition
More informationMath 1302 Notes 2. How many solutions? What type of solution in the real number system? What kind of equation is it?
Math 1302 Notes 2 We know that x 2 + 4 = 0 has How many solutions? What type of solution in the real number system? What kind of equation is it? What happens if we enlarge our current system? Remember
More informationSolutions to Homework Set 1
Solutions to Homework Set 1 1. Prove that not-q not-p implies P Q. In class we proved that A B implies not-b not-a Replacing the statement A by the statement not-q and the statement B by the statement
More informationREFINED RESTRICTED INVOLUTIONS
REFINED RESTRICTED INVOLUTIONS Emeric Deutsch Department of Mathematics, Polytechnic University, Brooklyn, NY 1101 deutsch@duke.poly.edu Aaron Robertson 1 Department of Mathematics, Colgate University,
More informationSolving Equations with Addition and Subtraction
OBJECTIVE: You need to be able to solve equations by using addition and subtraction. In math, when you say two things are equal to each other, you mean they represent the same value. We use the = sign
More informationarxiv: v1 [math.co] 3 Nov 2014
SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed
More informationCOMBINATORICS OF RAMANUJAN-SLATER TYPE IDENTITIES. James McLaughlin Department of Mathematics, West Chester University, West Chester, PA 19383, USA
COMBINATORICS OF RAMANUJAN-SLATER TYPE IDENTITIES James McLaughlin Department of Mathematics, West Chester University, West Chester, PA 9383, USA jmclaughl@wcupa.edu Andrew V. Sills Department of Mathematical
More informationLecture 5. Shearer s Lemma
Stanford University Spring 2016 Math 233: Non-constructive methods in combinatorics Instructor: Jan Vondrák Lecture date: April 6, 2016 Scribe: László Miklós Lovász Lecture 5. Shearer s Lemma 5.1 Introduction
More informationEUCLID S ALGORITHM AND THE FUNDAMENTAL THEOREM OF ARITHMETIC after N. Vasiliev and V. Gutenmacher (Kvant, 1972)
Intro to Math Reasoning Grinshpan EUCLID S ALGORITHM AND THE FUNDAMENTAL THEOREM OF ARITHMETIC after N. Vasiliev and V. Gutenmacher (Kvant, 1972) We all know that every composite natural number is a product
More informationSometimes the domains X and Z will be the same, so this might be written:
II. MULTIVARIATE CALCULUS The first lecture covered functions where a single input goes in, and a single output comes out. Most economic applications aren t so simple. In most cases, a number of variables
More informationMath 110 HW 3 solutions
Math 0 HW 3 solutions May 8, 203. For any positive real number r, prove that x r = O(e x ) as functions of x. Suppose r
More informationITERATING THE DIVISION ALGORITHM
MICHAEL E. MAYS West Virginia University, Morgantown, WV 26506 (Submitted June 1985) INTRODUCTION The division algorithm guarantees that when an arbitrary integer b is divided by a positive integer a there
More informationRAMANUJAN S MOST BEAUTIFUL IDENTITY
RAMANUJAN S MOST BEAUTIFUL IDENTITY MICHAEL D. HIRSCHHORN Abstract We give a simple proof of the identity which for Hardy represented the best of Ramanujan. On the way, we give a new proof of an important
More informationPRACTICE PROBLEMS: SET 1
PRACTICE PROBLEMS: SET MATH 437/537: PROF. DRAGOS GHIOCA. Problems Problem. Let a, b N. Show that if gcd(a, b) = lcm[a, b], then a = b. Problem. Let n, k N with n. Prove that (n ) (n k ) if and only if
More informationSome New Exact van der Waerden numbers
Some New Exact van der Waerden numbers Bruce Landman Department of Mathematics University of West Georgia, Carrollton, GA 30118 landman@westga.edu Aaron Robertson Department of Mathematics Colgate University,
More informationDo not open this exam until you are told to begin. You will have 75 minutes for the exam.
Math 2603 Midterm 1 Spring 2018 Your Name Student ID # Section Do not open this exam until you are told to begin. You will have 75 minutes for the exam. Check that you have a complete exam. There are 5
More informationA Brief Introduction to Tensors
A Brief Introduction to Tensors Jay R Walton Fall 2013 1 Preliminaries In general, a tensor is a multilinear transformation defined over an underlying finite dimensional vector space In this brief introduction,
More informationBP -HOMOLOGY AND AN IMPLICATION FOR SYMMETRIC POLYNOMIALS. 1. Introduction and results
BP -HOMOLOGY AND AN IMPLICATION FOR SYMMETRIC POLYNOMIALS DONALD M. DAVIS Abstract. We determine the BP -module structure, mod higher filtration, of the main part of the BP -homology of elementary 2- groups.
More informationResearch Methods in Mathematics Homework 4 solutions
Research Methods in Mathematics Homework 4 solutions T. PERUTZ (1) Solution. (a) Since x 2 = 2, we have (p/q) 2 = 2, so p 2 = 2q 2. By definition, an integer is even if it is twice another integer. Since
More informationNotes on Continued Fractions for Math 4400
. Continued fractions. Notes on Continued Fractions for Math 4400 The continued fraction expansion converts a positive real number α into a sequence of natural numbers. Conversely, a sequence of natural
More informationCounting k-marked Durfee Symbols
Counting k-marked Durfee Symbols Kağan Kurşungöz Department of Mathematics The Pennsylvania State University University Park PA 602 kursun@math.psu.edu Submitted: May 7 200; Accepted: Feb 5 20; Published:
More informationMATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.
MATH 4 Summer 011 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 informationThere s plenty of time for evolution
arxiv:1010.5178v1 [math.pr] 25 Oct 2010 There s plenty of time for evolution Herbert S. Wilf Department of Mathematics, University of Pennsylvania Philadelphia, PA 19104-6395 Warren
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 informationMATH 802: ENUMERATIVE COMBINATORICS ASSIGNMENT 2
MATH 80: ENUMERATIVE COMBINATORICS ASSIGNMENT KANNAPPAN SAMPATH Facts Recall that, the Stirling number S(, n of the second ind is defined as the number of partitions of a [] into n non-empty blocs. We
More informationCombinatorial Analysis of the Geometric Series
Combinatorial Analysis of the Geometric Series David P. Little April 7, 205 www.math.psu.edu/dlittle Analytic Convergence of a Series The series converges analytically if and only if the sequence of partial
More informationMathematical Induction. How does discrete math help us. How does discrete math help (CS160)? How does discrete math help (CS161)?
How does discrete math help us Helps create a solution (program) Helps analyze a program How does discrete math help (CS160)? Helps create a solution (program) q Logic helps you understand conditionals
More informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
More informationMath 371, Spring 2013, PSet 2
Math 371, Spring 2013, PSet 2 Aaron Michael Silberstein January 28, 2013 This problem set will be due Friday, February 1, 2013 at 1 pm in Matti s mailbox. 1 The Craft (and Art) of Writing Proofs: Induction
More information9th and 10th Grade Math Proficiency Objectives Strand One: Number Sense and Operations
Strand One: Number Sense and Operations Concept 1: Number Sense Understand and apply numbers, ways of representing numbers, the relationships among numbers, and different number systems. Justify with examples
More informationFibonacci numbers. Chapter The Fibonacci sequence. The Fibonacci numbers F n are defined recursively by
Chapter Fibonacci numbers The Fibonacci sequence The Fibonacci numbers F n are defined recursively by F n+ = F n + F n, F 0 = 0, F = The first few Fibonacci numbers are n 0 5 6 7 8 9 0 F n 0 5 8 55 89
More informationInteger Partitions With Even Parts Below Odd Parts and the Mock Theta Functions
Integer Partitions With Even Parts Below Odd Parts and the Mock Theta Functions by George E. Andrews Key Words: Partitions, mock theta functions, crank AMS Classification Numbers: P84, P83, P8, 33D5 Abstract
More informationPUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.
PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice
More informationA bijection on bilateral Dyck paths
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 591 2014, Pages 72 80 A bijection on bilateral Dyck paths Paul R. G. Mortimer Thomas Prellberg School of Mathematical Sciences Queen Mary University of London
More informationOCR Maths FP1. Topic Questions from Papers. Proof by Induction. Answers
OCR Maths FP Topic Questions from Papers Proof by Induction Answers PhysicsAndMathsTutor.com (iv) Explicit check for n = or n = M k = k ( k ) 0. Induction hypothesis that result is true for M k Attempt
More informationMATH39001 Generating functions. 1 Ordinary power series generating functions
MATH3900 Generating functions The reference for this part of the course is generatingfunctionology by Herbert Wilf. The 2nd edition is downloadable free from http://www.math.upenn. edu/~wilf/downldgf.html,
More informationReceived: 2/7/07, Revised: 5/25/07, Accepted: 6/25/07, Published: 7/20/07 Abstract
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 2007, #A34 AN INVERSE OF THE FAÀ DI BRUNO FORMULA Gottlieb Pirsic 1 Johann Radon Institute of Computational and Applied Mathematics RICAM,
More informationThe Cayley Hamilton Theorem
The Cayley Hamilton Theorem Attila Máté Brooklyn College of the City University of New York March 23, 2016 Contents 1 Introduction 1 1.1 A multivariate polynomial zero on all integers is identically zero............
More informationStructural Grobner Basis. Bernd Sturmfels and Markus Wiegelmann TR May Department of Mathematics, UC Berkeley.
I 1947 Center St. Suite 600 Berkeley, California 94704-1198 (510) 643-9153 FAX (510) 643-7684 INTERNATIONAL COMPUTER SCIENCE INSTITUTE Structural Grobner Basis Detection Bernd Sturmfels and Markus Wiegelmann
More informationELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS
Bull Aust Math Soc 81 (2010), 58 63 doi:101017/s0004972709000525 ELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS MICHAEL D HIRSCHHORN and JAMES A SELLERS (Received 11 February 2009) Abstract
More informationDiscrete Math, Spring Solutions to Problems V
Discrete Math, Spring 202 - Solutions to Problems V Suppose we have statements P, P 2, P 3,, one for each natural number In other words, we have the collection or set of statements {P n n N} a Suppose
More informationInduction and recursion. Chapter 5
Induction and recursion Chapter 5 Chapter Summary Mathematical Induction Strong Induction Well-Ordering Recursive Definitions Structural Induction Recursive Algorithms Mathematical Induction Section 5.1
More informationElementary proofs of congruences for the cubic and overcubic partition functions
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 602) 204), Pages 9 97 Elementary proofs of congruences for the cubic and overcubic partition functions James A. Sellers Department of Mathematics Penn State
More informationComputational Linear Algebra
Computational Linear Algebra PD Dr. rer. nat. habil. Ralf Peter Mundani Computation in Engineering / BGU Scientific Computing in Computer Science / INF Winter Term 2017/18 Part 2: Direct Methods PD Dr.
More informationA Mathematical Analysis of The Generalized Oval Track Puzzle
Rose-Hulman Undergraduate Mathematics Journal Volume 12 Issue 1 Article 5 A Mathematical Analysis of The Generalized Oval Track Puzzle Samuel Kaufmann Carnegie Mellon University, sakaufma@andrew.cmu.edu
More informationWeek 9-10: Recurrence Relations and Generating Functions
Week 9-10: Recurrence Relations and Generating Functions April 3, 2017 1 Some number sequences An infinite sequence (or just a sequence for short is an ordered array a 0, a 1, a 2,..., a n,... of countably
More information