On the 𝑟-Shifted Central Coefficients of Riordan Matrices

Abstract

By presenting Riordan matrix as a triangle, the central coefficients are entries in the central column. Starting at the central column, the -shifted central coefficients are entries in column of the right part of the triangle. This paper aims to characterize the -shifted central coefficients of Riordan matrices. Here we will concentrate on four elements of the subgroups of the Riordan group, that is, the Bell subgroup, the associated subgroup, the derivative subgroup, and the hitting time subgroup. Some examples are presented to show how we deduce the generating functions for interesting sequences by using different means of calculating these -shifted central coefficients. Besides, we make some extensions in the Bell subgroup.

1. Introduction

Every infinite lower triangular array, in particular Riordan array, can be presented as a triangle. For instance, the Pascal triangle can be represented in the following form: However, its most usual representation is We will refer to the former representation as the ISO (isosceles) triangle and to the latter as the REC (rectangular) triangle. The central coefficients are given by the central column of the ISO triangle, which play an important role in combinatorics. Barry [1] makes use of the central coefficients of Bell matrices to deduce the generating functions of interesting sequences. A natural question to ask is, “What happens when other columns of the ISO triangle are examined?” We investigate this question for the right part of the Riordan triangle. To consider this case we define the -shifted central coefficients and give their computing methods in four subgroups of the Riordan group in Section 2. With the -shifted central coefficients, we can deduce the generating functions of more sequences. Also, some examples are presented to show how we deduce the generating functions of interesting sequences by using different means of calculating these -shifted central coefficients. Some sequences referred to by their Annnnnn OEIS number can be found in On-Line Encyclopedia of Integer Sequence (OEIS) [2].

Furthermore, we introduce the AER (aerated) triangle as the ISO form with interposed zeros: Considering a Riordan array in its AER form, we prove that the right part of the AER triangle is an aerated Riordan array. That is to say, the -shifted central coefficients with interposed zeros can generate an aerated Riordan array and the relation of this Riordan array with the initial one will be shown in Section 3. Finally, we defined the -shifted central coefficients for expanding our research subject.

Before defining the -shifted central coefficients we recall the Riordan group [3], sate the Fundamental Theorem of Riordan arrays, and give four of the subgroups of the Riordan group. Consider infinite matrices with entries in , the complex numbers. Let be the generating function of the th column of . We now make the crucial special assumption that where In this case, we write and say that is a Riordan array. That is to say, the pair defines the having

Suppose we multiply by a column vector and the result is the column vector . If the generating function for the sequence is and similarly, has as its generating function, then we obtain This is called the Fundamental Theorem of Riordan arrays. The typical column of is and using this as quickly yields the matrix multiplication rule for the Riordan group which is This shows us that the identity , the usual matrix identity, and group inverse where is the compositional inverse of , such that . In addition, subgroups of the Riordan group are important and have been considered in the literature. (i)The associated subgroup [4]: elements of this subgroup are of the form . (ii)The Bell subgroup [4]: elements of this subgroup are of the form or . (iii)The derivative subgroup [5]: elements of this subgroup are of the form , where denotes the first derivative of . (iv)The hitting time subgroup [6]: elements of this subgroup are of the form , where denotes the first derivative of .

In order to compute the -shifted central coefficients of matrices in the previous defined subgroups, we need the Lagrange Inversion Formula, whose proof can be found in [7].

Lemma 1 (LIF). Let be a formal power series with and   and let be its compositional inverse; then one has

2. -Shifted Central Coefficients

Definition 2. Let be a Riordan array, and denote the central coefficients. Then the -shifted central coefficients are defined as the sequence , where .

According to this definition, we find that the central coefficients are equal to 0-shifted central coefficients. Sometimes, we ignore the central coefficients; that is to say, the first column considered is 1-shifted central coefficients. Therefore, -shifted central coefficients should be given for .

Example 3. The ISO representation of the Bell-type Riordan array is
Then its central coefficients begin , 1-shifted central coefficients begin , and 2-shifted central coefficients begin .
If we consider lattice paths in the first quadrant, then the -shifted central coefficients of Riordan array are the number of paths from to that consist of steps and steps , . Besides, also denotes the number of paths from to that consist of up steps and down steps . If we just allow east steps and north steps , then is the number of paths from to , never going above the main diagonal .

In this section, we characterize the -shifted central coefficients of the matrices in four subgroups, of which the Bell subgroup is the most important. Also, some examples are presented to show how we deduce the generating functions of interesting sequences by using different methods to calculate these -shifted central coefficients.

2.1. The Bell Subgroup

Theorem 4. Let be an element of the Bell subgroup of the Riordan group. If denote the -shifted central coefficients of , then one has where , .

Proof. According to formula (6), we can calculate directly,
We now apply the LIF. This says that if we have then Thus we obtain that where ; then formula (12) is obtained.
From formula (12) and formula (13) can be obtained immediately.

Example 5. Let us consider the Riordan array We wish to show the following two formulas: where , . Using this formula, we can give some interesting sequence generating functions. Here we just list the first two cases: in the case , the sequence we give is little Schröder numbers A001003, and in the case , the sequence we give begins where , . Here we show several cases: 0-shifted central coefficients begin , 1-shifted central coefficients begin , 2-shifted central coefficients are A089382, and 3-shifted central coefficients begin .
In order to do this, we need to calculate the -shifted central coefficients of this matrix in two ways. Then we have
On the other hand, by solving the inverse of , here , we have Thus, from the previous theorem, the two formulas can be obtained by comparing the two expressions for .

Rogers [8] states that for every proper Riordan matrix there exists a sequence such that for every we have where the sum is actually finite, because when . The sequence is called the -sequence of the Riordan . If is the generating function of the sequence , we have [9] where is the compositional inverse of .

Making use of -sequence and Theorem 4, we obtain a new characterization to the generating functions for central coefficients of a Bell-type array. Now we show this result as a corollary.

Corollary 6. Let be a proper Riordan array with the A-sequence whose generating function is . If denote the central coefficients of the Bell matrix produced by , then one has

Proof. We can easily find that is equivalent to Then the result follows by using Theorem 4.

Example 7. Consider the Riordan array . From , we have
Then the Bell matrix produced by is , its central coefficients
Since where is the generating function for the Motzkin numbers, and Corollary 6, we have

2.2. The Associated Subgroup

Theorem 8. Let be an element of the associated subgroup of the Riordan group. If denote the -shifted central coefficients of , then one has where , .

Proof. First of all, we have According to the Lagrange Inversion Formula, we have since we set
Therefore, we get where .

Example 9. Let us consider the Riordan array We wish to show that where , . We can call this -fold convolution of the large Schroeder numbers.
We list the first few cases: when , the sequence is large Schröder numbers A006318, when , the sequence is A006319, and when , the sequence is A006320.
Firstly, we can calculate directly, and then we have as expected. Secondly, to carry out the reversion of , we set , where ; then we obtain the result (with ) Lastly, from Theorem 8, the result follows.

2.3. The Derivative Subgroup

Theorem 10. Let be an element of the derivative subgroup of the Riordan group. If denote the -shifted central coefficients of , then one has where , .

Proof. Calculating directly, we have Since , we obtain As we know, then we have
We now set then an application of the Lagrange Inversion Formula gives us
Thus we obtain where .

Example 11. Let us apply the previous theorem to the Riordan array Actually, .
Our purpose is to obtain that which is equivalent to [10] where is the generating function for the Catalan numbers.
Since , we have By the previous theorem, we have
We now calculate as follows:
A comparison of both expressions for now yields the result.

2.4. The Hitting Time Subgroup

Theorem 12. Let be an element of the hitting time subgroup of the Riordan group. If denote the -shifted central coefficients of , then one has where , .

Proof. Apparently, which can proceed along the same way as in the proof of Theorem 10.

Example 13. Consider the Catalan triangle where is the generating function for the Catalan numbers and is the generating function for the central binomial coefficients. We wish to get that where , .
In the case , the sequence we discuss is A001764, and in the case , the sequence we discuss is A006013.

To this end, we should make the clear. Here Then the compositional inverse of is [1] From Theorem 12, we have where .

also can be presented as Then by Formula [11], used backwards, we obtain

Comparison of the expressions for now gives the result.

3. Some Extensions

In the previous section, using the -shifted central coefficients, we can give some interesting sequences generating functions. In this section, we make some extensions. (i)Generate the proper aerated Riordan array by the -shifted central coefficients with interposed zeros. (ii)-shifted central coefficients are defined by stretching the right part of the triangle times.

Here we do these just in the Bell subgroup.

3.1. -Shifted Central Coefficients with Interposed Zeros

From Theorem 4, we have obtained that the -shifted central coefficients of a Bell-type Riordan array have g.f. given by where , . Therefore, an aerated Riordan array can be generated by the -shifted central coefficients with interposed zeros, and it has the following form: where , . That is to say, the right part of the AER triangle (starting at any column ) is an aerated Riordan array which is uniquely determined by the function . For instance, the Pascal triangle can generate the aerated Riordan array , where ,  .

3.2. -Shifted Central Coefficients

For expanding our research subject in Bell subgroup, we now repeat the following steps. (i)Stretch the infinite lower triangular array so that it becomes isosceles. (ii)Consider the columns of the right part of the ISO triangle. (iii)Regard the right part of the ISO triangle as an infinite lower triangular array.

We can repeat this process infinite times, because the right part of every triangle can be regarded as an infinite lower triangular array. Considering a Bell-type array as the initial one, we now repeat this process times for the initial array; then we should consider the -shifted central coefficients defined as the sequence , where , , just like the following cases.

When , we consider That is to say, we should consider -shifted central coefficients .

When , we consider That is to say, we should consider -shifted central coefficients .

Then we have the following result.

Theorem 14. Let denote the -shifted central coefficients of Bell-type Riordan matrix ; then one has where , , .

Proof. Using LIF and proceeding along the same way as in the proof of Theorem 4, we can get the result easily.

Example 15. We consider the Pascal triangle . We wish to prove the following result about the generating function for : where is the generating function for the Catalan number A000108, , .
Since , we have By Theorem 14, we obtain
On the other hand, as we all known, the Pascal triangle . Therefore, we have Then the result follows immediately by comparing the two expressions for .

Conflict of Interests

The authors declare that they have no conflict of interests regarding the publication of this paper.

Acknowledgments

This work was supported by the National Natural Science Foundation of China (Grant no. 11261032) and the Natural Science Foundation of Gansu Province (Grant no. 1010RJZA049).