REVIEW 2 major objections 5 minor 21 references
Essential singularities of fractal zeta functions
T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For any three prescribed numbers $D_\infty < D_1 \le D$ in $[0,1]$, the paper constructs a bounded fractal string whose geometric zeta function has exactly those three abscissae and has essential singularities accumulating on the vertical…
desk verdict The main construction doesn't realize what it claims: no essential singularity at D1, so Dmer and D collapse to sup Dk = D2. 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 central object is the generalized Cantor string of infinite order, $\mathcal L_{(m,a)}^\infty = \bigsqcup_{n=1}^\infty (n!)^{-1} \mathcal L_{(m,a)}^{\otimes n}$, where $\mathcal L_{(m,a)}$ has $m$ equal gaps of length $a$ with $ma < 1$. Its geometric zeta function is $\zeta(s) = \sum_{n\ge 1} (1 - m a^s)^{-n} / (n!)^s$, which has essential singularities exactly at the arithmetic progression $\log_{1/a} m + \frac{2\pi}{\log(1/a)} i \mathbb Z$ and no other isolated singularities. The main construction strings one such object after another, scaling each by $2^{-k}/\mathcal L_k$ so the total length is $1$, and choosing parameters so the progressions $D_k + \frac{2\pi}{\log(1/a_k)} i \mathbb Z$ have periods tending to zero; the Weierstrass $M$-test argument in the appendix shows the infinite sum is holomorphic away from the union of these progressions, so the accumulation set is exactly the vertical line $\operatorname{Re} s = D_\infty$.
What would settle it
Attempt the construction for $D_\infty = 0$, $D_1 = 1/2$, and $D = 1$: the proof of Case (ii) of Theorem 2.12 requires a generalized Cantor string of dimension $1$, but no such string exists within the stated parameters $m \ge 2$, $a \in (0,1/m)$, because $\log_{1/a} m < 1$ always. An explicit bounded fractal string realizing this boundary case would confirm the full range $[0,1]$; failure would show that the interval in the theorem is too optimistic.
Extended reading notes
Core claim
On its own terms, the central discovery is that a bounded fractal string can be built so that its geometric zeta function has no poles in the right half-plane beyond a prescribed line, yet cannot be meromorphically continued past that line: the line $\operatorname{Re} s = D_\infty$ is a paramorphic barrier, and it is the accumulation set of infinitely many isolated essential singularities located in the strip $D_\infty < \operatorname{Re} s < D_1$. The three abscissae $D_{\rm par}(\zeta_{\mathcal L})$, $D_{\rm mer}(\zeta_{\mathcal L})$, and $D(\zeta_{\mathcal L}) = \dim \mathcal L$ are prescribed independently, subject only to $D_\infty < D_1 \le D$. The proof achieves this by taking a disjoint union of scaled generalized Cantor strings of infinite order, one for each approximating dimension $D_k \downarrow D_\infty$; each contributes an arithmetic progression of essential singularities whose oscillatory period tends to zero, so the progressions merge into a dense wall. The construction also yields real-valued paraharmonic functions with the same singularity pattern, and it carries over to distance zeta functions of compact subsets of Euclidean space.
Load-bearing premise
The construction's load-bearing premise is that every prescribed dimension $D < 1$ can be realized as $\log_{1/a} m$ with an integer $m \ge 2$ and $a \in (0,1/m)$, a condition that always gives values strictly below $1$ and therefore leaves $D = 1$ outside the proof when $D_1 < D$.
Editorial extensions
If this is right
- Given any $D_\infty < D_1 \le D$ in $[0,1]$, one can explicitly write down a bounded fractal string with $D_{\rm par} = D_\infty$, $D_{\rm mer} = D_1$, and $\dim \mathcal L = D$.
- Essential singularities, not only poles, must be counted among the complex dimensions of fractal strings; paramorphic continuation replaces meromorphic continuation as the natural framework in such cases.
- The vertical strip $D_\infty < \operatorname{Re} s < D_1$ contains infinitely many isolated essential singularities, accumulating densely along $\operatorname{Re} s = D_\infty$, giving the first systematic construction of such a paramorphic barrier.
- For compact sets in $\mathbb R^N$, the same prescribed triple of abscissae can be realized by distance zeta functions, with values restricted to $[0,N)$.
- The construction gives explicit paraharmonic functions, namely real parts of these zeta functions, with prescribed essential-singularity walls in the plane.
Reading between the lines
- The boundary case $D=1$ with $D_1 < D$ is left open by the generalized-Cantor-string construction, since $\log_{1/a} m < 1$ whenever $m \ge 2$ and $a \in (0,1/m)$; a separate family of strings whose Minkowski dimension reaches exactly $1$ would be needed to complete the theorem.
- If paramorphic zeta functions with suitable growth admit fractal tube formulas, essential singularities would contribute to the tube asymptotics just as poles do; the paper poses this as a question rather than proving it.
- By varying the approximating sequence $(D_k, a_k)$, the same disjoint-union scheme could produce accumulation sets other than straight vertical lines, such as curves, but only lines are considered here.
- A natural next target is to realize the prescribed abscissae for higher-dimensional sets directly, without passing through one-dimensional fractal strings and fractal grills.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces the notion of paramorphic continuation for geometric zeta functions of bounded fractal strings and studies essential singularities that accumulate along a prescribed vertical line. The main construction takes disjoint unions of scaled generalized Cantor strings of infinite order and claims, in Theorem 2.12, to realize any triple of prescribed abscissae D_par, D_mer, and D with D_∞ < D_1 ≤ D in [0,1]. The paper also extends the construction to distance zeta functions of compact sets in R^N in Theorem 5.1. The appendix supplies a uniform-convergence argument showing that the constructed zeta function is paramorphic on the desired half-plane.
Significance. The underlying idea is novel and the core construction is explicit and, for 0 ≤ D_∞ < D_1 ≤ D < 1, largely credible: the appendix gives a genuine uniform-convergence proof, and the abscissae are obtained without fitting or circularity. If the endpoint and dimensional-range issues are repaired, the paper would make a useful contribution to the theory of fractal zeta functions and complex dimensions. The distance-zeta extension is potentially interesting, but the proof as written does not establish the claimed range.
major comments (2)
- [Section 4.1, proof of Theorem 2.12] The case D=1 is not covered by the construction. In Case (i), if D_1=D=1, then a_1=m_1^{-1/D_1}=1/m_1, which contradicts the standing condition a_1∈(0,1/m_1) required in Eq. (3.12); consequently L(m_1,a_1)_∞ in Eq. (4.1) is not a bounded fractal string, since the total length in Eq. (3.14) diverges when m_1a_1=1. In Case (ii), the added string L(m',a') must satisfy D=log_{1/a'}m'=1, which forces m'a'=1 and is again outside the admissible range a'∈(0,1/m'). Thus Theorem 2.12 and the abstract's claim for D∈[0,1] are false as stated; the proof supports only 0≤D_∞<D_1≤D<1. Corollary 4.3 already restricts to D<1, which is consistent with this gap.
- [Section 5, proof of Theorem 5.1, Case (iii)] The construction does not establish the claimed range D_∞,D_1,D∈[0,N). First, A_1:=A_L×[0,1]^{N_1} is treated as if it had the same abscissae as L, but Lemma 5.2 shows that ζ_{A_L×[0,1]^{N-1}} is expressed in terms of ζ_L(s-N+1); hence the singularities and all abscissae are shifted by N_1 when N_1≥1. Since N_1 is chosen strictly larger than D_∞, the assertion Dpar(ζ_{A_1})=D_∞ would require the underlying L to have negative abscissa, which is impossible for a bounded fractal string. The subsequent embedding A''=A_1×{0}^{N-1-N_1} does not remove this shift, so the construction does not realize the prescribed D_∞. Second, the sets B and C are specified by log_{1/a_1}m_1 = D_1 - floor(D_1) and log_{1/a}m = D - floor(D); when either difference is 0, no admissible pair (m,a) with m≥2 and a∈(0,1/m) exists, so integer values of the abscissae are also not covered. Thus Theorem 5.1 is not proved as stated.
minor comments (5)
- [Section 1.2, Eq. (1.2)] The tensor product is written as (ℓ_{1j}ℓ_{2j})_{j,k∈N}; the second factor should use the index k, i.e., (ℓ_{1j}ℓ_{2k})_{j,k∈N}. The same typo appears in the surrounding sentence.
- [Section 4.1, proof of Theorem 2.12] The sequence is introduced as (D_k)_{k≥2}, but a_k is then defined for all k≥1 and S_∞ in Eq. (4.7) is indexed over k∈N. Please clarify that D_1 is the prescribed abscissa and that the decreasing sequence includes it as its first term.
- [Abstract and Theorem 2.12] The phrase 'set of accumulation points ... contained in the open right half-plane {Re s>D_∞} coincide with the vertical line {Re s=D_∞}' is confusing when D_∞=0, since the accumulation line is then the boundary rather than a subset of the open half-plane; rephrase to say that the essential singularities lie in the open half-plane and accumulate on its boundary.
- [Section 6, Lemma 6.2, Case (b)] Case (b) assumes k_0≥2; the case of a disk intersecting the first exceptional line {Re s=D_1} is omitted. It can be handled by the same argument as Case (a) or Case (c), but as written it is not covered by the case split.
- [Section 5, proof of Theorem 5.1] The notation 'D_∞(ζ_{A_1})' appears to be a typo for 'Dpar(ζ_{A_1})' or 'D(ζ_{A_1})'; please correct it for clarity.
Circularity Check
No material circularity: the construction is self-contained; a distinct correctness gap in the proof of Theorem 2.12 is noted but is not a circularity.
full rationale
The paper's central claim is derived by explicit construction rather than by fitting or by assuming the conclusion. The prescribed numbers D_inf, D_1, D enter as inputs, and the proof defines a concrete sequence of fractal strings L_k and verifies the zeta-function identities from the definition of the geometric zeta function. The cited multiplicative property of zeta functions under tensor products is elementary and is independently stated with a verification in Section 1.2; it is not a disguised version of the theorem being proved. The unique paramorphic continuation principle is proved in the paper as Theorem 2.9, not imported solely by citation. The earlier construction from [12, Example 3.3.7] is generalized, and the needed analytic estimates are proved in the appendix (Lemma 6.2 and Theorem 6.1). I also flag, for completeness rather than circularity, a correctness gap in the proof of Theorem 2.12, Case (i): the assertion that 'D1 is an essential singularity' is not supported by Eq. (4.7), since S_infinity is the union of lines D_k + (2pi/log(1/a_k)) i Z with D_k < D_1; similarly, Case (ii) does not cover D = 1. These are mathematical gaps, not instances of the paper reducing a prediction to its own inputs, so the circularity score remains 0.
Assumptions & free parameters
assumptions (5)
- domain assumption Algebraic properties of geometric zeta functions: ζ_{cL}(s)=c^s ζ_L(s), ζ_{L1⊗L2}=ζ_{L1}ζ_{L2}, ζ_{L1⊔L2}=ζ_{L1}+ζ_{L2}.
- domain assumption For an infinite bounded fractal string L, D(ζ_L) equals the upper Minkowski dimension dim L.
- ad hoc to paper A generalized Cantor string L(m,a) with integer m >= 2 and a in (0,1/m) can realize every prescribed dimension D = log_{1/a} m in [0,1].
- domain assumption The shift property for distance zeta functions: ζ_{A_L×[0,1]^{N-1}}(s) = 2^{N-s}/(s-N+1) ζ_L(s-N+1) plus entire correction terms.
- standard math Standard results from complex analysis: analytic continuation, the Weierstrass M-test, and the classification of isolated singularities.
Cite this review
Pith. "Pith review of Essential singularities of fractal zeta functions." pith.science (2026). https://pith.science/paper/EVJVW5F6
@misc{pith2026190807845,
author = {Pith},
title = {Pith review of: Essential singularities of fractal zeta functions},
year = {2026},
howpublished = {\url{https://pith.science/paper/EVJVW5F6}},
note = {Machine review of arXiv:1908.07845}
}
abstract
We study the essential singularities of geometric zeta functions $\zeta_{\mathcal L}$, associated with bounded fractal strings $\mathcal L$. For any three prescribed real numbers $D_{\infty}$, $D_1$ and $D$ in $[0,1]$, such that $D_{\infty}<D_1\le D$, we construct a bounded fractal string $\mathcal L$ such that $D_{\rm par}(\zeta_{\mathcal L})=D_{\infty}$, $D_{\rm mer}(\zeta_{\mathcal L})=D_1$ and $D(\zeta_{\mathcal L})=D$. Here, $D(\zeta_{\mathcal L})$ is the abscissa of absolute convergence of $\zeta_{\mathcal L}$, $D_{\rm mer}(\zeta_{\mathcal L})$ is the abscissa of meromorphic continuation of $\zeta_{\mathcal L}$, while $D_{\rm par}(\zeta_{\mathcal L})$ is the infimum of all positive real numbers $\alpha$ such that $\zeta_{\mathcal L}$ is holomorphic in the open right half-plane $\{{\rm Re}\, s>\alpha\}$, except for possible isolated singularities in this half-plane. Defining $\mathcal L$ as the disjoint union of a sequence of suitable generalized Cantor strings, we show that the set of accumulation points of the set $S_{\infty}$ of essential singularities of $\zeta_{\mathcal L}$, contained in the open right half-plane $\{{\rm Re}\, s>D_{\infty}\}$, coincides with the vertical line $\{{\rm Re}\, s=D_{\infty}\}$. We extend this construction to the case of distance zeta functions $\zeta_A$ of compact sets $A$ in $\mathbb{R}^N$, for any positive integer $N$.
Figures
Reference graph
Works this paper leans on
-
[1]
L. V. Ahlfors, Complex Analysis , third edition, McGraw-Hill, New York, 1978
work page 1978
-
[2]
I. N. Baker, P. Dom ´ ınguez, M. E. Herring, Dynamics of fun ctions meromorphic out- side a small set, Ergodic Theory Dynam. Systems 21 (2001), no. 3, 647–672
work page 2001
-
[3]
Bolsch, Repulsive periodic points of meromorphic fun ctions, Complex Variables Theor
A. Bolsch, Repulsive periodic points of meromorphic fun ctions, Complex Variables Theor. Appl. 31 (1996), 75–79
work page 1996
-
[4]
Bolsch, Iteration of Meromorphic Functions with Countably Many Sin gularities, Ph
A. Bolsch, Iteration of Meromorphic Functions with Countably Many Sin gularities, Ph. D. Thesis, Technische Universit¨ at, Berlin, 1997
work page 1997
-
[5]
J. B. Conway, Functions of One Complex Variable I , second edition, Springer, New York, 1978
work page 1978
-
[6]
J. B. Conway, Functions of One Complex Variable II , Springer, New York, 1995
work page 1995
-
[7]
Dynamics of meromorphic functions outside a countable set of essential singularities
P. Dom ´ ınguez, M. A. Montes de Oca and G. Sienra, Dynamics of meromorphic func- tions outside a countable set of essential singularities, i n preparation, 2020. (Also: e-print, arXiv:1705.03960 [math.DS], 2017.)
work page Pith review arXiv 2020
-
[8]
W. Ebeling, Functions of Several Complex Variables and Their Singulari ties, Gradu- ate Studies in Mathematics, vol. 83, Amer. Math. Soc., Provi dence, R.I., 2007
work page 2007
Show all 21 references
-
[9]
K. J. Falconer, Fractal Geometry: Mathematical Foundations and Applications , third edition, John Wiley and Sons, Chichester, 2014
2014
-
[10]
M. L. Lapidus, An overview of complex fractal dimension s: From fractal strings to fractal drums, and back, in: Horizons of Fractal Geometry and Complex Dimen- sions (R. G. Niemeyer, E. P. J. Pearse, J. A. Rock and T. Samuel, eds. ), Con- temporary Mathematics, vol. 731, Amer....
2019 arXiv
-
[11]
M. L. Lapidus, G. Radunovi´ c and D. ˇZubrini´ c, Distance and tube zeta functions of fractals and arbitrary compact sets, Advances in Mathematics 307C, 2017, 1215–
2017
-
[12]
M. L. Lapidus, G. Radunovi´ c and D. ˇZubrini´ c,Fractal Zeta Functions and Fractal Drums: Higher-Dimensional Theory of Complex Dimensions , Springer Monographs in Mathematics, Springer, New York, 2017
2017
-
[13]
M. L. Lapidus, G. Radunovi´ c and D. ˇZubrini´ c, Fractal tube formulas for com- pact sets and relative fractal drums, Journal of Fractal Geometry 5 (2018), 1–119. doi.org/10.4171/JFG/57. (Also: arXiv:1604.08014v4 [math-ph] , 2017.)
2018 arXiv
-
[14]
M. L. Lapidus, G. Radunovi´ c and D. ˇZubrini´ c, Fractal zeta functions, scaling, and logarithmic gauge Minkowski measurability, in preparatio n, 2020
2020
-
[15]
M. L. Lapidus and M. van Frankenhuijsen, Fractal Geometry, Complex Dimensions and Zeta Functions : Geometry and Spectra of Fractal Strings , second revised and enlarged edition (of the 2006 edn.), Springer Monographs in Mathematics, Springer, New York, 2013
2006
-
[16]
P. A. P. Moran, Additive functions of intervals and Haus dorff measure, Math. Proc. Cambridge Philos. Soc. 42 (1946), 15–23
1946
-
[17]
Radunovi´ c, Fractal Analysis of Unbounded Sets in Euclidean Spaces and L apidus Zeta Functions, Ph
G. Radunovi´ c, Fractal Analysis of Unbounded Sets in Euclidean Spaces and L apidus Zeta Functions, Ph. D. Thesis, University of Zagreb, Croatia, 2015
2015
-
[18]
Radunovi´ c, Fractality and Lapidus zeta functions a t infinity, Mathematical Com- munications 21 (2016), 141–162
G. Radunovi´ c, Fractality and Lapidus zeta functions a t infinity, Mathematical Com- munications 21 (2016), 141–162. (Also: arXiv:1510.06449v2[math-ph], 2015.)
2016 arXiv
-
[19]
Resman, Invariance of the normalized Minkowski cont ent with respect to the ambient space, Chaos, Solitons & Fractals 57 (2013), 123–128
M. Resman, Invariance of the normalized Minkowski cont ent with respect to the ambient space, Chaos, Solitons & Fractals 57 (2013), 123–128
2013
-
[20]
Schlag, A Course in Complex Analysis and Riemann Surfaces , Graduate Studies in Mathematics, vol
W. Schlag, A Course in Complex Analysis and Riemann Surfaces , Graduate Studies in Mathematics, vol. 154, Amer. Math. Soc., Providence. R.I ., 2014. (M. L. Lapidus) University of California, Riverside, Department of Mathe- matics, 900 University A venue, Riverside, CA 92521-01...
2014
-
[1267]
(Also: e-p rint, arXiv:1506.03525v3 [math-ph], 2016; IHES preprint, IHES/M/15/15, 2015.)
dx.doi.org/10.1016/j.aim.2016.11.034. (Also: e-p rint, arXiv:1506.03525v3 [math-ph], 2016; IHES preprint, IHES/M/15/15, 2015.)
2016 arXiv
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.