The odd-order three-partition conjecture for cycle-generated Cayley graphs

From papers

Let n7n\geq 7 be odd and let II satisfy

{n1,n}I{2,3,,n}.\{n-1,n\}\subseteq I\subseteq\{2,3,\ldots,n\}.

For a partition λ\lambda of nn, write λλI\lambda_\lambda^I for the eigenvalue associated with the corresponding irreducible representation of SnS_n in the Cayley graph context of the source. Odd-order three-partition conjecture. One has

λ(3,1n3)I<max{λ(1n)I,λ(n2,12)I,λ(22,1n4)I}.\lambda_{(3,1^{n-3})}^I<\max\left\{\lambda_{(1^n)}^I,\lambda_{(n-2,1^2)}^I,\lambda_{(2^2,1^{n-4})}^I\right\}.

The inequality would exclude the partition (3,1n3)(3,1^{n-3}) from attaining the second largest eigenvalue and supports the claim that only the three listed partitions can achieve it in this case; the source gives no resolution status here.

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

Yuxuan Li, Binzhou Xia and Sanming Zhou, “The second largest eigenvalue of normal Cayley graphs on symmetric groups generated by cycles”, arXiv:2302.04022 (2023).

Solutions 0

No solutions have been posted yet.