{"id":"b6154975-479b-47ff-a7dd-859f5bf090c5","arxiv_id":"2607.21311","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"Bounded scans yield 706 single-factor and 1559 two-factor anomaly-free 6D (1,0) models gauged by a diagonal U(1)_R+, and explicit supersymmetric Minkowski vacua for a subset.","lead":"This paper searches for six-dimensional supergravity theories with one tensor multiplet and a specially combined diagonal abelian gauge symmetry, finding hundreds of locally and globally anomaly-free examples. It also identifies supersymmetric Minkowski vacua in several of these models, a feature the authors tie to the diagonal nature of the gauging.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Vacuum analysis internally inconsistent: Eq. (4.17) does not follow from Eq. (4.15) and the examples use a different normalization; the Minkowski-vacuum claim needs independent verification.","rationale":"The reader identified the restricted coset/rank-one ansatz as the weakest assumption. My concern sharpens this: the printed equations within that ansatz appear internally inconsistent, making the vacuum claim unreliable even for the explicit examples. If the independent check fails, the central claim about vacua and the necessity of diagonal gauging collapses, and the verdict should move to REJECT. If it passes, the paper needs correction of the normalization/typo, but the main anomaly landscape may stand. The anomaly scan is plausible and the paper gives extensive spectra, but no code is shipped, so the counts are not independently checkable from the text alone. The vacuum section is the most load-bearing because the abstract and conclusions emphasize the existence of supersymmetric Minkowski vacua and the necessity of the diagonal gauging. The explicit inconsistency in coefficients between (4.17) and the examples is concrete and testable, and it is therefore the appropriate focus for a decisive check.","tokens_in":971,"tokens_out":800,"duration_ms":153881,"concrete_test":"Take the G2 example and choose z1=sqrt(4/93), all other z_i=0 (so z†z=4/93<1), which satisfies Eq. (4.26). Using the coset representative (4.13) and the generator T_{R+} from (4.8), compute the 2×2 moment map C_+ = L^{-1} T_{R+} L |_{su(2)_R} and check whether it vanishes. If it does not, the displayed solution is not a Minkowski vacuum.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim that the diagonal gaugings admit supersymmetric Minkowski vacua, and that the diagonal nature of the gauging is necessary, rests on §4.3. The analysis is restricted to the coset (4.11) and the rank-one ansatz (4.16), but even within this restricted setting the printed derivation is inconsistent. Setting the traceless 2×2 moment-map condition (4.15) to zero for the rank-one ansatz does not give the linear condition (4.17); it gives a condition involving (1−z†z)^(−1/2) and the diagonal entries of σ_3. More concretely, the explicit examples do not match (4.17). For the E6×A7 model, n_H=386, q_av=−42/193, so n_H q_av/2=−42; Eq. (4.17) would produce coefficients −39, −41, −40 for q=+1,−1,0, whereas the paper's Eq. (4.41) lists −41, −40, −42. The G2 example shows a similar shift, with coefficients 93/2 and 95/2 instead of the 95/2 and 97/2 implied by (4.17). Thus the 'solutions' displayed in §4.4 may not actually satisfy C_+=0, and the bound (4.21) used to infer the necessity of diagonal gauging is not justified. If the moment-map equation is not satisfied, the claimed supersymmetric Minkowski vacua do not exist for those examples, undermining both the existence and the necessity claims.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper performs a bounded scan for anomaly-free six-dimensional N=(1,0) supergravities with one tensor multiplet and gauge group G1×U(1)_{R+} or G1×G2×U(1)_{R+}, where U(1)_{R+} is the diagonal combination of the standard gauged U(1)_R and a U(1) inside the hypermultiplet isotropy group. The scan imposes local anomaly cancellation, factorization of the anomaly polynomial, the integral/unimodular lattice condition on Green–Schwarz coefficients, and ghost-freeness of the gauge kinetic terms. The paper reports 706 and 1559 anomaly-free models under the stated rank and charge bounds, and then studies maximally symmetric vacua using the coset SU(n_H,2)/(U(n_H)×SU(2)_R) and a rank-one hyperscalar ansatz. It claims that these models admit supersymmetric 6D Minkowski vacua, and that the diagonal nature of the R-symmetry gauging is necessary for such vacua. Several explicit spectra and vacuum examples are provided in the appendices and in Section 4.4.","tokens_in":29925,"tokens_out":15792,"duration_ms":145746,"significance":"If the results are correct, the paper establishes a substantially richer landscape of consistent 6D gauged supergravities than the usual U(1)_R-gauged models, and it identifies a concrete vacuum mechanism in which the diagonal R-gauging allows supersymmetric Minkowski solutions. The anomaly-polynomial machinery, matching equations, and lattice tests are standard and internally coherent; the use of constraint-satisfaction rather than fitting is a methodological strength. The paper also provides useful explicit spectra and branching data. Its main weaknesses are the lack of reproducible scan code or complete data for the reported counts, an overbroad statement about the necessity of diagonal gauging, and an incorrect printed equation in the vacuum derivation that is, however, contradicted by the paper's own examples and bound.","major_comments":[{"comment":"Equation (4.17) does not follow from Eq. (4.15). With the rank-one ansatz (4.16), the tracelessness condition on the 2×2 moment map gives z†[(1+n_H q_av/2)1_{n_H}+Q_H]z=2, not z†[(2+n_H q_av/2)1_{n_H}+Q_H]z=2. The printed coefficient should be 1+n_H q_av/2, not 2+n_H q_av/2. The subsequent text confirms this: Eq. (4.26) gives coefficients 93/2 and 95/2 for q=0 and q=+1, Eq. (4.41) gives −41, −40, −42 for q=0,+1,−1, and the bound (4.21) is also the one obtained from the corrected equation. Since C_+=0 is the central vacuum condition, Eq. (4.17) and all derived coefficients must be corrected and rechecked.","section":"§4.3, Eq. (4.17)"},{"comment":"The claim that the diagonal nature of the R-symmetry gauging is necessary for supersymmetric Minkowski vacua is established only within the restricted class defined by the coset (4.11) and the rank-one ansatz (4.16). The text itself says these are choices, not a general analysis. The argument for ordinary U(1)_R gauging (q_I=0) within this class is z†z=2 versus z†z≤1, but other Wolf-space cosets or non-rank-one configurations are not treated. The abstract's unconditional necessity statement, and the wording 'can only occur in diagonal gaugings' after Eq. (4.21), should be qualified to the class of vacua considered here, or the analysis should be extended.","section":"Abstract and §4.3"},{"comment":"The reported totals 706 and 1559 are central results, but the paper ships no code or machine-readable data. For the G1×U(1)_{R+} scan, the largest class A3 (619 models) is omitted from the appendix, and for the G1×G2×U(1)_{R+} scan only one representative spectrum per class is listed, together with sign-count numbers. A reader cannot independently re-run the scan or reconstruct the full spectra from the preprint. Please provide the scan code or complete spectrum tables as ancillary material so that the claimed counts can be verified.","section":"§3 and Appendices A–B"}],"minor_comments":[{"comment":"There is a typo in the text before Eq. (2.14): 'we we obtain' should read 'we obtain'.","section":"§2.2, Eq. (2.14)"},{"comment":"In the E6×A7 example, the mapping from the three singlets z1,z2,z3 to their U(1)_{R+} charges is not stated. Specifying this order is needed to check the coefficients in Eq. (4.41) against Eq. (4.17).","section":"§4.4, E6×A7 example"},{"comment":"The table is labeled 'Certified maximal singlet counts', but no certification procedure or data is provided. A brief description of how Nmax and n_sing^max were determined would improve reproducibility.","section":"Appendix C, Table 8"},{"comment":"Minor typo: 'The distribution of teh models' should read 'the'.","section":"§3.1"}],"recommendation":"major_revision","confidential_remarks":"The stress-test concern about Eq. (4.17) is real, but it appears to be a typo rather than a fatal inconsistency: the examples and the bound (4.21) both use the corrected coefficient 1+n_H q_av/2. I therefore do not recommend rejection on that ground. The more serious issues are the lack of reproducible scan data for the headline counts and the overbroad necessity claim in the abstract. A major revision that fixes Eq. (4.17), qualifies the necessity statement, and provides data/code would make the paper publishable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is worth engaging. Its main contribution is a bounded scan of 6D (1,0) supergravities with diagonal U(1)_R+ gaugings, producing 706 G1×U(1)_R+ and 1559 G1×G2×U(1)_R+ anomaly-free models, including the unimodular global-anomaly test. That is a genuine extension of Suzuki–Tachikawa, honestly cited, and the spectra in the appendices are detailed enough to be independently checked with patience. The anomaly machinery is standard and the search logic is coherent. This part is the paper's value.\n\nThe soft spots are real but not fatal. First, no code or data is shipped, so the headline counts sit on printed tables alone. For a scan paper in 2026, that is needlessly hard to verify; a data file would settle it. Second, the vacuum section has an internal inconsistency. I checked the algebra: Eq. (4.17) as printed does not follow from (4.15). The rank-one ansatz gives z†(Q_H + (1 + n_H q_av/2)1)z = 2, not the 2 + n_H q_av/2 printed. The examples support this: the G2 coefficients 93/2 and 95/2 match the corrected formula, and the E6×A7 coefficients also match once the three singlets are assigned their charges. So the stress-test's stronger worry—that the displayed vacua do not satisfy C_+=0—does not hold up; the solutions satisfy the corrected equation. But the printed equation is wrong, and the bound (4.21), which is used for the necessity argument, follows from the corrected version, not the printed one. The authors need to fix this and re-derive the vacuum equations explicitly.\n\nThird, the abstract overclaims. It says the models \"admit supersymmetric Minkowski vacua\" as if for the whole landscape, while the body constructs only a few examples within one Wolf-space coset and a rank-one ansatz. The necessity claim is demonstrated only inside that restricted family. That is a meaningful qualification and should be in the abstract.\n\nWho gets value: anyone working on 6D anomaly-free model building or on the vacuum structure of gauged supergravities. The landscape results alone justify circulation. This deserves a serious referee, and I would accept it for peer review conditional on: correcting (4.17) and related signs, releasing the scan data or code, and qualifying the vacuum claims. I would not desk-reject it.","headline":"The anomaly-free landscape is the real contribution and looks plausible, but the vacuum section contains a concrete typo-level inconsistency and the scan ships no code or data; referee it, but conditionally.","tokens_in":30445,"tokens_out":9553,"would_cite":true,"duration_ms":83435,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83E50","81T50","81T60"],"pacs":["04.65.+e","11.30.Pb","11.25.-w"],"model":"deepseek-v4-flash","headline":"By mixing the R-symmetry U(1) with a hypermultiplet isometry, six-dimensional (1,0) supergravity becomes rich with anomaly-free models and supersymmetric Minkowski vacua.","keywords":["six-dimensional supergravity","anomaly cancellation","Green-Schwarz mechanism","R-symmetry gauging","quaternionic-Kähler manifold","Minkowski vacuum","hypermultiplet potential","global anomalies"],"falsifier":"Compute equation (4.17) for each of the 2,265 listed spectra: any model for which the quadratic form z†(2 + n_H q_av/2 1 + Q_H)z has only non-positive coefficients on the subspace permitted by C_z' = 0 would admit no rank-one Minkowski solution, contradicting the paper if it claimed all models; conversely, a U(1)_R-only model (all hypermultiplet charges q_I = 0) that nevertheless solves C_+ = 0 on some Wolf-space coset would refute the claimed necessity of the diagonal gauging.","tokens_in":29393,"feed_emoji":"⚛️","tokens_out":5819,"duration_ms":60153,"temperature":0.7,"pith_summary":"The paper shows that if the U(1)_R R-symmetry gauge field is combined diagonally with a U(1) acting on the hypermultiplet scalar manifold, the anomaly equations in 6D (1,0) supergravity stop being a bottleneck: a bounded scan finds 706 locally and globally anomaly-free G_1 × U(1)_R+ models and 1,559 G_1 × G_2 × U(1)_R+ models, where ordinary U(1)_R gauging yields only rare examples. The same diagonal gauging changes vacuum structure: within a one-parameter family of scalar configurations the scalar potential develops minima away from the coset origin where it vanishes, giving supersymmetric Minkowski vacua, and the authors argue the diagonal character of the gauging is necessary for such vacua. A sympathetic reader would care because these theories are candidates for quantum-consistent six-dimensional backgrounds that do not obviously descend from string or M/F theory.","feed_headline":"2,265 anomaly-free 6D supergravities pass every test","feed_subtitle":"Mixing the R-symmetry U(1) with a hypermultiplet isometry opens a new landscape—and supersymmetric Minkowski vacua.","key_machinery":"The load-bearing object is the diagonal generator T_R+ = T^3 + T_H: the sum of the quaternionic R-symmetry generator T^3 and a U(1)_H inside the isotropy group H ⊂ G_H of the hypermultiplet coset. This single modification shifts the anomaly sums (it changes the charge sums S_2, S_4 and mixed coefficients) so that factorizability of the anomaly polynomial and integral unimodularity of the anomaly vectors become easy to satisfy; and in the scalar potential it makes the moment map C_+ = L^{-1} T_R+ L restricted to Sp(1)_R vanish on a nontrivial submanifold of the hyperscalar coset, exactly the condition for a supersymmetric Minkowski vacuum.","core_discovery":"The central claim is that diagonal R-symmetry gauging—gauge group U(1)_R+ whose generator is the sum of the usual U(1)_R and a U(1) inside the quaternionic-isometry group Sp(n_H) acting on hypermultiplets—passes all local and global anomaly tests in a much larger class of 6D (1,0) models than ordinary U(1)_R gauging, and yields supersymmetric Minkowski vacua. Concretely, the paper exhibits 706 G_1×U(1)_R+ and 1,559 G_1×G_2×U(1)_R+ anomaly-free spectra under its stated rank and charge bounds, and shows by explicit coset parametrization (rank-one ansatz on SU(n_H,2)/(U(n_H)×SU(2)_R)) that vanishing of all moment maps is achievable exactly when the gauging is diagonal, leading to C_+ = C_z' = 0","pith_inferences":["The 706/1,559 counts are floors set by the scan bounds q_max=1 and rank windows; the authors' own extended scan with q_max=4 adds 1,776 G_1×U(1)_R+ models, so the true landscape is larger and likely includes many more gauge groups (e.g., C_5 and E_7 appear only at higher charges).","The rank-one Minkowski condition (4.21) can be read as a mild chirality test: models whose average hypermultiplet charge is too negative may fail to satisfy the quadratic equation, as the original E_6×A_7 example does. This suggests a systematic relation between the sign of the U(1)_R+ charge spectrum and the existence of supersymmetric vacua.","If the diagonal trick works because it relaxes the anomaly sums, a similar construction may ease the known obstruction to gauged R-symmetry in other dimensions (e.g., 4D N=2 or 5D), where R-symmetry gauging is also tightly constrained.","The paper leaves open whether every one of the 2,265 models actually admits the Minkowski vacuum; it demonstrates the mechanism on representative examples, so verifying the full list (or finding counterexamples) is a natural next step."],"forward_implications":["Ordinary U(1)_R gauging, known to be rare and to forbid maximally symmetric Minkowski or (A)dS vacua, is not the only consistent option: diagonal gaugings multiply the catalog of anomaly-free theories by orders of magnitude.","The scanned models provide a concrete testing ground for the conjecture that every consistent 6D supergravity has a string/M/F-theory origin; if these have none, the landscape beyond the string lamppost is physically real.","Supersymmetric Minkowski vacua with a flat dilaton and hypermultiplet flat directions offer new backgrounds for studying anomaly inflow and possible string solutions of 6D theories.","The same construction motivates searching for stable de Sitter vacua (Mink_4×S^2 and (A)dS_4×S^2) in the new models, where earlier toy models showed tachyonic instabilities."],"fun_headline_variants":["Diagonal R-gauging unlocks 2265 anomaly-free 6D models","2265 new 6D supergravities from diagonal U(1)_R gauging","6D supergravities: diagonal gauging yields 2265 spectra","Anomaly-free 6D models need diagonal R-symmetry gauging","Diagonal gauging opens 2265 6D supergravity vacua"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The Minkowski-vacuum claim rests on choosing the hypermultiplet scalar manifold to be SU(n_H,2)/(U(n_H)×SU(2)_R) and on restricting scalars to a rank-one ansatz; if supersymmetric Minkowski vacua also exist on other Wolf-space cosets or with more general scalar profiles—or if the necessity of the diagonal gauging fails there—the paper's universality claim would not survive.","fun_headline_variants_meta":{"raw":{"variants":["Diagonal R-gauging unlocks 2265 anomaly-free 6D models","2265 new 6D supergravities from diagonal U(1)_R gauging","6D supergravities: diagonal gauging yields 2265 spectra","Anomaly-free 6D models need diagonal R-symmetry gauging","Diagonal gauging opens 2265 6D supergravity vacua"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000228,"raw_usage":{"total_tokens":1343,"prompt_tokens":804,"completion_tokens":539,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":548,"completion_tokens_details":{"reasoning_tokens":435}},"tokens_in":548,"tokens_out":539,"duration_ms":6263,"temperature":1.0,"reasoning_tokens":435,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T07:49:40.043243+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute equation (4.17) for each of the 2,265 listed spectra: any model for which the quadratic form z†(2 + n_H q_av/2 1 + Q_H)z has only non-positive coefficients on the subspace permitted by C_z' = 0 would admit no rank-one Minkowski solution, contradicting the paper if it claimed all models; conversely, a U(1)_R-only model (all hypermultiplet charges q_I = 0) that nevertheless solves C_+ = 0 on some Wolf-space coset would refute the claimed necessity of the diagonal gauging.","supporting_citations":[],"review_version":1}