Univalent Bloch constant

Description of constant

Let $\mathbb{D}=\{z\in\mathbb{C}:\lvert z\rvert<1\}$ and let $\mathcal{F}$ be the class of holomorphic functions $f:\mathbb{D}\to\mathbb{C}$ normalized by $f’(0)=1$. [BS2023-def-F]

For $f\in\mathcal{F}$, let $B_f$ denote the radius of the largest univalent disk in $f(\mathbb{D})$. [BS2023-def-Bf]

The univalent Bloch constant is \(B_u\ :=\ \inf\{B_f : f\in\mathcal{F},\ f\ \text{is univalent in }\mathbb{D}\}.\) [BS2023-def-Bu]

We define \(C_{57c}\ :=\ B_u.\)

The best rigorously stated lower bound in the cited survey literature is \(B_u\ >\ 0.5708858.\) [BS2023-latest-Bu-lb]

Also, from $B\le B_l\le L\le B_u$ and $L>\frac{1}{2}+10^{-335}$, one gets the weaker bound $B_u>\frac{1}{2}+10^{-335}$. [BS2023-relations] [BS2023-bounds-L]

Known upper bounds

Bound Reference Comments
$1$ Trivial The identity function $f(z)=z$ is univalent with $f’(0)=1$ and has $B_f=1$, hence $B_u\le 1$.
$0.658$ [Rob1935] Disc of radius about $2.956$ minus six radial slits ending at moduli $1$ and $2$.
$0.65647$ [Good1945] Radial slits added in bisecting generations.
$0.6564155$ [BH1985] Radial slits; third generation not bisecting. Numerical.
$0.6563937$ [COC2009] Disc of radius $4.0546358$ minus six radial slits and six harmonically symmetric arcs; numerical evaluation of an explicit theta-function formula, stated correct to 10 decimal places.
$0.656319277272^*$ [OCP2010] Disc of radius $5.1195152501$ minus six radial slits and further harmonically symmetric arcs; computed numerically, and the authors state that no rigorous error analysis was done.
$0.65628589^*$ [vS2026] Disc of radius $R=5.001117628756668$ minus 24 slits $z=\exp w$, $w=\log R+s+i(\theta+b_1s^2+b_2s^4)$, $\log(t/R)\le s\le 0$, with $(\theta,t,b_1,b_2)$ equal to $(0,1,0,0)$, $(\pi/3,1.9999999974092333,0,0)$, $(0.029930188727091613,2.789342409403121,0.9026921410641155,-0.3301459494660587)$, $(1.0157094972537686,3.473381248030611,-1.2656124700253997,0.9794269477754911)$, $(0.5757776442359243,4.342874184977691,0.03225521024585182,2.9360081049550737)$, and their images under rotation by $2\pi/3$ and complex conjugation. Computer-assisted proof: inradius $\le 1+10^{-9}$ (exact covering), conformal radius $\ge 1.523726208329$ (comparison function, Arb ball arithmetic). Floating-point value of the ratio $0.656285866$.

Known lower bounds

Bound Reference Comments
$\dfrac{1}{2}+10^{-335}$ [Yan1995] Follows from $L\le B_u$ together with Yanagihara’s lower bound for $L$ as summarized in [BS2023]. [BS2023-relations] [BS2023-bounds-L]
$0.5708858$ [Skin2009] Best recorded lower bound (as summarized in [BS2023]). [BS2023-latest-Bu-lb]

References

Contribution notes

Prepared with assistance from ChatGPT 5.2 Pro.

The history of upper bounds and the bound of [vS2026] were added with the help of Claude (Anthropic). The bound of [vS2026] has not been peer reviewed.