The union-of-Reuleaux-frames diameter conjecture

Let F1F_1 and F2F_2 be frames of Reuleaux polygons in the Euclidean plane, lying nonidentically, and suppose that

diam(F1)=diam(F2)=d.\operatorname{diam}(F_1)=\operatorname{diam}(F_2)=d.

Union-of-Reuleaux-frames diameter conjecture. Then

diam(F1F2)>d.\operatorname{diam}(F_1\cup F_2)>d.

The paper identifies this as an unproved conjecture used in its planar diameter argument; no resolution is supplied in the given text.

Sources & referencesView supporting material

Primary source

Karsten Keller and Evgeniy Petrov, “Ordinal spaces”, arXiv:2412.17391 (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.