REVIEW 2 major objections 5 minor 14 references
Thermodynamic Formalism for a Class of Hyperbolic Transcendental Meromorphic Functions
T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper proves that every hyperbolic transcendental meromorphic function in the BK-class has, for the geometric potential, exactly one conformal measure and exactly one equivalent invariant Gibbs state.
desk verdict First thermodynamic formalism for the BK-class, with a careful conformal measure construction but an openly admitted gap in the invariant Gibbs state section that needs fixing before the main theorem is credible. 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 transfer operator $\mathcal{L}_t\varphi(w)=\sum_{f(z)=w}\exp(\Phi_t(z))\varphi(z)$ with $\Phi_t(z)=t\log |f'(z)|_\tau^{-1}$ carries the argument: it converts the dynamical problem into one about bounded continuous functions on the Julia set. The $\tau$-norm $|f'(z)|_\tau=|f'(z)||z|^\tau/|f(z)|^\tau$ tames the potential near poles and infinity. Three control estimates keep the operator bounded: the expansion estimate (inequality (9)) giving exponential growth of $|(f^n)'(z)|$ along Julia orbits, the pole-growth estimate (inequality (8)) depending on the bounded multiplicity $M$, and the preimage-sum bound (estimate (1)) coming from finite Nevanlinna order. The normalized operator $e^{-P_t}\mathcal{L}_t$ has a fixed point $h$ obtained by equicontinuity and uniform boundedness, and $\mu_t=h\,m_t$ is the invariant Gibbs state.
What would settle it
Take a concrete BK-class hyperbolic map (for instance a trigonometric or elliptic meromorphic function with bounded pole multiplicities) and check numerically whether the ratio $|(f^n)'(z)|/(K^n(|f^n(z)|+1)/(|z|+1))$ stays bounded below by a positive constant uniformly in $n$ and in $z$ on the Julia set; a single backward orbit of a pole preimage where the ratio decays to zero falsifies inequality (9), and with it the boundedness of the transfer operator and Theorem 34. Alternatively, computing $\limsup_{n\to\infty}(1/n)\log \mathcal{L}_t^n\mathbf{1}(w)$ at two different Julia points and finding different values would falsify Proposition 24 and the constancy of the pressure.
Extended reading notes
Core claim
The central result, Theorem 34, asserts that for $f$ in the BK-class with pole multiplicities at most $M$ and Nevanlinna order $\rho$, the geometric potential $\Phi_t(z)=t\log |f'(z)|_\tau^{-1}$ admits exactly one $e^{P_t}e^{-\Phi_t}$-conformal measure $m_t$ and exactly one invariant Gibbs state $\mu_t$ equivalent to $m_t$. The Gibbs state is built as $\mu_t=h\,dm_t$, where $h$ is a fixed point of the normalized transfer operator $e^{-P_t}\mathcal{L}_t$; the conformal measure is produced by showing that the weighted measures $\nu_s$ built from $\sum b_n e^{-ns}\mathcal{L}_t^n\delta_{w_0}$ are tight, then extracting a weak limit as $s$ approaches the pressure. Uniqueness is forced by a covering argument comparing any two conformal measures and showing their conformal constants must equal $e^{P_t}$, which also yields ergodicity and support on the radial Julia set.
Load-bearing premise
The load-bearing premise is the expansion estimate (inequality (9)): on the Julia set of a hyperbolic B-class map the derivative of the $n$-th iterate grows exponentially, $|(f^n)'(z)|>cK^n(|f^n(z)|+1)/(|z|+1)$, and this is imported from [RS99] rather than proved for the BK-class; if it fails, the transfer operator need not be bounded and the whole construction of conformal measure and Gibbs state collapses.
Editorial extensions
If this is right
- For every admissible $t$, there is exactly one conformal measure $m_t$ with Jacobian $e^{P_t}e^{-\Phi_t}$ on the Julia set.
- There is exactly one invariant Gibbs state $\mu_t$, equivalent to $m_t$, with density bounded above and below on compact parts of the Julia set.
- Both $m_t$ and $\mu_t$ are ergodic, and their total mass is concentrated on the radial Julia set, where the orbit has bounded limit points.
- The pressure $P_t$ is a genuine limit: $P_t=\lim_{n\to\infty}(1/n)\log \mathcal{L}_t^n\mathbf{1}(w)$, independent of $w\in J(f)$.
- The escaping set $I(f)$ has zero measure for every such conformal measure, which is what lets the support sit on the radial Julia set.
Reading between the lines
- If the construction is as robust as it appears, the same transfer-operator framework should yield a Bowen-type identity: the Hausdorff dimension of the radial Julia set is the zero of the pressure function $P(t)$; the paper does not state this, but its setup is exactly the one needed to prove it.
- The parameter range $1<\tau<1+1/M$ and $t>\rho/(\tau-1)$ suggests the theory extends to multifractal spectra for Birkhoff averages of $\log |f'|_\tau$, following the pattern for finite-order meromorphic maps.
- A concrete numerical test of the paper's claims: iterate the normalized transfer operator on the constant function for a specific BK map and check that the sequence converges to a fixed point $h$ with the predicted decay $h(w)\le c_t|w|^{-(1+1/M-\tau)t}$; this would corroborate Lemma 27 and the construction of $\mu_t$.
- The proof's reliance on inequality (9) means that a self-contained version of the theorem would require an independent verification of the expansion estimate for the BK subclass; if such a verification succeeded, Theorem 34 would become independent of the imported estimate.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops thermodynamic formalism for the class of hyperbolic transcendental meromorphic functions in the Bergweiler-Kotus (BK) class: Eremenko-Lyubich class, finite Nevanlinna order, infinity not an asymptotic value, and poles of bounded multiplicity. For the geometric potential Φ_t(z)=t log |f'(z)|^{-1}_τ with 1<τ<1+1/M and t>ρ/(τ-1), the author constructs a conformal measure m_t via the transfer operator and tightness, then defines a candidate invariant Gibbs state μ_t = h dm_t using a fixed point of the normalized transfer operator, and finally proves uniqueness and ergodicity. The main theorem (Theorem 34) asserts existence and uniqueness of the conformal measure and of the invariant Gibbs state equivalent to it, with support on the radial Julia set.
Significance. If the result holds, it extends thermodynamic formalism to a natural class of transcendental meromorphic functions with poles of bounded multiplicity, a direction suggested by Urbański and linked to the Bergweiler-Kotus dimension estimates. The paper's construction of the conformal measure is systematic: it proves boundedness of the transfer operator using the Rippon-Stallard expansion estimate and Borel's theorem, establishes tightness of the approximating measures, and obtains the conformal measure by a Prokhorov limit. The use of the normalized transfer operator and Cesàro averages to obtain a fixed point is standard and carefully executed. The main weaknesses are two load-bearing gaps: the f-invariance of the Gibbs state is delegated to external theorems under an expanding condition that the author admits is absent, and the Besicovitch covering step in the uniqueness proof lacks a uniform bound on the radii. These issues are fixable in principle, but they are not merely cosmetic.
major comments (2)
- [§5, p. 13-14, after Lemma 24] The construction of the f-invariant Gibbs state is not self-contained. The paper states that the argument in [URM23, p. 451, 453] is 'under the expanding condition of f which we do not have it', but then asserts that 'the proofs of what we require ... go through with some modifications' without providing those modifications. This is load-bearing for Proposition 25 and Theorem 34(b). In particular, the paper does not verify the eigenmeasure/Jacobian condition listed as item (2) on page 14, namely that E_{m_t} = L̂_t a.e., nor does it justify the interchange of the countable sum over inverse branches with integration when proving f-invariance of μ_t = h dm_t. In the non-expanding setting, the contributions of inverse branches accumulating at poles require additional estimates that are not supplied. The author should either give a complete proof of f-invariance or explicitly prove the needed propositions from [URM23] under the BK-class hypotheses.
- [§6, Proposition 32, p. 17-18] The use of the Besicovitch covering theorem is not fully justified. The cover {D(z,r_z)}_{z∈O} is said to be a Besicovitch cover with r_z = δ/4 |(f^{n_k})'(z)|^{-1}, where n_k is chosen from Lemma 31 with n_k > ε^{-1}. However, the radii r_z are not shown to be uniformly bounded over the (generally unbounded) set O, and the choice of n_k may depend on z. The Besicovitch theorem as cited in [DiB02, p. 103] requires a uniform bound on the radii; without it, the bounded-overlap conclusion used to obtain the constant C does not follow. This affects the proof that c = e^{P_t} and that all conformal measures are equivalent, which are essential for the uniqueness claim in Theorem 34(a) and the ergodicity statement. The proof should either establish a uniform upper bound on r_z or use a truncation argument, e.g., restrict to B'∩D(0,R) and use the tail estimate from Lemma 20, to make the cover admissible.
minor comments (5)
- [§3, Lemma 16, proof] In the proof of Lemma 16, the reference to 'lemma 16' should be to Lemma 15, since the inequality used is the one established in Lemma 15 for the difference of L^n_t 1 at nearby points.
- [§5, Lemma 23] The passage from the uniform tail bound for ν_s in Lemma 20 to the same bound for the weak limit m_t is not explicit. Since m_t is obtained as a weak limit of ν_s, the portmanteau theorem gives this transfer, but the paper should state it.
- [§5, Lemma 26] The definition of the Cesàro averages contains a notational error: h_n(w) is written as (1/m)∑_{k=1}^m L̂^n_t 1(w), but the index n is not used. It should be h_m(w) = (1/m)∑_{k=1}^m L̂^k_t 1(w).
- [Throughout] The manuscript has many typographical and formatting issues, including missing spaces (e.g., in the abstract) and garbled formulas. A careful proofreading pass is needed before the paper is publishable.
- [§2, Eq. (9)] The paper relies on the Rippon-Stallard expansion estimate (9) from [RS99] without reproducing its statement or hypotheses. Since the BK-class is a subclass of the hyperbolic B-class for which the estimate is proved, this reliance is acceptable, but a remark explicitly noting the applicability of (9) to the BK-class would improve clarity.
Circularity Check
No circularity: the conformal measure and Gibbs state are constructed from the transfer operator and independent external theorems; the admitted [URM23] adaptation is an omitted proof, not a circular reduction.
full rationale
The paper's central derivation is not circular. The pressure P_t is defined independently of the target measures (Definition 17, Proposition 24) as the growth rate of L_t^n 1, and the conformal measure m_t is produced in Proposition 21 by a Patterson-Sullivan/Prokhorov limiting argument from the transfer operator, not by postulating the conclusion. Uniqueness in Proposition 32 compares an arbitrary conformal measure with m_t and derives c=e^{P_t} from the a priori estimates in Lemmas 29-31, not from normalisation. The invariant Gibbs state is constructed as mu_t = h dm_t from a fixed point h of the normalized transfer operator (Lemma 26), and the Gibbs property then follows from Koebe distortion and the conformal measure identity. The external inputs - Rippon-Stallard expansion (9), Borel's theorem (1), Koebe distortion, Prokhorov's theorem, Besicovitch covering - are cited to works not authored by this paper's author, and none is equivalent to the theorem being proved. The one passage that deserves attention is Section 5's admitted gap: 'We emphasize that the argument in [URM23, p. 451, 453] is under the expanding condition of f which we do not have it. However, one can easily check that the proofs of what we require from [URM23, p. 451, 453] go through with some modifications.' This is load-bearing for Proposition 25 and Theorem 34(b), and the promised modifications are not supplied, so it is a real completeness/correctness risk. But it is not a circular step: [URM23] is an independent textbook, the paper does not fit a parameter and call it a prediction, and no equation reduces to itself by definition.
Assumptions & free parameters
assumptions (8)
- standard math Borel's theorem: for a meromorphic function of finite order ρ, the series Σ_{f(z)=w, z≠0} 1/|z|^u converges uniformly in w for u>ρ (estimate (1)).
- domain assumption Rippon-Stallard estimate: for a hyperbolic B-class meromorphic function, |(f^n)'(z)| > c K^n (|f^n(z)|+1)/(|z|+1) on the Julia set (inequality (9)).
- standard math Koebe's distortion theorem: used in Lemma 11 to compare the derivative of inverse branches at nearby points.
- standard math Prokhorov's theorem: compactness of tight families of probability measures, used in Proposition 21 to extract the conformal measure.
- standard math Besicovitch covering theorem: used in Proposition 32 to compare two conformal measures via a bounded subcover.
- standard math Arzela-Ascoli theorem: used in Lemma 26 to obtain a limiting fixed point of the normalized transfer operator.
- ad hoc to paper The URM23 theorems (13.4.1, 13.4.2, 13.5.2) on constructing and identifying invariant measures remain valid for BK-class after 'some modifications', as asserted in Section 5.
- domain assumption Blow-up property of the Julia set with uniform N (J(f)∩D(0,R) ⊂ f^N(D(w,δ)) for all w in that set) holds for BK-class; cited to [MU10, p.18].
Cite this review
Pith. "Pith review of Thermodynamic Formalism for a Class of Hyperbolic Transcendental Meromorphic Functions." pith.science (2026). https://pith.science/paper/JHKIPZCB
@misc{pith2026250606760,
author = {Pith},
title = {Pith review of: Thermodynamic Formalism for a Class of Hyperbolic Transcendental Meromorphic Functions},
year = {2026},
howpublished = {\url{https://pith.science/paper/JHKIPZCB}},
note = {Machine review of arXiv:2506.06760}
}
read the original abstract
This paper studies the thermodynamic formalism in the context of complex dynamics. We establish the thermodynamics formalism for the class of hyperbolic transcendental meromorphic functions of B-class, where the poles have bounded multiplicities, the Nevanlinna order is finite, and infinity is not an asymptotic value. We showed the existence and uniqueness of the conformal measure and the invariant Gibbs measure equivalent to the conformal measure.
Reference graph
Works this paper leans on
-
[1]
Thermodynamic formalism and applications to dimension theory , volume 294 of Progress in Mathematics
Luis Barreira. Thermodynamic formalism and applications to dimension theory , volume 294 of Progress in Mathematics . Birkh\"auser/Springer Basel AG, Basel, 2011. https://doi.org/10.1007/978-3-0348-0206-2 doi:10.1007/978-3-0348-0206-2
-
[2]
On the H ausdorff dimension of the escaping set of certain meromorphic functions
Walter Bergweiler and Janina Kotus. On the H ausdorff dimension of the escaping set of certain meromorphic functions. Trans. Amer. Math. Soc. , 364(10):5369--5394, 2012. https://doi.org/10.1090/S0002-9947-2012-05514-0 doi:10.1090/S0002-9947-2012-05514-0
-
[3]
V. I. Bogachev. Measure theory. V ol. I , II . Springer-Verlag, Berlin, 2007. https://doi.org/10.1007/978-3-540-34514-5 doi:10.1007/978-3-540-34514-5
-
[4]
auser Advanced Texts: Basler Lehrb\
Emmanuele DiBenedetto. Real analysis . Birkh\"auser Advanced Texts: Basler Lehrb\"ucher. [Birkh\"auser Advanced Texts: Basel Textbooks]. Birkh\"auser Boston, Inc., Boston, MA, 2002. https://doi.org/10.1007/978-1-4612-0117-5 doi:10.1007/978-1-4612-0117-5
-
[5]
P. Dom\'inguez. Dynamics of transcendental meromorphic functions. Ann. Acad. Sci. Fenn. Math. , 23(1):225--250, 1998
work page 1998
-
[6]
Manfred Denker and Bernd O. Stratmann. The P atterson measure: classics, variations and applications. In Contributions in analytic and algebraic number theory , volume 9 of Springer Proc. Math. , pages 171--195. Springer, New York, 2012. URL: https://doi.org/10.1007/978-1-4614-1219-9_7, https://doi.org/10.1007/978-1-4614-1219-9\_7 doi:10.1007/978-1-4614-1219-9\_7
-
[7]
Janina Kotus and Mariusz Urba\'nski. Meromorphic dynamics. V ol. I . A bstract ergodic theory, geometry, graph directed M arkov systems, and conformal measures , volume 46 of New Mathematical Monographs . Cambridge University Press, Cambridge, 2023
work page 2023
-
[8]
Janina Kotus and Mariusz Urba\'nski. Meromorphic dynamics. V ol. II . E lliptic functions with an introduction to the dynamics of meromorphic functions , volume 47 of New Mathematical Monographs . Cambridge University Press, Cambridge, 2023
work page 2023
Show all 14 references
-
[9]
Thermodynamical formalism and multifractal analysis for meromorphic functions of finite order
Volker Mayer and Mariusz Urba\'nski. Thermodynamical formalism and multifractal analysis for meromorphic functions of finite order. Mem. Amer. Math. Soc. , 203(954):vi+107, 2010. https://doi.org/10.1090/S0065-9266-09-00577-8 doi:10.1090/S0065-9266-09-00577-8
2010 doi
-
[10]
S. J. Patterson. The limit set of a F uchsian group. Acta Math. , 136(3-4):241--273, 1976. https://doi.org/10.1007/BF02392046 doi:10.1007/BF02392046
1976 doi
-
[11]
P. J. Rippon and G. M. Stallard. Iteration of a class of hyperbolic meromorphic functions. Proc. Amer. Math. Soc. , 127(11):3251--3258, 1999. https://doi.org/10.1090/S0002-9939-99-04942-4 doi:10.1090/S0002-9939-99-04942-4
1999 doi
-
[12]
The density at infinity of a discrete group of hyperbolic motions
Dennis Sullivan. The density at infinity of a discrete group of hyperbolic motions. Inst. Hautes \' E tudes Sci. Publ. Math. , 1(50):171--202, 1979. URL: http://www.numdam.org/item?id=PMIHES_1979__50__171_0
1979
-
[13]
On B orel's directions of meromorphic functions of finite order
Masatsugu Tsuji. On B orel's directions of meromorphic functions of finite order. I . Tohoku Math. J. (2) , 2:97--112, 1950. https://doi.org/10.2748/tmj/1178245639 doi:10.2748/tmj/1178245639
1950
-
[14]
Volume 1-3 [Set Non-Invertible Dynamical Systems, Vol 1-3]
Mariusz Urbański, Mario Roy, and Sara Munday. Volume 1-3 [Set Non-Invertible Dynamical Systems, Vol 1-3] . De Gruyter, 2023
2023
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.