{"id":"a53fa214-3c64-4c1a-9f02-be6aad19b050","arxiv_id":"2603.03393","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"A global Schwinger integral is constructed for Möbius-strip amplitudes and verified against the tropical limit of the type-I superstring Möbius amplitude.","lead":"This paper builds a \"curve integral\" formula — one Schwinger-parameter integral that sums all Feynman diagrams — for adjoint scalars on a Möbius strip, the simplest non-orientable surface. It embeds the strip in a doubled annulus, projects the necessary data back, and checks the result against the field-theory limit of a four-particle superstring amplitude.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The doubling projection is asserted, not derived: if the projected annulus fan is not a complete unimodular fan for all n, the Möbius curve integral is built on unverified data.","rationale":"The reader's weakest assumption already identifies the projection rules as the main fragile point, and I agree that this is the most load-bearing concern. My stress test sharpens it: the required property is not merely that individual doubled curves have equal g-vectors, but that the projected collection of cones is a complete, unimodular fan. The paper checks n=1,2,3 and the dual headlight identities, which is genuine supporting evidence, and the explicit loop integration in App. B matching the spanning-surface Symanzik polynomials is a real internal consistency check. The tropicalization of the type-I Möbius string amplitude also reproduces the eight box diagram topologies, which corroborates the momenta P^⊗_ij. However, none of these checks establishes the fan property for general n, and the string check does not verify coefficients. The two-loop section (5) concedes that explicit g-vector fans/headlights are not constructed. Since the central claim of a non-orientable curve integral formula requires the projected fan to be a genuine global Schwinger fan, this gap should be closed explicitly. The issue is concrete and testable, so the appropriate verdict remains CONDITIONAL rather than REJECT: the construction may well be correct, but the decisive global property is asserted rather than demonstrated.","tokens_in":32858,"tokens_out":13120,"duration_ms":118585,"concrete_test":"For n=4, construct the doubled annulus with eight marked points in the wheel reference triangulation, compute all annulus g-vectors, and project with (3.3). Then check: (i) the number of maximal cones equals the known number of triangulations of Möbius_4 from [34]; (ii) the projected maximal cones have pairwise disjoint interiors; (iii) their union covers R^4; (iv) each cone is unimodular. If any of these fails, the projection is not the correct fan quotient. As a second step, evaluate AMöbius_4 in the t0>0 region at generic kinematics and compare the coefficients with the sum of the eight box integrals from Table 1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central construction is the projection of doubled-annulus data onto t'_i + t_i = 0 (3.3) and p'_i = p_{i-1} (3.5). The text says these are found 'by inspection' and verifies the resulting g-vector/headlight data for n=1,2,3. That does not establish the global property the curve integral needs: the projected images of the 2n-dimensional annulus g-vector cones must form a fan in R^n — interiors disjoint, union all of R^n, each maximal cone unimodular. A linear projection of a fan is not generally a fan; cones can develop overlapping interiors. If that happens here, the subsequent headlights, surface Symanzik polynomials, and amplitudes are built from wrong data. The Sec. 6 tropicalization check only matches diagram topologies (eight box diagrams), not the coefficients of the curve integral; and Sec. 4/App. B restrict to t0>0 with α^⊗=0, so the claimed object is a half-space truncation, not the full global Schwinger integral. There is also a sign inconsistency: Sec. 3 and App. B use t0>0, while Sec. 4 says t0<0, for turning off α^⊗. The two-loop section (5) explicitly stops short of giving an explicit g-vector fan/headlights, so the advertised generalization is programmatic.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper extends the curve integral formula to non-orientable surfaces, focusing on the Möbius strip. After reviewing quasi-triangulations of the Möbius strip, the author doubles the Möbius strip into an annulus and projects annulus data—g-vectors, headlight functions, and momenta—onto the Möbius strip via the rules t_i + t'_i = 0 and p'_i = p_{i-1}. This yields the global Schwinger integral (3.12), from which surface Symanzik polynomials are derived both by loop integration (Appendix B) and by spanning subsurfaces (Section 4). The construction is checked at four points against the field-theory limit of the type-I superstring Möbius amplitude (Section 6), where eight box diagrams are recovered. A two-loop non-orientable surface is discussed, with curves, momenta, and surface Symanzik polynomials listed, though explicit g-vectors and headlights are not constructed.","tokens_in":33143,"tokens_out":6806,"duration_ms":64909,"significance":"If the construction is sound, it represents a genuine extension of the curve-integral/surfaceology program to non-orientable surfaces, with applications to SO(N)/Sp(N) Tr(phi^3) theory and a useful connection to the type-I superstring. The paper does ship concrete new data: explicit g-vector fans and headlight functions for n=1,2,3, an explicit loop-momentum integration reproducing the spanning-surface Symanzik polynomials, and a tropicalization check against a known string amplitude. These are valuable benchmarks. However, the central projection construction is asserted, not proven, and there is a sign inconsistency in the half-space truncation; the advertised higher-genus generalization is programmatic. The four-point string check is an external benchmark but does not exercise the headlight functions.","major_comments":[{"comment":"The doubling projection is asserted 'by inspection' and the g-vector/headlight data are verified only for n=1,2,3. The existence of the curve integral for all n requires that the projected images of the 2n-dimensional annulus g-vector fan form a complete unimodular fan in R^n. A linear projection of a fan is not in general a fan: cones can develop overlapping interiors or fail unimodularity. The manuscript contains no theorem or general argument preventing this. Since every headlight function and the global integral (3.12) are built from this projection, the central construction is conditional. The n=4 tropicalization check does not fix this gap because it does not compare the headlight functions.","section":"Sec. 3, Eqs. (3.3),(3.5)"},{"comment":"There is a direct sign contradiction in the half-space restriction that turns off alpha⊗. Sec. 3 (with the tadpole reference triangulation) restricts to t0 > 0, and App. B states 'restrict ourselves to the t0 > 0 region, and have consistently alpha⊗ = 0.' Sec. 4, with the same reference triangulation, states 'we restrict to the region in the global Schwinger space t0 < 0 ... so that the headlight alpha⊗ is turned off.' The loop integration (B.2)-(B.8) and the Symanzik polynomials (4.11)-(4.13) depend on this truncation, so the inconsistency is load-bearing and must be resolved.","section":"Sec. 3 (end) vs. Sec. 4 vs. App. B"},{"comment":"The two-loop non-orientable surface S^(2) is explicitly said to have a nontrivial mapping class group and an infinite number of curves. The amplitude (5.12) is written with a Mirzakhani kernel, but no explicit g-vector fan or headlights are constructed; the text admits 'no simpler way other than analysing the curves on the doubled orientable surface is known.' Thus the claimed generalisation to arbitrary non-orientable surfaces is programmatic. Separately, in Sec. 3 the omission of K(t_i) from (3.12) relies on the claim 'There is no non-trivial Mapping Class Group for the Möbius strip,' which is used without proof or reference. Since the MCG of a Möbius band is not obviously trivial, this assertion needs justification or a citation.","section":"Sec. 5 and Sec. 3 (MCG)"},{"comment":"The tropicalization check demonstrates that the eight box diagrams of Table 1 emerge with the same momentum assignments P⊗_ij. This is a valuable external check, but it does not probe the headlight functions α_C or the projected fan structure beyond the set of quasi-triangulations. In the regions that would turn on triangle/bubble contributions—where the piecewise-linear nature of α_C becomes relevant—the superstring measure is argued to make the contribution vanish, so α_C never affects the final integrand. A direct comparison of the full curve integral (3.12) with the string limit, or at least a check of the headlights in a sector where they are nonzero, is needed to validate the projected headlight data.","section":"Sec. 6.2, Eq. (6.33)"}],"minor_comments":[{"comment":"There are many typos and minor notational inconsistencies, e.g., 'calcualtions' (App. B), 'unorientable' vs 'non-orientable', and 'coulmn' (Table 1). Please proofread carefully.","section":"Throughout"},{"comment":"The explicit headlight functions are long and hard to verify from the text. It would help to provide them as a supplementary file or to state how they were checked.","section":"Eq. (3.11) and (B.10)"},{"comment":"The caption refers to 'Figure 8.13 of [4]' but the bibliography entry [4] does not contain figure numbers in a way that is self-contained. Please specify the exact reference or remove the pointer.","section":"Fig. 15 caption"},{"comment":"The notation for headlight functions is inconsistent: α_{C'_i} appears on the left of (4.8) but α_{C_i} on the right; the same symbol should be used throughout.","section":"Eq. (4.8)"}],"recommendation":"major_revision","confidential_remarks":"The paper is an interesting candidate contribution to surfaceology for non-orientable surfaces, but the central projection construction currently rests on an unproven and nontrivial fan-theoretic claim. The sign inconsistency between Sec. 3/App. B and Sec. 4 needs urgent correction, and the MCG statement should be supported. The four-point string check is a good external benchmark but it largely bypasses the headlight functions, which are the new data. With those gaps closed, the paper could be a solid contribution; as it stands, the main theorem is not established."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague — quick take. Suthar constructs the first curve integral for a non-orientable surface, the Möbius strip, by doubling it to an annulus and projecting back. That's genuinely new. The one-loop construction is coherent: g-vectors and headlights are worked for n=1,2,3, the surface Symanzik polynomials from spanning subsurfaces match an explicit loop integral in App. B, and the tropical limit of the type-I superstring Möbius amplitude gives the same eight box diagrams as the curve integral. That string check is a real independent cross-check, not a fit. Credit where due: the paper builds on quasi-cluster algebras and the polytope M_n, and the presentation is honest about what is checked and what is left open.\n\nThe soft spots are where you'd expect. The load-bearing projection (3.3) t'_i + t_i = 0, and the momentum identification (3.5) p'_i = p_{i-1}, are introduced \"by inspection\" and only verified on small n. A linear projection of a fan need not be a fan; overlapping interiors or non-unimodular cones would break the whole construction. The author should prove the projected annulus cone complex is a complete unimodular fan for all n, or at least give a uniform argument. Relatedly, the global Schwinger integral is only defined on the half-space t0>0 with α⊗=0, so it is a truncated object, not the full fan. There is also a sign inconsistency: Sec. 3 and App. B use t0>0, while Sec. 4 says t0<0 to turn off α⊗. That is easy to fix but should be fixed. The two-loop section is programmatic — curves and Symanzik polynomials, but no explicit g-vector fan or headlights — so the advertised generalization to higher loops is not yet a construction.\n\nThe citation pattern looks fine; the one self-citation is peripheral. The paper doesn't overclaim, and it flags its own open questions, which I appreciate. If I had to bet, the fan property probably holds for the Möbius strip, but \"probably\" is not a proof, and the tropicalization check only matches diagram topologies, not coefficients.\n\nWho gets value: people working on surfaceology, global Schwinger parameters, and string-derived loop integrands. The paper deserves a serious referee. I'd send it out and ask the referee to press on the fan proof and the half-space/sign issues. With those sorted, this would be a solid contribution to the subfield.","headline":"First curve integral for a non-orientable surface, with a genuine string-theory check, but the doubling projection is asserted and needs proof — worth refereeing.","tokens_in":33708,"tokens_out":2290,"would_cite":true,"duration_ms":24472,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["13F60","81T18","81T30"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper constructs a curve integral formula for the Möbius strip by doubling it to an annulus and projecting the data down.","keywords":["curve integral formula","Möbius strip","non-orientable surfaces","quasi-cluster algebras","g-vector fan","headlight functions","surface Symanzik polynomials","tropicalization"],"falsifier":"Pick n = 5. Compute the curve integral from the projected g-vector fan of the Möbius strip and the set of Schwinger cones it produces; then tropicalize the five-point type-I Möbius superstring amplitude and list the Feynman diagrams it yields. Any mismatch — a diagram in the string limit absent from the fan, or a cone with no string-limit counterpart — would show the projection rules are not the correct quotient.","tokens_in":32631,"feed_emoji":"🌀","tokens_out":5307,"duration_ms":45545,"temperature":0.7,"pith_summary":"This paper extends the curve integral formula — a single global Schwinger parameter integral whose cones reproduce all Feynman diagrams of a massless scalar theory — from orientable surfaces to non-orientable ones, starting with the Möbius strip. The author's strategy is to embed the Möbius strip in a doubled orientable annulus, project the annulus's g-vector fan, headlight functions, and curve momenta onto the Möbius strip along the identifications t'_i + t_i = 0 and p'_i = p_{i-1}, and write the resulting amplitude as one integral over the projected Schwinger space. The payoff is a combinatorial construction that works where handedness (left/right turning of curves) is not defined, and it is validated by matching the eight box diagrams that emerge from the tropical (field-theory) limit of the type-I Möbius-strip superstring amplitude at four points. The construction also produces surface Symanzik polynomials via spanning subsurfaces and is illustrated for a two-loop non-orientable surface. A sympathetic reader would care because non-orientable worldsheets are the subleading 1/N contributions to SO(N) and Sp(N) gauge theories, and this gives them the same single-integral moduli-space structure that orientable surfaces enjoy.","feed_headline":"Doubling trick gives Möbius-strip amplitudes one master integral","feed_subtitle":"Projecting a doubled annulus reproduces every diagram; the four-point string limit confirms eight boxes.","key_machinery":"The doubling projection: embed the non-orientable surface into an orientable double (annulus), identify the two copies' Schwinger coordinates and momenta by t'_i + t_i = 0 and p'_i = p_{i-1}, and define each Möbius curve's g-vector, headlight function, and momentum as the image of the annulus data. The quasi-cluster algebra polytope M_n provides the combinatorial skeleton of compatibilities and mutations, while the headlight functions are the piecewise-linear duals of the projected g-vector fan; the tropical limit of theta functions in the string amplitude selects the same cones.","core_discovery":"For a Möbius strip with n marked points, define every curve's Schwinger data by lifting it to two curves on the doubled annulus: the g-vector components on the two boundaries are identified by t'_i + t_i = 0 and the doubled external momenta by p'_i = p_{i-1}, which fixes the loop-momentum assignment P^⊗_{ij} = l + P_{1i} + P_{1j}. Headlight functions are then pulled back from the annulus's g-vector fan. With the cross-cap curve C^⊗ turned off (the t0 > 0 sector), the integral A_n = ∫ d^n t d^D l exp(-Σ_C α_C X_C) has as its cones exactly the Schwinger parameter spaces of the trivalent graphs dual to quasi-triangulations of the Möbius strip; at n = 4 this yields the eight box diagrams that th","pith_inferences":["A natural next test is n=5: the projected fan predicts a specific number of cones (from triangulation counts of the Möbius strip) and momentum assignments; tropicalizing the five-point Möbius string amplitude and comparing diagram-by-diagram would confirm or refute the projection rules beyond four points.","The doubling projection, if correct, should also apply to the Klein bottle (sphere with two cross-caps), where the closed-string/uncolored sector contributes; the paper explicitly leaves such surfaces out, so this is an untested corollary.","The paper's 'by inspection' projection suggests that the true mathematical statement is a quotient of the annulus's cluster fan by the Z_2 twist; understanding the quotient as a piecewise-linear fan map might let one derive the projection rules from the twist action rather than guess them.","The t0 > 0 restriction effectively removes the C^⊗ cones; if those cones correspond to tadpole renormalization, a renormalized curve integral (along the decapitation idea the paper mentions) would restore them — a concrete direction for extending the formula."],"forward_implications":["If correct, the curve integral formula — so far limited to orientable surfaces — now covers the Möbius strip, and the same doubling-plus-projection recipe is claimed to generalize to arbitrary non-orientable surfaces.","At four points the projected curve integral and the α'→0 limit of the type-I Möbius superstring amplitude produce the same eight box diagrams, with a common loop-momentum choice across non-planar diagrams.","The surface Symanzik polynomials U, F, Z for the Möbius strip can be read off from spanning-1 and spanning-2 subsurfaces, giving a shortcut to loop integrands without explicit loop integration.","The two-loop non-orientable surface (disk with cross-cap and puncture) has its curves, momenta, and Symanzik polynomials enumerated; its infinite mapping class group requires a Mirzakhani-style kernel.","The t0 > 0 restriction decouples the C^⊗ tadpole-type curves, which is consistent with the absence of triangles and bubbles in the N=4 SYM field-theory limit."],"fun_headline_variants":["One curve integral captures all Möbius-strip diagrams","Doubling trick unifies Möbius-strip scattering amplitudes","Möbius-strip amplitudes from a single doubled-surface integral","Projected annulus gives master integral for Möbius strip"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The identifications t'_i + t_i = 0 and p'_i = p_{i-1}, introduced by inspection, are assumed to be the correct projection of doubled-annulus data onto the Möbius strip; if they are the wrong quotient, every g-vector, headlight function, and momentum in the paper is built from incorrect data.","fun_headline_variants_meta":{"raw":{"variants":["One curve integral captures all Möbius-strip diagrams","Doubling trick unifies Möbius-strip scattering amplitudes","Möbius-strip amplitudes from a single doubled-surface integral","Projected annulus gives master integral for Möbius strip"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000351,"raw_usage":{"total_tokens":1766,"prompt_tokens":771,"completion_tokens":995,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":515,"completion_tokens_details":{"reasoning_tokens":921}},"tokens_in":515,"tokens_out":995,"duration_ms":7786,"temperature":1.0,"reasoning_tokens":921,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T19:14:25.456464+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Pick n = 5. Compute the curve integral from the projected g-vector fan of the Möbius strip and the set of Schwinger cones it produces; then tropicalize the five-point type-I Möbius superstring amplitude and list the Feynman diagrams it yields. Any mismatch — a diagram in the string limit absent from the fan, or a cone with no string-limit counterpart — would show the projection rules are not the correct quotient.","supporting_citations":[],"review_version":1}