Positive definite functions on complex spheres and their walks through dimensions

We provide walks through dimensions for isotropic positive definite functions defined over complex spheres. We show that the analogues of Montée and Descente operators as proposed by Beatson and zu Castell [J. Approx. Theory 221 (2017), 22-37] on the basis of the original Matheron operator [Les variables régionalisées et leur estimation, Masson, Paris, 1965], allow for similar walks through dimensions. We show that the Montée operators also preserve, up to a constant, strict positive definiteness. For the Descente operators, we show that strict positive definiteness is preserved under some additional conditions, but we provide counterexamples showing that this is not true in general. We also provide a list of parametric families of (strictly) positive definite functions over complex spheres, which are important for several applications.