Root-Transform Bounds Do Not Force Logarithmic Coefficient Bounds
Manuscript 26 October 2026 · Online 26 October 2026
Abstract
We construct a bounded normalized univalent function whose logarithmic coefficients are not O(1/n), although every pth root transform satisfies the coefficient estimate O(n^(2/p-1)). This gives a negative answer to the converse question recorded as Hayman-Lingham Problem 6.84 (UnsolvedMath AMR-022-6084). The normalized logarithm of the same function is Holder continuous of every order below one on the closed disk; consequently every root transform has coefficients O(n^(-1+eta)) for every eta>0. Starting from the classical existence of arbitrarily large weighted logarithmic coefficients, the proof inserts dilated seeds by high-order root transforms and normalized composition. A congruence filter transfers selected coefficients while a summable diagonal budget preserves earlier coefficients and gives boundary regularity. This is an analytic existence construction using a credited classical seed theorem. The four-page English manuscript includes the complete proof and supporting exact rational checks. AI-assisted, self-audited preprint; no independent peer review, formal verification or exhaustive priority certification is claimed.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Complete counterexample
- Categories
- math.CV · math.CA
- Manuscript
- 26 October 2026
- Online release
- 26 October 2026
- Version
- 1.0
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
Citation
Alper Ferudun, “Root-Transform Bounds Do Not Force Logarithmic Coefficient Bounds,” EulerSolve Research Papers, AMR-022-6084, 2026. https://doi.org/10.5281/zenodo.23655569.
BibTeX
@misc{ferudun2026rootconverse,
author = {Ferudun, Alper},
title = {Root-Transform Bounds Do Not Force Logarithmic Coefficient Bounds},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/amr-022-6084/},
doi = {10.5281/zenodo.23655569},
note = {AMR-022-6084; unrefereed preprint}
}