arxiv: 2604.20034 · v1 · submitted 2026-04-21 · 🧮 math.NT · hep-th· math-ph· math.CA· math.MP

Recognition: unknown

On Uniqueness of Mock Theta Functions

Ovidiu Costin , Gerald V. Dunne , Ali Saraeb

Authors on Pith no claims yet

Pith reviewed 2026-05-10 00:55 UTC · model grok-4.3

classification 🧮 math.NT hep-thmath-phmath.CAmath.MP

keywords mock theta functionsMordell-Appell integralsresurgent functionsnatural boundarymock modular relationsq-seriesanalytic continuationuniqueness

0 comments

The pith

Mock-modular relations from contour rotation admit a unique solution that canonically continues mock theta functions across their natural boundary.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a method to continue mock theta functions uniquely past the natural boundary where their series diverge. It begins by writing the associated Mordell-Appell integrals as Laplace transforms of resurgent functions. Rotating the Laplace contour by 180 degrees onto the Stokes line produces the known mock-modular relations linking those integrals to unary series in the variables q and q1. The authors prove that these relations have only one possible solution on the q-side, with the integrals fixing all coefficients. This construction supplies a distinguished analytic continuation that extends the classical permanence principle via resurgence and identifies a canonical family within each group of mock theta functions.

Core claim

By representing the Mordell-Appell integrals as Laplace transforms of resurgent functions and rotating the contour by π, one obtains the mock-modular relations in all known cases. These relations admit a unique solution on the q-side expressed in terms of q and q1, with coefficients determined by the integrals. The result is a canonical continuation across the natural boundary via a resurgent extension of the principle of permanence of relations, which singles out a distinguished family of mock theta functions in each group. The method is carried through completely for the order-3 and order-5 cases.

What carries the argument

Representation of Mordell-Appell integrals as Laplace transforms of resurgent functions, with contour rotation by π onto the Stokes line producing the mock-modular relations whose unique solution on the q-side is then proved.

If this is right

Mock theta functions acquire a canonical analytic continuation across the natural boundary.
Coefficients of the continued functions are fixed by the corresponding Mordell-Appell integrals.
A distinguished family of mock theta functions is singled out within each group.
The same uniqueness holds for the complete order-3 and order-5 cases, and the method extends to higher orders.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The uniqueness proof supplies an explicit route to determine the asymptotic growth of the continued functions in other regions of the plane.
The same contour-rotation technique may organize continuation questions for other families of q-series that possess natural boundaries.
A forthcoming general theory would likely classify all mock theta functions by the same uniqueness criterion.

Load-bearing premise

Rotating the Laplace contour by π yields the mock-modular relations between the integrals and the unary series in all known cases.

What would settle it

For the order-3 or order-5 mock theta functions, compute the unique solution furnished by the integrals and check whether the resulting q-series satisfies the expected functional equations or matches known values on the continued side of the boundary.

read the original abstract

We develop a resurgent approach to the problem of unique continuation of mock theta functions across their natural boundary. The starting point is the representation of the associated Mordell-Appell integrals as Laplace transforms of resurgent functions, which serve as the primary analytic objects. By rotating the Laplace contour by $\pi$, i.e. onto the Stokes line, one obtains, in all known cases, the mock-modular relations between the Mordell-Appell integrals and the corresponding unary series in $\hat q=e^{-\pi i \tau}$ and $\hat q_1=e^{-\pi i (-1/\tau)}$. We then prove that these relations admit a unique solution on the $q$-side, expressed in terms of $q=e^{\pi i \tau}$ and $q_1=e^{\pi i (-1/\tau)}$, with coefficients determined by the corresponding Mordell-Appell integrals. This yields a canonical continuation across the natural boundary, given by a resurgent extension of the classical principle of permanence of relations, and singles out a distinguished family of mock theta functions in each group. We present a complete analysis for the order 3 and 5 cases (mf3 and mf5). The method extends naturally to higher orders; a general theory will appear in a separate paper.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Resurgent contour rotation gives a scoped uniqueness proof for mock theta functions of orders 3 and 5 by fixing coefficients via Mordell-Appell integrals, but the paper defers the general case and omits explicit derivation steps.

read the letter

The main point is that the authors represent the Mordell-Appell integrals as Laplace transforms of resurgent functions, rotate the contour by pi onto the Stokes line to recover the mock-modular relations, and then prove those relations admit a unique solution on the q-side whose coefficients are set by the integrals. This produces a canonical continuation across the natural boundary as a resurgent version of the permanence principle, and they carry it out fully for the mf3 and mf5 cases while singling out distinguished families in each group. The stress-test note is right that the steps stay internally consistent within the stated scope and do not rely on hidden assumptions about function spaces or Stokes data beyond what is claimed. That is the actual new piece: the uniqueness theorem via this extension of permanence, not present in the referenced prior literature. They handle the specific orders cleanly and avoid circularity by grounding the coefficients in the external resurgent and Laplace properties. The soft spots are real but limited. The abstract and outline supply no derivation steps, error bounds, or verification for the Laplace representations and contour rotations, so a reader cannot yet judge how tight the uniqueness holds in practice. The general theory for higher orders is promised elsewhere, which makes this paper feel like a focused demonstration rather than a complete framework. No load-bearing flaws appear in the scoped argument, but the lack of explicit calculations is noticeable. This is for specialists in analytic number theory and modular forms who work on q-series continuations or resurgence methods. Someone already following mock theta functions or asymptotic analysis of unary series would extract concrete value from the order-3 and order-5 results. It deserves a serious referee to examine the proof details for those two cases.

Referee Report

2 major / 2 minor

Summary. The paper develops a resurgent approach to unique continuation of mock theta functions across their natural boundary. It represents the associated Mordell-Appell integrals as Laplace transforms of resurgent functions, rotates the contour by π to obtain mock-modular relations between these integrals and unary series in q-hat and q1-hat, and proves that the resulting relations admit a unique solution on the q-side (in terms of q and q1) whose coefficients are fixed by the integrals. This is presented as a resurgent extension of the permanence-of-relations principle that singles out a canonical family in each group. A complete analysis is given for the order-3 and order-5 cases (mf3 and mf5); the method is said to extend to higher orders.

Significance. If the uniqueness proofs and contour-rotation arguments hold, the work supplies a new analytic mechanism for crossing the natural boundary of mock theta functions, grounded in resurgence and Laplace-transform representations rather than ad-hoc fitting. It would distinguish canonical mock theta functions within each group and offer a template for a general theory, which could be of lasting value in the analytic theory of mock modular forms.

major comments (2)

[Abstract and mf3/mf5 analysis sections] The abstract and the sections presenting the mf3 and mf5 analyses assert that the mock-modular relations admit a unique q-side solution with coefficients determined by the Mordell-Appell integrals, yet no explicit derivation of this uniqueness (e.g., dimension of the solution space, linear independence of the basis functions, or how the integrals fix the coefficients) is supplied. This step is load-bearing for the central claim of canonical continuation.
[Sections introducing the resurgent representation and contour rotation] The starting representation of the Mordell-Appell integrals as Laplace transforms of resurgent functions, followed by contour rotation onto the Stokes line, is stated to yield the mock-modular relations “in all known cases,” but the manuscript provides neither the explicit Laplace-transform expressions nor the verification that rotation produces the claimed relations for mf3 and mf5. These are the foundational analytic objects.

minor comments (2)

[Introduction] The notation q = e^{π i τ}, q1 = e^{π i (-1/τ)}, q-hat, and q1-hat is introduced only in the abstract; a dedicated notation paragraph or table at the beginning of the introduction would improve readability.
[Abstract and concluding remarks] The phrase “a general theory will appear in a separate paper” appears without any indication of which parts of the present argument are already general versus order-specific; a short forward-reference paragraph would clarify the scope.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comments, which help clarify the presentation of our resurgent approach to mock theta functions. We address each major comment below and will revise the manuscript to incorporate the requested details.

read point-by-point responses

Referee: [Abstract and mf3/mf5 analysis sections] The abstract and the sections presenting the mf3 and mf5 analyses assert that the mock-modular relations admit a unique q-side solution with coefficients determined by the Mordell-Appell integrals, yet no explicit derivation of this uniqueness (e.g., dimension of the solution space, linear independence of the basis functions, or how the integrals fix the coefficients) is supplied. This step is load-bearing for the central claim of canonical continuation.

Authors: We agree that the uniqueness of the q-side solution is central to the claim of canonical continuation and that the derivation should be made fully explicit. The manuscript states that the relations admit a unique solution with coefficients fixed by the integrals and sketches the argument via the resurgent extension of the permanence-of-relations principle in the mf3 and mf5 sections, but we acknowledge that the linear-algebra details (dimension of the solution space, independence of basis functions, and explicit coefficient determination) are not spelled out step by step. In the revised version we will expand these sections with a self-contained derivation, including the relevant vector space of possible solutions, verification of linear independence, and the direct matching of coefficients to the values of the Mordell-Appell integrals for both the order-3 and order-5 cases. revision: yes
Referee: [Sections introducing the resurgent representation and contour rotation] The starting representation of the Mordell-Appell integrals as Laplace transforms of resurgent functions, followed by contour rotation onto the Stokes line, is stated to yield the mock-modular relations “in all known cases,” but the manuscript provides neither the explicit Laplace-transform expressions nor the verification that rotation produces the claimed relations for mf3 and mf5. These are the foundational analytic objects.

Authors: We accept that the foundational analytic steps must be presented explicitly. The manuscript introduces the representation of the Mordell-Appell integrals as Laplace transforms of resurgent functions and asserts that contour rotation by π produces the mock-modular relations in all known cases, including the complete mf3 and mf5 analyses. However, the explicit Laplace-transform formulae and the detailed verification of the rotated-contour identities are not written out. In the revision we will supply the explicit Laplace-transform expressions for the integrals in the order-3 and order-5 cases, together with the step-by-step contour-rotation calculations that recover the stated mock-modular relations between the integrals and the unary series in q-hat and q1-hat. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper begins with the representation of Mordell-Appell integrals as Laplace transforms of resurgent functions serving as primary objects, then rotates the contour to obtain mock-modular relations in known cases, and finally proves that these relations admit a unique solution on the q-side whose coefficients are fixed by the integrals. This constitutes a forward derivation relying on external analytic properties of Laplace transforms and resurgence rather than any self-definitional loop, fitted prediction renamed as result, or load-bearing self-citation that collapses the uniqueness claim to its own inputs. The uniqueness statement is scoped to orders 3 and 5 and presented as an independent step extending the classical permanence principle, with no reduction of the central continuation result to a tautology or ansatz smuggled via prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the representation of Mordell-Appell integrals as Laplace transforms of resurgent functions and the validity of contour rotation to obtain mock-modular relations; these are treated as established starting points.

axioms (2)

domain assumption Mordell-Appell integrals can be represented as Laplace transforms of resurgent functions
Explicitly stated as the starting point in the abstract.
domain assumption Rotating the Laplace contour by π onto the Stokes line yields the mock-modular relations
Claimed to hold in all known cases as the bridge to the uniqueness proof.

pith-pipeline@v0.9.0 · 5536 in / 1206 out tokens · 41357 ms · 2026-05-10T00:55:23.213031+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

39 extracted references · 18 canonical work pages · 1 internal anchor

[1]

G. N. Watson, The Final Problem: An Account of the Mock Theta Functions,J. London Math. Soc.11 (1936), no. 1, 55-80. DOI: 10.1112/jlms/s1-11.1.55

work page doi:10.1112/jlms/s1-11.1.55 1936
[2]

Gordon and R

B. Gordon and R. J. McIntosh. A survey of classical mock theta functions. InPartitions, q-Series and Modular Forms, volume 23 ofDevelopments in Mathematics, pages 95-143. Springer, 2012. DOI: 10.1007/978-1-4614-0028-8 9

work page doi:10.1007/978-1-4614-0028-8 2012
[3]

Bringmann and K

K. Bringmann and K. Ono, Thef(q) mock theta function conjecture and partition ranks,Invent. Math.165 (2006), 243-266. DOI: 10.1007/s00222-005-0493-5

work page doi:10.1007/s00222-005-0493-5 2006
[4]

F aculty of Mathematics, Kyushu University, 744 Motooka, Nishi-ku, Fukuoka, 819-0395, Japan Email address:ryota.tajima.123@gmail.com 13

Sander Zwegers.Mock Theta Functions. PhD thesis, Utrecht University, 2002, arXiv:0807.4834

work page arXiv 2002
[5]

Don Zagier.Ramanujan’s mock theta functions and their applications [d’apr` es Zwegers and Bringmann-Ono], S´ eminaire Bourbaki, 60` eme ann´ ee, 2007-2008,n◦986, Ast´ erisque 326 (2009), Soc. Math. de France, 143-164

2007
[6]

Quantum Jacobi forms in number theory, topology, and mathematical physics

A. Folsom, “Quantum Jacobi forms in number theory, topology, and mathematical physics”, Res. Math. Sci. (2019) 6:25

2019
[7]

W-Algebras, False Theta Functions and Quantum Modular Forms, I.International Mathematics Research Notices, 2015(21): 11351-11387, 02 2015

Kathrin Bringmann and Antun Milas. W-Algebras, False Theta Functions and Quantum Modular Forms, I.International Mathematics Research Notices, 2015(21): 11351-11387, 02 2015

2015
[8]

3- Manifolds and VOA Characters,

M. C. N. Cheng, S. Chun, B. Feigin, F. Ferrari, S. Gukov, S. M. Harrison and D. Passaro, “3- Manifolds and VOA Characters,” Commun. Math. Phys.405, no.2, 44 (2024), arXiv:2201.04640 [hep-th]

work page arXiv 2024
[9]

12 (2021), no

Sergei Gukov and Ciprian Manolescu A two-variable series for knot complements Quantum Topol. 12 (2021), no. 1, pp. 1–109

2021
[10]

J Stat Phys 26, 427–452 (1981)

Baxter, R.J., Rogers-Ramanujan identities in the hard hexagon model. J Stat Phys 26, 427–452 (1981)

1981
[11]

Andrews, The hard-hexagon model and Rogers—Ramanujan type identities, PNAS 78 (9) 5290-5292 (1981)

George E. Andrews, The hard-hexagon model and Rogers—Ramanujan type identities, PNAS 78 (9) 5290-5292 (1981)

1981
[12]

Modular forms and quantum invariants of 3-manifolds

Ruth Lawrence and Don Zagier. “Modular forms and quantum invariants of 3-manifolds”, Asian J. Math.3(1999) 93-108

1999
[13]

Quantum Invariant, Modular Form, and Lattice Points., International Mathe- matics Research Notices, Volume 2005, Issue 3, 2005, Pages 121–154, arXiv:math-ph/0409016

Kazuhiro Hikami. Quantum Invariant, Modular Form, and Lattice Points., International Mathe- matics Research Notices, Volume 2005, Issue 3, 2005, Pages 121–154, arXiv:math-ph/0409016

work page arXiv 2005
[14]

Umbral Moonshine,

M. C. N. Cheng, J. F. R. Duncan and J. A. Harvey, “Umbral Moonshine,” Commun. Num. Theor. Phys.08, 101-242 (2014), arXiv:1204.2779 [math.RT]

work page arXiv 2014
[15]

Quantum Black Holes, Wall Crossing, and Mock Modular Forms, arXiv:1208.4074v2

Atish Dabholkar, Sameer Murthy, and Don Zagier. Quantum Black Holes, Wall Crossing, and Mock Modular Forms, arXiv:1208.4074v2

work page arXiv
[16]

Adams and G

G. Adams and G. V. Dunne, “The Chern-Simons Natural Boundary and Black Hole Entropy,” arXiv:2603.04619 [hep-th]

work page arXiv
[17]

Gukov, M

S. Gukov, M. Marino and P. Putrov, “Resurgence in complex Chern-Simons theory,” arXiv:1605.07615 [hep-th]

work page arXiv
[18]

Miranda C. N. Cheng, Ioana Coman, Piotr Kucharski, Davide Passaro, and Gabriele Sgroi. 3d Modularity Revisited. arXiv:2403.14920v3

work page arXiv
[19]

Cheng, S

M. C. N. Cheng, S. Chun, F. Ferrari, S. Gukov and S. M. Harrison, “3d Modularity,” JHEP10, 010 (2019), arXiv:1809.10148 [hep-th]

work page arXiv 2019
[20]

Les Fonctions Resurgentes, I, II, III.Publications Mathematiques d’Orsay, 1981

Jean ´Ecalle. Les Fonctions Resurgentes, I, II, III.Publications Mathematiques d’Orsay, 1981

1981
[21]

Costin,Asymptotics and Borel Summability, (Chapman Hall)

O. Costin,Asymptotics and Borel Summability, (Chapman Hall)
[22]

David Sauzin,Resurgent functions and splitting problems, RIMS Kokyuroku, (2006), 1493, pp.48- 117

2006
[23]

Costin, G

Ovidiu Costin, Gerald V. Dunne, Angus Gruen, and Sergei Gukov. Going to the Other Side via the Resurgent Bridge. arXiv:2310.12317 [hep-th]

work page arXiv
[24]

Orientation Reversal and the Chern-Simons Natural Boundary

Griffen Adams, Ovidiu Costin, Gerald V. Dunne, Sergei Gukov and O˘ guz ¨Oner. Orientation Re- versal and the Chern-Simons Natural Boundary, JHEP 08 (2025) 154, arXiv:2505.14441 [hep-th]

work page internal anchor Pith review Pith/arXiv arXiv 2025
[25]

Costin, G

O. Costin, G. V. Dunne and A. Saraeb, in preparation
[26]

E. T. Whittaker and G. N. Watson,A Course of Modern Analysis, 4th ed., Cambridge University Press, Cambridge, 1927

1927
[27]

G¨ ottsche and D

L. G¨ ottsche and D. Zagier,Jacobi forms and the structure of Donaldson invariants for4-manifolds withb + = 1, Selecta Mathematica4(1998), no. 1, 69-115. DOI: 10.1007/s000290050025

work page doi:10.1007/s000290050025 1998
[28]

Forster,Lectures on Riemann Surfaces, Graduate Texts in Mathematics, Vol

O. Forster,Lectures on Riemann Surfaces, Graduate Texts in Mathematics, Vol. 81, Springer, New York, 1981. DOI: 10.1007/978-1-4612-5961-9. ON UNIQUENESS OF MOCK THETA FUNCTIONS 17

work page doi:10.1007/978-1-4612-5961-9 1981
[29]

Duke, Continued fractions and modular functions,Bull

W. Duke, Continued fractions and modular functions,Bull. Amer. Math. Soc. (N.S.)42(2005), no. 2, 137-163. DOI: 10.1090/S0273-0979-05-01047-5. [30]NIST Digital Library of Mathematical Functions.https://dlmf.nist.gov/, Release 1.2.5 of 2025- 12-15. F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller,...

work page doi:10.1090/s0273-0979-05-01047-5 2005
[30]

Maass, Lal, S.,Lectures on Modular Functions of One Complex Variable, Springer, 1983

H. Maass, Lal, S.,Lectures on Modular Functions of One Complex Variable, Springer, 1983

1983
[31]

W.Stein,Modular Forms, a Computational Approach, Graduate Studies in Mathematics, Vol 79, American Mathematical Society, Providence, RI, 2007

2007
[32]

Franc and G

C. Franc and G. Mason, Hypergeometric series, modular linear differential equations and vector- valued modular forms,The Ramanujan Journal41(2016), no. 1, 233-267. DOI: 10.1007/s11139- 014-9644-x

work page doi:10.1007/s11139- 2016
[33]

Rudin, Real and Complex AnalysisMcGraw-Hill1987

W. Rudin, Real and Complex AnalysisMcGraw-Hill1987
[34]

T. M. Apostol,Modular Functions and Dirichlet Series in Number Theory, 2nd ed., Graduate Texts in Mathematics, Vol. 41, Springer, New York, 1990

1990
[35]

Schultz,Notes on Modular Forms, lecture notes, August 20, 2015

D. Schultz,Notes on Modular Forms, lecture notes, August 20, 2015. Available athttps://people. maths.ox.ac.uk/beem/papers/modular_forms_notes.pdf

2015
[36]

Bhattacharya,Factorization of Holomorphic Eta Quotients, Dissertation, Rheinische Friedrich- Wilhelms-Universit¨ at Bonn, 2014

S. Bhattacharya,Factorization of Holomorphic Eta Quotients, Dissertation, Rheinische Friedrich- Wilhelms-Universit¨ at Bonn, 2014

2014
[37]

Stein,Elementary Number Theory and Elliptic Curves, course notes, June 26, 2003

W. Stein,Elementary Number Theory and Elliptic Curves, course notes, June 26, 2003. Available athttps://wstein.org/edu/Fall2002/124/stein/main-05-2003.pdf

2003
[38]

J. S. Milne,Modular Functions and Modular Forms, course notes, 2017. Available athttps: //www.jmilne.org/math/CourseNotes/MF.pdf

2017
[39]

Paule and S

P. Paule and S. RaduRogers-Ramanujan Functions, Modular Functions and Computer Algebra, Springer Proc. Math. Stat., 226, pp. 229-280 Springer, Cham, 2018. Available athttps://www3. risc.jku.at/publications/download/risc_5475/a70_submission.pdf ∗Mathematics Department, The Ohio State University, 231 W. 18th A venue, Columbus, Ohio 43210, USA †Physics Depar...

2018