Linear quintuple-product identities (Q4794657)

The quintuple product identity says that \[ \sum_{n \in \mathbb{Z}} x^{n(3n+1)/2}(z^{3n} - z^{-(3n+1)})= \prod_{n=1}^{\infty} (1-x^n)(1-zx^n)(1-x^{n-1}/z)(1-z^2x^{2n-1})(1-x^{2n-1}/z^2). \] Denote the function above by \(f(x,z)\). For \(k\) and \(l\) integers with \(k \geq 1\), define \(Q_0(k,l)\), \(Q_1(k,l)\), \(Q_2(k,l)\), and \(Q_3(k,l)\) by \[ Q_{2\delta + \varepsilon}(k,l) := f((-1)^{\delta}x^k, (-1)^{\delta+\varepsilon}x^{-l}), \] where \(\delta, \varepsilon\;\in \{0,1\}\). The authors use a devise a computer search to find all solutions to the equation \[ Q_r(k,l) = Q_s(a,b) \pm x^fQ_t(c,d), \] where \(a,b,c,d\), and \(f\) are linear functions in \(k\) and \(l\). These are the following: For \(k,l\) integers with \(k \geq 1\), we have \[ Q_{2\delta+\varepsilon}(k,l) = Q_{\delta}(4k,k-2l) - (-1)^{\delta+\varepsilon}x^lQ_{\delta}(4k,k+2l). \] For \(k,l\) integers with \(k \geq 1\), we have \[ Q_{2\delta+\varepsilon}(3k,l) = Q_{2\delta + \varepsilon + (-1)^{\varepsilon}\delta}(3k,k-l) - (-1)^{\delta+\varepsilon}x^lQ_{2\delta + \varepsilon +(-1)^{\varepsilon}\delta}(3k,k+l). \]