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

About 8 years old · traced to

Let D={z∈C:∣z∣<1}\mathbb{D}=\{z\in\mathbb{C}:|z|<1\} and let Ω\Omega be the set of holomorphic functions f:D→D∖{0}f:\mathbb{D}\to\mathbb{D}\setminus\{0\}. Write f(z)=∑k≥0f^(k)zkf(z)=\sum_{k\geq 0}\widehat f(k)z^k and let Kn∙K_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 n≥1n\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⁡ ⁣(ζzn−1ζ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 n≤5n\leq 5, while the cases n≥6n\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.

References

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.

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.