Some Combinatorial Interpretations and Applications of Fuss-Catalan Numbers

It is well known that the nth term of Catalan numbers is cn 1/ n 1 ( 2n n ) 1/ 2n 1 ( 2n 1 n ) and {cn}n≥0 {1, 1, 2, 5, 14, 42, 132, . . .}. Also, one of many combinatorial interpretations of Catalan numbers is that cn is the number of shortest lattice paths from 0, 0 to n, n on the 2-dimensional plane such that those paths lie beneath the line y x. On the other hand, Fuss-Catalan numbers {c s n }s,n≥0 were investigated by Fuss 2 and studied by several authors 1, 3–7 . Hence we have the following proposition.


Introduction
Catalan numbers {c n } n≥0 1 are said to be the sequence satisfying the recursive relation It is well known that the nth term of Catalan numbers is c n 1/ n 1 2n n 1/ 2n 1 2n 1 n and {c n } n≥0 {1, 1, 2, 5, 14, 42, 132, . ..}.Also, one of many combinatorial interpretations of Catalan numbers is that c n is the number of shortest lattice paths from 0, 0 to n, n on the 2-dimensional plane such that those paths lie beneath the line y x.
On the other hand, Fuss-Catalan numbers {c s n } s,n≥0 were investigated by Fuss 2 and studied by several authors 1, 3-7 .Hence we have the following proposition.Proposition 1.1.If n and s are nonnegative integers, the following statements are equivalent: s n is the number of shortest lattice paths from 0, 0 to n, s − 1 n on the 2-dimensional plane such that those paths lie beneath y s − 1 x.
It is easy to see that in the case when s 2, the sequence of Catalan numbers {c n } is a special case of the family of Fuss-Catalan numbers {c 2 n }.Although Fuss-Catalan numbers could be viewed as one kind of generalized Catalan numbers, Fuss finished this work many years before Catalan 8 .
The proposition describing Fuss-Catalan numbers could be restated in the language of generating functions.

Proposition 1.2. The generating function C s x n≥0 c
s n x n satisfies the equation x A s s x A s x − 1, where A x is a generating function.That is, There are many combinatorial interpretations of Fuss-Catalan numbers, but most of them are similar to that of Catalan numbers.In order to demonstrate the importance of Fuss-Catalan number, in Section 2 we tried to find some combinatorial interpretations which is different from original Catalan numbers.
Finally, Hilton and Pedersen 9 generalized an identity called Jonah's theorem which involves Catalan numbers.So in Section 3 we restated the identity in Jonah's theorem in the form of Fuss-Catalan numbers.

Some Other Interpretations
It is remarkable that the interpretation in Proposition 1.1 illustrates the relation between paths in an n × n square and Catalan numbers.It is reasonable to consider whether Fuss-Catalan numbers are relevant to paths in an n × n × n cube.As the cube in Figure 1, consider the shortest path in it from 0, 0, 0 to n, n, n .There are 3n !/n!n!n! paths.But it is notable that 3n !/n!n!n! could be also written as Maybe by giveing some constraints, shown in Figure 2, the number of paths will be precisely c And here are some results, which consider a more general case on an n × n × s − 1 n cuboid.Theorem 2.1.From 0, 0, 0 to n, n, s − 1 n and under the following constraints: Proof.Let P be a shortest path constrained by the conditions in Theorem 2.1.First consider the projection of P on the yz-plane.The projection could be thought as a shortest path in an n × s − 1 n right triangle in Proposition 1.1.So there are c s n ways to decide a path on this triangle.Fix one path and use this path to cut the cuboid with the positive direction of the x-axis.The graph is like a ladder in the right side of Figure 3 and could be put on a plane, and then it becomes an n×sn right triangle.So in this situation, there are c  Corollary 2.2.From 0, 0, 0 to n, n, n and under the following constraints: Proof.This is a special case of Theorem 2.1.
If now we loosen the condition "the base of the cuboid must be square", we can get some more general result.And the proof of this theorem is similar to that of Theorem 2.1.

Theorem 2.3. Let m, n, s, t be positive integers and sn
t − 1 m.From 0, 0, 0 to m, n, s − 1 n and under the following constraints: there are c t m × c s n shortest paths.

Generalized Jonah's Theorem
Jonah's theorem 9 is the identity where N 0 is the set of nonnegative integers and c i is the ith term of Catalan numbers.Hilton and pedersen 9 proved the new identity where R is the set of real numbers.The theorem is proven by lattice paths.Here we try to generalize the identity 3.2 as follows showing the connection with Fuss-Catalan numbers The following lemmas will be needed to prove the identity 3.3 .
Lemma 3.1.For any generating function f x with f 0 0, the equation has at most one solution of generating function (abbreviated SGF).That is, if f x is a generating function with f 0 0, there is at most one generating function g x satisfying f x g s x g x − 1.

3.5
Proof.The cases s 0 and s 1 is easy since 3.4 could be solved immediately.So we assume that s ≥ 2. If g x is one SGF of 3.4 , we have the identity where f, B, and g are the abbreviations of f x , B x , and g x .Since the ring of formal power series is an integral domain, if B x has any SGF other than g x then the second term in the right hand side must be identically zero.However, if B x is a generating function, we have B 0 < ∞ and so f 0 B i 0 f 0 g s−1 0 0 for all proper integer i.Since the second term on the right equals −1 but not 0 as x 0, it could not be identically zero.That is, g x is the only SGF.
where C s is the generating function of c s n where s is fixed.Then for f x x 1 x −s , both p x and q x are SGFs of 3.4 .Hence p x q x .That is,

ISRN Discrete Mathematics
Proof.Naturally p x is a generating function; q x is also a generating function since it is the linear combinartion of power of the generating function f x .
Observe that by Proposition 1.2.So both p x and q x are SGFs of 3.4 .Finally by Lemma 3.1, there is at most one SGF.Hence p x q x .Theorem 3.3.For any real number n and integer m, the following identity holds: Proof.By multiplying both sides of 3.8 by 1 x n , we have Then we get 3.10 by comparing the coefficients.
The following are the special cases of Theorem 3.3: iii s 2 ⇒Jonah's theorem.On the other hand, even when m ≥ n 1 the identity holds.ways; after i, s−1 i the path must go upward to i, s−1 i 1 and then finally reach m, n−m 1 without any constraints, and thus there are n−si m−i ways.So the total number of paths will be the summation of that of each point.

s 1 n
ways to be chosen.Finally since we may choose the paths in the n × s − 1 n triangle and that in the n × sn triangle independently, there are c s 1 n × c s n paths totally.