Characterization of strict positive definiteness on products of complex spheres (Q2328986)

Let \(\Omega_{2q}\) be the unit sphere in \(\mathbb{C}^q\), \(f\) a continuous, complex-valued function on the product \(\bar{\mathbb{D}}\times \bar{\mathbb{D}}\) of the closed unit disks, associated with the kernel \[ K((z,w), (z^\prime,w^\prime))=f(z\cdot z^\prime, w\cdot w^\prime). \] The function \(f\) is (strictly) positive definite on the product \(\Omega_{2q}\times \Omega_{2p}\) if so is the kernel \(K\), in the standard sense. It was proved recently that \(f\) is positive definite on \(\Omega_{2q}\times \Omega_{2p}\) if and only if it admits an expansion \[ f(\xi,\eta)=\sum_{m,n,k,l\in\mathbb{Z}_+} a_{m,n,k,l} R_{m,n}^{q-2}(\xi)R_{k,l}^{p-2}(\eta), \quad (\xi,\eta)\in \bar{\mathbb{D}}\times \bar{\mathbb{D}}, \] where \[ a_{m,n,k,l}\ge0, \qquad \sum_{m,n,k,l} a_{m,n,k,l}<\infty, \] and \(R\) are the disc polynomials. The main results of the paper concern characterization of strictly positive definite functions on the product of two complex spheres in terms of the coefficients of their above expansion. In particular, the condition that the set \[ J':=\Bigl\{(m-n,k-l)\in\mathbb{Z}^2: \ a_{m,n,k,l}>0\Bigr\} \] intersect every product of full arithmetic progressions in \(\mathbb{Z}\) is necessary and sufficient for \(f\) to be strictly positive definite.