{"id":"7e602394-d8b8-43c5-b0d3-aab86f31a0ad","arxiv_id":"2508.10540","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper proves, using only elementary calculus, that Noether currents from local symmetries are always improper, and that covariant and canonical currents differ by an improper current.","lead":"This paper gives an elementary proof that conserved currents in locally symmetric theories split into a piece that vanishes when the equations of motion hold and a piece with identically zero divergence. It also proves that canonical and covariantly conserved currents differ only by such improper terms.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The triangular inversion in Eqs. (23)-(29) is not the weak point; the unproved cancellation in Eq. (35), which establishes off-shell conservation of R, is the load-bearing gap.","rationale":"Reading in good faith, the paper's main theorem is a known result and the construction is plausible. The inversion concern raised by the reader is not the most dangerous: because Eq. (24) expresses S_i in terms of S_{i+1} (not vice versa) and S_{m+n-1}=0, the solution follows by finite backward substitution; no differential operator needs inverting. The truly critical and least-supported step is the off-shell conservation of R, Eq. (35). The displayed proof is a sequence of index relabelings ending in '=0' without explaining which terms cancel or why the total-symmetry condition on R is sufficient. Since an incorrect sign or range in Eq. (35) would destroy the decomposition, this is the point that should be checked. The proposed test settles it directly. My recommendation is unchanged: the reader's CONDITIONAL verdict remains appropriate until Eq. (35) is demonstrated or verified.","tokens_in":8302,"tokens_out":38411,"duration_ms":415099,"concrete_test":"Use a symbolic algebra system to expand ∂_{μ0} R^{μ0} from Eq. (34) for a representative generic case, e.g. m=2, n=2, with R^{...} tensors satisfying R_{(all)}=0 and all EOM terms removed, and check that the expression reduces to zero identically. If it does not, the central claim in Eq. (32) is unsupported by the paper's proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim J = Ψ + R requires that the constructed R^{μ0} in Eq. (34) has identically vanishing divergence. This is asserted in Eq. (35) after two lines of relabeled sums, but no argument is given for why the two surviving sums cancel for arbitrary m,n. The reader's stated concern about invertibility of the recursion (23)-(25) is comparatively weak: the system is triangular in i, with S_i appearing undifferentiated on the left and S_{i+1} only under a derivative, so backward substitution from S_{m+n-1}=0 produces the claimed solution (26)-(29) directly. The genuinely load-bearing step is the divergence cancellation: if Eq. (35) fails, R is not off-shell conserved and the decomposition does not hold. The paper also never verifies (26)-(29) by full substitution into (23)-(25), but only checks the lowest-order identity (17), so the proof of the decomposition rests on an unexhibited algebraic identity.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims a fully elementary proof, for arbitrary derivative orders n (fields) and m (symmetry parameters), that any Noether current generated by a local invariance can be decomposed as J^μ = Ψ^μ + R^μ, with Ψ^μ vanishing on-shell and R^μ having identically vanishing divergence (Eq. 32). It further claims that in non-abelian gauge theories and diffeomorphism-invariant theories a covariantly conserved current differs from the canonical current by an improper current (Eq. 55). The proof is based on an index expansion of the Noether current, a triangular recurrence for the coefficient tensors, and an explicit construction of the superpotential. Applications to Yang-Mills and general relativity are given.","tokens_in":8561,"tokens_out":21787,"duration_ms":223486,"significance":"If completed, the paper would provide an elementary and self-contained derivation of Noether's decomposition theorem, avoiding the BRST/cohomology or jet-bundle machinery of earlier treatments. The explicit formulas for Ψ and R are a useful feature, and the covariant-conservation result (Section IV) extends the standard metric/gauge-current comparison. The paper is not built on fitted parameters or external computational tools; its value is conceptual and pedagogical. However, the proof as written leaves two load-bearing algebraic identities unproved, and one supporting example contains a false assertion. The central idea is plausible and consistent with known results, but the manuscript is not yet suitable for publication in its present form.","major_comments":[{"comment":"The off-shell conservation of R^{μ0} is the load-bearing step for the decomposition J=Ψ+R, but Eq. (35) merely says 'we can verify' and then sets two relabeled sums to zero. The cancellation is not demonstrated, and no use of the symmetry condition R^{(...)}=0 is shown in the displayed computation. The reader cannot see how terms of different (i,j) orders cancel. Please supply a complete derivation or a lemma for this identity. The consistency check (30)-(31) only verifies Eq. (17), not the full solution of the recurrence, so it does not cover this step.","section":"III, Eq. (35)"},{"comment":"The solution of the triangular system is asserted without derivation or verification. Formulas (26)-(29) are produced by 'backward substitution', but the manuscript never substitutes them into (23)-(25). Since these formulas define the decomposition (32), the proof rests on an unexhibited algebraic identity. A short induction or a direct substitution check should be included.","section":"III, Eqs. (23)-(29)"},{"comment":"The example tensor S^{μχ} is claimed to satisfy ∂_μ∂_χ S^{μχ}=0 without any conditions on X and Y. This is false. In two dimensions, take X^1=(x^1)^2, X^2=(x^2)^2, Y^1=0, Y^2=1. Then S^{12}=4(x^1)^3-2(x^1)^2x^2, S^{22}=6x^2, S^{11}=0, and ∂_μ∂_χ S^{μχ}=-8x^1≠0. The example needs explicit conditions on X and Y or should be replaced by a valid one.","section":"V, Eq. (66)"}],"minor_comments":[{"comment":"The printed equation appears to have an extraneous '=0' after the right-hand side. As typeset, it conflicts with Eq. (23), which is the version actually used.","section":"III, Eq. (18)"},{"comment":"The 'indices must be numbered from right to left' convention is hard to follow. A short worked example would clarify the notation in Eqs. (5), (8), and (15).","section":"II, paragraph after Eq. (5)"},{"comment":"The phrase 'Setting A^a_μ=0 in (50), we see that the gauge current equals...' is imprecise. The gauge current was defined by setting A=0 or g=η in the covariant current, not in Eq. (50), and the sentence should say this explicitly.","section":"V, text around Eq. (50)"},{"comment":"Ref. [3] is listed as 'K. Olver'; the correct initials are P. J. Olver.","section":"References"},{"comment":"The statement that J^μ is of order n-1 in derivatives of the field variations assumes the standard form of the Noether current from Eq. (5). This is fine, but should be stated explicitly to avoid ambiguity.","section":"III, before Eq. (15)"}],"recommendation":"major_revision","confidential_remarks":"The core theorem is probably correct, and the paper's elementary approach is valuable. The missing proof of Eq. (35) is the main obstacle; without it, the central claim is not established in the manuscript. If the author supplies the missing algebra and corrects the Section V example, the paper could be publishable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take on Barros e Sá's paper. It gives an elementary, self-contained proof of two known results: (1) Noether currents from local symmetries split into an on-shell vanishing piece plus an off-shell conserved piece, and (2) the canonical current and covariantly conserved current differ by an improper current. The results themselves are not new—Noether's second theorem and the superpotential literature cover them. The contribution is the method: a purely algebraic recursion using ordinary calculus, no jet spaces or cohomology. That is genuinely useful for teaching and for physicists who want to see the mechanism.\n\nThe main derivation is plausible and in outline correct. The recursion (23)–(25) is triangular, so the solution (26)–(29) is believable; the reader's worry about invertibility is not the spot I'd attack. The load-bearing step is Eq. (35), where the divergence of R^μ0 is said to vanish off-shell after a couple of lines of relabeled sums. I don't see the cancellation argued. For arbitrary m,n this is a nontrivial identity. The paper never verifies (26)–(29) by substitution either, only checks the lowest-order consistency via (17). If (35) fails, the decomposition (32) doesn't hold. I couldn't find a counterexample, and the result is known to be true, so I suspect it goes through, but the proof as written has a real hole.\n\nAlso, the example in Eq. (66) asserts a symmetric S^{μχ} with vanishing double divergence; no calculation is shown. It's probably fine, but an interested reader shouldn't have to fill it in. There are also some sloppy index ranges and the statement about Ψ^μ_a in Section IV being exactly as in (33) is compressed.\n\nWhat the paper does well: it makes a real effort to be general—arbitrary n,m, non-abelian gauge and diffeomorphism cases treated uniformly—and it credits the earlier literature correctly (Noether, Barnich–Brandt–Henneaux, Ilin–Paston). I don't see a circularity problem; the proofs are self-contained modulo the known results they aim to reprove.\n\nWho is this for? Researchers and students who work with Noether currents, energy-momentum tensors, and superpotentials, especially in GR and gauge theories. It deserves a serious referee: the claim is important enough and the proof idea promising enough that a referee should push for the missing details rather than let this be desk-rejected. I'd take it if I were editing, with major revision.","headline":"An elementary proof of known Noether-current decomposition results; the central cancellation in Eq. (35) is asserted, not demonstrated, but the method is promising and worth refereeing.","tokens_in":8985,"tokens_out":1593,"would_cite":true,"duration_ms":16649,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["70S10","70S15"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that Noether currents in any locally invariant theory decompose into an on-shell-vanishing piece and an off-shell divergence-free piece, and that covariantly conserved currents differ from canonical ones by such an imprope","keywords":["Noether's theorem","local invariance","improper currents","conservation laws","gauge theories","general relativity","superpotential","Noether's second theorem"],"falsifier":"Construct the Noether current for a local symmetry with $m+n-1 \\ge 2$ and compare its highest-order term with Eq. (29). If for some choice of $f^{\\mu_i...\\mu_1}_{Ia}$ no choice of the $R$ tensors makes $\\partial_\\mu R^\\mu$ vanish off-shell, the theorem is false; the paper's Eqs. (28)-(29) predict such a choice always exists.","tokens_in":8235,"feed_emoji":"⚛️","tokens_out":8648,"duration_ms":84911,"temperature":0.7,"pith_summary":"This paper proves a structural fact about conserved currents in any theory with local (point-dependent) symmetry: a Noether current produced by the first theorem can always be split into two pieces, one that is proportional to the equations of motion and therefore vanishes on solutions, and one whose divergence is zero even before the equations of motion are used. In Noether's terminology, such currents are 'improper'—they carry no independent physical information. The proof works for arbitrary order of derivatives in the Lagrangian and arbitrary order of derivatives of the symmetry parameters, using only integration by parts and elementary algebra. The same argument shows that when a covariantly conserved current exists (as in gauge theories or general relativity), it differs from the canonical current only by an improper current.","feed_headline":"Noether currents from local symmetries are always 'improper'","feed_subtitle":"They decompose into an on-shell-vanishing term plus a term whose divergence is identically zero, at every derivative order.","key_machinery":"The central object is the decomposition of a Noether current into $\\Psi$ (on-shell vanishing) and $R$ (off-shell divergence-free), called an improper current. The machinery is the recurrence (23)-(25) obtained by expanding the conservation identity in orders of derivatives of the symmetry parameters; solving it for the symmetric parts produces explicit formulas (28)-(29) for the current coefficients, which immediately give the split. The second result uses the same recurrence with the covariantly conserved current as the lowest-order term, yielding Eq. (55).","core_discovery":"The paper establishes that, under Noether's first theorem for a local invariance, the current $J^\\mu(\\varepsilon_a)$ admits the decomposition $J^\\mu = \\Psi^\\mu + R^\\mu$: $\\Psi^\\mu$ is a combination of the equations of motion and their derivatives, so $\\Psi^\\mu\\sim 0$ on-shell, and $\\partial_\\mu R^\\mu=0$ identically. Such currents are improper in Noether's sense. The proof expands the current in derivatives of the parameters $\\varepsilon_a$ and solves a recurrence for the totally symmetric parts of the coefficients, which yields the split directly. For gauge and diffeomorphism-invariant theories, the same recurrence gives $j^\\mu_a = J^\\mu_a + \\Psi^\\mu_a - \\partial_\\chi S^{\\mu\\chi}_a$: the can","pith_inferences":["The author leaves implicit that the same recurrence gives an algorithmic way to compute the superpotential in any local-invariance theory: run the expansion once, solve (23)-(25), and read off $S^{\\mu\\chi}_a$ from (57). Implementing this on higher-derivative gravity would yield explicit superpotentials without case-by-case work.","A further consequence not drawn in the paper is diagnostic: in a locally invariant model, any conserved current whose divergence is not a combination of the equations of motion would be evidence that one of the assumed hypotheses (locality, the derivative orders, or the symmetry group) is violated, rather than a sign of a new proper charge.","The split also implies that charges built from these currents are pure surface terms; the author does not discuss this, but it suggests that local invariance by itself cannot generate bulk topological charges, connecting to standard results about charges in gauge theories."],"forward_implications":["Noether's first theorem applied to a local symmetry never yields a proper conserved current; the conserved quantity is always equivalent, on-shell, to one whose divergence vanishes before the equations of motion are imposed.","In non-abelian gauge theories with matter and in diffeomorphism-invariant theories, the canonical current and the covariantly conserved current differ by at most an improper current, so their integrated charges coincide on-shell.","In Yang-Mills theory ($n=1$, $m=0$) the two currents are identical, while in general relativity ($n=1$, $m=1$) the difference is an on-shell-vanishing term plus a superpotential divergence; the paper gives the electromagnetic field as an explicit check.","The superpotential appearing in the decomposition need not be antisymmetric: the paper gives an explicit symmetric tensor whose double divergence vanishes identically."],"supporting_citations":[{"why":"Supplies the original statement and the terminology 'improper' that this paper re-proves, along with the form of the variation of the action used throughout.","marker":"[1]"},{"why":"Earlier proof of the same decomposition using local BRST cohomology; the paper cites it to position its own elementary derivation and the modern term 'trivial'.","marker":"[2]"},{"why":"Another prior proof, using generalized vector fields and the Frechet derivative, which the paper's derivation avoids.","marker":"[3]"},{"why":"Used for the explicit construction of superpotentials in higher-derivative tensor field theories, extending the general split to such cases.","marker":"[5]"}],"fun_headline_variants":["Noether currents in gauge theories always split into two parts","Every local-symmetry current is 'improper' — proof at all derivative orders","Improper Noether currents: on-shell term plus divergence-free term","Noether's theorem: local invariants yield improper currents always","Every Noether current in a local-invariance theory is improper"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The proof assumes that the recurrence relating the symmetric parts of the current coefficients can be inverted algebraically for every derivative order $m$ and $n$, so that the closed-form solutions (26)-(29) are valid with no hidden consistency conditions.","fun_headline_variants_meta":{"raw":{"variants":["Noether currents in gauge theories always split into two parts","Every local-symmetry current is 'improper' — proof at all derivative orders","Improper Noether currents: on-shell term plus divergence-free term","Noether's theorem: local invariants yield improper currents always","Every Noether current in a local-invariance theory is improper"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000627,"raw_usage":{"total_tokens":2714,"prompt_tokens":697,"completion_tokens":2017,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":441,"completion_tokens_details":{"reasoning_tokens":1925}},"tokens_in":441,"tokens_out":2017,"duration_ms":14863,"temperature":1.0,"reasoning_tokens":1925,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T20:23:41.394369+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct the Noether current for a local symmetry with $m+n-1 \\ge 2$ and compare its highest-order term with Eq. (29). If for some choice of $f^{\\mu_i...\\mu_1}_{Ia}$ no choice of the $R$ tensors makes $\\partial_\\mu R^\\mu$ vanish off-shell, the theorem is false; the paper's Eqs. (28)-(29) predict such a choice always exists.","supporting_citations":[{"cited_title":"Local BRST cohomology in gauge theories","cited_arxiv_id":null,"evidence_quote":"Earlier proof of the same decomposition using local BRST cohomology; the paper cites it to position its own elementary derivation and the modern term 'trivial'."},{"cited_title":"Olver, Applications of Lie Groups to Differential Equations (Springer, 2nd ed","cited_arxiv_id":null,"evidence_quote":"Another prior proof, using generalized vector fields and the Frechet derivative, which the paper's derivation avoids."},{"cited_title":"Exact relation between canonical and metric energy-momentum tensors for higher derivative tensor field theories","cited_arxiv_id":null,"evidence_quote":"Used for the explicit construction of superpotentials in higher-derivative tensor field theories, extending the general split to such cases."}],"review_version":1}