## Abstract

Let X
_{1}, X
_{2}, . . . be independent, identically distributed random variables taking values from a compact metrizable group G. We prove that the random walk S
_{k} = X
_{1}X
_{2} · · · X
_{k}, k = 1, 2, . . . equidistributes in any given Borel subset of G with probability 1 if and only if X
_{1} is not supported on any proper closed subgroup of G, and S
_{k} has an absolutely continuous component for some k ≥ 1. More generally, the sum ∑
_{k}
_{=1}
^{N} f (S
_{k}), where f : G → ℝ is Borel measurable, is shown to satisfy the strong law of large numbers and the law of the iterated logarithm. We also prove the central limit theorem with remainder term for the same sum, and construct an almost sure approximation of the process ∑
_{k≤}
_{t} f (S
_{k}) by a Wiener process provided S
_{k} converges to the Haar measure in the total variation metric.

Original language | English |
---|---|

Pages (from-to) | 54-72 |

Number of pages | 19 |

Journal | Annales de l'Institut Henri Poincaré / Probabilités et Statistiques |

Volume | 57 |

Issue number | 1 |

DOIs | |

Publication status | Published - Feb 2021 |

Externally published | Yes |

## Keywords

- Central limit theorem
- Empirical distribution
- Ergodic theorem
- Law of the iterated logarithm
- Strong law of large numbers
- Wiener process

## ASJC Scopus subject areas

- Statistics and Probability
- Statistics, Probability and Uncertainty