What are methods for proving nonnegativity of q-hypergeometric functions? Specifically, I have a function of the type 4-phi-3, it is a terminating series:
$$
{}\_{4}\phi\_3\left(\begin{matrix} q^{-i\_1},q^{-j\_1},zs\_1^{-1}s\_2
 ,q z^{-1}s\_1^{-1}s\_2\\
 s\_2^{2},q^{1+j\_2-j\_1},s\_1^{-2}q^{1-i\_1-j\_2}\end{matrix}
 \bigg|\, q,q\right).
$$
I know from numerics that it should be nonnegative if $0<q<1, -1<s\_1,s\_2<0$, and $0\le z\le \min(s\_1/s\_2,s\_2/s\_1)$. Here $i\_1,i\_2,j\_1,j\_2$ are nonnegative integers with condition $i\_1+j\_2=j\_1+i\_2$.


However, in the expansion of the function the individual terms are not all nonnegative. They seem to be of alternating signs, and are not monotone either. I tried various Watson's transformations turning the function into 8-phi-7, but so far did not succeed. Any help appreciated.



Nonnegativity of q-hypergeometric series
In this paper (<https://arxiv.org/abs/1905.06815>) there is a similar 4-phi-3 nonnegativity statement which in fact can be utilized to get the nonnegativity of the function in question. In Proposition A.8 we prove something very similar for an expression defined in (A.14), and there Watson's transformation works indeed.


I guess when posting the question I did not carefully check this first.


