Denominator conjecture for a basic hypergeometric coefficient ratio

Let 2ϕ1(a,b;c;q,z){}_{2}\phi_{1}(a,b;c;q,z) denote the basic hypergeometric series, and define coefficients γn(a,b,c)\gamma_n(a,b,c) by

n0γn(a,b,c)zn=2ϕ1(aq,bq;cq;q,z)2ϕ1(a,b;c;q,z).\sum_{n\geq 0}\gamma_n(a,b,c)z^n=\frac{{}_{2}\phi_{1}(aq,bq;cq;q,z)}{{}_{2}\phi_{1}(a,b;c;q,z)}.

Denominator conjecture. For every n0n\geq 0,

γn(a,b,c)1c=Pn(a,b,c)k=0n(1cqk)n+1k+1,\frac{\gamma_n(a,b,c)}{1-c}=\frac{P_n(a,b,c)}{\prod_{k=0}^n(1-cq^k)^{\left\lfloor\frac{n+1}{k+1}\right\rfloor}},

for some polynomial Pn(a,b,c)P_n(a,b,c) in a,b,c,qa,b,c,q with integer coefficients.

The conjecture concerns the arithmetic form of coefficients arising from a ratio of contiguous basic hypergeometric series, in connection with qq-continued fractions. Its resolution is not given in the supplied source context.

Sources & referencesView supporting material

Primary source

Jang Soo Kim and Dennis Stanton, “Three families of q-Lommel polynomials”, arXiv:2105.10096 (2021).

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.