Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The Hilbert Matrix is the square matrix given by: $$H_{ij}=\frac{1}{i+j-1}$$ Wikipedia states its the inverse is given by: $$(H^{-1})_{ij} = (-1)^{i+j}(i+j-1) {{n+i-1}\choose{n-j}}{{n+j-1}\choose{n-i}}{{i+j-2}\choose{i-1}}^2 $$ It follows that the entries in the inverse matrix are all integers.

I was wondering if there is a way to prove that its inverse is an integer matrix without using the above formula.

Also, how would one go about proving the explicit formula for the inverse? Wikipedia refers me to a paper by Choi, but it only includes a brief sketch of the proof.

share|improve this question
3  
Have you looked at en.wikipedia.org/wiki/Cauchy_matrix (and in particular the reference to Schechter's paper)? I just glanced over Schechter's paper, and it seems that it answers your second question. I doubt that there's an easy answer to your first question. –  Faisal Nov 28 '10 at 6:38
4  
You might be interested in watching this video where Prof. Zeilberger talks about evaluating the determinant of this matrix in an awesome way. It isn't the simplest proof, but you'll it involves selberg integral and that totally makes my day. <a \href="tube.sfu-kras.ru/video/407?playlist=397">; Determinant evaluations using Integral representations<\a> . Look around the 25 minute mark –  Vasu vineet Nov 28 '10 at 8:35
    
Vasu vineet: That was really great! Thanks for pointing it out. –  Faisal Nov 28 '10 at 9:46
    
You're welcome! The other videos are well worth a watch too. –  Vasu vineet Nov 28 '10 at 12:05
    
The explicit formula for the inverse of Cauchy's matrix is listed as an (easy) exercise (rating 26), as Exercise 1.2.3-46 in The Art of Computer Programming. –  Suvrit Nov 28 '10 at 17:20

4 Answers 4

up vote 4 down vote accepted

It suffices to prove Schechter's formula for Cauchy matrix cited in Wikipedia (see link in Faisal's comment). We need to check $\sum_j b_{ij}a_{jk}=\delta_{ik}$, i.e. $$ \frac{A(y_i)}{B'(y_i)}\sum_j \frac{f(x_j)}{A'(x_j)}=-\delta_{i,k}, $$ where $f(t)=B(t)/((t-y_i)(t-y_k))$. If $i\ne k$, then $f$ is just a polynomial of degree $n-2$, and the inner sum is its coefficient in $t^{n-1}$ (this follows from Lagrange interpolation on points $x_1,\dots,x_n$). If $i\ne k$, then denote by $F$ the corresponding Lagrange polynomial $F(x)=\sum f(x_j) \frac{A(x)}{(x-x_j)A'(x_j)}$, we are searching for a coefficient of $F$ in $x^{n-1}$. We have $F(x_j)=f(x_j)$, so $F(x)(x-y_i)-\prod_{j\ne i}(x-y_i)$ vanishes for $x=x_1,x_2,\dots,x_n$. So, $F(x)(x-y_i)-\prod_{j\ne i}(x-y_i)=cA(x)$, and we find $c$ substituting $x=y_i$.

share|improve this answer

Thanks everyone for the answers offered! After chasing down the various links, I came across a very similar comment by Deane Yang in 1991 (!), that offered an elegant outline of a proof. I felt it would be nice to flesh out the details of the proof. This proof doesn't use "Cholesky machinery", and it is possible to deduce that the entries of the inverse are integers without knowing the entries explicitly.

First, we note that $$H_{ij} = \frac{1}{i+j-1}= \int_{0}^{1}x^{i+j-2}dx= \int_{0}^{1}x^{i-1}x^{j-1}dx$$ We can treat $\int_{0}^{1}p(x)q(x)dx$ as an inner product, $ \langle p, q \rangle $, on the vector space $P_{n-1}(x)$ of polynomials of degree $ < n $.

$H_n$, the $n \times n$ Hilbert matrix, corresponds to the Gramian matrix of the set of vectors $\{ 1,x,x^2,...,x^{n-1} \} $.

Next, the Shifted Legendre Polynomials are given by $$\tilde{P_n}(x) = (-1)^n \sum_{k=0}^n {n \choose k} {n+k \choose k} (-x)^k$$

We note that these are polynomials with integer coefficients. They also have the property that $$\int_{0}^{1} \tilde{P_m}(x) \tilde{P_n}(x)dx = {1 \over {2n + 1}} \delta_{mn}$$

Also, $\tilde{P_m}(x)$ is a polynomial of degree $m$, so $\{ \tilde{P_0}(x), \tilde{P_1}(x), ... \tilde{P_{n-1}}(x) \}$ form an alternative basis of $P_{n-1}(x)$.

The change of basis matrix, $P$, (from the standard basis to this new basis) can be obtained by choosing the coefficient of the appropriate power of $x$ in the above explicit formula for the Legendre polynomials. We have $$ P_{ij} = (-1)^{i+j-1} {j-1 \choose i-1} {i+j-2 \choose i-1}$$ (i.e. replace $n$ by $j-1$ and $k$ by $i-1$ in the formula for $\tilde{P_n}$).

The Gramian matrix under this change of basis is $P^T H P$. But since the $\tilde{P_i}$'s are orthogonal, we get $$ (P^T H P)_{ii} = {1 \over 2i-1}$$.

Let this diagonal matrix be $D$. Since it is diagonal, its inverse is given by $$(D^{-1})_{ii} = \frac{1}{Dii} = 2i -1 $$

Then $$ P^T H P = D $$. So $$ H = (P^T)^{-1} D P^{-1} $$ and $$ H^{-1} = P D^{-1} P^T $$.

Since, $P$, $P^T$ and $D$ are all integer matrices, $H^{-1}$ is an integer matrix. $ \blacksquare $

share|improve this answer
    
Wow. It's amazing what you can dig up on the internet. I've never worked out the details, but I always had the impression that the Cholesky decomposition was related to Gram-Schmidt. It's not? But I do want to emphasize that everything I described I learned from Takahiro Shiota. –  Deane Yang Dec 3 '10 at 13:53
2  
Of course, I have to upvote this answer. –  Deane Yang Dec 3 '10 at 13:54

It's a bit circuitous, but I'd like to point out this paper by Hitotumatu where he derives explicit expressions for the Cholesky triangle of a Hilbert matrix. From the expressions for the Cholesky triangle, you should be able to derive explicit expressions for the inverse (if $\mathbf A=\mathbf G\mathbf G^\top$, then $\mathbf A^{-1}=\mathbf G^{-\top}\mathbf G^{-1}$).


Since the paper isn't that easily accessible, I'll include the main result here. If $\mathbf A$ is the Hilbert matrix, with the decomposition $\mathbf A=\mathbf L\mathbf D\mathbf L^\top$ with $\mathbf L$ unit lower triangular and $\mathbf D$ diagonal, then

$$\begin{align*}\ell_{j,k}&=\frac{(2k-1)\binom{2k-2}{k-1}\binom{2j-1}{j-k}}{(2j-1)\binom{2j-2}{j-1}}\\d_{k,k}&=\frac1{(2k-1)\binom{2k-2}{k-1}^2}\end{align*}$$

share|improve this answer
2  
I don't consider this a circuitous proof at all. I first saw this question as a starred problem in a textbook (Hoffman-Kunze?) but could not solve it even after asking both professors and, after I entered graduate school, other graduate students. Finally, Takahiro Shiota showed me the calculation done in this paper. –  Deane Yang Nov 28 '10 at 16:31
    
@Deane: I remember seeing a proof that didn't use Cholesky machinery, but sadly I can't find the reference now. The only reason I remember Hitotumatu's paper is that I was once stress-testing a Cholesky decomposition routine I wrote for a certain obscure language, and was looking for matrices with recognizable Cholesky triangles. –  J. M. Nov 28 '10 at 16:44
    
I don't have access to the Hitotumato-paper; but the cholesky-decomposition on its own gives triangular matrices with fractional, if not irrational, entries. A slightly different triangular decomposition seem to allow integer arithmetic. If you decompose $ Hilb = M * D * M^t$ having D diagonal and M lower triangular with unit diagonal, then the inverses of M and D are (empirically) integer matrices. I think that should be waterproof-derivable more easily than an argument via cholesky. –  Gottfried Helms Nov 28 '10 at 22:18
    
@Gottfried: Yes, the paper also gives explicit expressions for the $\mathbf L\mathbf D\mathbf L^T$ decomposition of the Hilbert matrix. I any event, If you have a Cholesky decomposition, you can easily obtain the $\mathbf L\mathbf D\mathbf L^T$ decomposition, and vice versa. ($\mathbf G=\mathbf L\sqrt{\mathbf D}$) –  J. M. Nov 28 '10 at 22:56

A simple proof is in the paper "Fibonacci numbers and orthogonal polynomials" by Christian Berg.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.