A counting process, X, is defined to be an adapted stochastic process starting from zero which is piecewise constant and right-continuous with jumps of size 1. That is, letting be the first time at which , then
By the debut theorem, are stopping times. So, X is an increasing integer valued process counting the arrivals of the stopping times . A basic example of a counting process is the Poisson process, for which has a Poisson distribution independently of , for all times , and for which the gaps between the stopping times are independent exponentially distributed random variables. As we will see, although Poisson processes are just one specific example, every quasi-left-continuous counting process can actually be reduced to the case of a Poisson process by a time change. As always, we work with respect to a complete filtered probability space .
Note that, as a counting process X has jumps bounded by 1, it is locally integrable and, hence, the compensator A of X exists. This is the unique right-continuous predictable and increasing process with such that is a local martingale. For example, if X is a Poisson process of rate , then the compensated Poisson process is a martingale. So, the compensator of X is the continuous process . More generally, X is said to be quasi-left-continuous if for all predictable stopping times , which is equivalent to the compensator of X being almost surely continuous. Another simple example of a counting process is for a stopping time , in which case the compensator of X is just the same thing as the compensator of .
As I will show in this post, compensators of quasi-left-continuous counting processes have many parallels with the quadratic variation of continuous local martingales. For example, Lévy’s characterization states that a local martingale X starting from zero is standard Brownian motion if and only if its quadratic variation is . Similarly, as we show below, a counting process is a homogeneous Poisson process of rate if and only if its compensator is . It was also shown previously in these notes that a continuous local martingale X has a finite limit if and only if is finite. Similarly, a counting process X has finite value at infinity if and only if the same is true of its compensator. Another property of a continuous local martingale X is that it is constant over all intervals on which its quadratic variation is constant. Similarly, a counting process X is constant over any interval on which its compensator is constant. Finally, it is known that every continuous local martingale is simply a continuous time change of standard Brownian motion. In the main result of this post (Theorem 5), we show that a similar statement holds for counting processes. That is, every quasi-left-continuous counting process is a continuous time change of a Poisson process of rate 1.
We start with the following result, which can be used to calculate the characteristic function of a quasi-left-continuous counting process in terms of its compensator. This result is similar to the fact that, for a continuous local martingale X, the process is a local martingale. In fact, in both cases, this reduces to the statement that the Doléans exponential of a local martingale is itself a local martingale.
Lemma 1 Let X be a quasi-left-continuous counting process with compensator A. Then, A is a continuous increasing process such that
is a local martingale for all .
Furthermore, for any such that , A is the unique continuous increasing process such that and (1) is a local martingale.
Set . As X is a counting process, we have at each jump time of X and, hence, or, equivalently, . As Y is a pure jump process,
Now, set and let be the process defined by (1). Then, . Integration by parts gives
As the processes all have finite variation, this is just the standard integration by parts formula for Lebesgue-Stieltjes integration. Alternatively, using the stochastic integration by parts formula, the fact that the processes have finite variation means that the quadratic variation term is zero. Note that equation (2) just says that M is the Doléans exponential of . By preservation of the local martingale property, M is a local martingale as required.
By preservation of the local martingale property, this means that is a local martingale and, hence, A is the compensator of X.
The following result characterizes Poisson processes among the class of counting processes, and can be compared with Lévy’s characterization of Brownian motion which characterizes Brownian motion among the class of continuous local martingales.
Lemma 2 Let X be a counting process and be a positive real number. Then, X is a Poisson process with rate if and only if its compensator is .
Proof: It was previously shown, in the post on Poisson processes, that a counting process X is a Poisson process of rate if and only if is a local martingale. Alternatively, putting and in Lemma 1, then X has compensator if and only if
is a local martingale for all . As this is uniformly bounded over finite intervals, it is equivalent to M being a martingale, or that has the characteristic function independently of , for all . Noting that this is the characteristic function of the Poisson distribution with parameter gives the result.
Next, we show that a counting process tends to a finite limit at infinity if and only if the same is true of its compensator. This can be compared to the result that a continuous local martingale converges to a finite limit at infinity if and only if the same is true of its quadratic variation. In fact, it can be seen that the proof below applies to any increasing process X with uniformly bounded jumps.
Lemma 3 Let X be a counting process with compensator A. Then, with probability one, we have if and only if .
Proof: Letting be the first time at which X hits the positive integer n, then , so we have
Therefore, almost surely. On the event , this gives and, hence, outside of a set of zero probability. Letting n increase to infinity shows that, almost surely, whenever .
Conversely, for positive integer n, let be the first time at which . Then, for all . Furthermore, as X has jumps bounded by 1, the same is true of A. Therefore, and, as above, we get the inequality
So, almost surely. On the event , this gives and, hence, outside of a set of zero probability. Letting n increase to infinity shows that, almost surely, whenever .
Recall that a continuous local martingale is constant on the same intervals on which its quadratic variation is constant. This result can also be modified to apply to counting processes and, more generally, to locally integrable increasing processes. That is, an increasing process X is constant on any interval for which its compensator is constant. Note that the converse does not hold here. For example, a Poisson process of rate is piecewise constant, and is constant over the intervals between its jump times. However, its compensator is not constant on any nontrivial intervals.
Lemma 4 Let X be an adapted, right-continuous and increasing process with compensator A. Then, X is almost-surely constant on all intervals on which A is constant. That is, with probability 1, we have for all times for which .
Proof: For each pair of positive real numbers , define the stopping time
As this is predictable, there exists stopping times increasing to . Letting n increase to infinity,
Now, for any time at which , right-continuity of the compensator implies that is strictly greater than t,
However, this inequality holds for all positive , so the expectation of must be zero, showing that this term is almost-surely zero. By countable additivity, with probability 1, we have that for all for which and such that s is rational. Finally, right-continuity of X and A extends this statement to all real s.
Finally, we prove the main result of this post, that every quasi-left-continuous process is a continuous time-change of a homogeneous Poisson process. For example, consider a totally inaccessible stopping time such that , and let A be its compensator. Then, is a quasi-left-continuous counting process, so we can write for a Poisson process Y. Then, is the first jump time of Y, so it must have the exponential distribution with parameter 1. Therefore, Theorem 5 gives a significant generalization of Corollary 6 of the previous post.
Theorem 5 can also be compared with the statement that every continuous local martingale is a continuous time change of standard Brownian motion. Similarly, here we must also consider a possible enlargement of the underlying probability space. That is, we consider a probability space and a measurable onto map preserving probabilities, so for all . Then, any random variable can be lifted to the random variable on the space . Similarly, any stochastic process can be lifted to a process defined on . We do not need to consider enlargements of the filtration, so that we just set
(and, if necessary, add in any zero probability sets to keep the filtration complete). Then, we enlarge the probability space by working under the filtered probability space . By doing this, it is always possible to assume that there exists a Poisson process independent of the original filtration . That is, if is any probability space which has a Poisson process defined on it, we can take , , , and let be the projection onto .
It can be seen from the proof of Theorem 5 that enlarging the probability space is only necessary if is finite (equivalently, by Lemma 3, is finite) with positive probability. This is because, in this case, the process X only has finitely many jumps, so that the Poisson process Y cannot be expressed purely as a function of X, and it may be necessary to add extra randomness to the probability space in order to construct Y.
Theorem 5 Any quasi-left-continuous counting process X is a continuous time-change of a homogeneous Poisson process of rate 1 (possibly under an enlargement of the probability space).
More precisely, let A be the compensator of X. Then, there exists a Poisson process Y of rate 1, with respect to a filtration , such that, for each , is a -stopping time and .
Proof: Without loss of generality, we can suppose that the underlying filtration is right-continuous. If not, we can replace by , which does not affect the conditions of the theorem. Now, define the random times
for all , so is a -martingale. For any fixed time t, we have and A is constant on the interval . By Lemma 4, X is also constant on this interval. So,
This shows that X is a continuous time-change of Z. We also need to show that Z is a counting process. That is, it needs to be shown that Z is right-continuous, increasing and piecewise-constant with , and jumps . However, as satisfies these properties for the continuous increasing process A, it follows that Z also satisfies these properties on the interval . Also, by construction, Z is constant on and left-continuous at , so it is indeed a counting process.
We have shown that Z is a counting process with compensator . If it is known that almost surely, then Lemma 2 implies that Z is a Poisson process and we are done. More generally, it is necessary to enlarge the underlying probability space. By doing so, we can assume the existence of a Poisson process, U (with respect to its natural filtration) of rate 1, which is independent of . Then, is a martingale under its natural filtration. By independence, letting be the filtration generated by and U, then and remain martingales under this enlarged filtration. As is a -stopping time, if we set then
is a -martingale. Therefore, Y is a counting process with compensator t and, by Lemma 2, is a Poisson process of rate 1. Finally, as ,