Abstract
We consider a spherical germ-grain model on \(\mathbb {R}^{d}\) in which the centers of the spheres are driven by a possibly non-Poissonian point process. We show that various covering probabilities can be expressed using the cumulative distribution function of the random radii on one hand, and distances to certain subsets of \(\mathbb {R}^{d}\) on the other hand. This result allows us to compute the spherical and linear contact distribution functions, and to derive expressions which are suitable for numerical computation. Determinantal point processes are an important class of examples for which the relevant quantities take the form of Fredholm determinants.
Similar content being viewed by others
References
Breton J-C, Clarenne A, Gobard R (2017) Macroscopic analysis of determinantal random balls. Bernoulli 25:1568–1601
Chiu SN, Stoyan D, Kendall WS, Mecke J (2013) Stochastic geometry and its applications. Wiley Series in Probability and Statistics. John Wiley & Sons, Ltd., Chichester third edition
Daley DJ, Vere-Jones D (2003) An introduction to the theory of point processes. Vol I. Probability and its Applications (New York), 2nd edn. Springer-Verlag, New York
Davydov Y, Molchanov I, Zuyev S (2008) Strictly stable distributions on convex cones. Electron J Probab 13:259–32
Decreusefond L, Flint I, Privault N, Torrisi G (2016) Determinantal point processes. In: Peccati G, Reitzner M (eds) Stochastic analysis for poisson point processes: Malliavin calculus, wiener-Itô chaos expansions and stochastic geometry, vol 7 of Bocconi & Springer Series. Springer, Berlin, pp 311–342
Flint I, Kong H-B, Privault N, Ping W, Dusit N (2017) Wireless energy harvesting sensor networks: Boolean-Poisson modeling and analysis. IEEE Trans Wireless Comm 16(11):7108–7122
Flint I, Lu X, Privault N, Niyato D, Wang P (2014) Performance analysis of ambient RF energy harvesting: A stochastic geometry approach. In: IEEE Global Communications Conference (GLOBECOM 2014), pp 1448–1453
Heinrich L (1992) On existence and mixing properties of germ-grain models. Statistics 23(3):271–286
Kallenberg O (1986) Random measures, 4th edn. Akademie-Verlag, Berlin
Karr AF (1986) Point processes and their statistical inference, 4th edn. Dekker, New York
Last G, Holtmann M (1999) On the empty space function of some germ-grain models. Pattern Recognit 32(9):1587–1600
Lavancier F, Møller J, Rubak E (2015) Determinantal point process models and statistical inference. J R Stat Soc Ser B 77:853–877
Matheron G (1975) Random sets and integral geometry. Wiley
Na D, Zhou W, Haenggi M (2014) The Ginibre point process as a model for wireless networks with repulsion. IEEE Trans Wireless Comm 14(1):107–121
Shirai T, Takahashi Y (2003) Random point fields associated with certain Fredholm determinants. I. Fermion, Poisson and boson point processes. J Funct Anal 205(2):414–463
Simon B (2005) Trace ideals and their applications, volume 120 of mathematical surveys and monographs, 2nd edn. American Mathematical Society, Providence
Vergne A, Flint I, Decreusefond L, Martins P (2014) Disaster recovery in wireless networks: A homology-based algorithm. In: ICT 2014, pp 226–230, Lisbon, Portugal
Acknowledgments
The authors would like to thank the two anonymous referees for their suggestions which have greatly improved an earlier draft of this paper. This research was supported by Singapore MOE Tier 2 Grant MOE2016-T2-1-036.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Flint, I., Privault, N. Computation of Coverage Probabilities in a Spherical Germ-Grain Model. Methodol Comput Appl Probab 23, 491–502 (2021). https://doi.org/10.1007/s11009-019-09741-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11009-019-09741-5
Keywords
- Boolean model
- Germ-grain model
- Capacity functional
- Multipoint probability function
- Determinantal point process