{"id":"40c76a4e-6998-4294-9826-5542d684cf52","arxiv_id":"2412.13300","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Three new G2-invariant AdS4 vacua of eleven-dimensional supergravity are found numerically, together with explicit uplift formulas and evidence that the G2-invariant sector may be complete.","lead":"This paper derives three new solutions of eleven-dimensional supergravity: spacetimes shaped as anti-de Sitter space times a deformed seven-sphere, preserving G2 symmetry. It also presents a widely applicable method for studying consistent truncations with infinitely many fields, relevant to classifying supergravity vacua and to holography.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The three new solutions rest on shooting/gradient-descent numerics without residual or error control; an independent high-precision check of Table 2 is needed before the central claim is secure.","rationale":"Reader identifies ansatz (3.49),(3.52) generality as weakest. I find that assertion likely correct: on S7 viewed as I x S6, G2-invariant metric has two functions; G2-invariant 3-form has three components, but gauge transformations with the invariant 2-form J remove one combination, leaving two physical functions, which are encoded in A and F. The ExFT counting of G2-singlet modes and the recovery of all four known analytic solutions are consistent with this. So I do not press that point. The genuinely load-bearing uncertainty is numerical existence of the new branches. The evidence is topological sign-region/intersection plus gradient descent, not a certified root; singular ODEs can produce failures before the midpoint, and the loss functions do not measure global residuals. A direct residual check of the full D=11 equations using the explicit uplift would settle it. Since the paper is explicit that completeness is only suggested and the reader already set CONDITIONAL, the verdict does not change, but the condition should be understood as: independent numerical verification of Table 2.","tokens_in":26705,"tokens_out":26504,"duration_ms":275117,"concrete_test":"Implement an independent, error-controlled shooting code for (3.54): use high-order Taylor series from (3.61) near w=1, integrate to w=0 with absolute tolerance 1e-12, enforce (3.66)/(3.68), continue to w=-1, and compute the residuals of all three ODEs plus the constancy of V from (3.55) on a refined mesh. Equivalently, substitute the numerical profiles into the uplifted D=11 metric (3.49) and three-form (3.52) and evaluate the D=11 supergravity equations symbolically. If residuals exceed, say, 1e-8 for any of the three new solutions, the claim of new solutions is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Central claim: three new regular G2-invariant AdS4 solutions. Support: numerical shooting from regular boundary data (3.60) at w=1, with regularity enforced by loss functions (3.70)-(3.71) at w=0, relying on Z2 symmetry (3.65)/(3.67) to guarantee regularity at w=-1. The ODEs (3.54) are singular at w=±1, and the loss functions test only the midpoint; they do not certify that the numerical solution extends across the full interval, that no singularity develops inside, or that the ODE residuals vanish. The line-intersection arguments in Figs. 1, 3, 5 show nearby sign changes but not exact roots; gradient descent can converge to a nonzero local minimum. No convergence study, tolerance, release of code, or interval-arithmetic certificate is supplied. The recovery of the four analytic solutions is genuine support, and the ExFT derivation is coherent, but it does not protect the previously unknown branches. Thus the existence of SO(7)', G2', and G2'' is the least secure part of the paper.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a consistent-truncation formalism, based on exceptional field theory (ExFT), for the G2-invariant sector of D=11 supergravity on a deformed seven-sphere, represented as a foliation of S6 = G2/SU(3) over an interval. It derives a system of coupled ordinary differential equations for the G2-invariant scalar fields and gives explicit uplift formulas for the D=11 metric and three-form. Solving these ODEs numerically with boundary regularity conditions, the authors recover the four known G2-invariant AdS4 solutions that lie inside the N=8 consistent truncation, and they report three new numerical solutions (SO(7)', G2', G2''), which uplift to AdS4 x Sigma7 geometries with non-vanishing three-form flux preserving G2. The paper further suggests that, within the considered symmetric sector, this set of solutions is complete.","tokens_in":26892,"tokens_out":3877,"duration_ms":33641,"significance":"If the new solutions are genuine, they are interesting additions to the landscape of AdS4 vacua of D=11 supergravity, going beyond the standard N=8 truncation by involving higher Kaluza-Klein modes. The paper's main strengths are its coherent ExFT derivation, the explicit form of the reduced ODE system, the recovery of all four known analytic solutions as a strong consistency check, and the explicit uplift formulas for the new backgrounds. However, the central claim of three new solutions rests entirely on numerical shooting and gradient-descent refinement, with no convergence study, residual certificate, or released code, and the completeness statement is explicitly restricted to a particular symmetry class and is not rigorously established. The results are suggestive and well-motivated, but the numerical evidence as presented is not yet at the standard needed to certify new supergravity backgrounds.","major_comments":[{"comment":"The existence of the three new solutions is the central claim, yet it is supported only by numerical shooting from the boundary at w=1 with regularity measured by the loss functions (3.70)–(3.71) evaluated at the midpoint w=0. These loss functions do not certify that the numerical solution satisfies the ODEs (3.54) on the whole interval, nor do they guarantee that the solution extends to the singular endpoint w=-1 without a singularity developing in the interior. The line-intersection arguments in Figs. 1, 3, and 5 establish sign changes of the respective derivative conditions but not exact roots, and gradient descent on a non-convex loss can converge to a non-zero local minimum. To make the central claim secure, the authors should provide an error analysis: e.g., residual norms of (3.54) on the interval, a convergence check under refinement of the integration tolerance and step size, an independent integration scheme, or a release of the code. Without such evidence, the entries of Table 2 cannot be verified beyond the stated digits.","section":"§3.5–3.6, Eqs. (3.54), (3.70)–(3.71), Table 2"},{"comment":"The abstract and conclusions state that the analysis 'suggests that this is the complete set of G2-invariant AdS4 solutions of D=11 supergravity.' However, the text immediately following the search in §3.5.2 explicitly says: 'Although we have not attempted a rigorous proof, the analysis suggests that the set of regular solutions given in Table 2 is complete, if one restricts to even (3.66) and odd (3.68) solutions. Relaxing the latter conditions, one may expect yet more regular solutions, but we have not explored this systematically.' The completeness claim is therefore not supported by the presented evidence, which is restricted to solutions satisfying either (3.65) or (3.67). The paper should either remove the unconditional completeness statement or substantially extend the analysis to non-symmetric solutions.","section":"§3.5.2 (p. 29) and Abstract"},{"comment":"The reduction from the general six-scalar Lagrangian (3.12) to the compact three-field system (3.48) relies on a 'non-linear θ-dependent SL(2)×SU(2,1) transformation' (3.40) that is not presented explicitly. Since the subsequent ODE system (3.54) and the uplift formulas (3.49)–(3.52) are the basis of all new solutions, the absence of the explicit field redefinition prevents an independent check that the reduced equations are equivalent to the full G2-invariant ansatz. Even if the redefinition is lengthy, the authors should provide it (e.g., in electronic form or an appendix) so that the claim of 'most general G2-invariant ansatz' after gauge fixing is verifiable.","section":"§3.3, Eqs. (3.40) and (3.49)–(3.52)"}],"minor_comments":[{"comment":"The text introducing (3.70)–(3.71) says 'regularity is conveniently encoded in the conditions (3.68) and (3.68), respectively'; the second reference should be to the even conditions (3.66) and the odd conditions (3.68), respectively, or to (3.65)/(3.67).","section":"§3.6, Eq. (3.71)"},{"comment":"The formula for the AdS4 radius uses the notation 'ℓ2_4' which is ambiguous; it presumably means ℓ_4^2. The denominator also contains a term '−21e^{2q}(9 p−4)' that should be checked for sign consistency with Eq. (3.55), since a sign error would propagate to the ℓ4 values in Table 2.","section":"§3.4, Eq. (3.62)"},{"comment":"The abstract says 'we derive three new G2-invariant solutions'; since these are found numerically, 'construct numerically' or 'identify' would be more accurate. The same wording appears in §1 and §4.","section":"Abstract and §1 (p. 4)"},{"comment":"The footnote defining the change of coordinates 'θ →π−θ7' appears to contain a typo; it should presumably be 'θ → π−θ'.","section":"§3.2.1, Eq. (3.24)"},{"comment":"The quantity h(t,z) is used before it is introduced in the sentence 'Thus, for sufficiently small t, we can again assume h(t,z) = e^{χ(t,z)}.' This should be rephrased for clarity.","section":"§2.4.2 (p. 13)"}],"recommendation":"major_revision","confidential_remarks":"The paper is a competent application of the authors' ExFT framework, and the recovery of the four known analytic solutions is a genuine validation. My main reservation is the lack of a quantitative numerical certificate for the three new backgrounds; this is a correctable issue but needs to be fixed before the central claim can be considered established. The completeness statement should also be tempered to match the restricted search space. I do not see evidence of misconduct or inappropriate citation patterns; the speculative remarks about ω-deformed supergravity in §4 are clearly flagged as such."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a serious ExFT paper that derives the most general G2-invariant AdS4 ansatz in D=11 supergravity, reduces it to a three-field ODE system, recovers all four known analytic vacua, and finds three new numerical ones. The new solutions are the interesting part, but they rest on shooting/gradient-descent numerics that the paper does not document with residuals, convergence tests, or released code. I would not treat SO(7)', G2', G2'' as rigorously established until someone redoes the numerics at higher precision.\n\nWhat is genuinely new: the first treatment of the full G2-invariant sector beyond the N=8 truncation, the explicit 5D reformulation as minimal gauged supergravity coupled to a hypermultiplet, and the three numerical vacua. The ExFT derivation is coherent, and the recovery of the four known analytic solutions via the same boundary-value machinery is a strong internal check. The paper is also honest: it states clearly that the completeness claim is not rigorous and that the scan was systematic only in the even/odd sector.\n\nThe soft spot is exactly where the stress-test puts it. The regularity conditions (3.66)/(3.68) are tested only at w=0; the loss functions (3.70)-(3.71) do not certify the absence of singularities in the interior or the vanishing of ODE residuals across the interval. The figures show lines of sign changes, not exact roots, and gradient descent can converge to a local minimum of the loss. No code is shipped, and \"all digits displayed are within numerical accuracy\" is a claim, not evidence. This is addressable—an independent high-precision integration with a second method, plus residual plots, would settle it. As it stands, the new vacua are plausible but not yet established to the standard I would want before building anything on them.\n\nThe abstract's \"suggests complete\" is stronger than the body supports; the body correctly restricts completeness to even/odd solutions and notes that relaxing those conditions may give more. That is a wording issue, not a deep flaw.\n\nWho gets value: anyone working on consistent truncations, M-theory vacua, or AdS/CFT with G2 symmetry. It deserves a serious referee. A good referee should ask for code and a convergence study; if the new solutions survive an independent check, the paper is a solid contribution. I would not desk reject it.","headline":"Solid ExFT-derived new vacua, but the numerical existence claim needs an independent high-precision check before I'd trust it.","tokens_in":27403,"tokens_out":3731,"would_cite":true,"duration_ms":32605,"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":"By allowing all infinitely many G2-invariant Kaluza-Klein scalar modes, the paper derives the most general AdS4 ansatz in D=11 supergravity and finds three new deformed-seven-sphere vacua beyond the four known ones.","keywords":["consistent truncations","exceptional field theory","G2-invariant solutions","AdS4 vacua","D=11 supergravity","deformed seven-sphere","Kaluza-Klein spectrum","numerical solutions"],"falsifier":"Solve the ODE system (3.54) numerically over the full space of boundary data (q, p, a) without imposing the even/odd parity ansatz, and look for any further solution regular at both endpoints w = ±1; finding one would refute the suggested completeness of Table 2. Alternatively, an explicit G2-invariant mode omitted from the exceptional-field-theory field content would invalidate the claim that the ansatz is the most general one.","tokens_in":26473,"feed_emoji":"🌌","tokens_out":9195,"duration_ms":82652,"temperature":0.7,"pith_summary":"This paper aims to determine the complete set of G2-invariant anti-de Sitter vacua of D=11 supergravity on deformed seven-spheres, of the form AdS4 × Σ7. It uses exceptional field theory to set up the consistent truncation to all fields invariant under G2 ⊂ SO(8), keeping the infinitely many Kaluza-Klein towers encoded in one extra coordinate. Within this framework it derives the most general G2-invariant AdS4 ansatz and reduces the field equations to a singular boundary-value problem for three scalar functions. Solving this system numerically, the authors recover the four previously known analytic vacua and find three new regular solutions, labelled SO(7)′, G2′, and G2″, each uplifting to a deformed seven-sphere with non-vanishing three-form flux preserving G2. The analysis suggests this list is the complete set of such solutions, which would close the search for G2-invariant AdS4 vacua in D=11 supergravity.","feed_headline":"Three new G2-invariant AdS4 vacua found","feed_subtitle":"Allowing higher Kaluza-Klein scalar modes adds three deformed seven-sphere vacua to the four known ones.","key_machinery":"The central object is the exceptional-field-theory truncation to K-singlets on the seven-sphere. The sphere is represented as the foliation I × G2/SU(3), so the generalised vielbein takes the form V = ˚U(y,θ) S(y) W(x,θ) S−1(y), packaging infinitely many Kaluza-Klein modes into fields depending on one extra coordinate θ. After the coordinate and field redefinitions of section 3.3, the vacuum equations become the ODE system (3.54) for three functions φ, Δ, and A; the conserved charge V fixes the AdS4 radius, and the uplift formulas (3.49) and (3.52) convert solutions into full D=11 geometries. This machinery turns the existence of new vacua into a discrete boundary-value problem, whose regular solutions are enumerated in Table 2.","core_discovery":"On the paper's own terms, the central discovery is that the G2-singlet sector of D=11 supergravity on a deformed seven-sphere contains seven regular AdS4 vacua: the four analytic solutions already known from the N=8 truncation, and three new numerical solutions SO(7)′, G2′, and G2″ that are not contained in maximal N=8 supergravity. The new solutions arise only after retaining all infinitely many G2-invariant Kaluza-Klein scalar modes, encoded through a transverse coordinate; each uplifts to a geometry AdS4 × Σ7 with an SO(7)-isometric internal space and a non-vanishing three-form flux breaking the isometry to G2. The paper argues that within the most general G2-invariant ansatz, this set is complete.","pith_inferences":["A numerical search that drops the even/odd parity restrictions (3.65) and (3.67) could settle whether the completeness claim extends beyond the symmetric sector the paper actually scanned.","If any of the new vacua turns out to be stable and supersymmetric, it would be a natural candidate for a holographic dual of a three-dimensional CFT; the paper leaves this question open.","The paper raises, without pursuing, the possibility that omega-deformed maximal supergravities, which admit extra G2 vacua, might describe some of the new solutions; an explicit identification would test that connection.","The same method should transfer to other K-singlet sectors on different coset spheres, where an analogous search might reveal similar finite completions beyond the maximal truncation."],"forward_implications":["Each of the three new numerical solutions uplifts to a regular AdS4 × Σ7 geometry with a deformed seven-sphere preserving SO(7) isometries and a non-vanishing three-form flux preserving G2.","If the completeness suggestion is correct, the full set of G2-invariant AdS4 solutions in this ansatz consists of the four analytic and three numerical solutions listed in Table 2, with no further regular vacua.","The new backgrounds are not contained in the consistent truncation to N=8 supergravity, since they require non-vanishing scalars from higher Kaluza-Klein modes.","The ExFT embedding of the new solutions supplies the generalised frames needed for future computations of their Kaluza-Klein spectra, stability, and supersymmetry."],"supporting_citations":[{"why":"Supplies the generalised parallelisation and twist matrix for round spheres used to build the truncation ansatz.","marker":"[1]"},{"why":"Establishes the exceptional field theory formulation for consistent Kaluza-Klein truncations.","marker":"[2]"},{"why":"Provides the L-structure and intrinsic-torsion framework that identifies the reduced structure group of the truncation.","marker":"[3]"},{"why":"Gives the classic consistency argument for truncations to K-singlet fields, on which the whole construction rests.","marker":"[9]"},{"why":"Treats the infinite-Kaluza-Klein-mode case with a foliation over a transverse coordinate and reproduces the SO(7) effective potential used here.","marker":"[10]"},{"why":"Contains the earlier G2-invariant AdS4 solutions within the N=8 embedding that are recovered and extended in this paper.","marker":"[17]"},{"why":"Provides the analytic SO(7)+ solution that is reproduced as one of the four known vacua.","marker":"[20]"},{"why":"Defines the N=8 maximal supergravity truncation in which the four known G2 vacua live.","marker":"[21]"},{"why":"Lists the G2-invariant extrema of the N=8 scalar potential matched by the four analytic vacua.","marker":"[22]"}],"fun_headline_variants":["Three new G2-invariant AdS4 vacua from D=11 supergravity","Seven G2-invariant AdS4 vacua now known","Complete set of G2-invariant AdS4 vacua: seven found","Three new vacua complete the G2-invariant AdS4 family","Three new G2-invariant vacua on deformed 7-sphere"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the scalar field content {φ, Δ, A} with all fields depending only on the transverse coordinate captures every G2-invariant mode of D=11 supergravity after gauge fixing; if any mode is missing, the derived equations could miss solutions and the completeness conclusion would fall.","fun_headline_variants_meta":{"raw":{"variants":["Three new G2-invariant AdS4 vacua from D=11 supergravity","Seven G2-invariant AdS4 vacua now known","Complete set of G2-invariant AdS4 vacua: seven found","Three new vacua complete the G2-invariant AdS4 family","Three new G2-invariant vacua on deformed 7-sphere"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001526,"raw_usage":{"total_tokens":6052,"prompt_tokens":830,"completion_tokens":5222,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":446,"completion_tokens_details":{"reasoning_tokens":5124}},"tokens_in":446,"tokens_out":5222,"duration_ms":35448,"temperature":1.0,"reasoning_tokens":5124,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T13:15:26.442694+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve the ODE system (3.54) numerically over the full space of boundary data (q, p, a) without imposing the even/odd parity ansatz, and look for any further solution regular at both endpoints w = ±1; finding one would refute the suggested completeness of Table 2. Alternatively, an explicit G2-invariant mode omitted from the exceptional-field-theory field content would invalidate the claim that the ansatz is the most general one.","supporting_citations":[{"cited_title":"Consistent truncations in Kaluza-Klein theories,","cited_arxiv_id":null,"evidence_quote":"Gives the classic consistency argument for truncations to K-singlet fields, on which the whole construction rests."},{"cited_title":"The embedding of gaugedN = 8 supergravity into d = 11 supergravity,","cited_arxiv_id":null,"evidence_quote":"Contains the earlier G2-invariant AdS4 solutions within the N=8 embedding that are recovered and extended in this paper."},{"cited_title":"A new SO(7) invariant solution ofd = 11 supergravity,","cited_arxiv_id":null,"evidence_quote":"Provides the analytic SO(7)+ solution that is reproduced as one of the four known vacua."},{"cited_title":"N = 8 supergravity,","cited_arxiv_id":null,"evidence_quote":"Defines the N=8 maximal supergravity truncation in which the four known G2 vacua live."},{"cited_title":"Some new extrema of the scalar potential of gaugedN = 8 supergravity,","cited_arxiv_id":null,"evidence_quote":"Lists the G2-invariant extrema of the N=8 scalar potential matched by the four analytic vacua."}],"review_version":1}