{"id":"c8612c35-cecc-4cec-9509-191a135f7511","arxiv_id":"2412.15332","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For Kerr spins above a critical threshold near 0.78, the most negative value of the Gauss-Bonnet invariant is reached at non-equatorial polar angles, which the author identifies as the location of supported massive scalar rings.","lead":"Using an effective-potential analysis, this paper argues that Kerr black holes spinning faster than about 78% of the extremal limit can support thin rings of massive scalar matter that sit above and below the equatorial plane, rather than on it. The result extends known black-hole scalarization in Einstein-Gauss-Bonnet theories, but the claimed bound states are inferred from a necessary condition rather than constructed from solutions of the scalar field equation.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The ring claim rests on Eq. (17) as a sufficiency condition, but a normalizable solution of Eq. (13) is never constructed; the paper proves a potential well, not a bound state.","rationale":"I read the paper in good faith. The algebraic minimization of G_Kerr appears broadly sound: the tables and formulas are consistent with a non-equatorial minimum for a>0.78, modulo a possible missing factor 12 in Eq. (20) that does not affect the existence argument. The decisive gap is the step from potential to mode. The reader's verdict identifies this correctly. My own analysis of the near-critical scalings reinforces it: the bound-state question cannot be reduced to min μ_eff²<0. I do not see a different, stronger objection; the issue is not that the result contradicts known numerics but that it is unproven. Hence the reader's REJECT remains appropriate, and no verdict adjustment is needed.","tokens_in":9404,"tokens_out":14146,"duration_ms":139361,"concrete_test":"Solve the eigenvalue problem for the linearized equation (13) on the fixed Kerr background, restricting to the axisymmetric sector, for a chosen super-critical spin (e.g., a_bar=0.9), a large mass (M μ = 10), and coupling η set by Eq. (22) with a small positive ǫ (e.g., ǫ = 1/(M μ)). Use a spectral or collocation discretization in (r, θ) with boundary conditions regular at the horizon and decaying at infinity, and compute the lowest eigenvalue λ_min of the spatial operator. If λ_min ≥ 0 for a sequence ǫ→0, the condition (17) is not sufficient and the ring claim fails; if λ_min < 0 in a neighborhood of (22), the central claim is supported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is an existence statement about solutions of the linearized Klein-Gordon equation (13). The paper's only bridge from 'μ_eff² is negative somewhere' (Eq. 14) to 'a bound state exists' is Eq. (17), the assertion that in the large-mass regime the scalarization onset is marked by min{μ_eff²}→0^-. That condition is at most necessary: a zero-energy normalizable mode is an eigenfunction of the elliptic operator L=-∇²+μ_eff² with eigenvalue 0, and the existence of a point where μ_eff²<0 is not sufficient for L to have a negative (or zero) eigenvalue. The radial problem on the half-line r∈[r+,∞) with horizon regularity and asymptotic decay has a well-known threshold: an arbitrarily shallow/narrow well need not bind. This is not a purely pedantic objection here, because the paper's own near-critical scalings (23)-(26) show that as ǫ→0 (the approach to Eq. (22) from above) the negative region has width Δθ ~ √ǫ and Δr ~ ǫ r+, while the depth is ~ μbar² ǫ/M²; the dimensionless well-strength combination therefore tends to zero unless ǫ is kept large enough, in which case min μ_eff² is not near 0^-. Either way, the existence of a ring mode is a quantitative eigenvalue condition that is never checked. Citing Refs. [31,39,40] for Eq. (17) does not settle the non-separable Kerr+GB case, where the angular and radial problems are coupled. Thus the headline 'it is proved' overstates what is actually shown.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies a massive scalar field non-minimally coupled to the Gauss-Bonnet invariant in a fixed Kerr black-hole background. In the regime η̄<0 and μ̄≫1, it computes the global minimum of the Kerr Gauss-Bonnet invariant (Eq. 19) and, invoking the criterion min{μ_eff²}→0^- (Eq. 17), derives a critical relation between the coupling and the mass (Eq. 22). It then analyzes the shape of the negative region of μ_eff² near this critical line (Eq. 26) and obtains the angular and radial widths of the putative rings (Eqs. 29 and 30). The paper concludes that rapidly spinning Kerr black holes can support a pair of non-equatorial massive scalar rings.","tokens_in":9757,"tokens_out":6157,"duration_ms":51562,"significance":"If the main existence claim were established, the result would add a genuinely new qualitative feature to the Einstein-Gauss-Bonnet scalarization literature: off-equatorial, arbitrarily thin scalar rings in a fixed Kerr background. The explicit formulas for the global minimum of G_Kerr and the monotonic behavior displayed in Table I are useful analytical results. However, the central claim is an existence statement about solutions of the linearized Klein-Gordon equation, and the manuscript never constructs or proves the existence of a normalizable scalar cloud. The significance therefore rests entirely on an unverified sufficiency assumption, so the result as stated is not established.","major_comments":[{"comment":"The condition min{μ_eff²}→0^- is treated as sufficient for the existence of a bound-state solution of Eq. (13), but it is at most necessary. A normalizable mode is an eigenfunction of an elliptic operator with regular horizon behavior and decay at infinity; negativity of the effective potential at isolated points does not imply a zero-energy bound state. No solution of the Klein-Gordon equation is constructed, and no spectral argument is given. Consequently, the abstract's statement 'it is proved that ... Kerr black holes ... can support a pair of non-equatorial massive scalar rings' is not supported by the body of the paper.","section":"Section III, Eq. (17)"},{"comment":"The near-critical scalings show that as ε→0 the negative region of μ_eff² has angular width Δ(cos²θ)~√ε and radial width Δr~ε r+, while the depth of the well scales as μ̄²ε. For fixed μ̄, the dimensionless well-strength combination depth × (width)² tends to zero as ε→0, so an arbitrarily shallow and narrow well need not bind a mode. If instead ε is kept large enough to make the well deep enough to bind, then min{μ_eff²} is not close to 0^-, contradicting the assumed onset criterion. The paper therefore needs a quantitative eigenvalue condition (for example a variational bound or an explicit mode solution) to establish that the critical line (22) actually corresponds to an existing bound state.","section":"Section IV, Eqs. (23)-(26)"},{"comment":"The critical relation (22) is obtained by substituting the global minimum (19) and the angular location (20) into the onset criterion (17). It is thus a restatement of the assumed criterion after algebraic substitution, not an independent derivation of an existence line. Moreover, the cited references [31,39,40] for Eq. (17) concern related but different settings; no argument is provided that the same criterion is valid for a massive scalar field in the non-separable Kerr background, where the radial and angular problems do not decouple.","section":"Equation (22)"}],"minor_comments":[{"comment":"The abstract and Eq. (18) use arctan(3√3) in the definition of a_crit, while Eqs. (19)-(22) and (20) use arctan(1/(3√3)). Please check which argument is correct and use a unified notation throughout.","section":"Abstract and Eq. (18)"},{"comment":"There are several typographical errors, including 'attarctive' in Section IV, 'spa cetime' in the abstract, and 'regim e' in the introduction. These should be corrected in a revision.","section":"Throughout"},{"comment":"The arrow in Eq. (22) is ambiguous: the text says the ratio tends to 1^+, while Eq. (23) parameterizes the ratio as (η̄/μ̄²)_crit (1+ε). Please state explicitly whether the approach is from above or below and how ε relates to the '+' in Eq. (22).","section":"Section IV, Eq. (23)"}],"recommendation":"reject","confidential_remarks":"The manuscript relies heavily on a large set of the author's own prior results, but the decisive step, the passage from a negative effective potential to a normalizable bound state, is not supplied. The central claim is an existence theorem, and the present analysis provides at most a necessary condition. In my view, this is not a presentation issue that a minor revision could fix; it would require a substantially different argument, such as an explicit construction or a variational proof of a normalizable mode. I would not recommend acceptance in the current form."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new thing here is the observation that for dimensionless spin a_bar above about 0.78, the global minimum of M^4 G_Kerr sits at a non-equatorial polar angle, with explicit formulas for the minimum value and location. That is a real qualitative step beyond the existing spinning scalarization literature, and the near-critical analysis in Section IV—ring widths scaling as sqrt(epsilon) in angle and epsilon in radius, relation (26), coefficients (27)-(28)—is clean algebra. The paper does its best work there.\n\nThe soft spot is exactly where the reader's stress-test lands. The abstract says \"it is proved\" that rapidly spinning Kerr black holes can support non-equatorial scalar rings. That is not what is shown. The bridge from \"mu_eff^2 is negative somewhere\" to \"a bound state exists\" is Eq. (17), the claim that in the large-mass regime onset is marked by min{mu_eff^2} -> 0^-, cited from earlier work. That is at most a necessary condition. No normalizable solution of the Klein-Gordon equation (13) is constructed, no WKB quantization is done, and the radial problem on the half-line has known threshold behavior: a shallow, narrow well need not bind. The paper's own near-critical scalings actually make this concrete—as epsilon -> 0 the well depth and width shrink in a combination that does not obviously support a zero-energy mode. So the central existence claim is unproven.\n\nThere is also a circular feel to the headline relation (22): it is the condition min{mu_eff^2} = 0 restated after substituting the asserted minimum of G_Kerr. That does not make it wrong, but it means the derivation inherits the unverified sufficiency of Eq. (17). I would also note that the minimization leading to (19) is presented without derivation; it looks plausible, but it is asserted rather than shown.\n\nTo be fair, none of this kills the geometric observation. The paper has proved a potential well exists in a non-equatorial ring, not that a scalar bound state lives in it. Reframing the claim from \"support rings\" to \"the effective potential admits a negative non-equatorial region, with the following near-critical shape, and we conjecture the corresponding bound state exists\" would be honest and still worth publishing.\n\nWho is this for? People working on Gauss-Bonnet scalarization of Kerr, and anyone interested in how onset criteria are used in this literature. I would send it to peer review—the observation deserves referee time—but the referee should push hard on the eigenvalue existence question, and the paper should come back substantially revised.","headline":"A sharp algebraic observation about where the Kerr Gauss-Bonnet invariant is minimal, wrapped in an overclaimed proof of non-equatorial scalar rings.","tokens_in":10274,"tokens_out":1840,"would_cite":false,"duration_ms":19700,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.70.-s","04.50.Kd"],"model":"deepseek-v4-flash","headline":"Rapidly rotating Kerr black holes in Einstein-Gauss-Bonnet theory can support thin non-equatorial rings of a massive scalar field when the dimensionless spin exceeds about 0.78.","keywords":["black holes","scalarization","Gauss-Bonnet coupling","Kerr spacetime","scalar rings","non-equatorial matter","effective mass","no-hair theorem"],"falsifier":"Numerically solve the linearized Klein-Gordon equation (13) on the Kerr background with $\\mu_{\\rm eff}^2$ from (14), imposing regularity at the horizon and decay at infinity, for parameters satisfying the critical ratio (35); if no normalizable mode exists, the sufficiency of the onset criterion (17) is falsified.","tokens_in":9118,"feed_emoji":"🕳️","tokens_out":11071,"duration_ms":91744,"temperature":0.7,"pith_summary":"The paper claims that rapidly rotating Kerr black holes in Einstein-Gauss-Bonnet theory can support pairs of thin non-equatorial rings made of a massive scalar field that is negatively coupled to the Gauss-Bonnet invariant. The proof works by analyzing the effective mass squared, $\\mu_{\\rm eff}^2 = \\mu^2 - \\eta G_{\\rm Kerr}$, and showing that for dimensionless spin $\\bar a > \\bar a_{\\rm crit} \\simeq 0.78$ the Gauss-Bonnet invariant has a negative minimum at an off-equatorial polar angle near the horizon. Tuning the scalar mass $\\mu$ and the negative coupling $\\eta$ so that $-\\eta/\\mu^2$ approaches a spin-dependent critical value makes $\\mu_{\\rm eff}^2$ negative inside a narrow ring, which is interpreted as the onset of spontaneous scalarization. If correct, this establishes a new class of black-hole matter configurations and gives an analytic existence line marking where bald Kerr black holes develop scalar clouds.","feed_headline":"Kerr black holes above spin 0.78 can host off-equatorial rings","feed_subtitle":"Massive scalar fields settle into thin rings near the horizon at a calculable spin-dependent ratio.","key_machinery":"The load-bearing object is the effective scalar mass squared, $\\mu_{\\rm eff}^2(r,\\theta)=\\mu^2-\\eta G_{\\rm Kerr}(r,\\theta)$, with $G_{\\rm Kerr}$ given by Eq. (12). The paper performs a two-dimensional extremum analysis of $G_{\\rm Kerr}$: for $\\bar a>\\bar a_{\\rm crit}\\simeq0.78$ the invariant attains a negative global minimum at the off-equatorial angle $(\\cos^2\\theta)_{\\min}$ from Eq. (20), with the minimum located at $r\\to r_+$. This converts the scalarization question into the geometry of a near-horizon potential well controlled by the small parameter $\\epsilon$, and produces the closed-form critical relation (22), the existence line (35), and the ring-width formulas (29) and (30).","core_discovery":"On the paper's own terms, the central result is an existence proof for linearized scalar bound states: for a Kerr black hole with dimensionless spin $\\bar a > \\bar a_{\\rm crit} = \\sqrt{\\{7+\\sqrt{7}\\cos[{1\\over3}\\arctan(3\\sqrt{3})] - \\sqrt{21}\\sin[{1\\over3}\\arctan(3\\sqrt{3})]\\}/12} \\simeq 0.78$, and for a massive scalar field in the theory with coupling function $f(\\varphi)=\\eta\\varphi^2/2$ and $\\eta<0$, the composed system admits pairs of non-equatorial rings. The rings sit at polar angles determined by $(\\cos^2\\theta)_{\\min}$ from Eq. (20), with radial location approaching the horizon radius $r_+$ in the spin limit. Their existence requires the large-mass, large-coupling limit $-\\eta\\to\\infty$, $\\mu\\to\\infty$ with the ratio $-\\eta/\\mu^2$ fixed at the critical value in Eq. (35), equivalently Eq. (22). In the near-critical regime the classically allowed region has angular width proportional to $\\sqrt{\\epsilon}$ and radial width proportional to $\\epsilon$, so the rings become arbitrarily thin as the critical ratio is approached from above.","pith_inferences":["The existence claim is established at the linearized level; whether the fully nonlinear field equations sustain these rings at the same critical ratio is not shown in the paper.","The extremum mechanism is somewhat generic: any curvature invariant that develops a negative off-equatorial minimum near a rapidly rotating horizon could support similar non-equatorial rings, so the phenomenon may extend beyond Gauss-Bonnet gravity.","Because the rings sit close to the horizon and require large couplings and masses, their direct astrophysical signature is likely weak; their significance may be mainly as an analytic marker of the scalarization threshold.","A numerical construction of the actual bound state would test whether the onset criterion (17) is sufficient, since the paper itself does not produce a normalizable solution."],"forward_implications":["For every $\\bar a$ in the super-critical range, the critical ratio (35) gives the specific negative coupling and scalar mass that place non-equatorial scalar rings around the Kerr black hole.","The ring angle moves monotonically from the equator at $\\bar a=\\bar a_{\\rm crit}$ to about $61.2^{\\circ}$ away from the equator in the extremal limit $\\bar a\\to1$.","The classically allowed widths shrink to zero as the critical ratio is approached from above ($\\epsilon\\to0$): angular width scales like $\\sqrt{\\epsilon}$ and radial width like $\\epsilon$.","Equation (35) marks the sharp boundary between bald Kerr black holes and spontaneously scalarized hairy configurations in the large-mass, large-coupling regime.","The presence of a finite scalar-field mass is what makes the ring widths arbitrarily thin, a feature that massless or minimally coupled configurations would not share."],"supporting_citations":[{"why":"Gives the Kerr metric in Boyer-Lindquist coordinates (9) on which the field-equation analysis is performed.","marker":"[35]"},{"why":"Supplies the Kerr Gauss-Bonnet invariant (12) and the result restricting negative-coupling scalarization to supercritical spins.","marker":"[22]"},{"why":"Establishes the onset criterion $\\min\\{\\mu_{\\rm eff}^2\\}\\to0^-$ and the large-$\\ell$ critical-spin analysis underlying Eq. (17).","marker":"[31]"},{"why":"Supports the large-mass onset criterion for non-minimally coupled massive scalar clouds in these theories.","marker":"[39]"},{"why":"Supports the near-critical large-mass behavior of the ratio $-\\eta/\\mu^2$ used in the critical relation.","marker":"[40]"},{"why":"Provides the analytic treatment of the critical existence line for spinning Gauss-Bonnet black holes that the present paper extends.","marker":"[28]"},{"why":"Provides the action (6) and the weak-field coupling expansion $f(\\varphi)=1+\\eta\\varphi^2/2$ used throughout.","marker":"[11]"}],"fun_headline_variants":["Spin >0.78 Kerr black holes support tilted scalar rings","Non-equatorial scalar rings circle fast black holes","Rapidly spinning Gauss-Bonnet holes host off-plane rings","Kerr holes spin >0.78 host tilted scalar rings","Off-equatorial rings appear for fast-spinning Kerr holes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper assumes that the effective mass squared touching zero from below is enough to guarantee a normalizable scalar bound state, but it never constructs the actual solution.","fun_headline_variants_meta":{"raw":{"variants":["Spin >0.78 Kerr black holes support tilted scalar rings","Non-equatorial scalar rings circle fast black holes","Rapidly spinning Gauss-Bonnet holes host off-plane rings","Kerr holes spin >0.78 host tilted scalar rings","Off-equatorial rings appear for fast-spinning Kerr holes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000755,"raw_usage":{"total_tokens":3457,"prompt_tokens":1144,"completion_tokens":2313,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":760,"completion_tokens_details":{"reasoning_tokens":2230}},"tokens_in":760,"tokens_out":2313,"duration_ms":13802,"temperature":1.0,"reasoning_tokens":2230,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T11:31:57.311169+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically solve the linearized Klein-Gordon equation (13) on the Kerr background with $\\mu_{\\rm eff}^2$ from (14), imposing regularity at the horizon and decay at infinity, for parameters satisfying the critical ratio (35); if no normalizable mode exists, the sufficiency of the onset criterion (17) is falsified.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the Kerr metric in Boyer-Lindquist coordinates (9) on which the field-equation analysis is performed."},{"cited_title":"Hod, Phys","cited_arxiv_id":null,"evidence_quote":"Provides the analytic treatment of the critical existence line for spinning Gauss-Bonnet black holes that the present paper extends."}],"review_version":1}