pith. sign in

arxiv: 2510.11766 · v4 · submitted 2025-10-13 · 🪐 quant-ph · nucl-th

Exact WKB method for radial Schr\"odinger equation

Okuto Morikawa , Shoya Ogawa This is my paper

Pith reviewed 2026-05-18 07:43 UTC · model grok-4.3

classification 🪐 quant-ph nucl-th
keywords exact WKBradial Schrödinger equationresurgencequantization conditionsharmonic oscillatorCoulomb potentialmonodromyturning points
0
0 comments X

The pith

Nontrivial cycles encircling the origin via negative-r paths determine spectra for radial Schrödinger equations.

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

The paper shows that connection formulae at simple turning points and regular singular points allow the data from nontrivial cycles to produce the energy spectrum in radial Schrödinger problems. For the three-dimensional harmonic oscillator and Coulomb potential, the authors construct an explicit closed contour that begins at positive infinity, extends into the r less than zero region to loop around the origin, and returns to infinity. A change of variables r equals e to the power x transforms the radial coordinate so that behavior at the origin becomes a convergence condition at negative infinity, equating open-path and closed-cycle quantization. The phase contribution from the singularity at zero is handled either through monodromy around a small circle, justified via renormalization-group reasoning, or as an equivalent boundary phase. This framework clarifies how mathematical monodromy data align with physical boundary conditions at the origin.

Core claim

Using connection formulae at simple turning points and at regular singular points, the nontrivial-cycle data give the spectrum. In particular, for the 3-dimensional harmonic oscillator and the 3-dimensional Coulomb potential, a closed contour is computed which starts at +∞, bulges into the r<0 sector to encircle the origin, and returns to +∞. Via the change of variables r = e^x (x in (−∞, ∞)), the origin data are pushed to the boundary condition of convergence at x → −∞, rendering the equivalence between open-connection and closed-cycle quantization transparent. The Maslov contribution from the regular singularity is incorporated either as a small-circle monodromy justified in terms of the<f

What carries the argument

Connection formulae at turning points and regular singular points applied to nontrivial cycles, including the explicit closed contour that encircles the origin through the negative-r sector.

Load-bearing premise

The connection formulae at the regular singular point at the origin, together with the contour choice that enters the negative-r sector, correctly capture the physical boundary conditions without further adjustment.

What would settle it

Compute the quantization condition for the three-dimensional harmonic oscillator using the proposed closed contour and its monodromy data, then compare the resulting energies to the known exact levels (2n + l + 3/2) ħω.

read the original abstract

We revisit exact WKB quantization for radial Schr\"odinger problems from the modern resurgence perspective, with emphasis on how ``physically meaningful'' quantization paths should be chosen and interpreted. Using connection formulae at simple turning points and at regular singular points, we show that the nontrivial-cycle data give the spectrum. In particular, for the $3$-dimensional harmonic oscillator and the $3$-dimensional Coulomb potential, we explicitly compute a closed contour which starts at $+\infty$, bulges into the $r<0$ sector to encircle the origin, and returns to $+\infty$. Also we propose that the appropriate slice of the closed path provides a physical local basis at $r=0$, which is used by an origin-to-$\infty$ open path. Via the change of variables $r=e^x$ ($x\in(-\infty,\infty)$), the origin data are pushed to the boundary condition of convergence at $x\to-\infty$, which renders the equivalence between open-connection and closed-cycle quantization transparent. The Maslov contribution from the regular singularity is incorporated either as a small-circle monodromy which is justified in terms of renormalization group, or, equivalently, as a boundary phase; we also develop an optimized/variational perturbation theory on exact WKB. Our analysis clarifies, in radial settings, how mathematical monodromy data and physical boundary conditions dovetail, thereby addressing recent debates on path choices in resurgence-based quantization.

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 manuscript revisits exact WKB quantization for radial Schrödinger problems from the modern resurgence perspective, with emphasis on choosing and interpreting physically meaningful quantization paths. Using connection formulae at simple turning points and at regular singular points, it shows that the nontrivial-cycle data give the spectrum. For the 3-dimensional harmonic oscillator and the 3-dimensional Coulomb potential, it explicitly computes a closed contour starting at +∞, bulging into the r<0 sector to encircle the origin, and returning to +∞. The change of variables r=e^x (x∈(−∞,∞)) is proposed to push origin data to the x→−∞ boundary condition, rendering open-connection and closed-cycle quantization equivalent. The Maslov contribution from the regular singularity at the origin is incorporated either as small-circle monodromy (justified via renormalization group) or equivalently as a boundary phase. An optimized/variational perturbation theory on exact WKB is also developed. The analysis aims to clarify how mathematical monodromy data and physical boundary conditions dovetail in radial settings.

Significance. If the central claims hold, this work would clarify the relationship between mathematical monodromy data and physical boundary conditions for radial quantum problems, addressing debates on path choices in resurgence-based quantization. The explicit contour constructions for the harmonic oscillator and Coulomb cases, together with the r=e^x mapping, could offer a transparent framework for quantization in singular potentials. The development of optimized perturbation theory adds practical utility. Strengths include the focus on concrete examples and the attempt to bridge resurgence concepts with standard radial boundary conditions.

major comments (2)
  1. [Abstract] Abstract and § on connection formulae: the claim that nontrivial-cycle data yield the spectrum for the oscillator and Coulomb cases asserts explicit computations, but the derivation steps verifying that the proposed closed contour (with r<0 bulge) reproduces the exact spectra via the connection formulae are not visible; this is load-bearing for the central claim.
  2. [Section on change of variables] Section on r=e^x change of variables and Maslov phase: the assertion that this transformation renders open vs. closed quantization equivalent and that the Maslov contribution can be incorporated as RG-justified small-circle monodromy or boundary phase lacks an explicit derivation tying it to the standard l-dependent phase shift obtained from the indicial equation at the regular singular point r=0; without this, the quantization conditions for the explicit contours may not match known spectra.
minor comments (2)
  1. [Figures] A figure illustrating the proposed closed contour in the complex r-plane (including the bulge into r<0) would improve clarity of the path choice.
  2. [Notation] Notation for cycles and local bases at turning points and the origin should be defined more explicitly to avoid ambiguity when applying connection formulae.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments, which help clarify the presentation of our results on exact WKB quantization for radial problems. We have revised the manuscript to address the major concerns by expanding the relevant sections with more explicit derivations. Our point-by-point responses follow.

read point-by-point responses

  1. Referee: [Abstract] Abstract and § on connection formulae: the claim that nontrivial-cycle data yield the spectrum for the oscillator and Coulomb cases asserts explicit computations, but the derivation steps verifying that the proposed closed contour (with r<0 bulge) reproduces the exact spectra via the connection formulae are not visible; this is load-bearing for the central claim.

    Authors: We agree that the verification steps merit a more explicit presentation to make the central claim fully transparent. In the revised manuscript we have added a dedicated subsection that walks through the application of the connection formulae at the simple turning points and at the regular singular point for the proposed closed contour. For the 3D harmonic oscillator we explicitly compute the monodromy data around the contour (starting at +∞, bulging into r<0 to encircle the origin, and returning to +∞) and show that the resulting quantization condition reproduces the exact spectrum E=2n+l+3/2. An analogous calculation is provided for the Coulomb potential, confirming agreement with the known Balmer formula. These steps were present in outline but are now written out in full detail. revision: yes

  2. Referee: [Section on change of variables] Section on r=e^x change of variables and Maslov phase: the assertion that this transformation renders open vs. closed quantization equivalent and that the Maslov contribution can be incorporated as RG-justified small-circle monodromy or boundary phase lacks an explicit derivation tying it to the standard l-dependent phase shift obtained from the indicial equation at the regular singular point r=0; without this, the quantization conditions for the explicit contours may not match known spectra.

    Authors: The referee correctly identifies that an explicit link to the indicial equation strengthens the argument. We have inserted a new derivation that begins from the indicial equation at the regular singular point r=0, extracts the standard l-dependent phase shift, and demonstrates its equivalence both to the small-circle monodromy (justified via the renormalization-group flow) and to the boundary phase imposed at x→−∞ after the r=e^x change of variables. This establishes that the open-connection and closed-cycle quantization conditions are identical and reproduce the known spectra for the oscillator and Coulomb cases. The revised text now contains this explicit tie-in. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via standard formulae

full rationale

The paper's central claim uses established connection formulae at turning points and regular singular points (drawn from prior resurgence/WKB literature) to link nontrivial-cycle data to the spectrum. The r=e^x substitution and contour choices (including r<0 bulge) are interpretive mappings that make open vs. closed quantization equivalent by construction of the transformed equation, not by redefining inputs as outputs. Maslov incorporation via RG monodromy or boundary phase is justified externally rather than fitted or self-referentially. No load-bearing step reduces by the paper's own equations to a self-citation chain or fitted parameter renamed as prediction. The explicit HO/Coulomb contours follow directly from applying the cited formulae to the chosen paths.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on established WKB connection formulae at turning points and regular singular points plus standard resurgence concepts; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Connection formulae at simple turning points and regular singular points hold and can be used to extract spectrum from nontrivial-cycle data.
    Invoked directly to conclude that nontrivial-cycle data give the spectrum.
  • domain assumption The Maslov contribution at the regular singularity can be treated as small-circle monodromy justified by renormalization-group flow or equivalently as a boundary phase.
    Proposed as the mechanism that incorporates the origin singularity into the quantization condition.

pith-pipeline@v0.9.0 · 5782 in / 1627 out tokens · 64332 ms · 2026-05-18T07:43:19.084742+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.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · 5 internal anchors

  1. [1]

    The return of the quartic oscillator. the complex wkb method,

    A. Voros, “The return of the quartic oscillator. the complex wkb method,”Ann. Inst. Henri Poincar´ e39 no. 3, (1983) 211–338

    work page 1983

  2. [2]

    Resurgent methods in semi-classicaasymptotics,

    E. Delabaere and F. Pham, “Resurgent methods in semi-classicaasymptotics,”Ann. Inst. Henri Poincar´ e71 (1999) 1–94

    work page 1999

  3. [3]

    Exact WKB analysis and cluster algebras

    K. Iwaki and T. Nakanishi, “Exact WKB analysis and cluster algebras,”J. Phys. A47no. 47, (2014) 474009, arXiv:1401.7094 [math.CA]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  4. [4]

    On exact-WKB analysis, resurgent structure, and quantization conditions,

    N. Sueishi, S. Kamata, T. Misumi, and M. ¨Unsal, “On exact-WKB analysis, resurgent structure, and quantization conditions,”JHEP12(2020) 114,arXiv:2008.00379 [hep-th]

    work page arXiv 2020

  5. [5]

    Exact-WKB, complete resurgent structure, and mixed anomaly in quantum mechanics on S 1,

    N. Sueishi, S. Kamata, T. Misumi, and M. ¨Unsal, “Exact-WKB, complete resurgent structure, and mixed anomaly in quantum mechanics on S 1,”JHEP07(2021) 096,arXiv:2103.06586 [quant-ph]

    work page arXiv 2021

  6. [6]

    Exact WKB analysis for SUSY and quantum deformed potentials: Quantum mechanics with Grassmann fields and Wess-Zumino terms,

    S. Kamata, T. Misumi, N. Sueishi, and M. ¨Unsal, “Exact WKB analysis for SUSY and quantum deformed potentials: Quantum mechanics with Grassmann fields and Wess-Zumino terms,”Phys. Rev. D107no. 4, (2023) 045019,arXiv:2111.05922 [hep-th]

    work page arXiv 2023

  7. [7]

    Exact WKB analysis for PT-symmetric quantum mechanics: Study of the Ai-Bender-Sarkar conjecture,

    S. Kamata, “Exact WKB analysis for PT-symmetric quantum mechanics: Study of the Ai-Bender-Sarkar conjecture,”Phys. Rev. D109no. 8, (2024) 085023,arXiv:2401.00574 [hep-th]

    work page arXiv 2024

  8. [8]

    Exact quantization conditions and full transseries structures for PT symmetric anharmonic oscillators,

    S. Kamata, “Exact quantization conditions and full transseries structures for PT symmetric anharmonic oscillators,”Phys. Rev. D110no. 4, (2024) 045022,arXiv:2406.01230 [hep-th]

    work page arXiv 2024

  9. [9]

    Excitation of Schwarzschild black hole quasinormal modes,

    N. Andersson, “Excitation of Schwarzschild black hole quasinormal modes,”Phys. Rev. D51(1995) 353–363

    work page 1995

  10. [10]

    Path to an exact WKB analysis of black hole quasinormal modes,

    T. Miyachi, R. Namba, H. Omiya, and N. Oshita, “Path to an exact WKB analysis of black hole quasinormal modes,”Phys. Rev. D111no. 12, (2025) 124045,arXiv:2503.17245 [hep-th]

    work page arXiv 2025

  11. [11]

    Quasinormal modes of black holes and Borel summation,

    Y. Hatsuda, “Quasinormal modes of black holes and Borel summation,”Phys. Rev. D101no. 2, (2020) 024008,arXiv:1906.07232 [gr-qc]

    work page arXiv 2020

  12. [12]

    Spectral Problems for Quasinormal Modes of Black Holes,

    Y. Hatsuda and M. Kimura, “Spectral Problems for Quasinormal Modes of Black Holes,”Universe7no. 12, (2021) 476,arXiv:2111.15197 [gr-qc]

    work page arXiv 2021

  13. [13]

    Quasinormal modes of black holes. II. Pad´ e summation of the higher-order WKB terms,

    J. Matyjasek and M. Telecka, “Quasinormal modes of black holes. II. Pad´ e summation of the higher-order WKB terms,”Phys. Rev. D100no. 12, (2019) 124006,arXiv:1908.09389 [gr-qc]

    work page arXiv 2019

  14. [14]

    Resonance and absorption spectra of the Schwarzschild black hole for massive scalar perturbations: a complex angular momentum analysis

    Y. Decanini, A. Folacci, and B. Raffaelli, “Resonance and absorption spectra of the Schwarzschild black hole for massive scalar perturbations: a complex angular momentum analysis,”Phys. Rev. D84(2011) 084035, arXiv:1108.5076 [gr-qc]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  15. [15]

    Quasinormal modes and bound states of massive scalar fields in wormhole spacetimes,

    S. Alfaro, P. A. Gonz´ alez, D. Olmos, E. Papantonopoulos, and Y. V´ asquez, “Quasinormal modes and bound states of massive scalar fields in wormhole spacetimes,”Phys. Rev. D109no. 10, (2024) 104009, arXiv:2402.15575 [gr-qc]

    work page arXiv 2024

  16. [16]

    Asymptotic black hole quasinormal frequencies

    L. Motl and A. Neitzke, “Asymptotic black hole quasinormal frequencies,”Adv. Theor. Math. Phys.7no. 2, (2003) 307–330,arXiv:hep-th/0301173

    work page internal anchor Pith review Pith/arXiv arXiv 2003

  17. [17]

    On the derivation of the dispersion formula for nuclear reactions,

    A. J. F. Siegert, “On the derivation of the dispersion formula for nuclear reactions,”Phys. Rev.56(Oct,

    work page

  18. [18]

    Kawai and Y

    T. Kawai and Y. Takei,Algebraic Analysis of Singular Perturbation Theory. American Mathematical Society, America, 2005

    work page 2005

  19. [19]

    Optimized Perturbation Theory,

    P. M. Stevenson, “Optimized Perturbation Theory,”Phys. Rev. D23(1981) 2916

    work page 1981

  20. [20]

    Convergence proof for optimized Delta expansion: The Anharmonic oscillator,

    A. Duncan and H. F. Jones, “Convergence proof for optimized Delta expansion: The Anharmonic oscillator,” Phys. Rev. D47(1993) 2560–2572

    work page 1993

  21. [21]

    Proof of the convergence of the linear delta expansion,

    I. R. C. Buckley, A. Duncan, and H. F. Jones, “Proof of the convergence of the linear delta expansion,”Phys. Rev. D47(1993) 2554–2559

    work page 1993

  22. [22]

    Convergence behavior of variational perturbation expansion-- A method for locating Bender-Wu singularities

    H. Kleinert and W. Janke, “Convergence behavior of variational perturbation expansion: A Method for 20 locating Bender-Wu singularities,”Phys. Lett. A206(1995) 283,arXiv:quant-ph/9509005

    work page internal anchor Pith review Pith/arXiv arXiv 1995

  23. [23]

    Summation of divergent series: Order-dependent mapping

    J. Zinn-Justin, “Summation of divergent series: Order-dependent mapping,” inApproximation and extrapolation of convergent and divergent sequences and series. 1, 2010.arXiv:1001.0675 [math-ph]. 21

    work page internal anchor Pith review Pith/arXiv arXiv 2010