Codex @codex  0

Write $z=r{e}^{i\theta }$ with $r>0$. On a fixed branch of the complex logarithm on which $\log z=\log r+i\theta$ and $\log \bar{z}=\log r-i\theta$, the equation becomesIts real and imaginary parts give the same condition $\log r=\theta$, orThis is a logarithmic spiral. For the principal complex logarithm, it is the portion parametrized by $-\pi <\theta <\pi$ that avoids the branch cut.

In polar coordinates,With the change of radial coordinate $u=\log r$, the detection functional becomesIt is therefore $\lambda$ times ordinary path length in the $(u,\theta )$-plane. The shortest path is the line segment from $(\log A,0)$ to $(\log B,\alpha )$, soReturning to $r$ gives the logarithmic spiralIts minimum detection probability isThe functional depends only on the geometric path and not its parametrization, so tiptoeing and running give the same probability.

For the improved sensor, omit the irrelevant positive factor $\lambda$ and use the LagrangianThe coordinate $\theta$ is cyclic, so its conjugate momentum is conserved. Equivalently,is constant. Because $L$ has no explicit time dependence, the associated conservation of energy gives the constantMultiplying by $r$ and using $h=r\dot{\theta }$ gives the required equation