Bouncing singularities in Schwarzschild: a geometric origin of the QNM convergence region

Benjamin Withers; Paolo Arnaudo

arxiv: 2605.16489 · v2 · pith:2OJATJ6Fnew · submitted 2026-05-15 · 🌀 gr-qc · hep-th

Bouncing singularities in Schwarzschild: a geometric origin of the QNM convergence region

Paolo Arnaudo , Benjamin Withers This is my paper

Pith reviewed 2026-05-20 16:28 UTC · model grok-4.3

classification 🌀 gr-qc hep-th

keywords Schwarzschild spacetimequasi-normal modesretarded Green's functionconvergence radiusbouncing singularitynull geodesicscomplex time planeMatsubara modes

0 comments

The pith

A bouncing singularity in complex time, from a null geodesic off the black hole singularity, sets the convergence radius of the QNM expansion for the Schwarzschild retarded Green's function.

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

The paper shows analytically that the radius of convergence for the quasi-normal mode expansion of the retarded Green's function is fixed by a singularity in the complex time plane. This singularity arises geometrically when a null geodesic bounces from the black hole singularity. A reader would care because the result gives a concrete geometric reason for the observed bound on the convergence region at real times, which aligns with the null ray that scatters from the potential at r_* = 0. The same singularities also produce an annular convergence region for the Matsubara mode sum that governs early-time behavior near the horizon.

Core claim

We show analytically that the convergence of the QNM expansion of the retarded Green's function of the Schwarzschild spacetime is set by a singularity in the complex time plane. The singularity has a simple geometric origin: it is an example of a bouncing singularity caused by a null geodesic which bounces from the black hole singularity. This explains why the QNM convergence region at real times is bounded by the null ray which scatters from the gravitational potential at r_* = 0, since that ray lies at the same distance from the origin as the bouncing singularity in the relevant complex plane. The same set of singularities produces an annular region of convergence for the Matsubara modeSum

What carries the argument

The bouncing singularity in the complex time plane, generated by a null geodesic that bounces from the black hole singularity; it determines the radius of convergence of the QNM expansion and the annular convergence of the Matsubara sum.

If this is right

The QNM convergence region at real times is bounded by the null ray that scatters from the potential at r_* = 0.
The Matsubara mode sum for early-time behavior near the horizon converges inside an annular region set by the same singularities.
Analytic continuation of the Green's function shows that the bouncing singularities dominate the convergence over other candidate singularities.

Where Pith is reading between the lines

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

The same geometric mechanism could apply to other black hole backgrounds and link the convergence of QNM series directly to families of complex geodesics.
Numerical reconstructions of the Green's function at complex times could be used to verify the predicted radius without relying on the QNM sum itself.
Identifying the limiting singularity explicitly may guide the choice of resummation or Padé methods for QNM expansions in practice.

Load-bearing premise

The closest singularity to the real axis that controls the radius of convergence is the one produced by the bouncing null geodesic, rather than some other singularity or branch point that appears under analytic continuation.

What would settle it

An explicit evaluation of the retarded Green's function continued into the complex time plane that locates the singularity nearest the real axis and checks whether its position and effect on the QNM series match the location predicted by the bouncing geodesic.

Figures

Figures reproduced from arXiv: 2605.16489 by Benjamin Withers, Paolo Arnaudo.

**Figure 2.** Figure 2: FIG. 2. Bouncing geodesics in the Schwarzschild spacetime. [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗

**Figure 3.** Figure 3: FIG. 3. Lightcone singularities in the complex [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗

read the original abstract

We show analytically that the convergence of the QNM expansion of the retarded Green's function of the Schwarzschild spacetime is set by a singularity in the complex time plane. The singularity has a simple geometric origin: it is an example of a `bouncing singularity' in the language of AdS/CFT literature, caused by a null geodesic which bounces from the black hole singularity. Our work explains why the QNM convergence region at real times is bounded by null ray which scatters from the gravitational potential at a seemingly unremarkable point ($r_* = 0$ in the conventions of previous work) -- this ray is the same distance from the origin as the bouncing singularity in the relevant complex plane. The same set of singularities are responsible for an annular region of convergence for the Matsubara mode sum which describes the early time behaviour of the Schwarzschild Green's function for perturbations close to the horizon.

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

The paper traces the QNM convergence limit in Schwarzschild to a bouncing null geodesic singularity in complex time.

read the letter

This paper shows that the convergence of the quasinormal mode expansion for the retarded Green's function in Schwarzschild is fixed by a singularity in the complex time plane. That singularity comes from a null geodesic that bounces off the black hole singularity, and the authors link it directly to the null ray that scatters at r* = 0. They also use the same set of singularities to account for the annular convergence region in the Matsubara mode sum near the horizon at early times. The analytic demonstration is the core advance, and it explains a known feature of the convergence region through a geometric construction drawn from AdS/CFT language. The work does well by staying parameter-free and by checking consistency across the two expansions. The stress-test note finds the argument structure internally consistent with the Schwarzschild metric and retarded propagator, which is a positive sign. One soft spot is whether this bouncing singularity is strictly the closest one in the complex plane; the abstract asserts dominance, but the full derivations would need to show explicitly that no other features from the analytic continuation cut in first. Minor details of how the geodesic is continued into the complex plane could also use extra checks for robustness. This is for people working on black hole perturbation theory, QNM sums, and gravitational wave modeling who care about the mathematical limits of these expansions. A reader who wants a geometric handle on Green's function analyticity would get something concrete from it. It deserves a serious referee because the claim is specific, the evidence is analytic rather than fitted, and the result could clarify convergence issues that come up in applications. I would send it out for review.

Referee Report

2 major / 2 minor

Summary. The paper analytically shows that the radius of convergence of the QNM expansion of the retarded Green's function in Schwarzschild spacetime is fixed by a bouncing singularity in the complex time plane. This singularity originates geometrically from a null geodesic that bounces off the black-hole singularity; the same set of singularities also produces an annular convergence region for the Matsubara sum describing early-time near-horizon behavior. The construction explains why the real-time convergence boundary coincides with the null ray that scatters at r_* = 0.

Significance. If the central analytic link holds, the result supplies a concrete geometric origin for the limited convergence of QNM sums, connecting classical null-geodesic dynamics to the analytic structure of the Green's function. This offers a falsifiable, parameter-free explanation that may guide resummation methods and clarify the relation between QNM expansions and late-time tails in black-hole perturbation theory.

major comments (2)

[§3.2] §3.2: the claim that the bouncing singularity is strictly dominant requires an explicit comparison of its distance in the complex t-plane to the distances of all other singularities or branch points generated by the analytic continuation; without this ordering, the identification of the convergence radius remains incomplete.
[Eq. (22)] Eq. (22): the mapping from the null-geodesic bounce condition to the precise location of the singularity in complex time must be shown to be free of additional phase or residue factors that could alter the radius; the current derivation appears to assume this mapping is one-to-one.

minor comments (2)

The abstract would be strengthened by stating the numerical value of the complex-time location of the dominant singularity or the resulting convergence radius.
[Figure 3] Figure 3: label the real-time null ray and its complex-plane counterpart on the same diagram to make the geometric correspondence immediate.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment. We address each major comment below and indicate the revisions that will be incorporated in the next version.

read point-by-point responses

Referee: [§3.2] §3.2: the claim that the bouncing singularity is strictly dominant requires an explicit comparison of its distance in the complex t-plane to the distances of all other singularities or branch points generated by the analytic continuation; without this ordering, the identification of the convergence radius remains incomplete.

Authors: We agree that an explicit ordering of distances would strengthen the identification of the dominant singularity. In the revised manuscript we will add a direct comparison, in §3.2, of the modulus of the bouncing singularity against the locations of other singularities and branch points obtained from the analytic continuation of the retarded Green’s function, thereby confirming that the bouncing singularity sets the radius of convergence. revision: yes
Referee: [Eq. (22)] Eq. (22): the mapping from the null-geodesic bounce condition to the precise location of the singularity in complex time must be shown to be free of additional phase or residue factors that could alter the radius; the current derivation appears to assume this mapping is one-to-one.

Authors: The location given by Eq. (22) follows directly from the null-geodesic bounce condition, which determines the complex-time coordinate without additional phase or residue contributions that would modify the radius. To make this explicit, the revised text will expand the paragraph containing Eq. (22) to show that the mapping is one-to-one and that no extraneous factors enter the distance in the complex plane. revision: yes

Circularity Check

0 steps flagged

No significant circularity: analytic geometric derivation is self-contained

full rationale

The paper derives the radius of convergence of the QNM expansion of the retarded Green's function from the location of a bouncing singularity in the complex time plane, which arises directly from the properties of null geodesics reflecting off the Schwarzschild singularity. This construction uses the metric's analytic continuation and the definition of the retarded propagator to identify the dominant singularity without fitting parameters to data or redefining inputs in terms of outputs. The link to the real-time null ray at r_*=0 follows from equating distances in the relevant planes, providing independent geometric content. No load-bearing step reduces by construction to a self-citation, ansatz, or fitted input; the Matsubara sum analysis uses the same singularities for cross-consistency but does not create circularity. The derivation remains externally falsifiable via the stated null-geodesic properties.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard assumptions in black hole perturbation theory and analytic continuation; no free parameters or invented entities are apparent from the abstract.

axioms (2)

domain assumption The retarded Green's function of Schwarzschild perturbations admits a quasinormal mode expansion whose radius of convergence is set by singularities in the complex time plane.
This is the standard framework for analyzing linear perturbations in Schwarzschild spacetime invoked throughout the abstract.
domain assumption Null geodesics can be continued into the complex time plane to identify bouncing singularities.
Required to establish the geometric origin of the singularity that controls convergence.

pith-pipeline@v0.9.0 · 5679 in / 1507 out tokens · 99538 ms · 2026-05-20T16:28:46.848181+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the convergence of the QNM expansion of the retarded Green's function ... set by a singularity in the complex time plane ... caused by a null geodesic which bounces from the black hole singularity

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 3 Pith papers

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

Vanishing of all redshift modes in Schwarzschild ringdown
gr-qc 2026-06 unverdicted novelty 7.0

All redshift-mode contributions to Schwarzschild black-hole ringdown waveforms vanish exactly because causality forces the source-integrated Green function to vanish on the light cone.
Bouncing Geodesics, Singularities, and the Cavity Thermal Product Formula in Asymptotically Flat and de Sitter Black Holes
hep-th 2026-06 unverdicted novelty 6.0

Derives a cavity thermal product formula relating bouncing geodesic singularities in the retarded Green's function to the quasinormal mode spectrum for Schwarzschild and Schwarzschild-de Sitter black holes inside a re...
Radial Mirror Scattering and the QNM Convergence Region
gr-qc 2026-06 unverdicted novelty 5.0

A reflection about a distinguished point in the tortoise coordinate maps the Regge-Wheeler problem to a mirror version with the same QNM spectrum and provides an image interpretation of the lightcone distance controll...