TOPICS
Search

Riordan Number


The Riordan number R_n, for a nonnegative integer n, is the number of set partitions of n points placed on a circle such that every set block contains at least two points and the convex hulls of distinct blocks are disjoint (Bernhart 1999). The first few Riordan numbers are 1, 0, 1, 1, 3, 6, 15, 36, 91, 232, 603, 1585, ... (OEIS A005043). They are also called ring numbers (Bernhart 1999).

The Riordan numbers satisfy the recurrence relation

 R_n=(n-1)/(n+1)(2R_(n-1)+3R_(n-2))
(1)

for n>=2, with R_0=1 and R_1=0. Their generating function is

R(x)=sum_(n=0)^(infty)R_nx^n
(2)
=1/(2x)(1-sqrt((1-3x)/(1+x)))
(3)
=1+x^2+x^3+3x^4+6x^5+15x^6+....
(4)

It obeys the functional equation

 R(x)=1/(1+x)+xR(x)^2.
(5)

The Catalan number C_n is given by (Bernhart 1999)

 C_n=sum_(k=0)^n(n; k)R_k.
(6)

Indeed, C_n counts all noncrossing set partitions of the n points. There are (n; k) ways to choose the k points belonging to set blocks of size at least two and R_k ways to partition the chosen points as in the definition of R_k. Each remaining point forms a set block by itself.

If M_n is the nth Motzkin number, then

 M_n=R_n+R_(n+1).
(7)

Equivalently, R_n counts ordered rooted trees with n edges in which no vertex has exactly one child (Bernhart 1999).


See also

Catalan Number, Motzkin Number, Set Partition

Explore with Wolfram|Alpha

References

Bernhart, F. R. "Catalan, Motzkin, and Riordan Numbers." Disc. Math. 204, 73-112, 1999. https://doi.org/10.1016/S0012-365X(99)00054-0.Sloane, N. J. A. Sequence A005043/M2587 in "The On-Line Encyclopedia of Integer Sequences."

Cite this as:

Weisstein, Eric W. "Riordan Number." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/RiordanNumber.html

Subject classifications