{"id":"fbeb8355-3013-43a7-8ec6-84910984a13b","arxiv_id":"2505.13234","paper_version":1,"verdict":"REJECT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper asserts that a path is a solution of a polynomial Cauchy problem if and only if its signature satisfies holonomic and algebraic-variety conditions, but the sufficient direction is false as stated.","lead":"This paper claims algebraic conditions on a path's signature can tell whether the path solves a system of polynomial ODEs. The idea matters because it would link signature-based data analysis to differential equations, but the main theorem has a false converse.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 5.9's converse is false: condition (3) only forces each F_i(X(t)) to be constant, and the constant is F_i(X(0)), not necessarily 0; e.g. X(t)=(t,2t,2) for x'=1, x(0)=0 satisfies (1)-(3) but is not a solution.","rationale":"The reader's weakest assumption identifies exactly the load-bearing failure: condition (3) from Corollary 3.9 only fixes F_i(X(t)) to be constant, not zero, and the constant is F_i(X(0)), which is not controlled by the initial subset Sigma. The explicit counterexample X(t)=(t,2t,2) for x'=1 is correct and shows that all three conditions of Theorem 5.9 can hold while F(X)=1, so the theorem's converse is false as stated. This is not a minor proof gap but a missing hypothesis: Corollary 3.10, which the authors do not invoke in Theorem 5.9, would require F_i(X(a))=0 in addition to the signature equations. The repair is straightforward but changes the theorem's statement, strengthening its initial-condition component. The reader's rejection is therefore supported. I did not need to rely on the separate proof gap in Lemma 3.4, where the displayed formula for M_{\\tilde p}(u\\cdot(d+1)) appears to assume a quadratic g; that gap further raises correctness risk, but the counterexample to Theorem 5.9 is decisive on its own. Since the reader already reached REJECT and my analysis confirms that verdict, no adjustment is needed.","tokens_in":20825,"tokens_out":9510,"duration_ms":91616,"concrete_test":"Instantiate the converse of Theorem 5.9 with r=l=1, F(x1,x2,x3)=x3-1, [a,b]=[0,1], v0=0, and X(t)=(t,2t,2). Verify each hypothesis: X(0)=(0,0,2) is in Sigma = {x1=0, x2=0}; the holonomic condition reduces to the Legendrian identity and holds because \\dot X_2 = \\dot X_1 X_3; \\tilde F(p)=p3 makes condition (3) equal to \\langle\\sigma(X),3w\\rangle=0, which holds because X_3 is constant. Then observe that F(X(t))=1, so the path is not a solution of x'=1. If this computation reproduces all three hypotheses, Theorem 5.9's sufficiency claim is refuted. A second check: add the missing premise F_i(X(0))=0 and confirm the counterexample then fails at condition (1), isolating the missing hypothesis.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The converse of Theorem 5.9 incorrectly identifies condition (3) with the vanishing of F_i along X. By Corollary 3.9, condition (3), written with \\tilde F_i(p)=F_i(p+X(a))-F_i(X(a)), is equivalent to im(X) lying in the level set F_i = c_i for some constant c_i; because \\tilde F_i is translated by F_i(X(a)), that constant is forced to be c_i = F_i(X(a)). Corollary 3.10 is the correct statement for the zero level set, and it explicitly requires F_i(X(a))=0. Condition (1), X(0) in Sigma, fixes only the first d-r coordinates of X(0), so for a first-order system it leaves X_{r+1}(0),...,X_d(0) free and does not imply F_i(X(0))=0. A concrete witness: r=l=1, F(x1,x2,x3)=x3-1, Cauchy problem x'=1, x(0)=0, and X(t)=(t,2t,2) on [0,1]. Then X(0)=(0,0,2) is in Sigma; X is holonomic because \\dot X_2=2=\\dot X_1 X_3; and \\tilde F(p)=p3, so condition (3) is \\langle\\sigma(X),3w\\rangle=0 for every w, which holds since X_3 is constant. Yet F(X(t))=1 for all t, so f(t)=2t is not a solution of x'=1. Thus the advertised necessary-and-sufficient signature characterization is false as stated. The necessary direction and the holonomic characterization in Section 4 are not affected by this counterexample, but the central equivalence in Theorem 5.9 fails without an additional condition such as F_i(X(0))=0 for every i.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops algebraic conditions on the signature of a path that are claimed to characterize, up to tree-like excursions, when a path is a solution of a polynomial system of ODEs. Section 3 characterizes paths whose image lies in a polynomial hypersurface or algebraic variety up to level constants; Section 4 characterizes holonomic paths through equations (7); Section 5 combines these ingredients in Theorem 5.9, the main result, which claims necessary and sufficient conditions for a reduced path to be the jet of a solution of a polynomial Cauchy problem; Section 6 applies the result to integral curves of linear and Hamiltonian vector fields. The forward direction of Theorem 5.9 and the holonomic characterization of Section 4 appear plausible, but the converse direction of Theorem 5.9 is false as stated.","tokens_in":21221,"tokens_out":35853,"duration_ms":355215,"significance":"If Theorem 5.9 were correct, it would provide a concrete algebraic test on signature tensors for membership in the solution set of an ODE system and would be a useful complement to the path-variety framework of [Pre23] and the hyperplane results of [GS24]. The geometric proof strategy is natural, and the holonomic characterization in Theorem 4.7 is an interesting and apparently correct contribution that is of independent value. However, the central necessary-and-sufficient claim is invalid: condition (3) of Theorem 5.9 only forces the functions F_i(X(t)) to be constant, not zero, so the converse does not imply containment in the variety E. Because the advertised main theorem fails, the applications in Section 6 inherit the problem. The authors are transparent about the relationship with prior work, and the forward direction and the variety-level results are worth preserving if the statement is repaired.","major_comments":[{"comment":"The converse direction of Theorem 5.9 is false. In the proof, the claim 'F_i(X(t))=0 for all t by Theorem 3.9' is unjustified: Corollary 3.9 states that condition (3) is equivalent to F_i(X(t)) = c_i for some constants c_i, not to c_i = 0. The zero-level statement is Corollary 3.10, which explicitly requires F_i(X(a)) = 0. Condition (1), X(0) in Sigma, fixes only the first d-r coordinates of X(0), leaving the last r coordinates free, so it does not imply F_i(X(0)) = 0. A concrete counterexample is r = l = 1, F(x1,x2,x3) = x3 - 1, Sigma = {x2 = 0}, and X(t) = (t, 2t, 2) on [0,1]. Then X is reduced, X(0) = (0,0,2) is in Sigma, X is holonomic because \\dot X2 = 2 = \\dot X1 X3, and condition (3) holds because \\tilde F(p1,p2,p3) = p3 and all signatures containing the letter 3 vanish since X3 is constant. Yet F(X(t)) = 1 for all t, so f(t) = 2t is not a solution of x' = 1, x(0) = 0. Thus the advertised necessary-and-sufficient characterization is false as stated; an additional condition such as F_i(X(0)) = 0 for every i is needed.","section":"Section 5.2, Theorem 5.9"},{"comment":"Even if the missing condition F_i(X(0)) = 0 were added, the converse conclusion as stated is not justified: the paper concludes that f(t) = (X2(t), ..., X_{r+1}(t)) is a generalized solution of (21), but Definition 5.5 defines generalized solutions as paths X in jet space that need not be projectable. A path X satisfying the corrected hypotheses need not give a function f(t) that solves the ODE. For example, with r = l = 1, F = x3 - 1, Sigma = {x2 = 0}, and X(t) = (t^2, t^2, 1) on [0,1], the path is reduced, holonomic, X(0) = (0,0,1) is in Sigma, and im(X) lies in E = {x3 = 1}; hence the corrected conditions hold. But f(t) = t^2 does not solve x' = 1 on [0,1] (f'(t) = 2t). The object that is a generalized solution is the jet path X, and an honest solution is obtained only after reparametrization by x1(t). The final sentence of Theorem 5.9 should be reformulated accordingly.","section":"Section 5.2, Theorem 5.9"},{"comment":"The proof of Lemma 3.4 contains a substitution that is not valid for the generality claimed: it replaces phi_d(J_{d+1,j}) by 2(j + X_j(a)\\emptyset), which is only correct when g(x1,...,xd) is the sum of squares x1^2 + ... + xd^2. For arbitrary g the Jacobian entry is phi_d(\\partial g/\\partial x_j (x + X(a))), and the subsequent factorizations in the proof of Lemma 3.4, as well as the computation in Example 3.7, do not follow. Since Corollary 3.6 and hence Theorem 3.8 rely on this lemma, the proof of the hypersurface characterization is incomplete as written. The argument can likely be repaired by carrying the general derivative symbol through the half-shuffle identities, but the current text is not correct.","section":"Section 3, Lemma 3.4 and Example 3.7"},{"comment":"The converse direction of Corollary 6.4 omits the initial-point condition X(0) = (0,p,Ap) (equivalently, F_i(X(0)) = 0). Without it the statement is false: for r = 1 and A = [1], the path X(t) = (t, e^t + 1, e^t) is (1,1)-holonomic and satisfies equation (23) for i = 1 because X2 and X3 have the same derivative, but F(X(t)) = x3 - x2 = -1, so X(0) is not of the form (0,p,Ap) for p = 1 and the associated f(t) = e^t + 1 is not the integral curve with f(0) = 1. The converse needs the initial-value condition as an explicit hypothesis.","section":"Section 6.1, Corollary 6.4"}],"minor_comments":[{"comment":"The proof concludes X = Y^red from Theorem 2.3 without mentioning the possible translation; since X(a) = Y^red(a), the translation is zero, but this step should be stated explicitly.","section":"Section 4, Theorem 4.7 proof"},{"comment":"The reference to 'Theorem 3.9' in the converse is ambiguous; the statement that would give F_i(X(t)) = 0 is Corollary 3.10, which requires F_i(X(a)) = 0. The numbering should be corrected and the missing hypothesis made explicit.","section":"Section 5.2, proof of Theorem 5.9"},{"comment":"The displayed equations in Corollary 6.6 contain apparent index errors: the first equation should have a single term -⟨sigma(X), (1+r+i)w⟩ rather than a sum over h of (1+r+h) terms, and the initial point should read X(0) = (0, x0, p0, A p0, -v) rather than containing A x0.","section":"Section 6.2, Corollary 6.6"}],"recommendation":"reject","confidential_remarks":"The paper is in scope for the journal and the authors are appropriately transparent about the overlap with [Pre23] and [GS24]. My verdict is based solely on the mathematical gap: Theorem 5.9, the main result, is false as stated, and the fix requires changing the theorem's hypotheses and conclusion rather than only supplying a missing proof step. This, together with the proof issue in Lemma 3.4, makes the current version unsuitable for publication, though a corrected version with the additional initial-value condition and a reformulated generalized-solution statement could be of interest."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: the advertised necessary-and-sufficient characterization in Theorem 5.9 is false as stated. The converse uses Corollary 3.9 to conclude F_i(X(t)) = 0, but Corollary 3.9 only yields F_i(X(t)) = c_i, and here c_i is F_i(X(0)), which condition (1) does not force to vanish. A concrete witness: r = l = 1, F(x1,x2,x3) = x3 - 1, the Cauchy problem x' = 1, x(0) = 0, and X(t) = (t, 2t, 2). Then X(0) = (0,0,2) lies in Sigma, X is Legendrian, and eF(p) = p3, so condition (3) is <sigma(X), 3w> = 0 for all w, which holds because X3 is constant. Yet F(X(t)) = 1, so f(t) = 2t is not a solution. Adding F_i(X(0)) = 0 for every i would repair the statement; the forward direction already has this.\n\nThere is a second, independent problem. Lemma 3.4, which feeds into Corollary 3.6 and the converse direction of Theorem 3.8, is not proved for arbitrary polynomials. The proof replaces phi_d(J_{d+1,j}) with 2(j + X_j(a)empty), which is the derivative only of a quadratic form. For general g the displayed equality is false, so Corollary 3.6 is unsupported as written and Theorem 3.8's converse has a gap. This is separate from the Theorem 5.9 issue, though both damage the main equivalence.\n\nWhat is genuinely useful: Section 4's characterization of holonomic paths (Theorem 4.7) appears new, and the proof is reasonably careful. The comparison between the authors' W_g and Preiss's V_g in Section 3 is thoughtful and gives a fair map of the prior literature. The applications in Section 6 are illustrative rather than deep.\n\nSo the paper is not a waste of time: the holonomic part and the general setup are worth preserving, and the intended audience—people working at the interface of path signatures and algebraic geometry—might find that part useful. But the central advertised theorem is wrong without an extra condition, and a key lemma in Section 3 has a real gap. I would not cite the main theorem as it stands. This deserves a serious referee, not a desk rejection, because the fix is identifiable and the holonomic material has independent value; but the current version should not be accepted without substantial revision.","headline":"Theorem 5.9's converse is false as stated—condition (3) only forces F_i(X(t)) to be constant, not zero—and Lemma 3.4 has a separate proof gap, though the holonomic characterization in Section 4 is a genuine contribution.","tokens_in":744,"tokens_out":1028,"would_cite":false,"duration_ms":79750,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["15A69","60L10","34A34"],"pacs":[],"model":"deepseek-v4-flash","headline":"The signature of a path—its infinite collection of iterated integrals—determines, through linear equations, whether the path is the jet extension of a solution to a polynomial Cauchy problem.","keywords":["path signature","iterated integrals","signature tensors","ordinary differential equations","Cauchy problem","holonomic paths","jet spaces","Hamiltonian vector fields"],"falsifier":"Take the system $F(x_1,x_2,x_3)=x_3-1$, the Cauchy problem $x'=1$, $x(0)=0$, and the path $X(t)=(t,2t,2)$ on $[0,1]$. All three conditions of Theorem 5.9 hold: $X(0)\\in\\Sigma$, the holonomic equation holds, and $\\langle\\sigma(X),3w\\rangle=0$ for every word $w$ because the third coordinate is constant. The claimed solution $f(t)=X_2(t)=2t$ has $f'=2\\ne 1$, so the stated converse fails.","tokens_in":20597,"feed_emoji":"📈","tokens_out":11376,"duration_ms":109555,"temperature":0.7,"pith_summary":"This paper claims that the signature of a path—the infinite sequence of iterated integrals that encodes the path up to harmless tree-like excursions—contains enough algebraic information to decide whether the path is a solution of a given polynomial system of ordinary differential equations. Using the jet-space formulation of Cauchy problems, the authors prove that being a solution is equivalent to three conditions on the signature: the initial point lies on the data set, a family of holonomic linear equations holds, and a family of equations derived from the polynomials defining the ODE system holds. The upshot is that a differential membership problem becomes an algebraic membership problem: checking a reduced path against the solution set means checking linear equations in the entries of its signature. The same criterion is then specialized to give signature characterizations of integral curves of linear and Hamiltonian vector fields.","feed_headline":"Signature tensors decide which paths solve ODEs","feed_subtitle":"A path solves a polynomial Cauchy problem exactly when its signature satisfies linear equations.","key_machinery":"The key machinery is the signature $\\sigma(X)=(\\sigma^{(k)}(X))_{k\\ge 0}$ of iterated integrals, which by the signature uniqueness theorem determines a reduced path up to translation. Around it the paper builds the shuffle identity, the half-shuffle homomorphism $M_{\\tilde p}$ that tracks how a polynomial map transforms signatures and produces equations (3), and the holonomic equations (7), which encode that the path can be read as a jet extension. Theorem 5.9 puts these three pieces together so that the ODE membership test is linear in $\\sigma(X)$.","core_discovery":"Theorem 5.9 is the central claim: for a polynomial Cauchy problem with $d=1+r(l+1)$ coordinates, a reduced path $X$ is the $l$-jet extension of a generalized solution if and only if $X(0)\\in\\Sigma$, equation (7) holds for every admissible index and every word $w$, and equation (3) holds for each defining polynomial $F_i$ and every word $w$. Equation (7) encodes holonomicity—each derivative of a component is matched to the next jet component—and equation (3) encodes containment in the variety $E=\\{F_1=\\cdots=F_m=0\\}$ after translating the path to start at $X(a)$. The force of the theorem is that both families of conditions are linear in the signature entries, so the solution set of the ODE system is cut out by linear equations in signature space.","pith_inferences":["A minimal repair of the stated converse is to add the hypothesis $F_i(X(0))=0$ for every $i$; with that hypothesis, the constants forced by condition (3) are zero and the paper's own Corollary 3.9 yields the missing step.","The infinite system suggests truncating the equations at words of bounded length as a computational proxy; Remark 3.12 shows this can never be a certificate, so truncated tests should be read as approximate-membership evidence.","The same mechanism should transfer to non-polynomial, analytic vector fields if an analytic analogue of the signature transformation is available; the paper lists this as future work.","For stochastic systems, replacing deterministic signatures with rough-path signatures is the natural test bed for extending the criterion to SDEs, an extension the authors mention but do not prove."],"forward_implications":["If the characterization is correct, checking whether a reduced path is a generalized solution of a polynomial Cauchy problem reduces to an infinite system of linear equations in the signature entries together with an initial-point membership test.","Corollary 6.4 spells this out for linear vector fields: $X(t)=(t,f(t),f'(t))$ is an integral curve of $x'=Ax$ with $f(0)=p$ exactly when $X(0)=(0,p,Ap)$ and $\\sum_{j=1}^r a_{ij}\\langle\\sigma(X),(1+j)w\\rangle=\\langle\\sigma(X),(1+r+i)w\\rangle$ for all $i$ and all words $w$.","Corollary 6.6 gives the analogous signature test for integral curves of a Hamiltonian vector field with Hamiltonian $H(x,p)=v\\cdot x+\\frac12 p^T A p$.","The variety-containment results (Theorem 3.8 and Corollary 3.9) yield a signature criterion for lying on an algebraic variety up to a constant, and the ODE application is the special case where the variety is the solution set.","Because the signature determines a path only up to tree-like excursions, the criterion is inherently about generalized solutions modulo harmless back-and-forth reparametrization."],"supporting_citations":[{"why":"supplies the signature uniqueness theorem that identifies reduced paths from their signatures, the bridge from signature equations back to path properties.","marker":"[Che58]"},{"why":"gives the rule for how signatures behave under polynomial maps, which produces the variety equations (3).","marker":"[CP20]"},{"why":"provides the hyperplane-containment criterion for signatures used in the proof of the variety characterization.","marker":"[GS24]"},{"why":"furnishes the alternative path-variety and hyperplane lemmas the paper invokes and compares against.","marker":"[Pre23]"},{"why":"supplies the jet-space geometric theory that lets jet extensions of functions serve as solutions in Theorems 5.2 and 5.7.","marker":"[AGLV91]"},{"why":"is the reference for the shuffle identity and the word algebra that converts products of signature entries into linear conditions.","marker":"[Reu93]"},{"why":"provides the jet-space formulation of differential equations used to set up the Cauchy problem in Section 5.1.","marker":"[BCD+99]"}],"fun_headline_variants":["Linear signature equations characterize ODE solutions","Signature tensors: linear test for ODE solutions","ODE solutions cut out by linear signature conditions","Signature algebra pinpoints ODE solution paths","Linear equations in signatures solve ODE membership"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The converse of the main theorem assumes, without checking, that the starting point of the path already satisfies the polynomial equations defining the ODE system, whereas the signature conditions alone only force those expressions to be constant along the path—so a path starting outside the solution variety can pass all three tests without being a solution.","fun_headline_variants_meta":{"raw":{"variants":["Linear signature equations characterize ODE solutions","Signature tensors: linear test for ODE solutions","ODE solutions cut out by linear signature conditions","Signature algebra pinpoints ODE solution paths","Linear equations in signatures solve ODE membership"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000151,"raw_usage":{"total_tokens":1112,"prompt_tokens":772,"completion_tokens":340,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":388,"completion_tokens_details":{"reasoning_tokens":273}},"tokens_in":388,"tokens_out":340,"duration_ms":3700,"temperature":1.0,"reasoning_tokens":273,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T20:18:11.197266+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the system $F(x_1,x_2,x_3)=x_3-1$, the Cauchy problem $x'=1$, $x(0)=0$, and the path $X(t)=(t,2t,2)$ on $[0,1]$. All three conditions of Theorem 5.9 hold: $X(0)\\in\\Sigma$, the holonomic equation holds, and $\\langle\\sigma(X),3w\\rangle=0$ for every word $w$ because the third coordinate is constant. The claimed solution $f(t)=X_2(t)=2t$ has $f'=2\\ne 1$, so the stated converse fails.","supporting_citations":[],"review_version":1}