a brief history of riordan arrays - logic...
TRANSCRIPT
![Page 1: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/1.jpg)
A brief history of Riordan arrays
From antiquity to today
Paul Barry
WIT 8/3/17
![Page 2: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/2.jpg)
The binomial theorem
![Page 3: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/3.jpg)
We recall that
![Page 4: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/4.jpg)
Pascal’s triangle
Blaise Pascal – France
1623 - 1662
![Page 5: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/5.jpg)
Euclid: Greece 2nd century BC
India: 6th century BC
Binomial coefficients, as combinatorial quantities expressing the number of ways of selecting k objects out of n without replacement, were of interest to the ancient Hindus. The earliest known reference to this combinatorial problem is the Chandaḥśāstra by the Hindu lyricist Pingala (c. 200 B.C.), which contains a method for its solution.
![Page 6: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/6.jpg)
The binomial theorem as such can be found in the work of 11th-century Persian mathematician Al-Karaji, who described the triangular pattern of the binomial coefficients. He also provided a mathematical proof of both the binomial theorem and Pascal's triangle, using a primitive form of mathematical induction.
The Persian poet and mathematician Omar Khayyam (1048 – 1131) was probably familiar with the formula to higher orders, although many of his mathematical works are lost.
![Page 7: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/7.jpg)
The Moving Finger writes; and, having writ,Moves on: nor all thy Piety nor Wit,
Shall lure it back to cancel half a Line,Nor all thy Tears wash out a Word of it.
But helpless pieces in the game He plays,Upon this chequer-board of Nights and Days,
He hither and thither moves, and checks… and slays,Then one by one, back in the Closet lays.
And, as the Cock crew, those who stood beforeThe Tavern shouted— “Open then the Door!
You know how little time we have to stay,And once departed, may return no more.”
A Book of Verses underneath the Bough,A Jug of Wine, a Loaf of Bread—and Thou,
Beside me singing in the Wilderness,And oh, Wilderness is Paradise enow.
![Page 8: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/8.jpg)
The Moving Finger writes; and, having writ,Moves on: nor all thy Piety nor Wit,
Shall lure it back to cancel half a Line,Nor all thy Tears wash out a Word of it.
But helpless pieces in the game He plays,Upon this chequer-board of Nights and Days,
He hither and thither moves, and checks… and slays,Then one by one, back in the Closet lays.
And, as the Cock crew, those who stood beforeThe Tavern shouted— “Open then the Door!
You know how little time we have to stay,And once departed, may return no more.”
A Book of Verses underneath the Bough,A Jug of Wine, a Loaf of Bread—and Thou,
Beside me singing in the Wilderness,And oh, Wilderness is Paradise enow.
![Page 9: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/9.jpg)
The binomial expansions of small degrees were known in the 13th century mathematical works of Yang Hui and also Chu Shih-Chieh. Yang Hui attributes the method to a much earlier 11th century text of Jia Xian, although those writings are now also lost.
![Page 10: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/10.jpg)
Figurate numbers
![Page 11: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/11.jpg)
1 3 6 10
PythagoreansTheon of SmyrnaNicomachus2nd century AD
Egypt: 3rd century BC
![Page 12: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/12.jpg)
1 2 3 4 5 6 7 8 9 10
1 3 6 10 15
1 4 10 20
1 5 15 35
1 6 21
![Page 13: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/13.jpg)
1 2 3 4 5 6 7 8 9 10
1 3 6 10 15 21 28 36 45 55
1 4 10 20 35 56 84 120 165 220
1 5 15 35 70 126 210 330 495 715
1 6 21 56 126 252 462 792 1287 2002
![Page 14: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/14.jpg)
1 1 1 1 1 1 1 1 1 1
1 2 3 4 5 6 7 8 9 10
1 3 6 10 15 21 28 36 45 55
1 4 10 20 35 56 84 120 165 220
1 5 15 35 70 126 210 330 495 715
1 6 21 56 126 252 462 792 1287 2002
![Page 15: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/15.jpg)
Lattice paths
![Page 16: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/16.jpg)
Pascal's triangle overlaid on a square grid gives the number of distinct paths to each square, assuming only rightward and downward movements are considered.
![Page 17: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/17.jpg)
Defining patterns
![Page 18: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/18.jpg)
![Page 19: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/19.jpg)
![Page 20: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/20.jpg)
![Page 21: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/21.jpg)
![Page 22: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/22.jpg)
![Page 23: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/23.jpg)
1 x 1 x+
=
![Page 24: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/24.jpg)
Let P =
P-1 P =
![Page 25: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/25.jpg)
![Page 26: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/26.jpg)
![Page 27: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/27.jpg)
![Page 28: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/28.jpg)
Generating functions
![Page 29: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/29.jpg)
We carry out the long division of 1 by 1-x to get 1/(1-x)
![Page 30: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/30.jpg)
We have
and so we say that 1/(1-x) generates the sequence 1, 1, 1, 1, 1, …..
We use the following mathematical shorthand notation
![Page 31: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/31.jpg)
In general, if we have
then we say that f(x) generates the sequence an and that f(x) is the generating function of an
![Page 32: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/32.jpg)
What is the generating function of the sequence 1, 2, 3, 4, 5, …. ?
![Page 33: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/33.jpg)
What is the generating function of the sequence 1, 2, 3, 4, 5, …. ?
We carry out the long division of 1/(1-x) by 1-x. Remember that we can write
![Page 34: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/34.jpg)
Thus we get the generating function
![Page 35: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/35.jpg)
Thus we get the generating function
![Page 36: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/36.jpg)
Now note that
![Page 37: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/37.jpg)
![Page 38: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/38.jpg)
![Page 39: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/39.jpg)
![Page 40: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/40.jpg)
A Riordan array R is defined by two power series
such that the k-th column of R is generated by
![Page 41: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/41.jpg)
![Page 42: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/42.jpg)
Lou Shapiro
![Page 43: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/43.jpg)
John Riordan 1903 - 1988
![Page 44: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/44.jpg)
![Page 45: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/45.jpg)
![Page 46: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/46.jpg)
The set of Riordan arrays is a group. The identity is (1, x).
You can multiply Riordan arrays to get Riordan arrays. You can “divide” a Riordan array by a Riordan array to get a Riordan array.
![Page 47: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/47.jpg)
![Page 48: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/48.jpg)
-1
=
![Page 49: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/49.jpg)
![Page 50: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/50.jpg)
Riordan array conferences 2014 - 2017
![Page 51: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/51.jpg)
New York Times bloghttps://wordplay.blogs.nytimes.com/2014/10/06/icosian/?_r=0
Mentions:
John RiordanNeil SloaneW. R. Hamilton&Padraig KirwanKieran Murphy
![Page 53: A brief history of Riordan arrays - LOGIC PRESSlogicpress.ie/978-1-326-85523-9/Brief-History-of-Riordan... · 2017. 3. 12. · A Jug of Wine, a Loaf of Bread—and Thou, Beside me](https://reader035.vdocuments.us/reader035/viewer/2022062415/5fdd66fbf996562637594712/html5/thumbnails/53.jpg)
Thank you !
Published by Logic Press, Kilcock, NaasAvailable at www.lulu.com (€ 20!!)