pith. sign in

arxiv: 2501.15866 · v1 · pith:JMKVZICFnew · submitted 2025-01-27 · 🧮 math.CA

On the location of the complex conjugate zeros of the partial theta function

Vladimir Petrov Kostov This is my paper

Pith reviewed 2026-05-25 08:35 UTC · model grok-4.3

classification 🧮 math.CA
keywords partial theta functionzeroscomplex conjugate pairshalf-annulusentire functionq-serieslocation of zeros
0
0 comments X

The pith

For any q in (0,1), all complex conjugate zeros of the partial theta function with non-negative real part lie in the half-annulus 1 < |x| < 5.

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

The paper proves location bounds on the zeros of the partial theta function θ(q, x), defined as the power series sum from j=0 to infinity of q to the j(j+1)/2 times x to j. It shows that all complex conjugate zero pairs with Re(x) at least zero are trapped in the region where the real part is non-negative and the modulus is between 1 and 5. The outer limit of 5 is not improvable below about 4.81, and when q is at most about 0.67 there are in fact no zeros at all in that half-plane. Zeros in the left half-plane are confined to a disk of radius under 50.

Core claim

We prove that for any q∈(0,1), all complex conjugate pairs of zeros of the partial theta function θ(q,x) with non-negative real part belong to the half-annulus {Re(x)≥0, 1<|x|<5}, where the outer radius cannot be replaced by a number smaller than e^{π/2}≈4.8105, and that for q∈(0,0.2^{1/4}≈0.6687], θ(q,.) has no zeros with non-negative real part. The complex conjugate pairs of zeros with negative real part belong to the left open half-disk of radius 49.8 centered at the origin.

What carries the argument

The partial theta function θ(q,x) := ∑_{j=0}^∞ q^{j(j+1)/2} x^j as an entire function, with magnitude estimates and argument-principle techniques used to locate its zeros.

If this is right

  • The outer radius bound of 5 cannot be replaced by any number smaller than e^{π/2} for the uniform statement over all q in (0,1).
  • For q in (0, 0.2^{1/4}] the function has no zeros with non-negative real part.
  • Complex conjugate zero pairs with negative real part lie inside the open half-disk |x| < 49.8, Re(x) < 0.
  • The stated regions hold for every q in (0,1) and are obtained via estimates that do not depend on a specific value of q.

Where Pith is reading between the lines

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

  • Numerical root-finding algorithms for this function can safely restrict their search domains to the stated regions.
  • The same magnitude and argument-principle methods may extend directly to other truncated q-series or partial theta analogues.
  • The gap between the inner radius 1 and the outer bound near 4.81 leaves open the question of whether tighter uniform constants exist inside the paper's framework.
  • For very small q the absence of right-half-plane zeros aligns with the function remaining close to its constant term 1 over larger disks.

Load-bearing premise

The power series for the partial theta function converges for all complex values of x, making it an entire function to which magnitude estimates and contour integration apply.

What would settle it

A numerical computation locating a zero with Re(x) ≥ 0 and |x| ≥ 5 for some q in (0,1), or a zero with Re(x) ≥ 0 and |x| ≤ 1, or for q ≤ 0.6687 any zero at all with Re(x) ≥ 0.

Figures

Figures reproduced from arXiv: 2501.15866 by Vladimir Petrov Kostov.

Figure 1
Figure 1. Figure 1: Katsnelson’s contour (in dashed line) and the bord [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
read the original abstract

We prove that for any $q\in (0,1)$, all complex conjugate pairs of zeros of the partial theta function $\theta (q,x):=\sum _{j=0}^{\infty}q^{j(j+1)/2}x^j$ with non-negative real part belong to the half-annulus $\{$Re$(x)\geq 0,~1<|x|<5\}$, where the outer radius cannot be replaced by a number smaller than $e^{\pi /2}=4.810477382\ldots$, and that for $q\in (0,0.2^{1/4}=0.6687403050\ldots ]$, $\theta (q,.)$ has no zeros with non-negative real part. The complex conjugate pairs of zeros with negative real part belong to the left open half-disk of radius $49.8$ centered at the origin.

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.

Referee Report

0 major / 2 minor

Summary. The paper proves location results for the complex conjugate zeros of the partial theta function θ(q,x) := ∑_{j=0}^∞ q^{j(j+1)/2} x^j, q ∈ (0,1). All such pairs with Re(x) ≥ 0 lie in the half-annulus {Re(x) ≥ 0, 1 < |x| < 5}, with the outer radius sharp in that it cannot be replaced by any number smaller than e^{π/2}. For q ∈ (0, 0.2^{1/4}], there are no zeros with non-negative real part. All conjugate pairs with negative real part lie in the open left half-disk of radius 49.8 centered at the origin.

Significance. If the analytic estimates hold, the explicit half-annulus and half-disk bounds, together with the parameter threshold for absence of right-half-plane zeros and the sharpness statement involving e^{π/2}, constitute a concrete contribution to the zero-location theory of this entire function of order 1. The results are parameter-explicit and falsifiable by direct computation for moderate q.

minor comments (2)
  1. The abstract states the outer radius 5 cannot be replaced by any smaller number than e^{π/2}, but the manuscript should include a brief remark on how this sharpness is established (e.g., via an explicit sequence of q_n and x_n with |x_n| → e^{π/2} and θ(q_n, x_n) → 0).
  2. The numerical constant 49.8 for the left half-disk appears without derivation in the abstract; a short explanation of its origin (perhaps from a crude majorant or Rouché estimate) would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their report and for accurately summarizing the main results of the paper. The assessment of significance is appreciated. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No circularity: direct analytic proof on entire function

full rationale

The paper defines the partial theta function via its power series (which has infinite radius of convergence for fixed q in (0,1) and is therefore entire in x) and applies standard magnitude estimates plus the argument principle to bound zero locations. No parameters are fitted to data, no predictions are made from subsets of results, and no load-bearing steps reduce to self-citations, ansatzes imported from prior work, or renamings of known patterns. The claimed regions follow from explicit estimates (e.g., the outer radius bound involving e^{π/2}) without internal definitional loops or statistical forcing. This is a self-contained existence-and-location argument in complex analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the standard fact that the given power series defines an entire function, together with basic properties of analytic continuation and conjugate symmetry; no free parameters or new entities are introduced.

axioms (1)
  • domain assumption The power series ∑ q^{j(j+1)/2} x^j converges for every complex x when 0<q<1, defining an entire function.
    Invoked immediately in the definition of θ(q,x) to justify global analysis in the complex plane.

pith-pipeline@v0.9.0 · 5672 in / 1506 out tokens · 31810 ms · 2026-05-25T08:35:27.900515+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Some analytic properties of the partial theta function

    math.CA 2026-04 unverdicted novelty 6.0

    For the partial theta function θ(q,x), real zeros lie left of a vertical line Re x = -a (a≥5) while complex zeros lie right of it, with no real zeros ≥-6 for q>0 and similar bounds for q<0.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages · cited by 1 Pith paper · 4 internal anchors

  1. [1]

    G. E. Andrews, B. C. Berndt, Ramanujan’s lost notebook. P art II. Springer, NY, 2009

    work page 2009

  2. [2]

    B. C. Berndt, B. Kim, Asymptotic expansions of certain pa rtial theta functions. Proc. Amer. Math. Soc. 139:11 (2011), 3779-3788

    work page 2011

  3. [3]

    Bringmann, A

    K. Bringmann, A. Folsom and A. Milas, Asymptotic behavio r of partial and false theta functions arising from Jacobi forms and regularized charac ters. J. Math. Phys. 58:1 (2017), 011702, 19 pp

    work page 2017

  4. [4]

    Partial theta functions and mock modular forms as q-hypergeometric series

    K. Bringmann, A. Folsom, R. C. Rhoades, Partial theta fun ctions and mock modular forms as q-hypergeometric series, Ramanujan J. 29:1-3 (2012), 295-3 10, http://arxiv.org/abs/1109.6560

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  5. [5]

    Creutzig, A

    T. Creutzig, A. Milas and S. Wood, On regularised quantum dimensions of the singlet vertex operator algebra and false theta functions. Int. Mat h. Res. Not. 5 (2017), 1390-1432

    work page 2017

  6. [6]

    Flores and J

    R. Flores and J. Gonz´ alez-Meneses, On the growth of Arti n-Tits monoids and the partial theta function. J. Combin. Theory Ser. A 190 (2022), Paper No . 105623, 39 pp

    work page 2022

  7. [7]

    G. H. Hardy, On the zeros of a class of integral functions, Messenger of Mathematics, 34 (1904), 97-101

    work page 1904

  8. [8]

    J. I. Hutchinson, On a remarkable class of entire functio ns, Trans. Amer. Math. Soc. 25 (1923), 325-332

    work page 1923

  9. [9]

    Katkova, T

    O.M. Katkova, T. Lobova and A.M. Vishnyakova, On power se ries having sections with only real zeros. Comput. Methods Funct. Theory 3:2 (2003), 4 25-441

    work page 2003

  10. [10]

    On summation of the Taylor series of the function 1/(1-z) by the theta summation method

    B. Katsnelson, On summation of the Taylor series of the f unction 1/ (1 − z) by the theta summation method, Complex analysis and dynamical systems V I. Part 2, 141–157. Con- temp. Math., 667 Israel Math. Conf. Proc. American Mathemat ical Society, Providence, RI, 2016 arXiv:1402.4629v1 [math.CA]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  11. [11]

    Kostov, On the multiple zeros of a partial theta fun ction, Funct

    V.P. Kostov, On the multiple zeros of a partial theta fun ction, Funct. Anal. Appl. (Russian version 50, No. 2 (2016) 84-88, English version 50, No. 2 (201 6) 153-156)

    work page 2016

  12. [12]

    Kostov, A property of a partial theta function, Com ptes Rendus Acad

    V.P. Kostov, A property of a partial theta function, Com ptes Rendus Acad. Sci. Bulgare 67, No. 10 (2014) 1319-1326

    work page 2014

  13. [13]

    Kostov, On the complex conjugate zeros of the parti al theta function, Funct

    V.P. Kostov, On the complex conjugate zeros of the parti al theta function, Funct. Anal. Appl. (English version 2019, 53:2, 149-152, Russian versio n 2019, 53:2, 87-91)

    work page 2019

  14. [14]

    Kostov, On the zeros of a partial theta function, Bu ll

    V.P. Kostov, On the zeros of a partial theta function, Bu ll. Sci. Math. 137:8 (2013), 1018- 1030

    work page 2013

  15. [15]

    Kostov, On the double zeros of a partial theta funct ion, Bull

    V.P. Kostov, On the double zeros of a partial theta funct ion, Bull. Sci. Math. 140, No. 4 (2016) 98-111

    work page 2016

  16. [16]

    Kostov, On a partial theta function and its spectru m, Proc

    V.P. Kostov, On a partial theta function and its spectru m, Proc. Royal Soc. Edinb. A 146:3 (2016), 609-623. 17

    work page 2016

  17. [17]

    Kostov, A domain containing all zeros of the partia l theta function, Publ

    V.P. Kostov, A domain containing all zeros of the partia l theta function, Publ. Math. Debrecen 93:1-2 (2018), 189-203

    work page 2018

  18. [18]

    Kostov, A separation in modulus property of the zer os of a partial theta function, Analysis Mathematica 44:4 (2018), 501-519

    V.P. Kostov, A separation in modulus property of the zer os of a partial theta function, Analysis Mathematica 44:4 (2018), 501-519

    work page 2018

  19. [19]

    Kostov, On the zero set of the partial theta functio n, Serdica Math

    V.P. Kostov, On the zero set of the partial theta functio n, Serdica Math. J. 45 (2019), 225-258

    work page 2019

  20. [20]

    Kostov, A domain free of the zeros of the partial the ta function

    V.P. Kostov, A domain free of the zeros of the partial the ta function. Mat. Stud. 58 (2022), no. 2, 142-158

    work page 2022

  21. [21]

    St. Kliment Ohridski

    V.P. Kostov, No zeros of the partial theta function in th e unit disk, Annual of Sofia Univer- sity “St. Kliment Ohridski”, Faculty of Mathematics and Inf ormatics 111 (2024) 129-137. DOI: 10.60063/gsu.fmi.111.129-137

    work page doi:10.60063/gsu.fmi.111.129-137 2024

  22. [22]

    Kostov and B

    V.P. Kostov and B. Shapiro, Hardy-Petrovitch-Hutchin son’s problem and partial theta function, Duke Math. J. 162:5 (2013), 825-861. arXiv:1106. 6262v1[math.CA]

    work page 2013

  23. [23]

    Lubinsky, E

    D.S. Lubinsky, E. Saff, Convergence of Pad´ e approximant s of partial theta functions and the Rogers-Szeg˝ o polynomials, Constructive Approximation, 3 (1987), 331-361

    work page 1987

  24. [24]

    Mortenson, On the dual nature of partial theta func tions and Appell-Lerch sums, Adv

    E.T. Mortenson, On the dual nature of partial theta func tions and Appell-Lerch sums, Adv. Math. 264 (2014), 236-260

    work page 2014

  25. [25]

    I. V. Ostrovskii, On zero distribution of sections and t ails of power series, Israel Math. Conf. Proceedings, 15 (2001), 297-310

    work page 2001

  26. [26]

    Petrovitch, Une classe remarquable de s´ eries enti` eres, Atti del IV Congresso Interna- tionale dei Matematici, Rome (Ser

    M. Petrovitch, Une classe remarquable de s´ eries enti` eres, Atti del IV Congresso Interna- tionale dei Matematici, Rome (Ser. 1), 2 (1908), 36-43

    work page 1908

  27. [27]

    The combinatorics of the leading root of the partial theta function

    T. Prellberg, The combinatorics of the leading root of t he partial theta function, http://arxiv.org/pdf/1210.0095.pdf

    work page internal anchor Pith review Pith/arXiv arXiv

  28. [28]

    The leading root of the partial theta function

    A. Sokal, The leading root of the partial theta function , Adv. Math. 229:5 (2012), 2603-2621. arXiv:1106.1003

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  29. [29]

    L. H. Sun, An extension of the Andrews-Warnaar partial t heta function identity. Adv. in Appl. Math. 115 (2020), 101985, 20 pp

    work page 2020

  30. [30]

    Wang and X

    J. Wang and X. Ma, On the Andrews-Warnaar identities for partial theta functions. Adv. in Appl. Math. 97 (2018), 36-53

    work page 2018

  31. [31]

    S. O. Warnaar, Partial theta functions. I. Beyond the lo st notebook, Proc. London Math. Soc. (3) 87:2 (2003), 363-395

    work page 2003

  32. [32]

    Wei, Partial theta function identities from Wang and Ma’s conjecture

    C. Wei, Partial theta function identities from Wang and Ma’s conjecture. J. Difference Equ. Appl. 26 (2020), no. 4, 532-539. 18

    work page 2020