A century-old shortcut in complex analysis may fail
- What it is
- A paper claims a counterexample to a century-old expectation about how complex functions behave in a half-plane.
- Who did it
- Yixin He and Teng Zhang
- What it could mean
- Three reassuring clues may tell you surprisingly little about a function’s hidden behavior. This claimed counterexample would overturn a century-old expectation about controlling complex functions—forcing the rules to be rewritten.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
A counterexample to Nevanlinna's century-old half-plane problem ↗See the proposed checks
Reconstruct the stated meromorphic function from the TeX source; independently verify the three-value preimage condition and the failure of bounded type in the upper half-plane; obtain specialist review of the Nevanlinna-class criterion used.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- The authors construct a nonconstant meromorphic function on the complex plane whose preimages of 0, 1, and infinity lie on the real axis, while its restriction to the upper half-plane is not in the Nevanlinna class; this is presented as a counterexample to Nevanlinna's half-plane problem.
- Why this could matter
- A century-old shortcut in complex analysis may fail A century-old expectation said that a complex function avoiding three values in half a plane must behave in a controlled way there. This construction says no, forcing analysts to rethink which geometric clues actually guarantee tame growth.
- If it holds up
- Foundational: it removes a trusted shortcut in complex analysis and launches the search for stronger conditions that really control meromorphic functions in a half-plane.
- If it does not
- The century-old principle survives; the construction would teach precisely where its claimed preimage or growth property breaks.
- Impact horizon
- Foundational · Complex analysis · Function theory · Mathematical foundations
- Version
- v1, submitted 2026-08-25 17:10:32 UTC; 13 pages.
- Why we tracked it
- A newly posted claimed counterexample to a long-standing complex-analysis question is compact enough for a source-lock and construction-level examination.
- Highest-risk dependency
- Whether the construction simultaneously establishes the global preimage condition and the claimed non-membership in (N(H)), including any growth or boundary argument.
- Available artifacts
- None linked from the arXiv record.
- Current boundary
- Intake record only; examination not started.