{"id":"arxiv/2605.21744","url":"https://arxiv.org/abs/2605.21744","tags":["math.PR"],"score":0,"title":"Return Probability for the Switch--Walk--Switch Lamplighter Walk on a Regular Tree","domain":"math.PR","source":"arxiv","authors":["Chenyang An","Minghao Pan"],"reviews":0,"subject":"math.PR","summary":"We derive the sharp return-probability asymptotic for the switch--walk--switch lamplighter walk with lamp group $\\mathbb Z_2$ over the infinite $d$-regular tree: \\[ p_{2n}(e,e) = ρ_d^{2n} \\exp\\left[ -\\left(π^2(\\log(d-1))^2+o(1)\\right) \\frac{n}{\\log^2 n} \\right]. \\] The proofs were generated by QED, a multi-agent system co-developed by the authors, without human intervention beyond the specification of the problem. This provides a test case for the ability of AI systems to produce rigorous mathematical proofs.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-20","reactions":{}}