{"id":"765cc91c-fba1-432f-b970-5c478e993d28","arxiv_id":"2411.19311","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Exact complex power-law solutions of pure quadratic gravity, named powerballs, can match a Schwarzschild black hole just outside its horizon and give a finite-action model of the quantum interior.","lead":"Physicists found new complex mathematical solutions to a quantum gravity theory, quadratic gravity, that may describe the inside of black holes. The solutions, called powerballs, replace the singular core with a finite, horizonless geometry that looks like Schwarzschild from the outside and could produce observable gravitational wave echoes.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The path-integral weight rests on a complex r-contour that violates the Kontsevich–Segal bound at Arg(r)=π/2; the conformal-matter rescue in §6.2 is not demonstrated, so the finite-action/probability interpretation remains conditional.","rationale":"The reader's weakest assumption identifies the same load-bearing concern: the physical interpretation of the powerball as a finite-action, singularity-free quantum black hole interior depends on the legitimacy of the complex integration contour, and the paper's own §6.2 shows that this contour violates the Kontsevich–Segal bound at a point on the path. My read of the full manuscript confirms that this is not a minor technicality: the weight W in Eq. (5.24a) and the subsequent probability and entropy interpretations in §6.1 all inherit the contour choice, and the proposed conformal-matter rescue is explicitly left unexplored. The exact algebraic result and the finite radial integral are independent of this issue and appear correct, so the mathematical core of the paper survives; what remains conditional is the physical claim. The interface action parameter ζ is a further weakness because it sets the Planck-length matching distance through an ad hoc free parameter, but the KS/contour problem is the more fundamental obstruction to the path-integral interpretation. Since the reader already issued a CONDITIONAL verdict for essentially these reasons, my stress-test pass does not move the verdict.","tokens_in":20812,"tokens_out":13303,"duration_ms":128322,"concrete_test":"Derive the convergence condition for the Gaussian path integral of the fourth-order conformal scalar (6.11) on the background (6.9) along the contour r=r⋆e^{iηϑ} by examining the principal symbol of the quadratic operator in ϕ, and evaluate that condition specifically at ϑ=π/2. If a field-space contour exists that makes exp(iSϕ) convergent at that point, verify that the resulting convergence criterion is weaker than (6.8) and recompute the on-shell action on a contour satisfying that criterion; if the action changes discontinuously with the contour choice, the saddle-point weight is not well defined. If no convergent field contour exists, the KS violation stands and the probability/partition-function interpretation in §6.1 lacks support.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The exact powerball solutions of §2 are a solid algebraic result: the equations of motion (2.5) reduce to a constant system when β=0, and the pair (2.6) solves it for any σ and ω, independently of the couplings. The load-bearing step is not the solution itself but its use as a saddle point for a black-hole interior. The on-shell action (5.10)–(5.23) is computed on the r-plane contour r(ϑ)=r⋆e^{iηϑ}, which winds around the branch cut and the curvature singularity. At ϑ=π/2, r=i r⋆, so the angular eigenvalues gθθ=gφφ=r^2 are real negative; each has |Arg|=π, and the sum in the Kontsevich–Segal bound (6.8) is at least 2π, independently of A and B. Thus the contour is not KS-allowed at an interior point. The paper recognizes this in §6.2, but the suggested escape via conformally invariant matter with action (6.11) is only a conjecture: no convergence criterion for ∫Dϕ exp(iSϕ) is given, and no argument shows that it would replace the KS bound at the offending point. In addition, the result is sensitive to winding direction: η=±1 gives weights differing by exp(±π√15/2), so the physical probability (6.4) depends on choosing a contour orientation with no independent principle. Unless one of these two gaps is closed, W in (5.24a) cannot be taken as a physical weight, and the 'finite-action, singularity-free' claim is an unverified formal computation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs exact complex power-law solutions to pure quadratic gravity under spherical symmetry, with exponents alpha_-+ = (1/2)(1 -+ i sqrt(15)) and b_-+ = (3/8)(1 -+ i sqrt(15)) in Eq. (2.6). It proposes these \"powerballs\" as the conformal cores of quantum black holes, matched continuously to a Schwarzschild exterior at r_star = r_S + delta. The paper computes the on-shell action on a complex radial contour, identifies a Lorentzian-to-Euclidean transition, and interprets the result as a semiclassical gravitational path integral, obtaining a finite action, a probability weight, and an entropy with a leading-order area law. The derivation of the powerball solution is clean and independent of the quadratic-gravity couplings, but the physical interpretation rests on an ad hoc interface action with a free parameter zeta and on the allowability of a complex contour that the paper itself shows violates the Kontsevich-Segal bound.","tokens_in":21198,"tokens_out":4586,"duration_ms":42790,"significance":"If the construction can be put on a firmer footing, it would provide an explicit, singularity-free model of black-hole interiors in a renormalizable theory of gravity, with exact solutions that are independent of sigma and omega and a finite on-shell action. The paper is commendably explicit about its limitations, including the contour-allowedness problem and the conjectural nature of the conformal-matter rescue. These limitations, however, are precisely the load-bearing elements of the path-integral interpretation, so the significance of the result is currently conditional rather than established.","major_comments":[{"comment":"The contour r(vartheta) = r_star e^{i eta vartheta} used in Eq. (5.9) is not Kontsevich-Segal allowed: at vartheta = pi/2, r = i r_star, so 2|Arg(r^2)| = 2 pi and the left-hand side of Eq. (6.10) is at least 2 pi, not less than pi. The paper acknowledges this, but the proposed escape via the conformally invariant scalar action (6.11) is not demonstrated: no convergence criterion for the path integral over phi is given, and the text concedes that there is no reason for it to correspond to the Kontsevich-Segal criterion. Without either an allowable contour or a proven convergence criterion for the relevant matter sector, the weight W in Eq. (5.24a) and the probability in Eq. (6.4) remain formal expressions rather than physical predictions.","section":"6.2, Eqs. (6.8)-(6.10)"},{"comment":"The location of the GR-to-quadratic-gravity interface is not predicted by the theory: Eq. (5.19) gives delta approximately zeta^2/(8M), with zeta a free parameter of the ad hoc interface action (5.15), and the setting c1 = c2 = 0 is imposed rather than derived. The statement that the transition occurs a Planck length above the would-be horizon is therefore a choice zeta ~ O(1), not an output of the model. Since zeta controls the correction terms in Eqs. (5.23), (6.6), and (6.7), the quantitative claims of the paper are conditional on this free parameter.","section":"5.3, Eqs. (5.15)-(5.19)"},{"comment":"The probability interpretation depends on the orientation of the complex contour through eta: with eta = -1 the weight is exponentially suppressed with time, while with eta = +1 it is exponentially enhanced, the two weights differing by exp(pi sqrt(15)/2) at leading order. No independent principle is given to select eta. The same on-shell action therefore supports opposite physical conclusions, and the paper must either supply a selection rule or restrict the interpretation to the Euclidean partition function of Eq. (6.5), where eta = -1 is fixed by the Wick rotation.","section":"6.1, Eq. (6.4)"},{"comment":"The entropy result imports the standard Hawking temperature beta = m_P^2/(8 pi M) from the Schwarzschild geometry rather than deriving it for the cutoff spacetime with interface at r_star = r_S + delta. Because the Euclidean time periodicity is an input, the leading-order area law in Eq. (6.7) is recovered by construction rather than as a prediction. The thermodynamic interpretation needs either a derivation of beta for this geometry or a precise justification of the extrapolation from Ref. [124] at the required order.","section":"6.1, Eq. (6.7)"}],"minor_comments":[{"comment":"There is a typo: \"Lorenztian\" should be \"Lorentzian\".","section":"Section 3, after Eq. (3.3)"},{"comment":"The symbol delta is described as a proper distance in Eq. (3.1) but used as a coordinate-length displacement in Eq. (5.19); the distinction should be stated explicitly.","section":"Sections 3 and 5.3, Eqs. (3.1) and (5.19)"},{"comment":"The text should state explicitly that the contour stays on the chosen Riemann sheet of the multivalued function r^alpha when the limit epsilon to 0 is taken, since the branch-cut structure is essential to the result.","section":"Section 5.2, Eq. (5.9)"},{"comment":"The caption describes the left region as a \"folded trapezoid,\" but the drawing appears to represent a rectangle; the caption and the figure should be made consistent for clarity.","section":"Figure 2"}],"recommendation":"major_revision","confidential_remarks":"The paper is honest about its main weaknesses, and the exact solution of Section 2 is a solid algebraic result. The unresolved contour-allowedness issue and the free interface parameter zeta, however, are precisely the assumptions on which the finite-action and probability claims rest. I do not think rejection is warranted, because the problems are openly identified and could in principle be addressed within the manuscript's scope, but the current version falls short of establishing the central physical interpretation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Jerome/Ruolin/Niayesh have a genuinely new mathematical result: the complex power-law metrics in Eq. (2.6) are exact solutions to pure quadratic gravity, and they are derived cleanly, with no free parameters. That part is solid and worth knowing for anyone working on higher-derivative gravity or exotic compact objects. The paper also does a careful job with boundary terms and is unusually candid about the main weakness, the Kontsevich-Segal violation in Sec. 6.2.\n\nThe soft spots are where the physics comes in. The powerballs are only 'cores of quantum black holes' if you accept an interface action with a free parameter ζ, whose extremization sets the transition radius δ ≈ ζ^2/(8M). That is a modeling choice, not a derivation. The action integral that gives the finite weight runs on a complex contour that violates the KS bound at Arg(r)=π/2; the paper says so, and the proposed rescue via conformally invariant matter is a suggestion, not a proof. There is also the η ambiguity: clockwise vs counterclockwise contour changes the weight by exp(±π√15/2), so the probability interpretation depends on a choice with no stated principle. And the entropy result imports the Hawking temperature β=8πM, so the area law is recovered by construction rather than predicted.\n\nNone of this kills the paper. The authors know where the weak points are. But it means the headline claim—a singularity-free, finite-action quantum black hole interior in quadratic gravity—is conditional on assumptions that are not yet justified. What is unconditional is the existence of the new powerball solutions and their matching to Schwarzschild at a Planck-length skin.\n\nI would send this to a serious referee. The exact solutions deserve to be in the literature, and the path-integral questions are worth airing even if the current resolution is incomplete. A good referee can push the authors to either prove the conformal-matter convergence or state clearly that the weight is not yet justified. For my own work, I would cite the Sec. 2 solutions but not the thermodynamic claims.","headline":"New powerball solutions are real; the black-hole-interpretation weight is not yet earned.","tokens_in":21725,"tokens_out":3076,"would_cite":true,"duration_ms":25899,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C45","81T20"],"pacs":["04.70.-s","04.60.-m","04.50.Kd"],"model":"deepseek-v4-flash","headline":"Pure quadratic gravity has exact complex power-law solutions that sit at the center of black holes, replacing the singularity with a horizonless 'powerball' matched to Schwarzschild about a Planck length above the would-be horizon.","keywords":["quadratic gravity","powerball","quantum black hole","complex metric","conformal invariance","gravitational path integral","Schwarzschild matching","Kontsevich-Segal criterion"],"falsifier":"Evaluate the path integral of the conformally invariant matter action (6.11) on the powerball background along the contour $r(\\vartheta)=r_\\star e^{i\\vartheta}$; if that matter path integral diverges, the finite on-shell action and the probability weight derived from it lose their justification. A separate observational falsifier is the gravitational-wave ringdown: a horizonless reflective surface at $r_\\star \\approx r_S + \\zeta\\ell_P$ would produce echo-like deviations from the standard GR template.","tokens_in":20600,"feed_emoji":"🕳️","tokens_out":12880,"duration_ms":97918,"temperature":0.7,"pith_summary":"Pure quadratic gravity — the renormalizable extension of Einstein gravity with terms quadratic in curvature — admits exact power-law solutions that are complex valued. The paper calls these horizonless 'powerballs' and proposes them as a model for the interior of quantum black holes. A powerball matches the Schwarzschild metric continuously at a radius about a Planck length outside the would-be Schwarzschild horizon, replacing the classical singularity with a spiraling complex geometry that has finite on-shell action. If this picture is correct, black-hole interiors need not be singular, and the gravitational path integral has a well-defined, finite-weight saddle point that reproduces black-hole thermodynamics to leading order. The paper is explicit that the complex contour used to compute the action violates the Kontsevich-Segal admissibility bound, and leaves the resolution of that issue to future work.","feed_headline":"Complex 'powerballs' may erase black-hole singularities","feed_subtitle":"Complex powerball solutions of quadratic gravity match Schwarzschild outside the horizon, yielding horizonless cores.","key_machinery":"The load-bearing mechanism is the complex power-law ansatz $A(r) = a r^{\\alpha}$, $B(r) = b$ with $\\alpha_{\\mp} = \\frac{1}{2}(1 \\mp i\\sqrt{15})$ and $b_{\\mp} = \\frac{3}{8}(1 \\mp i\\sqrt{15})$, which solve the pure quadratic-gravity equations regardless of the couplings. The action is rendered finite by integrating the radial coordinate along a contour that circles the branch cut and the $r=0$ singularity in the complex plane rather than passing through them; the monodromy $e^{2\\pi i\\alpha} = -e^{\\pm\\pi\\sqrt{15}}$ is what converts the Lorentzian exterior into a Euclidean one and produces the real weight entering the path integral.","core_discovery":"The central discovery is a pair of exact, complex, power-law solutions to the vacuum equations of pure quadratic gravity in spherical symmetry: with $A(r)=a r^{\\alpha}$ and $B(r)=b$, the equations are solved by $\\alpha_{\\mp} = \\frac{1}{2}(1 \\mp i\\sqrt{15})$ and $b_{\\mp} = \\frac{3}{8}(1 \\mp i\\sqrt{15})$, two complex conjugates independent of the theory's couplings. These 'powerball' metrics are Ricci flat, with Weyl-squared curvature $C^2_{\\mu\\nu\\rho\\sigma} = 16/(3r^4)$, which diverges at $r=0$ but more mildly than the $r^{-6}$ of Schwarzschild. Because the exponent $\\alpha$ is complex, circling $r=0$ in the complex plane multiplies $g_{tt}$ by $e^{2\\pi i\\alpha} = -e^{\\pm\\pi\\sqrt{15}}$, taking the geometry from a Lorentzian to a Euclidean signature; the paper assembles the global eternal geometry from a Lorentzian Schwarzschild exterior, a Euclidean Schwarzschild exterior, and the complex powerball between them. Matching $g_{tt}$ at $r_{\\star} = r_S + \\delta$ fixes the otherwise free coefficient, and extremizing an effective interface action yields a proper horizon offset $\\delta \\approx \\zeta^2/(8M)$, of order the Planck length. The full on-shell action, including all boundary terms, is finite; its real part (the 'weight') controls the semiclassical path-integral probability, while its imaginary part supplies a phase.","pith_inferences":["A testable extension is to compute the quasinormal-mode spectrum of the matched Schwarzschild–powerball geometry: the reflective surface at $r_\\star$ should produce gravitational-wave echoes that distinguish this model from a horizon-having black hole.","The explicit Kontsevich–Segal violation flagged in Sec. 6.2 suggests the semiclassical saddle point may not survive a full path-integral treatment with standard matter; evaluating the conformally invariant scalar path integral (action 6.11) on the powerball contour is the natural next calculation.","The complex-conjugate pair of solutions suggests a possible interference term $e^{iS_+}+e^{iS_-}$ in the wave function; the paper notes but does not explore this, and it could yield oscillatory structure in the interior state that a single-saddle approximation misses.","For astrophysical relevance, the spherical, stationary powerball must be generalized to rotating configurations; if angular momentum changes the complex exponents, the viability of the matched solution could depend on spin."],"forward_implications":["Every Schwarzschild black hole would, if this is right, have a horizonless, singularity-free core appearing about a Planck length above where the horizon would be, with no observable difference at macroscopic distances.","The on-shell action is finite, so the semiclassical path integral provides either an exponentially suppressed 'virtual powerball' (standard Wick rotation) or an exponentially enhanced stable endpoint of collapse (anti-Wick rotation), depending on the direction of the complex rotation.","The Euclidean-sector partition function gives the Bekenstein-Hawking area law at leading order, with corrections controlled by the interface parameter $\\zeta$ and the quadratic-gravity couplings $\\sigma$ and $\\omega$.","The monodromy of the complex exponent means an observer or field passing through the powerball emerges on the other side in a Euclidean Schwarzschild region, with the time-time metric rescaled by $e^{\\pm\\pi\\sqrt{15}}$.","Since the exponents $\\alpha_{\\mp}$ and $b_{\\mp}$ are independent of $\\sigma$ and $\\omega$, the powerball core is a robust prediction of pure quadratic gravity in the conformal (Ricci-flat) regime, insensitive to the running of couplings so long as that running is negligible."],"supporting_citations":[{"why":"Stelle 1977; establishes that quadratic gravity is renormalizable, the premise for treating pure quadratic gravity as the UV description of black-hole interiors.","marker":"[30]"},{"why":"Borissova, Held, Afshordi 2023; prior model of scale-invariant conformal cores, which this paper extends to exact power-law solutions.","marker":"[103]"},{"why":"Holdom & Ren 2017; introduces 2-2 holes and the horizonless, not-quite-a-black-hole matching setup that the powerball core resembles.","marker":"[96]"},{"why":"Hawking & Luttrell 1984; supplies the boundary term for higher-derivative gravity used in the powerball action.","marker":"[107]"},{"why":"Israel 1966; junction conditions for thin shells, used to justify the effective interface action whose extremization fixes delta.","marker":"[113]"},{"why":"Kontsevich & Segal 2021; the admissibility criterion for complex metrics against which the paper tests its integration contour.","marker":"[125]"},{"why":"Witten 2021; applies the criterion to gravitational path integrals, the basis for treating the complex powerball metric as a possible saddle point.","marker":"[127]"},{"why":"Lehners 2023; review of the no-boundary wave function, providing the probability interpretation of the path-integral weight used in Sec. 6.1.","marker":"[116]"}],"fun_headline_variants":["Powerballs erase black-hole singularities in quadratic gravity","Complex powerballs replace singular cores with smooth interiors","Quadratic gravity's powerballs smooth out black-hole interiors","Horizonless powerballs replace singular black-hole cores","Complex powerball solutions erase black-hole singularities"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction depends on treating the complex contour that gives the powerball a finite action as an admissible saddle point of the gravitational path integral, even though the paper itself shows that contour fails the standard Kontsevich-Segal convergence test.","fun_headline_variants_meta":{"raw":{"variants":["Powerballs erase black-hole singularities in quadratic gravity","Complex powerballs replace singular cores with smooth interiors","Quadratic gravity's powerballs smooth out black-hole interiors","Horizonless powerballs replace singular black-hole cores","Complex powerball solutions erase black-hole singularities"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001001,"raw_usage":{"total_tokens":4263,"prompt_tokens":997,"completion_tokens":3266,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":613,"completion_tokens_details":{"reasoning_tokens":3191}},"tokens_in":613,"tokens_out":3266,"duration_ms":24222,"temperature":1.0,"reasoning_tokens":3191,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T10:18:53.836748+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the path integral of the conformally invariant matter action (6.11) on the powerball background along the contour $r(\\vartheta)=r_\\star e^{i\\vartheta}$; if that matter path integral diverges, the finite on-shell action and the probability weight derived from it lose their justification. A separate observational falsifier is the gravitational-wave ringdown: a horizonless reflective surface at $r_\\star \\approx r_S + \\zeta\\ell_P$ would produce echo-like deviations from the standard GR template.","supporting_citations":[],"review_version":1}