arXiv++ Combinatorics

We show a Birthday Paradox for self-intersections of Markov chains with uniform stationary distribution. As an application, we analyze Pollard's Rho algorithm for finding the discrete logarithm in a cyclic group $G$ and find that if the partition in the algorithm is given by a random oracle, then with high probability a collision occurs in $Θ(\sqrt{|G|})$ steps. Moreover, for the parallelized distinguished points algorithm on $J$ processors we find that $Θ(\sqrt{|G|}/J)$ steps suffices. These are the first proofs of the correct order bounds which do not assume that every step of the algorithm produces an i.i.d. sample from $G$.

This is a translation into English of a paper written in French, published in Tatra Mountains Mathematical Publications, {L'ultrafiltre, un outil incomparable}, Tatra Mt. Math. Publ. {\bf 31} (2005), 131-176.It was also posted as {arXiv:math/0702587v1} [math.HO] 20 Feb 2007. This paper was meant for a series of talks at the Bratislava Workshop on the density concept, May 2004. A number of the very many facets of ultrafilters are reviewed (some of them, a bit cursorily, as is to be expected in a short space, and time) including Condorcet's Paradox, ultraproducts and the theory of infinitesimals (non-standard analysis), Banach generalized limits in sequence spaces, Choquet's limits for families of closed sets in general topology and intrinsic geometry, representations of topologies as binary relations among ultrafilters, additive bases in number theory.