{"id":"55ab65e5-1987-4931-abde-adf1f16b2466","arxiv_id":"1908.09784","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"New gauge-invariant functionals of the open string field are shown to reproduce on-shell tree-level amplitudes around known D-brane backgrounds without using Feynman rules.","lead":"This paper constructs new gauge-invariant quantities in Witten's open string field theory that, for known classical solutions, reproduce on-shell tree-level scattering amplitudes without gauge fixing or Feynman diagrams. If the construction holds, it offers a background-independent route to computing string scattering around any D-brane configuration.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The N-point invariants depend on the formal inverse A_Psi of Q_Psi; no global such operator exists when Q_Psi has non-empty cohomology, and the paper never shows the result is independent of its choice.","rationale":"The reader's weakest assumption correctly flags the homotopy-operator issue, but at A_T rather than A_Psi. The sharper problem for the N-point claim is A_Psi: it is explicitly called an apparently formal object in Section 4.2, no global operator exists when Q_Psi has non-empty cohomology, and the paper does not demonstrate independence of its choice. The surface-term discussion in Section 5.5 is restricted to Psi = 0, and the amplitude calculation uses one specific B/K regularization. This is the single most load-bearing concern because even the explicit computation could change under a different prescription for A_Psi, which would make the invariant not a property of the solution and external states alone. The paper is candid about related limitations, which is credit to its authors, but the gap is real. A concrete two-prescription comparison for the four-tachyon case would settle whether the concern lands, so the reader's CONDITIONAL verdict is appropriate and no change of verdict is needed.","tokens_in":20674,"tokens_out":19004,"duration_ms":212752,"concrete_test":"Recompute the four-tachyon I_Psi^(4) for the Erler-Maccaferri solution with two different choices of the formal inverse A_Psi in Eq. (73), for example the epsilon-regulated B/K used in Eq. (115) versus a level-truncated inverse of Q_Psi (or a principal-value definition of B/K). If the resulting Veneziano amplitude changes, I_Psi^(4) depends on A_Psi and the central claim fails; if the same amplitude is reproduced, the formal-inverse ambiguity is harmless in this case and the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires I_Psi^(N) to be a well-defined gauge invariant object for N>=4. The definition (73)-(74) inserts A_Psi, defined by Q_Psi A_Psi = 1 in Eq. (71), into the correlation function. Such an A_Psi cannot be an element of H whenever Q_Psi has non-empty cohomology, as the paper itself notes in Section 4.2: \"Since the cohomology of Q_Psi is not empty in general, there is no A_Psi which satisfies (71) in any definite sense.\" The paper says A_Psi is defined \"when placed at a proper place in a correlation function,\" but it never proves that I_Psi^(N) is independent of which formal inverse is chosen. The invariance proofs in Sections 4.1-4.3 cover changes of A_T (Eq. (57)) and gauge transformations of external states (Eq. (58)), but not changes of A_Psi. Two choices of A_Psi differ by a Q_Psi-closed element delta of ghost number -1; if delta is not Q_Psi-exact, the boundary term K_Psi in Eq. (73) changes by an integral of the form ∫ delta O1 W O2 W O3 W O4, which is not shown to vanish. The explicit four-tachyon calculation fixes one particular B/K regularization, but the claim to compute \"the\" amplitude presumes the answer is independent of that choice. Without A_Psi-independence, I_Psi^(N) is prescription-dependent, and the abstract's statement that these quantities compute amplitudes overstates what is derived. The paper itself lists the general amplitude identity as an open question in Section 6.1.1.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs gauge-invariant quantities I_Ψ^(N) in Witten's cubic open string field theory, built from a homotopy operator A_T for the tachyon vacuum and from the state W_Ψ = A_T(Ψ−Ψ_T)+(Ψ−Ψ_T)A_T. For three external states, the quantity I_Ψ = ∫ O_i W_Ψ O_j W_Ψ O_k W_Ψ is shown to be invariant under the relevant gauge transformations and to reproduce the on-shell three-tachyon amplitude for the perturbative vacuum. For N≥4, a boundary term K_Ψ involving a formal inverse A_Ψ of Q_Ψ is added to restore gauge invariance. The paper evaluates the four-point invariant for the Erler–Maccaferri solution and on-shell tachyons, and after a minimal-subtraction regularization obtains the Veneziano amplitude; a fat-external-state version is argued to cover the full moduli space. The authors present the construction as a Feynman-diagram-free way to compute tree-level amplitudes around D-brane configurations and list several related open questions.","tokens_in":21001,"tokens_out":11211,"duration_ms":96325,"significance":"If fully established, the construction would offer a new, gauge-invariant route to perturbative open string amplitudes that avoids gauge fixing and Feynman rules, with potential applications to non-perturbative backgrounds. The paper contains a clean algebraic proof of gauge invariance for the three-point quantity, and the explicit four-tachyon computation reproduces a known amplitude with no fitted parameters. The authors are honest about limitations, explicitly listing the general amplitude identity and the validity of A_T as open questions. The main gap is the status of the formal inverse A_Ψ used for N≥4, which the paper acknowledges does not exist as a state when the cohomology of Q_Ψ is non-trivial, and whose choice-independence is not established. Thus the paper is a valuable exploratory contribution whose central claim, as stated in the abstract, goes beyond what is proven.","major_comments":[{"comment":"The quantity I_Ψ^(N) for N≥4 is defined using a state A_Ψ satisfying Q_Ψ A_Ψ = 1. As the paper notes, \"Since the cohomology of Q_Ψ is not empty in general, there is no A_Ψ which satisfies (71) in any definite sense,\" and the appeal to defining A_Ψ \"when placed at a proper place in a correlation function\" is not a mathematical definition. The proofs in Sections 4.1–4.3 cover changes of A_T and gauge transformations of external states, but never show that I_Ψ^(N) is independent of the choice of A_Ψ. Two formal inverses differ by a Q_Ψ-closed element δ of ghost number −1; if δ is not Q_Ψ-exact, the boundary term K_Ψ in Eq. (73) changes by an integral of the form ∫ δ O_1 W O_2 W O_3 W O_4, which is not shown to vanish. Without such an independence proof, I_Ψ^(N) is prescription-dependent, and the abstract's claim that these quantities compute scattering amplitudes is not established.","section":"Section 4.2, Eqs. (71)–(73) and Section 4.3, Eq. (74)"},{"comment":"The four-tachyon calculation relies on a particular regularization of B/K and a minimal-subtraction prescription for g_0(u), with C_α determined from the Laurent expansion of the integrand. The paper does not prove that this prescription is uniquely fixed by the definition of I_Ψ^(4); it is chosen so that the final result matches the known Veneziano amplitude. In the absence of a proof of independence of the regularization (and of the choice of A_Ψ, per the previous comment), the calculation demonstrates consistency with the known amplitude for one prescription rather than showing that the gauge-invariant quantity computes the amplitude.","section":"Section 5.3, Eqs. (115)–(119)"},{"comment":"The proof of gauge invariance for N≥4 is incomplete in two respects. First, the transformation of A_Ψ under the replacement of the reference tachyon vacuum (55) and under the gauge transformation of the classical solution (56) is not specified; if A_Ψ transforms non-trivially, the proof must account for its variation, and if it does not transform, the behavior of the combination A_T−A_Ψ must be re-derived. Second, the text says \"Let us omit the proof of invariance under the transformations (56)–(58) because the proof is similar,\" leaving a central part of the claim unverified. The displayed variation of H1234 in Eq. (68) is also presented in a garbled notation (T[]1, T[2]1, etc.) that makes independent verification difficult.","section":"Section 4.3, Eq. (74) and following proof"},{"comment":"The paper itself lists \"To prove that the new formula I_Ψ^(N) gives on-shell tree-level scattering amplitudes\" and \"To investigate the validity of A_T\" as open questions. These admissions, together with the issues raised in the previous comments, mean that the statement in the abstract (\"For known classical solutions, we show that these gauge invariant quantities compute on shell tree-level scattering amplitudes\") is stronger than what is actually proven. The claims should be weakened accordingly, or the missing proofs supplied.","section":"Section 6.1.1 and Section 6.1.6"}],"minor_comments":[{"comment":"The displayed variation of H1234 contains a garbled sequence of T symbols and signs; please rewrite with a clearly defined notation and check the signs carefully.","section":"Eq. (68)"},{"comment":"The notation A = A_T − A_Ψ is introduced without stating whether A_Ψ is the same formal inverse used in Eq. (73); please define it explicitly at first use.","section":"Section 4.3"},{"comment":"The proportionality constant and the precise normalization of the on-shell three-tachyon amplitude are not specified; please state the normalization or refer explicitly to the standard result.","section":"Eq. (39)"},{"comment":"The treatment of the α = −1 case (logarithmic divergence) in the expansion of u^{-α's−2}(1−u)^{-α't−2} is not described; this is needed to justify the claim that the result equals the Euler beta function for all external momenta, not only away from the poles.","section":"Section 5.3, Eq. (120)"},{"comment":"The right-hand side of Q_Ψ A_Ψ = 1 is the identity string field; please state this explicitly, since the homotopy interpretation depends on it.","section":"Eq. (71)"},{"comment":"There are several typos and stylistic issues, including \"In addittion\" in Section 2.1, \"appearence\" in Section 6.4, and inconsistent use of the identity string field symbol 1; a careful proofreading would improve readability.","section":"General presentation"}],"recommendation":"major_revision","confidential_remarks":"This is an interesting exploratory paper with a clean three-point construction and an explicit four-point check that matches the Veneziano amplitude. The central obstacle is the formal inverse A_Ψ for N≥4: the paper itself acknowledges that such an object does not exist in any definite sense when the cohomology of Q_Ψ is non-empty, and no independence of its choice is proven. I recommend major revision: the authors should either supply a rigorous definition and choice-independence proof for I_Ψ^(N) or substantially soften the abstract and central claims, presenting the four-point result as a prescription-dependent check rather than a derivation of the amplitude. The scope and amount of speculative future-work material also make the paper longer than necessary for its established results."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, the construction works in every explicit case the authors compute: the three-tachyon amplitude around the perturbative vacuum, the four-tachyon Veneziano amplitude around the Erler-Maccaferri solution, and the fat-state variant in Section 5.4. The match to known results is real. No parameters are fitted — the overall constant C_N is unfixed for N > 4, but for N = 4 the normalization comes from the permutation sum and comes out right. Second, the general N-point invariant depends on a formal operator A_Ψ satisfying Q_Ψ A_Ψ = 1, which cannot exist as an honest state when Q_Ψ has non-trivial cohomology. The authors know this; they say so in Section 4.2 and again in Section 6.1. What they do not do is prove the invariant is independent of which formal inverse you pick.\n\nWhat is actually new: the family of invariants I_Ψ^(N), the boundary term K_Ψ that cancels contact terms and implements the analytic continuation, and the demonstration that this gauge-fixing-free route reproduces the Veneziano amplitude. The W_Ψ combination itself already appeared in Ellwood's characteristic-projection paper, and the authors credit that in footnote 9. The novelty is in building amplitude-like invariants out of W and showing they work for a class of solutions that is supposed to cover arbitrary D-brane configurations.\n\nThe three-point proofs are clean, and the four-point combinatorial invariance argument is intricate but I found no hole. The soft spots, in proportion: the A_Ψ-dependence issue is real and unresolved; the surface-term subtleties of Section 5.5 are only checked for Ψ = 0; the minimal subtraction in 5.3 is guided by the known answer, though as a way of defining the analytic continuation it is defensible; and C_N is not fixed. The A_T existence worry from Section 6.1.6 is real but secondary, since the explicit evaluations only use A_T on a restricted set of states.\n\nThe stress-test note about A_Ψ-independence is fair. But it does not sink the paper, because the body is more carefully scoped than the abstract. The abstract says they 'show' the quantities compute amplitudes; what is actually shown is that they compute amplitudes for known solutions, with the general proof listed as an open question in Section 6.1.1. That is a modest overstatement, not a fatal one.\n\nThis is a paper for OSFT specialists. It deserves a serious referee; the referee should push on the A_Ψ question and on whether the K_Ψ prescription is unique. Send it to review rather than desk-rejecting it.","headline":"A genuinely new gauge-invariant route to on-shell OSFT amplitudes that works in every explicit example, with the general proof honestly left open at the formal operator A_Ψ.","tokens_in":21545,"tokens_out":5874,"would_cite":true,"duration_ms":52370,"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":"A new family of gauge invariant quantities in the cubic open string field theory computes on-shell tree-level scattering amplitudes around D-brane configurations, with the four-tachyon case reproducing the Veneziano amplitude.","keywords":["open string field theory","gauge invariant observables","tachyon vacuum","homotopy operator","scattering amplitudes","Veneziano amplitude","Erler-Maccaferri solution","BRST cohomology"],"falsifier":"A concrete test would be to find a non-zero $Q_T$-closed state at ghost number one (or at the ghost numbers entering $W_\\Psi$) at the tachyon vacuum; such a state would prohibit a global $A_T$ with $Q_T A_T=1$. Separately, one could compute $I^{(4)}_\\Psi$ for a numerical or identity-based solution and check whether the result remains independent of the choice of $A_T$ and reproduces the known amplitude; any dependence would falsify the claim.","tokens_in":20423,"feed_emoji":"","tokens_out":8327,"duration_ms":77865,"temperature":0.7,"pith_summary":"The paper claims that open-string scattering amplitudes around a D-brane configuration can be computed without Feynman rules, entirely from gauge invariant quantities built from the classical solution representing the configuration. The central object is a string field $W_\\Psi$ formed from the difference between the solution $\\Psi$ and a reference tachyon vacuum solution $\\Psi_T$, together with a homotopy operator $A_T$ that trivializes the BRST cohomology at the tachyon vacuum. Inserting physical external states around $W_\\Psi$ gives quantities $I^{(N)}_\\Psi$ that are invariant under gauge transformations of both the background and the external states, so null states automatically decouple. In the explicit four-tachyon example around an Erler-Maccaferri solution, the formula yields the Veneziano amplitude, suggesting the invariants compute on-shell tree-level amplitudes around the corresponding D-brane.","feed_headline":"String amplitudes without Feynman rules","feed_subtitle":"New gauge invariants built from the tachyon vacuum reproduce the Veneziano amplitude for four tachyons.","key_machinery":"The load-bearing object is the string field $W_\\Psi = A_T(\\Psi-\\Psi_T)+(\\Psi-\\Psi_T)A_T$, where $A_T$ is a homotopy operator for the tachyon vacuum, $Q_T A_T=1$. The antisymmetrized form makes $W_\\Psi$ $Q_\\Psi$-closed and guarantees that changes in the reference solution or in $A_T$ shift $W_\\Psi$ only by $Q_\\Psi$-exact terms, which is what makes the invariants gauge invariant. In the Erler-Maccaferri example $W_\\Psi$ becomes $\\Sigma e^K \\bar{\\Sigma}$, a wedge-state-like factor of width one, and the difference $A_T - A_\\Psi$ plays the role of a propagator fragment. Wedge-state correlation functions on cylinders convert the algebraic integrals into concrete world-sheet integrals, and the boundary term implements the subtraction that turns divergent partial integrals into the $\\beta$-function amplitude.","core_discovery":"Using the tachyon vacuum as a reference, the authors define $W_\\Psi = A_T(\\Psi-\\Psi_T)+(\\Psi-\\Psi_T)A_T$, which is closed under $Q_\\Psi$, the BRST operator around $\\Psi$. For any set of $Q_\\Psi$-closed ghost-number-one states $O_i$, the integrals built from $W_\\Psi$ and $O_i$ are unchanged when the reference tachyon vacuum, the choice of $A_T$, the classical solution, or the external states are varied by exact terms; the four-point case needs an additional boundary term $K_\\Psi$ built from an operator $A_\\Psi$ with $Q_\\Psi A_\\Psi=1$. Evaluating the invariants for the Erler-Maccaferri solution, with external on-shell tachyons, the main term gives a partial-integral representation of the four-point amplitude and the boundary term provides the minimal subtraction that removes divergences. The total is the standard Veneziano amplitude expressed as an Euler $\\beta$ function. The paper presents this as evidence that the gauge invariant quantities reproduce on-shell tree-level scattering amplitudes around the D-brane configuration represented by $\\Psi$, with no gauge fixing or Feynman propagators.","pith_inferences":["If the mechanism is general, similar invariants could be built in supersymmetric or closed string field theories wherever a tachyon-vacuum analog with trivial cohomology exists, bypassing diagram-by-diagram moduli decomposition.","The object $W_\\Psi$ may be a more fundamental probe of a background than the Ellwood invariant: one insertion gives a tadpole, while multiple insertions give scattering amplitudes, so it may encode both the boundary state and the open-string spectrum.","The formal surface-term expression of $I^{(N)}_\\Psi$ hints that amplitudes around a solution could be topological or winding-like quantities, which might imply discrete or quantized behaviour for on-shell amplitudes tied to the background.","A numerical implementation could test universality: evaluate $I^{(4)}_\\Psi$ for numerical tachyon-vacuum or multi-brane solutions and compare with known amplitudes; if results depend on regularization, the global homotopy assumption would need refinement."],"forward_implications":["On-shell tree-level amplitudes around any D-brane configuration described by an Erler-Maccaferri solution can be obtained from the invariants, giving the same moduli integrals as first-quantized string theory.","Null-state decoupling is automatic: the invariant is unchanged when any external state is shifted by a $Q_\\Psi$-exact term.","The four-tachyon amplitude emerges as the Euler beta function after the boundary term subtracts divergent partial-integral contributions, matching the Veneziano amplitude.","Amplitude computations with these invariants require no gauge fixing and no explicit Feynman propagator.","The result is stable under changing the reference tachyon vacuum solution and under different choices of the homotopy operator $A_T$."],"supporting_citations":[{"why":"Defines the open string field theory whose action and algebraic structure the invariants use.","marker":"[1]"},{"why":"Provides the template of a gauge invariant observable that reads off physics around a classical solution.","marker":"[2]"},{"why":"Schnabl's analytic tachyon vacuum solution is used as the reference solution $\\Psi_T$ in explicit calculations.","marker":"[10]"},{"why":"The Erler-Maccaferri solution represents a general D-brane background where the invariants are evaluated and shown to give amplitudes.","marker":"[16]"},{"why":"Ellwood-Schnabl's proof of vanishing cohomology at the tachyon vacuum supplies the existence of the homotopy operator $A_T$.","marker":"[27]"},{"why":"Sen's world-sheet UV regulator treatment supplies the boundary-term and minimal-subtraction method used to obtain the convergent Veneziano amplitude.","marker":"[37]"},{"why":"Schnabl's wedge states and cylinder correlation functions provide the technology for converting algebraic invariants into world-sheet integrals.","marker":"[12]"}],"fun_headline_variants":["No Feynman rules for open string amplitudes","Veneziano amplitude from gauge invariants","Open string scattering from new invariants","New invariants reproduce Veneziano amplitude"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction assumes that a single homotopy operator $A_T$ with $Q_T A_T=1$ exists across the whole state space, i.e. that the tachyon vacuum has trivial BRST cohomology at the relevant ghost number, and if that fails $W_\\Psi$ and the invariants built from it are not defined.","fun_headline_variants_meta":{"raw":{"variants":["No Feynman rules for open string amplitudes","Veneziano amplitude from gauge invariants","Open string scattering from new invariants","New invariants reproduce Veneziano amplitude"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000471,"raw_usage":{"total_tokens":2283,"prompt_tokens":824,"completion_tokens":1459,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":440,"completion_tokens_details":{"reasoning_tokens":1405}},"tokens_in":440,"tokens_out":1459,"duration_ms":13431,"temperature":1.0,"reasoning_tokens":1405,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:01:38.041151+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete test would be to find a non-zero $Q_T$-closed state at ghost number one (or at the ghost numbers entering $W_\\Psi$) at the tachyon vacuum; such a state would prohibit a global $A_T$ with $Q_T A_T=1$. Separately, one could compute $I^{(4)}_\\Psi$ for a numerical or identity-based solution and check whether the result remains independent of the choice of $A_T$ and reproduces the known amplitude; any dependence would falsify the claim.","supporting_citations":[{"cited_title":"Noncommutative Geometry and String Field Theory,","cited_arxiv_id":null,"evidence_quote":"Defines the open string field theory whose action and algebraic structure the invariants use."},{"cited_title":"Analytic solution for tachyon condensation in open string field theory,","cited_arxiv_id":null,"evidence_quote":"Schnabl's analytic tachyon vacuum solution is used as the reference solution $\\Psi_T$ in explicit calculations."},{"cited_title":"Wedge states in string field theory","cited_arxiv_id":"hep-th/0201095","evidence_quote":"Schnabl's wedge states and cylinder correlation functions provide the technology for converting algebraic invariants into world-sheet integrals."}],"review_version":1}