Irreducibility conjecture for the bivariate Hahn polynomial numerator

From papers

Let nNn\in\mathbb{N} and let 1,2N\ell_1,\ell_2\in\mathbb{N} satisfy

n12.n\leq \ell_1\wedge\ell_2.

Define the polynomial

Rn(x;1,2,y):=k=0n(n)k(n121)k(x)k(y+k)nk(1)kk!.R_n(x;\ell_1,\ell_2,y):=\sum_{k=0}^{n}\frac{(-n)_k(n-\ell_1-\ell_2-1)_k(-x)_k(-y+k)_{n-k}}{(-\ell_1)_k\,k!}.

Irreducibility conjecture. The polynomial Rn(x;1,2,y)R_n(x;\ell_1,\ell_2,y) is irreducible unless 1=2\ell_1=\ell_2 and nn is odd. In that exceptional case, Rn(x;1,2,y)R_n(x;\ell_1,\ell_2,y) is the product of y2xy-2x and an irreducible polynomial of degree n1n-1. This conjecture asserts that the displayed linear factor is the only nontrivial factor in the exceptional case; the factor is explained by the symmetry identity relating Rn(x;1,2,y)R_n(x;\ell_1,\ell_2,y) to Rn(yx;2,1,y)R_n(y-x;\ell_2,\ell_1,y).

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

Plamen Iliev and Yuan Xu, “Hahn polynomials for hypergeometric distribution”, arXiv:2012.12168 (2020).

Solutions 0

No solutions have been posted yet.