Riordan array

Template:Tone A Riordan array is an infinite lower triangular matrix, $D$, constructed from two formal power series, $d(t)$ of order 0 and $h(t)$ of order 1, such that $d_{n,k}=[t^n]d(t)h(t{)}^k$.

A Riordan array is an element of the Riordan group. It was defined by mathematician Louis W. Shapiro and named after John Riordan. The study of Riordan arrays is a field influenced by and contributing to other areas such as combinatorics, group theory, matrix theory, number theory, probability, sequences and series, Lie groups and Lie algebras, orthogonal polynomials, graph theory, networks, unimodal sequences, combinatorial identities, elliptic curves, numerical approximation, asymptotic analysis, and data analysis. Riordan arrays also unify tools such as generating functions, computer algebra systems, formal languages, and path models. Books on the subject, such as The Riordan Array (Shapiro et al., 1991), have been published.

Formal definition

A formal power series $a(x)=a_0+a_{1}x+a_2{x}^2+\cdots =\sum _{j\ge 0}{a}_j{x}^j\in ℂ[[x]]$ (where $ℂ[[x]]$ is the ring of formal power series with complex coefficients) is said to have order $r$ if $a_0=\cdots =a_{r-1}=0\ne a_r$. Write ${ℱ}_r$ for the set of formal power series of order $r$. A power series $a(x)$ has a multiplicative inverse (i.e. $1/a(x)$ is a power series) if and only if it has order 0, i.e. if and only if it lies in ${ℱ}_0$; it has a composition inverse that is there exists a power series $\overline{a}$ such that $\overline{a}(a(x))=x$ if and only if it has order 1, i.e. if and only if it lies in ${ℱ}_1$.

As mentioned previously, a Riordan array is usually defined via a pair of power series $(d(t),h(t))\in {ℱ}_0\times {ℱ}_1$. The "array" part in its name stems from the fact that one associates to $(d(t),h(t))$ the array of complex numbers defined by $d_{n,k}:=[t^n]d(t)h(t{)}^k,$ $n,k\in \mathbb{N}$ (here "$[t^n]\cdots$" means "coefficient of $t^n$ in $\cdots$"). Thus column $k$ of the array consists of the sequence of coefficients of the power series $d(t)h(t{)}^k;$ in particular, column 0 determines and is determined by the power series $d(t).$ Because $d(t)$ is of order 0, it has a multiplicative inverse, and it follows that from the array's column 1 we can recover $h(t)$ as $h(t)=d(t{)}^{-1}d(t)h(t)$. Since $h(t)$ has order 1, $h(t{)}^k$ is of order $k$ and so is $d(t)h(t{)}^k.$ It follows that the array $d_{n,k}$ is lower triangular and exhibits a geometric progression $(d_{k,k}{)}_{k\ge 0}=(d_0{h}_1^k{)}_{k\ge 0}$ on its main diagonal. It also follows that the map sending a pair of power series $(d(t),h(t))\in {ℱ}_0\times {ℱ}_1$ to its triangular array is injective.

Example

An example of a Riordan array is given by the pair of power series

$(\frac{1}{1-x},\frac{x}{1-x})=(\sum _{j\ge 0}{x}^j,\sum _{j\ge 0}{x}^{j+1})\in {ℱ}_0\times {ℱ}_1$.

It is not difficult to show that this pair generates the infinite triangular array of binomial coefficients $d_{n,k}=(\genfrac{}{}{0ex}{}{n}{k})$, also called the Pascal matrix:

$P=\left(\begin{array}{ccccccc}1& & & & & & \\ 1& 1& & & & & \\ 1& 2& 1& & & & \cdots \\ 1& 3& 3& 1& & & \\ 1& 4& 6& 4& 1& & \\ & & ⋮& & & & \ddots \end{array}\right)$.

Proof: If $q(x)=\sum _{j\ge 0}{q}_j{x}^j$ is a power series with associated coefficient sequence $(q_0,q_1,q_2,\dots )$, then, by Cauchy multiplication of power series, $q(x)\frac{x}{1-x}=\sum _{j\ge 0}(0+q_0+q_1+\cdots +q_{j-1})x^j.$ Thus, the latter series has the coefficient sequence $(0,q_0,q_0+q_1,q_0+q_1+q_2,\dots )$, and hence $[t^n]q(x)\frac{x}{1-x}=q_0+\cdots +q_{n-1}$. Fix any $k\in {\mathbb{Z}}_{\ge 0}.$ If $q_n=(\genfrac{}{}{0ex}{}{n}{k})$, so that $(q_n{)}_{n\ge 0}$ represents column $k$ of the Pascal array, then $\sum _{j=0}^{n-1}{q}_j=\sum _{j=0}^{n-1}(\genfrac{}{}{0ex}{}{j}{k})=(\genfrac{}{}{0ex}{}{n}{k+1})$. This argument shows by induction on $k$ that $\frac{1}{1-x}{\left(\frac{x}{1-x}\right)}^k$ has column $k$ of the Pascal array as coefficient sequence.

Properties

Below are some often-used facts about Riordan arrays. Note that the matrix multiplication rules applied to infinite lower triangular matrices lead to finite sums only and the product of two infinite lower triangular matrices is infinite lower triangular. The next two theorems were first stated and proved by Shapiro et al., which describes them as derived from results in papers by Gian-Carlo Rota and the book of Roman.

Theorem: a. Let $(a(x),b(x))$ and $(c(x),d(x))$ be Riordan arrays, viewed as infinite lower triangular matrices. Then the product of these matrices is the array associated to the pair $(a(x)c(b(x)),d(b(x)))$ of formal power series, which is itself a Riordan array.

b. This fact justifies the definition of the multiplication '$*$' of Riordan arrays viewed as pairs of power series by Template:Center

Proof: Since $a(x)$ and $c(x)$ have order 0, it is clear that $a(x)c(b(x))$ has order 0. Similarly, $b(x),d(x)\in {ℱ}_1$ implies $d(b(x))\in {ℱ}_1$. Therefore, $(a(x)c(b(x)),d(b(x)))$ is a Riordan array. Define a matrix $M$ as the Riordan array $(a(x),b(x))$. By definition, its $j$-th column $M_{*,j}$ is the sequence of coefficients of the power series $a(x)b(x{)}^j$. If we multiply this matrix from the right with the sequence $(r_0,r_1,r_2,...{)}^T$ we get as a result a linear combination of columns of $M$ which we can read as a linear combination of power series, namely $\sum _{\nu \ge 0}{r}_{\nu }{M}_{*,\nu }=\sum _{\nu \ge 0}{r}_{\nu }a(x)b(x{)}^{\nu }=a(x)\sum _{\nu \ge 0}{r}_{\nu }b(x{)}^{\nu }.$ Thus, viewing sequence $(r_0,r_1,r_2,...{)}^T$ as codified by the power series $r(x),$ we showed that$(a(x),b(x))*r(x)=a(x)r(b(x)).$ Here the $*$ is the symbol for indicating correspondence on the power series level with matrix multiplication. We multiplied a Riordan array $(a(x),b(x))$ with a single power series. Now let $(c(x),d(x))$ be another Riordan array viewed as a matrix. One can form the product $(a(x),b(x))(c(x),d(x))$. The $j$-th column of this product is just $(a(x),b(x))$ multiplied with the $j$-th column of $(c(x),d(x)).$ Since the latter corresponds to the power series $c(x)d(x{)}^j$, it follows by the above that the $j$-th column of $(a(x),b(x))(c(x),d(x))$ corresponds to $a(x)c(b(x))d(b(x){)}^j$. As this holds for all column indices $j$ occurring in $(c(x),d(x))$ we have shown part a. Part b is now clear. $◻$

Theorem: The family of Riordan arrays endowed with the product '$*$' defined above forms a group: the Riordan group.

Proof: The associativity of the multiplication '$*$' follows from associativity of matrix multiplication. Next note $(1,x)*(c(x),d(x))=(1\cdot c(x),d(x))=(c(x),d(x))$. So $(1,x)$ is a left neutral element. Finally, we claim that $(c(\overline{d}(x){)}^{-1},\overline{d}(x))$ is the left inverse to the power series $(c(x),d(x))$. For this check the computation $(c(\overline{d}(x){)}^{-1},\overline{d}(x))*(c(x),d(x))$ $=((c(\overline{d}(x){)}^{-1}c(d(x)),d(\overline{d}(x)))=(1,x)$. As is well known, an associative structure which has a left neutral element and where each element has a left inverse is a group. $◻$

Of course, not all invertible infinite lower triangular arrays are Riordan arrays. Here is a useful characterization for the arrays that are Riordan. The following result is apparently due to Rogers.

Theorem: An infinite lower triangular array $D=(d_{n,k}{)}_{n,k\ge 0}$ is a Riordan array if and only if there exist a sequence traditionally called the $A$-sequence, $A=(a_0\ne 0,a_1,...)$ such that

Proof. $\Rightarrow :$ Let $D$ be the Riordan array stemming from $(d(t),h(t)).$ Since $d(t)\in {ℱ}_0,$ $d_{0,0}\ne 0.$ Since $h(t)$ has order 1, it follows that $(d(t)h(t)/t,h(t))$ is a Riordan array and by the group property there exists a Riordan array $(A(t),B(t))$ such that $(d(t),h(t))*(A(t),B(t))=(d(t)h(t)/t,h(t)).$ Computing the left-hand side yields $(d(t)A(h(t)),B(h(t))$, and hence, comparison yields $B(h(t))=h(t)$. Thus, $B(t)=t$ is a solution to this equation; it is unique since $B$ is composition invertible. Thus, we can rewrite the equation as $(d(t),h(t))*(A(t),t)=(d(t)h(t)/t,h(t)).$

From the matrix multiplication law, the $(n,k)$-entry of the left-hand side of this latter equation is

At the other hand the $(n,k)$-entry of the right-hand side of the equation above is Template:Center so that i results. From ${*}_1$ we also get $d_{n+1,n+1}=a_0{d}_{n,n}$ for all $n\ge 0$ and since we know that the diagonal elements are nonzero, we have $a_0\ne 0.$ Note that using equation ${*}_1$ one can compute all entries knowing the entries $(d_{n,0}{)}_{n\ge 0}.$

$\Leftarrow :$ Now assume that, for a triangular array, we have the equations ${*}_1$ for some sequence $(a_j{)}_{j\ge 0}.$ Let $A(t)$ be the generating function of that sequence and define $h(t)$ from the equation $tA(h(t))=h(t)$. Check that it is possible to solve the resulting equations for the coefficients of $h$; and since $a_0\ne 0$ one gets that $h(t)$ has order 1. Let $d(t)$ be the generating function of the sequence $(d_{0,0},d_{1,0},d_{2,0},...)$. Then for the pair $(d(t),h(t))$ we find $(d(t),h(t))*(A(t),t)=(d(t)A(h(t)),h(t))=(d(t)h(t)/t,h(t))$. This is the same equations we found in the first part of the proof, and going through its reasoning, we find equations as in ${*}_1$. Since $d(t)$ (or the sequence of its coefficients) determines the other entries, we see that the initial array is the array we deduced. Thus, the array in ${*}_1$ is a Riordan array. $◻$

Clearly, the $A$-sequence alone does not contain all the information about a Riordan array. Indeed, it only determines $h(t)$ and places no restriction on $d(t)$. To determine $d(t)$ "horizontally", a similarly defined $Z$-sequence is used.

Theorem. Let $(d_{n,k}{)}_{n,k\ge 0}$ be an infinite lower triangular array whose diagonal sequence $(d_{n,n}{)}_{n\ge 0}$ does not contain zeroes. Then there exists a unique sequence $Z=(z_0,z_1,z_2,...)$ such that Template:Center Proof: By the triangularity of the array, the equation claimed is equivalent to $d_{n+1,0}=\sum _{j=0}^n{z}_j{d}_{n,j}$. For $n=0$, this equation is $d_{1,0}=z_0{d}_{0,0}$ and, as $d_{0,0}\ne 0,$ it allows computing $z_0$ uniquely. In general, if $z_0,z_1,...,z_{n-1}$ are known, then $d_{n+1,0}-\sum _{j=0}^{n-1}{z}_j{d}_{n,j}=z_n{d}_{n,n}$ allows computing $z_n$ uniquely. $◻$