Extension of the q-product theorem to negative exponents
Determine whether Theorem 1, or an appropriate generalization of it, remains valid when some exponents a_n are negative, using the definition (a;q)_{-n}:=(aq^{-n};q)_n^{-1} for q-Pochhammer symbols with negative indices.
References
Does Theorem \ref{analogue} (or a generalization) hold for $a_n<0$ under the definition of the $q$-Pochhammer symbol for negative indices, viz. $(a;q)_{-n}:=(aq{-n};q)_n{-1}$?
— On the $q$-factorization of power series
(2501.18744 - Schneider et al., 30 Jan 2025) in Section "Open questions", item 5