{"id":"ae407dba-9e27-4088-bf87-e7dea54c02f0","arxiv_id":"2412.20296","paper_version":1,"verdict":"UNVERDICTED","confidence":"MODERATE","novelty_score":2.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"A review of compact-object solutions in Einstein-scalar-Gauss-Bonnet and Horndeski theories, emphasizing scalarized black holes, traversable wormholes, and bubble-like particle solutions.","lead":"This review surveys a research program showing that Einstein-scalar-Gauss-Bonnet theory admits scalarized black holes, traversable wormholes, and regular particle-like solutions. It explains how these objects evade no-hair theorems and energy-condition violations without introducing exotic matter.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Universal existence claim for scalarised EsGB black holes is an inductive extrapolation from a finite set of coupling functions; the local horizon condition (14) does not prove global asymptotically flat solutions exist for arbitrary f.","rationale":"The reader's UNVERDICTED verdict already reflects that this is a review, so standard accept/reject semantics do not apply. My stress-test isolates the one statement that, if wrong, would most change how the review is used: the universal existence claim for scalarised black holes. I do not find an internal inconsistency in the derivation of (14)-(15); the local near-horizon analysis appears standard for a regular horizon. The problem is the leap from a finite set of numerically integrated coupling functions to 'independently of the form of the coupling function.' A constant coupling is an immediate, if somewhat trivial, counterexample to the universal wording; more importantly, local regularity at the horizon is necessary but not sufficient for a global asymptotically flat solution, and no existence theorem is cited or established. Because this is a review article summarizing the author's prior numerical work, the appropriate response is not to reject the paper but to require the overbroad claim to be qualified. Since the reader already flagged essentially the same weakness, my agreement is 'agree' and my verdict recommendation is UNCHANGED: the review remains unverdictable as a research claim, and its central summary should be read with that qualification in mind. The proposed concrete test would settle whether the universal claim is merely unproven or actually false.","tokens_in":28735,"tokens_out":9970,"duration_ms":108077,"concrete_test":"Run a numerical continuation scan over a deliberately varied set of coupling functions not used in [55,56,58], e.g. f(phi)=alpha/(1+beta phi^2), f(phi)=alpha sin(omega phi), f(phi)=alpha exp(-beta phi^2). For each, scan horizon data (phi_h, r_h) satisfying the discriminant condition (15), take both branches of (14), and integrate (12) outward. Falsification: if any family yields no solution that matches (18)-(20) with finite mass and scalar charge (e.g., the scalar field runs away or the metric becomes singular before asymptotic flatness), then 'always emerge' is false. If every surveyed family succeeds, the claim gains inductive support but remains a conjecture; the review should still label it as such.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing claim is not a new computation but the review's concluding assertion (Sec. 5) that scalarised EsGB black holes 'always emerge, independently of the form of the coupling function.' The evidence in Sec. 3.1 consists of the near-horizon regularity condition (14)-(15), which fixes phi'_h in terms of f'(phi_h), and numerical integrations for a finite family of coupling functions: exponential, power-law, and inverse-power-law forms [55,56,58]. This is not an existence proof. The universal quantifier is false as stated: for f(phi)=const, the GB term is topological, f'(phi_h)=0 makes (14) singular, and no nontrivial scalar hair is expected; even for non-constant f, (14) requires choosing phi_h with f'(phi_h) != 0 and the discriminant bound (15). More substantively, (14) is only a local compatibility condition at the horizon. It does not guarantee that outward numerical integration reaches the asymptotic flat regime (18)-(20), with finite scalar charge D, rather than encountering a singular point or failing to relax to phi_infinity. The paper reports successful integration for the tested classes, but 'always' is an extrapolation. The review should either provide a proof or weaken the claim to the classes of coupling functions for which complete numerical solutions have actually been constructed.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This manuscript is a review article on compact objects in Einstein-scalar-Gauss-Bonnet (EsGB) theory and in Horndeski/beyond-Horndeski theories. After a brief discussion of black holes, wormholes, and particle-like solutions in GR and Einstein-scalar theory, the paper summarizes a series of results, largely from the author and collaborators: scalarised black holes for various coupling functions, traversable wormholes obtained by a cut-and-paste construction near the throat, scalarised particle-like solutions with a 'Coulomb-type' scalar-field singularity, and wormholes obtained by disformal transformation of the Lu-Pang black hole in beyond-Horndeski theory. The stated central message is that scalarised black holes 'always emerge' in EsGB theory independently of the form of the coupling function, that the theory supports traversable wormholes without exotic matter, and that regular particle-like solutions arise with observable signatures such as photon rings and echoes.","tokens_in":29004,"tokens_out":5480,"duration_ms":60299,"significance":"If its claims are accepted, the review would be a useful consolidated reference for a substantial body of work on scalarised compact objects in higher-order scalar-tensor theories. The manuscript is clearly written, covers a wide literature (183 references), and presents a helpful taxonomy of black-hole, wormhole, and particle-like solutions, including domains of existence and phenomenological features such as light rings and echoes. The main value lies in its survey character, and several individual results (e.g., the analytic Horndeski black hole, the disformal wormhole construction, and the explicit form of the near-horizon regularity condition) are presented in enough detail to be informative. However, the review's universal and 'without exotic matter' claims go beyond what the presented arguments establish, and at least one regularity statement is in tension with the displayed expansions. These issues are local but affect the advertised scope of the paper.","major_comments":[{"comment":"The Conclusions state that scalarised black-hole solutions 'always emerge, independently of the form of the coupling function, provided that appropriate boundary conditions are imposed.' This universal quantifier is not supported by the evidence in Section 3.1. Equation (14) is a local near-horizon regularity condition: it fixes phi'_h in terms of f'(phi_h) and r_h, but it does not guarantee that outward integration reaches the asymptotically flat regime (18)-(20) rather than encountering a singular point or failing to relax to phi_infinity. The paper reports numerical integration for a finite family of coupling functions (exponential, power-law, inverse-power-law, logarithmic, etc.), which is an inductive basis, not a proof. Moreover, the statement is literally false for f(phi)=const (e.g., f=0), for which f'(phi_h)=0 makes Eq. (14) degenerate and no nontrivial hair is expected; even for nonconstant f, Eq. (14) requires choosing phi_h with f'(phi_h)!=0 and satisfying the discriminant bound (15). The claim should be weakened to the classes of coupling functions for which complete numerical solutions have actually been constructed, and the f'(phi_h)!=0 requirement should be stated explicitly.","section":"Section 5, first paragraph; Section 3.1"},{"comment":"The abstract and conclusions claim that EsGB theory supports traversable wormholes 'without the need for exotic matter.' In Section 3.2 the wormhole solutions are made regular by a cut-and-paste construction: the positive-l region is glued to a mirror image at l=0, and the cusps are 'justified' by introducing a thin shell described by Eq. (42). No analysis of the energy conditions of this shell is presented; the parenthetical claim that the perfect fluid is 'non-exotic' is asserted without derivation. In the Morris-Thorne framework, the flaring-out condition (36) combined with Eq. (38) gives rho+p_r<0 at the throat for a GR wormhole, and for EsGB the analogous statement must be checked with the full effective energy-momentum tensor including the scalar-GB coupling. As written, the review does not establish that the required shell matter satisfies any standard energy condition. The later disformal wormhole of Section 4 explicitly violates the NEC (Eq. (71)), with the text arguing that the violation arises from non-minimal couplings rather than exotic matter; this distinction between 'matter' and 'effective' energy conditions should be defined and applied consistently to the EsGB wormholes as well.","section":"Abstract and Section 3.2, Eqs. (36)-(42)"},{"comment":"The paper advertises 'regular scalarised particle-like solutions,' but the displayed near-origin expansion (47) shows the scalar field behaving as phi ~ -c0/r + phi0 + ..., i.e., divergent at r=0. The text states that all gravitational scalar invariants and the components of T_mu_nu are finite 'despite the singularity in phi,' citing Refs. [166,167]. This is a nontrivial regularity claim that is not demonstrated in the review; a survey should at least specify which quantities were checked and in which of the cited papers the calculation appears. Without this, the word 'regular' in the abstract is misleading, because it refers only to the metric and derived invariants, not to the scalar field itself. The 'Coulomb-type' analogy is heuristic and should be labeled as such.","section":"Section 3.3, Eqs. (44)-(48)"},{"comment":"The disformal wormhole construction is presented as giving a spacetime with r^2 = l^2 + r0^2, so the radial coordinate r is an even function of l. In that coordinate system the scalar field, which is a function of r through the seed solution (56), should be symmetric under l -> -l. The text, however, states that the profile of the scalar field 'is in fact asymmetric under the change l -> -l' (discussion following Eq. (70) and Fig. 12). This is an internal inconsistency in the presentation. If the two sides of the wormhole are obtained as two copies of the same r>=r0 solution, the scalar field must be even; if the asymmetry is intentional, the construction differs from what is described and the coordinate transformation needs to be clarified.","section":"Section 4, Eqs. (64)-(70) and Fig. 12"}],"minor_comments":[{"comment":"The text introduces the shell action with constants (lambda1, lambda0), but immediately says '(lambda1, lambda2) are constants'. Please correct the label of the second constant.","section":"Equation (42)"},{"comment":"The 1/r^4 term in the scalar-field expansion is written in a way that is easy to misread: '12M^3D - 24M^2 \\dot f - M D^3 / 6r^4' should probably be '(12M^3D - 24M^2 \\dot f - M D^3)/(6r^4)' or an equivalent parenthesized form. Also, the dot on f is defined nowhere; please state that \\dot f = df/d\\phi.","section":"Equation (20)"},{"comment":"The caption refers to 'solutions for the scalar field for a family of dilatonic wormholes' but the plot axes are x and y and the curves appear to be trajectories; if the upper plot is indeed the scalar field and the lower plot the trajectories, the caption should be split or clarified.","section":"Section 3.2, Fig. 6 caption"},{"comment":"The geodesic Lagrangian is written as -epsilon, but for timelike particles the convention is usually 2L = -1 (or +1 depending on signature); please state the convention explicitly so that Eqs. (50) and the effective potential have a consistent sign.","section":"Section 3.3, Eq. (49)"},{"comment":"Some references appear only as arXiv numbers without journal details (e.g., Refs. [68,69,116,117,121,122,123,124,125,126,127,128,129,146,147]); for a review, adding the final publication data would increase usability.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a review that relies heavily on the author's own prior work (e.g., Refs. [55,56,58,61,152,153,154,166,167,175,179]). This is not itself a defect for a review, but it means the universal claims in the abstract and conclusions should be checked against what those papers actually establish. The overstatement about 'always' emerging solutions and the unsupported 'non-exotic matter' claim are the main obstacles. Should the author prefer to keep the strong claims, the paper must include a rigorous existence statement or clearly frame the claims as conjectures based on numerical evidence. The paper also seems to be written for a proceedings-style venue; its contribution is a synthesis rather than new derivations, which is acceptable for a review but should be stated explicitly in the introduction."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a review article, and a fairly good one, summarizing the author's own program on EsGB compact objects and beyond-Horndeski wormholes. It is not a research paper and should not be evaluated as if it were. The useful core is the unified presentation of black holes, wormholes, and particle-like solutions under one framework, with the asymptotic expansions and horizon constraints spelled out in a readable way. The discussion of how the GB term evades the old and new no-hair theorems is genuinely pedagogical and well done. The Horndeski and disformal-transformation parts are more compact but still informative.\n\nThe main soft spot is the concluding claim that scalarised black holes 'always emerge, independently of the form of the coupling function.' That is not established by the material presented. The local horizon condition (14) fixes the scalar derivative at the horizon, and numerical integration works for the specific families tested (exponential, power-law, inverse power-law). That is evidence for those classes, not a proof for arbitrary f. The case f = const is a concrete counterexample: the GB term is topological and the scalar-field equation reduces to the free wave equation, giving the no-hair situation described in Section 2.1. The review should either weaken the claim to 'for a wide class of coupling functions' or point to a theorem that actually covers arbitrary f. The same goes for the particle-like solutions: the divergence of the scalar field at the origin is called harmless because the curvature invariants and stress-energy components come out finite for the computed cases, but that is a computed property of those solutions, not a general argument. Fine, as long as it is stated as such.\n\nA related concern is that the review leans heavily on the author's own papers. That is natural for a review of one's own program, and the cited papers do contain the numerics. But the review itself contains no code, no data files, and no independent reproductions, so a reader who wants to check the existence claims has to go to the original works. For a review, that is acceptable; for a proof of the 'always' claim, it is not.\n\nBottom line: for its intended purpose, this is a solid review. A serious referee should engage with it, mainly to demand that universal claims be tempered and that the limits of the numerical evidence be stated. I would not cite it as evidence for arbitrary-coupling existence, but I would cite it as a useful overview of the EsGB compact-object landscape.","headline":"A clear review of the EsGB solution space, but the 'always emerge' claim overreaches the evidence.","tokens_in":29536,"tokens_out":1872,"would_cite":true,"duration_ms":19437,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A minimal scalar-Gauss-Bonnet extension of general relativity produces scalarised black holes, traversable wormholes, and regular particle-like objects, and a disformal transformation of a known black hole yields a smooth wormhole beyond…","keywords":["Einstein-scalar-Gauss-Bonnet theory","scalarised black holes","traversable wormholes","particle-like solutions","no-hair theorems","Horndeski theory","disformal transformations","Gauss-Bonnet coupling"],"falsifier":"A concrete test: pick a smooth coupling function outside the tested families (for instance $f(\\phi)=\\alpha e^{-\\phi^2}$ with a large coupling) and integrate the same boundary-value problem from horizon to infinity; if no regular interpolating solution exists, the 'always emerges' claim fails. For the particle-like solutions, the claim would be falsified by finding any curvature invariant or physical observable that diverges at the origin despite the reported finiteness of the standard invariants.","tokens_in":28481,"feed_emoji":"🕳️","tokens_out":13765,"duration_ms":123576,"temperature":0.7,"pith_summary":"This review argues that one minimal modification of general relativity — adding a scalar field coupled to the Gauss-Bonnet term — changes the allowed menu of compact objects. Scalarised black holes with a regular horizon emerge for essentially any choice of the coupling function $f(\\phi)$, provided the scalar field satisfies the horizon regularity constraint, and they evade both the older and newer scalar no-hair theorems. The same theory supports traversable wormholes whose throat is held open by the geometry–scalar coupling rather than by exotic matter, and regular particle-like solutions that are ultra-compact and produce light rings and echo signals. In the broader beyond-Horndeski theory, a disformal transformation of an analytic black hole yields a smooth traversable wormhole with no matter layer at the throat. If this picture is right, strong-gravity observations of shadows, light rings, and echoes could distinguish these objects from ordinary black holes.","feed_headline":"One scalar coupling yields black holes, wormholes, and dense remnants","feed_subtitle":"A Gauss-Bonnet term plus a scalar field evades no-hair theorems and predicts observable light rings and echo signals.","key_machinery":"The machine at the centre is the coupling function $f(\\phi)$ multiplying the Gauss-Bonnet invariant $R^2_{GB} = R^2 - 4R_{\\mu\\nu}R^{\\mu\\nu} + R_{\\mu\\nu\\rho\\sigma}R^{\\mu\\nu\\rho\\sigma}$. The near-horizon regularity constraint $\\phi'_h = \\frac{r_h}{4\\dot{f}_h}\\left(-1 \\pm \\sqrt{1 - 96\\dot{f}_h^2/r_h^4}\\right)$ fixes the scalar field's first derivative at the horizon, and together with the bound $\\dot{f}_h^2 < r_h^4/96$ it lets the numerical integration start for any chosen coupling. The no-hair evasion is carried by the sign flip of the radial component of the energy-momentum tensor near the horizon, coming from the Gauss-Bonnet coupling. For wormholes, the flaring-out condition $b - r b' > 0$ is met through this geometry-coupling contribution, which violates the null energy condition without introducing a ghost field, while in the beyond-Horndeski part the disformal transformation converts a known Horndeski black hole into a smooth wormhole.","core_discovery":"On the paper's own terms, the central discovery is that the Einstein-scalar-Gauss-Bonnet action with an arbitrary coupling function $f(\\phi)$ is a solution-generating mechanism: for every tested form of $f(\\phi)$, numerical integration with the appropriate horizon regularity constraint produces scalarised black holes, wormholes with one or two throats, and particle-like solutions, and the scalarised black-hole line forms the boundary of the wormhole territory. Near the horizon, the Gauss-Bonnet term reverses the sign of the radial energy-momentum component, which the newer no-hair theorem would forbid, and this is why the theorem is evaded independently of the form of $f(\\phi)$. For the particle-like solutions, the scalar field diverges as $1/r$ at the origin, but all curvature invariants and energy-momentum components stay finite, so the singularity is described as Coulomb-type and harmless. Beyond this class, a disformal transformation $g_{\\mu\\nu} = \\bar{g}_{\\mu\\nu} - D(\\bar{X})\\nabla_\\mu\\phi\\nabla_\\nu\\phi$ applied to a known Horndeski black-hole solution produces a traversable wormhole in beyond-Horndeski theory, with both metric functions regular and symmetric at the throat and no cusp or added matter.","pith_inferences":["A natural extension the review only gestures at is stability: the entropy comparison already used for black holes could be turned into a systematic criterion for which scalarised family is the thermodynamically preferred end state of collapse.","If the universality claim holds, the observational burden shifts: echo signals and light rings below the Schwarzschild photon-sphere radius become generic signatures of EsGB compact objects, and current gravitational-wave ringdown data could in principle constrain the coupling constant—this is not claimed in the paper.","The harmlessness of the Coulomb-type scalar divergence is supported by the finiteness of the standard invariants; a stricter test would be to check completeness of geodesics and higher-order curvature invariants, which the paper does not report.","The disformal recipe suggests that every Horndeski black hole with an appropriate scalar profile can be dressed into a beyond-Horndeski wormhole, potentially making wormhole solutions as numerous as known Horndeski black holes."],"forward_implications":["If scalarised black holes exist for arbitrary $f(\\phi)$, then every EsGB theory of this form carries a one-parameter family of hairy black holes that reduce to Schwarzschild at large mass, have smaller horizon areas than their GR analogues, and possess a lower mass bound set by the regularity condition.","Traversable wormholes can be built in EsGB theory without invoking a ghost scalar or other exotic matter, so the usual exotic-matter obstruction to wormhole physics is bypassed by the scalar–Gauss-Bonnet coupling.","The particle-like solutions are ultra-compact, bubble-shaped objects with negative energy density at the centre and a fast-falling shell profile, and they generically produce light rings and echo trains in scalar wave signals.","In beyond-Horndeski theory, disformally transformed black holes yield wormholes whose light rings all lie at radii smaller than $3M$, the Schwarzschild photon-sphere radius.","The solution space is connected: the scalarised black-hole line bounds the wormhole region, and families of particle-like solutions with different node numbers occupy further parts of the domain of existence."],"supporting_citations":[{"why":"It establishes the general-$f(\\phi)$ scalarised black-hole construction in asymptotically flat spacetime and the horizon regularity constraint that permits arbitrary coupling functions.","marker":"[55]"},{"why":"It provides the full field equations, asymptotic expansions, and the numerical black-hole solutions for exponential, power-law, and inverse-power-law couplings.","marker":"[56]"},{"why":"It shows how the asymptotic boundary term behaves when $f(\\phi_\\infty)$ is nonzero, extending the existence argument to a range of negative values of the coupling function.","marker":"[57]"},{"why":"It supplies the first shift-symmetric scalarised black-hole solutions, demonstrating that the new no-hair theorem is evaded by the Gauss-Bonnet coupling.","marker":"[48][49]"},{"why":"It gives the first EsGB wormhole solutions in the dilatonic theory along with the cut-and-paste construction that makes them traversable with a non-exotic matter layer.","marker":"[152][153]"},{"why":"It extends wormhole solutions to general coupling functions by using the line element that allows multiple throats and equators.","marker":"[154]"},{"why":"It presents the regular particle-like solutions with the Coulomb-type scalar divergence, their bubble-shaped energy density, and the light-ring and echo signatures.","marker":"[166][167]"},{"why":"It supplies the analytic Horndeski black-hole solution used as the seed for the disformal wormhole construction.","marker":"[172]"},{"why":"It applies the disformal transformation to that seed and derives the smooth traversable wormhole in beyond-Horndeski theory, with symmetric metric functions and no matter layer at the throat.","marker":"[179]"}],"fun_headline_variants":["Scalar-Gauss-Bonnet: one action, three exotic object families","Wormholes without exotic matter, thanks to scalar-GB","No-hair theorem dodged by scalar-Gauss-Bonnet","Scalar-GB: from black holes to traversable wormholes","One scalar coupling: three exotic compact object types"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The central claim that scalarised solutions emerge for any coupling function is inferred from numerical integration for only a few chosen forms of $f(\\phi)$, and the particle-like claim assumes that a scalar field diverging as $1/r$ at the origin is harmless because the usual invariants remain finite.","fun_headline_variants_meta":{"raw":{"variants":["Scalar-Gauss-Bonnet: one action, three exotic object families","Wormholes without exotic matter, thanks to scalar-GB","No-hair theorem dodged by scalar-Gauss-Bonnet","Scalar-GB: from black holes to traversable wormholes","One scalar coupling: three exotic compact object types"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000862,"raw_usage":{"total_tokens":3790,"prompt_tokens":1049,"completion_tokens":2741,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":665,"completion_tokens_details":{"reasoning_tokens":2653}},"tokens_in":665,"tokens_out":2741,"duration_ms":22767,"temperature":1.0,"reasoning_tokens":2653,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T23:23:36.528138+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete test: pick a smooth coupling function outside the tested families (for instance $f(\\phi)=\\alpha e^{-\\phi^2}$ with a large coupling) and integrate the same boundary-value problem from horizon to infinity; if no regular interpolating solution exists, the 'always emerges' claim fails. For the particle-like solutions, the claim would be falsified by finding any curvature invariant or physical observable that diverges at the origin despite the reported finiteness of the standard invariants.","supporting_citations":[{"cited_title":"Antoniou, A","cited_arxiv_id":null,"evidence_quote":"It extends wormhole solutions to general coupling functions by using the line element that allows multiple throats and equators."},{"cited_title":"Lu and Y","cited_arxiv_id":null,"evidence_quote":"It supplies the analytic Horndeski black-hole solution used as the seed for the disformal wormhole construction."},{"cited_title":"Bakopoulos, C","cited_arxiv_id":null,"evidence_quote":"It applies the disformal transformation to that seed and derives the smooth traversable wormhole in beyond-Horndeski theory, with symmetric metric functions and no matter layer at the throat."}],"review_version":1}