# Result attribution for eigenvalues of a matrix of Pascal-type

A few years ago, I wanted to cite a result in a paper, for which I could not find a reference. I ended up not using the full strength of it, and the part that I needed could be easily proved. Still, I'd like to know where the full version appears. The result is as follows:

The eigenvalues of the matrix $$\left[\binom{i+j}{i}\binom{2n-i-j}{n-i}\right]_{0\le i,j\le n}$$ are $$\binom{2n+1}{k}, \quad 0\le k\le n.$$

If a formula for the corresponding eigenvectors also appears somewhere, that would be helpful, too. (I only needed the fact that $\binom{2n+1}{n}$ has eigenvector $[1,1,\dots,1]^T$, and that's easy to see.) Thanks.

• By the way, computing the trace of this matrix and the sum of eigenvalues we get a famous identity $\sum \binom{2i}{i}\binom{2(n-i)}{n-i}=4^n$. – Fedor Petrov Aug 10 '17 at 10:13
• There is a paper by Amdeberhan that proves the determinant of this matrix is the product of those eigenvalues, but that does not seem to help in finding the individual eigenvalues. @FedorPetrov – Alexander Burstein Aug 10 '17 at 18:32
• To see where this result might have been useful (and also, speaking of traces of matrices), take a look at Section 4 of this paper. @FedorPetrov – Alexander Burstein Aug 10 '17 at 18:34
• @AlexanderBurstein btw the positive definiteness of the matrix $A_m$ in Sec. 4 of your paper can follow "more directly" by recalling that the Pascal matrix is positive definite (proof: $\binom{p+q}{p} = c\int_0^{2\pi} (1+e^{i\theta})^p(1+e^{-i\theta})^qd\theta$) and invoking Schur's theorem on psdness of the elementwise product of psd matrices. – Suvrit Aug 10 '17 at 19:23
• The eigenvectors for $n$ at most 5 form a pretty nice orthogonal basis, but I do not see a general formula from them. – Fedor Petrov Aug 10 '17 at 19:30

I don't know a reference. One way to show the eigenvalues starts from the observation (which can be proved using generating functions) that $\sum_{i=0}^n {i\choose k} A_{i,j}={2n+1 \choose n-k} {j+k \choose k}={2n+1 \choose n-k}\,\sum_{\ell=0}^k {k\choose \ell} { j \choose \ell}$ (where $A$ is the matrix above). With the row vectors $\mathbf{v}_k$ with coordinates $\mathbf{v}_k(i)={i \choose k}$ that is $$\mathbf{v}_k A={2n+1 \choose n-k}\left(\sum_{\ell=0}^k {k \choose \ell} \mathbf{v}_\ell\right).$$ The rest is routine.
With some patience one finally finds that $$\mathbf{e}_k=\sum_{j=0}^k (-1)^j{n-j \choose k-j}{k+j \choose j}\mathbf{v}_j$$ is an eigenvector to the eigenvalue ${2n+1 \choose n-k}$.