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

From papers

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

λ(nm)msλsλ~,\sum_{\lambda\subset (n-m)^m}s_{\lambda}s'_{\widetilde{\lambda}^*},

where the sum runs over partitions fitting in an mm by nmn-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(pfe1)2(p^{f-e}-1)-st power, every term paired with s(nm)ms(nm)ms_{(n-m)^m}s'_{(n-m)^m} is divisible by pfep^{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.

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

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

Solutions 0

No solutions have been posted yet.