Approximation for probability of coverage in softly inhibitive cellular networks

The Strauss point process is a very popular model for describing the random cellular networks, yet several key statistical properties such as intensity, empty space function, and probability generating functional have remained elusive. This article addresses these issues by first leveraging the Poisson saddle point method to approximate the distance-conditioned intensity for Strauss point processes. Subsequently, the author derives an analytically tractable expression for the distribution of empty space distance based on a conditional thinning mechanism. Additionally, the author establishes an upper bound for the probability generating functional in Strauss point processes, which is crucial for evaluating the Laplace transform of cumulative interference in relevant cellular networks. These findings facilitate the systematic derivation of spatially averaged probability of coverage, and the accuracy of analytic results is validated through simulations.