Termwise divisibility conjecture for the symmetric-function expansion of g(m,n)

About 10 years old · traced to

Let pp be prime, let e<fe<f be positive integers, and set m=pem=p^e, n=pfn=p^f as above. With n=kmn=km, consider the symmetric-function expression

∑λ⊂(n−m)msλsλ~∗′,\sum_{\lambda\subset (n-m)^m}s_{\lambda}s'_{\widetilde{\lambda}^*},

where the sum runs over partitions fitting in an mm by n−mn-m rectangle, and sλ~∗′s'_{\widetilde{\lambda}^*} denotes the Schur polynomial in the second set of variables associated with the transpose dual. Termwise divisibility conjecture. After expanding this expression in the elementary basis and taking the multinomial expansion of its 2(pf−e−1)2(p^{f-e}-1)-st power, every term paired with s(n−m)ms(n−m)m′s_{(n-m)^m}s'_{(n-m)^m} is divisible by pf−ep^{f-e}.

This is a stronger termwise formulation that would imply the lower-bound direction of the prime-power divisibility conjecture for g(m,n)g(m,n). It arises from rewriting the relevant Schur inner product using the Cauchy identity; the source proves the original conjecture in special cases, but gives no resolution of this stronger termwise statement.

References

Primary source

Arnav Tripathy, “A combinatorial divisibility question from noncommutative algebra”, arXiv:1611.07982 (2016).

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.