Spatio-temporal Interference Correlation and Joint Coverage in Cellular Networks

TL;DR

This paper develops an analytical framework using stochastic geometry to characterize spatio-temporal interference correlation and joint coverage probability in cellular networks, considering user mobility and handoff strategies.

Contribution

It introduces exact expressions for interference correlation and joint coverage, accounting for user movement, handoff scenarios, and provides insights for static and highly mobile users.

Findings

Interference correlation decreases with user displacement distance v.

Joint coverage probability is affected by handoff strategies and user mobility.

Analytical expressions are derived for special cases of user mobility.

Abstract

This paper provides an analytical framework with foundations in stochastic geometry to characterize the spatio-temporal interference correlation as well as the joint coverage probability at two spatial locations in a cellular network. In particular, modeling the locations of cellular base stations (BSs) as a Poisson Point Process (PPP), we study interference correlation at two spatial locations $\ell_1$ and $\ell_2$ separated by a distance $v$, when the user follows \emph{closest BS association policy} at both spatial locations and moves from $\ell_1$ to $\ell_2$. With this user displacement, two scenarios can occur: i) the user is handed off to a new serving BS at $\ell_2$, or ii) no handoff occurs and the user is served by the same BS at both locations. After providing intermediate results such as probability of handoff and distance distributions of the serving BS at the two user locations, we use them to derive exact expressions for spatio-temporal interference correlation coefficient and joint coverage probability for any distance separation $v$. We also study two different handoff strategies: i) \emph{handoff skipping}, and ii) \emph{conventional handoffs}, and derive the expressions of joint coverage probability for both strategies. The exact analysis is not straightforward and involves a careful treatment of the neighborhood of the two spatial locations and the resulting handoff scenarios. To provide analytical insights, we also provide easy-to-use expressions for two special cases: i) static user ($v =0$) and ii) highly mobile user ($v \rightarrow \infty)$. As expected, our analysis shows that the interference correlation and joint coverage probability decrease with increasing $v$, with $v \rightarrow \infty$ corresponding to a completely uncorrelated scenario.