{"id":"158f64fc-11e1-4e05-b088-0c9b1ff5870d","arxiv_id":"2412.12251","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"All infinite distance limits in 5d N=1 supergravity vector moduli space are either unique-vector limits (6d decompactification) or unique-tensor limits (emergent string), under a weak BPS completeness assumption.","lead":"This paper classifies every infinite distance limit in the vector moduli space of five-dimensional N=1 supergravity, using the consistency of probe BPS strings as the only input beyond supergravity. It finds only two possible limits: a vector limit that matches decompactification to six dimensions, and a tensor limit that matches an emergent critical string.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Weak BPS completeness is the load-bearing assumption: without the supergravity strings used in Tables 4.1, 5.1, and 5.2, the Chern-Simons constraints, uniqueness results, and the vector/tensor dichotomy are unsupported.","rationale":"The reader's weakest_assumption identifies exactly the same load-bearing input: the weak BPS completeness conjecture. I agree with this assessment and with the CONDITIONAL verdict. The classification theorem is a conditional result; the abstract should explicitly state the BPS completeness and AWGC assumptions. No internal inconsistency was found in the derivations; the positivity proof in Appendix A and the scaling arguments in Sections 4-5 are coherent, and the falsifiable prediction C0∈{0,24} for tensor limits provides independent support. The most concrete way the BPS completeness assumption could fail is if a consistent 5d N=1 theory lacks some of the elementary supergravity strings used in the tables; then the constraints Frst=0, J2=∅, J3=∅ would not follow, and the vector/tensor dichotomy could break down. The proposed toy-model test would settle whether the classification is genuinely reliant on those specific string charges or can be obtained from weaker inputs. Given the acknowledged status of BPS completeness and AWGC, CONDITIONAL is the right verdict.","tokens_in":38079,"tokens_out":17994,"duration_ms":158272,"concrete_test":"To test the dependence on BPS completeness, construct a toy 5d N=1 prepotential that satisfies all constraints independently of the questionable string charges, e.g., FIII≥0 and FIIJ≥0 from (2.34)-(2.36) and the signature condition for a single string δ0, but allows Frst≠0 for some r,s,t in a Class A limit. Analyze the infinite distance limit along X0~λ, Xi~λ^{-2}, Xr~λ for i∈J1, r∈J3, and compute the asymptotic gauge kinetic matrix. If the minimal two-form coupling Q^2_min is not bounded below by λ^{-2}, or if the fastest one-form coupling is not unique, then the classification genuinely requires the missing string charges, and the weak BPS completeness assumption is load-bearing. If, on the other hand, the classification survives in such a toy model, then the assumption can be relaxed to a weaker condition.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central classification theorem is derived under the weak BPS completeness hypothesis of Section 2.3: along each ray of elementary supergravity string charges at least one physical string exists. This is not merely a rhetorical caveat; specific constraints in the proofs require these strings to exist. In Class A, the proof that J2=∅ uses the string with charge δ0; the constraint F0ir≠0 for all i∈J1, r∈J3 uses strings with charges δi; and the crucial vanishing Frst=0 for r,s,t∈J3 (Table 4.1) is derived from the string with charge δr. In Class B, the statement J3=∅ is obtained from the string with charge p=(1,1,...,1) (Table 5.1). If any of these strings is missing from the BPS spectrum, the corresponding prepotential terms are unconstrained. For example, a nonzero Frst in a would-be Class A limit could alter the asymptotic scaling of the gauge kinetic matrix and could produce a limit that is neither a vector limit with a unique one-form nor a tensor limit with a unique two-form. The abstract's unconditional-sounding claim ('every consistent 5d N=1 supergravity... either descends from six dimensions or contains a stringy subsector') therefore has a missing hypothesis. Additionally, the interpretation of vector/tensor limits as decompactification or emergent string limits relies on the Asymptotic Tower Weak Gravity Conjecture, as explicitly acknowledged in Section 6.1. Together, these two conjectures carry the physical conclusion beyond the supergravity-level classification.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper classifies infinite-distance limits in the vector multiplet moduli space of five-dimensional N=1 supergravity theories, assuming only the two-derivative prepotential data and a weak BPS completeness hypothesis for supergravity strings introduced in Section 2.3. Using the 't Hooft anomaly signature condition (2.30) for these strings, the authors derive non-negativity of the Chern-Simons couplings and additional constraints summarized in Tables 4.1, 5.1, and 5.2. On this basis they argue that every infinite-distance limit is either a vector limit, with a unique weakly coupled one-form scaling as q_min^2 ~ lambda^{-4}, or a tensor limit, with a unique weakly coupled two-form scaling as Q_min^2 ~ lambda^{-2} accompanied by one or several one-forms. Class A limits are always vector limits; Class B limits with |J_lambda|=1 can be tensor or vector limits, while Class B limits with |J_lambda|>1 are vector limits. The paper further computes the exponential rates (6.4) and (6.10) and interprets them as the Kaluza-Klein and emergent-string rates, respectively, presenting this as bottom-up evidence for the Emergent String Conjecture.","tokens_in":38338,"tokens_out":5015,"duration_ms":47165,"significance":"If the central assumptions are granted, the paper gives a systematic, bottom-up classification of infinite-distance limits in 5d N=1 supergravity without assuming a Calabi-Yau or string-theoretic origin. The derivation of Chern-Simons constraints from probe-string consistency is a substantive technical achievement, and the uniqueness results for the asymptotically leading one-form or two-form are nontrivial and clearly stated. The match of the derived rates with the 6d Kaluza-Klein rate and the 5d string-coupling rate is a valuable quantitative check. The main caveat is that the classification is conditional on the weak BPS completeness hypothesis of Section 2.3 and, for the physical interpretation, on the Asymptotic Tower Weak Gravity Conjecture; the abstract and conclusions do not always make this conditionality explicit.","major_comments":[{"comment":"The classification is conditional on the weak BPS completeness hypothesis, and this conditionality is not reflected in the abstract. The constraints in Tables 4.1, 5.1, and 5.2 each require a specific supergravity string: J2=∅ uses p(0)=δ0; F0ir≠0 uses p(i)=δi; Frst=0 uses p(r)=δr; J3=∅ in Class B uses p=(1,...,1); and the constraints in Table 5.2 use p(a)=δa and p(μ')=δμ'. If any of these strings is absent from the physical spectrum, the corresponding prepotential restriction is not enforced; for instance, a non-vanishing Frst in a would-be Class A limit could change the scaling of the gauge kinetic matrix and could produce a limit outside the vector/tensor dichotomy. Since the abstract states the dichotomy and the conclusion \"every consistent 5d N=1 supergravity... either descends from six dimensions or contains a stringy subsector\" unconditionally, the main theorem needs to be restated with the BPS completeness hypothesis explicitly included, or the summary claims need to be weakened accordingly.","section":"Section 2.3; Tables 4.1, 5.1, 5.2; abstract"},{"comment":"The proof of non-negativity of FIJK for distinct indices is not completed. In the case FIII=FIJJ=FIIJ=0 with FIJK≠0, the argument below (A.8) considers a finite-distance scaling X^I~X^J~λ, X^K~λ^-2 and claims that Q^2_{δI} becomes negative when X^I=-(FIJK/FIIK)X^J. The subleading terms in (A.9) are not controlled enough to support this conclusion, and the claim that a negative value of the physical charge is inconsistent is invoked as a physical input rather than derived from the signature condition (2.30). Since non-negativity (2.32) is used throughout Sections 3-5, for example in the prepotential form (4.1) and in the scaling bounds, this gap is load-bearing. The authors should either supply a fully rigorous proof of (2.32) or state non-negativity as an explicit additional assumption of the classification.","section":"Appendix A, point 3; Eq. (A.9)"},{"comment":"The identification of vector limits with decompactification to six dimensions and tensor limits with emergent string limits goes beyond the supergravity-level classification. As acknowledged in Section 6.1, the existence of a tower of states charged under Amin is assumed via the Asymptotic Tower Weak Gravity Conjecture, and the interpretation of that tower as a Kaluza-Klein tower is an input from external arguments. The conclusion in Section 7 that every consistent 5d N=1 supergravity either descends from six dimensions or contains a potentially weakly coupled string subsector therefore does not follow from the classification theorem alone. I recommend that the abstract and conclusions explicitly separate the proven supergravity classification (vector/tensor dichotomy with uniqueness) from the conjectural Emergent String interpretation, or include the ATWGC assumption in the statement of the main result.","section":"Section 6.1; Section 7"}],"minor_comments":[{"comment":"There is a typo in \"compcatification geometry\" which should read \"compactification geometry\"; also \"thanks due to\" on the same page is redundant.","section":"Page 3"},{"comment":"The definitions of vector and tensor limits use the asymptotic relations \"≺\" and \"∼\" without explicitly stating whether these are meant along every geodesic path or only for the chosen affine parameterization; a short clarifying sentence would help.","section":"Section 3.1"},{"comment":"The prediction C0∈{0,24} assumes that the central charges of the emergent string are those of a critical string; this is a consequence of the Emergent String Conjecture rather than of the supergravity analysis, and it would be helpful to label it as a conjecture rather than a derived constraint.","section":"Section 6.2, Eq. (6.16)"}],"recommendation":"major_revision","confidential_remarks":"The paper is a serious and technically rich contribution that fits the scope of the journal. The main issue is not the internal logic under the stated assumptions, but the gap between the conditional supergravity-level result and the unconditional-sounding claims in the abstract and conclusions, together with the heuristic step in the non-negativity proof in Appendix A. I would encourage the editor to request that the authors either strengthen the proof or explicitly add the missing assumptions to the statement of the main theorem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should read this one. It is the first bottom-up classification of infinite distance limits in the vector multiplet moduli space of 5d N=1 supergravity, without assuming a Calabi-Yau or string origin. The authors use supergravity strings as probes and derive constraints on the Chern-Simons couplings, including non-negativity, from consistency. They then show all limits are either vector or tensor limits, with unique leading gauge fields, and the exponential rates match 6d KK and emergent string expectations.\n\nThe core structural argument is coherent. The constraints in Tables 4.1, 5.1, and 5.2 follow from the signature condition (2.30) plus the scaling arguments, and I found no internal contradiction in the derivation. The uniqueness proofs are the hardest part and appear to work, assuming the input. The non-negativity of the Chern-Simons couplings is derived, not assumed, which is a real step beyond earlier partial results.\n\nThe load-bearing assumption is the weak BPS completeness hypothesis in Section 2.3. Specific constraints need specific strings: the string with charge δ0 to get J2 = ∅, δr to get Frst = 0, and p = (1,...,1) to get J3 = ∅. If any of those strings is missing, the corresponding prepotential terms are unconstrained and the vector/tensor dichotomy could fail. So the classification is conditional on a conjecture about the BPS spectrum. The authors are honest about this in the body, but the abstract's claim that every consistent 5d N=1 supergravity either descends from six dimensions or contains a stringy subsector omits the hypothesis. The same issue applies to the Asymptotic Tower Weak Gravity Conjecture, which they acknowledge in Section 6.1 but do not flag in the abstract.\n\nMinor point: Appendix A point 3 uses a negative Q^2 for a supergravity string as a physical inconsistency. That is acceptable but heuristic, not a rigorous proof. The signature theorem from [55] is external input, but it is properly cited.\n\nThis paper is for swampland people working on the distance conjecture and emergent string conjecture. It will be cited. It deserves a serious referee. My recommendation: send to peer review, and require the authors to state the BPS completeness assumption in the abstract and soften the 'every consistent supergravity' phrasing. The supergravity-level classification is a solid contribution; the physical interpretation is conditional.","headline":"A genuinely bottom-up classification of infinite distance limits in 5d N=1 supergravity, carefully argued but with a load-bearing BPS completeness assumption that the abstract overstates.","tokens_in":38931,"tokens_out":2184,"would_cite":true,"duration_ms":18148,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that every infinite distance limit in the vector multiplet moduli space of five-dimensional N=1 supergravity is either a vector limit or a tensor limit.","keywords":["five-dimensional N=1 supergravity","infinite distance limits","Emergent String Conjecture","supergravity strings","Chern-Simons couplings","vector limits","tensor limits","swampland"],"falsifier":"A concrete test: exhibit a five-dimensional N=1 supergravity satisfying all the anomaly-signature constraints whose moduli space has an infinite distance limit in which two different two-forms become weakly coupled at the identical fastest rate, or in which the fastest two-form has no one-form becoming weakly coupled at the same rate; the classification predicts that neither configuration can exist.","tokens_in":37830,"feed_emoji":"🧵","tokens_out":15547,"duration_ms":116690,"temperature":0.7,"pith_summary":"Five-dimensional supergravity theories with eight supercharges can run off to boundaries of their vector multiplet moduli space at infinite distance. This paper shows that, once the spectrum contains a mild form of BPS-complete supergravity strings, the Chern-Simons couplings of the prepotential must be non-negative, and from that input every infinite distance limit is either a vector limit or a tensor limit. In a vector limit a unique one-form gauge field becomes weakly coupled at the rate of a Kaluza-Klein gauge field descending from six dimensions; in a tensor limit a unique two-form becomes weakly coupled at the rate of the Kalb-Ramond field of a critical string, always accompanied by at least one one-form. Because these are the only two possibilities, the authors conclude that every consistent five-dimensional N=1 supergravity with a non-compact vector multiplet moduli space either descends from six dimensions or contains a stringy subsector, which they read as bottom-up evidence for the Emergent String Conjecture.","feed_headline":"All 5d supergravity limits are vector or tensor limits","feed_subtitle":"Probe strings show each boundary hides a Kaluza-Klein tower or a critical string, with a unique fastest gauge field.","key_machinery":"The central object is the supergravity string, a BPS string whose defining property is that all BPS particles carry non-negative charge under the gauge field for which the string carries minimal magnetic charge. Its worldsheet 't Hooft anomaly matrix $k_{IJ}^{(p)} = F_{IJK} p^K$ must have signature $(1, r-1)$ — one positive eigenvalue and the rest negative or zero — and this signature, together with the weak BPS completeness assumption, forces the prepotential's Chern-Simons couplings $F_{IJK}$ to be non-negative and to satisfy the additional constraints collected in Tables 4.1, 5.1 and 5.2. The prepotential $F = \\frac{1}{3!} F_{IJK} X^I X^J X^K$ controls the scalar metric, the gauge kinetic matrix $f_{IJ} = F_I F_J - F_{IJ}$ and the Chern-Simons terms, so those constraints translate directly into bounds on how one-form and two-form couplings scale toward an infinite-distance boundary.","core_discovery":"The paper's central claim is a classification theorem for the boundary of the vector multiplet moduli space. For any five-dimensional N=1 supergravity with eight supercharges that satisfies a weak BPS completeness condition for supergravity strings, consistency of those strings implies that the Chern-Simons couplings $F_{IJK}$ of the prepotential are non-negative in every simplicial Kähler subcone. Under that input, every infinite distance limit is either a Class A limit or a Class B limit: Class A limits are always vector limits with a unique weakly coupled one-form $A_{\\min} = \\sum_i c_i A_i$ (with $c_i = F_{00i}$) and $q_{\\min}^2 \\sim \\lambda^{-4}$; Class B limits with a single fastest coordinate are either tensor limits, with a unique two-form $Q_{\\min}^2 \\sim \\lambda^{-2}$ always accompanied by weakly coupled one-forms, or vector limits, depending on the rate at which the other coordinates fall; and Class B limits with several fastest coordinates are vector limits with $q_{\\min}^2 \\sim \\lambda^{-4}$. The exponential rates of these couplings reproduce the Kaluza-Klein gauge-field rate $e^{-\\alpha d}$ with $\\alpha = 2/\\sqrt{3}$ and the critical-string Kalb-Ramond rate with $\\alpha = 1/\\sqrt{3}$, which the authors read as evidence that every such theory either decompactifies to six dimensions or contains an emergent critical string.","pith_inferences":["A natural extension would be to run the same probe-string consistency conditions in the hypermultiplet sector, where the uniqueness of the leading gauge field is not covered by the present proof; a counterexample there would not touch the vector-multiplet classification but would bound how far the mechanism generalizes.","The predicted dichotomy could be sharpened by computing $C_0$ in any concrete five-dimensional model known to admit a tensor limit; a value outside $\\{0, 24\\}$ would indicate a non-critical tensionless string, refining rather than refuting the vector/tensor classification.","The derivation of Chern-Simons non-negativity from worldsheet anomaly cancellation may transfer to six-dimensional N=(1,0) theories, where similar anomaly constraints could constrain the 6d supergravity landscape the authors point to.","Because the identification of the light towers with Kaluza-Klein or string modes invokes the Asymptotic Weak Gravity Conjecture, a theory satisfying all prepotential constraints while failing to produce such a tower would separate the supergravity classification from the Emergent String Conjecture rather than falsify the classification."],"forward_implications":["Every infinite distance limit in the vector multiplet moduli space of a consistent five-dimensional N=1 supergravity is either a vector limit or a tensor limit, with no third possibility.","In a vector limit the fastest-decaying gauge field is a unique one-form whose coupling obeys $q_{\\min}^2 \\sim \\lambda^{-4}$, i.e. it decays as $e^{-\\alpha d}$ with $\\alpha = 2/\\sqrt{3}$, exactly the Kaluza-Klein gauge-field rate for a circle decompactification from six to five dimensions.","In a tensor limit the fastest-decaying two-form is unique, is always accompanied by at least one one-form at the same rate, and obeys $Q_{\\min}^2 \\sim \\lambda^{-2}$, decaying as $e^{-\\alpha d}$ with $\\alpha = 1/\\sqrt{3}$, matching the Kalb-Ramond field of a critical string at weak coupling.","Any consistent five-dimensional N=1 supergravity with a non-compact vector multiplet moduli space either descends from six dimensions or contains a stringy subsector.","For a tensor limit, the higher-derivative gravitational Chern-Simons coefficient $C_0$ of the emergent string must be either $0$ (Type II) or $24$ (heterotic)."],"supporting_citations":[{"why":"Introduces supergravity strings and fixes the (1, r−1) signature of their worldsheet 't Hooft anomaly matrix, the constraint from which the paper derives the Chern-Simons inequalities.","marker":"[55]"},{"why":"States the Emergent String Conjecture and supplies the Class A/Class B limit taxonomy and expected KK versus string scaling rates that the paper reproduces without assuming a Calabi-Yau origin.","marker":"[7]"},{"why":"Shows that with assumed positive Chern-Simons couplings all infinite distance limits are weak-coupling limits; the paper replaces the assumption by a derivation.","marker":"[54]"},{"why":"Contains the earlier proof of positivity for diagonal and partially repeated Chern-Simons couplings, extended by this paper to all index combinations.","marker":"[72]"},{"why":"Provides the sharpened Distance Conjecture exponents whose five-dimensional values 2/√3 and 1/√3 match the rates (6.4) and (6.10).","marker":"[13]"},{"why":"Observes the matching of one- and two-form couplings to KK and weakly coupled string expectations for special 5d limits, here generalized to all limits.","marker":"[41]"},{"why":"Formulate the BPS completeness hypothesis, the weak form of which is the paper's key input along each supergravity string charge ray.","marker":"[79, 80]"},{"why":"Give the asymptotic Weak Gravity Conjecture scale comparison used to define vector versus tensor limits and to identify the towers.","marker":"[83, 84]"},{"why":"Supply the form of the higher-derivative gravitational Chern-Simons term whose coefficient C0 is predicted to be 0 or 24 for critical emergent strings.","marker":"[86, 87]"}],"fun_headline_variants":["5d supergravity limits: all vector or tensor, no exceptions","Probe strings force non-negative couplings in 5d SUGRA","Unique weakly coupled field marks every 5d infinite-distance limit","Every 5d SUGRA boundary is a KK tower or critical string","String consistency classifies all 5d supergravity limits"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing assumption is that the spectrum of supergravity strings is complete in a weak sense: along every ray of elementary string charges at least one actual string exists, and its worldsheet anomalies have one positive and the rest negative or vanishing eigenvalues; if the spectrum is incomplete, the derived constraints and uniqueness results collapse.","fun_headline_variants_meta":{"raw":{"variants":["5d supergravity limits: all vector or tensor, no exceptions","Probe strings force non-negative couplings in 5d SUGRA","Unique weakly coupled field marks every 5d infinite-distance limit","Every 5d SUGRA boundary is a KK tower or critical string","String consistency classifies all 5d supergravity limits"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000854,"raw_usage":{"total_tokens":3768,"prompt_tokens":1058,"completion_tokens":2710,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":674,"completion_tokens_details":{"reasoning_tokens":2619}},"tokens_in":674,"tokens_out":2710,"duration_ms":19043,"temperature":1.0,"reasoning_tokens":2619,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T14:15:56.409562+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete test: exhibit a five-dimensional N=1 supergravity satisfying all the anomaly-signature constraints whose moduli space has an infinite distance limit in which two different two-forms become weakly coupled at the identical fastest rate, or in which the fastest two-form has no one-form becoming weakly coupled at the same rate; the classification predicts that neither configuration can exist.","supporting_citations":[{"cited_title":"Infinite Distance and Zero Gauge Coupling in 5d Supergravity","cited_arxiv_id":"2007.07892","evidence_quote":"Shows that with assumed positive Chern-Simons couplings all infinite distance limits are weak-coupling limits; the paper replaces the assumption by a derivation."}],"review_version":1}