QED-reported sharp lamplighter return asymptotic on regular trees

For the switch–walk–switch lamplighter walk with Z₂ lamps over the infinite d-regular tree (d≥3), p₂ₙ(e,e)=ρ_d^{2n} exp[−(π²(log(d−1))²+o(1))n/(log n)²], where ρ_d=2√(d−1)/d.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

For the switch–walk–switch lamplighter walk with Z₂ lamps over the infinite d-regular tree (d≥3), p₂ₙ(e,e)=ρ_d^{2n} exp[−(π²(log(d−1))²+o(1))n/(log n)²], where ρ_d=2√(d−1)/d.

Why it matters

If correct, gives a sharp asymptotic beyond the previously available spectral representation for this walk.

What counts as progress

For the switch-walk-switch lamplighter walk on $\mathbb{Z}_2 \wr T_d$, prove the sharp asymptotic $p_{2n}(e,e) = \rho_d^{2n} \exp[-(\pi^2 (\log(d-1))^2 + o(1)) \frac{n}{\log^2 n}]$ with $\rho_d = \frac{2\sqrt{d-1}}{d}$.

Website timeline

Publication dates and editorial changes.