{"id":"ca0dc17a-c041-4bec-a12d-a1c125413c1b","arxiv_id":"1908.07845","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For any three numbers D_inf < D_1 <= D in [0,1], the authors construct a bounded fractal string whose zeta function has paramorphic barrier D_inf, meromorphic abscissa D_1, and absolute convergence abscissa D.","lead":"This mathematics paper constructs fractal strings whose zeta functions have prescribed lines of convergence and prescribed clouds of essential singularities. It gives explicit examples with three independently chosen levels of continuation, a step toward sharpening the theory of complex dimensions in fractal geometry.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Case (i) of Theorem 2.12 chooses all component dimensions D_k < D_1, so the constructed ζ_L has no essential singularities at D_1; D_mer(ζ_L) and D(ζ_L) equal sup D_k = D_2 < D_1, contradicting Eq. (2.1).","rationale":"Reading the paper in good faith, the intended mechanism is clear: choose infinitely many scaled infinite-order Cantor strings whose dimensions D_k decrease to D∞, so essential singularities accumulate on the line Re s = D∞. The prescribed values D_mer and D are supposed to come from the largest component dimension. But the proof deliberately sets D_2 < D_1, so the largest component dimension is strictly below D_1. Because each L∞ has positive Dirichlet coefficients and abscissa D_k, the disjoint union has abscissa sup D_k = D_2 and meromorphic-continuation abscissa D_2. Consequently the proof's object does not satisfy the theorem's Eq. (2.1) even in the core regime D∞ < D_1 = D < 1. The reader correctly identified the D = 1 endpoint and the Theorem 5.1 shift-property problem, but the Case (i) mismatch is more fundamental: it invalidates the central construction behind all cases. A minimal repair would start the decreasing sequence at D_1 when D_1 < 1, which suggests the generic case is salvageable; however, the theorem as written is not proven, and the D = 1 case still requires a different construction. Since the central claim is unsupported and the displayed construction fails for representative parameter values, the appropriate verdict is REJECT rather than CONDITIONAL.","tokens_in":20497,"tokens_out":16297,"duration_ms":175736,"concrete_test":"Recompute the construction with D∞ = 0, D_1 = D = 1/2, D_2 = 0.4, D_3 = 0.3, ... as explicitly allowed in Case (i). Using Eq. (4.6) and the positivity of the Dirichlet coefficients, compute D(ζ_L) = sup_k D_k = 0.4 and D_mer(ζ_L) = sup{Re s : s ∈ S∞} = 0.4 from Eq. (4.7), while D_par(ζ_L) = 0. If both abscissae equal 0.4 rather than 0.5, Eq. (2.1) is contradicted for this representative parameter choice.","verdict_should_be":"REJECT","load_bearing_attack":"In the proof of Theorem 2.12, Case (i), L is the disjoint union of L_k = 2^{-k}/L_k · L∞(m_k, a_k) with log_{1/a_k} m_k = D_k and D_2 < D_1. For each k, the infinite-order Cantor string L∞(m_k, a_k) has essential singularities only on the vertical line Re s = D_k, and its original positive-coefficient Dirichlet series has abscissa D_k. The disjoint union of positive Dirichlet series therefore has abscissa of absolute convergence sup_k D_k = D_2, and the largest real part among the essential singularities is likewise D_2; meromorphic continuation is blocked by these essential singularities, so D_mer(ζ_L) = D_2. Thus neither D(ζ_L) nor D_mer(ζ_L) equals the prescribed D_1. The assertion 'while D_1 is an essential singularity' is not supported by Eq. (4.7), where S∞ = ⋃_k (D_k + (2π/log(1/a_k)) iℤ) and D_1 is not a member. This breaks the central claim already in the generic range D∞ < D_1 = D < 1, not merely at the D = 1 endpoint. The D = 1 endpoint is a separate obstruction: since a_k = m_k^{-1/D_k} ∈ (0, 1/m_k) forces D_k < 1, the stated family cannot realize dimension 1. The appendix's Lemma 6.2, Case (c), also uses D_1 as if it were one of the component lines, consistent with the same indexing error.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":20833,"tokens_out":23466,"duration_ms":215304,"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":[{"comment":"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":"Section 4.1, proof of Theorem 2.12"},{"comment":"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.","section":"Section 5, proof of Theorem 5.1, Case (iii)"}],"minor_comments":[{"comment":"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":"Section 1.2, Eq. (1.2)"},{"comment":"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.","section":"Section 4.1, proof of Theorem 2.12"},{"comment":"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":"Abstract and Theorem 2.12"},{"comment":"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":"Section 6, Lemma 6.2, Case (b)"},{"comment":"The notation 'D_∞(ζ_{A_1})' appears to be a typo for 'Dpar(ζ_{A_1})' or 'D(ζ_{A_1})'; please correct it for clarity.","section":"Section 5, proof of Theorem 5.1"}],"recommendation":"major_revision","confidential_remarks":"The advertised full range of the main theorem and the distance-zeta theorem is not supported: Theorem 2.12 fails at D=1, and Theorem 5.1's proof misapplies the shift property and omits integer dimensions. However, the core construction for D<1 appears sound and is worth preserving. I would encourage the authors to restrict the statements to the range they can prove and to supply a correct treatment of the distance-zeta case before resubmission."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper has a genuinely useful new formalism, but the proof of the main theorem, Theorem 2.12, has a load-bearing indexing error. In Case (i), the authors choose a decreasing sequence D_k (k≥2) with D_2 < D_1, and set the essential-singularity lines at Re s = D_k. Equation (4.7) then implies no point on {Re s = D_1} is in S∞. So the assertion two lines later that 'D_1 is an essential singularity' is not supported; in fact it's false. Since all essential singularities have real part ≤ D_2, both D_mer(ζ_L) and D(ζ_L) equal D_2 (assuming the positive Dirichlet series have abscissa sup D_k). The theorem's conclusion D_mer = D_1 and D = D_1 fails already in the generic case D∞ < D_1 = D < 1, not just at the D=1 endpoint.\n\nThe D=1 endpoint is a separate, real gap: the condition a_k ∈ (0,1/m_k) forces log_{1/a_k} m_k < 1, so the generalized Cantor string family cannot produce dimension exactly 1. The proof of Case (ii) needs a different string for D=1, but none is supplied. Theorem 5.1 inherits all of this and adds a possible misapplication of the shift property: for a grill A_L × [0,1]^{N-1}, the abscissae shift by N-1, so the argument in Case (iii) doesn't keep D∞ fixed for N_1 > 1.\n\nWhat is good: the infinite-order generalized Cantor string L∞(m,a) and the power-series formalism (Section 3.3) are clean and likely correct. The appendix's uniform convergence argument is credible for what it proves—paramorphicity on Re s > D∞. The idea of prescribing abscissae by summing scaled strings is the right instinct; the flaw is in the choice of the sequence, and it looks repairable by including a component of dimension D_1 (and a separate string for D=1).\n\nThis is not a crank paper. It deserves a serious referee, but the referee should demand a corrected proof of Theorem 2.12 before publication. I would not cite the main theorem as it stands; I might cite the infinite-order Cantor string construction if I needed it.\n\nBring it to reading group? Maybe, as a case study in how a small index shift can break a plausible construction.","headline":"The main construction doesn't realize what it claims: no essential singularity at D1, so Dmer and D collapse to sup Dk = D2.","tokens_in":21435,"tokens_out":7381,"would_cite":false,"duration_ms":65692,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11M41","28A80","28A12","30D30","30D05","28A75","42B20","40A10"],"pacs":[],"model":"deepseek-v4-flash","headline":"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…","keywords":["fractal zeta function","essential singularity","paramorphic continuation","generalized Cantor string","complex dimensions","distance zeta function","fractal string","abscissa of convergence"],"falsifier":"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.","tokens_in":20246,"feed_emoji":"📏","tokens_out":11963,"duration_ms":623550,"temperature":0.7,"pith_summary":"This paper establishes that the singular behaviour of a fractal zeta function can be programmed. For any three numbers $D_\\infty < D_1 \\le D$ in $[0,1]$, it constructs a bounded fractal string $\\mathcal L$ whose zeta function has abscissa of paramorphic continuation $D_\\infty$, abscissa of meromorphic continuation $D_1$, and abscissa of absolute convergence $D$; the vertical line $\\operatorname{Re} s = D_\\infty$ is exactly where essential singularities accumulate. This matters because it shows the three abscissae are independent degrees of freedom, and because essential singularities, not only poles, can serve as the complex dimensions of a fractal. The same construction is lifted to distance zeta functions of compact sets in $\\mathbb R^N$, with prescribed values in $[0,N)$.","feed_headline":"Essential singularities can be pinned to any prescribed vertical line","feed_subtitle":"Bounded fractal strings realize any three prescribed abscissae, with essential singularities piling up on a line.","key_machinery":"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$.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the definition of geometric zeta functions, the tensor and disjoint-union identities, and the original example of essential singularities that this paper generalizes.","marker":"[12]"},{"why":"Provides the complex-dimensions framework, the Cantor-string zeta computation, and the equality $D(\\zeta_{\\mathcal L}) = \\dim \\mathcal L$ used throughout.","marker":"[15]"},{"why":"Introduces distance zeta functions and the basic identities needed for the higher-dimensional extension in Theorem 5.1.","marker":"[11]"},{"why":"Contains the first construction of a fractal string whose zeta function has essential singularities, from which the generalized Cantor strings of infinite order are built.","marker":"[17]"},{"why":"Presents the infinite-order version of the construction whose zeta function is the series $\\sum (1 - m a^s)^{-n}/(n!)^s$.","marker":"[18]"},{"why":"Used in Case (iii) of Theorem 5.1 to justify that ambient-space dimension does not change the singularities of distance zeta functions.","marker":"[19]"},{"why":"Provides the Moran equation whose unique real solution gives the similarity dimension of the generalized Cantor strings.","marker":"[16]"}],"fun_headline_variants":["Fractal strings pin essential singularities to any vertical line","Three abscissae independently set by bounded fractal strings","Essential singularities wall up at a chosen line","Paramorphic barrier from scaled Cantor strings"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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$.","fun_headline_variants_meta":{"raw":{"variants":["Fractal strings pin essential singularities to any vertical line","Three abscissae independently set by bounded fractal strings","Essential singularities wall up at a chosen line","Paramorphic barrier from scaled Cantor strings"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000348,"raw_usage":{"total_tokens":1989,"prompt_tokens":1119,"completion_tokens":870,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":735,"completion_tokens_details":{"reasoning_tokens":807}},"tokens_in":735,"tokens_out":870,"duration_ms":155795,"temperature":1.0,"reasoning_tokens":807,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:55:20.419274+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the definition of geometric zeta functions, the tensor and disjoint-union identities, and the original example of essential singularities that this paper generalizes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the complex-dimensions framework, the Cantor-string zeta computation, and the equality $D(\\zeta_{\\mathcal L}) = \\dim \\mathcal L$ used throughout."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces distance zeta functions and the basic identities needed for the higher-dimensional extension in Theorem 5.1."},{"cited_title":"Fractality and Lapidus zeta functions at infinity","cited_arxiv_id":"1510.06449","evidence_quote":"Presents the infinite-order version of the construction whose zeta function is the series $\\sum (1 - m a^s)^{-n}/(n!)^s$."},{"cited_title":"Resman, Invariance of the normalized Minkowski cont ent with respect to the ambient space, Chaos, Solitons & Fractals 57 (2013), 123–128","cited_arxiv_id":null,"evidence_quote":"Used in Case (iii) of Theorem 5.1 to justify that ambient-space dimension does not change the singularities of distance zeta functions."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the Moran equation whose unique real solution gives the similarity dimension of the generalized Cantor strings."}],"review_version":1}