{"id":"1163320c-c4f1-4f7c-b7b0-4a6486963c41","arxiv_id":"2607.14230","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"Peculiar parity plus N=8 SUSY, tree-level factorization, and finitely many states at the mass gap uniquely select the Virasoro–Shapiro amplitude among weakly-coupled UV completions of N=8 supergravity.","lead":"This paper shows that a special \"peculiar parity\" rule, together with N=8 supersymmetry and tree-level factorization, forces the low-energy couplings of N=8 supergravity into a narrow allowed region whose only finite-spin corner is the closed superstring Virasoro–Shapiro amplitude. The result is a bottom-up, field-theoretic argument that a minimal set of assumptions can select string theory.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"All-orders exponentiation of the 4-point amplitude (Eq. 6.9) is assumed after only O(s^13) checks; a failure at higher order invalidates the uniqueness proof.","rationale":"The reader's weakest assumption identifies peculiar parity as the load-bearing physical input, but I find the more consequential gap to be the unproven all-orders exponentiation in Section 6.4. The reader's rationale explicitly mentions this as a weakness ('the analytic uniqueness proof assumes an all-orders exponentiated form (checked only to O(s^13))'), so there is partial agreement. I nonetheless elevate it to the primary concern because it is the step that converts the finite-order constraints into the exact product form required for the uniqueness conclusion; without it, the theorem is not established even if peculiar parity is accepted. Peculiar parity is a stated input assumption of the conditional claim, and the paper's caveats about its non-fundamental nature do not undermine the proof of the conditional. The right verdict remains CONDITIONAL: the paper presents strong evidence and a plausible but not fully rigorous argument. An explicit check at the next order would either close the gap or reveal a breakdown, so the conditionality is appropriate.","tokens_in":41121,"tokens_out":5724,"duration_ms":64667,"concrete_test":"Extend the bottom-up computation of Section 5.1 to O(s^14) and O(s^15): impose peculiar parity (5.2) and the factorization/pole constraints from Section 4.3 on the 6-point amplitudes, extract all 4-point Wilson coefficients at these orders, and test whether they satisfy the exponential relation (6.9), with only g_0,g_2,g_4,... free. In particular, verify that all non-forward coefficients (e.g., g_{14}, g'_{14}) are forced to the values predicted by the exponent; if any independent structure appears or the equality fails, the all-orders assumption is falsified and the uniqueness proof must be reassessed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The analytic bootstrap in Section 6.4 begins with the claim that the nonlinear constraints (5.3) force the 4-point amplitude into the exponential form (6.9). This is checked numerically only up to O(s^13) and then explicitly assumed to hold to all orders. The subsequent meromorphy argument, the product representation (6.13), and the final proof that finitely many spins at the mass gap imply the Virasoro–Shapiro spectrum all depend critically on this exact exponentiation. The paper is transparent about this: 'upon assuming that this exponentiated form holds to all orders, we prove...' But the central claim is thereby a conditional result, not an established theorem. If at O(s^14) or beyond a new independent combination of Wilson coefficients appears—i.e., a coefficient not determined by the forward-limit coefficients g_{2k}—that cannot be accommodated by (6.9), the product form and uniqueness conclusion collapse. This is an internal mathematical gap, distinct from the physical status of peculiar parity: even granting peculiar parity, the proof is incomplete.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies weakly-coupled four-dimensional N=8 supergravity EFTs with SU(4)xSU(4) R-symmetry. It constructs the 6-point NMHV superamplitude bottom-up, imposing maximal SUSY, tree-level factorization, and a 'peculiar parity' condition on a subset of six-scalar amplitudes. From this it derives nonlinear constraints among the 4-point Wilson coefficients, Eq. (5.3), verified through O(s^13). These constraints are then combined with positivity/dispersion relations and a mass-gap assumption to argue numerically and analytically that the Virasoro-Shapiro amplitude is the unique UV completion with finitely many spins at the lowest mass level. The analytic proof in Section 6.4 relies on an all-orders exponentiated form Eq. (6.9), checked only up to O(s^13), and on a real-analyticity axiom in the physical region.","tokens_in":41473,"tokens_out":4546,"duration_ms":53908,"significance":"If the main theorem holds, this is a significant result: it would provide a bottom-up, non-string-theoretic derivation of the Virasoro-Shapiro amplitude from maximal SUSY, factorization, a discrete parity-like condition, and positivity, closely paralleling the N=4 SYM result. The paper contains substantial original technical work: a detailed 6-point ansatz with explicit spurious-pole checks, a systematic O(4)-character counting of S2 x S4-symmetric polynomials, and explicit tests against the Virasoro-Shapiro amplitude, the infinite spin tower, and generalized tower amplitudes. The authors are also commendably transparent about the conditional nature of the all-orders step and about the fact that peculiar parity cannot be defined on all states. The numerical bootstrap is coherent, and the identification of two corners (Virasoro-Shapiro and IST) is well supported by the displayed constraints. The main caveat is that the advertised uniqueness is conditional on an unproven all-orders exponentiation and on extra analyticity assumptions.","major_comments":[{"comment":"The central uniqueness theorem is built on an assumed all-orders exponentiated form. The text states that the nonlinear constraints are verified only up to O(s^13), and then says 'upon assuming that this exponentiated form holds to all orders, we prove...'. If at O(s^14) or beyond a new independent Wilson coefficient appears that is not determined by the forward-limit coefficients g_{2k}, Eqs. (6.11)-(6.13) and the finite-spin argument do not follow. This is a load-bearing gap. Please either prove (6.9) directly from the nonlinear constraints (5.3), or explicitly present the all-orders exponentiation as an assumption and adjust the abstract/conclusion claims accordingly. As written, the claim that the Virasoro-Shapiro amplitude is 'unique' is conditional.","section":"6.4, Eq. (6.9)"},{"comment":"Peculiar parity is a selective tree-level condition. The paper is explicit that it cannot be defined on all states and is necessarily broken by fermion loops. Since the nonlinear constraints (5.3) and everything that follows are derived from this condition, the physical scope of the uniqueness claim is limited to theories satisfying peculiar parity. This is not a circularity, but it is a correctness risk: a UV completion with the same SUSY, factorization, and positivity but without peculiar parity lies outside the analysis. A concrete test would be to construct or identify a tree-level completion satisfying all other axioms but violating (5.2); such an example would show where the assumption bites. At minimum, the paper should more sharply distinguish the conditional theorem from an unconditional statement about all N=8 SUGRA completions.","section":"2.2 / 5.1, Eq. (5.2)"},{"comment":"The step from the exponential representation to the meromorphic product (6.13) relies on an additional real-analyticity assumption in the region -s < t < 0. The authors acknowledge this is not rigorously established and state they 'accept' it as a basic axiom. Because this assumption is essential for excluding continuous spectral densities and for the finite-spin uniqueness argument, it should be either derived from more standard principles or explicitly listed among the axioms of the theorem. The current wording is transparent, but it means the advertised uniqueness is not unconditional within the stated framework.","section":"6.4, after Eq. (6.12)"}],"minor_comments":[{"comment":"The substitution ζ_j -> 1 is formal; since odd zeta values are believed algebraically independent, it is not a well-defined algebraic map on the amplitude. The text already says this, but a sentence clarifying that this is only a heuristic connection to the IST would help avoid confusion.","section":"5.3.2, Eq. (5.15)"},{"comment":"The counting of independent S2 x S4-symmetric polynomials is verified explicitly only up to order 8, but the tables extend to order 13. Please state how the higher-order counts are obtained or verified.","section":"Table 1 and Table 3"},{"comment":"The notation Z1,1 = Z1,1, with bars on both the amplitude and the indices, is confusing when first introduced. A short verbal explanation of which conjugation acts on which SU(4) factor would improve readability.","section":"Eq. (5.2)"},{"comment":"The comparison to closed string amplitudes is reported only up to O(s^8) at six points, while the nonlinear constraints are checked to O(s^13). A brief comment on why the string comparison stops earlier, e.g. multi-zeta values, would be useful.","section":"Appendix E"}],"recommendation":"major_revision","confidential_remarks":"The all-orders exponentiation gap is the main technical obstacle. If the authors cannot prove (6.9) to all orders, the uniqueness result should be presented as a conjecture with a clear statement of the extra assumption; otherwise the abstract overstates the theorem. The paper is otherwise careful and technically strong, and the conditional result is already valuable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a serious paper, and if the exponentiation step survives, it is a major result: a bottom-up derivation of the Virasoro–Shapiro amplitude from N=8 SUSY, tree-level factorization, and a peculiar parity condition. Read it as a conditional theorem backed by strong numerics, not a finished proof.\n\nWhat is genuinely new: the nonlinear constraints among 4-point Wilson coefficients derived from the 6-point NMHV superamplitude with SU(4)xSU(4) R-symmetry, the two-corner geometry in the (g2/g0, g3/g0) plane, and the finite-spin bifurcation that leaves only Virasoro–Shapiro. The derivation is bottom-up; string theory and the double copy are used as illustrations and labels, not as inputs. This is real technical work, carried out to O(s^13) with explicit factorization and spurious-pole checks and consistency with the Virasoro–Shapiro and IST amplitudes.\n\nThe main soft spot is the one flagged in the stress test. The exponentiated form (6.9) is checked only up to O(s^13), and the analytic uniqueness proof in Section 6.4 explicitly assumes it to all orders. If a new independent combination of Wilson coefficients appears at higher order, the product form and the uniqueness conclusion collapse. The paper is honest about this, but it means the central claim is conditional. The real-analyticity axiom for the physical region is also acknowledged as lacking rigorous justification; I don't see it as a flaw, but it should be flagged. Peculiar parity itself is an odd physical input—it is not defined on all states and is necessarily broken by loops. The authors are transparent, and they show that without it (or with SU(8)) no nonlinear constraints appear, so the result is really: if peculiar parity is realizable and the exponentiation persists, Virasoro–Shapiro is selected.\n\nMinor quibbles: the numerical bootstrap uses only a subset of the nonlinear constraints and null constraints, so the allowed regions in Figure 1 are not fully converged. The finite-spin bifurcation appears robust for 1