Weyl's equidistribution theorem states that the orbit of a point on the circle under rotation by $\alpha$ becomes asymptotically equidistributed with respect to Lebesgue (Haar) measure whenever $\alpha$ is an irrational multiple of $\pi$. (From the dynamical point of view, this is the statement that irrational rotations are uniquely ergodic.)
What happens if we choose two angles $\alpha$ and $\beta$ and flip a coin at each step to determine which we rotate by? Does the orbit still equidistribute?
Here is a more precise statement of the question, since the above is terse and perhaps open to misinterpretation.
Let $\Omega =\{0,1\}^\mathbb{N}$ be the space of infinite sequences of 0s and 1s, endowed with the $(\frac 12, \frac 12)$-Bernoulli measure $\mu$.
Consider the circle $S^1 = \mathbb{R}/\mathbb{Z}$ and a starting point $x_1\in S^1$. Fix $\alpha_0,\alpha_1\in \mathbb{R} / \mathbb{Z}$. Given $\omega\in \Omega$, define a sequence $x_n(\omega)\in S^1$ iteratively by $x_{n+1} = x_n + \alpha_{\omega(n)}$.
Let $m_n(\omega) = \frac 1n \sum_{k=0}^{n-1} \delta_{x_k(\omega)}$ be the average of the $\delta$-measures at the points $x_1(\omega),\dots, x_n(\omega)$. Let $E\subset \Omega$ be the set of $\omega$ such that $m_n(\omega) \to $ Lebesgue. Note that $\omega\in E$ if and only if $\sigma\omega\in E$, where $\sigma$ is the shift map on $\Omega$, and thus by the ergodic theorem we have $\mu(E)=0$ or $\mu(E)=1$.
Questions:
What properties of $\alpha_0,\alpha_1$ determine whether we get $\mu(E)=0$ or $\mu(E)=1$? If $\alpha_0=\alpha_1$ is irrational then we have $\mu(E)=1$ as above. On the other hand, if both are rational then $\mu(E)=0$ since $x_n$ takes only finitely many values. If $\alpha_0$ and $\alpha_1$ are linearly dependent over the rationals (but not rational themselves) then I believe we have $\mu(E)=1$, but probably this takes some argument. I don't know what happens if they are linearly independent over the rationals.
Do any of the above answers change if we consider instead of $E$ the set $F$ of $\omega$ with the property that the limit points of the sequence $m_n$ do not depend on the initial point $x_1$? This would allow more general limiting measures. Or we could impose other conditions on the limit points of the sequence $m_n$ and ask the same question.
What happens if we replace $\mu$ with a different $\sigma$-invariant measure on $\Omega$? Do we get a different answer for Bernoulli measures? Markov measures? Gibbs measures? General shift-invariant measures?
I know that's rather broad and open-ended. I'd be quite happy (at first, at least) with an answer to the first question. It seems worth asking all of them since this feels like something that has been probably been studied and may be well understood, although I didn't find anything when I looked. (I found some related results, but nothing that addressed these particular questions.)