{"id":"25f05714-0e24-4c61-8b49-4f88468abc1a","arxiv_id":"2607.22519","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Under brane-taxonomy axioms and an n_e≤7 homogeneity bound, integral scaling with w≤3 is an exhaustive finite consequence for all EFT string candidates in 4d N=1 moduli slices.","lead":"The paper argues that the Integral Scaling Conjecture—towers along EFT-string flows scale with integer weights 1, 2, or 3—follows from the brane-taxonomy lattice rules rooted in the Emergent String Conjecture, assuming a short list of stated axioms. It classifies all 74 possible duality frames and verifies the scaling exhaustively, and it also finds evidence that an EFT string's oscillator modes generate the particle and string lattices.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The w≤3 conclusion is directly gated by the unproven n_e≤7 assumption; an n_e=8 candidate in the 2-frame already gives w=4, so the central claim is conditional on a bound the paper does not derive.","rationale":"The reader's weakest_assumption correctly identifies n_e≤7 as the load-bearing cutoff. My independent reading of §2.3, §3.2.2, and the outlook confirms that the w≤3 conclusion is not merely strengthened by this assumption but directly controlled by it: the 2-frame P=3 candidate is a concrete lattice site with n_e=8 and w=4 inside the frame simplex. The paper does not prove that such a site is unphysical; it cites maximal decompactification dimension and empirical coverage. Since the stated goal is a bottom-up derivation from brane taxonomy, an unproven external bound on the Kähler potential degree is the weakest point. I do not see a more serious internal inconsistency: the lattice algebra, the classification of 74 frames, and the recursion over facets/pericenters are coherent, and the authors explicitly flag competing-monomial and bound-state cases as open. The missing Mathematica code is a reproducibility issue but not a mathematical objection to the claim. The appropriate verdict remains CONDITIONAL, so no adjustment is needed relative to the reader's verdict.","tokens_in":41916,"tokens_out":5975,"duration_ms":59436,"concrete_test":"Re-run the exhaustive scan without imposing Assumption 3: for all 74 frame simplices, enumerate string-lattice sites inside or on the boundary with ||α||^2 = 2/n_e for every integer n_e = 8,...,63, and compute the leading-tower weight w via eqs. (3.39) and (3.46). If any such site gives w≤3, the n_e≤7 bound is necessary for the claim and must be derived independently; if all n_e>7 sites give w>3, then Assumption 3 can be promoted to a theorem of the taxonomy rules. As a top-down check, search for or construct a 4d N=1 string compactification whose asymptotic Kähler potential is homogeneous of degree 8 (e.g., a G2 or F-theory example with an eighth saxionic direction) and test whether an EFT string with n_e=8 exists; if so, the ISC as stated would be falsified unless the w=4 tower is above the species scale.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim — integer w≤3 for all leading towers along every EFT string flow — rests on Assumption 3 (§2.3): EFT string α-vectors have norm sqrt(2/n_e) with n_e≤7. This bound is not derived from the taxonomy rules or from the Emergent String Conjecture; it is motivated by maximal decompactification dimension 11 and by all known top-down examples. The sensitivity is concrete: in the 2-frame (§3.2.2), eqs. (3.9)–(3.11) show that the P=3 string lattice site has n_e=8, lies along the decompactification direction in the frame simplex, and yields w=4. Thus if a consistent 4d N=1 compactification admitted an asymptotic Kähler potential with effective homogeneous degree 8, the theorem's headline conclusion would fail exactly at that candidate. The paper's own outlook states only that 'we find evidence that EFT string candidates with n_e>7 always yield w>3' — evidence, not a proof. This is not an internal inconsistency, and the authors are transparent about the assumption, but it means the central claim is not a bottom-up consequence of the taxonomy rules alone: it is a theorem conditional on an empirical bound. Because the condition is exactly what separates w≤3 from w=4 in an allowed lattice frame, it is the most load-bearing unresolved point.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to derive the Integral Scaling Conjecture (ISC) for 4d N=1 EFT strings from the bottom up, using the brane-taxonomy rules of [83,84]. Under three explicit assumptions — the taxonomy rules, maximal decompactification/string dimensions 11/10, and the EFT-string length formula |α_str| = sqrt(2/n_e) with n_e ≤ 7 — the authors classify all possible frame simplices (74 total: 44 geometric and 30 stringy), identify EFT string candidates within or on the boundary of each frame, and check the integral scaling relation α_str·(2α_tow)=w|α_str|^2 for all such candidates. They find integer w≤3 for all leading towers, with half-integral weights for certain subleading oscillator towers, and propose that oscillator α-vectors generate the string and particle lattices. The paper includes comparisons with type IIA, F-theory, and M-theory examples. The central claim is conditional on the unproven n_e≤7 assumption, which is the main weakness of the paper.","tokens_in":42210,"tokens_out":8314,"duration_ms":82307,"significance":"If correct, the paper would turn the ISC from an empirical observation into a structural consequence of the Emergent String Conjecture and brane-taxonomy rules, within a finite classification of duality frames. The explicit enumeration of 74 frames, the transparent lattice formulas (3.39) and (3.46), and the detailed top-down examples are valuable and make the internal algebra checkable. The proposed lattice-level strengthening and the physical interpretation of w=1 are interesting. However, the value of the result is proportional to the status of the n_e≤7 assumption, which is not derived; the paper itself concedes that only evidence is provided for the n_e>7 ⇒ w>3 part. The result is therefore best understood as a conditional theorem, and the presentation should make that caveat prominent.","major_comments":[{"comment":"The bound n_e≤7 is load-bearing and is not derived. Equations (3.9)–(3.11) show that in the 2-frame the P=3 string has n_e=8 and would yield w=4, so the w≤3 conclusion fails exactly if an asymptotic Kähler potential of effective homogeneous degree 8 exists. The paper states in §2.3 that Assumption 3 'can be derived from the homogeneity and integrality of the asymptotic Kähler potential', but no such derivation is given; Appendix A only derives |α_str|=sqrt(2/n_e), not n_e≤7. The outlook (§5) says only that 'we find evidence' for n_e>7 ⇒ w>3. Since the abstract reports w≤3 without this caveat, the central claim is conditional on an empirical bound. I recommend stating the main theorem with the n_e≤7 hypothesis explicit and either proving it or presenting it as a clearly separated conjecture with the collected evidence.","section":"§2.3, Assumption 3; Appendix A; §3.2.2, Eqs. (3.9)–(3.11); §5"},{"comment":"The exhaustiveness claim — 74 frame simplices, 48 with EFT string candidates, and the verification of integral scaling in every case — rests on a Mathematica scan that is not shipped. The text says 'We can then use Mathematica to build all the possible N-dimensional moduli space slices' (§3.4.1), but no code or ancillary file is provided, and Tables 1–4 do not by themselves constitute a completeness proof. For a result presented as a finite exhaustive check, the scan should be included as supplementary material or replaced by a self-contained enumeration argument that a reader can audit.","section":"§3.1, §3.4.1"},{"comment":"The main proof is explicitly for non-bound-state EFT strings. Bound states are analyzed only when a single monomial dominates P(s_i) in the Kähler potential; the general multi-monomial case is left open in §3.5. The abstract and the concluding bullet, however, state integral scaling for 'all leading towers along the flow of every EFT string candidate', which is broader than what is actually proven. The scope should be narrowed in the abstract/conclusions, or the general bound-state case should be addressed.","section":"§2.3 (last paragraph); §3.5; §5 bullet list"}],"minor_comments":[{"comment":"There is a typo: after Eq. (3.9), P=3,5 produce n=8, but Eq. (3.11) writes 'w_{n=4}=4'. It should read 'w_{n=8}=4'.","section":"§3.2.2, Eq. (3.11)"},{"comment":"Internal mismatch: P=4 gives n=3 by Eq. (3.22), but the text concludes 'the only candidate is P=4 with n=2 and w=2'. Also w_{n=12}=6 appears inconsistent with the general formula (3.4) for D=10, P=6, which gives w=4. Please correct and cross-check all numerical entries in this subsection.","section":"§3.2.6, Eqs. (3.22)–(3.23)"},{"comment":"The notation p_P for lattice sites is used without an explicit definition in the captions. It is defined in the text, but a one-line explanation in the first relevant caption would improve readability.","section":"Figures 2–7"},{"comment":"Reference [63] is listed as 'To appear' with no arXiv number or journal identifier. If a preprint or published version exists at the time of submission, it should be updated.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is honest about its assumptions, but the abstract oversells the result by omitting the n_e≤7 caveat. The most important issue is the status of the n_e≤7 bound: it is exactly what separates w≤3 from w=4 in the 2-frame, so the central claim should be presented as explicitly conditional. The extensive self-citation of [83,84] is natural given the first author's role in developing the taxonomy, but an independent check of the taxonomy input would be valuable. The missing Mathematica scan is a reproducibility concern that the journal may want to require as supplementary material."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the punchline: this paper does something genuinely new—it turns Integral Scaling from an empirical pattern into a structural consequence of the brane-taxonomy rules plus explicit assumptions, and it does so by an exhaustive scan of all 74 frame simplices. That is a real advance, and the lattice-level statement around (3.52) is a nice bonus. But the result is only as strong as its most restrictive input: Assumption 3, the bound n_e≤7 on the homogeneity degree of the asymptotic Kähler potential. The paper doesn't derive that bound; it motivates it from known top-down examples and the 11d maximum. The stress-test is right that this is exactly what separates w≤3 from w=4 in the 2-frame. If a consistent compactification with n_e=8 exists, the headline claim fails. The authors are upfront about this, and they even note they only have 'evidence' for n_e>7 implying w>3, but that means the central theorem is conditional in precisely the spot that matters.\n\nWhat the paper does well deserves credit. The classification of 74 frame simplices and the explicit scan of EFT string candidates is careful and transparent. The tables are useful, and the top-down examples (type IIA, F-theory, M-theory) show the dictionary in action. The w=1 characterization—that it's equivalent to the EFT string being the emergent string—is a clean physical result. The authors also flag open cases: competing monomials, bound states, and the general lattice-generator proof.\n\nSoft spots beyond the n_e≤7 issue: the scan code isn't shipped, so independent verification requires re-implementation; some labels are typo-sloppy (e.g., 'n=4' where n=8 in §3.2.2). Those are minor. The taxonomy rules themselves carry extra assumptions (like no sliding), which the paper acknowledges. So the overall picture is: a substantial, honestly-labeled conditional result, not a proof from ESC alone.\n\nWho's this for? Swampland people working on distance conjectures, EFT strings, or the species scale. It's worth a careful referee. My recommendation: send it to review with the request that they release the scan code and either prove n≤7 or soften the abstract to make the conditional nature explicit.","headline":"A serious, well-scaffolded bottom-up case for Integral Scaling with w≤3—but the load-bearing n_e≤7 cutoff is assumed, not derived, and an n_e=8 candidate would already break w≤3.","tokens_in":42785,"tokens_out":3380,"would_cite":true,"duration_ms":32272,"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":"Integral scaling w∈{1,2,3} for EFT strings follows from a finite scan of the 74 allowed duality frames.","keywords":["Integral Scaling Conjecture","EFT strings","Emergent String Conjecture","brane taxonomy","frame simplex","alpha-vectors","swampland distance conjecture","species scale"],"falsifier":"A consistent 4d N=1 compactification whose asymptotic Kähler potential has a single leading monomial of degree 8, giving an EFT string candidate with n_e=8 in the 2-frame; the taxonomy formula then yields w=4, directly contradicting w≤3. Concretely: compute |α_str|=sqrt(2/8)=1/2 on the 2-frame radion lattice; the paper's formula gives w=4/(4−P), and the candidate with n=8 has P=3, giving w=4. If such a compactification exists, the central claim fails.","tokens_in":41740,"feed_emoji":"🧵","tokens_out":5939,"duration_ms":57151,"temperature":0.7,"pith_summary":"Near the core of an EFT string — a 1/2-BPS axionic string in a 4d N=1 theory — the scalars run to infinite field distance and a tower of states becomes light, with its mass squared scaling as the string tension to a power w. This paper argues that this power is always an integer 1, 2, or 3, and that this is not an empirical fluke: it follows from the brane-taxonomy rules that organize infinite-distance limits under the Emergent String Conjecture. The authors classify every possible duality frame for slices of the moduli space (74 frames), identify which lattice sites can be EFT string candidates by their alpha-vector length sqrt(2/n), and check the scaling relation for each candidate. The check passes for all candidates: leading towers have integer w≤3; subleading towers obey integral scaling too except for controlled half-integral cases that also occur in known string compactifications. A stronger lattice statement also emerges: the oscillator alpha-vectors of EFT string candidates generate the lattices of particle and string alpha-vectors.","feed_headline":"A 74-frame scan pins EFT string scaling to w=1,2,3","feed_subtitle":"Bottom-up classification makes integral scaling a consequence of brane-taxonomy rules, not an accident of examples.","key_machinery":"The load-bearing device is the alpha-vector framework: for a tower or brane, α = −∇ log(m/M_Pl), so the Distance Conjecture and the Integral Scaling Conjecture become statements about vectors in the moduli space. The taxonomy rules assign universal dot products among principal-tower alpha-vectors, organizing each duality frame into a frame simplex, and the brane taxonomy adds lattice rules for particles and strings. An EFT string candidate is a string lattice site whose alpha-vector has length sqrt(2/n_e), n_e≤7; the integral scaling weight is then the ratio α_str·(2α_tow)/|α_str|^2. The proof is the finite scan: enumerate all frame simplices consistent with 11d/10d maxima, build the lattice","core_discovery":"The central claim is that the Integral Scaling Conjecture — m_tow^2 ~ T^w with w=1,2,3 — is a consequence of the brane-taxonomy framework rather than a conjecture matched only by examples. The strategy reduces the conjecture to the exact dot-product statement α_str · (2 α_i) = w |α_str|^2, with EFT string candidates identified by the length formula |α_str|=sqrt(2/n_e) for integer n_e≤7. Using two further assumptions (taxonomy rules apply to all states below the species scale; maximal decompactification is 11d and maximal weak-string dimension is 10d), the paper classifies all possible frame simplices — 44 geometric and 30 stringy, 48 of which contain candidates — and verifies the relation fo","pith_inferences":["Editorial inference: If the n_e≤7 bound is itself derivable from the taxonomy and the 11d/10d maxima — as the paper's n_e>7 → w>3 evidence suggests — then integral scaling would become a fully bottom-up theorem, and the sharpened axion Weak Gravity Conjecture would inherit its key assumption from the same framework.","Editorial inference: The lattice-generator statement could be turned into a search criterion for towers: in a given frame, the allowed light towers at infinite distance are exactly the lattice generated by the emergent string oscillator vector; this is checkable in explicit toroidal or orbifold constructions beyond the examples treated.","Editorial inference: The half-integral weights for subleading oscillator towers imply that any 'integral scaling' test on data should be applied to convex-hull generators, not to every tower; a tower with w=3/2 below the species scale is not counterevidence.","Editorial inference: The same 1/p quantization logic suggests higher-dimensional codimension-two objects (worldvolume dimension p>2) would exhibit scaling weights quantized in units of 1/p; a concrete place to look is ten-dimensional brane lattices."],"forward_implications":["Any 4d N=1 EFT whose infinite-distance limits obey the brane-taxonomy rules, the 11d/10d maxima, and n_e≤7 automatically exhibits integral scaling with w≤3 for all leading towers — no per-example check needed.","The weight w=1 identifies an emergent string limit in which the EFT string itself is the emergent string; w>1 leaves the door open to decompactification or to an emergent string lighter than the EFT string.","Subleading towers below the species scale are also covered: in geometric frames they have integer w, and in stringy frames their weights are at worst half-integral (w_osc=3/2 in two frames), so the conjecture survives a refined reading.","The oscillator alpha-vector of every EFT string candidate generates the particle and string lattices, which upgrades the convex-hull version of integral scaling to a lattice statement and explains the half-integral quantization in units of 1/2.","For bound states of EFT strings, integral scaling is inherited from the elementary constituents with additive weights whenever a single monomial dominates the Kähler potential."],"fun_headline_variants":["Brane-taxonomy rules force EFT string scaling w=1,2,3","74-frame scan shows integral scaling falls out of taxonomy","EFT string mass exponents: bottom-up proof gives w≤3","From 74 frames, EFT strings obey integral scaling","Integral scaling for EFT strings is proven, not assumed"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The bound n_e ≤ 7 on the homogeneity degree of the asymptotic Kähler potential — equivalently the allowed length of EFT-string alpha-vectors — is assumed, not derived; if a consistent compactification with n_e=8 exists, the w≤3 conclusion fails.","fun_headline_variants_meta":{"raw":{"variants":["Brane-taxonomy rules force EFT string scaling w=1,2,3","74-frame scan shows integral scaling falls out of taxonomy","EFT string mass exponents: bottom-up proof gives w≤3","From 74 frames, EFT strings obey integral scaling","Integral scaling for EFT strings is proven, not assumed"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000305,"raw_usage":{"total_tokens":1611,"prompt_tokens":794,"completion_tokens":817,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":538,"completion_tokens_details":{"reasoning_tokens":729}},"tokens_in":538,"tokens_out":817,"duration_ms":7602,"temperature":1.0,"reasoning_tokens":729,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T04:28:16.311742+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A consistent 4d N=1 compactification whose asymptotic Kähler potential has a single leading monomial of degree 8, giving an EFT string candidate with n_e=8 in the 2-frame; the taxonomy formula then yields w=4, directly contradicting w≤3. Concretely: compute |α_str|=sqrt(2/8)=1/2 on the 2-frame radion lattice; the paper's formula gives w=4/(4−P), and the candidate with n=8 has P=3, giving w=4. If such a compactification exists, the central claim fails.","supporting_citations":[],"review_version":1}