AMR-022-6084 · Complete counterexample

Root-Transform Bounds Do Not Force Logarithmic Coefficient Bounds

Manuscript 26 October 2026 · Online 26 October 2026

math.CVmath.CAUnrefereed preprint

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
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}
}

More research papers

Show all 443 other papers

All 444 research papers →