Convexity conjecture for the pendulum time map
Let TB(z,ϕ)T_B(z,\phi)TB(z,ϕ) be the time map defined in the paper for parameters zzz and ϕ\phiϕ, with z∈(0,2)z\in(0,2)z∈(0,2) and ϕ∈(0,π2)\phi\in(0,\frac{\pi}{2})ϕ∈(0,2π). Convexity conjecture. For each…