A Comparison Test for Meromorphic Extensions
Pith reviewed 2026-05-16 15:56 UTC · model grok-4.3
The pith
If two series are close enough then the meromorphic extension of one to the complex plane transfers to the other.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that there exists a precise notion of closeness between two series such that meromorphic extendability to the complex plane is preserved under that closeness. The test is used to generate new examples of Dirichlet series admitting meromorphic extensions. Optimality is demonstrated by constructing collections of counterexamples in which the series are close but not close enough, with one series possessing a meromorphic extension while the other has a natural boundary.
What carries the argument
The comparison test, which transfers the meromorphic extension property from one series to a sufficiently close second series.
If this is right
- Known meromorphic extensions for certain Dirichlet series immediately yield extensions for all sufficiently close series.
- New examples of Dirichlet series with meromorphic extensions can be produced by perturbing classical cases within the allowed closeness range.
- The closeness threshold is sharp, because the counterexamples show that a modestly larger difference permits one series to have a natural boundary while the other extends.
- The test supplies a way to establish meromorphic extendability without repeating the full analytic-continuation argument for each new series.
Where Pith is reading between the lines
- The result suggests that small perturbations of series known to extend, such as those related to the zeta function, will also extend provided the perturbation stays inside the bound.
- Questions about the precise location of poles or the density of natural boundaries may become accessible by comparing a target series to one whose extension is already understood.
- The same comparison idea could be tested on other classes of series or on multi-variable analogues where natural boundaries are also common.
Load-bearing premise
The series must obey specific quantitative bounds on their difference together with growth or coefficient conditions that make the closeness sufficient for the transfer to hold.
What would settle it
An explicit pair of series whose difference meets the paper's closeness bound yet one admits a meromorphic extension to the plane while the other does not would disprove the comparison test.
read the original abstract
We provide a comparison test for meromorphic extensions, i.e., if two series are ``close enough" then the existence of a meromorphic extension of one to the entire complex plane ensures a similar extension for the other. We use this result to generate new examples of Dirichlet series admitting meromorphic extensions. Moreover, we demonstrate that our requirements are optimal by constructing a collection of counterexamples where the series are ``close but not enough": one series admits a meromorphic extension while the other possesses a natural boundary.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes a comparison test for meromorphic extensions: if two series satisfy a precise quantitative closeness condition, then meromorphic extendability of one to the full complex plane transfers to the other. The test is applied to produce new examples of Dirichlet series with meromorphic extensions, and optimality is shown by explicit counterexamples in which the series are close but not sufficiently so, resulting in a natural boundary for one series.
Significance. If the central comparison theorem holds with the stated quantitative conditions, the result supplies a direct, parameter-free mechanism for transferring meromorphic continuations between nearby series. This is particularly useful for Dirichlet series, where the paper both enlarges the known class of meromorphically extendable examples and supplies matching counterexamples that demonstrate sharpness. The approach avoids self-referential definitions and appears independent of fitted parameters.
major comments (2)
- [§2] §2 (Main Theorem): the precise quantitative meaning of 'close enough' (including all constants, growth restrictions, and coefficient bounds) must be stated explicitly in the theorem statement itself rather than deferred to later lemmas, so that the transfer of meromorphic extendability can be verified directly from the hypothesis.
- [§4] §4 (Optimality counterexamples): the explicit series used to exhibit a natural boundary when closeness fails should include a short verification that the radius of convergence or singularity set is indeed the unit circle (or the claimed natural boundary), to confirm that the failure is not an artifact of an incomplete analytic continuation argument.
minor comments (2)
- [Abstract] Abstract: the phrase 'the condition is made precise' could be replaced by a one-sentence indication of the type of closeness (e.g., coefficient-wise or growth-rate) to orient readers immediately.
- [Introduction] Notation: ensure that the symbols for the two series (e.g., f and g) and the closeness parameter are introduced once in the introduction and used consistently; avoid redefining them in each section.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We address each major comment below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: [§2] §2 (Main Theorem): the precise quantitative meaning of 'close enough' (including all constants, growth restrictions, and coefficient bounds) must be stated explicitly in the theorem statement itself rather than deferred to later lemmas, so that the transfer of meromorphic extendability can be verified directly from the hypothesis.
Authors: We agree with this observation. In the revised version, the statement of the main theorem in §2 will be expanded to include the full quantitative conditions explicitly: the precise notion of closeness (with all constants), the growth restrictions on the coefficients, and the relevant bounds. This will make the transfer of meromorphic extendability verifiable directly from the theorem hypothesis without reference to subsequent lemmas. revision: yes
-
Referee: [§4] §4 (Optimality counterexamples): the explicit series used to exhibit a natural boundary when closeness fails should include a short verification that the radius of convergence or singularity set is indeed the unit circle (or the claimed natural boundary), to confirm that the failure is not an artifact of an incomplete analytic continuation argument.
Authors: We will incorporate a short, self-contained verification in §4 for each explicit counterexample series. This will confirm that the radius of convergence is exactly 1 and that the unit circle is indeed the natural boundary, by direct appeal to the known singularity structure or density of singularities on the circle, thereby ruling out any possibility of an incomplete continuation. revision: yes
Circularity Check
No significant circularity detected
full rationale
The paper establishes a comparison test for meromorphic extendability of series by defining a quantitative closeness condition between two series and proving that extendability transfers under that condition. This is supported by explicit constructions of new Dirichlet series examples and by counterexamples demonstrating optimality when the closeness threshold is violated. No step reduces by definition to its own inputs, no fitted parameters are relabeled as predictions, and no load-bearing premise depends on self-citation chains or imported uniqueness results. The derivation remains self-contained against the stated assumptions and external counterexamples.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard theorems on meromorphic continuation and natural boundaries in complex analysis.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.