{"id":"150551cb-1b77-46c8-8a02-ef5c785f33a2","arxiv_id":"2504.12425","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"The complete Kaluza-Klein spectrum of six-dimensional Salam-Sezgin supergravity on AdS3 times a squashed three-sphere is computed; in the large-squashing limit, all but a small set of low-energy fields acquire infinite mass.","lead":"This paper computes all particle masses in a six-dimensional supergravity model compactified on a squashed three-sphere and shows that in a certain limit only ten low-energy fields remain light. The result is an explicit example of scale separation, which makes extra dimensions effectively invisible, in a theory without orientifolds.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The supersymmetric branch of the scale-separation claim rests on the fermionic mass matrices (5.7), (5.30), whose uniqueness and normalization are asserted, not derived; a wrong relative coefficient would break the OSp(2|2) spectrum.","rationale":"The reader's weakest-assumption analysis correctly identifies the fermionic Yukawa couplings as the most load-bearing unsecured step. The supersymmetric scale-separation claim specifically requires that, at α=β and in the limit of large α, a precise set of fermionic states retains finite masses with half-integer conformal dimensions. Those states come from the 3D fermion mass matrices (5.7)-(5.10) and from the higher-KK fermionic mass operators (5.29), (5.40), whose relative coefficients are fixed only by group theory plus the Ward identities (5.9). The paper does not show the enumeration of invariant tensor structures, the uniqueness of the normalization choices in (5.8), or the derivation of the operator identity (5.30); it states that these can be derived. That leaves real room for a sign or coefficient error that would destroy the OSp(2|2) pairing via (5.33) and change the finite fermionic spectrum at the supersymmetric point. In this sense the concern is internal to the paper's argument, not a disagreement with consensus: the multiplet structure is used as evidence, but it is also a consequence of the same underived input. The nonsupersymmetric half of the headline claim is more robust because it depends only on bosonic mass formulas built on established ExFT machinery, although the paper similarly omits the explicit diagonalization behind (5.39) and (5.44). Since the identified gap is real but repairable by a concrete re-derivation, the conditional verdict is appropriate and no adjustment is needed.","tokens_in":29068,"tokens_out":19532,"duration_ms":214601,"concrete_test":"Independently re-derive A1, A2, A3 of (5.7) from the general N=4 gauged supergravity construction of [33] for the embedding tensor (3.8)-(3.9): enumerate all SO(4)o×SO(3)RS invariant contractions, impose the Ward identities (5.9), and require that at α=β the mass eigenvalues assemble into OSp(2|2) multiplets with the shortening condition (6.4). Check that the resulting tensors are unique up to field redefinitions and reproduce Table 1 and Eq. (5.33). If more than one solution survives, the fermionic spectrum is underdetermined and the supersymmetric scale-separation claim requires additional input.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that for α=β→∞ the supersymmetric spectrum separates into 10+2p finite states with half-integer conformal dimensions. These finite fermionic states are read off from the 3D Yukawa couplings (5.7) and from the higher-KK mass operators (5.29), (5.40). In Section 5.1 the authors state that the precise form of A1, A2, A3 was \"determined from the representation content\" together with Ward identities (5.9), but no derivation or uniqueness proof is shown; equations (5.7) and (5.8) are simply presented with chosen normalizations. The two Ward identities are not enough, by themselves, to fix all relative coefficients. Similarly, the spin-3/2 identity (5.30) is asserted to be derivable from (5.29), and the relative coefficient of the KK term in (5.29) is said to be fixed by group theory \"up to its relative coefficient\", but the fixing condition is not exhibited. Relation (5.33), which is described as crucial for the OSp(2|2) pairing, is a consequence of this coefficient. If any of these coefficients is wrong, the claimed half-integer conformal dimensions and the finite fermionic superpartners at α=β do not follow, so the supersymmetric branch of the headline claim is not yet established. The non-supersymmetric branch relies on the bosonic formulas (5.39) and (5.44), which are also summarized after \"evaluating\" without display of the diagonalization; this is a lesser but related gap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper computes the full Kaluza-Klein spectrum of six-dimensional chiral gauged Einstein-Maxwell supergravity (the Salam-Sezgin model) around a two-parameter family of AdS3 times squashed S3 backgrounds, parametrized by (α, β) and with p additional abelian vector multiplets. The computations are performed using the consistent truncation to three-dimensional N = 4 gauged supergravity and the exceptional-field-theory mass formulas. The paper's central claims are that (i) on the supersymmetric line α = β the spectrum organizes into infinite towers of long and short OSp(2|2) supermultiplets, and (ii) in the limit α → ∞ with β fixed, both the supersymmetric and non-supersymmetric spectra exhibit scale separation: only a finite set of low-lying fields retain finite masses, while all higher Kaluza-Klein masses diverge. The authors further claim that this is the first example of scale separation in AdS compactifications without orientifolds, and that all scalar modes are perturbatively stable for the entire family.","tokens_in":29437,"tokens_out":13260,"duration_ms":135423,"significance":"If the results hold, this is a substantial technical contribution. The paper provides explicit bosonic mass formulas for a non-maximally symmetric AdS3 × squashed-S3 compactification, exhibits the OSp(2|2) multiplet structure, and gives a concrete parametric scale-separation example with an explicit spectrum. The bosonic sector is well anchored by consistency checks: the spin-2 masses reduce to the known g = 0 result (5.22), the spin-1 and spin-0 formulas (5.39) and (5.44) reproduce the N = (4, 0) spectrum at α = β = 0, and the supersymmetric identity (5.33) is a nontrivial internal consistency condition. The short-multiplet shortening condition (6.4) and the resulting multiplet decomposition in (6.12)–(6.15) are also strong structural tests. The main weakness is that the fermionic mass matrices and the spin-3/2 operator identity are asserted rather than derived, so the supersymmetric branch of the central claim is not yet fully supported. The paper is also clear about the model's status: it is not known to have a string/M-theory embedding, so the relevance to swampland questions is indirect.","major_comments":[{"comment":"The fermionic Yukawa couplings A1, A2, A3 in (5.7), with the normalizations (5.8), are stated to have been 'determined from the representation content' together with the Ward identities (5.9), but no derivation or uniqueness proof is given. These couplings determine the fermion masses in Table 1 and enter the fermionic Kaluza-Klein towers through (5.29) and (5.40). The supersymmetric branch of the headline claim — the finite half-integer-dimensional superpartners at α = β and the OSp(2|2) pairing — therefore rests on asserted input. The two Ward identities (5.9) are not manifestly sufficient to fix all relative coefficients in (5.7); I ask the authors to supply the derivation, a uniqueness argument, or an independent check such as a direct expansion of the six-dimensional fermionic action on the background.","section":"Section 5.1, Eqs. (5.7)–(5.9)"},{"comment":"The spin-3/2 mass operator (5.29) contains a second term whose relative coefficient is said to be determined by group theory 'up to its relative coefficient', and the operator identity (5.30) is asserted to follow from (5.29) without the computation being shown. Equation (5.30) is the source of relation (5.33), which the authors use as the crucial input for the OSp(2|2) multiplet pairing. Any error in the relative coefficient would change the fermionic conformal dimensions and break the claimed multiplet and scale-separation pattern. The derivation should be exhibited, or the group-theoretic fixing condition stated precisely, so that the identity can be checked.","section":"Section 5.2.2, Eqs. (5.29)–(5.33)"},{"comment":"For the spin-1 and spin-0 towers, the paper states that after 'evaluating the mass operator' the spectrum takes exactly the g = 0 form with ΓB(n,u) replaced by (5.25), but no diagonalization, no explicit eigenvalues for the individual U(2) representations, and no intermediate steps are shown. These formulas are load-bearing for the non-supersymmetric scale-separation claim, since they are what establish that all higher KK spin-1 and spin-0 masses diverge as α → ∞. I would like to see the relevant computation, at least in an appendix or as a supplementary file.","section":"Sections 5.2.3 and 5.2.5, Eqs. (5.39) and (5.44)"}],"minor_comments":[{"comment":"Several rows of Table 1 are difficult to read because of the formatting of square roots and parentheses; for example, the scalar row with mℓ = 2 cosh α sinh β appears to be missing the square root and the correct argument in the conformal-dimension column. Please reformat the table carefully.","section":"Table 1"},{"comment":"The operators U and Q are used in (5.30) before their eigenvalue conventions are specified; please state explicitly that U has integer eigenvalues u ∈ Pn and Q has eigenvalues q = ±1, and that these generators commute in the relevant sense.","section":"Section 5.2.2, Eq. (5.30)"},{"comment":"The claim that this is the 'first example of a scale separation phenomenon in AdS compactifications, in the absence of orientifolds' is stated in the introduction before the caveats in the conclusions that the model is not known to descend from string/M-theory; please phrase the claim so that this status is explicit.","section":"Section 1 and Section 7"},{"comment":"The notation [n±2]/2 in (6.14) and neighboring equations should be written as [(n±2)/2] to avoid ambiguity with [n/2].","section":"Section 6.2, Eqs. (6.13)–(6.15)"}],"recommendation":"major_revision","confidential_remarks":"The bosonic spectrum and the OSp(2|2) multiplet decomposition appear convincing and well anchored by known limits. The main risk to the paper's central claim is the fermionic sector: the Yukawa couplings (5.7) and the spin-3/2 identity (5.30) are asserted rather than derived. If the authors provide the missing derivations or an independent check, I would support publication. I would also advise softening the 'first example' claim in light of the absence of a string/M-theory embedding."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take on the Proust–Samtleben–Sezgin paper. The substantive new result is a complete KK spectrum for a two-parameter family of AdS3×squashed S3 vacua in the Salam–Sezgin model, and the observation that in the α→∞ limit the KK towers decouple, leaving only finitely many finite-mass states. That holds on both the nonsupersymmetric side and on the supersymmetric line α=β. If correct, this is the first scale-separated AdS compactification without orientifolds, so it matters for the Swampland debate. The paper computes rather than sketches: the bosonic mass formulas are explicit, they pass the known α=β=0 limit (round-sphere N=(4,0) spectrum), and the OSp(2|2) multiplet structure at α=β is a strong internal consistency test. The extension from g=0 to g≠0, the N=4 fermionic mass matrices, and the scale-separation observation are genuinely new; the background and ExFT machinery come from earlier work, but the application is a real extension.\n\nThe soft spot is the fermionic sector. Equations (5.7) and (5.30) are presented with normalizations chosen and said to be fixed by representation content plus Ward identities, but the derivation is not shown and uniqueness is not proved. The stress-test note is right: if any relative coefficient in A1, A2, A3 or in the spin-3/2 operator identity is wrong, the claimed half-integer conformal dimensions and the supersymmetric branch of the scale-separation claim would shift. That is load-bearing for the SUSY side. The bosonic scale-separation claim, by contrast, rests on the explicit formulas (5.23), (5.39), (5.44), which are benchmarked against known spectra and are checkable by a referee.\n\nThe paper ships no code and no independent numerical check, but the formulas are concrete enough that diagonalization on the lowest KK levels can be redone by hand or with a short script. The citation pattern is appropriate: the self-citations point to the ExFT tools the paper builds on.\n\nBottom line: the bosonic result is solid and important, and the fermionic gap is addressable. This paper deserves a serious referee rather than a desk reject. I'd send it for review with a specific request to scrutinize the fermionic mass matrices. For my own work I would cite it if I were working on KK spectra or scale separation.","headline":"Complete KK spectrum for a two-parameter family of AdS3 vacua with a plausible parametric scale-separation claim; the bosonic side is solid, the fermionic side needs a closer look before the full supersymmetric conclusion is taken as established.","tokens_in":29940,"tokens_out":3079,"would_cite":true,"duration_ms":29649,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":null,"created_at":"2026-08-16T12:32:29.289138+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":null,"supporting_citations":[],"review_version":1}