{"id":"18dc12a1-ffa8-4185-812c-e9a5602d76b9","arxiv_id":"2506.14442","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For Topological Stars, the eikonal-limit renormalized angular momentum is expressed as hypergeometric functions tied to the null geodesic radial action, generalizing the Schwarzschild resummation.","lead":"The authors show that in Topological Star spacetimes the renormalized angular momentum parameter from black hole perturbation theory can be resummed exactly, in the eikonal limit, into hypergeometric functions, extending a known Schwarzschild result. A generalist reader might care because these closed forms could let gravitational wave calculations for these exotic compact objects reach the strong-field regime.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Appendix B drops the O(1/\\hat b) correction to the radial-action upper limit; the endpoint region can contribute at non-integer order in 1/\\hat b, so the claimed exactness of the G^(n) hypergeometric resummations is not established.","rationale":"The paper's central claim is that the renormalized angular momentum ν in the TS spacetime admits exact hypergeometric resummations in the eikonal limit, and that these follow from the null-geodesic radial action. The reader identified the weakest step as the replacement of the upper integration limit by its leading PM value in Appendix B, and I agree that this is the most load-bearing gap. The derivation after Eq. (B10) exchanges an integral with an infinite sum over an expansion that is not uniform near the endpoint ξ=1, and the omitted interval has width O(1/\\hat b) with a square-root behaviour that can produce non-integer powers of 1/\\hat b. The authors provide no argument for why this endpoint region is harmless, so the word 'exact' is not supported. I also noted a secondary inconsistency around Eq. (4.15): the stated relations ωr_s=(ϵ+2τ)/3 and ωr_b=-2(ϵ-τ)/3 are not both compatible with the definitions ϵ=-ω(r_b-r_s) and τ=ω(r_s+r_b)/2, although this does not directly affect the radial-action computation. The resummed expressions may well be correct; the gap is a missing proof or justification, not a demonstrated numerical error. A direct high-precision numerical evaluation of the radial action for a few values of α and \\hat b would settle whether the endpoint truncation changes any coefficient, and would either convert the conditional acceptance into a firmer one or expose a real flaw. Since the concern is correctable and does not by itself invalidate the central idea, the reader's CONDITIONAL verdict is appropriate and unchanged.","tokens_in":21566,"tokens_out":20702,"duration_ms":213488,"concrete_test":"Compute the TS radial action I_r(\\hat b,\\alpha) in (B2) by high-precision numerical integration for \\alpha=1 (and \\alpha=2) and \\hat b = 10,20,40,...,1280, subtracting the standard IR-divergent terms (1/u^2 and 1/u) with the same prescription as Appendix B. Fit the finite part as a function of x=1/\\hat b and compare the coefficients with Table I for G^{(1)}(x) and G^{(2)}(x) and with the Table II resummations. If any coefficient differs, or if a half-integer power x^{3/2} survives the subtraction, the upper-limit truncation is not harmless. As an analytic cross-check, re-derive the first three orders in 1/\\hat b of I_r keeping \\hat b u_max = 1+1/\\hat b+5/(2\\hat b^2)+... and verify that the O(x^{18}) coefficients in Table I are reproduced.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The exactness claim for Table II rests on the derivation in Appendix B. After Eq. (B10) the authors replace the upper integration limit \\hat b u_max = 1 + 1/\\hat b + 5/(2\\hat b^2) + ... by its leading value 1, saying it is enough to consider the leading-order PM term. This is not justified: the integrand in (B4) behaves near \\xi=1 as sqrt(2(\\hat b u_max - \\xi)) times a regular factor, so the omitted interval [1, \\hat b u_max] has length O(1/\\hat b) and can contribute a term of order \\hat b^{-3/2} (x^{3/2}) to the renormalized radial action. The termwise expansion in integer powers of 1/\\hat b in (B7)-(B11) cannot represent such a contribution and is not uniform near \\xi=1 because of the singular factor (1-\\xi^2)^{-1}. No argument is given that this endpoint correction cancels or is absorbed into the IR subtraction; the known Schwarzschild result is recovered only after a particular analytic-continuation prescription. Since the identification of G^{(n)} with the radial action is the core claim, this truncation is load-bearing: if the endpoint contributes, the closed forms in Table II are at best incomplete asymptotic series rather than exact resummations.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies scalar perturbations (s=0) on Topological Star (TS) spacetimes and claims two results: (i) a direct connection between the renormalized angular momentum parameter ν and the null geodesic radial action in the eikonal limit, and (ii) exact resummations of the eikonal functions G^(n)(x), defined as coefficients of the α-expansion of γ/c(l), in terms of generalized hypergeometric functions. The Schwarzschild case is reviewed following Ref. [19], and the TS case is treated by expanding the TS metric factor (1−2αu)^{-1/2} and resumming the resulting series. The main new output is Table I (expanded forms up to O(x^18)) and Table II (resummed forms for n=0,…,6), with the derivation of the radial action delegated to Appendix B. The paper also contains resummed scattering-angle expressions in Appendix A.","tokens_in":21881,"tokens_out":17644,"duration_ms":195725,"significance":"If the resummations are correct, the paper provides analytic, strong-field/eikonal data for scalar perturbations on Topological Star spacetimes, extending the recent universal-tail programme of Ref. [19] to horizonless compact objects. The explicit expansions in Table I, the closed forms in Table II, and the fact that the α→0 limit correctly reproduces the Schwarzschild results are concrete strengths; the results are checkable and contain no fitted parameters. The connection between ν and the radial action, if made rigorous, would be physically illuminating for QNM and self-force applications. However, the gap between the displayed finite-order expansions and the claimed exactness is substantial, and the radial-action derivation in Appendix B contains an unproven truncation that is central to the paper's claim.","major_comments":[{"comment":"The replacement of the upper integration limit by hat b*u_max = 1+O(1/hat b) is not justified and is load-bearing for the claimed exactness. The omitted interval [1, hat b*u_max] has length O(1/hat b), and near the true turning point the integrand in (B4) behaves as sqrt(hat b*u_max − xi) times a regular factor; the endpoint contribution is therefore O(hat b^{−3/2}) = O(x^{3/2}), a non-integer power that the termwise integer-power expansion in (B7)–(B11) cannot represent. The paper gives no argument that this contribution cancels, is exponentially suppressed, or is absorbed into the IR subtraction. Since the resummed radial-action expressions in (B14) are used to justify the G^(n) identities in Table II, this unexamined truncation directly affects the central claim.","section":"Appendix B, after Eq. (B10)"},{"comment":"The hypergeometric resummations for G^(1) through G^(6) are inferred by inspection of the first nine or ten coefficients in Table I (see the discussion before Eq. (5.1) and the phrase 'by inspection' in Section II), but no all-orders proof is supplied. For a generalized hypergeometric function, exactness requires that the coefficient sequence obey the corresponding first-order rational recurrence for all orders, or that the closed form be derived from a known integral or recurrence. The paper demonstrates only a finite-order match. Consequently the word 'exact' in the title and abstract is stronger than what has been established. The authors should either provide an all-orders proof (e.g., from the confluent-Heun three-term recurrence or from an exact evaluation of the radial-action integral) or explicitly present the resummations as conjectures supported to the displayed order.","section":"Section V and Table II"},{"comment":"The identification between the resummed radial action pieces I_α^i in Eq. (B14) and the eikonal functions G^(i)(x) in Table II is never shown explicitly. For Schwarzschild this relation is written in Eq. (3.23), but the analogous TS formula is absent: the factors EM/hat b^2, the constant subtractions, and the normalizations in (B14) are not matched order by order with the expansions in Table I. Without this matching, the central conceptual claim that ν is directly related to the TS radial action is asserted rather than demonstrated. The derivation should make the coefficient-by-coefficient identification explicit at least up to the orders displayed in Table I and Eq. (B14).","section":"Section IV.C and Appendix B"}],"minor_comments":[{"comment":"The sum starts at n=1 but contains a denominator n−1, which is singular at n=1; the sum should presumably begin at n=2.","section":"Eq. (2.34)"},{"comment":"The entry '1/2 G1(x)' in the row for G^(2)(x) appears to be a stray notation; it should be removed or clarified as 1/2 G^(1)(x).","section":"Table I"},{"comment":"The phrase 'Topologial Star' is a typo for 'Topological Star' and appears several times.","section":"Throughout"},{"comment":"There is a double '+ +' before the r^{11} term in the expansion of χ^{(0)}; this should be cleaned up.","section":"Eq. (A9)"},{"comment":"The abstract claims an 'exact resummation' without qualification, but Table II provides resummed forms only for n=0,…,6; the statement should be made precise.","section":"Abstract / Table II"}],"recommendation":"major_revision","confidential_remarks":"The paper is a direct continuation of the authors' own previous work on Topological Stars and of Ref. [19] on resummed tails. The genuinely new ingredient is the TS-specific hypergeometric resummation table, so the editorial assessment should focus on whether the exactness claims in the title and abstract are supported by the derivation in Appendix B. I do not see grounds for rejection, but the paper currently overstates what is proven."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the paper in one line: it takes the Schwarzschild resummation from Ref [19] and extends it to Topological Stars, producing explicit hypergeometric forms for the α-corrections G^(1)..G^(6) and for the scattering-angle coefficients χ^(1),(2),(3). Those closed forms are new and, if correct, useful for strong-field scalar perturbation work on TS spacetimes. The splitting-function decomposition of ν into N_{2k} is a small but nice organizational step.\n\nThe main thing to know: the word 'exact' in the title is not supported. The derivation of the radial action in Appendix B replaces the upper integration limit \\hat b u_max = 1 + 1/\\hat b + ... by 1, right after Eq (B10), with the comment that it is enough to take the leading PM term. That is not harmless. The integrand near the turning point behaves like sqrt(2(\\hat b u_max - ξ)) times a regular function, so the omitted interval [1, \\hat b u_max] has length O(1/\\hat b) and contributes O(\\hat b^{-3/2}) to the integral. After the overall factor \\hat b in (B4), that's a fractional power in 1/\\hat b, which the termwise integer-power expansion cannot represent. No argument is given that this endpoint piece cancels or is absorbed into the IR subtraction. If it doesn't, the 'exact' resummations in Table II are incomplete asymptotic series rather than exact identities. The stress-test note has it right.\n\nRelatedly, Table II only resums G^(0)..G^(6). The forms are inferred by inspection of the first nine or ten terms in Table I, and no all-orders proof is supplied. That's fine for a conjecture, but the abstract and title claim exactness. There's also a concrete internal slip: Eq (4.15) is inconsistent with the definitions (4.13); with those definitions, 27κ^2ϵ + (ϵ+2τ)^3 = -19 ω^3 r_s^3, not 0.\n\nThe positive side: the TS-specific G^(n) and χ resummations are new, they correctly reduce to Schwarzschild when α→0, and the connection to the null geodesic radial action is a sensible extension of Ref [19]. The paper is honest in many places about what is review versus what is new, and the citation pattern looks appropriate—the TS recurrence coefficients come from their earlier papers, which is the right source.\n\nFor whom: anyone computing scalar perturbations, self-force, or scattering angles on TS spacetimes beyond leading PN order. The paper deserves a serious referee, but it needs major revision: either justify the endpoint truncation in Appendix B, or soften the claim to a conjectured all-orders resummation verified to a given order. I'd send it to review with that demand.","headline":"Useful TS extension of the Schwarzschild eikonal resummation, but the 'exact' claim outruns the proof, and the radial-action derivation in Appendix B has a real endpoint gap.","tokens_in":22381,"tokens_out":8332,"would_cite":false,"duration_ms":79295,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C10","33C20","83C25"],"pacs":[],"model":"deepseek-v4-flash","headline":"In the eikonal limit, the renormalized angular momentum of scalar perturbations on a Topological Star resums exactly into generalized hypergeometric functions, extending the Schwarzschild result through a direct link to the null geodesic…","keywords":["renormalized angular momentum","Topological Star","eikonal limit","hypergeometric resummation","null geodesic radial action","scalar wave equation","scattering angle","MST formalism"],"falsifier":"Numerically evaluate the TS radial action $I_r(\\hat{b})$ keeping the exact upper limit $\\hat{b}u_{\\max}$ (rather than its leading-order value $1+O(1/\\hat{b})$), expand the result in powers of $1/\\hat{b}$ and in powers of $\\alpha$, and compare the coefficients with the $G^{(n)}(x)$ of Table II. Any mismatch at any order would show that the endpoint truncation contaminates the claimed exact resummations, falsifying the equality between $\\nu$ and the radial action in the Topological-Star case.","tokens_in":21329,"feed_emoji":"⭐","tokens_out":17186,"duration_ms":151853,"temperature":0.7,"pith_summary":"The paper claims that for a Topological Star — a horizonless compact object in a five-dimensional Einstein-Maxwell theory, reduced to four dimensions — the renormalized angular momentum parameter $\\nu$ of scalar perturbations admits an exact resummation in terms of generalized hypergeometric functions in the eikonal limit (large angular momentum at fixed $M E/J$). This is achieved by establishing a direct link, in that limit, between $\\nu$ and the radial action of null geodesics of the background, a link previously known only for Schwarzschild and here extended to the one-parameter Topological-Star family with parameter $\\alpha=r_b/r_s$ ($\\alpha=0$ recovers Schwarzschild). The representative closed form is $G^{(1)}(x)=-\\frac{3}{4}x^2\\,{}_3F_2(\\{\\frac{1}{2},\\frac{5}{6},\\frac{7}{6}\\},\\{\\frac{3}{2},2\\},27x^2)$, with analogous resummed expressions for the higher-order coefficients $G^{(2)}$ through $G^{(6)}$ and for the scattering-angle coefficients. A sympathetic reader cares because these closed forms replace Post-Newtonian series that by construction cannot enter the strong-field region, providing analytic strong-field data for perturbations of this family of compact objects.","feed_headline":"Topological-star angular momentum resums into hypergeometric functions","feed_subtitle":"Closed hypergeometric forms replace Post-Newtonian series in the eikonal limit.","key_machinery":"The central object is the renormalized angular momentum parameter $\\nu$, equivalently $G=(\\nu-l)/(2l+1)$, defined by the compatibility condition of the three-term recursion relation appearing in both the MST and qSW treatments of the separated wave equation. The identity chain that carries the argument is: in the eikonal limit $l\\to\\infty$ with $x=\\epsilon/(2l+1)=M E/J$ fixed, the expansion in the star's parameter $\\alpha$ gives $G=G^{(0)}(x)+\\alpha G^{(1)}(x)+\\alpha^2G^{(2)}(x)+\\cdots$, and each $G^{(n)}$ is equated to the order-$\\alpha^n$ piece of the large-impact-parameter expansion of the null geodesic radial action $I_r^{\\rm hyp}(b)$. Those pieces are then resummed exactly into generalized hypergeometric functions — power series whose coefficients are products of rising factorials, such as ${}_3F_2(\\{a_1,a_2,a_3\\},\\{b_1,b_2\\};z)$ — of argument $27x^2=(b_{\\rm crit}/b)^2$. The Appendix B machinery (substitution $u=\\xi/\\hat{b}$, Post-Minkowskian expansion of the integrand, and term-by-term hypergeometric summation) is what converts the radial action into the closed forms listed in Table II.","core_discovery":"Working with the scalar ($s=0$) wave equation in the reduced four-dimensional Topological-Star metric, the paper defines $\\gamma(l,0,\\epsilon)=\\nu(l,0,\\epsilon)-l$ and the rescaled object $G(l,0,\\epsilon)=\\gamma/c(l)$ with $c(l)=2l+1$. In the eikonal limit $l\\to\\infty$ at fixed $x=\\epsilon/c(l)=M E/J=1/\\hat{b}$, the perturbation-theory expansion $G=\\sum_k A_{2k}(L)x^{2k}$ tends to the universal Schwarzschild function $G_0(x)$ plus corrections $G^{(n)}(x)$ at order $\\alpha^n$, and each $G^{(n)}(x)$ is shown to match the corresponding term in the large-$b$ expansion of the null geodesic radial action $I_r^{\\rm hyp}(b)=\\int_{r_0}^{\\infty} p_r\\,dr$. The paper's original contribution is the exact resummation of this TS radial action, performed in Appendix B by substituting $u=\\xi/\\hat{b}$ and expanding in inverse powers of $\\hat{b}$; this yields closed forms such as $G^{(1)}(x)=-\\frac{3}{4}x^2\\,{}_3F_2(\\{\\frac{1}{2},\\frac{5}{6},\\frac{7}{6}\\},\\{\\frac{3}{2},2\\},27x^2)$, $G^{(2)}(x)=\\frac{1}{2}G^{(1)}(x)$, and analogous expressions for $G^{(3)}$ through $G^{(6)}$, together with resummed scattering-angle coefficients $\\chi^{(1)}_0,\\chi^{(2)}_0,\\chi^{(3)}_0$ for massless probes. The paper thus establishes the eikonal-limit equivalence between the renormalized angular momentum, a spectral datum of the wave equation, and the null radial action, a geometric datum of the background, for the whole Topological-Star family.","pith_inferences":["The same resummation strategy could be applied to the massive-probe scattering angle whose coefficients are tabulated in Appendix A but not resummed into closed form here.","The endpoint-truncation assumption can be tested numerically at moderate cost; if it survives, the $\\nu$–radial-action equivalence becomes a stronger geometric statement valid for the whole $\\alpha$-family.","Since the resummed functions are singular at $27x^2=1$ (the critical impact parameter), they may also provide a starting point for analytically continuing perturbation-theory quantities across the photon-sphere threshold, which the paper does not pursue."],"forward_implications":["The eikonal-limit renormalized angular momentum for Topological Stars becomes a closed hypergeometric function of $x=M E/J$, giving analytic strong-field expressions where Post-Newtonian series fail.","The resummed scattering-angle coefficients $\\chi^{(1)}_0,\\chi^{(2)}_0,\\chi^{(3)}_0$ (Eqs. A15–A17) provide order-by-order analytic targets for numerical or self-force computations on Topological-Star backgrounds.","Because $\\nu$ is tied to the radial action, the bound-to-unbound map carries over to $\\nu$, and the hypergeometric connection formulae allow analytic continuation of the eikonal data across the critical impact parameter $b_{\\rm crit}=3\\sqrt{3}M$.","The $\\alpha$-expansion structure means every order in the star's deformation parameter has its own resummation, so strong-field observables become analytic functions of both $x$ and $\\alpha$."],"supporting_citations":[{"why":"Supplies the MST analytic-solution method and the three-term recursion whose compatibility condition defines the renormalized angular momentum.","marker":"[1]"},{"why":"Extends the MST method to the Teukolsky equation, providing the same recursion central to the definition of $\\nu$.","marker":"[2]"},{"why":"Gives the recursion coefficients (Eq. 124 in the paper) used to set up the perturbation-theory expansion of $\\nu$.","marker":"[3]"},{"why":"Sets up scalar perturbations of Topological-Star spacetimes and the corresponding three-term recursion relation.","marker":"[14]"},{"why":"Proves the eikonal-limit relation between $\\nu$ and the null geodesic radial action in Schwarzschild and resums $G_0(x)$; the result this paper generalizes.","marker":"[19]"},{"why":"Provides the Topological-Star scalar-wave setup and recursion used for the eikonal-limit definitions of this work.","marker":"[30]"},{"why":"Supplies the integral representation and analytic continuation of the eikonal ${}_3F_2$ function used to extend results beyond the critical impact parameter.","marker":"[36]"},{"why":"Establishes the bound-to-unbound map connecting hyperbolic and elliptic radial actions, used in linking the radial action to $\\nu$.","marker":"[41]"}],"fun_headline_variants":["Exact resummation tames topological-star angular momentum","Topological-star angular momentum exactly resums in eikonal limit","Hypergeometric resummation links wave and geodesic actions","Exact resummation of TS angular momentum in eikonal limit","Topological-star wave angular momentum: exact resummation"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The exact resummation assumes that the upper end of the radial integral, $\\hat{b}u_{\\max}$, may be replaced by its leading-order value $1+O(1/\\hat{b})$, and that the omitted endpoint corrections never contribute at any order in the large-impact-parameter expansion; the paper gives no proof that this truncation is harmless.","fun_headline_variants_meta":{"raw":{"variants":["Exact resummation tames topological-star angular momentum","Topological-star angular momentum exactly resums in eikonal limit","Hypergeometric resummation links wave and geodesic actions","Exact resummation of TS angular momentum in eikonal limit","Topological-star wave angular momentum: exact resummation"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000577,"raw_usage":{"total_tokens":2779,"prompt_tokens":1057,"completion_tokens":1722,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":673,"completion_tokens_details":{"reasoning_tokens":1635}},"tokens_in":673,"tokens_out":1722,"duration_ms":13119,"temperature":1.0,"reasoning_tokens":1635,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T00:18:17.326935+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically evaluate the TS radial action $I_r(\\hat{b})$ keeping the exact upper limit $\\hat{b}u_{\\max}$ (rather than its leading-order value $1+O(1/\\hat{b})$), expand the result in powers of $1/\\hat{b}$ and in powers of $\\alpha$, and compare the coefficients with the $G^{(n)}(x)$ of Table II. Any mismatch at any order would show that the endpoint truncation contaminates the claimed exact resummations, falsifying the equality between $\\nu$ and the radial action in the Topological-Star case.","supporting_citations":[{"cited_title":"[36] (see Eqs","cited_arxiv_id":null,"evidence_quote":"Extends the MST method to the Teukolsky equation, providing the same recursion central to the definition of $\\nu$."},{"cited_title":"(A6) χis obtained by expanding in large- ˆJthe integrand (A3), and integrating then overrorder by order","cited_arxiv_id":null,"evidence_quote":"Gives the recursion coefficients (Eq. 124 in the paper) used to set up the perturbation-theory expansion of $\\nu$."},{"cited_title":"Ronveaux,Heun ’s differential equationsOxford Uni- versity Press (1995)","cited_arxiv_id":null,"evidence_quote":"Proves the eikonal-limit relation between $\\nu$ and the null geodesic radial action in Schwarzschild and resums $G_0(x)$; the result this paper generalizes."}],"review_version":1}