Smith normal form conjecture for the walk matrix of the extended Dynkin graph

About 4 years old · traced to

Let D~n\tilde{D}_n be the extended Dynkin graph with n+1n+1 vertices, let W(D~n)W(\tilde{D}_n) be its walk matrix, and set

r=⌊n2⌋.r=\left\lfloor\frac{n}{2}\right\rfloor.

Smith normal form conjecture. The Smith normal form of W(D~n)W(\tilde{D}_n) is

{diag⁡(1,…,1⏟r−1,n−1,0,…,0),if n is even,diag⁡(1,…,1⏟r−1,n−12,0,…,0),if n is odd.\begin{cases} \operatorname{diag}(\underbrace{1,\ldots,1}_{r-1},n-1,0,\ldots,0), & \text{if $n$ is even},\\ \operatorname{diag}\left(\underbrace{1,\ldots,1}_{r-1},\frac{n-1}{2},0,\ldots,0\right), & \text{if $n$ is odd}. \end{cases}

This conjecture gives the remaining Smith normal form data after the paper determines the rank of the walk matrix, and its verification would complete the proposed next step for the extended Dynkin graphs D~n\tilde{D}_n.

References

Primary source

Sunyo Moon and Seungkook Park, “The rank of the walk matrix of the extended Dynkin graph D_n”, arXiv:2208.12447 (2022).

Additional references

2 papers in this index state this conjecture (2016–2022). The statement above is taken from the most recent of them; the others are arXiv:1602.00166.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.