{"id":"1f1b6572-67d0-436b-baf6-32af233e495c","arxiv_id":"2508.09930","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"One-loop open and closed string amplitudes with one massive state are rewritten in terms of tree-level kinematic factors, with type IIA/IIB differences for closed strings.","lead":"This paper computes one-loop string theory amplitudes in which one of the external particles is a first-level massive state, using the pure spinor superspace formalism. It shows these loop results can be written with tree-level kinematic factors, and that for closed strings this only works for certain particle combinations, differently in type IIA and IIB.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Massive one-loop prescription is the load-bearing unverified assumption; field-theory limit check would settle it.","rationale":"The reviewer's verdict is UNVERDICTED because the full text is unintelligible. My stress-test cannot do better; I read the abstract and metadata in good faith. The claim is a strong algebraic identity, and the most dangerous failure mode is not the algebra but the physical interpretation: a formal rewriting of correlators is not an S-matrix element unless the one-loop prescription is valid for massive states. This is exactly the reader's weakest_assumption. I find no independent evidence in the text—no machine-checked proof, no explicit BRST check visible, no numerical cross-check—that would lower the risk. I therefore agree with the reader and leave the verdict unchanged. The proposed α'→0 comparison is a decisive, inexpensive check: the pure spinor amplitude should reproduce known field-theory results in the low-energy limit, and any mismatch would localize the failure to the massive vertex operator or the one-loop measure.","tokens_in":11001,"tokens_out":3096,"duration_ms":38501,"concrete_test":"Compute the α'→0 limit of one specific open-string amplitude, e.g. (massless, massless, massless, first-level massive), and compare the leading term with the corresponding one-loop field-theory amplitude in maximally supersymmetric Yang-Mills (or supergravity) with one massive state. If the limits disagree, the one-loop prescription for massive states is wrong; if they agree, the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that one-loop open/closed correlators with a first-level massive external state can be rewritten through tree-level kinematic factors. For this to be a physical amplitude, the one-loop pure spinor prescription must be valid for a massive vertex operator. The supplied text is byte-corrupted, so no equation or BRST check can be inspected; the abstract gives no argument that the one-loop measure/picture-changing steps survive when one external leg is massive. In pure spinor superspace, massive vertex operators carry different ghost picture and have non-trivial zero-mode saturation; if the measure factor is not adjusted, the result would be a correlator in an unphysical sector. Also, the claimed type IIA/IIB difference in allowed state combinations suggests a state-dependent GSO/projection subtlety; an error there would produce wrong amplitudes while preserving formal algebraic rewrites.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to compute open- and closed-string three- and four-point one-loop amplitudes in pure spinor superspace with one external state at the first massive level and the remaining states massless. The central structural claim is that, for the open string, the one-loop correlators can be rewritten exactly in terms of tree-level kinematic factors. For the closed string, the same rewriting is claimed for the three-point amplitude and for certain four-point combinations, with the allowed combinations differing between type IIA and type IIB. These are presented as exact algebraic identities. However, the supplied full text is almost entirely byte-corrupted: equations, section headings, and most prose are unreadable. Consequently the derivation, the definitions of the massive vertex operators, the one-loop measure, the BRST-closure checks, and the factorization checks cannot be inspected. The only substantive evidence for the claims is the abstract itself.","tokens_in":11195,"tokens_out":2780,"duration_ms":34399,"significance":"If the claims are correct, they would provide a nontrivial simplification: one-loop amplitudes with one first-level massive external state expressed through tree-level kinematic factors. Such identities are useful for string-amplitude computations and could strengthen the pure spinor superspace formalism beyond massless external states. The concrete, falsifiable statement about type IIA/IIB differences is also of interest. However, because the manuscript as supplied contains no readable derivation, I cannot assess the correctness of the central claim, its technical basis, or its novelty relative to the author's prior work. The paper does not appear to ship any machine-checked proofs, code, or other independently verifiable artifacts; the algebraic claims are presented as hand derivations that I cannot follow in the supplied text.","major_comments":[{"comment":"The supplied manuscript is byte-corrupted and effectively unreadable. No equation can be reliably parsed; section headings, definitions, and derivations appear as gibberish. The central claims—that one-loop correlators with one massive external state can be rewritten in terms of tree-level kinematic factors—appear only in the abstract. This is a load-bearing issue: the paper is an algebraic computation, and without a readable derivation there is nothing to referee. The manuscript must be resubmitted with a clean, complete text, with numbered equations and explicit statements of the main identities.","section":"Full text, all sections"},{"comment":"The most important unverified premise is that the standard one-loop pure spinor superspace prescription applies unchanged when one external state is a first-level massive state. In the few readable fragments, there is no visible argument that the massive vertex operator has the correct ghost picture, that the zero-mode saturation is handled consistently, or that the integrated/unintegrated vertex insertions and picture-changing operators remain BRST-invariant at one loop. The abstract gives no proof of this. A field-theory or α'→0 limit check, or an explicit BRST-closure check for the massive vertex, should be provided.","section":"Around the one-loop amplitude setup (unreadable in supplied text)"},{"comment":"The abstract claims that the one-loop closed-string four-point correlator can be rewritten using tree-level kinematic factors only for certain massive/massless combinations, and that the allowed combinations differ between type IIA and type IIB. This is a striking, state-dependent claim. In the supplied text, the relevant GSO/projection details and the massive-state representations for the two type II theories are not readable. To make the claim verifiable, the paper must display the explicit projector/state-selection rules, the resulting allowed combinations, and the point at which the type IIA/IIB difference enters the correlator computation.","section":"Closed-string section (type IIA/IIB claim)"},{"comment":"A natural check of any claim that one-loop correlators reduce to tree-level kinematic factors is the factorization limit on one-loop degeneration or the field-theory limit. No such check is visible in the supplied text, and the unreadable equations prevent me from carrying it out. I request that the authors include at least one explicit consistency check: either a degeneration/factorization limit or a comparison with the known low-energy effective action at the first massive level. Without such a check, the algebraic rewriting is in danger of being an artifact of a particular correlator normalization.","section":"Throughout (factorization consistency)"}],"minor_comments":[{"comment":"The title says 'four-point' but the abstract also covers three-point amplitudes. Please clarify the scope in the title or state that the four-point case is the main new result.","section":"Title/abstract"},{"comment":"The supplied text contains no readable reference list. Once the text is repaired, please ensure that the pure spinor superspace tools, the massive vertex constructions, and the prior one-loop amplitude computations are fully cited, including the author's own prior work where appropriate.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"I could not reach a scientific verdict because the supplied full text is unreadable. I recommend major_revision rather than rejection because the abstract's claims are concrete and potentially correct, but the manuscript in its current form cannot be verified. The editor may wish to confirm whether the corruption is an artifact of the submission pipeline; if the actual arXiv file is also corrupted, the authors should be asked to repair it. If a readable version is supplied, the one-loop massive prescription and the type IIA/IIB distinction should be independently checked. I saw no obvious citation or novelty red flags, but proper attribution cannot be assessed until the text is readable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: if the algebra is right, this is a real technical advance. Mafra computes one-loop open-string 3- and 4-point amplitudes with one first-level massive state and massless spectators, and shows the correlators can be rewritten using tree-level kinematic factors. The closed-string case is more restrictive—three points work immediately, four points only for certain massive/massless combinations, and the allowed combinations differ between type IIA and type IIB. That state-dependent IIA/IIB result is the freshest thing here and I don't recall it from earlier work. It's a substantive extension of an established formalism, not a conceptual upheaval, but these are hard objects to get by older methods, and the tree-level factorization is a genuinely useful structural fact if it holds.\n\nI couldn't check the derivations: the copy I have is byte-corrupted, so the equations are unreadable. That's a practical obstacle for me, not a flaw the authors can be blamed for. The abstract is clear enough to form a judgement.\n\nThe soft spot that matters is exactly what the stress-test note flags. The pure spinor one-loop prescription—measure, picture assignments, zero-mode saturation, GSO/projection—is established for massless vertex operators. A first-level massive vertex carries a different ghost picture and different zero-mode structure. If the measure isn't adjusted, the correlator you get is a formal algebraic object rather than a physical amplitude. The paper's core move is rewriting one-loop correlators in terms of tree-level kinematic factors; that's a strong claim, and the most convincing support would be a field-theory limit or OPE-based check that the massive-leg prescription is correct. The abstract doesn't report such a check. The IIA/IIB difference makes the projection subtle: it's exactly the kind of place where a formal identity can hold in the wrong physical sector.\n\nOn the plus side, there are no fitted parameters and the target is a concrete algebraic identity, so a referee can verify it directly. The self-citations to earlier pure spinor papers are appropriate in a programmatic technical line.\n\nRecommendation: yes, send it to peer review with an expert in pure spinor string amplitudes. If the one-loop massive prescription survives, it's a citable advance. If it doesn't, the error is likely local and fixable. That's exactly what a serious referee is for.","headline":"A credible pure spinor advance on one-loop amplitudes with a massive external leg; the one-loop massive prescription is the point a referee must pressure-test.","tokens_in":11627,"tokens_out":3594,"would_cite":false,"duration_ms":37690,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T30","81T60"],"pacs":[],"model":"deepseek-v4-flash","headline":"One-loop massive string amplitudes reduce exactly to tree-level kinematic factors in pure spinor superspace, with type IIA/IIB selection rules for closed strings.","keywords":["one-loop string amplitudes","pure spinor superspace","massive string states","open strings","closed strings","type II superstrings","tree-level kinematic factors"],"falsifier":"Compute a single open-string four-point amplitude with three massless states and one first-level massive state in explicit components, fixing all polarizations/helicities, and compare the two sides of the claimed identity at generic external momenta and a generic point on the one-loop moduli space. The paper's claim predicts exact equality of every independent kinematic coefficient; any mismatch—or any closed-string four-point combination outside the paper's IIA/IIB list that nevertheless reduces to tree-level kinematics—would falsify the claim.","tokens_in":10919,"feed_emoji":"","tokens_out":7659,"duration_ms":89459,"temperature":0.7,"pith_summary":"This paper tries to establish that three- and four-point one-loop string amplitudes with one external first-level massive state are not genuinely new loop-level objects: their kinematic structure is already contained in tree-level amplitudes. Working in pure spinor superspace, the author shows that the open-string one-loop correlators can be rewritten exactly in terms of tree-level kinematic factors. For the closed string, the same rewriting follows immediately for three points and works for four points only for specific combinations of massive and massless states, with the allowed combinations differing between type IIA and type IIB. If these are exact algebraic identities, they offer a practical shortcut for computing massive string corrections and expose a loop-level factorization that a component calculation would hide.","feed_headline":"Massive one-loop string amplitudes reduce to tree-level factors","feed_subtitle":"Exact identities hold for open strings, and for type IIA/IIB four-point states only in selected combinations","key_machinery":"The load-bearing technology is the pure spinor superspace one-loop amplitude prescription, in which external states are represented by vertex operators built from a bosonic pure spinor and the amplitude is a correlator of integrated vertex operators. The central objects are the one-loop correlators themselves; the argument's key step is rewriting them in terms of tree-level kinematic factors—the same superfield combinations that already appear in tree-level string amplitudes. This rewriting is what makes the factorization visible, and it is performed algebraically rather than by evaluating the loop integrals.","core_discovery":"The central claim is that a one-loop correlator with one first-level massive state and the remaining states massless can be rewritten as a combination of tree-level kinematic factors, so the loop integration separates from the polarization-dependent kinematic data. For the open string this rewriting is shown for all three- and four-point configurations considered. For the closed string, the three-point case is immediate; the four-point case admits the rewriting only for certain massive/massless combinations, and these admissible combinations are not the same in type IIA and type IIB. The identities are exact algebraic statements about the superspace correlators, not numerical approximations.","pith_inferences":["The paper leaves open whether the same tree-level rewriting extends to higher massive levels; testing the second massive level would show whether the first-level result is the beginning of a general factorization or an accidental simplification.","The type IIA/IIB asymmetry in the admissible four-point combinations suggests the obstruction is tied to spacetime chirality or the relative signs of the two superstring sectors; tracing which states fail would identify the mechanism.","The exact identities can serve as boundary data for amplitude reconstruction: any candidate one-loop four-point massive amplitude that does not reduce to tree-level kinematic factors for an allowed combination would be ruled out.","If combined with known results for the massless one-loop amplitudes, these identities provide a systematic route to explicit massive string corrections to gauge and gravity amplitudes, a step the paper does not take."],"forward_implications":["Open-string three- and four-point one-loop amplitudes with one first-level massive state are fixed by tree-level kinematic factors, so component-level results can be imported from tree-level computations.","Closed-string three-point one-loop amplitudes with one massive state obey the same immediate tree-level rewriting.","For closed-string four-point amplitudes, only the enumerated massive/massless combinations are reducible, and the type IIA/IIB selection rules are part of the result.","Because the identities are exact, any alternative method of computing these amplitudes—by unitarity, component expansion, or other superspace techniques—must reproduce the same tree-level factorization.","The open/closed and IIA/IIB pattern gives concrete predictions about which massive one-loop amplitudes have simplified kinematic structure and which do not."],"supporting_citations":[],"fun_headline_variants":["Massive one-loop amplitudes rewritten as tree-level factors","Loop massive states? Tree-level factors for open strings","Closed string loop reduction only for select massive states","One-loop massive strings: loop separates from kinematics","Open string loop massive amplitudes collapse to tree-level"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The computation assumes that the pure spinor one-loop amplitude prescription—the integration measure, BRST invariance, and any picture-changing steps—remains valid unchanged when one external state is a first-level massive string state; if massive states require a different loop-level treatment, the computed correlators are not the physical one-loop amplitudes.","fun_headline_variants_meta":{"raw":{"variants":["Massive one-loop amplitudes rewritten as tree-level factors","Loop massive states? Tree-level factors for open strings","Closed string loop reduction only for select massive states","One-loop massive strings: loop separates from kinematics","Open string loop massive amplitudes collapse to tree-level"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000271,"raw_usage":{"total_tokens":1396,"prompt_tokens":603,"completion_tokens":793,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":347,"completion_tokens_details":{"reasoning_tokens":720}},"tokens_in":347,"tokens_out":793,"duration_ms":9967,"temperature":1.0,"reasoning_tokens":720,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T20:41:23.166004+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute a single open-string four-point amplitude with three massless states and one first-level massive state in explicit components, fixing all polarizations/helicities, and compare the two sides of the claimed identity at generic external momenta and a generic point on the one-loop moduli space. The paper's claim predicts exact equality of every independent kinematic coefficient; any mismatch—or any closed-string four-point combination outside the paper's IIA/IIB list that nevertheless reduces to tree-level kinematics—would falsify the claim.","supporting_citations":[],"review_version":1}