arithmetic properties of weighted catalan numbers

Similar documents
PUTNAM PROBLEMS SEQUENCES, SERIES AND RECURRENCES. Notes

On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers

Some Catalan Musings p. 1. Some Catalan Musings. Richard P. Stanley

Simplifying Rational Expressions and Functions

Congruences for combinatorial sequences

Legendre s Equation. PHYS Southern Illinois University. October 18, 2016

Lecture Notes. Advanced Discrete Structures COT S

Regular Sequences. Eric Rowland. School of Computer Science University of Waterloo, Ontario, Canada. September 5 & 8, 2011

Ch 7 Summary - POLYNOMIAL FUNCTIONS

Congruences for algebraic sequences

Some Catalan Musings p. 1. Some Catalan Musings. Richard P. Stanley

Finite Fields. Mike Reiter

A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties:

Mathematical Foundations of Cryptography

Algebra Review 2. 1 Fields. A field is an extension of the concept of a group.

Polynomials 6c Classifying the Zeros of a Polynomial Functions

Roots and Coefficients Polynomials Preliminary Maths Extension 1

Section X.55. Cyclotomic Extensions

Exercise Sheet 3 - Solutions

Relations. Binary Relation. Let A and B be sets. A (binary) relation from A to B is a subset of A B. Notation. Let R A B be a relation from A to B.

Section VI.33. Finite Fields

Chapter 4 Finite Fields

Folding, Jamming, and Random Walks

Section Properties of Rational Expressions

Lagrange s polynomial

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

Section 0.2 & 0.3 Worksheet. Types of Functions

Solutions to Assignment 1

A method for determining the mod-2 k behaviour of (certain) recursive sequences

Day 6: 6.4 Solving Polynomial Equations Warm Up: Factor. 1. x 2-2x x 2-9x x 2 + 6x + 5

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

Dual Schubert Polynomials

Words generated by cellular automata

x 9 or x > 10 Name: Class: Date: 1 How many natural numbers are between 1.5 and 4.5 on the number line?

Binomial coefficients and k-regular sequences

Sydney University Mathematical Society Problems Competition Solutions.

1 The Galois Group of a Quadratic

Defining Valuation Rings

Theory of Numbers Problems

198 VOLUME 46/47, NUMBER 3

Lagrange s polynomial

Gordon solutions. n=1 1. p n

ON THE CONTINUED FRACTION EXPANSION OF THE UNIQUE ROOT IN F(p) OF THE EQUATION x 4 + x 2 T x 1/12 = 0 AND OTHER RELATED HYPERQUADRATIC EXPANSIONS

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

Arithmetic properties of lacunary sums of binomial coefficients

Handout - Algebra Review

Algebraic Number Theory and Representation Theory

Number Theory and Algebra: A Brief Introduction

Algebraic function fields

Polynomials over UFD s

Introduction to Number Theory

NON-REGULARITY OF α + log k n. Eric S. Rowland Mathematics Department, Tulane University, New Orleans, LA

Today. Polynomials. Secret Sharing.

Tewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 70118

Apéry Numbers, Franel Numbers and Binary Quadratic Forms

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

Three-Bit Monomial Hyperovals

The Diophantine equation x(x + 1) (x + (m 1)) + r = y n

Proofs. Chapter 2 P P Q Q

1. Definition of a Polynomial

Proofs. Chapter 2 P P Q Q

Basic elements of number theory

Basic elements of number theory

Semester Review Packet

Some new representation problems involving primes

Outline. We will cover (over the next few weeks) Induction Strong Induction Constructive Induction Structural Induction

Discrete Logarithms. Let s begin by recalling the definitions and a theorem. Let m be a given modulus. Then the finite set

PROBLEMS ON CONGRUENCES AND DIVISIBILITY

Objective Type Questions

Solutions to Practice Final

Chapter 1 Divide and Conquer Algorithm Theory WS 2016/17 Fabian Kuhn

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

DISCUSSION CLASS OF DAX IS ON 22ND MARCH, TIME : 9-12 BRING ALL YOUR DOUBTS [STRAIGHT OBJECTIVE TYPE]

New algebraic decoding method for the (41, 21,9) quadratic residue code

arxiv: v2 [math.nt] 4 Jun 2016

ABSTRACT NONSINGULAR CURVES

Dividing Polynomials: Remainder and Factor Theorems

PARTIAL FRACTIONS AND POLYNOMIAL LONG DIVISION. The basic aim of this note is to describe how to break rational functions into pieces.

Chapter 1 : The language of mathematics.

ADDITONAL MATHEMATICS

CPSC 518 Introduction to Computer Algebra Schönhage and Strassen s Algorithm for Integer Multiplication

Finite Fields. SOLUTIONS Network Coding - Prof. Frank H.P. Fitzek

COMPUTER ARITHMETIC. 13/05/2010 cryptography - math background pp. 1 / 162

Equal Compositions of Rational Functions

Homework 8 Solutions to Selected Problems

4.5 Hilbert s Nullstellensatz (Zeros Theorem)

Closed Form Solutions

Pade Approximations and the Transcendence

4 Linear Recurrence Relations & the Fibonacci Sequence

Fault Tolerance & Reliability CDA Chapter 2 Cyclic Polynomial Codes

WILLIAM LOWELL PUTNAM MATHEMATICAL COMPETITION. (3k(k + 1) + 1), for n 1.

Quasi-reducible Polynomials

Outline. Criteria of good signal sets. Interleaved structure. The main results. Applications of our results. Current work.

+ 1 3 x2 2x x3 + 3x 2 + 0x x x2 2x + 3 4

Maths Class 11 Chapter 5 Part -1 Quadratic equations

4 Unit Math Homework for Year 12

CPSC 518 Introduction to Computer Algebra Asymptotically Fast Integer Multiplication

24/10/ Dr Ray Adams

Section IV.23. Factorizations of Polynomials over a Field

Algebra Vocabulary. abscissa

Transcription:

arithmetic properties of weighted catalan numbers Jason Chen Mentor: Dmitry Kubrak May 20, 2017 MIT PRIMES Conference

background: catalan numbers Definition The Catalan numbers are the sequence of integers C n = 1 ( ) 2n. n + 1 n The first few values are: C 0 = 1 C 3 = 5 C 6 = 132 C 1 = 1 C 4 = 14 C 7 = 429 C 2 = 2 C 5 = 42 C 8 = 1430. 1

background: catalan numbers C n is the number of full triangulations of an (n + 2)-gon. Example C 3 = 5 2

background: catalan numbers C n is the number of ways to pair n sets of brackets. Example C 3 = 5 ((())) (()()) (())() ()(()) ()()() 3

background: catalan numbers Definition A Dyck path of length 2n is a continuous broken line lying in the first quadrant of the plane, starting at the origin (0, 0) and consisting of n up-steps in the direction 1, 1 and n down-steps in the direction 1, 1. Example length 6: length 8: 4

catalan numbers: dyck paths C n is the number of Dyck paths of length 2n. Example C 3 = 5 5

catalan numbers: recurrence The Catalan numbers are known to satisfy the recurrence n C n+1 = C k C n k, C 0 = 1. k=0 6

catalan numbers: recurrence The Catalan numbers are known to satisfy the recurrence n C n+1 = C k C n k, C 0 = 1. k=0 From the recurrence, we get the equation C(x) = x C(x) 2 + 1, where C(x) is the generating function of the Catalan numbers: C 0 + C 1 x + C 2 x 2 + C 3 x 3 +. 6

catalan numbers: generating function Solving C(x) = x C(x) 2 + 1 gives C(x) = 1 1 4x. 2x 7

catalan numbers: generating function Solving C(x) = x C(x) 2 + 1 gives C(x) = 1 1 4x. 2x Another expression for C(x) is the continued fraction: C(x) = 1. x 1 x 1 1 x 1... 7

weighted catalan numbers: dyck paths Suppose we have a sequence of integers b = (b 0, b 1, b 2, b 3,... ) and a Dyck path P, as shown 8

weighted catalan numbers: dyck paths Suppose we have a sequence of integers b = (b 0, b 1, b 2, b 3,... ) and a Dyck path P, as shown b 3 b 2 b 1 b 0 wt(p) = b 2 0 b2 1 b 2 8

weighted catalan numbers Definition The nth weighted Catalan number C b n is the sum of weights over all Dyck paths P of length 2n. Cn b = wt(p). paths P 9

weighted catalan numbers The first few values in terms of b i are: C0 b = 1 C1 b = b 0 C2 b = b2 0 + b 0b 1 C3 b = b3 0 + 2b2 0 b 1 + b 0 b 2 1 + b 0 b 1 b 2 C4 b = b4 0 + 3b3 0 b 1 + 3b 2 0 b2 1 + b 0 b 3 1 + 2b 2 0 b 1b 2 + 2b 0 b 2 1b 2 + b 0 b 1 b 2 2 + b 0b 1 b 2 b 3 C5 b = b 5 0 + 4b4 0 b 1 + 6b 3 0 b2 1 + 3b 3 0 b 1b 2 + 4b 2 0 b3 1 + 2b 2 0 b 1b 2 2 + + b 0 b 1 b 3 2 + 3b 0b 2 1b 2 2 + b 0b 1 b 2 b 2 3 + 3b 0b 3 1b 2 + 2b 0 b 1 b 2 2 b 3 + 2b 0 b 2 1b 2 b 3 + b 0 b 1 b 2 b 3 b 4. 10

weighted catalan numbers: specific cases Example The sequence b = (1, 1, 1,... ) gives the Catalan numbers. 11

weighted catalan numbers: specific cases Example The sequence b = (1, 1, 1,... ) gives the Catalan numbers. Example For an integer a, b = (a, a, a,... ) gives the sequence Cn b = a n C n. 11

weighted catalan numbers: specific cases Example The sequence b = (1, 1, 1,... ) gives the Catalan numbers. Example For an integer a, b = (a, a, a,... ) gives the sequence Cn b = a n C n. Example The sequence b = (1, 2, 3, 4,... ) gives C b n = (2n 1)!!. Similarly, b = (1, 1, 2, 2, 3, 3, 4,... ) gives C b n = n!. 11

weighted catalan numbers: specific cases Example For an integer q, b = (q 0, q 1, q 2, q 3,... ) gives the q-catalan numbers. 12

weighted catalan numbers: specific cases Example For an integer q, b = (q 0, q 1, q 2, q 3,... ) gives the q-catalan numbers. Macdonald polynomials Geometry of Hilbert schemes Harmonic analysis Representation theory Mathematical physics Algebraic combinatorics 12

history of weighted catalan numbers Theorem (A. Postnikov, 2000) The number of plane Morse links of order n are the weighted Catalan numbers C b n for the sequence b = (1 2, 3 2, 5 2, 7 2,... ). This sequence is commonly denoted L n. 13

history of weighed catalan numbers Theorem (Kummer) If ν 2 (n) denotes the largest power of 2 dividing n, and s 2 (n) denotes the sum of the binary digits of n, then ν 2 (C n ) = s 2 (n + 1) 1. 14

history of weighed catalan numbers Definition Let be the difference operator, acting on functions f : Z 0 Z by ( f)(x) = f(x + 1) f(x). Theorem (A. Postnikov, 2006) If the sequence b satisfies: b(0) is odd, and 2 n+1 ( n b)(x) for all n 1 and x Z 0, then ν 2 (C b n) = ν 2 (C n ) = s 2 (n + 1) 1. 15

current research: recursion Let S be the shift operator: S : (a 0, a 1, a 2, a 3,... ) (a 1, a 2, a 3,... ). 16

current research: recursion Let S be the shift operator: S : (a 0, a 1, a 2, a 3,... ) (a 1, a 2, a 3,... ). Then we have the recurrence: C b n+1 = b 0 n k=0 C S(b) k C b n k. C S(b) k C b n k 16

current research: generating function Recall the generating function for C n 1 C(x) =. x 1 1 x 1... For Cn, b C b 1 (x) =. b 0 x 1 b 1 x 1 1 b 2x 1... 17

current research We want to study C b n modulo primes p, or more generally, p n. Since C b n is a polynomial in b i, it suffices to consider the residues of b i modulo p. Theorem Let b = (b 0, b 1, b 2,... ) and p be prime. Then C b n is eventually periodic modulo p iff any of b i are congruent to 0 mod p. This is because if any of the b i are 0, then C b (x) is rational, i.e. C b (x) = p(x) q(x) for some polynomials p(x), q(x). 18

current research: results If p = 2, then we can describe the period: Theorem Consider a sequence b F N 2 such that b k = 0, and b i = 1 for i < k. Then C b (x) = p k+1(x) p k+2 (x), where with p 0 (x) = 0 and p 1 (x) = 1. p k+2 (x) = p k+1 (x) + x p k (x), The period of the sequence C b n is equal to the minimal number m such that p k+2 (x) divides x m 1. 19

current research: results It turns out that p 2 k(x) = 1 for all k. In particular, we get: Corollary Let k 1 be a natural number. Consider a sequence b F N 2 such that b 2 k 2 = 0, and b i = 1 for i < 2 k 2. Then C b (x) = p 2 k 1 (x). In particular, it is a polynomial of degree 2 k 1 1 and so the sequence C b n is identically 0 for n 2 k 1. 20

direction of future research What is the period of L n modulo p n? 21

direction of future research What is the period of L n modulo p n? 21

direction of future research What is the period of L n modulo p n? Conjecture (A. Postnikov) The period of L n modulo 3 k+3 is exactly 2 3 k. 21

direction of future research What is the period of L n modulo p n? Conjecture (A. Postnikov) The period of L n modulo 3 k+3 is exactly 2 3 k. What is the period of Cn b modulo p n? 21

direction of future research What is the period of L n modulo p n? Conjecture (A. Postnikov) The period of L n modulo 3 k+3 is exactly 2 3 k. What is the period of Cn b modulo p n? Can we classify sequences for primes greater than 2? 21

acknowledgments MIT PRIMES 22

acknowledgments MIT PRIMES Professor Alexander Postnikov 22

acknowledgments MIT PRIMES Professor Alexander Postnikov Dmitry Kubrak 22

acknowledgments MIT PRIMES Professor Alexander Postnikov Dmitry Kubrak My parents 22

Questions? 22