Eaton (1992) considered a general parametric statistical model paired with an improper prior distribution for the parameter and proved that if a certain Markov chain, constructed using the model and the prior, is recurrent, then the improper prior is strongly admissible, which (roughly speaking) means that the generalized Bayes estimators derived from the corresponding posterior distribution are admissible. Hobert and Robert (1999) proved that Eaton’s Markov chain is recurrent if and only if its so-called conjugate Markov chain is recurrent. The focus of this paper is a family of Markov chains that contains all of the conjugate chains that arise in the context of a Poisson model paired with an arbitrary improper prior for the mean parameter. Sufficient conditions for recurrence and transience are developed and these are used to establish new results concerning the strong admissibility of non-conjugate improper priors for the Poisson mean.

Given a sequence (Mk, Qk)k ≥ 1 of independent and identically distributed random vectors with nonnegative components, we consider the recursive Markov chain (Xn)n ≥ 0, defined by the random difference equation Xn = MnXn - 1 + Qn for n ≥ 1, where X0 is independent of (Mk, Qk)k ≥ 1. Criteria for the null recurrence/transience are provided in the situation where (Xn)n ≥ 0 is contractive in the sense that M1 ⋯ Mn → 0 almost surely, yet occasional large values of the Qn overcompensate the contractive behavior so that positive recurrence fails to hold. We also investigate the attractor set of (Xn)n ≥ 0 under the sole assumption that this chain is locally contractive and recurrent.

The stochastic process resulting when pairs of events are formed from two point processes is a rich source of questions. When the two point processes have different rates, the resulting stochastic process has a mean drift towards either -∞ or +∞. However, when the two processes have equal rates, we end up with a null-recurrent Markov chain and this has interesting behavior. We study this process for both discrete and continuous times and consider special cases with applications in communications networks. One interesting result for applications is the waiting time of a packet waiting for a token, a special case of this pair-formation process. Pair formation by two independent Poisson processes of equal rates results in a point process that is asymptotically a Poisson process of the same rate.

We obtain a sufficient condition for the transience of a Markov chain, and a sufficient condition for its null recurrence. These are applied to characterize the stability of a multiple-access communication system. Performance bounds for the system are also obtained.

The aim of this paper is to present a comprehensive set of criteria for classifying as recurrent, transient, null or positive the sets visited by a general state space Markov chain. When the chain is irreducible in some sense, these then provide criteria for classifying the chain itself, provided the sets considered actually reflect the status of the chain as a whole. The first part of the paper is concerned with the connections between various definitions of recurrence, transience, nullity and positivity for sets and for irreducible chains; here we also elaborate the idea of status sets for irreducible chains. In the second part we give our criteria for classifying sets. When the state space is countable, our results for recurrence, transience and positivity reduce to the classical work of Foster (1953); for continuous-valued chains they extend results of Lamperti (1960), (1963); for general spaces the positivity and recurrence criteria strengthen those of Tweedie (1975b).