Lift-free approaches to random rotation number and numerical approximation

We study the random rotation number for random circle homeomorphisms. We introduce two new definitions of the random rotation number that can be stated without reference to any choice of lift of the dynamics to the real line, and prove that they are equivalent to the standard random rotation number. We then prove that the mean random rotation number may be approximated within an error of 1/ n when using n iterations of the dynamics. Finally, we develop numerical algorithms for approximation of the random rotation number which we test with several examples.