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

From papers

Let F(α)F(\alpha) be the homogeneous quasi-eigenfunction in n2n\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(i1)/2t1/4)σi.\mu_\sigma=\prod_{i=1}^{\ell}\left(q^{(i-1)/2}t^{1/4}\right)^{\sigma_i}.

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

F(qt1/2)=(σJμσ)n1i<jn(1ζj/ζi)(qt1/2ζj/ζi;q)(t1/2ζj/ζi;q)×σ1,,σnJi=1nμσi1i<jnγ,σ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.

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

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

Solutions 0

No solutions have been posted yet.