Conjecture on the eigenvalue interval of the transposition graph

From papers

Let SnS_n be the symmetric group on [n]:={1,,n}[n]:=\{1,\dots,n\}, let TnT_n be the set of transpositions in SnS_n, and let Cay(Sn,Tn)Cay(S_n,T_n) be the Cayley graph of SnS_n generated by TnT_n, with two vertices f,gSnf,g\in S_n adjacent if and only if fg1Tnfg^{-1}\in T_n. Its eigenvalues are the eigenvalues of its adjacency matrix. Eigenvalue interval conjecture. There exists a constant n0n_0 such that for nn0n\ge n_0, all integers in the interval

[((2n+1)/32),  ((2n+1)/32)]\left[-{\lfloor (2n+1)/3\rfloor\choose 2},\;{\lfloor (2n+1)/3\rfloor\choose 2}\right]

are eigenvalues of Cay(Sn,Tn)Cay(S_n,T_n). Earlier results establish consecutive eigenvalue intervals of linear and quadratic length, but leave a gap between them; this conjecture asserts that the entire symmetric interval up to the quadratic bound is eventually contained in the spectrum.

Progress summary

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

Sources & referencesView supporting material

Primary source

Cheng Yeaw Ku and Leyou Xu, “Proof of a conjecture on eigenvalues of transposition graph”, arXiv:2506.14419 (2025).

Solutions 0

No solutions have been posted yet.