Random Measures, Point Processes, and Stochastic Geometry

This book is centered on the mathematical analysis of random structures embedded in the Euclidean space or more general topological spaces, with a main focus on random measures, point processes, and stochastic geometry. Such random structures have been known to play a key role in several branches of natural sciences (cosmology, ecology, cell biology) and engineering (material sciences, networks) for several decades. Their use is currently expanding to new fields like data sciences. The book was designed to help researchers finding a direct path from the basic definitions and properties of these mathematical objects to their use in new and concrete stochastic models. The theory part of the book is structured to be self-contained, with all proofs included, in particular on measurability questions, and at the same time comprehensive. In addition to the illustrative examples which one finds in all classical mathematical books, the document features sections on more elaborate examples which are referred to as models}in the book. Special care is taken to express these models, which stem from the natural sciences and engineering domains listed above, in clear and self-contained mathematical terms. This continuum from a comprehensive treatise on the theory of point processes and stochastic geometry to the collection of models that illustrate its representation power is probably the main originality of this book. The book contains two types of mathematical results: (1) structural results on stationary random measures and stochastic geometry objects, which do not rely on any parametric assumptions; (2) more computational results on the most important parametric classes of point processes, in particular Poisson or Determinantal point processes. These two types are used to structure the book. The material is organized as follows. Random measures and point processes are presented first, whereas stochastic geometry is discussed at the end of the book. For point processes and random measures, parametric models are discussed before non-parametric ones. For the stochastic geometry part, the objects as point processes are often considered in the space of random sets of the Euclidean space. Both general processes are discussed as, e.g., particle processes, and parametric ones like, e.g., Poisson Boolean models of Poisson hyperplane processes. We assume that the reader is acquainted with the basic results on measure and probability theories. We prove all technical auxiliary results when they are not easily available in the literature or when existing proofs appeared to us not sufficiently explicit. In all cases, the corresponding references will always be given.

[1]  D. Vere-Jones Markov Chains , 1972, Nature.

[2]  J. Norris Appendix: probability and measure , 1997 .

[3]  D. Sattinger,et al.  Calculus on Manifolds , 1986 .

[4]  M. Stephanov,et al.  Random Matrices , 2005, hep-ph/0509286.

[5]  Joseph Lipka,et al.  A Table of Integrals , 2010 .

[6]  Hans U. Gerber Life Insurance Mathematics , 1990 .

[7]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[8]  R. Courant Methods of mathematical physics, Volume I , 1965 .

[9]  Kenji Handa,et al.  The two-parameter Poisson–Dirichlet point process , 2007, 0705.3496.

[10]  Anthony W. Knapp,et al.  Advanced Real Analysis , 2005 .

[11]  David Vere-Jones,et al.  Point Processes , 2011, International Encyclopedia of Statistical Science.

[12]  T. Mattfeldt Stochastic Geometry and Its Applications , 1996 .

[13]  Pierre Brémaud,et al.  Mathematical principles of signal processing , 2002 .

[14]  P. Brémaud,et al.  Virtual customers in sensitivity and light traffic analysis via Campbell's formula for point processes , 1993, Advances in Applied Probability.

[15]  O. Kallenberg Foundations of Modern Probability , 2021, Probability Theory and Stochastic Modelling.

[16]  J. Seaman Introduction to the theory of coverage processes , 1990 .

[17]  Alan F. Karr,et al.  Derived random measures , 1978 .

[18]  Frédéric Morlot,et al.  Processus spatio-temporels en géométrie stochastique et application à la modélisation de réseaux de télécommunication , 2012 .

[19]  Stefan Friedrich,et al.  Topology , 2019, Arch. Formal Proofs.

[20]  ψψAABB xxAA,et al.  Markov Random Fields , 1982, Encyclopedia of Social Network Analysis and Mining.

[21]  Harold R. Parks,et al.  A Primer of Real Analytic Functions , 1992 .

[22]  Martin Haenggi,et al.  On decoding the kth strongest user in poisson networks with arbitrary fading distribution , 2013, 2013 Asilomar Conference on Signals, Systems and Computers.

[23]  G. Pedersen,et al.  THE EXISTENCE AND UNIQUENESS OF THE HAAR INTEGRAL ON A LOCALLY COMPACT TOPOLOGICAL GROUP , 2004 .

[24]  David Vere-Jones,et al.  A Generalization of Permanents and Determinants , 1988 .

[25]  Narahari Prabhu Topics in Probability , 2011 .

[26]  G. Matheron Random Sets and Integral Geometry , 1976 .

[27]  Sheldon M. Ross,et al.  Stochastic Processes , 2018, Gauge Integral Structures for Stochastic Calculus and Quantum Electrodynamics.

[28]  Jeffrey G. Andrews,et al.  A Tractable Approach to Coverage and Rate in Cellular Networks , 2010, IEEE Transactions on Communications.

[29]  F. Baccelli,et al.  On a coverage process ranging from the Boolean model to the Poisson–Voronoi tessellation with applications to wireless communications , 2001, Advances in Applied Probability.

[30]  Martin Haenggi,et al.  Stochastic Geometry Analysis of Cellular Networks , 2018 .

[31]  Israel Gohberg,et al.  Traces and determinants of linear operators , 1996 .

[32]  Matthias Heveling Characterization of Palm measures via bijective point-shifts , 2005 .

[33]  M. Westcott The probability generating functional , 1972, Journal of the Australian Mathematical Society.

[34]  Jeffrey G. Andrews,et al.  Series Expansion for Interference in Wireless Networks , 2011, IEEE Transactions on Information Theory.

[35]  Bartlomiej Blaszczyszyn,et al.  Factorial moment expansion for stochastic systems , 1995 .

[36]  Ulrike Goldschmidt,et al.  An Introduction To The Theory Of Point Processes , 2016 .

[37]  Nitakshi Goyal,et al.  General Topology-I , 2017 .

[38]  Petter Brand'en,et al.  Solutions to two problems on permanents , 2011, 1104.3531.

[39]  Yan Zi-Zong,et al.  SCHUR COMPLEMENTS AND DETERMINANT INEQUALITIES , 2009 .

[40]  J. E. Moyal The general theory of stochastic population processes , 1962 .

[41]  Bartlomiej Blaszczyszyn,et al.  A note on expansion for functionals of spatial marked point processes , 1997 .

[42]  Hyunjoong Kim,et al.  Functional Analysis I , 2017 .

[43]  D. Owen Handbook of Mathematical Functions with Formulas , 1965 .

[44]  Marvin Marcus,et al.  The permanent analogue of the Hadamard determinant theorem , 1963 .

[45]  Feller William,et al.  An Introduction To Probability Theory And Its Applications , 1950 .

[46]  R. Ambartzumian Stochastic and integral geometry , 1987 .

[47]  J. Bell Gaussian Hilbert spaces , 2015 .

[48]  Jordan Stoyanov,et al.  Counterexamples in Probability , 1989 .

[49]  Konrad Jörgens,et al.  Linear integral operators , 1982 .

[50]  J. Mecke,et al.  Stationäre zufällige Maße auf lokalkompakten Abelschen Gruppen , 1967 .

[51]  J. W. Cohen,et al.  The multiple phase service network with generalized processor sharing , 1979, Acta Informatica.

[52]  C. Berg,et al.  Harmonic Analysis on Semigroups: Theory of Positive Definite and Related Functions , 1984 .

[53]  J. Møller,et al.  Determinantal point process models and statistical inference , 2012, 1205.4818.

[54]  D. Bump Automorphic Forms and Representations , 1998 .

[55]  H. O. Foulkes Abstract Algebra , 1967, Nature.

[56]  François Baccelli,et al.  Stochastic geometry and architecture of communication networks , 1997, Telecommun. Syst..

[57]  P. McCullagh,et al.  The permanental process , 2006 .

[58]  Mathew D. Penrose,et al.  Lectures on the Poisson Process , 2017 .

[59]  T. Shirai,et al.  Random point fields associated with certain Fredholm determinants I: fermion, Poisson and boson point processes , 2003 .

[60]  Péter E. Frenkel,et al.  REMARKS ON THE α–PERMANENT , 2010 .

[61]  A. Yaglom Correlation Theory of Stationary and Related Random Functions I: Basic Results , 1987 .

[62]  Ben Taskar,et al.  Determinantal Point Processes for Machine Learning , 2012, Found. Trends Mach. Learn..

[63]  J. K. Hunter,et al.  Measure Theory , 2007 .

[64]  Holger Paul Keeler,et al.  SINR-based coverage probability in cellular networks under multiple connections , 2013, ArXiv.

[65]  Alexander E. Holroyd,et al.  Extra heads and invariant allocations , 2003, math/0306402.

[66]  J. Mercer Functions of Positive and Negative Type, and their Connection with the Theory of Integral Equations , 1909 .

[67]  Thomas Kühn,et al.  Eigenvalues of integral operators generated by positive definite Hölder continuous kernels on metric compacta , 1987 .

[68]  B. Simon Trace ideals and their applications , 1979 .

[69]  Kim C. Border,et al.  Infinite Dimensional Analysis: A Hitchhiker’s Guide , 1994 .

[70]  J. Neveu,et al.  Mathematical foundations of the calculus of probability , 1965 .

[71]  Aarnout Brombacher,et al.  Probability... , 2009, Qual. Reliab. Eng. Int..

[72]  Benjamin Naumann,et al.  Classical Descriptive Set Theory , 2016 .

[73]  Holger Paul Keeler,et al.  Using Poisson processes to model lattice cellular networks , 2013, 2013 Proceedings IEEE INFOCOM.

[74]  A. Soshnikov Determinantal random point fields , 2000, math/0002099.

[75]  O. Macchi The coincidence approach to stochastic point processes , 1975, Advances in Applied Probability.

[76]  Yuval Peres,et al.  Zeros of Gaussian Analytic Functions and Determinantal Point Processes , 2009, University Lecture Series.

[77]  Bruce Jay Collings Characteristic Polynomials by Diagonal Expansion , 1983 .

[78]  Jesper Møller,et al.  Generalised shot noise Cox processes , 2005, Advances in Applied Probability.

[79]  Thomas L. Saaty,et al.  Elements of queueing theory , 1961 .

[80]  I. Molchanov Theory of Random Sets , 2005 .