Nonagon conjecture for the Cheeger constant at fixed diameter and circumradius

Let K2\mathcal{K}^2 denote the class of planar convex sets, and let h(Ω)h(\Omega), d(Ω)d(\Omega), and R(Ω)R(\Omega) denote respectively the Cheeger constant, diameter, and circumradius. For a constant-width set KK, let Γ\Gamma and γ\gamma be its concentric circumcircle and incircle, with

d(K)=ω(K)=R(K)+r(K).d(K)=\omega(K)=R(K)+r(K).

Construct the associated nonagon of constant width by inscribing an equilateral triangle ABCABC in Γ\Gamma, taking the circular arcs of radius R(K)+r(K)R(K)+r(K) centered at its vertices and tangent to γ\gamma at the opposite points, and adding the three circles of radius (R(K)+r(K))/2(R(K)+r(K))/2 whose chords are the sides of the triangle and whose centers lie inside it. Nonagon conjecture. For ΩK2\Omega\in\mathcal{K}^2,

h(Ω)h(N),h(\Omega)\geq h(N),

where NN is a nonagon of constant width satisfying d(N)=d(Ω)d(N)=d(\Omega) and R(N)=R(Ω)R(N)=R(\Omega). This conjectured extremal property is attributed in the source to the described nonagon construction; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Ilias Ftouhi, Alba Lia Masiello and Gloria Paoli, “Sharp inequalities involving the Cheeger constant of planar convex sets”, arXiv:2206.13158 (2024).

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.