Hitting Moving Targets on Eulerian Digraphs in O(mn) Expected Time
Manuscript 6 October 2026 · Online 6 October 2026
Abstract
Let G be a connected loopless Eulerian directed multigraph with n vertices and m arcs, and let X be its half-lazy simple random walk. For every deterministic target sequence (u_t), we prove that the expected hitting time is at most t_unif(1/4)+10m(n-1)=O(mn), uniformly in the starting vertex. This removes the logarithmic factor in the general moving-target bound of Boczkowski, Peres and Sousi and answers their explicit question following Corollary 2.3. The proof combines a point Dirichlet inequality, a killed-operator contraction and burn-in of the unconditioned law. The same bound holds for independent random targets. An explicit simple nonreversible 18-vertex, 51-arc graph has fixed-target expectation 936>918=mn, refuting coefficient one for arbitrary deterministic targets but not settling that coefficient for two independent walks. The ambiguous full AIM Problem 3.1 is not claimed completely resolved. This is an unrefereed preprint with reproducible exact-rational checks; no independent review, formal verification or absolute priority is claimed.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Complete logarithm-removal theorem
- Categories
- math.PR · math.CO
- Manuscript
- 6 October 2026
- Online release
- 6 October 2026
- Version
- 1.0
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
Citation
Alper Ferudun, “Hitting Moving Targets on Eulerian Digraphs in O(mn) Expected Time,” EulerSolve Research Papers, AIM-PROBABILITY-0042, 2026. https://doi.org/10.5281/zenodo.23187059.
BibTeX
@misc{Ferudun2026EulerianMovingTargets,
author = {Ferudun, Alper},
title = {Hitting Moving Targets on Eulerian Digraphs in O(mn) Expected Time},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/aim-probability-0042/},
doi = {10.5281/zenodo.23187059},
note = {AIM-PROBABILITY-0042; unrefereed preprint}
}