{"id":"b48ecb35-f4a5-4fc2-9140-951c35747eac","arxiv_id":"2501.13118","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Stable 5D orbifold breakings of exceptional gauge groups never yield just the Standard Model gauge group, ruling out minimal exceptional asymptotic GUTs.","lead":"This paper shows that no minimal grand unified theory based on exceptional gauge groups can be built on stable five-dimensional orbifolds, because the only stable breakings leave extra U(1) factors or too much symmetry. The result steers model builders toward non-minimal E6-based theories, one supersymmetric and one with a modified stabilization potential.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No-go result rests on an unproven maximal-subgroup restriction for exceptional groups; a stable non-maximal SM-breaking alignment would invalidate it.","rationale":"The reader's weakest-assumption diagnosis is correct: the classification of stable exceptional orbifolds is the pivotal step, and it relies on an unproven maximal-subgroup criterion. The explicit effective-potential computations for F4, E6, and E7 are valuable checks for the specific maximal alignments considered, and the UV fixed-point analysis supports the non-minimal E6 suggestions, but these computations do not address the omitted classification step. A stable non-maximal alignment with unbroken group GSM × U(1)^n would directly contradict the abstract's unconditional no-go statement. Because the paper already acknowledges the restriction and only proves it for classical groups, the appropriate outcome is to keep the reader's CONDITIONAL verdict: the central claim should be accepted only after the maximal-subgroup assumption is either proved for E6 and E7 or replaced by an exhaustive enumeration of intersections.","tokens_in":17564,"tokens_out":4414,"duration_ms":51164,"concrete_test":"Using the classification of Z2 parities in Ref. [36], enumerate all inequivalent pairs (P_i, P_j) for E6 and E7 and compute the intersection H = H_i ∩ H_j for every possible alignment, not just those where H is maximal in both H_i and H_j. For each H that contains the Standard Model group SU(3)×SU(2)×U(1) as a regular subgroup, compute the one-loop gauge-scalar potential with the Appendix A method and check whether the global minimum preserves exactly H. If any such non-maximal alignment is a global minimum, the no-go conclusion fails; if a proof shows none exists, the maximal-subgroup restriction is validated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central no-go claim ('we demonstrated that all minimal aGUT models one could build, which fully embed the SM, are based on unstable orbifolds') depends on compiling Table 2 from alignments in which the unbroken 4D group H is a maximal subgroup of both parity-restricted groups Hi and Hj. This maximal-subgroup restriction is introduced in Section 2 ('we propose to only study cases where H is a maximal subgroup of both Hi and Hj') and is explicitly verified only for SU(N), Sp(2N), SO(N); for E6 and E7 it is asserted without proof. The argument does not rule out a parity alignment whose intersection H is non-maximal but nonetheless stable and equal to GSM × U(1)^n, nor does it show that all global minima of the gauge-scalar potential lie on the maximal alignments. Since the existence of even one such stable non-maximal alignment would produce a minimal exceptional aGUT, the absence of this proof is load-bearing. The paper's own Tables 1–2 and Appendix A only sample the maximal cases, so they do not settle the question.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper analyzes 5D S1/Z2×Z'2 orbifolds with exceptional gauge groups (G2, F4, E6, E7, E8) to determine whether any admit a stable vacuum whose unbroken 4D gauge group is the Standard Model (up to extra U(1) factors), which would form the basis of a minimal asymptotic grand unified theory (aGUT). The authors compute one-loop effective potentials for gauge-scalars in various parity alignments, using a maximal common subgroup criterion to classify candidate orbifolds. They find that for the only viable groups E6 and E7, the stable alignments lead to larger unbroken groups such as SU(5)×U(1)^2 or SO(10)×U(1)^2, while the alignments that would break directly to the SM are unstable. The paper concludes that no minimal exceptional aGUT can be built and points to non-minimal E6-based models as alternatives.","tokens_in":17750,"tokens_out":10179,"duration_ms":111310,"significance":"If fully established, the no-go result would be a useful classification result: it would close the possibility of minimal exceptional aGUTs from stable 5D orbifolds and sharpen the case for non-minimal E6 constructions (supersymmetric or with modified gauge-scalar potentials). The effective potential computations are detailed and self-contained, with explicit formulas in the appendices and consistent use of the reflection trick from Ref. [47]; the analysis also provides concrete falsifiable predictions in the form of fixed-point conditions and stability classifications. The main weakness is that the completeness of the maximal subgroup criterion for exceptional groups is assumed rather than proven, which limits the force of the universal no-go statement. With that issue addressed, the paper would be a valuable contribution to the aGUT literature.","major_comments":[{"comment":"The 'maximal subgroup criterion' is introduced in Section 2 as a proposal ('we propose to only study cases where H is a maximal subgroup of both Hi and Hj') and is verified only for SU(N), Sp(2N), and SO(N) in Section 2.1. For the exceptional groups E6 and E7, however, the criterion is assumed without proof, and the stability classification in Table 2 is compiled under this assumption. Because the paper's central claim is a universal no-go statement, a stable parity alignment whose unbroken group is a non-maximal common subgroup equal to GSM × U(1)^n would invalidate the conclusion. The authors should either prove that all stable configurations are captured by maximal common subgroups for exceptional groups, or explicitly restrict the claim to maximal alignments and present completeness as a conjecture.","section":"Section 2, Table 2"},{"comment":"The abstract states 'we show that no minimal asymptotic grand unified theory can be built', and Section 4 concludes 'we demonstrated that all minimal aGUT models one could build, which fully embed the SM, are based on unstable orbifolds'. This overstates the performed analysis: only maximal common subgroup alignments were studied, as the authors themselves acknowledge in Section 4 ('We only studied alignments of the parities leading to maximal unbroken subgroups'). In particular, Section 3.1 notes that for non-extreme gauge-scalar VEVs (0,x) with 0<x<1/2 the E6 orbifold breaks to the SM group, but the paper does not determine whether any such non-maximal alignment is a stable vacuum. The unconditional no-go claim is therefore not established by the results presented.","section":"Section 4 and Abstract"}],"minor_comments":[{"comment":"The proof that the maximal common subgroup criterion reproduces all stable orbifolds is sketched only for SU(N); the extension to Sp(2N) and SO(N) is asserted to be a 'trivial generalisation' without further detail. Since this is used to justify applying the criterion to exceptional groups, a brief outline or reference for these cases would strengthen the presentation.","section":"Section 2.1"},{"comment":"Equations (A.34) and (A.35) use sums over index combinations ij and ijlk without defining the ranges; specify that these are sums over distinct index pairs and quadruples.","section":"Appendix A.3.2"},{"comment":"The table header 'Group Parity' is ambiguous because the entries list the parity label (P1, P2, etc.) on a separate line; reformatting the table so that each row contains the parity label and the unbroken group in the same line would improve readability.","section":"Section 3, Table 1"},{"comment":"There are several typos and awkward phrasings: 'T able 1' at the start of Section 3, 'in function of the two VEVs' in the caption of Fig. 1, and 'the fundamental only contains bi-fundamentals' in Section 3.2, which should be clarified (e.g., by specifying the decomposition of the 56 of E7 under SU(4)×SU(4)).","section":"Multiple locations"},{"comment":"Reference [32] is cited as an arXiv preprint; if it has been published, the journal reference should be updated.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper relies heavily on the authors' previous work (Refs. [8,12,13,32]), but these contain independent derivations, so this is not a circularity concern. The main issue is the unproven completeness of the maximal subgroup criterion for exceptional groups, which affects the central no-go claim. If the authors can prove the criterion or appropriately soften the claim, the paper would be suitable for JHEP. The potential computations themselves appear careful and reproducible."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, this paper does the real work of computing one-loop gauge-scalar potentials for the exceptional-group orbifolds that were left open in the earlier SU(N)/Sp/SO classification. Second, the headline claim—no minimal exceptional aGUT—is not actually proven for all alignments. It is proven for the alignments the authors chose to study, and those are selected by a maximal-subgroup criterion that is verified for classical groups but assumed for E6 and E7.\n\nWhat is genuinely new: the stability computations for E6 P1xP2 (PS alignment unstable, global minima reconstruct SU(5)xU(1)^2) and E7 P2xP3 (SU(6)xSU(2) alignment unstable, minima reconstruct SO(10)xU(1)^2), plus the F4 computation and the E7 P1xP2 case. The appendices give explicit formulas and the reflection trick from Ref. [47] is used consistently. This is not a fitting exercise; the potentials are computed from first principles. The heavy self-citation is to prior papers that did independent classification work, so I do not read it as circular.\n\nWhere it is soft. The maximal-subgroup restriction in Section 2 is the load-bearing point. For SU(N), Sp(2N), SO(N) the authors show that all stable orbifolds are captured by maximal common subgroups. For exceptional groups they simply assert it. Table 2 lists only maximal cases. That leaves open the possibility of a stable non-maximal alignment that breaks directly to GSM. The abstract says 'we show that no minimal asymptotic grand unified theory can be built'—that is stronger than what the analysis demonstrates. The E8 stability is also not computed, though the real-subgroup argument makes it less relevant for chiral fermions. These are real gaps, but they are specific and fixable: prove the criterion for E6/E7 or weaken the claim to 'no stable minimal exceptional aGUT among maximal alignments.'\n\nMy take: the paper deserves a serious referee. The computations are careful, the classification question is legitimate, and the negative result for the maximal alignments is likely correct. I would send it out and ask for the maximal-subgroup assumption to be addressed before acceptance. The authors may well be able to prove it; if they cannot, the no-go is not established, but the partial result is still worth publishing.","headline":"Useful completion of the exceptional-group orbifold stability analysis, but the no-go statement is only as solid as the unproven maximal-subgroup assumption; the potential computations themselves are careful.","tokens_in":18316,"tokens_out":2294,"would_cite":true,"duration_ms":25363,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.10.Kk","12.10.-g"],"model":"deepseek-v4-flash","headline":"There is no stable five-dimensional orbifold of an exceptional gauge group whose unbroken group is exactly the Standard Model gauge group.","keywords":["asymptotic grand unification","exceptional gauge groups","orbifold compactification","gauge-Higgs unification","gauge-scalar effective potential","E6 model building","E7 orbifolds","UV fixed points"],"falsifier":"Compute the one-loop gauge-scalar potential for a non-maximal common-subgroup alignment of two $E_6$ parities whose unbroken group is exactly $SU(3)\\times SU(2)\\times U(1)$ (up to extra $U(1)$ factors), including bulk fermion and scalar contributions: if the global minimum lies at non-extremal VEVs and leaves precisely that group unbroken, the paper's no-go is false.","tokens_in":17360,"feed_emoji":"⚛️","tokens_out":7831,"duration_ms":72548,"temperature":0.7,"pith_summary":"The paper asks whether asymptotic grand unified theories (aGUTs) can be built from exceptional gauge groups on a five-dimensional $S^1/Z_2\\times Z'_2$ orbifold. It establishes a no-go: every orbifold that fully embeds the Standard Model gauge group and satisfies the minimal aGUT requirements is radiatively unstable, because the one-loop gauge-scalar potential drives the vacuum to a configuration that reconstructs a larger unbroken symmetry. Among the exceptional groups, only $E_6$ and $E_7$ can contain the Standard Model; $G_2$ and $F_4$ cannot, and $E_8$ yields only real, non-chiral unbroken subgroups. The two surviving options are non-minimal $E_6$ models: one supersymmetric, one requiring a modification of the Coleman-Weinberg potential. A sympathetic reader would care because the result clears the list of possible minimal exceptional aGUTs and points concrete model-building attention at $E_6$.","feed_headline":"No stable minimal aGUT exists on exceptional 5D orbifolds","feed_subtitle":"Every candidate that embeds the Standard Model is radiatively unstable; only non-minimal E6 paths remain.","key_machinery":"The central object is the $S^1/Z_2\\times Z'_2$ orbifold, defined by two $\\mathbb{Z}_2$ parities $P_1$ and $P_2$ that break the bulk gauge group $G$ to subgroups $H_1$ and $H_2$, leaving $H=H_1\\cap H_2$ in four dimensions. Stability is controlled by the one-loop effective potential $V_{\\rm eff}(a_i)$ of the gauge-scalars, the zero modes of the fifth gauge-field component, built from the template functions $F^+(a)$ and $F^-(a)$ whose minima sit at $a=0$ and $a=1/2$, respectively. The load-bearing selection rule is the maximal-subgroup criterion: the paper scans only alignments where $H$ is a maximal subgroup of both $H_1$ and $H_2$, a criterion it proves for $SU(N)$, $Sp(2N)$, and $SO(N)$ and assumes for exceptional groups. For the $E_6$ and $E_7$ candidates, the potential's global minima occur at maximal VEVs where the zero-mode spectrum reconstructs $SU(5)\\times U(1)^2$ or $SO(10)\\times U(1)^2$, which is the mechanism that kills the minimal models.","core_discovery":"The paper's central claim is that no minimal asymptotic grand unified theory can be built from a stable $S^1/Z_2\\times Z'_2$ orbifold of an exceptional gauge group. It reaches this conclusion by classifying the maximal common subgroups obtained from all pairs of $\\mathbb{Z}_2$ parities for $G_2$, $F_4$, $E_6$, $E_7$, and $E_8$, and by computing the one-loop effective potential for the gauge-scalar zero modes in the candidate $E_6$ and $E_7$ alignments. In every alignment that could in principle break directly to the Standard Model, the global minimum of the potential sits at a maximal vacuum expectation value, $(a,b) = (0,1/2)$ or $(1/2,0)$, at which additional zero modes appear and reconstruct a larger gauge group: $SU(5)\\times U(1)^2$ for the $E_6$ case and $SO(10)\\times U(1)^2$ for the $E_7$ case. Hence the desired unbroken group is never exactly the Standard Model one at a stable minimum, and the paper concludes that only non-minimal $E_6$ paths remain viable.","pith_inferences":["Editorial inference: the no-go stands only under the maximal-subgroup criterion; if a non-maximal common subgroup of two exceptional parities leaves exactly the Standard Model unbroken, that alignment is not examined here, and its stability is an open question.","Editorial inference: the same pattern found in $E_6$ and $E_7$—global minima at the maximal VEV $1/2$ reconstructing a larger symmetry—suggests that direct breaking to the Standard Model by exceptional orbifolds is generically disfavoured by the one-loop potential, not just in the cases tabulated.","Editorial inference: a concrete next step implicit in the paper is to add bulk fermions and scalars to the unstable $E_6$ Pati-Salam alignment and search for parameter regions where the global minimum moves to a non-extremal point $(0,x)$; the paper notes the unbroken group there would be exactly the Standard Model."],"forward_implications":["No minimal exceptional aGUT exists: the $E_6$ and $E_7$ orbifold alignments that fully embed the Standard Model are all radiatively unstable.","The stable $E_6$ orbifold breaks $E_6$ to $SU(5)\\times U(1)^2$, so any viable $E_6$ model must accept a non-minimal intermediate stage or a modified potential.","The stable $E_7$ orbifold breaks $E_7$ to $SO(10)\\times U(1)^2$; the alternative $SU(6)\\times SU(2)\\times U(1)$ alignment is unstable and cannot produce a feasible model even if destabilised.","$E_8$ cannot support chiral Standard Model fermions in this setup because its unbroken subgroups are real, while $G_2$ and $F_4$ cannot contain the Standard Model gauge group.","The viable non-minimal directions are the supersymmetric $E_6$ model, where the one-loop potential vanishes until supersymmetry breaks, and a non-supersymmetric $E_6$ model with additional interactions that shift the gauge-scalar potential's minimum to a non-extremal value."],"supporting_citations":[{"why":"Supplies the general vacuum-stability formalism and the SU(N)/Sp/SO classification against which the maximal-subgroup criterion is checked.","marker":"[32]"},{"why":"Classifies all Z2 parity breaking patterns for exceptional groups, used to construct Table 1 and label the parities.","marker":"[36]"},{"why":"Establishes the minimal aGUT requirements, including SM embedding, chirality, UV fixed points, and stability, used as selection rules.","marker":"[13]"},{"why":"Provides the supersymmetric E6 aGUT model that is the surviving non-minimal alternative.","marker":"[12]"},{"why":"Gives the general SU(N) effective-potential formulae used to compute the E6 and E7 gauge-scalar potentials.","marker":"[48]"},{"why":"Introduces the K-subgroup trick used to reduce exceptional-group potential computations to ordinary-group ones.","marker":"[47]"}],"fun_headline_variants":["No minimal aGUT from stable exceptional 5D orbifolds","Exceptional 5D orbifolds force non-minimal aGUT models","Stable orbifolds rule out minimal aGUTs entirely","Minimal aGUTs unstable on all exceptional 5D orbifolds","Only E6 non-minimal paths survive aGUT instability"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the maximal-subgroup criterion: the paper assumes that the stable unbroken group of any $Z_2\\times Z'_2$ orbifold is a maximal common subgroup of the two parity-breaking subgroups, proved for $SU(N)$, $Sp(2N)$, and $SO(N)$ but not for exceptional groups; if a stable non-maximal alignment exists, it could break directly to the Standard Model and invalidate the no-go result.","fun_headline_variants_meta":{"raw":{"variants":["No minimal aGUT from stable exceptional 5D orbifolds","Exceptional 5D orbifolds force non-minimal aGUT models","Stable orbifolds rule out minimal aGUTs entirely","Minimal aGUTs unstable on all exceptional 5D orbifolds","Only E6 non-minimal paths survive aGUT instability"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000233,"raw_usage":{"total_tokens":1460,"prompt_tokens":880,"completion_tokens":580,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":496,"completion_tokens_details":{"reasoning_tokens":483}},"tokens_in":496,"tokens_out":580,"duration_ms":5856,"temperature":1.0,"reasoning_tokens":483,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T18:06:27.436190+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the one-loop gauge-scalar potential for a non-maximal common-subgroup alignment of two $E_6$ parities whose unbroken group is exactly $SU(3)\\times SU(2)\\times U(1)$ (up to extra $U(1)$ factors), including bulk fermion and scalar contributions: if the global minimum lies at non-extremal VEVs and leaves precisely that group unbroken, the paper's no-go is false.","supporting_citations":[{"cited_title":"Fully radiative electroweak symmetry breaking,","cited_arxiv_id":null,"evidence_quote":"Supplies the general vacuum-stability formalism and the SU(N)/Sp/SO classification against which the maximal-subgroup criterion is checked."},{"cited_title":"Systematic classification of aGUT models in five dimensions: The SU(N) kinship","cited_arxiv_id":"2309.10098","evidence_quote":"Establishes the minimal aGUT requirements, including SM embedding, chirality, UV fixed points, and stability, used as selection rules."},{"cited_title":"Asymptotic Ultraviolet-safe Unification of Gauge and Yukawa Couplings: The exceptional case","cited_arxiv_id":"2302.11671","evidence_quote":"Provides the supersymmetric E6 aGUT model that is the surviving non-minimal alternative."},{"cited_title":"Vacuum structure in 5d so(10) gut on s1/z2,","cited_arxiv_id":null,"evidence_quote":"Gives the general SU(N) effective-potential formulae used to compute the E6 and E7 gauge-scalar potentials."},{"cited_title":"Double SU(4) model","cited_arxiv_id":"1903.03209","evidence_quote":"Introduces the K-subgroup trick used to reduce exceptional-group potential computations to ordinary-group ones."}],"review_version":1}