Abstract:In this paper, we give an explicit formula for the rank of the $Q$-walk matrix of the Dynkin graph $A_n$. Moreover, we prove that its Smith normal form is $$ \mathrm{diag}\left( \underset{r=\lceil \frac{n}{2} \rceil}{\underbrace{1,2,2,...,2}},0,...,0 \right), $$ where $r$ is the rank of the $Q$-walk matrix $W_Q\left( A_n \right) $ of the Dynkin graph $A_n$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine the rank of the Q - walk matrix of Dynkin diagram \(A_n\) and its Smith normal form. Specifically, the authors give an explicit formula for the rank of the Q - walk matrix of \(A_n\) and prove that its Smith normal form is:
\[
\text{diag}\left(1, 2, 2, \ldots, 2 \underbrace{}_{r = \lceil \frac{n}{2} \rceil}, 0, \ldots, 0\right)
\]
where \(r\) is the rank of the Q - walk matrix \(W_Q(A_n)\) of \(A_n\).
### Main contributions
1. **Rank formula**: The paper provides an explicit formula for the rank of the Q - walk matrix of \(A_n\).
2. **Smith normal form**: It is proved that the specific form of the Smith normal form of the Q - walk matrix of \(A_n\) is the same regardless of whether \(n\) is even or odd.
### Research background
- **Q - walk matrix**: The Q - walk matrix is defined based on the unsigned Laplacian matrix (\(Q(G)=A(G)+D(G)\)), where \(A(G)\) is the adjacency matrix and \(D(G)\) is the degree - diagonal matrix.
- **Dynkin diagram**: Dynkin diagrams are widely used in Lie algebras, representation theory, and spectral theory.
- **Smith normal form**: The Smith normal form is a special diagonal matrix form, which is very important for studying the structure and properties of matrices.
### Solution methods
- **Eigenvalues and eigenvectors**: The Smith normal form of the Q - walk matrix is derived by calculating the eigenvalues and eigenvectors of \(B_1 + D(A_n)\) and \(B_2+D(A_n)\).
- **Determinant and rank**: The rank and determinant of the Q - walk matrix are determined by using the properties of eigenvectors and the calculation method of determinants.
### Conclusion
- The paper shows that for the Dynkin diagram \(A_n\), regardless of whether \(n\) is even or odd, the rank of its Q - walk matrix is \(\lceil \frac{n}{2} \rceil\) and the Smith normal form is consistently the above form.
Through these results, the paper provides an important theoretical basis for understanding the structure and properties of the Q - walk matrix of Dynkin diagram \(A_n\).