A Note on the Sequence Related to Catalan Numbers

The main purpose of this paper is to find explicit expressions for two sequences and to solve two related conjectures arising from the recent study of sums of finite products of Catalan numbers by Zhang and Chen.


Introduction
Let n be any non-negative integer.Then, This sequence occupies a pivotal position in combinatorial mathematics, so lots of counting problems are closely related to it.A great number of examples can be found in a study by Stanley [1].Because of these, plenty of scholars have researched the properties of Catalan numbers and obtained a large number of vital and meaningful results.Interested readers can refer to the relevant references , which is not an exhaustive list.Very recently, Zhang and Chen [27] researched the calculation problem of the following convolution sums: where the summation has taken over all h-dimension non-negative integer coordinates (a 1 , They first introduced two new recursive sequences, C(h, i) and D(h, i), and after the elementary and combinatorial methods, they proved the following two significant conclusions: Theorem 1.For any positive integer h, one gets the identity: where the sequence C(h, i) is defined as , and for all integers 1 ≤ i ≤ h − 1, we acquire the recursive formula: Theorem 2. For any positive integer h and non-negative n, one can obtain: , where ( Meanwhile, through numerical observation, Zhang and Chen [27] also proposed the following two conjectures: Conjecture 1.Let p be a prime.Then, for any integer 0 ≤ i < p+1 2 , we obtain the congruence: Conjecture 2. Let p be a prime.Then, for any integer 0 ≤ i < p+1 2 , we obtain the congruence: For easy comparison, here we list some of the values of C(h, i) and D(h, i) with 1 ≤ h ≤ 6 and 0 ≤ i ≤ h in the following Tables 1 and 2.  Based on these two tables and a large number of numerical calculations, we found that these conjectures are not only correct, but also have generalized conclusions.Actually, they provide a simpler and clearer representation.
In this paper, by using some notes from Zhang and Chen's work [27] as well as some basic and combinatorial methods, we are going to prove the following: Theorem 3. Let h be a positive integer.Then, for any integer i with 0 ≤ i ≤ h, we acquire the identity: Theorem 4. Let h be a positive integer.Then, for any integer i with 1 ≤ i ≤ h, we acquire the identity: Based on the above two theorems, we may instantly deduce the following two corollaries: Corollary 1.Let h be any positive integer.Then, for any integer 0 ≤ i ≤ h − 1, we gain the congruence: C (h, i) ≡ 0 mod 2h(2h − 1).
Taking n = 0 in Theorem 1 and Theorem 2 and applying our theorems, we may instantly deduce the following two identities: Corollary 3. Let h be any positive integer.Then, we get the identity:

Corollary 4.
Let h be any positive integer.Then, we get the identity: Some notes: If we replace C(h, i) ( D(h, i)) in Theorem 1 (Theorem 2) with the formula for C(h, i) (D(h, i)) in our Theorem 3 (Theorem 4), then we can get a more accurate representation for convolution sums (2).
The proof of the results in this paper is uncomplicated, but guessing their specific forms is not easy.

Proofs of the Theorems
Actually, the recursive form of the sequence C(h, i) or D(h, i) is more complex, but as long as we are able to guess its accurate representation, it is not difficult to prove.First of all, combining the mathematical induction method, we are going to prove: According to Table 1, we know that This means that (3) is correct for h = 1, 2, 3, and 0 ≤ i ≤ h.
In a similar way, we can also prove Theorem 4 by mathematical induction.Since the proof process is the same as the proof of Theorem 3, it is omitted.

Conclusions
The main purpose of this paper was to give two specific expressions for the sequences C(h, i) and D(h, i).As for some applications of our results, we proved two conjectures proposed by Zhang and Chen in [27].
As a matter of fact, our results are more general and not subject to prime conditions.Meanwhile, using our formulae for C(h, i) and D(h, i) in the theorems, we can simplify the variety of results that appear in Reference [27].
This paper not only enriches the research content of the Catalan numbers, but can also be regarded as a supplement and further improvement to Zhang and Chen's work in [27].

Table 2 .
Values of D(k, i).