TOPICS
Search

Riordan Array


A Riordan array is an infinite lower triangular matrix in which column k has generating function g(x)f(x)^k for k=0, 1, ..., where g(x) and f(x) are formal power series over a field, g(0)!=0, f(0)=0, and the coefficient of x in f(x) is nonzero (Shapiro et al. 1991). Its entry in row n and column k is [x^n]g(x)f(x)^k, where [x^n] extracts the coefficient of x^n.

Writing the array as (g,f), ordinary matrix multiplication gives

 (g,f)(u,v)=(g(u degreesf),v degreesf),

where  degrees denotes function composition. The arrays form the Riordan group, with identity element (1,x) and inverse element (1/(g degreesf^_),f^_), where f^_(x) is the compositional inverse of f(x) (Shapiro et al. 1991).

For example, (1/(1-x),x/(1-x)) gives the infinite lower triangular Pascal matrix. The Sprugnoli group uses a related construction with different generating factors in even and odd columns (Barry 2026).


See also

Formal Power Series, Generating Function, Lower Triangular Matrix, Pascal Matrix, Sprugnoli Group

Explore with Wolfram|Alpha

References

Barry, P. "A New Group in the Riordan Family of Matrix Groups: The Sprugnoli Group." Elec. J. Combin. 33, P4.29, 2026. https://doi.org/10.37236/15613.Shapiro, L. W.; Getu, S.; Woan, W.-J.; and Woodson, L. C. "The Riordan Group." Disc. Appl. Math. 34, 229-239, 1991. https://doi.org/10.1016/0166-218X(91)90088-E.

Cite this as:

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

Subject classifications