The logarithmic spiral is optimal for shoreline search: a computer-assisted proof
Abstract
A ship starts at a point of the plane and moves at unit speed; it has to reach an unknown straight line, of which neither the distance nor the direction is known. The competitive ratio of a path is the supremum, over all lines, of the time at which the line is reached divided by its distance. Baeza-Yates, Culberson and Rawlins conjectured that a logarithmic spiral, with ratio Csp = 13.8111351794611…, is optimal. We give a computer-assisted proof. Paths are arbitrary: the distance from the start and the polar angle may both decrease. The proof lifts the set of found directions to the universal cover of the circle, where unfolding the polar angle can only increase it (Kneser-Poulsen on the line); a bookkeeping inequality with a monotone final source then bounds the covered measure by the reward of a three-state relaxed control problem, in which inward motion is an ordinary control and excursions below the guaranteed disk are impulses. An explicit C1 storage function, a tensor cubic B-spline plus a closed-form term, satisfies the dissipation inequalities of that problem at the spiral's level and is tight only at the spiral; this is verified with about 106 boxes of Arb ball arithmetic, an exact jet and an interval Hessian at the spiral.
Related
- A computer-assisted proof of robust transitivity
- Computer-Assisted Results for n-Sided Non-Transitive Dice Taking Face Values in [n]
- A computer-assisted upper bound of 1.7813 for the real Grothendieck constant
- Competence narrowing in AI-assisted oral English instruction: A quasi-experimental study of the spiral synergy framework
- An independent computer-assisted proof of the Chen-Raspaud conjecture for k=4
BibTeX
@misc{temerev2026logarithmic,
title = {{The logarithmic spiral is optimal for shoreline search: a computer-assisted proof}},
author = {Alexander Temerev},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.24454},
eprint = {2609.24454},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.24454},
}
RIS
TY - UNPB
TI - The logarithmic spiral is optimal for shoreline search: a computer-assisted proof
AU - Alexander Temerev
PY - 2026
DA - 2026/09/21
PB - arXiv
DO - 10.48550/arxiv.2609.24454
UR - https://arxiv.org/abs/2609.24454
AB - A ship starts at a point of the plane and moves at unit speed; it has to reach an unknown straight line, of which neither the distance nor the direction is known. The competitive ratio of a path is the supremum, over all lines, of the time at which the line is reached divided by its distance. Baeza-Yates, Culberson and Rawlins conjectured that a logarithmic spiral, with ratio C_sp = 13.8111351794611…, is optimal. We give a computer-assisted proof. Paths are arbitrary: the distance from the start and the polar angle may both decrease. The proof lifts the set of found directions to the universal cover of the circle, where unfolding the polar angle can only increase it (Kneser-Poulsen on the line); a bookkeeping inequality with a monotone final source then bounds the covered measure by the reward of a three-state relaxed control problem, in which inward motion is an ordinary control and excursions below the guaranteed disk are impulses. An explicit C^1 storage function, a tensor cubic B-spline plus a closed-form term, satisfies the dissipation inequalities of that problem at the spiral's level and is tight only at the spiral; this is verified with about 10^6 boxes of Arb ball arithmetic, an exact jet and an interval Hessian at the spiral.
ER -