{"id":"50eb9bcc-0b43-41ac-b7d8-072f3c84ae1a","arxiv_id":"2608.11307","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The bar-cobar construction turns the equations of motion of any homotopy-algebra gauge theory into universal quadratic Maurer-Cartan equations, with solutions equivalent to the original theory.","lead":"This paper shows that the equations of motion of any gauge theory built from homotopy algebras can be rewritten as simple quadratic equations for a much larger set of fields. The rewriting is universal, so the same quadratic form works for every theory, and the original theory is recovered once the extra fields are constrained.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 6 proves the central equivalence only as a formal expansion in B; no filtration or completeness hypothesis ensures B is well-defined on the completed tensor algebra or that formal solutions are actual solutions of (6.1).","rationale":"The reader's weakest assumption identifies the formal B-expansion and the absence of convergence, nilpotency, or filtered-completeness conditions. My reading agrees, and I found a sharper manifestation: the completed tensor algebra over an arbitrary A∞ algebra may not even support a well-defined operator B, because infinitely many higher products can contribute to a fixed output component. The concrete example above exhibits this failure for a simple A∞ algebra, showing that the stated theorem needs additional hypotheses to be true as written. Despite this, the paper contains substantial independent support for the intended construction: the universal equation ∆Φ+ΦΦ=0 is solved exactly in Section 5, the scalar field example in Section 7 is solved directly and matches the original equation of motion, and the derivation of A∞ gauge transformations from bar-cobar gauge transformations in Section 6.3 is concrete and self-contained. These pieces survive the formal-perturbation gap because they do not rely on summing an uncontrolled B-series. The appropriate resolution is therefore a revision that states the filtration or nilpotency hypotheses under which B is a well-defined continuous operator and under which formal solutions are actual solutions, and that either supplies the L∞ argument or restricts the main theorem to A∞ algebras. This is exactly the CONDITIONAL verdict already given by the reader, so no change to the verdict is needed.","tokens_in":55684,"tokens_out":11490,"duration_ms":117255,"concrete_test":"Take the A∞ algebra V=span{a_i}_{i≥0} with deg a_i=i, m_1=m_2=0, and m_k(a_0,...,a_0)=a_{k-2} for k≥3, with all other entries zero. This satisfies the A∞ relations because every composition of two nontrivial m's has an output a_j with j>0 appearing among a_0 inputs and is therefore zero. Consider the legal completed-space element Φ=s^{-1}Σ_{ℓ≥1}a_0^ℓ in T(s^{-1}T^c(V)). Compute the factor-one component of BΦ: it equals Σ_{k≥3} b_k(a_0^k), an infinite sum of nonzero vectors in V. In the paper's stated framework this sum is either declared well-defined by an implicit completion of V (which is never defined) or equation (1.9) is not defined for this element. Supplying a filtered-complete V on which B extends continuously would instead validate the framework.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of the central equivalence is carried out as a formal perturbation in B: Eq. (6.17) writes Ψ=Σ Ψ^(n), and Appendix C explicitly concludes that 'every formal solution of (C.2) is of the form (6.38)'. No argument identifies formal solutions with solutions of (6.1). This is not cosmetic: the state space T(s^{-1}T^c(V)) is introduced in §3.4 with the 'xÀ' completed tensor algebra, but B=Σ_k B_k is only shown to act on finite words. Since B_k lowers length by k−1, the length-one component of BΦ receives contributions from b_k(v^k) for arbitrarily large k; for a generic A∞ algebra with infinitely many nonvanishing products this is an infinite sum in V, which is not defined as a vector without a topology or filtration. The same problem affects the exponentials e^Λ and e^{±S} used to build finite gauge transformations. The L∞ case is additionally only asserted by reference to [37,38] under unverified hypotheses (§3.5), not derived in the paper. Thus the main theorem lacks the filtration/completeness hypotheses needed for both the definition of B on the completed space and the formal-to-actual step.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims that any field theory encoded by an A∞ or L∞ algebra can be reformulated, via the bar-cobar construction, as a differential graded associative (or Lie) algebra whose Maurer-Cartan equation is quadratic, with a universal quadratic term. The extended field space contains type-I and type-II multilocal fields. The central structural claim is that every solution of the extended Maurer-Cartan equation (1.9) is gauge equivalent to a canonical solution living in factor number one, which represents exactly a solution of the original field equations. Sections 4 and 5 compute the homology of Δ and solve the universal equation ΔΦ+Φ⊗₁Φ=0; Section 6 extends this perturbatively in the coderivation B to the full equation (6.1), and Section 7 checks the construction on a scalar field theory with cubic and quartic interactions.","tokens_in":55896,"tokens_out":5606,"duration_ms":89083,"significance":"If the main equivalence were established rigorously, the construction would be conceptually significant: it gives a universal quadratic reformulation of arbitrary homotopy-algebra field theories, exhibiting multilocal fields and deriving the original gauge transformations from a natural subclass of the extended gauge transformations. The explicit Δ-homology computation, the complete solution of the B=0 equation in Section 5, and the closed scalar-field-theory check in Section 7 are concrete and reproducible strengths. However, the significance is conditional: the proof of the central equivalence in Section 6 is carried out as a formal power series expansion in B, and the L∞ case is only asserted by reference to external theorems. These gaps concern the main theorem, not merely presentation.","major_comments":[{"comment":"The proof of the central equivalence is a formal perturbation expansion in B. Equation (6.17) writes Ψ=Σ Ψ^(n), and Appendix C concludes that 'every formal solution of (C.2) is of the form (6.38)'. The paper never identifies formal solutions with actual solutions of (6.1). This is not a cosmetic point: the state space T(s⁻¹T^c(V)) is defined in Section 3.4 with completed tensor products, but B=Σ_k B_k is only shown to act on finite words. Since B_k lowers length by k−1, the length-one component of BΦ receives contributions from b_k(v^k) for arbitrarily large k; for a generic A∞ algebra with infinitely many nonvanishing products this is an infinite sum that is not defined without a topology or filtration on V. The same issue affects the exponentials e^Λ and e^{±S} used in the finite gauge transformations, whose convergence is assumed in (2.54) but never established in the bar-cobar context. The main theorem therefore lacks the filtration, nilpotency, or convergence hypotheses needed both for B to be defined on the completed space and for formal solutions to be actual solutions of (6.1). I request that the authors either add such hypotheses, or formulate the theorem in a pro-nilpotent/filtered setting, or prove convergence for the class of field theories they claim to cover.","section":"Section 6 and Appendix C, Eq. (6.17), (C.2)"},{"comment":"The L∞ case is not derived in the paper. Section 3.5 states only that, 'under some assumptions', a quasi-isomorphism of bar-cobar L∞ algebras induces an equivalence of Maurer-Cartan sets, referring to [37,38]. The detailed solution classification of Sections 5 and 6 is carried out for A∞ algebras, with the symmetric coalgebra/cobar story not given an analogous treatment. Since the abstract and the introduction claim the construction for arbitrary A∞ or L∞ gauge theories, including closed string field theory, the L∞ claim should either be proved with the same level of detail or stated explicitly as conditional on unproved hypotheses from the references.","section":"Section 3.5"},{"comment":"Even accepting the formal expansion in B, the reconstruction of the canonical solution Ψ₁=Φ₁+W̃₁ uses the claim that W̃₁ satisfies B W̃₁=0 and Δ_{Φ₁}W̃₁+W̃₁W̃₁=0, with W̃₁ expanded as Σ W̃₁^(n). The existence of the W̃₁^(n) at each order follows from the vanishing of Δ_{Φ₁} homology above factor number one, but the assembled W̃₁ is an infinite formal sum. Without a completeness or convergence statement, it is not established that the assembled object is an element of the completed state space, nor that the gauge transformation generated by e^N and e^S actually exists as a finite transformation. This is the same formal-to-actual gap as above, but it directly affects the form of the final canonical solution, so it should be addressed explicitly.","section":"Section 6.2, Eq. (6.38)-(6.52)"}],"minor_comments":[{"comment":"The scalar example is described as 'quartic scalar field theory', but Section 7 uses an action with both cubic and quartic interactions, Eq. (7.1); please label it accordingly.","section":"Section 8, first paragraph"},{"comment":"The sentence 'We assume that (2.54) converges' appears in the abstract setting of a differential graded algebra; in the bar-cobar context of Sections 5 and 6 the same assumption is silently used for exponentials in the completed tensor algebra. A brief statement of the intended convergence or formal-power-series interpretation would avoid ambiguity.","section":"Section 2.2, Eq. (2.54)"},{"comment":"The expression i_k(v₁,...,v_k)=s(s⁻¹(v₁⋯v_k))∈ss⁻¹V^{⊗k} is confusing because s and s⁻¹ are inverses only up to graded signs; please define the composition ss⁻¹ explicitly or use a clearer notation.","section":"Section 3.4, Eq. (3.87)"},{"comment":"The completed direct sum is denoted by a hat in the text, but the displayed symbol appears as 'xà'; please use a standard notation such as \\widehat{\\bigoplus} and define it explicitly.","section":"Section 2.2, Eq. (2.34)"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper does something genuinely new. Everyone knew the bar-cobar construction could make quadratic equations; nobody had explicitly classified the solutions of the resulting Maurer-Cartan equation, proved the reduction to canonical type-I solutions, and shown how A∞ gauge transformations emerge from bar-cobar gauge transformations. The scalar field theory check in Section 7 is a real independent check and it closes cleanly. I have not seen this explicit solution classification elsewhere in the physics or mathematics literature, and the authors are honest about what the construction does not provide: no action principle, no cyclic form, and an enormous field content.\n\nThe soft spots are real but localized. The main equivalence is proved as a formal power series in B. Section 6 writes Ψ = Σ Ψ^(n), and Appendix C concludes that every formal solution of (C.2) has the stated form. The paper never states a filtration, nilpotency, or completeness hypothesis that would identify those formal solutions with actual solutions of (6.1). That is not cosmetic: for a generic A∞ algebra with infinitely many nonzero products, the length-one component of BΦ involves an infinite sum over b_k(v^k), and the completed tensor algebra alone does not make that sum defined without a topology. The same issue affects the exponentials e^Λ used to build finite gauge transformations. So the universal theorem as stated outruns the proof as written.\n\nThe L∞ case is thinner still: it is asserted by analogy and by reference to [37,38] under hypotheses that are not verified. That is a gap, but not a fatal one for the A∞ core or for the explicit example. The paper would be improved by stating the main theorem with precise hypotheses, and either working out L∞ or explicitly restricting the main claim to A∞ algebras.\n\nWho should read this: anyone working on string field theory reformulations, homotopy algebraic formulations of field theory, or the mathematics of bar-cobar Maurer-Cartan spaces. It deserves a serious referee, not a desk rejection, but the referee should be asked to push on the formal-to-actual step and the L∞ claims. I would cite it if I worked on these constructions.","headline":"A real, useful result for A∞ bar-cobar reformulations, with the central equivalence stated more broadly than the proof supports.","tokens_in":56457,"tokens_out":1647,"would_cite":true,"duration_ms":44469,"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":"Any gauge theory encoded by an $A_\\infty$ or $L_\\infty$ algebra can be rewritten, via the bar–cobar construction, as a set of quadratic field equations whose interaction term is universal.","keywords":["homotopy algebras","A-infinity algebra","L-infinity algebra","bar-cobar construction","Maurer-Cartan equation","quadratic field equations","multilocal fields","string field theory"],"falsifier":"Compute the full Maurer–Cartan set of $(\\Delta+B)\\Psi+\\Psi\\star_1\\Psi=0$ for a small finite-dimensional $A_\\infty$ algebra with nonzero $b_1$ and $b_2$, solving the polynomial equations up to factor number two. If any solution with factor number at least two is not gauge equivalent to a factor-one solution that is $B$-closed, the claimed isomorphism of Maurer–Cartan sets is false; a free or $\\varphi^4$ example serves as the positive control, and a nonlocal interaction as the negative test.","tokens_in":55438,"feed_emoji":"📐","tokens_out":12995,"duration_ms":121451,"temperature":0.7,"pith_summary":"This paper claims that any field theory whose equations of motion are encoded by an $A_\\infty$ or $L_\\infty$ algebra can be reformulated, through the bar–cobar construction, as quadratic equations of motion for an extended set of fields. The new equation has the universal form $(\\Delta+B)\\Psi+\\Psi\\star_1\\Psi=0$: the quadratic term is the same for every theory, and all information about the original interactions is carried by the linear operator $B$. The additional fields are multilocal—type-I fields depending on one set of coordinates and type-II fields depending on several sets—and in string theory they represent entangled CFT states inserted across punctures of Riemann surfaces. The central result is that every solution of the new equations is gauge equivalent to a canonical solution containing only type-I fields, and these canonical solutions stand in one-to-one correspondence with the solutions of the original equations of motion. This matters because it gives a universal route to quadratic equations for theories whose natural formulations are nonpolynomial, including closed string field theory.","feed_headline":"Every field theory gets universal quadratic equations","feed_subtitle":"A homotopy-algebra construction moves every interaction into the linear term of a quadratic field equation.","key_machinery":"The engine of the argument is the bar–cobar construction for homotopy algebras, together with the homology of the universal differential $\\Delta$. Starting from the suspended state space $V=sA$, one forms the tensor coalgebra $C=T^c(V)$ and then the tensor algebra $T(s^{-1}C)$; the theory-dependent derivation $B$ is built from the products $b_k$, while $\\Delta$ (from the deconcatenation coproduct) and the product $\\star_1$ are universal. The load-bearing identity is the contracting homotopy $h$ satisfying $[\\Delta,h]=1-\\pi_{1,1}$, which shows that $\\Delta$-homology is concentrated at factor number one and length one. Deforming to $\\Delta_\\Phi=\\Delta+\\mathrm{ad}_\\Phi$ via the homological perturbation lemma produces the homotopy $h_\\Phi$ and explicit homology representatives, and these tools allow the paper to solve the universal equation $\\Delta\\Phi+\\Phi\\star_1\\Phi=0$ completely and then to solve $(\\Delta+B)\\Psi+\\Psi\\star_1\\Psi=0$ order by order in $B$, showing that all higher-factor data are pure gauge.","core_discovery":"On the paper's own terms, the discovery is that the bar–cobar construction turns any $A_\\infty$ or $L_\\infty$ algebra into a differential graded associative or Lie algebra $\\Omega(C)=T(s^{-1}C)$ whose Maurer–Cartan equation is quadratic: $(\\Delta+B)\\Psi+\\Psi\\star_1\\Psi=0$. The paper proves that the Maurer–Cartan set of this quadratic algebra is isomorphic to the Maurer–Cartan set of the original algebra. Every solution is exhibited as a gauge transformation of a canonical, factor-number-one solution $\\Psi_1=s^{-1}(v+v^2+v^3+\\cdots)$, with $\\Psi_{1,1}=s^{-1}v$, where $v$ solves the original equation $\\sum_k b_k(v,\\dots,v)=0$. The component fields of a canonical solution factorize, $\\Phi_{1,\\ell}(x_1,\\dots,x_\\ell)=\\phi(x_1)\\cdots\\phi(x_\\ell)$, and the condition $B\\Phi_1=0$ then reduces exactly to the original equation of motion. The paper further shows that the gauge transformations of the original $A_\\infty$ theory are recovered from a restricted class of gauge transformations of the quadratic theory.","pith_inferences":["The equivalence is established only as a formal power-series statement in $B$; identifying formal solutions with actual solutions requires a convergence, nilpotency, or filtered-completeness hypothesis that the paper does not state, so the bijection of solution spaces should be read as formal in general.","Because the quadratic term is universal, the physical content of any theory is concentrated in the linear operator $B$; this suggests a 'universal interactions' viewpoint in which different theories differ only by a background operator, which could support model-independent deformation or scattering problems.","The paper's observations about the difficulty of finding a cyclic bilinear form imply that a Lagrangian for the quadratic equations, if one exists, must live in a generalized BV or nonstandard pairing setting rather than the original complex.","The geometric reading of type-II fields as disconnected surface insertions suggests that the perturbative expansion in $B$ may naturally sum over disconnected Riemann surfaces, potentially connecting the construction to quantum string amplitudes, though the paper only sketches this picture."],"forward_implications":["Every $A_\\infty$- or $L_\\infty$-encoded field theory, including nonpolynomial closed string field theory, acquires an equivalent set of quadratic field equations with a universal interaction term.","The auxiliary fields are forced to be multilocal: type-I fields $\\varphi_{1,\\ell}(x_1,\\dots,x_\\ell)$ and type-II fields $\\varphi(\\{x^{(1)}\\}|\\dots|\\{x^{(f)}\\})$, and canonical solutions satisfy $\\varphi_{1,\\ell}(x_1,\\dots,x_\\ell)=\\varphi(x_1)\\cdots\\varphi(x_\\ell)$.","In string theory, type-I fields are CFT entangled states inserted across several punctures of a single Riemann surface, while type-II fields of factor number $f$ can represent disconnected surfaces with $f$ components.","The original gauge symmetry is embedded: the $A_\\infty$ gauge transformations $\\delta\\psi=\\sum_{n\\ge 0}\\sum_{i=0}^n b_{n+1}(\\psi^i,\\lambda,\\psi^{n-i})$ arise from a subclass of gauge transformations of the quadratic bar-cobar theory.","The scalar field theory example confirms the equivalence explicitly: after imposing the universal factorization, the quadratic equations reduce to the original cubic equation of motion."],"supporting_citations":[{"why":"Supplies the bar-cobar adjunction theorem and the statement that a quasi-isomorphism of associated coalgebras induces an equivalence of Maurer-Cartan sets.","marker":"[26]"},{"why":"Proves that a quasi-isomorphism of $A_\\infty$ bar coalgebras induces an isomorphism of Maurer-Cartan sets, used to identify the original and quadratic solution spaces in the associative case.","marker":"[36]"},{"why":"Proves the corresponding Maurer-Cartan equivalence for $L_\\infty$ algebras under additional hypotheses, used in the Lie case.","marker":"[38]"},{"why":"Supplies a filtered version of the equivalence theorem for $L_\\infty$ algebras, cited alongside the previous reference.","marker":"[37]"},{"why":"Establishes the $A_\\infty$/$L_\\infty$ description of field theories whose equations of motion are the input for the bar-cobar construction.","marker":"[24]"},{"why":"Provides the $A_\\infty$ formulation of scalar field theory used in the paper's explicit check of the equivalence.","marker":"[39]"},{"why":"Supplies the homological perturbation lemma used to construct the contracting homotopy $h_\\Phi$ for the deformed differential.","marker":"[44]"}],"fun_headline_variants":["Bar-cobar turns any gauge theory into quadratic field equations","All gauge theories get universal quadratic equations via homotopy","Quadratic field equations from homotopy algebras for any gauge theory","Extended fields make every gauge theory quadratic","Maurer-Cartan form: universal quadratic field equations for all gauge theories"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof that every solution of $(\\Delta+B)\\Psi+\\Psi\\star_1\\Psi=0$ is gauge equivalent to a canonical solution is carried out as a formal power series in $B$, and the paper states no condition under which formal solutions coincide with actual solutions of the equation.","fun_headline_variants_meta":{"raw":{"variants":["Bar-cobar turns any gauge theory into quadratic field equations","All gauge theories get universal quadratic equations via homotopy","Quadratic field equations from homotopy algebras for any gauge theory","Extended fields make every gauge theory quadratic","Maurer-Cartan form: universal quadratic field equations for all gauge theories"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000655,"raw_usage":{"total_tokens":3001,"prompt_tokens":948,"completion_tokens":2053,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":564,"completion_tokens_details":{"reasoning_tokens":1970}},"tokens_in":564,"tokens_out":2053,"duration_ms":13713,"temperature":1.0,"reasoning_tokens":1970,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:13:07.053539+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the full Maurer–Cartan set of $(\\Delta+B)\\Psi+\\Psi\\star_1\\Psi=0$ for a small finite-dimensional $A_\\infty$ algebra with nonzero $b_1$ and $b_2$, solving the polynomial equations up to factor number two. If any solution with factor number at least two is not gauge equivalent to a factor-one solution that is $B$-closed, the claimed isomorphism of Maurer–Cartan sets is false; a free or $\\varphi^4$ example serves as the positive control, and a nonlocal interaction as the negative test.","supporting_citations":[{"cited_title":"Milham and C.L","cited_arxiv_id":null,"evidence_quote":"Proves that a quasi-isomorphism of $A_\\infty$ bar coalgebras induces an isomorphism of Maurer-Cartan sets, used to identify the original and quadratic solution spaces in the associative case."},{"cited_title":"Getzler,Lie theory for nilpotentL 8 -algebras,Annals of Mathematics170(2009) 271","cited_arxiv_id":null,"evidence_quote":"Proves the corresponding Maurer-Cartan equivalence for $L_\\infty$ algebras under additional hypotheses, used in the Lie case."},{"cited_title":"Dolgushev and C.L","cited_arxiv_id":null,"evidence_quote":"Supplies a filtered version of the equivalence theorem for $L_\\infty$ algebras, cited alongside the previous reference."},{"cited_title":"Crainic,On the perturbation lemma, and deformations, 2004","cited_arxiv_id":null,"evidence_quote":"Supplies the homological perturbation lemma used to construct the contracting homotopy $h_\\Phi$ for the deformed differential."}],"review_version":1}