Non-integer eigenvalues for non-triangular reduced pairs
Show that for any reduced weight pair (ω, τ) that is not triangular (i.e., not of the form l(ω) = 2 with ω1 = τ1), the matrix RSK_{ω,τ} possesses an eigenvalue that is not an integer.
References
Conjecture 5.8. If a reduced pair (o, T) is not triangular, then RSKo,« has a non-integer eigen- value.
                — RSK as a linear operator
                
                (2410.23009 - Stelzer et al., 30 Oct 2024) in Section 5, Conjecture 5.8