arxiv: v1 [math.pr] 3 Dec 2015

Transcription

1 BRIDGES OF MARKOV COUNTING PROCESSES: QUANTITATIVE ESTIMATES GIOVANNI CONFORTI CONTENTS arxiv:52.8v [math.pr] 3 Dec 25 Introduction. Marov Counting processes and their bridges 2.. Duality formula for the bridge of a Marov counting process 2 2. Quantitative estimates Convexity and concavity in time of the mean value Estimates for the marginals Law of large numbers 4 3. Proofs of the results 5 Proof of Theorem 2. 5 Proof of Theorem Proof of Theorem References ABSTRACT. In this paper we investigate the behavior of the bridges of a Marov counting process in several directions. We first characterize convexity(concavity in time of the mean value in terms of lower (upper bounds on the so called reciprocal characteristics. This result gives a natural criterion to determine whether bridges are lazy or hurried. Under the hypothesis of global bounds on the reciprocal characteristics we prove sharp estimates for the marginal distributions and a comparison theorem for the jump times. When the height of the bridge tends to infinity we show the convergence to a deterministic curve, after a proper rescaling. INTRODUCTION Counting processes are among the simplest stochastic processes but still feature a very broad set of applications in social sciences and engineering, see [],[3],[7]. Moreover, some of the prototypes of jump processes, such as the Poisson processes, fall into this class, and the development of a stochastic calculus adjusted to these (and more general pure jump processes led to important contributions, see [2],[8],[]. In this paper we give a new criterion which allows to quantify the behavior of the bridges of a Marov counting process. One of the most popular interpretations is that counting processes model the number of people arriving in a line. Using this interpretation, our aim is to find robust and easy-to-chec conditions on the intensity of the counting process under which we can pull out quantitative information on the conditional distribution of the i-th arrival time, or on how many customers have arrived by time t, given that n customers arrived in a day. Despite the simplicity of the non pinned dynamics, bridges tend to be more complicated to study because their jump intensity is time-dependent and not explicit, but depends on the solution to a Kolmogorov-type equation, which is in general not available. Moreover, jump intensities and bridges are not in one-to one correspondence, in the sense that different counting processes give raise to the same family of bridges. A well nown example of this is the fact that all Poisson processes, independently from their jump intensity, have identical bridges. Good estimates have to tae into account only those features of the jump intensity which play an effective role in the construction of bridges. Our answers are inspired by the theory of reciprocal processes, which provides the main computational tool: the so called reciprocal characteristics. They should be thought at some invariants associated with bridges. Reciprocal characteristics have been first discovered for diffusions in [9] and are by now available for a much larger class of processes, including several classes of jump processes, see e.g.[5]. However, to the best of our nowledge, it is for the first time in this note that such invariants are used to mae quantitative estimates on the behavior of bridges. As a by product of our analysis we also obtain a natural way of defining when a counting process has lazy bridges, meaning that most customers tend to arrive at the end of the day. Date: November 23,25. 2 Mathematics Subject Classification. 6J27,6J75. Key words and phrases. bridges, counting processes, duality formula, tail estimates.

2 2 GIOVANNI CONFORTI It is interesting to remar that, since counting processes are among the building blocs for general queuing models, our results might open the way for a detailed quantitative study of queuing model under partial information, such as the final state of the queue. The paper is organized as follows: in Section we recall some basics about Marov counting processes and recall some results which we are going to use later on. In Section 2 we present our main results,theorem 2., Theorem 2.2, and Theorem 2.3. In Section 3 we mae their proofs.. MARKOV COUNTING PROCESSES AND THEIR BRIDGES The sample path space Ω of the counting processes consists of all càdlàg step functions with finitely many jumps with amplitude + and an initial value in N, from which we exclude paths which jumps either in t = or t =. The space of probability measures over Ω is denoted P(Ω. Any path ω Ω is described by the collection (x; t,..., t n of its initial position x N and its n = ω ω instants of jumps < t < < t n <. We denote T i (ω := t i the i-th instant of jump of ω. The canonical process is denoted by X = (X t t, and we call counting process any probability law on Ω Any counting process P admits an almost surely unique increasing process A : [, ] Ω R + such that P (A( = = and t X t X A(t is a local P -martingale, (see Jacod [8, Thm. 2.], for instance. A characterizes the dynamics of P, and it is called the compensator. When the compensator is absolutely continuous, we call its derivative the intensity of P. We consider Marov counting processes, meaning that the intensity depends only on time and the current state. We assume that the jump intensity l : [, ] N R + satisfies the following: i For all z N, t l(t, z is continuously differentiable in [, ]. ii The function [, ] N t, z [, ], z l(t, z+ l(t, z is globally upper and lower bounded. iii For all z N, t [, ], l(t, z >. From now on, a reference counting process P with intensity satisfying i,ii,iii and whose initial measure has full support is fixed. In the rest of the paper whenever we refer to the intensity of a Marov counting process, we always assume that it satisfies i,ii, and iii even if we do not specify it. i,ii ensure existence and non-explosion of the process, (for the non explosion part, see [, Theorem 2.3.2], while iii ensures that bridges are well defined between any pair of states x, y with x y. We denote by Psu xy the xy bridge between s and u. Psu xy ( := P ( X s = x, X u = y When s =, u = we simply write P xy. We will call u s the length of the bridge whereas y x is the height of the bridge. Moreover, for any s [, ], x N we define P x s ( = P ( X s = x Expectation under P is denoted E P. E P xy su and E P xy,e P x s are defined analogously... Duality formula for the bridge of a Marov counting process. The reciprocal characteristic is a map Ξ l : N [, ] R derived from the intensity of P, which encodes all the necessary and sufficient information on l to construct the family of bridges {Psu xy } x y N,s u. It is defined as : { t log l(t, z + l(t, z + l(t, z, if l(t, z Ξ l (t, z :=, if l(t, z = A short-time probabilistic interpretation of Ξ l can be found in a larger generality in [5, Theorem 2.6]: it describes the asymptotic distribution of jump times in a bridge whose time length is very short. It is part of this paper to extract quantitative bounds in a non asymptotic time scale. At this point, it is worth recalling a duality formula proved in [6], building on earlier wor in [4], characterizing the bridges of P, as we are going to use it in the proofs. To streamline the presentation, we omit some minor details. For precise statements we refer to [6, Theorem 2.2]. The duality formula is an integration by parts formula on the path space Ω which puts in relation a derivative operator with a stochastic integral operator. The derivative operator acts on test functions Φ : Ω R of the form: Φ = ϕ ( X ; T,..., T m, m, ϕ : N [, ] m R where ϕ is such that for all x Z, the partial functions ϕ(x; are C -differentiable. The directions of differentiation are given by the set of periodic functions U = { u C ([, ]; R : u( = u( = } In the definition of the reciprocal characteristic we allowed for l(t, z =, which was excluded by our hypothesis iii. This is because in the proof of Theorem 2. we will consider the reciprocal characteristics of the intensities of the bridges of P, which fail to satisfy iii. However, the reference intensity l always satisfies this condition

3 BRIDGES OF MARKOV COUNTING PROCESSES: QUANTITATIVE ESTIMATES 3 The derivative operator acts as follows on a test function Φ: m D u Φ = tj ϕ(x ; T,..., T m u(t j ( After recalling that the stochastic integral f(t, X t dx t is, as usual, T f(t i< i, X T we can state i the formula. Theorem.. Let P be a counting process of intensity l. Then P xy is the only element of P(Ω such that P xy (X = x, X = y = and ( [ E P xy(d u Φ = E P xy Φ u(t + Ξl (t, X t u(t ] dx t (2 holds for any test function Φ and any u U. 2. QUANTITATIVE ESTIMATES 2.. Convexity and concavity in time of the mean value. Our first result is the equivalence between global bounds on Ξ l and the convexity/concavity of the mean value, as a function of time. Theorem 2.. Let P be a counting process. If inf Ξ l(t, z, t [,],z N then for all s u and for all x y N the function [s, u] t E P xy su (X t is convex. Conversely, if sup Ξ l (t, z, t [,],z N then for all s u, and for all x y N the function [s, u] t E P xy su (X t is concave. Thans to this result, it maes sense to say that the bridges of a counting process are lazy when Ξ l is a non negative function. Indeed, using the interpretation that X t counts the number of arrivals of customers, Theorem 2. states that, on average, customers arrive at a slow rate at the beginning of the day, and this rate always increases over time in order to match the information that y x customers arrived in the whole day: hence arrivals are concentrated towards the end of the day. In particular, at time t, one expects to have observed less than n t arrivals, ad the curve [, ] t E P xy(x t lies below the straight line between x and y. On the contrary, if Ξ l is non-positive we can say that bridges are hurried. Customers arrive very quicly at the beginning, and the graph of [, ] t E P xy(x t lies above the straight line between x and y. The arrival of customers has to slow down as time grows (concavity, due to the constraint that y x customers, and not more, have to be arrived at the end of the day. We refer to Figure for an illustration of these concepts Estimates for the marginals. Next result turns the qualitative statement of Theorem 2. into a quantitative one. We start from the observation that there are three main families of Marov counting processes such that Ξ l is a time-space constant function: The Poisson processes, i.e. l(t, z α >. Regardless of the value of α, their bridges are neither lazy nor hurried. The average rate which customers arrive is constantly equal to y x. Marov counting processes with time homogeneous and space linear rates, i.e. l(t, z = λz + α for some λ, α >. The space-homogeneous counting processes with exponential rate, i.e. l(t, z = α exp(λt, for some λ R, α >. Their bridges may be lazy or hurried, depending on whether λ is positive or not. For this ind of models all sort of explicit computations are possible: we will use them as a benchmar in the next theorem. As we will see in Lemma 3.3, the marginal at time t of the xy bridge of a process with Ξ l λ is a binomial distribution whose parameters are determined by λ, x, y and t. This is a generalization of the well nown fact that marginals of Poisson bridges are binomial distributions. We mae use of this explicit computation to provide estimates for the case when the marginal distributions are not nown in closed form. We shall see that if Ξ l admits a non negative lower bound, say λ, then any bridge of P has marginals which have lighter tails than the marginals of the same bridge built from a process satisfying Ξ l λ. Therefore we prove that the tails are lighter than the tails of a certain binomial law. In this sense, Theorem 2.2 strengthens the definition of lazy bridge, giving a parameter to measure quantitatively such laziness, and creating a partial order in the family of processes with lazy bridges. All statements can be reversed when lower bounds become upper bounds.

4 4 GIOVANNI CONFORTI To state the Theorem, some notation is needed: we denote by B n,p the binomial distribution associated with n trials and probability of success p. ( n n, B n,p ( = p ( p n We define for all λ R the function π λ : [, ] [, ] as π λ (t = exp(λt exp(λ Theorem 2.2. Let P be a counting process of intensity l, x y N. If for some λ R, then for i y x and t [, ]: inf Ξ l(t, z λ (4 t [,],x z y P xy (X t x + i B y x,πλ (t({i,., y x} Conversely, if for some λ R, sup Ξ l (t, z λ t [,],x z y then for any i y x and t [, ]: P xy (X t x + i B y x,πλ (t({i,., y x} Remar 2.. The inequalities we obtain in this Theorem are equalities when Ξ l (t, z λ (see Lemma 3.3, and therefore are sharp. A simple consequence of Theorem 2.2 is the following mean value estimate. Corollary 2.. Let P be a counting process of intensity l, x y N. If then for any x y and t [, ]: inf Ξ l(t, z λ t [,],z N E P xy(x t x + (y x exp(λt exp(λ 2.3. Law of large numbers. Here, we prove an asymptotic result under the hypothesis that the Ξ l (t, z converges as z + to λ R. We will see that as n +, the bridge of length one between and n, after a suitable rescaling, converges to the deterministic curve t π λ (t (see Figure. Theorem 2.3. Let P be a Marov counting process of intensity l. Assume that for some λ R: Then for every ε > : lim lim P N N + sup z + t [,] t [,] Ξ l (t, z λ = (5 ( sup N X t π λ (t ε = (3

5 BRIDGES OF MARKOV COUNTING PROCESSES: QUANTITATIVE ESTIMATES Λ 5 Λ 3 Λ Λ 3 Λ t FIGURE. Top: We plot for λ { 5, 3,, 3, 5} the function t E P,2(X t, where the intensity l of P satisfies Ξ l λ. For negative values of λ we have a concave function, whereas for positive values a convex one. Moreover, we see that, as a function of λ, E P,2(X t is decreasing. Bottom: A sample path of a lazy bridge (λ = 3: it displays very little activity close to zero: almost all jump times accumulate around t =. 3. PROOFS OF THE RESULTS Proof of Theorem 2.. The proof of Theorem 2. builds on the earlier results of [6] and on Lemma 3.below. There, we prove the statement under P instead of P xy. Unless in the rest of the paper, we do not assume l to satisfy point iii in the proof of this theorem. This is because we will eventually apply it to a bridge P xy, whose intensity does not satisfy this condition. Lemma 3.. Let P be a Marov counting process of intensity l. Then inf Ξ l(t, z t [,],z N

6 6 GIOVANNI CONFORTI if and only if for all s, x [, ] N the function [s, ] t E P x s (X t is convex. Conversely, sup Ξ l (t, z t [,],z N if and only if for all s, x [, ] N the function [s, ] t E P x s (X t is concave. Proof. We only prove the convexity statement, the other being analogous. ( Fix s [, ], x N and define ϕ t := E P x s (X t for t [s, ]. Differentiating twice we obtain: ϕ t = E P x s (l(t, X t ϕ t = E P x s ( t l(t, X t + (l(t, X t + l(t, X t l(t, X t = E P x s (Ξ l (t, X t l(t, X t {l(t,xt >} + t l(t, X t {l(t,xt =} Since l(s, z is continuously differentiable and for all t [, ] P (X t X t =, we have that, for a fixed t, l(t, X t = a.s. implies that t l(t, X t =. Therefore by definition of Ξ l we have for all t: E P x s ( t l(t, X t {l(t,xt =} = E P x s ( {l(t,xt =} = E P x s (Ξ l (t, X t l(t, X t {l(t,xt =} and therefore: ϕ t = E P x s (Ξ l (t, X t l(t, X t If inf t,z Ξ l (t, z, we then have ϕ t, which gives the convexity. ( Consider s [, ],x N such that l(s, x > (note that if l(s, x =, Ξ l (s, x = and there is nothing to prove. Then, defining ϕ as above and repeating the same computations we obtain, by evaluating the second derivative at s, and exploiting the fact that X s = x almost surely: ϕ s = Ξ l (s, xl(s, x Since ϕ s by assumption and l(s, x >, then Ξ l (s, x. Because of the arbitrary choice of s and x the conclusion follows. The proof of Theorem 2. becomes now almost straightforward. Proof. We exploit the fact Psu xy is also a counting process whose intensity l x,y s,u(t, z is continuously differentiable on [, N and satisfies: Ξ l x,y(t, z = s,u { Ξ l (t, z, if x z y, < t <, otherwise This is proven in [6, Theorem.]. An application of Lemma 3. gives then the conclusion. Proof of Theorem 2.2. Prior to the proof, we introduce some useful notation which simplifies many computations therein. We call n := y x the total number of jumps that the xy bridge maes. Moreover, we adopt the following conventions: For (t,.., t n [, ] n we adopt the compact notation t. For any i n the vector (t i,.., t is denoted t i,. For i n, s r, we call s,r i, the set : s,r i, := {(t i,..., t [, ] i+ : s < t i < t i+ <.. < t < r} When s =, r =, i =, = n, we simply write n. For any j n we define ξ j : [, ] R as the only primitive of t Ξ l (t, x + j such that ξ j ( =. We then define ξ : n R, ξ(t = ξ j (t j We also define for all i n: ξ i, (t i, = ξ j (t j The proof is structured as follows: we first prove two Lemmas, Lemma 3.2 Lemma 3.3, which contain the two main ingredients of the proof. Then we do the proof of Theorem 2.2, relying on the more technical Lemma 3.4, which is proven later, together with the simple auxiliary Lemma 3.5. Lemma 3.2. The distribution of jump times (T,.., T n under P xy is given by: A n, P xy (T,.., T n A = exp ( ξ(t dt (6 Z l j=i A

7 BRIDGES OF MARKOV COUNTING PROCESSES: QUANTITATIVE ESTIMATES 7 Proof. For convenience, we denote the vector (T,.., T n by T. Let us define the probability measure Q P(Ω by: dq = Z l exp(ξ(tdr xy where R xy is the Poisson bridge from x to y. Thans to the duality formula (2, the Poisson bridge is characterized by: ( Φ, u U, E R xy(d u Φ = E R xy Φ u(t dx t (7 Consider now a test function Φ, using the duality formula (2 and the fact that D u is a true derivative operator satisfying Leibniz s product rule: ( E Q (D u Φ = E R xy exp(ξ(t D u Φ ( [ ] [ ] = E R xy D u exp(ξ(t Φ E R xy (Φ D u exp(ξ(t = }{{} eq. (7+eq.( E R xy = E Q (Φ ( exp(ξ(tφ u(tdx t + E R xy [ u(t + Ξl (t, X t u(t ] dx t ( Φ exp(ξ(t tj ξ(t }{{} =Ξ l (T j,x T j u(t j An application of Theorem. allows to deduce that Q = P xy. Therefore, the density of P xy T with respect to R xy T is proportional to exp(ξ(t. It is well nown that R xy T is the normalized Lebesgue measure on n. The conclusion then follows. Let us compute explicitly the distribution of the jump times of a bridge of a counting process such that Ξ l is constantly equal to λ. Lemma 3.3. Let P be a counting process of intensity l, x y N. Let l be such that for some λ R : t [, ], x z y, Ξ l (t, z = λ Then, for all t [, ], i y x we have that the law of X t x is B y x,πλ (t, where π λ (t is defined by (3. Proof. As a direct consequence of Lemma 3.2 combined with the current hypothesis we have: P xy (X t x + ip xy (T i t = exp(λ t j dt (8 Z λ n {t i t} where Z λ is a normalization constant. Thans to the invariance of the integrand under permutations we have: exp ( λ t j dt = Z λ n {t i t} (exp(λ n exp(λ t j dt (9 A with A := σ S n {t : t σ( <.. < t σ(n, t σ(i t} where S n is the symmetric group with n elements. We can rewrite A in a convenient way, using some simple combinatorial arguments. We have: A := {t [, ] n s.t. {j : t j t} i} But then the right hand side of (9 is nothing but the probability that at least i among n i.i.d. random variables are less than t, each variable being supported on [, ] and having a density proportional to exp(λs. The conclusion then follows after a simple calculation. We can now prove Theorem 2.2. Proof. Because of Lemma 3.2 and Lemma 3.3, and the elementary fact that {X t x + i} = {T i t}, all what we need to do is to prove that for all i n, t : exp(ξ(tdt exp ( λ t j dt ( Z l Z λ t n {t i t} where Z l, Z λ are normalization constants. t n {t i t}

8 8 GIOVANNI CONFORTI To this aim, we define the function ρ : [, ] R + by: t ρ(r := exp(ξ(tdt n {t i r} t exp ( n {t i r} λ n t j dt Observing that ρ( = Z l Z λ, ( is equivalent to ρ(t ρ(, and therefore it is sufficient to prove that ρ is non decreasing. For this, we rewrite ρ(t in a convenient way, by conditioning on the value of t i : r ρ(r = p(sds r q(sds ( with: p(s := q(s := t n {t i=s} = exp(ξ i (s t n {t i=s} exp ( ξ(t dt dt i,n,s = exp(λs,s,s exp ( λ exp ( ξ (t dt t j dt dt i+,n exp ( i λ t j dt s, i+,n s, i+,n exp ( λ exp ( ξ i+,n (t i+,n dt i+,n j=i+ t j dti+,n Let us first show that p/q(s is non decreasing. Lemma 3.4 ensures that both exp(ξ,s (t dt exp(ξ s exp(λ s, i+,n (t i+,n dt i+,n i+,n i dt and s exp(λ n j=i+ t jdt i+,n s, i+,n are non decreasing in s. Moreover, exp(ξ i (s λs is also increasing in s since ξ i ( = Ξ l (, x + i λ by hypothesis. We have thus shown that p/q(s is non decreasing. By Lemma 3.5 and ( we get that ρ is non decreasing too, and the conclusion follows. Lemma 3.4. The functions and are non decreasing in s. s s,s s, i+,n,s s, i+,n exp(ξ (t dt exp(λ i dt exp(ξ i+,n (t i+,n dt i+,n exp(λ n j=i+ t jdt i+,n Proof. We only prove the first statement, the other case being completely analogous. We wor by induction on i. For the case i = 2, we have to show that s s exp(ξ (t dt s exp(λt dt is non decreasing. The assumption of Theorem 2.2 ensures that ξ (t λt is non decreasing, since λ Ξ l (, x = ξ ( by hypothesis. But then we conclude by applying Lemma 3.5. For the inductive step we rewrite {,s and similarly exp(ξ (t dt =,s i exp(λ s t j dt = exp(ξ i (t i s Using the inductive hypothesis, we have that t i,t i,i 2 exp(λt i,t i 2,t i,i 2,t i,i 2 exp(ξ,i 2 (t,i 2 dt,i 2 } dt i i 2 exp( exp(ξ,i 2 (t,i 2 dt,i 2 exp( i 2 t jdt,i 2 t j dt,i 2 dt i

9 BRIDGES OF MARKOV COUNTING PROCESSES: QUANTITATIVE ESTIMATES 9 is increasing. Moreover, t i exp(ξi (ti exp(λt i is also increasing, since by assumption λ Ξ l (, x+i 2 = ξ i (. The conclusion follows by Lemma 3.5. Lemma 3.5. Let p, q be continuously differentiable strictly positive functions such that p q (s is increasing. Then t t p(sds t q(sds (2 is also increasing. Proof. We differentiate 2 in t. We obtain: [ ( t q(sds 2 p(t t q(sds q(t We observe that the conclusion follows if we can prove that Since s t, our hypothesis ensures this. s t t p(tq(s q(tp(s ] p(sds Let us prove Corollary 2. Proof. We simply write: E P xy(x t = x + P xy (T i t }{{} i= Recalling that n y x the conclusion follows. i= Th. 2.2 B n,πλ (t(t i t = x + n exp(λt exp(λ. Proof of Theorem 2.3. Theorem 2.2 can be adapted to the case when we consider bridges of non-unitary length. The proof is basically identical, and we do not include it here. However, we will need this fact. The only difference from Theorem 2.2 is that we allow for initial and final times (s, u of the bridge to be different from (,. Proposition 3.. Let P be a counting process of intensity l, x y N and s < u. If for some λ R, then for i y x and t [s, u]: where inf Ξ l(t, z λ t [s,u],x z y P xy su (X t x + i B y x,π s,u λ (t ({i,., y x} (3 π s,u exp(λ(t s λ (t = exp(λ(u s Given the proposition, we can prove Theorem 2.3 Proof. Fix ε > and 2 ε sup t [,] t π λ (t. We show that: { } { A := sup j N X j π λ ( j n ε 2 Indeed, assume that X A and tae t [, ]. Then t [ j, j+ fact that both N X and π λ ( are non decreasing functions we have: Since X A we have: N X t π λ (t max N X j+ π λ ( j = N X j+ π λ ( j + { N X j+ + π λ( j + sup t [,] N X t π λ (t ε } := B ] for some j. Because of the π λ ( j, π λ( j + N X j π λ( j ε 2 + sup t π(λ, t ε t where the last inequality is justified by the choice of. In the same way one shows that π λ ( j+ N X j ε. Since t can be chosen arbitrarily in [, ], we have shown that A B. Because of this, to prove the theorem, it is sufficient to prove that for any finite collection (t,.., t and any ε > we have: lim P,N ( sup N + l N X t l π λ (t l ε = }

10 GIOVANNI CONFORTI Moreover, since we want to prove convergence to a deterministic limit, it suffices to consider one-time marginals. All we need to show is that for all t [, ], ε ( lim P,N N + N X t π λ (t ε = Fix now t [, ], ε >, and choose δ > small enough such that Because of the assumption (5, there exist such that for all z π λ (t + ε π(λ δ, t (4 sup Ξ l (s, z λ δ. (5 s [,] We choose one such. Let us observe that, if N is large enough we have { } N X t π λ (t ε {T t} (6 Using the Marov property we have, by conditioning on T and using (6: ( ( ( P,N N X t π λ (t ε = E P,N E,N P { N Xt π λ(t ε} T {T t} ( ( = E P,N P,N T, N X t π λ (t ε {T t} ( sup P,N s, s [,t] N X t π λ (t ε Thans to our choice of, see (5, we are entitled to apply Proposition 3.. We get: ( sup P,N s, s [,t] N X t π λ (t ε sup B N,π s, (t({n(π λ(t + ε /N,.., N } λ δ s [,t] }{{} :=ξ n Since π s, λ δ (t is decreasing in s, we have: sup B N,π s, (t(nξ n, N = B N,πλ δ (t(nξ n, N λ δ s [,] With an application of the Law of large numbers, we have that, as N goes to infinity: B N,πλ δ (t(na δ πλ δ (t(a, A [, ] Therefore lim N + B N,πλ δ (t(nξ n, N = if lim inf N + ξ N > π λ δ (t. But this is ensured by our choice of δ, see (4. Therefore we have proven that lim N + P,N ( N X t π λ (t ε =. With a similar argument one shows that lim N + P,N ( N X t π λ (t ε =, from which the conclusion follows. REFERENCES [] P.K. Andersen, O. Borgan, R.Gill, and N. Keiding. Statistical models based on counting processes. Springer Science and Business Media, 22. [2] P. Brémaud. The martingale theory of point processes over the real half line admitting an intensity. In A. Bensoussan and J.L. Lions, editors, Control Theory, Numerical Methods and Computer Systems Modelling, volume 7 of Lecture Notes in Economics and Mathematical Systems, pages Springer, 975. [3] P. Brémaud. Marov chains: Gibbs fields, Monte Carlo simulation, and queues, volume 3. Springer Science & Business Media, 23. [4] E.A. Carlen and E. Pardoux. Differential calculus and integration by parts on Poisson space. In S. Albeverio, Ph. Blanchard, and D. Testard, editors, Stochastics, Algebra and Analysis in Classical and Quantum Dynamics, volume 59 of Mathematics and Its Applications, pages Springer, 99. [5] G. Conforti and C. Léonard. Reciprocal classes of a random wal on graphs. Preprint arxiv: [6] G. Conforti, C. Léonard, R. Murr, and S. Roelly. Bridges of Marov counting processes. Reciprocal classes and duality formulas. Electron. Commun. Probab., 2: 2, 25. [7] T.R. Fleming and D.P. Harrington. Counting Processes and Survival Analysis. Wiley Series in Probability and Statistics. Wiley, 2. [8] J. Jacod. Multivariate point processes: predictable projection, Radon-Niodym derivatives, representation of martingales. Zeitschrift für Wahrscheinlicheitstheorie und Verwandte Gebiete, 3(3: , 975. [9] A. J. Krener. Reciprocal diffusions and stochastic differential equations of second order. Stochastics, 7(4: , 988. [] J.R. Norris. Marov Chains. Cambridge series in statistical and probabilistic mathematics. Cambridge University Press, 999. [] S. Watanabe. On discontinuous additive functionals and Lévy measures of a Marov process. Japanese journal of Mathematics, 964. UNIVERSITÄT LEIPZIG, FAKULTÄT FÜR MATHEMATIK UND INFORMATIK, AUGUSTUSPLATZ, 49 LEIPZIG, GERMANY address: giovanniconfort@gmail.com