pith. sign in

arxiv: 2605.29991 · v2 · pith:KBBAXGNWnew · submitted 2026-05-28 · 🧮 math.CA · math.CV

Complex spectrum of the partial theta function

Boris Shapiro This is my paper

Pith reviewed 2026-06-28 23:58 UTC · model grok-4.3

classification 🧮 math.CA math.CV
keywords partial theta functionmultiple zerosspectrumaccumulation pointsunit circletruncationsJacobi triple productmonodromy
0
0 comments X

The pith

The spectrum of the partial theta function accumulates at every point on the unit circle |q|=1.

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

The paper shows that spectral values of q, where the partial theta function in x has a multiple zero, accumulate at every boundary point on |q|=1 even though the series is defined only inside the disk. The argument constructs explicit spectral factors for finite truncations, locates their multiple zeros using the Jacobi triple product near roots of unity, and lifts those zeros to the infinite sum via a boundary-window argument. Inside any fixed subdisk the spectrum remains locally finite and isolated from the branch loci of the approximants, and can be located numerically by truncation-seeded Newton iteration together with radial monodromy tracking. A reader cares because this describes the global distribution of multiple-root parameters and how they approach the natural boundary of the series.

Core claim

Every point of |q|=1 is an accumulation point of the spectrum. The proof uses explicit spectral factors of truncations, the Jacobi triple product, and a boundary-window lifting argument near roots of unity. Inside a fixed subdisk the true spectrum is locally finite and is separated from the larger branch loci of truncations and Jensen polynomials.

What carries the argument

The boundary-window lifting argument that transfers multiple zeros from explicit spectral factors of truncations to the partial theta function near roots of unity.

If this is right

  • Every boundary point on |q|=1 is a limit point of spectral values.
  • Inside any compact subset of a fixed subdisk |q|≤0.8 the spectrum consists of isolated points.
  • Truncation-seeded Newton iteration produces candidate spectral values that can be refined to the true function.
  • The caustic and escaping-root mechanism governs zero motion in the finite approximants.
  • Radial monodromy with the base-point convention yields consistent collision labels across the disk.

Where Pith is reading between the lines

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

  • The accumulation at the boundary suggests that |q|=1 functions as a natural boundary for the distribution of multiple zeros.
  • The numerical monodromy data may expose arithmetic or algebraic patterns among the spectral values that are not yet stated explicitly.
  • The same truncation-plus-lifting approach could be tested on other partial sums of q-series to see whether boundary accumulation of multiple zeros is common.

Load-bearing premise

The truncations and their spectral factors remain sufficiently close to the infinite-sum function near the unit circle for the boundary-window lifting argument to transfer the multiple zeros.

What would settle it

An explicit point on |q|=1 together with a neighborhood containing no sequence of spectral values q_n inside the disk that approach it.

Figures

Figures reproduced from arXiv: 2605.29991 by Boris Shapiro.

Figure 1
Figure 1. Figure 1: Branch points for a degree-15 truncation of Θ (left) and for the corresponding Jensen polynomial (right). These pictures show finite approxi￾mation geometry; points in such plots are genuine spectral approximants only when the associated double root in the x-plane remains controlled. This figure should be read only as a picture of finite branch loci, not as a reliable approxi￾mation to the actual spectrum … view at source ↗
Figure 2
Figure 2. Figure 2: Zeros of Ψ16, hence a distinguished spectral subfamily of the trun￾cation Θ33. Theorem 4.1 predicts convergence to Haar measure on the unit circle [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Newton-refined spectral candidates of the infinite partial theta function in |q| ≤ 0.8, colored by log10 |z|. The output is discrete. It does not resemble a circular arc filled densely by spectral points. of the relevant small-circle roots for the points displayed below. The local singularities are simple in all tested cases, i.e. Θq(q∗, z∗) ̸= 0, Θzz(q∗, z∗) ̸= 0, so the local monodromy is a transposition… view at source ↗
Figure 4
Figure 4. Figure 4: Degree 14 truncation branch points in |q| ≤ 0.8 shown in gray, with Newton-refined infinite spectral candidates shown in red. Many finite branch points do not refine to distinct nearby points of the true spectrum; they should be interpreted as finite-truncation branch geometry or caustics unless the associated z-branches remain controlled. The first two non-real dominating points have the same labels as in… view at source ↗
Figure 5
Figure 5. Figure 5: Radial root-collision labels for the refined candidates in |q| ≤ 0.8. For each displayed point q∗, the base point is 0.1q∗/|q∗|, except on the negative real axis where the base point is −0.1. The label attached to a point indicates which two roots at the corresponding small-circle base point collide when continued radially to q∗. Thus (2 4) is the collision of the first two negative roots at the base point… view at source ↗
Figure 6
Figure 6. Figure 6: The refined candidates plotted by argument and modulus. Dotted vertical guide lines mark several rational arguments. The present |q| ≤ 0.8 list contains no candidates close to the imaginary axis; its non-real candidates remain comparatively close to the positive real direction. Thus the predictions for directions such as arg q = ±π/2 should be tested using candidates closer to the unit circle. The last poi… view at source ↗
read the original abstract

We study the complex spectrum of the partial theta function \[ \Theta(q,x)=\sum_{j=0}^{\infty}q^{j(j+1)/2}x^j, \qquad |q|<1, \] where a spectral value is a parameter for which \(\Theta(q,\cdot)\) has a multiple zero. Since the function is defined here only for \(|q|<1\), all spectral values are strictly inside the unit disk; boundary points on \(|q|=1\) occur only as accumulation points of the spectrum. The paper combines two complementary points of view. Near the unit circle we prove that every point of \(|q|=1\) is an accumulation point of the spectrum; the proof uses explicit spectral factors of truncations, the Jacobi triple product, and a boundary-window lifting argument near roots of unity. Inside a fixed subdisk, illustrated for \(|q|\leq 0.8\), the true spectrum is locally finite and must be separated carefully from the much larger branch loci of truncations and Jensen polynomials. We give a truncation-seeded Newton procedure which produces a discrete list of candidate spectral values, explain the caustic/escaping-root mechanism in finite approximants, and record numerical monodromy experiments using a radial convention: for a spectral point \(q_*\), roots are labelled at the point \(0.1q_*/|q_*|\) on the small circle and then continued along the straight radial segment to \(q_*\). This convention gives a coherent set of collision labels in the disk, treats negative real spectral values from the base point \(-0.1\), and leads to a preliminary rational-direction heuristic for radial monodromy.

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

2 major / 2 minor

Summary. The paper studies the spectrum of the partial theta function Θ(q,x) = ∑_{j=0}^∞ q^{j(j+1)/2} x^j (|q|<1), where spectral values are those q for which Θ(q,·) has a multiple zero. The central claim is that every point of |q|=1 is an accumulation point of the spectrum inside the disk; the proof combines explicit spectral factors of finite truncations, the Jacobi triple product identity, and a boundary-window lifting argument near roots of unity. Inside the subdisk |q|≤0.8 the spectrum is asserted to be locally finite and is located numerically via a truncation-seeded Newton method together with radial monodromy tracking; the paper also describes caustic/escaping-root phenomena in the approximants.

Significance. If the accumulation-point theorem holds, the result would clarify the limiting zero distribution of this q-series on the natural boundary |q|=1 and supply a concrete mechanism (lifting from truncations) that could be useful for other lacunary series. The numerical procedure and monodromy convention provide a reproducible computational framework for locating interior spectral points. The explicit use of the Jacobi identity for the factors is a methodological strength.

major comments (2)
  1. [boundary-window lifting argument] Boundary-window lifting argument (near roots of unity, described after the Jacobi-triple-product construction): the transfer of multiple zeros from the explicit spectral factors of the truncations to Θ(q,x) requires that the remainder after N terms remains small enough in an N-independent window around each root of unity to preserve multiplicity. The standard remainder bound O(q^{N(N+1)/2} x^N / (1-|q|)) is not uniform as |q|→1^− inside such windows, and no modulus-of-continuity estimate for the zero loci under this perturbation is supplied. This step is load-bearing for the accumulation claim.
  2. [interior spectrum and numerical method] § on interior spectrum (|q|≤0.8): the separation of true spectral values from the branch loci of the truncations and Jensen polynomials is asserted to be possible, yet the numerical Newton procedure is seeded by the truncation zeros; without an a-priori radius of isolation or a rigorous error bound between truncation and limit zeros inside the subdisk, it is unclear whether all reported points are genuine multiple zeros of the infinite sum rather than artifacts of the approximants.
minor comments (2)
  1. [numerical monodromy experiments] The radial monodromy convention (labeling at 0.1 q_*/|q_*| and continuing along the straight segment) is clearly described but its effect on collision labels near the negative real axis should be illustrated with an explicit example.
  2. [truncation factors] Notation for the spectral factors of the truncations is introduced without a displayed formula; adding an equation number would aid cross-reference with the Jacobi-triple-product step.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the detailed major comments. We respond point by point below.

read point-by-point responses

  1. Referee: [boundary-window lifting argument] Boundary-window lifting argument (near roots of unity, described after the Jacobi-triple-product construction): the transfer of multiple zeros from the explicit spectral factors of the truncations to Θ(q,x) requires that the remainder after N terms remains small enough in an N-independent window around each root of unity to preserve multiplicity. The standard remainder bound O(q^{N(N+1)/2} x^N / (1-|q|)) is not uniform as |q|→1^− inside such windows, and no modulus-of-continuity estimate for the zero loci under this perturbation is supplied. This step is load-bearing for the accumulation claim.

    Authors: We agree that the standard remainder estimate is not uniform in the windows and that an explicit modulus-of-continuity argument for the zero loci is required to complete the lifting step. In the revised manuscript we will supply such an estimate: inside a fixed angular window around each root of unity we apply Rouché’s theorem to the difference between the truncated factor (given by the Jacobi triple product) and the full partial theta function, controlling the perturbation uniformly for large N by exploiting the lacunary gap and a slightly smaller but still N-independent window radius chosen depending only on the root of unity. revision: yes

  2. Referee: [interior spectrum and numerical method] § on interior spectrum (|q|≤0.8): the separation of true spectral values from the branch loci of the truncations and Jensen polynomials is asserted to be possible, yet the numerical Newton procedure is seeded by the truncation zeros; without an a-priori radius of isolation or a rigorous error bound between truncation and limit zeros inside the subdisk, it is unclear whether all reported points are genuine multiple zeros of the infinite sum rather than artifacts of the approximants.

    Authors: The interior-spectrum section presents a computational procedure that produces candidate spectral values together with monodromy labels; the text already cautions that these must be distinguished from the branch loci of the approximants. We will revise the exposition to state explicitly that the listed points are numerical candidates whose genuineness is supported by observed quadratic convergence of the Newton iterates and by the radial-monodromy consistency, but that a rigorous a-priori isolation radius or error bound between truncation and limit zeros is not supplied. Such a bound lies outside the scope of the present work. revision: partial

Circularity Check

0 steps flagged

No circularity detected in derivation chain

full rationale

The paper defines the spectrum directly as parameters yielding multiple zeros of Θ(q,·). Its proof of accumulation on |q|=1 invokes the external Jacobi triple product identity plus newly constructed explicit spectral factors of finite truncations, followed by a boundary-window lifting argument. No equation reduces a claimed spectral value or accumulation result to a fitted input by construction, no self-citation supplies a load-bearing uniqueness theorem, and no ansatz is smuggled via prior work. The derivation therefore remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the known Jacobi triple product identity and on the assumption that finite truncations of the series converge uniformly enough near the boundary to support the lifting argument; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • standard math The Jacobi triple product identity holds and can be applied to the partial theta function.
    Explicitly invoked in the near-boundary proof.
  • domain assumption Truncations of the series and their spectral factors approximate the infinite sum sufficiently well inside |q|<1 for the lifting argument to transfer multiple zeros.
    Central to both the accumulation proof and the numerical procedure.

pith-pipeline@v0.9.1-grok · 5825 in / 1401 out tokens · 22767 ms · 2026-06-28T23:58:08.738438+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

11 extracted references · 1 canonical work pages · 1 internal anchor

  1. [1]

    Craven and G

    T. Craven and G. Csordas, Jensen polynomials and the Turan and Laguerre inequalities, Pacific J. Math. 136 (1989), 241–260

    1989

  2. [2]

    Edrei, E

    A. Edrei, E. B. Saff and R. S. Varga, Zeros of sections of power series, Lecture Notes in Mathematics, Vol. 1002, Springer, 1983

    1983

  3. [3]

    Erd˝ os and P

    P. Erd˝ os and P. Tur´ an, On the distribution of roots of polynomials, Ann. of Math. (2) 51 (1950), 105–119

    1950

  4. [4]

    Forsg˚ ard, Notes on the partial theta function, unpublished notes, 2014

    J. Forsg˚ ard, Notes on the partial theta function, unpublished notes, 2014

    2014

  5. [5]

    Where not to find the spectrum of the partial theta function

    Y. Gati and V. P. Kostov, Where not to find the spectrum of the partial theta function, preprint, arXiv:2605.29903

    work page internal anchor Pith review Pith/arXiv arXiv

  6. [6]

    V. P. Kostov, Asymptotics of the spectrum of partial theta function, Rev. Mat. Complut. 27 (2014), 677–684

    2014

  7. [7]

    V. P. Kostov, On the zeros of a partial theta function, Bull. Sci. Math. 137 (2013), 1018–1030

    2013

  8. [8]

    V. P. Kostov, On the double zeros of the partial theta function, Publ. Math. Debrecen 90 (2017), 117–131

    2017

  9. [9]

    V. P. Kostov and B. Shapiro, Hardy–Petrovitch–Hutchinson’s problem and partial theta function, Duke Math. J. 162 (2013), 825–861

    2013

  10. [10]

    R. J. McIntosh, Some asymptotic formulae forq-shifted factorials, Ramanujan J. 3 (1999), 205–214

    1999

  11. [11]

    A. D. Sokal, Roots of a formal power series, with applications to graph enumeration and q-series, lecture notes. Department of Mathematics, Stockholm University, Stockholm, S-10691, Sweden Email address:shapiro@math.su.se