Pith. sign in

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 →

arxiv 2506.06760 v1 pith:JHKIPZCB submitted 2025-06-07 math.DS math.CV

classification math.DSmath.CV MSC 37F1037F3530D3037A30
keywords thermodynamicformalismtranscendentalmeromorphicfunctionsconformalmeasureGibbsstateBK-classtransferoperatorJuliasethyperbolicdynamics
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that thermodynamic formalism works for a wide class of transcendental meromorphic maps, the BK-class: hyperbolic functions in the B-class with finite Nevanlinna order, infinity not an asymptotic value, and pole multiplicities bounded by a fixed $M$. For the geometric potential $\Phi_t(z)=t\log |f'(z)|_\tau^{-1}$ with $1<\tau<1+1/M$ and $t>\rho/(\tau-1)$, it constructs a unique $e^{P_t}e^{-\Phi_t}$-conformal probability measure $m_t$ and a unique $f$-invariant Gibbs state $\mu_t$ equivalent to $m_t$, both ergodic and supported on the radial Julia set. A reader should care because this provides the equilibrium-measure machinery, pressure function, and conformal densities for a class of maps where the construction was not previously available, opening the door to dimension and multifractal questions.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

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)
  1. [§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.
  2. [§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)
  1. [§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.
  2. [§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.
  3. [§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).
  4. [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.
  5. [§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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 8 assumptions · 0 invented entities

The paper introduces no fitted parameters or invented entities. It draws on standard theorems (Borel, Koebe, Prokhorov, Besicovitch, Arzela-Ascoli) and on external dynamical estimates (Rippon-Stallard). The main additional burden is an unproved assertion that URM23 invariant-measure arguments carry over to the non-expanding BK-class, and an unproved uniform blow-up property.

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)).
    Used in Proposition 10 and Lemma 19 to bound the transfer operator and tail measures; cited from [MU10] and [Tsu50].
  • 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)).
    External result from [RS99] that supplies the exponential expansion needed for Lemmas 5, 6, 9, 12, 19, and 29; the paper does not prove it for BK-class.
  • standard math Koebe's distortion theorem: used in Lemma 11 to compare the derivative of inverse branches at nearby points.
    Standard complex analysis input for the local Lipschitz properties of inverse branches.
  • standard math Prokhorov's theorem: compactness of tight families of probability measures, used in Proposition 21 to extract the conformal measure.
    Standard measure-theoretic input.
  • standard math Besicovitch covering theorem: used in Proposition 32 to compare two conformal measures via a bounded subcover.
    Standard geometric measure theory input.
  • standard math Arzela-Ascoli theorem: used in Lemma 26 to obtain a limiting fixed point of the normalized transfer operator.
    Standard functional analysis input.
  • 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.
    The paper explicitly says the cited proofs are under an expanding condition the author does not have, but claims the proofs go through with modifications without showing them; this is a load-bearing assumption for Proposition 25.
  • 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].
    Used in Lemma 16 to compare transfer iterates at points in a compact set; the uniform version is stronger than the usual blow-up property and is not proved.

how reviews work

0 comments
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.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

14 extracted references · 11 canonical work pages

  1. [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. [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. [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. [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. [5]

    Dom\'inguez

    P. Dom\'inguez. Dynamics of transcendental meromorphic functions. Ann. Acad. Sci. Fenn. Math. , 23(1):225--250, 1998

  6. [6]

    Stratmann

    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. [7]

    Meromorphic dynamics

    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

  8. [8]

    Meromorphic dynamics

    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

Show all 14 references
  1. [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

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.