Annals of Probability

Point-map-probabilities of a point process and Mecke’s invariant measure equation

François Baccelli and Mir-Omid Haji-Mirsadeghi

Full-text: Open access

Abstract

A compatible point-shift $F$ maps, in a translation invariant way, each point of a stationary point process $\Phi$ to some point of $\Phi$. It is fully determined by its associated point-map, $f$, which gives the image of the origin by $F$. It was proved by J. Mecke that if $F$ is bijective, then the Palm probability of $\Phi$ is left invariant by the translation of $-f$. The initial question motivating this paper is the following generalization of this invariance result: in the nonbijective case, what probability measures on the set of counting measures are left invariant by the translation of $-f$? The point-map-probabilities of $\Phi$ are defined from the action of the semigroup of point-map translations on the space of Palm probabilities, and more precisely from the compactification of the orbits of this semigroup action. If the point-map-probability exists, is uniquely defined and if it satisfies certain continuity properties, it then provides a solution to this invariant measure problem. Point-map-probabilities are objects of independent interest. They are shown to be a strict generalization of Palm probabilities: when $F$ is bijective, the point-map-probability of $\Phi$ boils down to the Palm probability of $\Phi$. When it is not bijective, there exist cases where the point-map-probability of $\Phi$ is singular with respect to its Palm probability. A tightness based criterion for the existence of the point-map-probabilities of a stationary point process is given. An interpretation of the point-map-probability as the conditional law of the point process given that the origin has $F$-pre-images of all orders is also provided. The results are illustrated by a few examples.

Article information

Source
Ann. Probab., Volume 45, Number 3 (2017), 1723-1751.

Dates
Received: August 2014
Revised: January 2016
First available in Project Euclid: 15 May 2017

Permanent link to this document
https://projecteuclid.org/euclid.aop/1494835229

Digital Object Identifier
doi:10.1214/16-AOP1099

Mathematical Reviews number (MathSciNet)
MR3650413

Zentralblatt MATH identifier
1375.60091

Subjects
Primary: 60G10: Stationary processes 60G55: Point processes 60G57: Random measures
Secondary: 60G30: Continuity and singularity of induced measures 60F17: Functional limit theorems; invariance principles

Keywords
Point process stationarity palm probability point-shift point-map allocation rule vague topology mass transport principle dynamical system $\omega$-limit set

Citation

Baccelli, François; Haji-Mirsadeghi, Mir-Omid. Point-map-probabilities of a point process and Mecke’s invariant measure equation. Ann. Probab. 45 (2017), no. 3, 1723--1751. doi:10.1214/16-AOP1099. https://projecteuclid.org/euclid.aop/1494835229


Export citation

References

  • [1] Asmussen, S. (2003). Applied Probability and Queues, 2nd ed. Applications of Mathematics (New York) 51. Springer, New York.
  • [2] Baccelli, F. and Bordenave, C. (2007). The radial spanning tree of a Poisson point process. Ann. Appl. Probab. 17 305–359.
  • [3] Baccelli, F. and Brémaud, P. (2003). Elements of Queueing Theory: Palm Martingale Calculus and Stochastic Recurrences, 2nd ed. Applications of Mathematics (New York) 26. Springer, Berlin.
  • [4] Billingsley, P. (1968). Convergence of Probability Measures. Wiley, New York.
  • [5] Broer, H. and Takens, F. (2010). Dynamical Systems and Chaos. Springer, New York.
  • [6] Daley, D. J. and Last, G. (2005). Descending chains, the lilypond model, and mutual-nearest-neighbour matching. Adv. in Appl. Probab. 37 604–628.
  • [7] Ellis, D. B., Ellis, R. and Nerurkar, M. (2001). The topological dynamics of semigroup actions. Trans. Amer. Math. Soc. 353 1279–1320 (electronic).
  • [8] Ferrari, P. A., Landim, C. and Thorisson, H. (2004). Poisson trees, succession lines and coalescing random walks. Ann. Inst. Henri Poincaré Probab. Stat. 40 141–152.
  • [9] Heveling, M. and Last, G. (2005). Characterization of Palm measures via bijective point-shifts. Ann. Probab. 33 1698–1715.
  • [10] Kallenberg, O. (1976). Random Measures. Akademie-Verlag, Berlin.
  • [11] Kallenberg, O. (2002). Foundations of Modern Probability, 2nd ed. Springer, New York.
  • [12] König, D. (1990). Theory of Finite and Infinite Graphs. Birkhäuser, Inc., Boston, MA. Translated from the German by Richard McCoart, with a commentary by W. T. Tutte and a biographical sketch by T. Gallai.
  • [13] Last, G. and Thorisson, H. (2009). Invariant transports of stationary random measures and mass-stationarity. Ann. Probab. 37 790–813.
  • [14] Mecke, J. (1975). Invarianzeigenschaften allgemeiner Palmscher Maße. Math. Nachr. 65 335–344.
  • [15] Molchanov, I. (2005). Theory of Random Sets. Springer, London.
  • [16] Ryll-Nardzewski, C. (1961). Remarks on processes of calls. In Proceedings of the 4th Berkeley Symposium on Mathematical Statistics and Probability, Vol. II 455–465. Univ. California Press, Berkeley, CA.
  • [17] Thorisson, H. (2000). Coupling, Stationarity, and Regeneration. Springer, New York.
  • [18] Zuyev, S. (2006). Strong Markov property of Poisson processes and Slivnyak formula. In Case Studies in Spatial Point Process Modeling. Lecture Notes in Statist. 185 77–84. Springer, New York.