3
$\begingroup$

I'm working on a rational approximation of the square root function by continued fractions in the complex plane. The following kind binomial coefficients Hurwitz matrices (for $n=4$ and $6$) play important role: $ \begin{pmatrix} 4&4&0&0\\ 1&6&1&0\\ 0&4&4&0\\ 0&1&6&1 \end{pmatrix} $ or $ \begin{pmatrix} 6&20&6&0&0&0\\ 1&15&15&1&0&0\\ 0&6&20&6&0&0\\ 0&1&15&15&1&0\\ 0&0&6&20&6&0\\ 0&0&1&15&15&1 \end{pmatrix}. $ The computer tells me that the eigenvalues of these matrices turn out to be consecutive powers of $2$, $(1,2,4,8,\dots)$ and as a consequence the determinants are powers of $2$ as well. I'd like to know the reason for that. (I see only that $(1,1,\dots,1)$ is an eigenvector with eigenvalue $2^{n-1}$ and $(0,0,\dots,1)$ is the eigenvector with eigenvalue $1$).

Also, the coefficients of the corresponding continued fractions are ratios of determinants of the principal minors of the matrices consisting of intersections of the first rows and columns. The factorizations of the determinants of the minors (e.g. $ \det\begin{pmatrix} 6 \end{pmatrix} $, $\det \begin{pmatrix} 6&20\\ 1&15 \end{pmatrix}, $ $\det \begin{pmatrix} 6&20&6\\ 1&15&15\\ 0&6&20 \end{pmatrix}, \dots $) don't contain primes larger than $2n$, even though they grow exponentially. For the above examples these are: ($4$,$20$ and $64$) and ($6$, $70$, $896$, $8064$ and $32726$). (for the $n=6$ case the factorizations are $2 * 3$, $2 * 5 * 7$, $2^7 * 7$, $2^7 * 3^2 * 7$ and $2^15$). This implies that the continued fractions have coefficients that are products of small fractions, and I'd like to know the reason for that too.

$\endgroup$
  • 1
    $\begingroup$ The entries of these matrices come from polynomials, correct? And the eigenvalues are the roots of the characteristic polynomial of the matrix. Have you explored connections there? $\endgroup$ – artificial_moonlet Sep 6 '18 at 14:35
  • 1
    $\begingroup$ Also, I would recommend splitting this into two questions-- both pieces are quite substantial, especially the continued fraction part. It would benefit from more equations as well, e.g., by representing the first sentence of the second paragraph as an mathematical expression. $\endgroup$ – artificial_moonlet Sep 6 '18 at 14:40
  • $\begingroup$ @artificial_moonlet The roots of the polynomials are the cotangents of equally spaced angles. $\endgroup$ – DVD Sep 7 '18 at 21:19
  • $\begingroup$ @artificial_moonlet I've restated the first part of the question here: math.stackexchange.com/questions/2886392/… $\endgroup$ – DVD Sep 7 '18 at 21:22
  • $\begingroup$ @artificial_moonlet I've added the examples but not sure what the common mathematical notation is for the determinants of the minors. $\endgroup$ – DVD Sep 7 '18 at 21:31

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.