Return Probability for the Switch--Walk--Switch Lamplighter Walk on a Regular Tree
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.21744
curl -X POST /api/v1/records/arxiv/2605.21744/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.21744/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'