Properties of Motzkin triangle and t-generalized Motzkin sequences

We consider the Motzkin triangle as the zero-free part of a well-defined plane array. The right diagonal leg of the triangle is the Motzkin sequence, which satisfies a second order linear recurrence with linear polynomial coefficients. We extend this relation to the parallel diagonals to the line of Motzkin sequence. More generally, we prove the existence of a recursive formula for the formation of three arbitrary elements in the triangle, and construct the corresponding formulae for three connected entries, among them diagonal triples, of twenty possible formations. These recursive formulae have bivariate polynomial coefficients of higher order. We describe the columns of the Motzkin triangle as polynomial values, and reveal nice non-trivial factorization properties of these polynomials. The results essentially depend on an initially derived recursive rule of three consecutive horizontal elements provided by the definition of the triangle, and on a construction method which creates recurrence rules for other structures.


Introduction
Define the array [m n,k ] n,k for n, k ∈ Z as follows. Let m k,n = 0 unless 0 ≤ k ≤ n. In the latter case, m 0,0 = 1, and for n ≥ 1 the elements m n,k satisfy m n,k = m n−1,k + m n−1,k−1 + m n−1,k−2 . (1) The zero-free part of the array has a triangular shape structurally identical to Pascal's triangle, and it is called Motzkin triangle (A026300 and reflected version A064189 in OEIS [4]). The name comes from the fact that the right leg of the triangle coincides with the Motzkin sequence (M n ) n≥0 (more precisely Clearly, the left leg is the constant 1 sequence, i.e., m n,0 = 1 (n ≥ 0). Moreover, it is easy to see that m n,1 = n holds for any n ≥ 0. Figure 1 illustrates the Motzkin triangle together with the construction rule.
One of the first articles on Motzkin numbers (A001006 in OEIS [4]) and Motzkin triangle is the work of Donaghey and Shapiro [2]. They present some combinatorial interpretations, too. The combinatorial and algebraic properties, and generalizations of Motzkin numbers have been widely studied in several papers. For example, Oste and Van der Jeugt [3] gave a good summary on different variations based on the generalizations of the Motzkin path which is one of the combinatorial interpretations of Motzkin numbers. A well-know fact is that Motzkin numbers can be defined by Catalan numbers as well. Wang and Zhang [5] examined a type of generalized Motzkin sequence which is based on the extension of Catalan numbers. Zhao and Qi [6] also studied this sort of generalization. Recently, Chen, Wand, and Zheng [1] presented a new Motzkin triangle. The reader can find an extensive survey on several results in [1][2][3]5,6].
In this article, we consider, among others, the so called t-generalized Motzkin sequences (M 3) provides a preliminary insight into their attributes. We reveal a lot of properties of the Motzkin triangle, some of them are associated to t-generalized Motzkin sequences.
The paper is organized as follows. In Sect. 2, we replace the defining rule (1) by a linear recursion among three consecutive elements of a row, where the coefficients are bivariate quadratic polynomials. The main result is given in Theorem 1. Section 3 studies linear recurrences with polynomial coefficients that refer to three arbitrary entries of the triangle forming a given structure.
Here the principal observation is Theorem 3, which states the existence of linear recurrences. Another important contribution is the construction method of new recursive rules of new structures. As an application we computed the recursive description of all possible formations of three connected entries, the coefficient polynomials are collected in "Appendix" (Sect. 5). The next section (Sect. 4) goes back to Motzkin numbers and deals with t-generalized Motzkin sequences (M (t) n ) in the sense we introduced them above. This part is based on the diagonal recurrence that can be found in the previous section. Theorem 4 is an analogue of (2) for t = 1. Finally, Sect. 5 considers the columns of the triangle as polynomial values, and investigates the factorization features of the aforementioned polynomials depending on the columns. Theorems 5 and 6 contain the principal results, while Conjecture 1 presumes additional speciality.

Recursion with three consecutive terms in rows
The following theorem provides a linear recursive relationship among three consecutive row entries of the triangle. It is a sort of spring-board, and will play an important role in our subsequent investigations. Theorem 1. Let n ∈ N, and assume that k ≤ n + 1. Then the recurrence holds in the rows of the triangle.
Proof. The statement is trivially true for arbitrary n if k ≤ 1 or k = n + 1.
In the sequel, we assume 2 ≤ k ≤ n. Obviously, (3) holds when n = k = 2. Consequently, (3) is true for the whole 2nd row with the restriction k ≤ n + 1.
Applying the technique of mathematical induction on n, we suppose that (3) holds for some n ≥ 2. Now we define three quadratic bivariate polynomials according to the coefficients in (3). Put n,k = (n − k + 1)(n − k + 3), 704 L. Németh and L. Szalay AEM p (2) n,k = (n − k + 1)(2n − k + 4). Using this notation, we will show Applying (1) for m n+1,k , m n+1,k−1 , and m n+1,k−2 , respectively, the last equation is equivalent to In order to eliminate the last term m n,k−4 , first we use the induction hypothesis (3) with k − 2 and with the notation p (i) to obtain Then multiply (5) by p (2) n,k−2 and replace p (2) n,k−2 m n,k−4 with the left-hand side of (6). It leads immediately to where n,k−2 , Similarly to (6), the induction hypothesis with k − 1 implies Multiply (7) by p (2) n,k−1 . In the equality we obtain, use (8) to eliminate the term m n,k−3 . Then we have Vol. 96 (2022)

Properties of Motzkin triangle and t-generalized 705
Here the coefficient polynomials P i have degree 6. Since the basic polynomials p (i) n,k above (4) are well defined, the whole procedure can be carried out by symbolic computations, for example in Maple. It provides Thus, we realize that equation (9) and the induction hypothesis (3) are proportional with the positive ratio R, and the proof is complete.

Fixed formations of three elements of the triangle
The main purpose of this section is to prove that if we fix a structure of three arbitrary elements in the triangle, then there exists a recursive rule associated to the formation. This recursion has bivariate polynomial coefficients which depend on the location (n, k) of the leading element of the triple. Here n, and k means the row, and column numbers, respectively. The leading element is the lowest element among the three. If it is not unique, then the rightmost one of the lowest row becomes the leader. For example, take three consecutive elements in a row. The leading is the rightmost one, and recursion (3) describes the corresponding rule among them. A formula is called normalized if it refers to the leading element.
In the beginning we intended to derive a recursive formula to connect m n,k , m n−1,k−1 , and m n−2,k−2 . This is a diagonal direction parallel to the right leg of the triangle, and in this sense we generalize the Motzkin sequence (M n ). But it turned out that there exists a procedure which can derive a new recursive formula for new formation from two suitable structures possessing known recursive rules. This way we could construct recursive descriptions of all the 20 connected triples (see "Appendix"). Note that the procedure does not depend on the Motzkin triangle, but the recursive nexus does. The great advantage of this approach is that, knowing initial or intermediate formations, we are able to produce a new structure without making the calculations. Thus, one can apply the algorithm in other triangles as well.
Later we use this method to justify Theorem 3, which states the existence of a recursive connection of a formation of three arbitrary elements. Finally, we premise that structures with more elements can also be described similarly. For instance, we have established a recursive formula of the glider in Game of Life, where the coefficients are bivariate polynomials of degree 5 (see "Appendix").

Construction method
Suppose that we have some known recursive rules referring to some given formations of elements. A formation is a geometrical pattern extracted from the relative locations of the elements. Note that we initially had only the defining formula (1) with four entries, and then (3) gave the second one with three elements.
A formula for a new formation can be derived if we consider one common element of the two formations. From the corresponding recursive rules, after eliminating the common term, we can create the new formula associated to the union of the two formations minus the joint element. A nice geometrical representation facilitates the application of this atomic step without carrying out the calculation itself. Accordingly, the pictogram È É È É È É È É illustrates the first known formation (1) (i.e., the formation with known recurrence), while the second known formation (3) is shown by È É È É È É . Put the first structure onto the second one according to Fig. 2.
First choose the leftmost common element to eliminate it from both (1) and (3). Equating them we obtain a new recursive rule for the formation È É È É È É . The notation can shorten the description above.
Observe that this is only an abbreviation, not an operation in an algebraic sense, because (1) and (3) could yield two other formations. If we choose the middle common element, then the resulting three elements are disconnected. Thirdly, if we eliminate the rightmost common entry (see Fig. 3), then the output is a new connected triple given by In this manner, we can easily obtain what is left of the 20 connected triples. In the next subsection, we give one way to derive them in a logical order, while shows the way to construct È É È É È É from È É È É È É and È É È É È É . Note that the derivations of the two inputs here were analyzed above, both are direct consequences of (1) and (3), see Figs. 2 and 3 again. Now look at how the procedure works one layer deeper, when we are interested not only in deriving the construction, but also the precise recursive equality itself. The second phase of (10) uses the two equations (see "Appendix"), where the two recursive formulae are normalized. Put the two formations onto each other so that the two neighbouring horizontal elements are matched pairwise. So we pushed È É È É È É up by one row. Hence now holds. Multiply the first formula n,k m n−1,k + A The three coefficient polynomials are quartic, but we are lucky because their greatest common divisor is 2(n − k)(n − k + 1). Thus, dividing both sides of (13) by the gcd, finally we have Note that the last two coefficients are univariate polynomials in n. Hence we obtain (14) as a recursive rule which describes the directions parallel to the location of the Motzkin sequence. That was one of our main goals.

Three connected entries
In this subsection, we describe a sort of "family tree" of the 20 existing formations of three connected elements. We remark that there exist different orders to create all the objects. For example, in the (partially described) proof of Theorem 2 we used the construction (10), which could have been continued. But here we give a more transparent approach, and display the list as follows. Assume that the initial elements are È É È É È É and È É È É È É (the first one is the first triple given by Theorem 1, the second one was introduced in the previous subsection). In the first generation, we create the remaining three "corners" We could compute each coefficient in each case, and it shows that the largest degree of the coefficient polynomials is 6, which occurs only in the case of the last "diagonal". For the complete list of recursive rules see the "Appendix".
Here we have only given a of construction method of the 20 cases.

Three arbitrary entries
The main purpose of this subsection is to prove the following theorem. We fix a construction of three arbitrary elements via fixed suitable integers n 1 , k 1 and n 2 , k 2 . Theorem 3. Let 0 ≤ n 1 ≤ n 2 and k 1 , k 2 be integers. Then there exist bivariate polynomials f (0) (n, k), f (1) (n, k), and f (2) (n, k) with integer coefficients such that Note that the recursive formula of the theorem is normalized. It is guaranteed by the conditions given at the end of the statement in the three branches.
Proof. The case of connected triples has already been justified. Now we describe, without precise details, the way how one can derive the recurrence connection among the elements of an arbitrary triple.
First recall the construction method. It says that if we have two known triples, and we can put them onto each other so that two elements of the first cover two of the second, then after eliminating one matching, we obtain a new triple. We will use the horizontal, the vertical connected triples, and the four corners as initial constructions, and also some intermediate triples of the process. The short description is split into five steps illustrated by Fig. 4, the details are left to the reader (as we have already had a lot of experience in constructions).  We note that during the procedure neither f (0) (n, k), f (1) (n, k), and f (2) (n, k) becomes constant zero polynomial in (15). To show this the crucial point is the following statement: there are no two bivariate polynomials h 0 (n, k) and h 1 (n, k) such that h 0 (n, k)m n,k = h 1 (n, k)m n,k−1 holds. In other words, Theorem 3 can not be reduced to two terms.

t-generalized Motzkin sequences
Originally, we were motivated to study the properties of t-generalized Motzkin sequences. Later we realized many related problems, some of which are the subject of this paper.
t-generalized Motzkin numbers are defined precisely as follows. Let t be a non-negative integer. Then M n too, but it is getting more and more complicated as we increase t. Therefore, we provide it when t = 1, but this treatment also indicates a hint for larger values of t.
Clearly, the defining Eq. (1) yields Recall the recursive rule (11) with k = n − 1. Obviously, it gives a function to express M n−1 with two neighbouring terms of the 1-generalized Motzkin sequence. Indeed, by (11)   Moreover, formula (refers to È É È É È É in Table 1 of the "Appendix") implies a recurrence between the tgeneralized and (t + 1)-generalized Motzkin sequences. Really, replacing (n, k) by (n + t, n) in (19) we find

Columns of the Motzkin triangle
In the introduction, we mentioned that the 0th column contains only the integer 1 (i.e., m n,0 = 1), and in the 1st column we have m n,1 = n. This information can be interpreted so that the 0th column is described by the constant 1 polynomial p 0 (n) = 1, while the 1st column consists of the polynomial values p 1 (n) = n. Going right from left, and considering n as a variable, (3) leads to the sequence of polynomials (p k (n)) k≥0 . Actually first we know only that p k (n) is a rational function of n, but we can easily show by induction that p k (n) is a polynomial indeed. That is holds together with the initial polynomials p 0 (n) = 1 and p 1 (n) = n. Clearly, the sequence may begin with p −1 (n) = 0 as well. Note that the polynomial value p k (α) returns with m α,k only if the integer α satisfies α ≥ k − 1. This follows from the construction of the Motzkin triangle. The first few next polynomials are p 5 (n) = 1 5! n(n − 4)(n − 1)(n + 2)(n + 13).
Although we are unable to give the complete rational factorization of the polynomials p k (n) the next theorems provide important information about them.
Proof. (Proof of Theorem 6) The statement is trivially true for k = 0, 1, 2. Assume that it is also true for all non-negative values as far as k − 1. Then simply consider (21) modulo (n + 2). It admits Now we distinguish three cases according to the remainder of k modulo 3. If k ≡ 0 (mod 3), then p k−1 ≡ 0 and p k−2 ≡ −(k − 1) modulo (n + 2). Hence (25) entails p k (n) ≡ (k + 1). Similarly, the other two possibilities are also easy to see.