## Annals of Probability

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

#### 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
Revised: January 2016
First available in Project Euclid: 15 May 2017

https://projecteuclid.org/euclid.aop/1494835229

Digital Object Identifier
doi:10.1214/16-AOP1099

Mathematical Reviews number (MathSciNet)
MR3650413

Zentralblatt MATH identifier
1375.60091

#### 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

#### 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.