Total: 1
We study the phase boundary of the finite-lifespan frog model. For rate-one continuous-time simple random walk on an infinite, connected, locally finite transitive graph of superlinear growth, we prove that the critical-density curve is continuous and strictly decreasing, with $-\logλ_c$ locally bi-Lipschitz. The inverse critical-lifespan curve has the corresponding regularity wherever it is finite. Whenever every positive density has finite critical lifespan, this resolves a conjecture of Angel, de la Riva, Hermon, and Shi on the regularity of the critical-parameter curves; in particular, it does so on nonamenable and superlinear polynomial-growth graphs. We also establish a small-lifespan scaling limit and extend critical-curve regularity and sharpness to a class of long-range frog models. The main tool is a local-to-global principle for activation processes generated by independent finite rooted ranges: local one-hit comparison implies comparison of global reachability and survival.