{"id":"5fd4b468-d426-4e58-8d57-d4d131398682","arxiv_id":"2506.06760","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For hyperbolic transcendental meromorphic functions of the Bergweiler-Kotus class, the paper proves existence and uniqueness of the conformal measure and the invariant Gibbs measure for the geometric potential.","lead":"This paper proves that for a class of hyperbolic transcendental meromorphic functions, there is always a unique conformal measure and an invariant Gibbs measure for the geometric potential. The result extends thermodynamic formalism from statistical physics to a broad family of functions with infinitely many poles.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 5's f-invariant Gibbs-state construction rests on an unspecified and unproved modification of [URM23], admitted by the author to require an expanding condition that BK lacks; Proposition 25 and Theorem 34(b) are unsupported until the omitted steps are supplied.","rationale":"The reader's weakest_assumption targets the external Rippon-Stallard estimate (9). That estimate is indeed foundational, but it is a published theorem applicable to hyperbolic B-class functions, so the risk is somewhat lower. A more concrete internal gap is the Section 5 handwave: the author admits the cited [URM23] argument requires an expanding condition not available for BK, and promises 'modifications' that never appear. This gap directly threatens Proposition 25 and Theorem 34(b), which are central to the paper's claimed extension. The transfer-operator machinery, conformal-measure construction, and uniqueness arguments are mostly detailed and follow standard patterns, and the Rippon-Stallard and blow-up inputs are external but plausible for the intended class. Thus the concern is real but likely fixable: one would need to write out the modified proof of the invariance step using the paper's bounded-distortion estimates. Because this is a substantial but repairable omission, the original CONDITIONAL verdict remains appropriate; no change to the reader's verdict is warranted. The paper deserves credit for a detailed transfer-operator construction, but the unproved adaptation of [URM23] is the load-bearing weakness that should be settled before acceptance.","tokens_in":18969,"tokens_out":37032,"duration_ms":364976,"concrete_test":"Independently prove the f-invariance of mu_t = h dm_t for the BK class by writing out the change-of-variables computation from the fixed-point equation L_hat_t h = h and the conformality relation (L_hat_t)^* m_t = m_t, without invoking the expanding condition. Specifically, identify each step in [URM23, Thm 13.4.1] where expansion is used and either replace it with an inequality from Lemma 14 and the Rippon-Stallard estimate (9), or exhibit a counterexample for a hyperbolic BK function (e.g., f(z) = tan z) where that step fails. If the computation goes through using only local bounded distortion and quasi-invariance (Lemma 29(b,d)), the gap is closed; otherwise Proposition 25 is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After Lemma 24, the paper asserts that the argument in [URM23, p. 451, 453] is 'under the expanding condition of f which we do not have it,' but claims 'the proofs of what we require ... go through with some modifications' without providing them. This is load-bearing: Proposition 25 and Theorem 34(b) depend on constructing an f-invariant Gibbs measure mu_t = h dm_t. The standard route (e.g., [URM23, Thm 13.4.1]) requires, in addition to (L_hat_t)^* m_t = m_t and L_hat_t h = h, a Jacobian/eigenmeasure condition (item (2) on p. 14), which the paper says is 'deducted from propositions 13.4.2 & 13.5.2' but does not prove in the non-expanding setting. To establish f-invariance one must verify that for every bounded continuous φ, the integral of φ against mu_t equals the integral of φ∘f, using the countable preimage sum. Lemma 14 gives only local bounded distortion on balls of radius δ; it does not by itself provide a global pointwise Jacobian identity covering all inverse branches, especially those accumulating at poles. If the omitted 'modifications' need uniform expansion to control these sums, the construction of mu_t is incomplete. The author explicitly signals the gap, yet the promised adaptation is absent, so the central existence claim for the Gibbs state is not fully supported as written.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":19256,"tokens_out":24766,"duration_ms":217773,"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":[{"comment":"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.","section":"§5, p. 13-14, after Lemma 24"},{"comment":"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.","section":"§6, Proposition 32, p. 17-18"}],"minor_comments":[{"comment":"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.","section":"§3, Lemma 16, proof"},{"comment":"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.","section":"§5, Lemma 23"},{"comment":"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).","section":"§5, Lemma 26"},{"comment":"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.","section":"Throughout"},{"comment":"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.","section":"§2, Eq. (9)"}],"recommendation":"major_revision","confidential_remarks":"The paper is suitable in scope for a dynamical systems journal. The central idea is promising, and the construction of the conformal measure is largely sound. The main obstacle is the missing adaptation of the URM23 machinery to the non-expanding setting; this is not a minor omission because it underlies the existence of the invariant Gibbs state. The Besicovitch covering issue in Proposition 32 is also substantive but likely fixable with a standard truncation argument using the tail estimate. I recommend major revision rather than rejection, because the remaining work appears to be within the scope of a revision, and the results would be a valuable addition to the literature if the gaps are closed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing to know: this is the first thermodynamic formalism for the Bergweiler–Kotus class of hyperbolic transcendental meromorphic functions (bounded pole multiplicities, finite Nevanlinna order, infinity not an asymptotic value). That class is genuinely new territory, and the paper's main construction of the conformal measure is careful and mostly convincing. But the second half, the invariant Gibbs state, has a load-bearing hole that the author himself flags and then waves away with 'one can easily check.' That is the part a referee must press on.\n\nWhat is new and good: the estimates specific to the BK-class, especially Lemma 6 exploiting the pole structure to get the right decay in the preimage series, and the boundedness of the transfer operator via Borel's theorem. The conformal measure itself (Proposition 21) is built by a standard tightness argument, with the tails controlled by Lemma 19, and that part is solid. Lemma 26, the fixed point of the normalized transfer operator via Arzela–Ascoli, is also fine. The uniqueness argument using Besicovitch covers and Lemma 30 (escaping set has measure zero) is plausible and well motivated.\n\nThe soft spot is Section 5. After proving the conformal measure, the paper needs an f-invariant measure mu_t = h dm_t. It cites [URM23, pp. 451, 453], then admits that those arguments use the expanding condition, which BK-class does not have, and says the proofs 'go through with some modifications.' No modifications are shown. The two conditions listed on p. 14 are asserted, not verified; in particular the Jacobian/eigenmeasure condition that makes mu_t invariant is just delegated to a proposition in [URM23]. This is not a cosmetic omission: without it, Theorem 34(b) is unsupported. It may well be fixable using the bounded distortion from Lemma 14 and the pullback formula in Lemma 29(d), but as written the paper does not supply the argument.\n\nMinor issues: Definition 1 requires all poles have multiplicity at most M, while Theorem 34 says 'except possibly finitely many'—the statements disagree. Lemma 16 cites a blow-up property from MU10 and the proof has a typo ('use lemma 16' should be 'use lemma 15'), but the argument is salvageable.\n\nWho this is for: complex dynamicists working on thermodynamic formalism for transcendental meromorphic functions. It deserves a serious referee, not a desk reject, but the referee should be told to focus on Section 5 and to require the missing non-expanding argument before accepting the main theorem. If the gap closes, this is a useful contribution; right now it is a conditional accept.","headline":"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.","tokens_in":19780,"tokens_out":3850,"would_cite":false,"duration_ms":39016,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37F10","37F35","30D30","37A30"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["thermodynamic formalism","transcendental meromorphic functions","conformal measure","Gibbs state","BK-class","transfer operator","Julia set","hyperbolic dynamics"],"falsifier":"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.","tokens_in":18694,"feed_emoji":"🌀","tokens_out":12710,"duration_ms":102417,"temperature":0.7,"pith_summary":"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.","feed_headline":"BK-class maps get one conformal measure and one Gibbs state","feed_subtitle":"For the geometric potential, a hyperbolic BK-class map has one ergodic conformal measure and one invariant Gibbs state.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the expansion estimate (9) giving exponential growth of iterated derivatives on the Julia set; used in Lemmas 5, 6, 12, and 29.","marker":"[RS99]"},{"why":"Defines the pole structure of the BK-class and supplies the pole-growth estimate (8) with bounded multiplicity M used in Lemma 6 and Proposition 10.","marker":"[BK12]"},{"why":"Provides the general thermodynamic-formalism framework, transfer operator, pressure, and conformal measure construction that the paper adapts to the BK-class.","marker":"[MU10]"},{"why":"Source for the preimage-series summability theorem behind the uniform bound (1) used to prove boundedness of the transfer operator.","marker":"[Tsu50]"},{"why":"Supplies the compactness theorem used in Proposition 21 to extract the conformal measure as a weak limit of the tight measures.","marker":"[Bog07]"},{"why":"Supplies the covering theorem used in Proposition 32 to compare any two conformal measures and force uniqueness.","marker":"[DiB02]"},{"why":"Gives the weighted-series construction with coefficients b_n and the distortion estimates used to build the measures and control inverse branches.","marker":"[KU23a]"},{"why":"Supplies the steps converting a conformal measure and a fixed point of the normalized transfer operator into an invariant measure, used for Proposition 25 and Lemma 29.","marker":"[URM23]"}],"fun_headline_variants":["BK-class maps: one conformal measure and one Gibbs state","Unique conformal measure and Gibbs state for BK-class maps","Hyperbolic BK-class admits a single conformal measure and Gibbs state","Exactly one conformal measure and one Gibbs state for BK-class","BK-class: unique conformal measure and Gibbs state"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["BK-class maps: one conformal measure and one Gibbs state","Unique conformal measure and Gibbs state for BK-class maps","Hyperbolic BK-class admits a single conformal measure and Gibbs state","Exactly one conformal measure and one Gibbs state for BK-class","BK-class: unique conformal measure and Gibbs state"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000836,"raw_usage":{"total_tokens":3587,"prompt_tokens":823,"completion_tokens":2764,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":439,"completion_tokens_details":{"reasoning_tokens":2680}},"tokens_in":439,"tokens_out":2764,"duration_ms":19121,"temperature":1.0,"reasoning_tokens":2680,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T05:50:37.683050+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}