Krzyż's conjecture for Taylor coefficients of zero-free disk maps

From papers

Let D={zC:z<1}\mathbb{D}=\{z\in\mathbb{C}:|z|<1\} and let Ω\Omega be the set of holomorphic functions f:DD{0}f:\mathbb{D}\to\mathbb{D}\setminus\{0\}. Write f(z)=k0f^(k)zkf(z)=\sum_{k\geq 0}\widehat f(k)z^k and let KnK_n^\bullet denote the corresponding supremum of the modulus of the nnth Taylor coefficient.

Krzyż's conjecture. For every fΩf\in\Omega and every n1n\geq 1,

Kn=sup{f^(n):fΩ}=2e.K_n^\bullet=\sup\{ |\widehat f(n)|:f\in\Omega\}=\frac{2}{e}.

Moreover, equality for a given nn holds if and only if

f(z)=αexp ⁣(ζzn1ζzn+1),α=ζ=1.f(z)=\alpha\exp\!\left(\frac{\zeta z^n-1}{\zeta z^n+1}\right),\qquad |\alpha|=|\zeta|=1.

The conjecture is known for n5n\leq 5, while the cases n6n\geq 6 remain open. It is a sharp coefficient problem for zero-free holomorphic self-maps of the disk and is connected with several equivalent Hardy-space extremal conditions.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Jialin Lei and Teng Zhang, “Proof of the Agler–McCarthy entropy conjecture”, arXiv:2605.03949 (2026).

Additional references

2 papers in this index state this conjecture (2018–2026). The statement above is taken from the most recent of them; the others are arXiv:1803.09718.

Solutions 0

No solutions have been posted yet.