Three-Dimensional Spatial Correlation Modeling for Cylindrical mMIMO Arrays in HAPS

High-altitude platform stations (HAPS) are envisioned as a key component of future wireless networks, enabling ultra-wide coverage and providing direct connectivity to users with cylindrical massive multiple-input multiple-output (mMIMO) systems. Exploiting the channel degrees of freedom necessitates accurate modeling and characterization of three-dimensional (3D) channels in the presence of spatial correlation functions (SCFs). However, existing spatial correlation models are primarily developed for planar or linear antenna arrays and cannot be directly applied to cylindrical geometries commonly adopted by HAPS platforms. To address this limitation, this paper derives an exact closed-form expression for the SCF of 3D MIMO channels with antenna elements arranged in a cylindrical array. The proposed formulation is based on the spherical harmonic expansion (SHE) of plane waves and accommodates arbitrary antenna radiation patterns and angular distributions through the Fourier series (FS) coefficients of the power azimuth and zenith spectra. The derived SCF is validated through Monte Carlo simulations under standard-compliant settings.