GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Algebra
  • Applied Mathematics
  • Calculus and Analysis
  • Discrete Mathematics
  • Foundations of Mathematics
  • Geometry
  • History and Terminology
  • Number Theory
  • Probability and Statistics
  • Recreational Mathematics
  • Topology
  • Alphabetical Index
  • Random Entry
  • New in MathWorld

This view

  • Original page
  • New address

GeezerVison is showing mathworld.wolfram.com — Pascal Matrix -- from Wolfram MathWorld

Search

Pascal Matrix


DOWNLOAD Mathematica NotebookDownload Wolfram Notebook

A Pascal matrix is any of three types of n×n matrices obtained by writing Pascal's triangle as a lower triangular matrix and truncating appropriately: a symmetric matrix S_n with (S)_(ij)=(i+j; i), a lower triangular matrix L_n with (L)_(ij)=(i; j), and an upper triangular matrix U_n with (U)_(ij)=(j; i), where i,j=0, 1, ..., n-1. For example, for n=4, these would be given by

S_4=[1 1 1 1; 1 2 3 4; 1 3 6 10; 1 4 10 20]
(1)
L_4=[1   ; 1 1  ; 1 2 1 ; 1 3 3 1]
(2)
U_4=[1 1 1 1;  1 2 3;   1 3;    1].
(3)

All three are integer matrices and hence rational matrices.

The Pascal S-matrix of order n is implemented in the Wolfram Language as LinearAlgebra`PascalMatrix[n].

Their determinants satisfy

 |S_n|=|L_n|=|U_n|=1,
(4)

and

 S_n=L_nU_n
(5)

(Edelman and Strang 2004).

Edelman and Strang (2004) give four proofs of the identity (5), the most straightforward of which is

(LU)_(ij)=L_(ik)U_(kj)
(6)
=sum_(k=0)^(n-1)(i; k)(j; k)
(7)
=(i+j; i)
(8)
=(S)_(ij),
(9)

where Einstein summation has been used.

Trott (2006) considers the right-justified Pascal-triangle matrix obtained by reversing the columns of L_n,

 R_n=[(i; n-1-j)]_(i,j=0)^(n-1).
(10)

For example,

 R_4=[0 0 0 1; 0 0 1 1; 0 1 2 1; 1 3 3 1].
(11)

Its eigenvalues are

 lambda_j=(-1)^jphi^(n-1-2j),
(12)

where j=0, 1, ..., n-1 and phi=(1+sqrt(5))/2 is the golden ratio (Callan 2000, Callan and Prodinger 2003). These eigenvalues are distinct, so R_n is a diagonalizable matrix. For n=4, they are phi^3, -phi, phi^(-1), and -phi^(-3). The triangular matrices L_n and U_n each have only the eigenvalue 1.

The infinite lower triangular Pascal matrix is the Riordan array (1/(1-x),x/(1-x)) (Shapiro et al. 1991).


See also

Golden Ratio, Integer Matrix, Pascal's Triangle, Rational Matrix

Explore with Wolfram|Alpha

WolframAlpha

More things to try:

  • Pascal's triangle
  • number triangles
  • binomial coefficients

References

Abbott, P. "Tricks of the Trade: Pascal Matrices." Mathematica J. 9, 691-694, 2005.Callan, D. "The Eigenvectors of the Right-Justified Pascal Triangle." 13 Nov 2000. https://arxiv.org/abs/math/0011081.Callan, D. and Prodinger, H. "An Involutory Matrix of Eigenvectors." Fibonacci Quart. 41, 105-107, 2003. https://www.fq.math.ca/Scanned/41-2/callan.pdf.Edelman, A. and Strang, G. "Pascal Matrices." Amer. Math. Monthly 111, 189-197, 2004. https://doi.org/10.1080/00029890.2004.11920065.Melham, R. S. and Cooper, C. "The Eigenvectors of a Certain Matrix of Binomial Coefficients." Fibonacci Quart. 38, 123-126, 2000. https://www.fq.math.ca/Scanned/38-2/melham.pdf.Peele, R. and Stănică, P. "Matrix Powers of Column-Justified Pascal Triangles and Fibonacci Sequences." Fibonacci Quart. 40, 146-152, 2002. https://www.fq.math.ca/Scanned/40-2/peele.pdf.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.Strang, G. Introduction to Linear Algebra, 3rd ed. Wellesley-Cambridge Press, 2003.Trott, M. "Operations on Rational Functions." §1.3 in The Mathematica GuideBook for Symbolics. New York: Springer-Verlag, 2006. https://doi.org/10.1007/0-387-28815-5. https://www.mathematicaguidebooks.org/.

Referenced on Wolfram|Alpha

Pascal Matrix

Cite this as:

Weisstein, Eric W. "Pascal Matrix." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/PascalMatrix.html

Subject classifications

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.