arxiv: 2604.06136 · v1 · submitted 2026-04-07 · 🧮 math.CV

Recognition: 3 theorem links

· Lean Theorem

When a meromorphic function that omits three values has a bounded type

Aleksei Kulikov, Alexandre Eremenko, Mikhail Sodin

Pith reviewed 2026-05-10 18:12 UTC · model grok-4.3

classification 🧮 math.CV

keywords meromorphic functionsbounded typeNevanlinna theoryvalue omitting functionshalf-plane domainslogarithmic integralscomplex analysis

0 comments

The pith

Meromorphic functions omitting three values are of bounded type in H(-m) precisely when the logarithmic integral of m converges.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that for functions meromorphic in a domain that is the upper half-plane shifted downward by a varying amount m(x) along the real axis, omitting three distinct values forces the function to be of bounded type if a certain integral involving log m converges. Bounded type means the function is a ratio of two holomorphic functions that are bounded in the upper half-plane. This provides a partial answer to a long-standing question of Nevanlinna on the properties of such value-omitting meromorphic functions. The result has two parts: a positive statement when the integral converges and a construction showing unbounded type is possible when it diverges.

Core claim

Suppose that a function F is meromorphic in the domain H(-m) = {z : Im z > -m(Re z)}, where m is an even, positive, continuous function that does not increase on the non-negative reals, and suppose that F omits there three distinct values. Then F is of bounded type in the upper half-plane provided that the logarithmic integral of the function m is convergent. On the other hand, if the logarithmic integral of m diverges, there exists a function F meromorphic in H(-m), that omits there three distinct values, and which is of unbounded type in the upper half-plane.

What carries the argument

The domain H(-m) whose lower boundary is determined by the function m, combined with the condition on the convergence of the logarithmic integral that controls whether value-omitting meromorphic functions must be bounded type.

If this is right

If the logarithmic integral converges, every three-value-omitting meromorphic function in the domain can be expressed as a quotient of two bounded analytic functions in the upper half-plane.
This criterion applies to any such m satisfying the given regularity conditions.
When the integral diverges, explicit constructions yield meromorphic functions omitting three values but not of bounded type.
The result motivates further study of Nevanlinna's question in these domains.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

If similar conditions hold for other types of domains, the same integral test might classify bounded type functions.
Constructions for the divergent case might be adaptable to show unbounded type in slightly different settings.
This could connect to value distribution theory for functions with restricted growth.

Load-bearing premise

That m is even, positive, continuous and non-increasing on the non-negative reals, making the domain symmetric and the logarithmic integral the deciding factor for bounded type.

What would settle it

A counterexample where the logarithmic integral converges but a meromorphic function omitting three values in H(-m) is not of bounded type, or where the integral diverges but all such functions are bounded type.

read the original abstract

Suppose that a function $F$ is meromorphic in the domain $\mathbb H(-m) = \{ z : \mathrm{Im}\, z > -m(\mathrm{Re}\, z) \}$, where $m$ is an even, positive, and continuous function that does not increase on $\mathbb R_{\ge 0}$, and suppose that $F$ omits there three distinct values. Then $F$ is of bounded type in the upper half-plane (i.e., is represented there as a quotient of two bounded analytic functions), provided that the logarithmic integral of the function $m$ is convergent. On the other hand, if the logarithmic integral of $m$ diverges, there exists a function $F$ meromorphic in $\mathbb H(-m)$, that omits there three distinct values, and which is of unbounded type in the upper half-plane. This result is motivated by a century old question originating with Rolf Nevanlinna, which remains unsettled.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives a sharp if-and-only-if criterion: three-omitted-value meromorphic functions in H(-m) are bounded type in the half-plane precisely when the log integral of m converges, with a counterexample when it diverges.

read the letter

The main takeaway is that Eremenko, Kulikov, and Sodin close a specific case of Nevanlinna's old question with a clean dichotomy. If the logarithmic integral of m converges, any meromorphic F omitting three values in H(-m) must be bounded type when restricted to the upper half-plane. If the integral diverges, they construct an example that omits three values but fails to be bounded type. This is the first time the threshold has been pinned exactly to this integral test for these domains.

Referee Report

0 major / 3 minor

Summary. The manuscript proves an if-and-only-if characterization for meromorphic functions omitting three distinct values in the perturbed half-plane domain H(-m) = {z : Im z > -m(Re z)}, where m is even, positive, continuous, and non-increasing on [0, ∞). Convergence of the logarithmic integral of m implies that any such F is of bounded type (quotient of two bounded analytic functions) in the upper half-plane; divergence permits an explicit construction of an unbounded-type example. The result is motivated by and partially resolves a classical open question of Nevanlinna.

Significance. If the central claims hold, the paper supplies a sharp, geometrically natural criterion linking domain perturbation to the bounded-type property under three-value omission. The explicit counterexample when the integral diverges demonstrates necessity and strengthens the result beyond one-sided implications common in the literature. The work directly engages a century-old problem with a clean dichotomy, which is a notable strength.

minor comments (3)

The precise definition of the logarithmic integral (e.g., whether it is ∫_1^∞ (log m(t))/t dt or a variant) should be stated explicitly in the introduction or §2, as it is central to both directions of the theorem.
In the counterexample construction (presumably §4), verify that the constructed F remains meromorphic in the entire domain H(-m) and omits exactly three values without accidental poles or omissions near the boundary perturbation.
Notation for the upper half-plane restriction and the bounded-type representation should be unified between the abstract and the main theorems to avoid minor ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the accurate summary of its main results, and the recommendation for minor revision. We address the report below.

Circularity Check

0 steps flagged

No significant circularity; theorem and counterexample are self-contained

full rationale

The paper states a clean dichotomy theorem: convergence of the logarithmic integral of m forces any three-value-omitting meromorphic F in H(-m) to be of bounded type in the upper half-plane, while divergence permits an explicit unbounded-type example. The hypotheses on m (even, positive, continuous, non-increasing on [0,∞)) and the domain definition are stated explicitly without reference to fitted parameters, self-definitional relations, or load-bearing self-citations. No equations appear that reduce a claimed prediction or uniqueness result to the input data by construction. The derivation is motivated by the classical Nevanlinna question but proceeds via independent geometric comparison and construction, making the central claim self-contained against external benchmarks in value-distribution theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the standard definition of meromorphic functions, the geometry of the domain H(-m), and classical results from Nevanlinna theory on value omission. No free parameters, new entities, or ad-hoc axioms are visible in the abstract.

axioms (2)

standard math Meromorphic functions are holomorphic except at isolated poles.
Basic definition invoked throughout complex analysis.
domain assumption The domain H(-m) admits the usual notions of bounded analytic functions and Nevanlinna characteristic.
Required for the bounded-type conclusion to make sense.

pith-pipeline@v0.9.0 · 5476 in / 1402 out tokens · 53608 ms · 2026-05-10T18:12:51.296751+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
Theorem 1(a): if ∫ log⁻ m(t)/t² dt < ∞ then any meromorphic F in H(−m) omitting three values is of bounded type in H (via ρ_F bounds and S_o(r,F)=O(1))
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Use of elliptic modular function λ (analytic in H, omits 0,1; λ(τ)→0 as Imτ→∞) to construct unbounded-type example when integral diverges
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
Kellogg theorem application to tame m yielding |w′(z)|≃1 and dist bounds

Reference graph

Works this paper leans on

10 extracted references

[1]

L. V. Ahlfors, Complex analysis. Third Edition. McGraw–Hill, 1979

1979
[2]

N. I. Akhiezer, Elements of the Theory of Elliptic functions. American Mathematical Society, Providence, RI, 1990

1990
[3]

Edrei, Meromorphic Functions with Three Radially Distributed Values

A. Edrei, Meromorphic Functions with Three Radially Distributed Values. Trans. Amer. Math. Soc.78(1955), 276–293

1955
[4]

J. B. Garnett, D. E. Marshall, Harmonic Measure. Cambridge University Press, 2005

2005
[5]

A. A. Gol’dberg, I. V. Ostrovskii, Value distribution of meromorphic functions. With an appendix by A. Eremenko and J. K. Langley. American Mathematical Society, Providence, RI, 2008

2008
[6]

A. A. Gol’dberg, Nevanlinna’s lemma on the logarithmic derivative of a meromorphic function. Mat. Notes17(1975), 310–312

1975
[7]

G. H. Hardy, E. M. Wright, An Introduction to the Theory of Numbers. Sixth Edition. Oxford University Press, 2008

2008
[8]

Lehto, K

O. Lehto, K. Virtanen, Boundary behaviour and normal meromorphic functions. Acta Math.97(1957), 47–65

1957
[9]

Nevanlinna, ¨Uber die Eigenschaften Mermomorphen Funtionen in Einem Winkel- raum

R. Nevanlinna, ¨Uber die Eigenschaften Mermomorphen Funtionen in Einem Winkel- raum. Acta Soc. Sci. Fenn.L, No 12 (1925), 1–45

1925
[10]

Nevanlinna, Eindeutige analytische Funktionen

R. Nevanlinna, Eindeutige analytische Funktionen. Zweite Auflage. Springer-Verlag, Berlin-New York, 1974. Alexandre Eremenko, Mathematics Department, Purdue University, West Lafayette, IN 47907 USA,eremenko@purdue.edu Aleksei Kulikov, University of Copenhagen, Department of Mathematical Sciences, Univer- sitetsparken 5, 2100 Copenhagen, Denmark,ak@math.ku...

1974