{"id":"3d300ea3-e78a-42d3-b336-9286fe5d0f47","arxiv_id":"2505.12948","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":8,"one_line_summary":"Using graph-theoretic folding, the authors map the effective potentials of M-theory black holes and black strings on the tetra-quadric Calabi-Yau onto known potentials of lower-dimensional compactifications.","lead":"This paper studies five-dimensional black holes and black strings made by wrapping M-theory branes on a four-parameter Calabi-Yau manifold called the tetra-quadric. It shows that, under hand-chosen identifications of the manifold's parameters, the black-brane potentials collapse onto potentials from simpler, previously studied compactifications.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The folding maps in (4.2)–(4.24) are fitted coordinate rescalings, not derived truncations: a genuine Γ-reduction would fix the scalar ansatz and require the full 5D action to reduce; no such check or quotient geometry is provided, so the central reduction claim is unsupported.","rationale":"The reader's weakest_assumption identifies the load-bearing gap: the folding maps are not derived, and scalar-potential matching is not a demonstration of a physical truncation. I agree. The stress-test adds two concrete supporting observations. First, the rescaling factors in (4.2)–(4.24) are not fixed by the graph automorphism; for the tetra-quadric star graph the automorphism group is S4, and the listed subgroups only specify which vertices to identify, not which numerical factors to multiply by. Second, the direction ambiguity in (4.20)–(4.21) shows how easily such factors can be fitted: at a single symmetric point the Z4 ansatz differs from the quoted quintic formula by a factor of 256 under the literal reading, while the opposite reading works. That is exactly what one expects if the maps are chosen to make known formulas reappear. The paper also does not check that the Kähler metric, gauge kinetic terms, Chern–Simons term, or equations of motion reduce consistently; without such a check the central 'reduction' claim is overstated even if the potential identities are correct. The graph-theory inaccuracy (S4 versus the listed subgroups) and the repeated C134 typo in (3.4) are secondary. Given the absence of any full-action consistency check, the reader's REJECT verdict remains appropriate; the authors could strengthen the paper considerably by supplying a genuine Γ-invariant truncation or by explicitly limiting the claim to scalar-potential identities along slices.","tokens_in":12387,"tokens_out":28578,"duration_ms":297190,"concrete_test":"Fix the Z4 fold and settle the direction of (4.20)–(4.21): at all parent t_i=q_i=1, (3.11) evaluates to 32/3, while (4.22) at t1=q1=2 gives 32/3 and at t1=q1=1 gives 2/3; the claimed recovery holds for only one reading of the arrow. Then do the decisive truncation check: compute the pulled-back Kähler metric G_ij=-1/2∂i∂j log V on the folded slice t_i=λt and compare it, after the same field redefinition, with the quintic metric from V=(5/6)t^3. A consistent reduction requires the pulled-back metric and gauge kinetic terms to equal the target's; if not, matching scalar potentials is a fitted coincidence, not a reduction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"At its core the paper shows only that after imposing the identifications and rescalings (4.2)–(4.24), the scalar potentials (3.11) and (3.14) turn into formulas quoted from [1,6]. That is an algebraic identity along a slice, not a reduction of M-theory on a CY. A consistent Γ-truncation must come from a group-invariant ansatz; the automorphism Γ of the star diagram fixes vertex identifications (t_i=t_j, q_i=q_j) but not the numerical factors 3/2, 4/3, √2, 2, etc. These are fitted to the target potentials. The ambiguity is visible already inside the paper: the Z4 ansatz (4.20)–(4.21), read literally as t_old=2t_folded and q_old=2q_folded, gives at the symmetric point t=q=1 a parent value 512/3, while the claimed quintic formula (4.22) gives 2/3—a factor 256; the identity holds only if the arrow is read as t_folded=2t_old. Because an overall rescaling of the target fields can absorb any such factor, potential matching cannot certify a physical embedding. No check is made that the Kähler metric G_ij∂ti∂tj, the gauge kinetic matrix, and the Chern–Simons term reduce to the target theory, nor that the truncated equations of motion follow from the parent ones. The claimed target CYs are also not exhibited as quotients: for instance, a quotient of (P1)^4 by S4 is Sym^4(P1) ≅ P4, and the authors do not show that the invariant locus of the tetra-quadric in this P4 is the quintic.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper computes the effective scalar potentials of 5D black holes and black strings obtained from M-theory compactified on the tetra-quadric Calabi-Yau threefold, a (2,2,2,2) complete intersection in (P1)^4 with h^{1,1}=4, and proposes that by \"folding\" the associated colored CY diagram under the outer automorphism groups Z2, Z2×Z2, Z3, and Z4 — identifying the Kähler moduli and charges in the same orbit — the tetra-quadric black brane potentials reduce to those of known compactifications with fewer Kähler moduli: a CICY in P1×P1×P2 (h^{1,1}=3), the bi-cubic in P2×P2, a K3 fibration in P1×P3, and the quintic in P4. Section 3 presents the tetra-quadric potentials, and Section 4 gives explicit rescaling maps for the moduli and charges, asserting without displaying the substitution that these maps recover the target potentials of refs. [1] and [6]. No quotient geometry or consistent-truncation check is provided.","tokens_in":2141,"tokens_out":5491,"duration_ms":327467,"significance":"If the reduction claim were established, the paper would offer a useful organizing principle: discrete symmetries of CY diagrams would imply relations among black brane effective potentials and stability properties across five different M-theory compactifications, and would allow the four-modulus tetra-quadric to be analyzed through its lower-dimensional folded descendants. The compilation of explicit tetra-quadric potentials in Section 3 is also a potentially useful reference. However, the significance is substantially undercut as presented: the central identities are asserted rather than derived, the parent potential as printed is internally inconsistent, and no machine-checked algebra or reproducible computation is provided. The genuine contribution is thus at the level of a conjecture about a folding principle, not a demonstrated result.","major_comments":[{"comment":"The printed parent potential is not self-consistent and cannot serve as the basis for the claimed reductions. The intersection numbers (3.4), with C134 printed twice and C234 omitted, together with the volume (3.6), are invariant under all permutations of the four Kähler moduli, so the effective potential V_BH = G(q,t)/T(t) must be S4-symmetric at the point t_i = 2. Direct evaluation of the printed expressions (3.11)-(3.13) at t_i = 2 gives g11 = 2816 but g33 = 2624, and g12 = -256 while g13 = g14 = -576; the S4 symmetry actually forces all four diagonal gii to be equal and all off-diagonal gij to be equal. In addition, the list of matrix elements omits g34 and g44 entirely. At least some of the printed gij therefore contain errors, and the claimed recovery of the target potentials in Section 4 cannot be checked against the parent potential as it stands.","section":"Section 3.1, Eqs. (3.4)-(3.13)"},{"comment":"The folding maps are presented as an ansatz, not derived. The graph automorphism Gamma fixes only which variables are identified (for example t3 = t4 in the Z2 case, or t1 = t2 = t3 = t4 in the Z4 case); it does not fix the rescaling factors appearing in (4.2)-(4.24), such as sqrt(2/3)/3, 3/2, 4/3, cubert(3/2), sqrt(2), sqrt(6), and 8/5. These coefficients are not determined by the group action and can only be fixed by requiring the target formulas of refs. [1] and [6] to be reproduced, which is the fitting target. No substitution is actually displayed: each subsection simply states that one recovers the target potential. Moreover, because the parent and target potentials are homogeneous -- G is of degree 6 in t and degree 2 in q while T is of degree 4 in t -- an overall rescaling of the target fields absorbs any constant normalization mismatch; on the fully symmetric slice V_BH scales as a^4 under t_i -> a t_i and q_i -> a q_i, so Eq. (4.22) is compatible with (4.20)-(4.21) for exactly one of the two possible readings of the arrow, and the manuscript never states which reading is intended. Potential matching along a slice, without a group-theoretic determination of the embedding, does not establish that these maps describe a physical reduction.","section":"Sections 4.1-4.4, Eqs. (4.2)-(4.24)"},{"comment":"The central claim that M-theory black branes on the tetra-quadric can be reduced to the known compactifications is not supported by any mechanism of reduction. A consistent truncation requires a group-invariant ansatz under which the full 5D action (3.8), including the Kähler moduli kinetic terms, the gauge kinetic matrix, and the Chern-Simons term Cijk F^i∧F^j∧A^k, reduces to the target action, with the target equations of motion following from the parent ones; none of these checks is performed. Nor are the target geometries exhibited as quotients: the paper does not show, for example, that the image of the (2,2,2,2) hypersurface under a Z2 quotient (P1)^4 -> P1×P1×P2 is the specific CICY named in Section 4.1, or that a Z4-invariant locus of the tetra-quadric maps to the quintic in P4 (the relevant ambient relation would involve Sym^4(P1) ≅ P4). The folded diagrams in Figs. 4-7 are asserted to represent the target manifolds, but the correspondence between the folded graph and an actual Calabi-Yau quotient with the claimed Hodge numbers is never established.","section":"Section 2.3 and Section 4, and Abstract"}],"minor_comments":[{"comment":"The entry C134 is printed twice and C234 is omitted; comparison with the volume (3.6) shows the intended statement is C123 = C124 = C134 = C234 = 2.","section":"Eq. (3.4)"},{"comment":"The condition \"i=k≠k\" is meaningless; presumably \"i=k≠j\" is intended.","section":"Eq. (3.5)"},{"comment":"The list of matrix elements gij is incomplete, as g34 and g44 are not given.","section":"Section 3.1, Eqs. (3.12)-(3.13)"},{"comment":"The direction of each folding map -- whether the arrow expresses parent fields in terms of folded fields or vice versa -- should be stated explicitly, and at least one complete substitution, for example the Z2 black hole case, should be displayed so that the claimed recovery can be checked.","section":"Sections 4.1-4.4"},{"comment":"The notation Gij qi qj conflicts with the standard 5D black hole potential V = G^{ij} q_i q_j built from the inverse moduli metric; the convention used for Gij in (3.10)-(3.11) should be clarified.","section":"Section 3.1, Eq. (3.10)"},{"comment":"The manuscript contains numerous typographical errors that should be corrected in a proofreading pass: \"Dynking\" for \"Dynkin\" in Section 2.2, \"digram\" for \"diagram\" in Sections 4.3-4.4, \"consorted\" for \"accompanied\" in Section 4.1, \"shearing similarities\" in Section 2.2, \"in in M-theory\" in Section 4.4, a duplicated caption line \"Table 1: Tetra-quadric CY diagram and its outer-automorphism groups\" on page 11, and broken superscript typesetting such as \"t4 1\" in the potential formulas.","section":"Throughout"}],"recommendation":"reject","confidential_remarks":"The core problem is that the manuscript's method cannot, as written, deliver the advertised result: the folding ansätze are not derived from the group action by any stated procedure, the parent potential formulas in Section 3.1 violate the S4 symmetry implied by the intersection numbers, and no truncation or quotient check is attempted. This is not a presentation issue; the paper would need a new derivation of the folding maps together with a demonstration that at least one of the four reductions is a genuine consistent truncation. I also note that the target potentials are quoted from the authors' own earlier papers (refs. [4]-[7]) without independent verification, which further hampers checking. The folding idea is suggestive and fits the journal's scope; a much more careful version, with the substitutions shown and the parent formulas corrected, could be the basis for a future submission."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The useful content is the explicit computation of the tetra-quadric black hole and black string potentials and the observation that these potentials contain slices matching known models. The central claim—that this is a genuine M-theory reduction via folding—is not supported. The maps in Section 4 look like fitted rescalings, not derived truncations.\n\nWhat the paper does well: the authors grind out the full scalar potentials for the tetra-quadric compactification, which is a tedious calculation worth having as a reference. They also exhibit, for each of Z2, Z2×Z2, Z3, and Z4, an explicit identification of moduli and charges that turns the tetra-quadric potential into the potential of a known CICY. As an algebraic identity, that is correct, modulo the direction-of-arrow ambiguity and some typos.\n\nThe soft spots are load-bearing. The automorphism group of the tetra-quadric star diagram is S4, not just the four listed groups; listing cyclic/abelian subgroups misses the point. More seriously, the numerical rescaling factors (3/2, 4/3, √2, 2, etc.) are not fixed by the graph symmetry. They are chosen so the substitution works. The Z4 example in the stress-test shows that reading the arrow one way gives a factor 256 mismatch, so the matching is a coordinate convention, not a geometric invariant. No check is made that the Kähler metric, gauge kinetic matrix, Chern–Simons term, or equations of motion reduce consistently. Matching the scalar potential along a slice of moduli space is not a truncation of the 5D supergravity theory. The typos in Eq. (3.4) (C134 repeated) and Eq. (3.5) (i=k≠k) are minor but suggest the algebraic identities were not fully checked.\n\nWho is this for? Readers who want the explicit tetra-quadric potentials, or who are curious about the folding idea as an algebraic trick. It is not for readers wanting a physical reduction proof.\n\nMy recommendation: do not cite this as a reduction, and do not accept it as is. But I would send it to a referee rather than desk reject—the computations are concrete, checkable, and the authors could in principle fix the gap by deriving the maps from a genuine Γ-invariant ansatz and checking the full action. That would be a nontrivial revision, but the paper has enough substance to justify referee time.","headline":"A substitution exercise dressed as a geometric reduction; the explicit potentials are useful, but the central folding claim needs a real quotient construction.","tokens_in":13458,"tokens_out":3869,"would_cite":false,"duration_ms":45171,"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":"Folding the tetra-quadric Calabi-Yau diagram under its outer automorphism symmetries reduces M-theory black brane potentials to those of four known compactifications with fewer Kähler moduli.","keywords":["tetra-quadric Calabi-Yau","folding","M-theory black branes","5D N=2 supergravity","Calabi-Yau diagrams","outer automorphism","Kähler moduli","black strings"],"falsifier":"Substitute the folded ansatz of Eqs. (4.2)–(4.24) into the full equations of motion derived from the action (3.8) and check whether it solves them; if the folded fields do not satisfy the field equations beyond the scalar potential, the folding is only a potential-level coincidence rather than a truncation of M-theory on the tetra-quadric.","tokens_in":12085,"feed_emoji":"🕳️","tokens_out":11069,"duration_ms":95664,"temperature":0.7,"pith_summary":"The paper sets out to show that M-theory on the tetra-quadric Calabi-Yau threefold—a complete intersection of four quadrics in $(\\mathbb{CP}^1)^4$—contains, along certain slices, the physics of four simpler compactifications. The slicing is implemented by folding the colored diagram of the manifold under the outer-automorphism groups $Z_2$, $Z_2\\times Z_2$, $Z_3$, and $Z_4$, which identify the projective-space vertices and constraint legs permuted by the symmetry. Substituting the corresponding rescalings of the four Kähler moduli and of the electric and magnetic charges into the black hole and black string effective potentials reproduces the known potentials of the $\\mathbb{CP}^1\\times\\mathbb{CP}^1\\times\\mathbb{CP}^2$, bi-cubic, $\\mathbb{CP}^1\\times\\mathbb{CP}^3$, and quintic compactifications. If correct, the tetra-quadric model is a parent theory whose lower-$h^{1,1}$ descendants are obtained by discrete quotients of its moduli space.","feed_headline":"Folding one Calabi-Yau diagram reproduces four black-brane models","feed_subtitle":"The tetra-quadric's symmetries collapse its black-hole and black-string potentials to four simpler compactifications.","key_machinery":"The central object is the colored Calabi-Yau diagram, in which each projective-space factor is a red vertex, each polynomial constraint is a blue vertex, and legs connect them; for the tetra-quadric this is four degree-2 red vertices joined to one degree-8 blue vertex. The folding procedure identifies same-color, same-degree vertices permuted by an outer-automorphism group $\\Gamma$ of the diagram, and the accompanying rescalings in Eqs. (4.2)–(4.24) map the Kähler moduli and electric and magnetic charges of the tetra-quadric model onto the variables of the target compactifications. These maps are the machinery that converts the four-moduli black hole and black string potentials into the known lower-dimensional potentials.","core_discovery":"The central claim is that M-theory black branes on the tetra-quadric Calabi-Yau manifold can be reduced by folding to known compactifications with lower-dimensional Kähler moduli spaces. On the graph-theoretic side, the tetra-quadric diagram is invariant under the outer-automorphism groups $Z_2$, $Z_2\\times Z_2$, $Z_3$, and $Z_4$, and each folding identifies the permuted red vertices and green legs, producing respectively the diagrams of a CICY in $\\mathbb{CP}^1\\times\\mathbb{CP}^1\\times\\mathbb{CP}^2$, the bi-cubic in $\\mathbb{CP}^2\\times\\mathbb{CP}^2$, a CICY in $\\mathbb{CP}^1\\times\\mathbb{CP}^3$, and the quintic in $\\mathbb{CP}^4$. On the physical side, substituting the corresponding rescalings of moduli and charges into the effective scalar potentials $V^{\\rm BH}_{\\rm eff}$ and $V^{\\rm BS}_{\\rm eff}$ recovers the known black hole and black string potentials of those compactifications. The paper presents this as a truncation: the lower-dimensional Kähler geometries are slices of the tetra-quadric moduli space.","pith_inferences":["The paper verifies the reduction at the level of the scalar potentials; a complete truncation claim would additionally require showing that the folded ansatz satisfies the full equations of motion and preserves the BPS conditions of the parent theory.","The same folding procedure should apply to other complete intersection Calabi-Yau threefolds whose colored diagrams have an outer automorphism permuting equal-degree factors, giving a general graph-theoretic reduction of black brane data.","The numerical factors in the folding maps appear fitted to reproduce known formulas; deriving them from the Kähler metric or the discrete quotient action would turn the observation into a predictive statement for unexplored charge regions.","The stability classification of the target models through the recombination factor could be pulled back to the tetra-quadric model, yielding testable predictions for stable and unstable charge regions on the folded slices."],"forward_implications":["Under the four foldings, the tetra-quadric black hole and black string potentials reduce exactly to the potentials computed for the $\\mathbb{CP}^1\\times\\mathbb{CP}^1\\times\\mathbb{CP}^2$, bi-cubic, $\\mathbb{CP}^1\\times\\mathbb{CP}^3$, and quintic models.","The dimension of the Kähler moduli space drops from $h^{1,1}=4$ to $3$, $2$, $2$, and $1$, respectively, matching the number of retained red vertices in each folded diagram.","The folding prescriptions impose concrete charge identifications on the M2/M5 wrapping charges, such as $q_3=q_4$ under $Z_2$, $q_1=q_2$ and $q_3=q_4$ under $Z_2\\times Z_2$, and all charges equal under $Z_4$.","Stability and BPS/non-BPS results obtained for the simpler compactifications carry over to the corresponding folded sectors of the tetra-quadric model."],"supporting_citations":[{"why":"Supplies the 5D black brane potential formalism, the recombination factor, and the bi-cubic and CP1×CP3 target potentials that the foldings reproduce.","marker":"[1]"},{"why":"Provides the CP1×CP1×CP2 black hole and black string potentials against which the Z2 folding is checked.","marker":"[6]"},{"why":"Establishes the reduction of eleven-dimensional supergravity on Calabi-Yau threefolds to 5D N=2 supergravity used for the effective action.","marker":"[12]"},{"why":"Gives the N=2 Maxwell-Einstein supergravity geometry underlying the scalar potential computations.","marker":"[17]"},{"why":"Introduces the encoding of complete intersection Calabi-Yau manifolds by diagrams that the colored graph construction extends.","marker":"[29]"},{"why":"Supplies the folding procedure from non-simply-laced mirror geometries that the paper adapts to Calabi-Yau diagrams.","marker":"[32]"},{"why":"Further develops the folding and quiver techniques whose vertex-identification rules justify the outer-automorphism action.","marker":"[33]"}],"fun_headline_variants":["Symmetries fold tetra-quadric into four black brane models","Tetra-quadric folding yields four known M-theory vacua","Fold the tetra-quadric, get four black brane potentials","Symmetry folding of one diagram reproduces four models"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the specific numerical rescalings in Eqs. (4.2)–(4.24) are genuine truncations of the five-dimensional theory, not merely coordinate changes fitted to reproduce known potentials; the graph symmetry alone does not determine those rescalings.","fun_headline_variants_meta":{"raw":{"variants":["Symmetries fold tetra-quadric into four black brane models","Tetra-quadric folding yields four known M-theory vacua","Fold the tetra-quadric, get four black brane potentials","Symmetry folding of one diagram reproduces four models"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000657,"raw_usage":{"total_tokens":3003,"prompt_tokens":935,"completion_tokens":2068,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":551,"completion_tokens_details":{"reasoning_tokens":1994}},"tokens_in":551,"tokens_out":2068,"duration_ms":15572,"temperature":1.0,"reasoning_tokens":1994,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T20:24:44.715047+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Substitute the folded ansatz of Eqs. (4.2)–(4.24) into the full equations of motion derived from the action (3.8) and check whether it solves them; if the folded fields do not satisfy the field equations beyond the scalar potential, the folding is only a potential-level coincidence rather than a truncation of M-theory on the tetra-quadric.","supporting_citations":[{"cited_title":"Gunaydin, G","cited_arxiv_id":null,"evidence_quote":"Gives the N=2 Maxwell-Einstein supergravity geometry underlying the scalar potential computations."},{"cited_title":"Belhaj, A","cited_arxiv_id":null,"evidence_quote":"Supplies the folding procedure from non-simply-laced mirror geometries that the paper adapts to Calabi-Yau diagrams."},{"cited_title":"Belhaj, J","cited_arxiv_id":null,"evidence_quote":"Further develops the folding and quiver techniques whose vertex-identification rules justify the outer-automorphism action."}],"review_version":1}