{"id":"016de8af-6513-43d2-ac59-343fe8dae321","arxiv_id":"2507.21352","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A complete transseries expansion is derived for doubly Dirichlet-twisted Lambert series near q=1, with applications to quantum modularity and topological string spectral traces.","lead":"This paper computes the full asymptotic expansion, including exponentially small corrections, of certain number-theoretic Lambert series near the boundary of their convergence disk. The result connects known modular transformation laws to resurgent structures appearing in topological string theory and Feynman integrals.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"For generic complex s1,s2 the central transseries relies on the unproved exponentiation conjecture (3.40); only the imaginary part of the Stokes jump is derived, so the claimed exact complete transseries (3.46) is not established for the generic case.","rationale":"The reader's weakest assumption correctly identifies the unproved exponentiation conjecture for the Stokes phase in (3.40) as the load-bearing point of the generic transseries. The paper derives only the imaginary part of the Stokes jump from the Borel transform discontinuity; the real part of the non-perturbative amplitude, controlled by σ, is not fixed by that computation and is set by conjecture. The explicit admission that this has not been proved, together with the abstract's unqualified language, makes the generic claim conditional. The parity-restricted modular primitive cases in Section 4 are unaffected because the phase collapses to ±1 and the transseries follows from the proven Fricke involution on twisted Eisenstein series. I found no other concern of comparable weight: the repeated χr1 instead of χr2 in the Mellin-Barnes integrands (3.8)–(3.9) is a typo corrected in later formulas and does not affect the argument. The proposed alien-derivative computation is a concrete, analytic check that would settle whether (3.40) is exact; a multi-y numerical extraction of σ would provide supporting evidence but not a proof. Therefore the reader's CONDITIONAL verdict stands without change.","tokens_in":52925,"tokens_out":7316,"duration_ms":90527,"concrete_test":"Compute the alien derivative Δ_1 of the Borel transform B_{s1,s2,κ1,κ2}(t) at its branch point t=1, using the discontinuity formula (3.35), and check whether the associated Stokes automorphism exponentiates to exp(2πi Δ_1) with phase σ± = exp(∓i(s1+s2+κ1+κ2−1)π/2). If the exponentiation holds, (3.40) is promoted from a conjecture to a theorem; if it yields a different phase or |σ| ≠ 1, the generic transseries (3.46) is not exact. As a complementary numerical check, evaluate both sides of (3.41) for a new generic parameter set, e.g. s1=1/2, s2=1/3 with χ3,2 and χ5,4, at three distinct real y values, solve for σ, and test |σ|=1 and the predicted phase.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's main generic result, Eq. (3.46), is the complete transseries for Ξ_{s1,s2}(χr1,χr2;τ) with arbitrary s1,s2 ∈ C and primitive characters. The decisive step is the Stokes phase σ± = exp(∓ i(s1+s2+κ1+κ2−1)π/2) in (3.40). What is actually computed is the discontinuity of the directional Borel resummations, Eqs. (3.36)–(3.37), which fixes only the imaginary part of σ as ∓i sin(...), as stated in (3.39). The real part of σ — the amplitude of the genuine non-perturbative term S0[ΞNP] in (3.41) — is not determined by the discontinuity; the paper explicitly says 'We have not proved that the transseries parameter σ exponentiates in accordance with (3.40).' Thus, for generic parameters outside the terminating integer-parity cases of Section 4, the equality (3.41)/(3.46) rests on an unproved conjecture. The abstract's 'compute their exact resurgent transseries expansion' overstates the status. In the parity-restricted cases, the phase reduces to ±1 by (4.1) and the transseries follows from the Fricke involution on twisted Eisenstein series, so those results are unaffected.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the two-parameter double Lambert series Ξ_{s1,s2}(χr1,χr2;q) defined in (1.1) and proposes a complete transseries expansion as q→1−. For primitive characters and generic complex s1,s2 it claims (3.46), expressing the series as a lateral Borel resummation of the perturbative series plus a non-perturbative tower of Fricke-inverted series, with Stokes phase (3.40). For integer parameters satisfying the parity condition (3.19), the perturbative series terminates and the transseries is derived from the Fricke involution on twisted Eisenstein series in Section 4. The paper also treats imprimitive characters (3.52), presents many explicit modular primitives and eta quotients in Section 5, and connects the s=1 cases with quantum dilogarithms and topological-string spectral traces in Section 6.","tokens_in":53222,"tokens_out":8458,"duration_ms":101259,"significance":"If fully established, the generic transseries would be a substantial extension of the authors' earlier Lambert-series work [1] to arbitrary Dirichlet characters, giving a vector-valued quantum-modular structure with explicit non-perturbative terms and a modularity gap. The paper contains a large amount of explicit, checkable material: the parity-restricted transseries identity (4.2), the Fricke relations (4.8), the eta-quotient tables in Section 5, and the dilogarithm identities in Section 6. These proven cases are genuine and useful, and the detailed examples are a strength of the paper. The main caveat is that the generic claim is conditional on an unproved conjecture, so the paper's stated contribution needs to be reclassified and its abstract qualified.","major_comments":[{"comment":"The complete transseries for generic parameters is not proved. The computation of the Stokes discontinuity in (3.36)–(3.37) fixes only the coefficient of sin(...), i.e. the imaginary part of the Stokes constant, as the paper itself writes in (3.39). The real part, equivalently the amplitude of the non-perturbative term S0[ΞNP], is undetermined. Equation (3.40) is introduced as a conjecture, and the text explicitly states: 'We have not proved that the transseries parameter σ exponentiates in accordance with (3.40).' Since (3.41) and (3.46) are the central generic results, the abstract's 'exact resurgent transseries expansion' overstates the proven content. The authors should either prove (3.40) or state the generic theorem as conditional on a named conjecture.","section":"§3.1, Eqs. (3.39)–(3.41), (3.46)"},{"comment":"The Borel-resummation derivation is set up for real parameters s1,s2 ('The task at hand is to define an unambiguous resummation ... when the parameters (s1,s2) are real numbers'), but the theorem is then stated for all s1,s2∈C in (3.46) and in the abstract. The analytic continuation in s1,s2 of the lateral resummations, and the constancy of the Stokes phase (3.40) under that continuation, are not addressed. The domain of the generic claim therefore lacks support as it stands.","section":"§3.1, Eqs. (3.28)–(3.34)"},{"comment":"The statement 'our general result in (3.41), with exact non-perturbative terms in (3.44), holds for all s1,s2 ∈ C' is not supported by the proof in Section 4, which covers only the terminating integer cases with m=s1−s2+1≡κ1+κ2 mod 2. For generic parameters the non-perturbative amplitude is fixed only by conjecture (3.40), so the general claim should be explicitly separated from the proven parity-restricted cases.","section":"§4, final paragraph"}],"minor_comments":[{"comment":"In (3.8) and the following display (3.9), the second L-factor is written with χr1 rather than χr2; the correct Mellin–Barnes kernel should be L(χr1,t+s1)L(χr2,t+s2), as is clear from (3.2) and from the later formulas (3.23)–(3.27).","section":"§3, Eq. (3.8)"},{"comment":"The equation 'Im σ± = ∓i sin(...)' is dimensionally inconsistent: for a complex number σ, Im σ is real. Presumably the intended statement is that the coefficient of the non-perturbative jump is ∓ sin(...), or that the imaginary part of σ± equals ∓ sin(...).","section":"§3.1, Eq. (3.39)"},{"comment":"The claimed 100-digit numerical verification of (3.40) is not documented with any reproducible example, parameter set, or code. Since this conjecture carries the main generic result, at least one high-precision table or reproducible script should be included.","section":"§3.1, numerical verification"},{"comment":"There is a typo in the sentence 'Before moving on to study impritive characters': 'impritive' should be 'imprimitive'.","section":"§3, after Eq. (3.52)"},{"comment":"The unified perturbative formula (3.14) uses the generic symbol χr for both L-factors; for clarity it should be written explicitly as L(χr1,s1−k)L(χr2,s2−k), and the coefficient A_{s1,s2} in (3.15) should display L(χr1,s1+1−s2).","section":"§3, Eqs. (3.14)–(3.15)"}],"recommendation":"major_revision","confidential_remarks":"The paper's strongest contribution is the proven modular-primitive machinery of Section 4 and the rich set of explicit examples. The generic transseries claim, however, is conditional on an unproved Stokes-phase conjecture, and the manuscript's own wording acknowledges this. I would ask the authors to restructure the claims: present the parity-restricted cases as the main theorems and either prove (3.40) or clearly label the generic result as a conjecture with supporting numerics. The real-to-complex parameter extension also needs to be addressed before the abstract's fully general claim can stand."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First, what you should know: this is a real advance over the untwisted analysis in [1], and for integer parameters satisfying the parity condition the proof is complete. The generic-parameter transseries (3.46) is conditional on an unproved conjecture about the Stokes phase, which the authors state plainly. If that conjecture is wrong, the generic statement is not exact; if it is right, you have a unified explanation of several known resurgent structures (sunset, local P2, P_{m,n}).\n\nWhat is new: the paper extends the resurgence framework to Dirichlet characters, produces the explicit transseries (3.46) and the imprimitive version (3.52), and derives vector-valued Fricke relations. The terminating cases are tied to iterated integrals of twisted Eisenstein series, and the Fricke-involution proof in Section 4 is rigorous. The many worked examples (r = 3, 4, 5, 6, 7, 8, 12 and the double-character cases) are valuable and check the general framework. The numerical checks at 100 digits are strong evidence.\n\nSoft spots: the load-bearing part is (3.40). What is actually derived is the imaginary part of the Stokes automorphism, not the real part; the authors write, \"We have not proved that the transseries parameter σ exponentiates in accordance with (3.40).\" That means the equality (3.41)/(3.46) for generic s1, s2 in C is not established. The abstract's \"compute their exact resurgent transseries expansion\" overstates what is proved. This is not a fatal flaw because the paper is transparent about it, but a revision should either prove the exponentiation or restrict the main theorem to the proven cases and label the generic claim as a conjecture.\n\nMinor: parts of Section 5 are a catalogue of eta-quotient identities; useful but not deep. The quantum dilogarithm application is mostly a reinterpretation of [2,3] in the new language, though the P_{m,n} discussion does add something.\n\nBottom line: the parity-restricted cases are solid and complete. The generic case is a well-tested conjecture. A serious referee should engage with the paper; my recommendation is conditional acceptance with the request to clarify the status of (3.40), either by proof or by explicit restriction.","headline":"A genuine generalization of resurgent Lambert series to Dirichlet characters, with complete proofs in the terminating integer-parameter cases and an openly admitted, numerically well-tested conjecture underpinning the generic transseries.","tokens_in":53739,"tokens_out":1719,"would_cite":true,"duration_ms":21776,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11F11","11F67","11M06","11M41"],"pacs":[],"model":"deepseek-v4-flash","headline":"Exact transseries found for doubly twisted Lambert series","keywords":["Lambert series","Dirichlet characters","transseries","resurgence","Fricke involution","twisted Eisenstein series","quantum modularity","topological string theory"],"falsifier":"Evaluate both sides of (3.46) for generic complex parameters (for instance $s_1=1/3$, $s_2=2/5$) with a real primitive character such as $\\chi_{3,2}$ and a non-real one such as $\\chi_{5,2}$, at small real $y$, and compare the first exponentially small term against the phase (3.40); a mismatch would disprove the generic transseries. The paper reports agreement at 100 digits in tested cases, so any decisive check must probe new parameter values or provide an independent derivation of $\\sigma_{\\pm}$.","tokens_in":52714,"feed_emoji":"🧮","tokens_out":11624,"duration_ms":114887,"temperature":0.7,"pith_summary":"The paper studies the doubly twisted Lambert series $\\Xi_{s_1,s_2}(\\chi_{r_1},\\chi_{r_2};q)=\\sum_{n_1,n_2}\\chi_{r_1}(n_1)n_1^{-s_1}\\chi_{r_2}(n_2)n_2^{-s_2}q^{n_1n_2}$ as $q\\to1^-$, with $s_1,s_2\\in\\mathbb{C}$ and Dirichlet characters of moduli $r_1,r_2$. It claims that this series is captured exactly, for generic parameters and primitive characters, by a complete transseries: the resummation of the factorially divergent perturbative series plus an infinite non-perturbative tower of the same series evaluated at the Fricke-inverted argument $-1/(r_1r_2\\tau)$, with Stokes phases fixed by (3.40). When the parameters are integers satisfying $s_1+s_2\\equiv\\kappa_1+\\kappa_2+1\\pmod 2$, the perturbative part terminates and the transseries is proved from the Fricke action on twisted Eisenstein series. The payoff is a unifying exact description that includes the sunset Feynman integral and the weak/strong resurgent structures of topological-string spectral traces as special cases of one quantum-modular identity.","feed_headline":"Exact transseries found for doubly twisted Lambert series","feed_subtitle":"The divergent tail plus exponentially small terms obeys Fricke inversion; proven for Eisenstein cases.","key_machinery":"The load-bearing object is the two-parameter Lambert series with doubly twisted divisor function, written in Mellin-Barnes form $\\int \\Gamma(t)L(\\chi_{r_1},t+s_1)L(\\chi_{r_2},t+s_2)(2\\pi y)^{-t}\\,dt/(2\\pi i)$. Its small-$y$ expansion is a factorially divergent power series whose Borel transform is a combination of hypergeometric ${}_2F_1(1-s_1,1-s_2,1;\\pm t)$ functions; the discontinuity of ${}_2F_1$ across its branch cut produces the Stokes automorphism and the exponentially suppressed tower. In the truncating cases the differential identity $(q\\frac{d}{dq})^{s_1}\\Xi_{s_1,s_2}=G_m(\\chi_{r_1},\\chi_{r_2};q)-A_m$ identifies the series with iterated integrals of twisted Eisenstein series, and the Fricke relation $G_m(\\chi_{r_1},\\chi_{r_2};\\tau)=i^{\\kappa_1+\\kappa_2}\\epsilon(\\chi_{r_1})\\epsilon(\\chi_{r_2})r_1^{\\frac12-m}r_2^{-\\frac12}\\tau^{-m}G_m(\\bar\\chi_{r_2},\\bar\\chi_{r_1};-1/(r_1r_2\\tau))$ turns the transseries into an integrated form of Fricke involution.","core_discovery":"For primitive characters and generic $s_1,s_2\\in\\mathbb{C}$, the paper asserts the exact transseries (3.46): $$\\Xi_{s_1,s_2}(\\chi_{r_1},\\chi_{r_2};\\tau)=S_-\\,[\\$Xi^{{\\mathrm{Pert}}$}_{s_1,s_2}](\\chi_{r_1},\\chi_{r_2};\\tau)+$r_1^{{\\frac12-s_1}}$$r_2^{{\\frac12-s_2}}$\\epsilon(\\chi_{r_1})\\epsilon(\\chi_{r_2})$i^{{\\kappa_1+\\kappa_2}}$\\sum_{n=0}^{\\infty}\\frac{(s_1)_n(s_2)_n}{n!}\\frac{(r_1r_2\\tau)^{s_1+s_2+n-1}}{(-2\\pi i)^n}\\,\\Xi_{s_1+n,s_2+n}\\left(\\bar\\chi_{r_2},\\bar\\chi_{r_1};-\\frac{1}{r_1r_2\\tau}\\right),$$ with Stokes phase $\\sigma_{\\pm}=\\exp(\\mp i(s_1+s_2+\\kappa_1+\\kappa_2-1)\\pi/2)$ from (3.40). This is a quantum-modular version of Fricke involution: the modularity gap is analytic in the upper half-plane, and the non-perturbative tower is a Fricke-dual copy with shifted exponents and conjugated, exchanged characters. When $s_1,s_2\\in\\mathbb{Z}$ satisfy $s_1+s_2\\equiv\\kappa_1+\\kappa_2+1\\pmod 2$, the perturbative part truncates to a Laurent polynomial and the transseries is proved from the Fricke action on twisted Eisenstein series via Eichler integrals. The imprimitive case is a finite divisor sum given in (3.52).","pith_inferences":["Beyond the paper: if the exponentiated phase (3.40) survives further testing, the same transseries mechanism should apply to other character-twisted divisor generating functions, including triple-character generalizations, wherever the Mellin-Barnes integrand has only gamma and Dirichlet L-function poles.","Beyond the paper: the Fricke-dual structure suggests that the sunset and kite Feynman period families obey the same two-character transseries, with the Stokes phase controlled only by $s_1+s_2+\\kappa_1+\\kappa_2$; this could be checked order by order in dimensional regularization.","Beyond the paper: for non-real primitive characters the phase $\\sigma_{\\pm}$ is genuinely complex, so comparing the real and imaginary parts of the median resummation at finite $y$ with the complex-conjugated tower in (3.45) offers a numerical criterion that distinguishes the exponentiation conjecture from alternative Stokes constants.","Beyond the paper: the Laurent-polynomial modularity gaps in Section 4 should match period polynomials of the relevant twisted Eisenstein series, and the eta-quotient patterns in Tables 1 and 2 may extend to higher levels as a classification problem in its own right."],"forward_implications":["For primitive characters and generic parameters, (3.46) provides an exact identity valid for all $\\tau$ with $\\mathrm{Im}\\,\\tau>0$, not merely an asymptotic statement as $\\tau\\to i\\infty$.","In the integer-parity cases the transseries is proven and shows that the non-perturbative terms survive even when the perturbative series terminates (Cheshire-cat resurgence), as in (4.3)-(4.4).","The vector-valued form built from the towers transforms under Fricke with an analytic modularity gap, realizing quantum modularity.","The $s=1$ cases with $\\chi_{3,2}$ and $\\chi_{4,3}$ reproduce the weak- and strong-coupling resurgent expansions of the first fermionic spectral traces of local $P^2$ and local $P_{m,n}$, including their Stokes constants.","Imprimitive characters are handled by divisor sums: each imprimitive transseries is a finite linear combination of primitive ones, e.g. the level-6 identity (5.60)."],"supporting_citations":[{"why":"Foundational method: untwisted Lambert series transseries and iterated Eisenstein integrals; the present doubly twisted case extends and reduces to it.","marker":"[1]"},{"why":"Motivating application: the sunset-graph elliptic dilogarithm with $(s_1,s_2)=(2,0),(0,2)$ and character $\\chi_{6,5}$, whose Fricke exchange is reproduced.","marker":"[17]"},{"why":"Supplies the Mellin-transform and contour technique for asymptotic expansion when one character is trivial or principal.","marker":"[26]"},{"why":"Provides the resurgent-function foundation for the Borel-Écalle resummation used throughout Section 3.","marker":"[6]"},{"why":"Furnishes the lateral and median resummation framework used to define the Stokes automorphism and the non-perturbative completion.","marker":"[7]"},{"why":"Provides the theory of iterated Eisenstein integrals and tangential-basepoint regularization used for modular primitives.","marker":"[8]"},{"why":"Defines quantum modular forms, the framework in which the complete transseries is interpreted as quantum modularity.","marker":"[29]"},{"why":"Source of the local $P^2$ first fermionic spectral trace resurgent data reproduced by the $s=1$, $\\chi_{3,2}$ specialization.","marker":"[2]"},{"why":"Establishes the strong-weak symmetry and quantum modularity of local $P^2$ that the present Fricke relations (3.49) rederive.","marker":"[3]"},{"why":"Extends the spectral-trace analysis to local $P_{m,n}$, matched by linear combinations of $L_1(\\chi_N)$ and $\\tilde L_1(\\chi_N)$.","marker":"[4]"}],"fun_headline_variants":["Exact transseries for character-twisted Lambert series","Fricke involution quantized for twisted Lambert series","Twisted Lambert series: exact resurgent expansion","Quantum-modular Fricke duality in Lambert series","Nonperturbative exactness for twisted divisor sums"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The generic-parameter result rests on the unproved claim that the Stokes phase exponentiates to $\\sigma_{\\pm}=\\exp(\\mp i(s_1+s_2+\\kappa_1+\\kappa_2-1)\\pi/2)$; the paper states that it has not proved this and relies on 100-digit numerical checks, whereas the integer-parity cases proved in Section 4 do not use it.","fun_headline_variants_meta":{"raw":{"variants":["Exact transseries for character-twisted Lambert series","Fricke involution quantized for twisted Lambert series","Twisted Lambert series: exact resurgent expansion","Quantum-modular Fricke duality in Lambert series","Nonperturbative exactness for twisted divisor sums"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00031,"raw_usage":{"total_tokens":1816,"prompt_tokens":1042,"completion_tokens":774,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":658,"completion_tokens_details":{"reasoning_tokens":697}},"tokens_in":658,"tokens_out":774,"duration_ms":8976,"temperature":1.0,"reasoning_tokens":697,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T12:50:48.855269+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate both sides of (3.46) for generic complex parameters (for instance $s_1=1/3$, $s_2=2/5$) with a real primitive character such as $\\chi_{3,2}$ and a non-real one such as $\\chi_{5,2}$, at small real $y$, and compare the first exponentially small term against the phase (3.40); a mismatch would disprove the generic transseries. The paper reports agreement at 100 digits in tested cases, so any decisive check must probe new parameter values or provide an independent derivation of $\\sigma_{\\pm}$.","supporting_citations":[{"cited_title":"Quantum modular forms,","cited_arxiv_id":null,"evidence_quote":"Defines quantum modular forms, the framework in which the complete transseries is interpreted as quantum modularity."},{"cited_title":"Resurgent expansion of Lambert series and iterated Eisenstein integrals","cited_arxiv_id":"2001.11035","evidence_quote":"Foundational method: untwisted Lambert series transseries and iterated Eisenstein integrals; the present doubly twisted case extends and reduces to it."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Mellin-transform and contour technique for asymptotic expansion when one character is trivial or principal."},{"cited_title":"Les Fonctions Resurgentes,","cited_arxiv_id":null,"evidence_quote":"Provides the resurgent-function foundation for the Borel-Écalle resummation used throughout Section 3."},{"cited_title":"Resurgent methods in semi-classical asymptotics,","cited_arxiv_id":null,"evidence_quote":"Furnishes the lateral and median resummation framework used to define the Stokes automorphism and the non-perturbative completion."},{"cited_title":"Modular resurgence, q-Pochhammer symbols, and quantum operators from mirror curves,","cited_arxiv_id":null,"evidence_quote":"Extends the spectral-trace analysis to local $P_{m,n}$, matched by linear combinations of $L_1(\\chi_N)$ and $\\tilde L_1(\\chi_N)$."}],"review_version":1}