1: \begin{abstract}

2: We consider a random walk on a homogeneous space $G/\Lambda$ where $G$ is  $\SO(2,1)$ or $\SO(3,1)$ and  $\Lambda$ is a lattice. The walk is driven by a probability measure $\mu$ on $G$ whose support generates a Zariski-dense subgroup.

3: 

4: We show that for every starting point $x\in G/\Lambda$ which is not trapped in a finite $\mu$-invariant set, the $n$-step distribution $\mu^{*n}*\delta_{x}$ of the walk equidistributes toward the Haar measure. Moreover, under arithmetic assumptions on the pair $(\Lambda, \mu)$, we show the convergence occurs at an exponential rate, tempered by the obstructions that $x$ may be high in a cusp or close to a finite orbit. 

5: %Arithmetic assumptions may be removed here up to replacing the starting point $x$  by a positive dimensional initial distribution. 

6: 

7: 

8: 

9: 

10: Our approach is substantially different from that of Benoist-Quint \cite{BQ2}, whose equidistribution statements only hold in Ces\`aro average and are not quantitative, that of Bourgain-Furman-Lindenstrauss-Mozes \cite{BFLM} concerning the torus case, and that of  Lindenstrauss-Mohammadi-Wang and Yang \cite{LMW,Yang,LMWY} about the analogous problem for unipotent flows.

11: A key new feature of our proof is the use of a new phenomenon which we call multislicing. The latter is a generalization of the discretized projection theorems à la Bourgain and we believe it presents independent interest.

12: \end{abstract}

13: