{"id":"74985062-e282-4f29-adba-92c39a4031b5","arxiv_id":"2603.04485","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Factorization at the second excited mass level forces the Regge intercept to the bosonic string value, and large-level multipositivity bounds forbid the simplest Gross satellite deformation of four-point superstring amplitudes.","lead":"Using only factorization and unitarity, the authors show that among minimally degenerate string-like amplitudes the Regge intercept must be the bosonic string value, and that a simple class of satellite deformations of four-point superstring amplitudes is forbidden. The result is evidence that the infinite tower of higher-spin string states is far more rigid than any finite collection of particles.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Sec. IIB's 'single deformation family' is not yet established: at N=7 one coupling remains free and the unique-family conclusion relies on an unproven N>7 conjecture.","rationale":"The reader's weakest_assumption focuses on minimal degeneracy; that is a legitimate scope caveat, but the paper states it explicitly, so I do not treat it as an error. The N>7 coupling is a different, self-admitted unresolved step in the same section and is the least secure point in the uniqueness classification. A direct N=8 computation settles it. Since the α0 = −1 and f̃4 claims are conditional on algebraic checks rather than this conjecture, the existing CONDITIONAL verdict should remain unchanged.","tokens_in":15783,"tokens_out":31504,"duration_ms":297002,"concrete_test":"Take the Sec. IIB table of couplings, treat λ_{2,2}^{0,1;0} as free (with Eq. (10) imposed), and compute the N=8 half-ladder factorization constraints at levels ≤2. If λ_{2,2}^{0,1;0} is uniquely fixed (up to sign), the conjecture is confirmed and the classification stands; if it remains free or only constrained to an interval, the 'single family' claim is false and the paper should weaken Sec. IIB to a one-parameter family.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's first main result (α0 = −1) is derived from the six-point mismatch in Eq. (8) and does not use the N>7 conjecture; I have no objection to that part conditional on the supplemental residue algebra. The load-bearing gap is the classification of P(u) deformations in Sec. IIB. There the authors state that, imposing factorization through N=7 and minimal degeneracy, the only possibilities are the bosonic string or a single family. The footnote to that section concedes that at seven points the residues still depend on the coupling λ_{2,2}^{0,1;0}, and the authors \"conjecture\" that N>7 factorization fixes it. That conjecture is doing real work: without it the family is a one-parameter family, so the assertion that the deformation space is dramatically rigid is incomplete. Because the residue computations are relegated to supplemental files, this cannot be checked from the manuscript.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the rigidity of tree-level open-string amplitudes. In the first part, assuming minimal degeneracy of same-spin states up to mass level n=2, it uses four-, five-, and six-point factorization of Koba-Nielsen residues to argue that the Regge intercept must be α0=−1 (Eqs. (8)-(9)), matching the bosonic string. It then attempts to classify general worldsheet deformations PN(u) under factorization up to multiplicity N=7, finding the bosonic string and a single family of solutions constrained by Eq. (11). In the second part, for massless external states and arbitrary spectral degeneracy, it derives large-n saddle-point expressions and a subleading multipositivity bound (Eq. (29)), which is applied to the Gross f4 satellite deformation to conclude that its even part f+ must vanish, so that no such four-point deformation is allowed.","tokens_in":16042,"tokens_out":10759,"duration_ms":100592,"significance":"If the computations are correct, the paper provides a concrete factorization-based derivation of α0=−1 under a stated spectral assumption, and a new positivity argument that rules out a classic satellite deformation. The paper is unusually transparent about its limitations: it explicitly notes that the minimal-degeneracy assumption excludes actual superstring spectra at level n=2, and it flags the conjectural part of its deformation classification. These are honest scope statements, not hidden assumptions. The main results are conditional on residue algebra that is largely relegated to supplemental files, and on one explicit conjecture for N>7 factorization. The paper therefore contains publishable ideas, but the full strength of the advertised rigidity is not yet established in the manuscript as written.","major_comments":[{"comment":"The 'single family' conclusion is load-bearing for the paper's rigidity narrative, but the footnote concedes that at N=7 the residues still depend on the coupling λ_{2,2}^{0,1;0} and that fixing it requires an unproven conjecture about N>7 factorization. Without a proof, the deformation space is not yet a single family but a one-parameter family. Please either prove the conjecture (even for one higher multiplicity) or revise the abstract and Sec. IIB to state that the classification holds only modulo this conjecture.","section":"Sec. IIB, footnote 4"},{"comment":"The central results—the mismatch in Eq. (8), the exclusion of α0=0 in Eq. (9), the λ-coupling tables, and the seven-point PN(u) classification—are delegated to supplemental files. As the manuscript text contains only the final results, the reader cannot verify the main computations. Please include the residue algebra in an appendix (or at least a substantial sample of the higher-point residues) so that the factorization matching can be checked, or provide the supplemental file with the full derivations and make its location explicit.","section":"Secs. IIA-IIB, Eqs. (8)-(9)"}],"minor_comments":[{"comment":"The abstract states that α0 is fixed 'using seven-point factorization', but the explicit derivation in Sec. IIA uses four-, five-, and six-point residues, with Eq. (8) being a six-point condition. Please reconcile the wording.","section":"Abstract and Sec. IIA"},{"comment":"The definition f+(x)=log(√2 + w(x)/2)/(x(1−x)) appears inconsistent with the stated P4(x,1−x)=(2+w(x))^2/16 and the normalization w(0)=w(1)=2. The natural definition giving that P4 is f+(x)=log((2+w(x))/4)/(x(1−x)). Please check and correct.","section":"Sec. IIIC, Eq. (32)"},{"comment":"The reduction of the multipositivity bound (29) to the differential inequality ww''+(w')^2≤0 is stated without intermediate steps. Since this is the key step in excluding the f4 deformation, please include the algebra or an appendix derivation.","section":"Sec. IIIC, Eq. (33)"},{"comment":"The sentence 'the requirement of integer dimension means that Eq. (11) reduces this deformation to a discrete family' would be clearer if the allowed range of D (or α0) were spelled out, given the unitarity window −1≤α0<2/3.","section":"Sec. IIB, Eq. (11)"}],"recommendation":"major_revision","confidential_remarks":"The paper's two headline results are interesting, but the current manuscript is not fully self-contained: the factorization algebra is in supplemental files, and the deformation classification rests on an explicit conjecture. The α0=−1 result is also conditional on a spectral assumption that the authors themselves note excludes the superstring. I think the paper can be made publishable by including the missing computations and either proving or carefully qualifying the N>7 conjecture."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two results here are worth knowing. First, imposing consistent factorization through level 2 on Koba-Nielsen amplitudes with minimal degeneracy pins the Regge intercept to α0 = −1, the bosonic string value. The six-point mismatch in Eq. (8) is explicit: it vanishes only for α0 = 0 or −1, and α0 = 0 is killed by the displayed six-point residue difference in Eq. (9). That is a clean step beyond Ref. [28], which stopped at level 1 and only got α0 ≥ −1. Second, the subleading saddle-point multipositivity bound (Eq. (29)) applied to the Gross f̃4 satellite gives a neat argument: the bound reduces to w w'' + (w')^2 ≤ 0, and since the integral of (w w')' vanishes with the endpoint conditions, the inequality must be saturated, forcing w = 2 and hence f̃+(x) = 0. So the four-point superstring amplitude cannot be deformed by this satellite. That is a solid result, conditional on the residues being computed correctly. Where are the soft spots? The classification in Sec. IIB is not yet complete. The footnote concedes that at seven points one coupling, λ_{2,2}^{0,1;0}, remains free; the 'single family' conclusion depends on the conjecture that N > 7 factorization fixes it. Without that, the deformation space is a one-parameter family. That is an honest gap, and the α0 = −1 result does not depend on it. The residue algebra lives in supplemental files, so the manuscript alone is not enough to fully verify the coupling tables. That is a practical referee issue, not an indication of error. Also, the minimal-degeneracy assumption excludes the superstring at level 2 — the paper says so explicitly — so the α0 = −1 result should be read as a statement about spectra with minimal degeneracy, not a universal no-go. The massless-section bound assumes P4* never vanishes, a small caveat that probably should not overturn the conclusion. Who is this for? People working on the S-matrix bootstrap program and on rigidity of string amplitudes. It advances the program and, unusually, reports its own limitation clearly. I would send it to a serious referee. The referee should get the supplemental files and check the key residues. If those check out, the paper deserves publication.","headline":"Level-two factorization pins α0 = −1 for minimal degeneracy and the subleading multipositivity bound kills the symmetric part of the f̃4 satellite, but the unique-family classification in Sec. IIB still rests on an unproven N>7 conjecture.","tokens_in":779,"tokens_out":744,"would_cite":true,"duration_ms":35460,"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":"Demanding factorization through the second excited level forces the Koba-Nielsen intercept to the bosonic string value α0=−1, and a subleading multipositivity bound forbids the simplest four-point string deformation.","keywords":["string amplitudes","Koba-Nielsen","factorization","Regge intercept","multipositivity bounds","higher-spin states","satellite deformations","soft kinematics"],"falsifier":"Find a real solution of the minimal-degeneracy factorization equations at six and seven points with α0=0. If such a solution exists, the reported nonzero kinematic expression in the six-point mismatch (Eq. 9) would be evaded, and the claim that α0=−1 is uniquely forced would be false.","tokens_in":15706,"feed_emoji":"🧵","tokens_out":4610,"duration_ms":48139,"temperature":0.7,"pith_summary":"The paper tries to show that simple self-consistency conditions—factorization into three-point vertices with real couplings, plus a mild spectral assumption—uniquely select the ordinary bosonic string among Koba-Nielsen-type amplitudes. Carrying factorization through mass level n=2 and up to seven external particles, the authors find that the Regge intercept must be α0=−1, exactly the bosonic string value, and that the low-lying three-point couplings are uniquely fixed. The same machinery constrains arbitrary deformations of the worldsheet integrand, leaving a single family of residues consistent with minimal degeneracy, with spacetime dimension constrained by the intercept. For massless superstring scattering, where degeneracy is unavoidable, the paper derives large-level positivity bounds in a soft limit and uses them to show that the simplest factorizable satellite deformation cannot shift the four-point amplitude at all.","feed_headline":"Minimal degeneracy forces the string intercept to −1","feed_subtitle":"Seven-point factorization plus unitarity picks out the bosonic string and bans the simplest four-point deformation.","key_machinery":"The central object is the half-ladder family of factorization residues, expressed in positive y-variables so that residues are read off by taking y→0 limits. The load-bearing identity is the six-point mismatch formula ∂X2,4∂X2,6(Rλ222−RKN222)=α0(1+α0)/(2(2+α0)), which vanishes only for α0=0 or −1. For the massless analysis, the key mechanism is a saddle-point evaluation of the soft N-point residue at large mass level n, yielding the universal leading form RN,n∼RKN N,n P4* and a first-subleading correction involving P_N and its derivatives; the subleading correction feeds into the 2×2 principal minors of the multipositivity Hankel matrix, producing the inequality (1+z)(2P_N+1(2)−P_N(2)−P_N+2(","core_discovery":"The paper's central discovery is that multiparticle factorization, together with minimal degeneracy (at most one intermediate state of each spin at each mass level through n=2), completely fixes the Regge intercept of Koba-Nielsen amplitudes to α0=−1. This is proven by matching the four- and five-point residues to the three-point ansatz and then evaluating the six-point mismatch, whose kinematic derivative is exactly α0(1+α0)/(2(2+α0)); factorization forces this to vanish, ruling out all intercepts except 0 and −1, and α0=0 is then excluded by a nonvanishing kinematic expression in any dimension. For massless external states with arbitrary degeneracy, the paper computes the leading and first","pith_inferences":["Inference — The same level-by-level factorization logic, if pushed to higher n, likely rules out any minimal-degeneracy Koba-Nielsen deformation with intercept different from −1, so the α0=−1 result may extend to arbitrary mass level rather than stopping at level two.","Inference — If the unique residue family found through N=7 extends to all multiplicities, it would constitute a new unitarity-consistent minimal-degeneracy deformation of the bosonic string; if it fails at N=8, that failure would be an even sharper rigidity statement than the paper's.","Inference — The subleading bound should also constrain the odd part of the four-point deformation once higher-N data are included, potentially forbidding all four-point deformations entirely rather than only the symmetric part.","Inference — The same soft-limit multipositivity technology could be adapted to closed-string (Virasoro-Shapiro) amplitudes, where the u-variables are more complicated but the saddle-point structure is likely similar."],"forward_implications":["Any Koba-Nielsen amplitude with minimal degeneracy through level two and unitarity-consistent factorization is forced to have intercept α0=−1, the bosonic string value; the superstring and Z-theory, with α0=0, must therefore have degenerate spectra at n=2.","The unique real assignment of three-point couplings through level two shows that the low-lying bosonic string couplings are determined by S-matrix consistency, not just by the worldsheet construction.","The subleading multipositivity bound implies the symmetric part of the simplest four-point satellite deformation vanishes identically, so unitarity alone removes that deformation from the space of allowed string amplitudes.","The large-level saddle-point method converts consistency constraints on the infinite tower of higher-spin states into ordinary inequalities on the deformation function and its derivatives, making the entire tower active in bounding any deformation."],"fun_headline_variants":["Seven-point factorization pins string intercept to −1","Unitarity bans simplest four-point string deformation","Multiparticle constraints fix superstring Regge intercept","Higher-spin rigidity bans simplest Gross deformation","String amplitudes: minimal degeneracy forces α0=−1"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The conclusion that the intercept must be −1 rests on assuming minimal degeneracy—at most one intermediate state of each spin at each mass level through n=2—which the superstring itself does not satisfy at level two.","fun_headline_variants_meta":{"raw":{"variants":["Seven-point factorization pins string intercept to −1","Unitarity bans simplest four-point string deformation","Multiparticle constraints fix superstring Regge intercept","Higher-spin rigidity bans simplest Gross deformation","String amplitudes: minimal degeneracy forces α0=−1"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000144,"raw_usage":{"total_tokens":996,"prompt_tokens":711,"completion_tokens":285,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":455,"completion_tokens_details":{"reasoning_tokens":212}},"tokens_in":455,"tokens_out":285,"duration_ms":3263,"temperature":1.0,"reasoning_tokens":212,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T18:49:26.500257+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a real solution of the minimal-degeneracy factorization equations at six and seven points with α0=0. If such a solution exists, the reported nonzero kinematic expression in the six-point mismatch (Eq. 9) would be evaded, and the claim that α0=−1 is uniquely forced would be false.","supporting_citations":[],"review_version":1}