** The Poisson boundary of lamplighter groups **

Joint with R. Lyons.

**1. Entropy **

The whole subject started with Kesten in 1949 and Furstenberg in early 50’s. Entropy on the boundary. In 1970, Avez proposed to define entropy directly on the group. Kaimanovich and Vershik (1979, 1983, Derriennic 1980.

Let be generated by finite symmetric set . Consider simple random walk on Cayley graph : jump to a neighbour picked uniformly at random. When the walk is transient,

– what are the bounded harmonic functions on the group ? Harmonic means .

– what is the tail -field ?

In particular, when are all bounded harmonic functions constant ? When is the tail trivial ? This should be related to entropy.

** 1.1. Entropy **

Let

Group invariance implies sub-additivity, so *asymptotic entropy* can be defined as

The main criterion, found in special cases by Avez and generalized by Kaimanovich-Vershik and Deriennic, is

Theorem 1The following are equivalent.

- All bounded harmonic functions are constant.
- Tail is trivial (tail events have probability 0 or 1).
- .

Also equivalent to speed being zero.

**2. Lampligter groups **

Lamplighter groups are special cases of wreath products. I will focus on

Group elements can be thought of as states, i.e. 0 or 1 for each element of , together witht a position in of the lamplighter. Neighbours of a given state differ by the state of the lamp or moving lamplighter one step aside. The identity is lamplighter at 0 and all lamps at 0.

When , the volume growth equals Fibonacci numbers, so the growth rate equals the golden mean. On the other hand, the simple random walk moves slowly: after steps, the lamplighter has moved to distance .

When , the range of the walk grows sublinearly (). Therefore the rate of escape is 0.

When , a positive fraction of the lamps will be left unchanged. The range of the wolk grows linearly. To turn them off will take linear time, the distance reached is linear. So the rate of escape is linear.

In general, if the base group is transient, the boundary is non trivial.

** 2.1. KV conjecture **

**Question** (Kaimanovitch-Vershik). What are the bounded harmonic functions on ? More specifically,

is a bounded harmonic function. Let eventual lamps. This is a sub--field of the tail. All bounded observables define harmonic function

Kaimanovitch-Vershik conjectured in 1983 that all bounded harmonic functions are like that.

** 2.2. Results **

In 1994, with James, I studied the tail of , which is easier. We use the fact that walks have cut-points: if one point is removed, the past and future of the trajectory do not intersect. We showed that this happens if . The question boils down to the tail of a sequence of independant variables, solved by Kolmogorov’s 0-1 law.

Erschler in 2008 showed that the tail equals if .

With Lyons, we finally proved that the tail equals provided that the base group is transient (hardest case is ).

** 2.3. Proof **

We need a criterion that has been used since the 1980’s.

Theorem 2 (Kaimanovitch 1985)Let be an invariant sub--field of the tail. Then is the full tail if and only if the conditional entrodpy

Combining this with a Shannon type theorem, one gets a more versatile variant.

Theorem 3If there exists finite set , -measurable, such that

- .
- .

Then is the full tail.

Construction of sets . AT time , the lampligter is somewhere is the ball of radius , of size . Go further steps. Lamp status chages by at most . In dimension , past and future do not intersect. Indeed

If , we show that few points of the past also appear on the future of the path. The number (a binomial coefficient ) is sub-exponential.

** 2.4. Questions **

Kaimanovitch: you seem to be using jumps in the walk.