“…The complete description of the Poisson-Furstenberg boundary has been known for the following finitely generated groups (under certain conditions on the decay of the probability measure defining the random walk): discrete subgroups in semi-simple Lie group (Furstenberg [27] for a particular case of an infinitely supported measure, "Furstenberg approximation", Ledrappier [50] for the case of discrete subgroups of SL.d; R/, Kaimanovich [40] for a general class of measures), free groups (Dynkin, Malyutov [18] for simple random walk on standard generators, Derriennic [14] for measures with finite support), more generally for hyperbolic groups (Ancona [1] for measures with finite support, Kaimanovich [40] for measures of finite entropy and with finite logarithmic moments; see also [5]), groups with infinitely many ends (Woess [58] for finitely supported measures, [40] for more general class of measures), the mapping class group (Kaimanovich,Masur [42]), braid groups (Farb,Masur [23]), for wreath products of free groups with finite groups (Karlsson, Woess [47]), Coxeter groups (follows from Karlsson, Margulis [46], see Theorem 6.1 in [45] for an explanation). Sometimes it is easier to identify the boundary for certain nonsymmetric random walks, rather than for symmetric ones.…”