Full-basin conjecture for a smooth circle covering with a repelling fixed point

Let D\mathcal{D} be the set of circle local homeomorphisms f:S1S1f:\mathbb{S}^1\to\mathbb{S}^1 that are topologically conjugate to the doubling map. For fDf\in\mathcal{D}, let pp be its unique fixed point, let δp\delta_p be the Dirac measure at pp, and write BδpB_{\delta_p} for the basin of δp\delta_p. Full-basin conjecture. There exists

fDC1(S1)f\in\mathcal{D}\cap C^1(\mathbb{S}^1)

such that f(p)>1f'(p)>1 and

Bδp=1.|B_{\delta_p}|=1.

The conjecture strengthens the paper's C1C^1 construction, which gives a positive-Lebesgue-measure basin for a hyperbolic repelling fixed point but not a full-measure basin. The statement asks whether the basin can have full Lebesgue measure under the same regularity and circle-covering restrictions.

Sources & referencesView supporting material

Primary source

Rubio Gunawan, “Smooth Circle Covering with a Physical Measure on a Hyperbolic Repelling Fixed Point”, arXiv:2602.00293 (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.