{"id":"80ce61a8-d983-4f87-a484-6890a0a3a27a","arxiv_id":"2411.16983","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Einstein-Gauss-Bonnet dynamical compactification with constant extra dimensions is unstable in the tensor sector, and the stable flat alternative violates the gravitational wave speed bound.","lead":"This paper proves that the popular Einstein-Gauss-Bonnet compactification scenario, in which extra dimensions settle at constant size while our universe expands, always has an instability: whenever the background is stable, one gravitational tensor mode is a ghost. A stable flat-extra-dimension variant exists, but it makes gravitational waves travel at a speed excluded by GW170817.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central no-go stands, but it rests entirely on the unsymbolically-checked quadratic Gauss-Bonnet action of App. B; an independent CAS recomputation of K and Ktilde is the single decisive check.","rationale":"The paper's central claim is specific: for the original compactification class (2.6), every parameter range in which the homogeneous background is an attractor has at least one negative kinetic coefficient K or Ktilde for the tensor perturbations, so the no-ghost conditions fail. I checked the internal consistency: the d=4 formulas (3.18), (4.2), and (4.5) agree; the d=3 inequalities (3.16) support the claimed non-overlap with (3.8); and the d>=5 ratio (3.20) together with (3.21) gives the stated sign split. The modified flat-scenario speed formula (5.11) is also incompatible with |c_GW^2-1|<10^-15 because the no-ghost range (5.10) keeps X0 away from zero. The only serious risk is the algebra feeding the coefficients: Eq. (B5b) is very long, no code or formal verification is provided, and the sign of K and Ktilde is decisive. This risk is partially mitigated by the explicit d=4 eigenfunction calculation and by the observed consistency between the general and d=4 expressions, so I would not move to REJECT. At the same time, the risk is real enough to keep the paper conditional rather than unconditional, which is exactly what the reader already recommended.","tokens_in":20170,"tokens_out":15423,"duration_ms":145928,"concrete_test":"Recompute Eqs. (B10a)-(B10b) from (B5b) for general d using a computer algebra system (e.g. xAct/xTras or Cadabra), impose the TT conditions (3.11), substitute the background solution (2.10), and verify the signs of K and Ktilde plus the claimed no-overlap ranges: d=3 against (3.8), d=4 against Sec. IV, and d>=5 against (3.21). If any sign changes, re-derive the no-go; if all signs reproduce, the central claim is verified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The no-go conclusion that no attractor compactification in the original class is tensor-ghost-free is derived from the quadratic TT action (3.12), whose coefficients K and Ktilde (3.14) come from the lengthy generic second-order Gauss-Bonnet variation (B5b) after projection onto the product background (B10). A single sign error in that expansion, in the projection, or in the on-shell simplification for d=3, d=4, or d>=5 would invalidate the central result; the sign of K and Ktilde is the whole argument, not a detail. The paper itself labels this a necessary-condition analysis and does not machine-check the algebra. The d=4 eigenfunction calculation in Sec. IV is a genuine independent cross-check for that dimension, and the d=4 signs are mutually consistent, but it does not certify d=3 or d>=5, where the non-overlap is established through algebraic ranges such as (3.21). This is an internal-algebra risk rather than a conceptual flaw: if the signs are correct, the no-go goes through, and no alternative mechanism is required.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper analyzes cosmological compactification in Einstein-Gauss-Bonnet gravity in (d+4) dimensions, with a four-dimensional de Sitter sector and d extra dimensions. For the original scenario with static extra dimensions, it derives the background solutions, characterizes when the homogeneous background is an attractor, and computes the quadratic transverse-traceless tensor actions. The authors find that the parameter ranges where the background is an attractor never overlap with the ranges where both tensor kinetic coefficients K and Ktilde are positive, for d=3, d=4, and d>=5. They then relax the static-extra-dimension hypothesis and find a flat extra-dimensional solution with L/H0 = X0, and show that it can satisfy the no-ghost conditions in a finite interval X0 in (-2/(d-2), -1/(d-1)) while being a background attractor, but that the resulting gravitational wave speed c_phys^2 = (1+dX0)/(1+(d-1)X0) is incompatible with the GW170817 bound, requiring |X0| <= 10^-15/d. The paper concludes that no vacuum Einstein-Gauss-Bonnet compactification in this class is both stable and consistent with the gravitational wave speed constraint.","tokens_in":20339,"tokens_out":6038,"duration_ms":61825,"significance":"If the central computation is correct, this is a significant negative result: it rules out an appealing dynamical compactification mechanism in vacuum Einstein-Gauss-Bonnet gravity and shows that the minimal modification that avoids tensor ghosts is observationally excluded by GW170817. The paper is self-contained and the derivation is transparent, with the explicit d=4 eigenfunction calculation in Sec. IV providing a genuine independent check of the signs of the kinetic coefficients in that dimension. The manuscript does not rely on a fitted parameter or an assumed input to reach its conclusion, and the use of the external gravitational wave speed bound is legitimate. The main limitation is that the stability analysis is explicitly a necessary-condition analysis: only homogeneous background perturbations and transverse-traceless tensor perturbations are considered, and the conclusion that the original compactifications are 'inherently unstable' is stronger than what the quadratic TT analysis alone can strictly prove.","major_comments":[{"comment":"The abstract states that 'new and stable solutions are found' and Sec. VI calls the flat extra-dimensional configuration 'stable', but the analysis in Sec. V checks only two things: the homogeneous background perturbations (Eq. 5.6) and the transverse-traceless tensor sectors (Eqs. 5.7-5.9). No scalar, vector, or mixed inhomogeneous perturbations are analyzed, and no statement is made about nonlinear stability. Please either restrict the claim to 'background attractor and no tensor ghosts' or perform a full linear stability analysis before calling these solutions 'stable'.","section":"Abstract and Sec. V"},{"comment":"The core no-go result rests on the signs of the kinetic coefficients K and Ktilde in Eqs. (3.14a) and (3.14d), which are obtained from the lengthy second-order Gauss-Bonnet variation (B5b) after projection onto the product background (B10). The d=4 eigenfunction calculation in Sec. IV independently confirms the signs for d=4, but for d=3 and d>=5 the non-overlap of the no-ghost ranges with the attractor ranges is established only through algebraic expressions such as Eqs. (3.16), (3.18), (3.19), and (3.21). Because a single sign error in the projection or in the contraction of (B5b) would reverse the main conclusion, I ask the authors to provide an independent machine-checked verification of K and Ktilde, or at least a more systematic derivation that makes the sign of every term transparent for all d.","section":"Sec. III and App. B"},{"comment":"The concluding statement 'as we proved in this work, such configurations are inherently unstable' overstates the logical force of the analysis, as the authors themselves acknowledge before Sec. III B when they say the study gives necessary conditions only. Negative kinetic coefficients in the quadratic TT action are strong evidence of ghosts, but constraints or nonlinear couplings could in principle remove them, and the scalar and vector sectors have not been studied here. Please soften the conclusion to 'no background attractor can be free of tensor ghosts within this TT analysis' or complete the stability analysis.","section":"Sec. VI"}],"minor_comments":[{"comment":"There is a typesetting error in the expression for the background Ricci scalar: '12 H^2_0 + 6d H0,L0 d(d+1) L^2_0' should presumably read '12 H^2_0 + 6d H0 L0 + d(d+1) L^2_0'.","section":"Eq. (B13a)"},{"comment":"The mass term for H^2_AB in the second-order Gauss-Bonnet action has an unbalanced parenthesis: the expression beginning with '6 H^4_0 + ... + (d-1)(d-2)(d^2 - 15d - 4/4' appears to require a closing bracket before the final '] H^2_AB'. Please correct the typography.","section":"Eq. (B15b)"},{"comment":"The sentence 'When d = 2, the range of stability spans every negative number up to −1/2' is ambiguous; since the attractor condition requires X0 > -3/d = -3/2, the intended interval is apparently X0 in (-3/2, -1/2). Please state the interval explicitly.","section":"Sec. V.B.2"},{"comment":"In the ratio displayed below Eq. (3.19), the symbol 'ˆK' should probably be '\\tilde K' (the same Ktilde used in Eq. 3.14d), to avoid confusion with the notation for the physical-sector coefficient K.","section":"Sec. III.B.3"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new thing here is the tensor-sector no-ghost analysis. Earlier work by Chirkov et al. had the background existence and homogeneous attractor behavior; this paper is the first to push into TT perturbations and show that, on every attractor range, at least one tensor kinetic coefficient is negative. The d=4 eigenfunction calculation is a real cross-check, not decoration: it reproduces the no-ghost conditions from a different route, and that makes me trust the central claim more than I otherwise would.\n\nWhat the paper does well: the parameter-space treatment is systematic, the d=2,3,4,>=5 cases are separated cleanly, and the flat-branch analysis in Sec. V is a neat minimal modification that gets killed by GW170817. The citation pattern is honest and the newness claim against refs [6],[7] holds up. I checked the non-overlap logic in Sec. III and it is straightforward algebra once you accept K and Ktilde; no hidden fitting or circularity anywhere.\n\nSoft spots, in proportion. First, the whole no-go rests on the sign of K and Ktilde from App. B. That expansion is long, not machine-checked, and a single sign error in (B5b), the projection (B10), or the on-shell simplification would flip the conclusion. The d=4 eigenfunction check certifies d=4 only; d=3 and d>=5 rely on the algebraic ranges. This is an internal-algebra risk, not a conceptual flaw, but it is the single decisive check I would want before betting on the result. Second, the abstract and Sec. V call the flat solutions 'stable' when only background and tensor sectors were checked; scalar/vector perturbations and nonlinear couplings are not analyzed. The paper itself says the tensor analysis is a necessary-condition study, so this is an overstatement in presentation, not a broken argument. Third, some appendix formulas (B15b) contain what look like typos in the mass terms (unbalanced brackets, a missing closing parenthesis) and the text around (B16h) is compressed. None of this touches the d=4 cross-check, but it reinforces the need for an independent CAS recomputation.\n\nWho is this for: people working on higher-dimensional Lovelock cosmology and on the viability of dynamical compactification. The central no-go is probably right and is worth referee time. I would engage with it, cite it if I worked in this subfield, and bring it to a reading group. My recommendation: send it to peer review, with a request that the authors either machine-check the App. B algebra or provide a step-by-step verification for d=3 and d>=5, and tone down 'stable' to 'stable in the sectors analyzed.'","headline":"A solid, internally consistent no-go result for Gauss-Bonnet dynamical compactifications, with a real but narrow algebraic risk in the appendix and a modest presentation overclaim about 'stable' flat solutions.","tokens_in":20874,"tokens_out":694,"would_cite":true,"duration_ms":9302,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that every vacuum Einstein-Gauss-Bonnet compactification considered here is either not a background attractor or carries a ghostly tensor mode, and that the stable modified configuration is ruled out by the measured speed…","keywords":["Einstein-Gauss-Bonnet gravity","dynamical compactification","extra dimensions","tensor perturbations","ghost instabilities","gravitational wave speed","de Sitter cosmology","Lovelock theories"],"falsifier":"A concrete check would be to evaluate the quadratic tensor action at an attractor point such as $d=4$, $\\kappa=1$, $B_0=1.5$, where the paper's formulas give negative $K$; if an independent rederivation finds $K>0$ after removing total derivatives, the ghost claim fails. A broader numerical search for any $(d,\\kappa,B_0)$ obeying the background equations with simultaneously positive $K$ and $\\tilde K$ plus negative real parts of the background eigenvalues would also settle the no-go.","tokens_in":19948,"feed_emoji":"🌌","tokens_out":12467,"duration_ms":109475,"temperature":0.7,"pith_summary":"In more than four dimensions, Einstein-Gauss-Bonnet gravity admits cosmological solutions in which the extra dimensions settle at a constant size while ordinary space undergoes de Sitter expansion. This paper asks whether such dynamical compactification scenarios can be stable and observationally viable, and its answer is no for the vacuum theory. In the parameter ranges where the background is a homogeneous attractor, at least one of the two graviton tensor sectors has a negative kinetic coefficient, hence a ghost. Releasing the constant-extra-dimension hypothesis for a flat internal space yields a ghost-free configuration, but it predicts a gravitational-wave speed off from light speed by an amount incompatible with the GW170817 bound. The central result is therefore a no-go for this class of compactifications, with the way out pointed toward matter couplings and a full exploration of the configuration space.","feed_headline":"No stable vacuum Gauss-Bonnet compactification is viable","feed_subtitle":"Tensor modes become ghosts wherever the background is an attractor; the one stable fix breaks gravity-wave speed.","key_machinery":"The central object is the quadratic transverse-traceless action for the two decoupled graviton tensor sectors of the product spacetime, built around the original compactification in which the radion—the scale factor $b(t)$ of the extra-dimensional sub-manifold—is constant. For each sector the action is written with dimensionless coefficients: $K$ and $\\tilde K$ multiply the time-derivative (kinetic) terms, the $c_{phys}$ and $c_{extr}$ coefficients multiply the spatial-gradient terms, and the $M^2$ and $\\tilde M^2$ coefficients act as mass-like terms. A mode is a ghost exactly when its kinetic coefficient is negative, so the no-ghost conditions are $K>0$ and $\\tilde K>0$. The background attractor behaviour is governed by the $3\\times 3$ matrix $M^\\kappa_0$ for homogeneous perturbations of $H$, $b$ and $u=\\dot b$, whose eigenvalues have the form $-3$ and $-3/2\\pm\\sqrt{\\Pi/\\Sigma}$; negative real parts mark an attractor. The proof works by intersecting these attractor intervals with the no-ghost intervals and finding no overlap, and the same machinery yields $c^2_{phys}=(1+dX_0)/(1+(d-1)X_0)$ for the modified flat scenario, which the GW170817 bound then rejects.","core_discovery":"The paper's core discovery is that every vacuum compactified solution of Einstein-Gauss-Bonnet gravity in $d+4$ dimensions considered in this class either fails to be an attractor or carries ghostly tensor perturbations. The authors split transverse-traceless metric perturbations into four-dimensional tensor modes $h_{ij}$ and extra-dimensional tensor modes $H_{AB}$; these two sectors decouple at quadratic order, and their kinetic coefficients $K$ and $\\tilde K$ decide ghost-freeness. Combining the attractor ranges for the homogeneous background with the no-ghost requirements $K>0$ and $\\tilde K>0$ leaves no overlap: for $\\kappa=-1$ one coefficient is always negative, and for $\\kappa=1$ the no-ghost interval lies outside every attractor interval. Relaxing the constant-radion hypothesis for a flat extra-dimensional space gives stable no-ghost configurations for $X_0$ in $(-2/(d-2),-1/(d-1))$, but their physical gravitational-wave speed $c^2_{phys}=(1+dX_0)/(1+(d-1)X_0)$ requires $|X_0|\\lesssim 10^{-15}/d$, which is incompatible with that range. The stable modified scenario must therefore be discarded.","pith_inferences":["If the quadratic-action no-go survives a nonlinear analysis, it would put pressure on any vacuum higher-dimensional mechanism that relies on Gauss-Bonnet terms alone for spontaneous compactification; matter or higher Lovelock terms would then have to do the stabilizing.","The same kinetic-coefficient test could be applied to cubic and higher Lovelock compactifications to see whether the attractor-ghost clash is a generic feature of Lovelock gravity rather than a Gauss-Bonnet accident.","Future gravitational-wave experiments with speed bounds tighter than $10^{-15}$ would shrink the allowed $|X_0|$ window, making the tension with the no-ghost interval sharper and easier to falsify."],"forward_implications":["If the paper is right, no vacuum Einstein-Gauss-Bonnet compactification with static extra dimensions can serve as a stable late-time cosmological attractor: wherever the homogeneous background is stable, a tensor ghost appears.","The stable flat-extra-dimensional modification is ghost-free only for $X_0$ in $(-2/(d-2),-1/(d-1))$, but those values make $|c^2_{GW}-1|$ of order $|X_0|$, far above the $10^{-15}$ level, so the solution must be rejected.","For curved extra dimensions, merely allowing the internal scale factor to vary while keeping de Sitter expansion produces no compactified solution, so rescuing the scenario needs a larger departure.","Adding matter or scanning the full $\\{b,H\\}$ configuration space are the concrete routes the paper identifies for finding overlap between background stability and ghost-freeness."],"supporting_citations":[{"why":"Defines the Gauss-Bonnet combination as the second Lovelock term and fixes the theory whose compactifications are studied.","marker":"[1]"},{"why":"Supplies the background Einstein-Gauss-Bonnet equations for anisotropic cosmological dynamics that the perturbation calculation starts from.","marker":"[6]"},{"why":"Introduces the original compactification scenario with static curved extra dimensions and the attractor analysis that this paper repeats and extends.","marker":"[7]"},{"why":"Provides the observed bound on gravitational-wave speed used to reject the stable modified flat-extra-dimensional solution.","marker":"[15]"}],"fun_headline_variants":["No ghost-free attractor in Gauss-Bonnet compactification","Gauss-Bonnet compactification: ghosts or no attractor","Stable Gauss-Bonnet compactification breaks gravity-wave speed","Gauss-Bonnet compactification: no stable ghost-free vacuum"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The no-go depends on the lengthy quadratic perturbation calculation being correct and on a negative kinetic coefficient truly meaning a ghost; the authors themselves flag this as a necessary-condition analysis, so an algebra slip or a gauge artifact would open a stable window.","fun_headline_variants_meta":{"raw":{"variants":["No ghost-free attractor in Gauss-Bonnet compactification","Gauss-Bonnet compactification: ghosts or no attractor","Stable Gauss-Bonnet compactification breaks gravity-wave speed","Gauss-Bonnet compactification: no stable ghost-free vacuum"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000621,"raw_usage":{"total_tokens":2875,"prompt_tokens":941,"completion_tokens":1934,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":557,"completion_tokens_details":{"reasoning_tokens":1861}},"tokens_in":557,"tokens_out":1934,"duration_ms":13917,"temperature":1.0,"reasoning_tokens":1861,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:39:43.353260+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete check would be to evaluate the quadratic tensor action at an attractor point such as $d=4$, $\\kappa=1$, $B_0=1.5$, where the paper's formulas give negative $K$; if an independent rederivation finds $K>0$ after removing total derivatives, the ghost claim fails. A broader numerical search for any $(d,\\kappa,B_0)$ obeying the background equations with simultaneously positive $K$ and $\\tilde K$ plus negative real parts of the background eigenvalues would also settle the no-go.","supporting_citations":[{"cited_title":"taking κ = 0, the system of equations trivially reduces to Λ = 3 H 2 0 and α = − 1 4H 2 0","cited_arxiv_id":null,"evidence_quote":"Defines the Gauss-Bonnet combination as the second Lovelock term and fixes the theory whose compactifications are studied."},{"cited_title":"III A 1, in the case d = 2, the background is never stable","cited_arxiv_id":null,"evidence_quote":"Supplies the background Einstein-Gauss-Bonnet equations for anisotropic cosmological dynamics that the perturbation calculation starts from."},{"cited_title":"(3.15) The no-ghost condition thus read K = B4 0 − 4κ B2 0 + 2 B2 0(B2 0 − κ) and ~K = − 2 B2 0 − κ B2 0 − κ","cited_arxiv_id":null,"evidence_quote":"Introduces the original compactification scenario with static curved extra dimensions and the attractor analysis that this paper repeats and extends."},{"cited_title":"compensate","cited_arxiv_id":null,"evidence_quote":"Provides the observed bound on gravitational-wave speed used to reject the stable modified flat-extra-dimensional solution."}],"review_version":1}