Filtration of ASTA: a weak convergence approach

Consider a stochastic process (X,A), where X represents the evolution of a system over time, and A is an associated point process that has stationary independent increments. Suppose we are interested in estimating the time average frequency of the process X being in a set of states. Often it is more convenient to have a sampling procedure for estimating the time average based on averaging the observed values of X(T_n) (T_n being a point of A) over a long period of time: the event average of the process. In this paper we examine the situation when the two procedures—event averaging and time averaging—produce the same estimate (the ASTA property: Arrivals See Time Averages). We prove a result stronger than ASTA. Under a lack-of-anticipation assumption we prove that the point process, A, restricted to any set of states, has the same probabilistic structure as the original point process. In particular, if the original point process is Poisson the new point process is still Poisson with the same parameter as the original point process. We develop our results in the more general setting of a stochastic process (X,A), that is, a process with an imbedded cumulative process, A={A(t),t0}, which is assumed to be a Levy process with non-decreasing sample paths. This framework allows for modeling fluid processes, as well as compound Poisson processes with non-integer increments. First, we state the result in discrete time; the discrete-time result is then extended to the continuous-time case using limiting arguments and weak-convergence theory. As a corollary we give a proof of ASTA under weak conditions and a simple, intuitive proof of (Poisson Arrivals See Time Averages) under the standard conditions. The results are useful in queueing and statistical sampling theory.