The eigenvalue-form conjecture for the substitution matrix

Let nn be odd with n5n\geq 5, let MnM_n be the substitution matrix, and let sn,js_{n,j} denote the edge lengths used in the construction, with 0j(n1)/20\leq j\leq (n-1)/2. The observed roots of the characteristic polynomial pn(x)p_n(x) are

μn=1sn,(n1)/2,1sn,(n3)/2,,1sn,2,1sn,1,1sn,0=1.\mu_n=\frac{1}{s_{n,(n-1)/2}},-\frac{1}{s_{n,(n-3)/2}},\ldots,\frac{1}{s_{n,2}},-\frac{1}{s_{n,1}},\frac{1}{s_{n,0}}=1.

Eigenvalue-form conjecture. Every eigenvalue of MnM_n has the form ±1sn,j\pm\frac{1}{s_{n,j}} for all odd n5n\geq 5. If this holds and gn(x)g_n(x) is irreducible for odd n11n\geq 11, then μn\mu_n is non-Pisot, because 1sn,(n3)/2=12sin(3π/2n)>1\frac{1}{s_{n,(n-3)/2}}=\frac{1}{2\sin(3\pi/2n)}>1.

Sources & referencesView supporting material

Primary source

April Lynne D. Say-awen, “Tilings with Infinite Local Complexity and n-Fold Rotational Symmetry, n=13,17,21”, arXiv:2408.17082 (2025).

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.