Strict monotonicity conjecture for the frog-model critical curves

Let GG be a transitive graph of superlinear growth, and let λc(t)\lambda_{\mathrm{c}}(t) and tc(λ)t_{\mathrm{c}}(\lambda) denote the critical curves of the frog model. Strict monotonicity conjecture. The maps tλc(t)t\mapsto\lambda_{\mathrm{c}}(t) and λtc(λ)\lambda\mapsto t_{\mathrm{c}}(\lambda) are continuous and strictly decreasing. The source presents this as a natural question about the critical curves and gives no resolution.

Sources & referencesView supporting material

Primary source

Omer Angel, Daniel de la Riva, Jonathan Hermon and Yuliang Shi, “Existence and sharpness of the phase transition for the frog model on transitive graphs”, arXiv:2512.06640 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.