Let be an integer and be one of its divisors. Let be a symmetric matrix defined by , for all such that and is not a multiple of , and otherwise.
Prove that has an inverse and that all of the entries in the inverse are positive.
Solution
Let's find the inverse of , where all entries in are either or . We will use the series
First let's prove that this series converges. It suffices to show that the maximum such that for all column vectors of is less than , so the sum of the entries always decrease by a factor smaller than if you multiply a vector by ; then we sum the series as . Notice that every row of has at most four nonzero entries, all of which are equal to . So if then every entry of is of the form , . By the Cauchy-Schwarz inequality, its square is at most , with equality if and only if and . Summing over all the rows, the sum of squares of the coordinates of is at most , because all columns of have at most four nonzero entries. But equality would only happen if all entries are equal and always, which does not happen for, say, the first row. So and the series converges.
Consider the graph whose vertices are the numbers and we connect and if and only if the entry in is . By the definition of the matrix , this graph has a lattice-like configuration: it can be split in several paths , , , , . It is clear that this graph is connected. Since the entry in is nonzero if and only if there exists a circuit from to with edges, for all there is such that the corresponding entry in is nonzero. This proves that all entries in the inverse of is positive.