REVIEW 3 minor 8 references
The Hayman--Wu constant is $\pi^2$
T0 review · 0 major / 3 minor · reviewed 2026-08-27 · deepseek-v4-flash
Pith's one-line read The paper proves that the length of the preimage of any line under any conformal map from the disk to a proper simply connected domain is at most $\pi^2$, so the Hayman–Wu constant is exactly $\pi^2$.
desk verdict Settles a 40-year-old constant with a genuinely new lemma; the proof is intricate but looks sound and deserves a careful referee. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the contact-selector lemma (Lemma 2.1). For a univalent map $F:\mathbb{H}\to\mathbb{D}$ and a finite union of intervals $E\subset\mathbb{R}$ that selects exactly one point from each reflected pair $\{x,-x\}$ and on which $|F|=1$, the lemma bounds the vertical length $\int_0^\infty |F'(iy)|\,dy$ by $(\pi/2)\int_E |F'(x)|\,dx$. The proof factors $F=BQ$ with a Blaschke factor $B$ and a zero-free factor $Q=e^{ih}$, represents $h$ by a Herglotz integral, and uses the selector property to show the representing measure has no mass on $E$, so $h'(x)\ge 0$ there. An elementary selector estimate $\int_E dx/(x-t)^2 \ge 1/|t|$ converts the Herglotz integral into the desired $\pi/2$ factor.
What would settle it
A numerical search over one-zero Blaschke factors and symmetric selectors could test the contact-selector lemma directly: if for some $F$ and $E$ the ratio $\int_0^\infty |F'(iy)|\,dy\,/\,\int_E |F'(x)|\,dx$ exceeded $\pi/2$, the lemma, and with it the theorem, would be false. More globally, an explicit simply connected domain, conformal map, and line with preimage length strictly greater than $\pi^2$ would refute Theorem 1.1.
Extended reading notes
Core claim
The central claim is Theorem 1.1: for any simply connected proper domain $\Omega\subsetneq\mathbb{C}$ and any conformal map $\varphi:\mathbb{D}\to\Omega$, the one-dimensional Hausdorff measure of $\varphi^{-1}(L\cap\Omega)$ never exceeds $\pi^2$, for any line $L$. Together with previously known lower examples whose lengths approach $\pi^2$, this gives $C_{\mathrm{HW}}=\pi^2$ for the Hayman–Wu constant. The upper bound is not a refinement of earlier finite estimates but a direct sharp argument: after reducing to an analytic Jordan domain and reflecting the domain across the real axis, each component of the overlap contributes a length controlled by $(\pi/2)$ times the length of a selected boundary set, and the selected boundary sets are disjoint on the unit circle, so their total length is at most $2\pi$.
Load-bearing premise
The proof depends on being able to choose, for each reflected pair of boundary arcs, the arc belonging to the original boundary in such a way that the phase of the conformal map has nonnegative derivative there; if any selector failed that positivity, the $\pi^2$ bound would collapse.
Editorial extensions
If this is right
- The Hayman–Wu constant is now known exactly: $C_{\mathrm{HW}}=\pi^2$, so no universal bound below $\pi^2$ can hold and no example can exceed it.
- Every simply connected proper domain and every line satisfy the same universal bound $\pi^2$, independent of the domain's geometry.
- The contact-selector lemma is a sharp standalone estimate: its constant $\pi/2$ cannot be reduced, as the one-zero Blaschke example in the paper shows.
- Because the proof reduces any line to the real axis by a Euclidean motion, the $\pi^2$ bound covers all orientations of lines.
Reading between the lines
- A similar summed-selector strategy might determine sharp constants for preimages of circles or other curves, provided a symmetric selector and a matching positivity step hold.
- The extremal mechanism points toward one-zero Blaschke products as the only route to the constant; testing whether finite-degree Blaschke products approach the sharp example smoothly could reveal how stable the bound is.
- A numerical scan over simple domains with oscillatory boundaries could check whether lengths stay visibly below $\pi^2$ before the sharp examples are approached, giving a practical sense of how hard the bound is to reach.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves Theorem 1.1: for every conformal map φ from the unit disk onto a proper simply connected domain Ω and every line L, the Hausdorff length of φ^{-1}(Ω∩L) is at most π². Together with Øyma's earlier lower-bound examples, this yields the Hayman–Wu constant C_HW = π². The proof follows the reflected-domain reduction of Øyma in the form presented by Garnett and Marshall, and the new input is a contact-selector estimate (Lemma 2.1) that bounds the length of F(iR+) by (π/2) times the length of a selected boundary set for a univalent map F from the upper half-plane into the disk. The paper is self-contained apart from standard external theorems and Øyma's lower-bound construction.
Significance. If correct, this is a major result: it identifies the sharp constant in the Hayman–Wu theorem, improving the previously known upper bounds (4π and <4π) to the exact value π². The proof is elementary in the best sense: it uses standard tools (Herglotz representation, Schwarz reflection, Carathéodory's theorem) and explicit, checkable inequalities. The contact-selector lemma is a genuine new technique, and Remark 2.2 verifies that the local constant π/2 is sharp. The paper has no fitted parameters, invents no auxiliary objects beyond the standard reflected components and selectors, and does not rely on the author's own prior results. I found no circularity or load-bearing gap.
minor comments (3)
- [Section 3, Eq. (18)] The symmetry relation is printed as G_k(-z)=G_k(z), but as written this would force G_k to be real-valued on H, which is impossible for a conformal map onto a non-real symmetric Jordan domain. The intended identity is G_k(-\bar z)=\overline{G_k(z)} (equivalently G_k(-x)=\overline{G_k(x)} for real x). This is a typographical issue and does not affect the argument, since the proof only uses the reflection property of boundary points.
- [Section 4] The line 'Applying (20) to f_r gives H^1(f(Ω_r∩R))≤rπ²' suppresses the rescaling step. Strictly, applying (20) to f_r gives H^1(f_r(Ω_r∩R))≤π², and since f_r=f/r, this becomes H^1(f(Ω_r∩R))≤rπ². The displayed statement is correct, but a brief parenthetical explanation would improve readability.
- [Section 2, proof of (10)] The sentence 'the smaller one integrates over x>0 to 1/t' is concise; for t>0 the smaller integrand is (x+t)^{-2}, and its integral over x>0 is 1/t. Writing this one-line computation would make the inequality easier to verify.
Circularity Check
No significant circularity: the proof of Theorem 1.1 is self-contained, with only standard textbook theorems and Oyma's independent lower-bound examples as external inputs.
full rationale
The paper's central claim is the upper bound H^1(phi^{-1}(L ∩ Omega)) <= pi^2, proved by reducing to analytic Jordan domains and then applying Lemma 2.1, the contact-selector estimate. Lemma 2.1 is proved from the Herglotz representation, Schwarz reflection, and elementary integral estimates; no parameter is fitted to the quantity being predicted, no entity is defined in terms of the conclusion, and the selector is constructed from the geometry of the reflected domain rather than from the target length. The proof of (10) uses the selector property (i), which is an assumption of the lemma and not an imported result. The passage from Lemma 2.1 to Theorem 1.1 uses only standard arclength formulas, disjointness of boundary arcs, continuity from below of Hausdorff measure, and the Carathéodory theorem. The conclusion C_HW = pi^2 combines this upper bound with Oyma's lower construction [7], which is an independent external result. The paper does not rely on the author's own prior work, and no cited result is invoked as a substitute for a proof of a step that is actually assumed. The only issues noted by a skeptical reading are typographical missing conjugate bars in the symmetry relation for G_k, which do not affect the derivation. Therefore no circular step, self-definitional reduction, or fitted-input-as-prediction is present.
Assumptions & free parameters
assumptions (5)
- standard math Herglotz representation for Pick functions (Duren [3], Chapter I): every function with positive imaginary part in the upper half-plane has the form c + alpha z + integral of the Poisson kernel against a positive measure.
- domain assumption Standard planar facts about reflected components V_k of U = Omega cap Omega*: each V_k is a Jordan domain symmetric about R, V_k cap R = L_k, and boundaries of distinct components meet in at most one point (Garnett and Marshall [4, pp. 23-25]).
- standard math Caratheodory's theorem on conformal maps of Jordan domains extends homeomorphically to the boundary.
- standard math Schwarz reflection principle for holomorphic maps across boundary arcs where the modulus is 1.
- standard math Continuity from below of Hausdorff measure for increasing Borel sets.
Cite this review
Pith. "Pith review of The Hayman--Wu constant is $\pi^2$." pith.science (2026). https://pith.science/paper/27SSWHBX
@misc{pith2026260812844,
author = {Pith},
title = {Pith review of: The Hayman--Wu constant is $\pi^2$},
year = {2026},
howpublished = {\url{https://pith.science/paper/27SSWHBX}},
note = {Machine review of arXiv:2608.12844}
}
abstract
We show that for every conformal map $\phi:\mathbb{D}\to\Omega\subsetneq\mathbb{C}$ from the unit disk onto a simply connected proper domain $\Omega$, the length of $\phi^{-1}(\Omega\cap L)$ is at most $\pi^2$ for every line $L$.
Reference graph
Works this paper leans on
-
[1]
Brown Flinn,Hyperbolic convexity and level sets of analytic functions, Indiana Univ
B. Brown Flinn,Hyperbolic convexity and level sets of analytic functions, Indiana Univ. Math. J.32(1983), no. 6, 831–841
1983
-
[2]
Crane,A note on the Hayman–Wu theorem, Comput
E. Crane,A note on the Hayman–Wu theorem, Comput. Methods Funct. Theory8(2008), no. 2, 615–624. 5
work page 2008
-
[3]
P. L. Duren,Theory ofHp Spaces, Pure and Applied Mathematics, vol. 38, Academic Press, New York, 1970
work page 1970
-
[4]
J. B. Garnett and D. E. Marshall,Harmonic Measure, New Mathematical Monographs, vol. 2, Cambridge University Press, Cambridge, 2005
work page 2005
-
[5]
W. K. Hayman and J. M. G. Wu,Level sets of univalent functions, Comment. Math. Helv.56 (1981), 366–403
1981
-
[6]
Øyma,Harmonic measure and conformal length, Proc
K. Øyma,Harmonic measure and conformal length, Proc. Amer. Math. Soc.115(1992), no. 3, 687–689
1992
-
[7]
Øyma,The Hayman–Wu constant, Proc
K. Øyma,The Hayman–Wu constant, Proc. Amer. Math. Soc.119(1993), no. 1, 337–338
1993
-
[8]
Rohde,On the theorem of Hayman and Wu, Proc
S. Rohde,On the theorem of Hayman and Wu, Proc. Amer. Math. Soc.130(2002), no. 2, 387–394. 6
work page 2002
Reviewed August 27, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.