The nonvanishing trace conjecture for permutation RSK operators

For each positive integer dd, let RSK1d,1d{\sf RSK}_{1^d,1^d} be the RSK operator indexed by the compositions 1d1^d, and let RSKm,n,d{\sf RSK}_{m,n,d} be the corresponding operator in dimensions m,nm,n. Nonvanishing trace conjecture.

Tr,fRSK1d,1d0\operatorname{Tr}\\,{f RSK}_{1^d,1^d}\neq 0

for d2d\neq 2; equivalently, Tr,fRSKm,n,d{\operatorname{Tr}}\\,{f RSK}_{m,n,d} has total degree 2d2d for d2d\neq 2. The computed values through d=11d=11 support the claim, but no general proof is supplied.

Sources & referencesView supporting material

Primary source

Ada Stelzer and Alexander Yong, “RSK as a linear operator”, arXiv:2410.23009 (2024).

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.