## Eigenvalues of an “oblique diagonal” matrix

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I am looking for guidance about the behavior of powers of a particular matrix (call it $A_n$ for $n\ge2$), which has come up in a counting problem about quantum knot mosaics (a good reference for quantum knot mosaics is here ). Here's a description of the matrix. It has $4^n$ rows and columns. Instead of a traditional diagonal matrix with its non-zero entries on the main diagonal, the non-zero entries of $A_n$ are on an oblique diagonal" of slope $4$, modulo the size of the matrix. More precisely, the non-zero entries occur where $\left\lfloor\frac{\text{column}}4\right\rfloor=\text{row}\text{, mod}\;4^{n-1}$. The matrix has sixteen possibly non-zero values $a_1,\ldots,a_{16}$, arranged as follows (with boxes for visual clarity):

```$\begin{array}{l|lll|lll|}
\text{row}\backslash\text{column}&0&4&\ldots&4^n/2&4^n/2+4&\ldots\\ \hline
0&\boxed{a_1\,a_2\,a_1\,a_2}\\
1&&\boxed{a_1\,a_2\,a_1\,a_2}\\
\vdots&&&\ddots\\ \hline
4^n/8&&&&\boxed{a_3\,a_4\,a_3\,a_4}\\
4^n/8+1&&&&&\boxed{a_3\,a_4\,a_3\,a_4}\\
\vdots&&&&&&\ddots\\ \hline
2\cdot4^n/8&\boxed{a_5\,a_6\,a_5\,a_6}\\
2\cdot4^n/8+1&&\boxed{a_5\,a_6\,a_5\,a_6}\\
\vdots&&&\ddots\\ \hline
3\cdot4^n/8&&&&\boxed{a_7\,a_8\,a_7\,a_8}\\
3\cdot4^n/8+1&&&&&\boxed{a_7\,a_8\,a_7\,a_8}\\
\vdots&&&&&&\ddots\\ \hline
4\cdot4^n/8&\boxed{a_{9}\,a_{10}\,a_{9}\,a_{10}}\\
4\cdot4^n/8+1&&\boxed{a_{9}\,a_{10}\,a_{9}\,a_{10}}\\
\vdots&&&\ddots\\ \hline
5\cdot4^n/8&&&&\boxed{a_{11}\,a_{12}\,a_{11}\,a_{12}}\\
5\cdot4^n/8+1&&&&&\boxed{a_{11}\,a_{12}\,a_{11}\,a_{12}}\\
\vdots&&&&&&\ddots\\ \hline
6\cdot4^n/8&\boxed{a_{13}\,a_{14}\,a_{13}\,a_{14}}\\
6\cdot4^n/8+1&&\boxed{a_{13}\,a_{14}\,a_{13}\,a_{14}}\\
\vdots&&&\ddots\\ \hline
7\cdot4^n/8&&&&\boxed{a_{15}\,a_{16}\,a_{15}\,a_{16}}\\
7\cdot4^n/8+1&&&&&\boxed{a_{15}\,a_{16}\,a_{15}\,a_{16}}\\
\vdots&&&&&&\ddots\\ \hline
\end{array}$```

Since $A_n$ has a straightforward geometrical description with non-zero entries only on a diagonal (albeit an oblique one), the following question seems reasonable:

Is there an elementary way to compute the eigenvalues of this matrix in terms of $a_1,\ldots,a_{16}$ and $n$?

I'm no expert in tensor algebra, but it seems that $A_n$ might be expressed as the tensor product of $A_2$ with $n-1$ copies of another transformation. Even an approximation of the largest eigenvalue would be useful, but it would be best to avoid the power method with the Rayleigh quotient since I'm trying to analyze the powers of the matrix in terms of the eigenvalues, not vice versa. Any insight into the computation of the eigenvalues of $A_n$ would be greatly appreciated and would go a long way in answering a question in the paper referenced above.

-

2
Impressive LaTeX {array}! :-) – Joseph O'Rourke Apr 5 2012 at 0:23
Well, as Donald Knuth said, TeX is intended for the creation of beautiful mathematics. – Russell May Apr 5 2012 at 12:32

## 1 Answer

I think that if you move some rows around you get a block diagonal form (this the tensor product from the previous post). Move all the rows that start in col 1 together, rows in col 5 etc. The eigenvalues etc. will be related to the eigenvalues etc. of the blocks.

-

2
I agree that there's a permutation matrix P and a block diagonal matrix A' so that the oblique diagonal matrix A is PA'. However, it's not clear how to get the eigenvalues of a product, given the eigenvalues of the factors. – Russell May Apr 6 2012 at 18:44
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 14, "mathjax_display_tex": 0, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9069494009017944, "perplexity_flag": "head"}