Quantitative cusp control from Fefferman approximation theorems

Determine whether Fefferman's quantitative improvements of Whitney's approximation theorem provide quantitative control over the cusps of the simply connected cusp domain used in the construction separating Rubel_0(1) from Rubel_0(3), and determine whether those cusps can be asymptotic to two tangent circles.

Background

The construction proving Rubel_0(1) is not contained in Rubel_0(3) uses a real-analytic approximation to a smooth function on (0,1), followed by analytic continuation to a cusp domain. The paper notes that an explicit or quantitatively controlled approximant could yield more information about the geometry of the required cusps. It specifically asks whether Fefferman's quantitative versions of Whitney's theorem can establish such control and whether tangent-circle asymptotics are possible.

References

Can Fefferman's Theorems give quantitative control over the cusps in the cusp domain in Theorem 1.3? Can the cusps be asymptotic to two tangent circles?

— On Simply Connected Domains Supporting an Unbounded Analytic Function with Bounded Derivative  (2609.20607 - MacMahon, 17 Sep 2026) in Section 6, Open Questions; related discussion in Section 4