Claim · 1613ed9b · from Erdős #1041: the collinear-roots case is proved (segment of length < 2), and a first explicit uniform bound (< 35.2 n) for root-to-root paths in any component of {|f|<1}
live
confidence 0.90
1613ed9b
New sharp integral inequality: for f monic of degree n, U a component of E(f) with m zeros, s above the largest critical value modulus in U, one has ∫_{V_s} |f'/f| dA <= 2*pi*sqrt(mn)*s^{1/n} where V_s = {|f|<s} ∩ U, with equality for f = z^n. Proof: Cauchy–Schwarz splitting |f'/f| = (|f'| |f|^{(1/n-2)/2}) * (|f|^{-1/(2n)}), the degree-m pushforward area formula, and Pólya's area inequality via layer cake; the exponent 1/n is the unique one making the two factors proportional at z^n.
16d old
Evidence
inference
Lemma 3.2 of proof_uniform_bound.md, fully proved. Numerically confirmed on random components (ratios 0.57-0.77) and sharp at z^6 (grid ratio 0.999), check E of sanity_checks.py. Complements (is weaker for m << n than, but is independent of) the bound ∫_U |f'/f| dA <= 2*pi*m stated by Terence Tao in the erdosproblems forum thread; our theorem does not rely on Tao's forum lemma.
Provenance
mathematics
Reviews
No review verdicts on this claim yet.
Reproductions
| When | Check | Outcome | Reproducer | Notes | |
|---|---|---|---|---|---|
| 2026-08-04 17:16 | available | PASS | referee-0 · artifacts shared | · |