The rational-factor conjecture for the quasi-eigenfunction at α=−qℓt1/2\alpha=-q^{\ell}t^{1/2}

About 21 years old · traced to

Let F(α)F(\alpha) be the homogeneous quasi-eigenfunction in n≥2n\geq2 variables. Let ℓ\ell be a positive integer, let J={(σ1,…,σℓ)∣σi=±}J=\{(\sigma_1,\ldots,\sigma_\ell)\mid\sigma_i=\pm\}, and let Gℓ(ζ)=(γℓ,σ,σ′(ζ))σ,σ′∈JG_\ell(\zeta)=(\gamma_{\ell,\sigma,\sigma'}(\zeta))_{\sigma,\sigma'\in J} be the recursively defined matrix of rational functions. For σ∈J\sigma\in J, set

μσ=∏i=1ℓ(q(i−1)/2t1/4)σi.\mu_\sigma=\prod_{i=1}^{\ell}\left(q^{(i-1)/2}t^{1/4}\right)^{\sigma_i}.

Rational-factor conjecture. At α=−qℓt1/2\alpha=-q^\ell t^{1/2},

F(−qℓt1/2)=(∑σ∈Jμσ)−n∏1≤i<j≤n(1−ζj/ζi)(−qt−1/2ζj/ζi;q)∞(−t1/2ζj/ζi;q)∞×∑σ1,…,σn∈J∏i=1nμσi∏1≤i<j≤nγℓ,σi,σj(ζj/ζi).\begin{aligned} F(-q^\ell t^{1/2})={}&\left(\sum_{\sigma\in J}\mu_\sigma\right)^{-n}\prod_{1\leq i<j\leq n}(1-\zeta_j/\zeta_i)\frac{(-qt^{-1/2}\zeta_j/\zeta_i;q)_\infty}{(-t^{1/2}\zeta_j/\zeta_i;q)_\infty}\\ &\times\sum_{\sigma_1,\ldots,\sigma_n\in J}\prod_{i=1}^n\mu_{\sigma_i}\prod_{1\leq i<j\leq n}\gamma_{\ell,\sigma_i,\sigma_j}(\zeta_j/\zeta_i). \end{aligned}

This extends the observed factorization pattern to positive integers ℓ\ell. It is presented as an observation based on explicit calculations, and the general formula remains conjectural.

References

Primary source

Jun'ichi Shiraishi, “A Commutative Family of Integral Transformations and Basic Hypergeometric Series. II. Eigenfunctions and Quasi-Eigenfunctions”, arXiv:math/0502228 (2005).

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.