{"id":"5f1f447b-a7d2-4c56-9d8d-057cd539f518","arxiv_id":"1908.08927","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Rotation-invariant image moments are shown to be equivalent to classical SO(2) invariants of binary forms, with complete minimal generating sets for orders 3 through 5 and explicit rational invariants for every order.","lead":"Image moments are numbers that describe a picture, and moment invariants are combinations of them that do not change under rotation, shifting, or scaling. This paper proves that computing all such invariants is equivalent to a classical algebra problem, and it explicitly lists complete invariants up to image moment order 5.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 7's stated generating set is incomplete: the condition q≠s omits required mixed invariants with equal eigenvalue magnitudes, so the rational-invariant claim is false as written.","rationale":"The reader's weakest_assumption was that Theorem 1 relies on an unproved transformation formula for normalized central moments. On inspection, the formula in the proof is garbled but the derived derivation D(η_{p,q}) = qη_{p+1,q−1} − pη_{p−1,q+1} is consistent with the standard rotation law for central moments, and the d=2 and d=3 examples check out; so that concern, while a presentation gap, does not land as a mathematical error. The more concrete and demonstrable problem is in Theorem 7, where the condition q≠s omits invariants of the form e_n(si)e_p(−qi) with s=q but n≠p. Such monomials have zero weight and are needed for the field of rational invariants; Example 6.2 itself includes one (β11 for d=5), contradicting the theorem statement. This is a localized typo rather than a failure of the overall method, so the verdict should remain CONDITIONAL, consistent with the reader's assessment, but the stated theorem needs correction before the rational-invariant claim can be taken as proven.","tokens_in":20628,"tokens_out":34735,"duration_ms":272175,"concrete_test":"Using a computer algebra system, compute the rational invariant subfield of C(W_5) generated by the 16 invariants allowed by the stated q≠s condition and test whether e_5(i)e_3(−i) is contained. If it is not contained, the stated theorem is false. Then recompute with the corrected condition excluding only the single eigenvector (n,s)=(p,q), verify that the resulting 17 invariants are algebraically independent (Jacobian rank 17) and that e_5(i)e_3(−i) is rationally generated; this confirms the intended statement and isolates the typo.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing concern is in Section 6, Theorem 7. The stated set G(d)_{p,q} = {e_{2j}(0), e_n(si)e_n(−si), e_n(si)^q e_p(−qi)^s | 2 ≤ n ≤ d, j ≤ l0, si ∈ Λ_n, s > 0, q ≠ s} is not a generating set when the same eigenvalue magnitude q occurs in multiple degrees and n ≠ p. Concretely, for d=5, p=3, q=1, the invariant β11 = x51 y31 = e_5(i)e_3(−i) has s=q=1 and is invariant because its weight is i − i = 0. The condition q≠s excludes it, leaving 16 invariants instead of dim W_5 − 1 = 17. Those 16 invariants cannot rationally generate e_5(i)e_3(−i): the only invariant containing x51 is x51y51, and the invariants containing y31 are x31y31 and the type-3 monomials with powers of y31; no rational combination isolates x51y31. The proof's auxiliary first integrals x_k^{λ_q} y_q^{λ_k} exclude only the single chosen eigenvector (index k=q), not every eigenvector with eigenvalue value q. Example 6.2 confirms the intended set includes β11. Thus the theorem statement contains a typo, but as written it is false; since this theorem supplies the minimal generating set for the rational invariant field, the central claim is not supported by the stated theorem.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a bridge between the classical theory of 2D moment invariants and the classical invariant theory of binary forms. The author defines the algebras C[η]_d^{SO(2)} and C(η)_d^{SO(2)} of simultaneous polynomial and rational rotation moment invariants of order up to d, and claims in Theorem 1 that these are isomorphic to the joint SO(2)-invariant algebras C[W_d]^{so_2} and C(W_d)^{so_2}, where W_d = V_2 ⊕ ⋯ ⊕ V_d. The proof proceeds by passing to the Lie algebra action, diagonalizing the resulting derivation D with the help of Kravchuk polynomials, and then solving the invariant condition as a monomial-weight equation. The paper gives explicit minimal generating sets of the polynomial invariant algebra for d=3,4,5 (14, 65, and 562 generators, respectively), proves a Cayley–Sylvester-type counting formula and a Poincaré-series formula, and claims in Theorem 7 a minimal generating set of the rational invariant field C(W_d)^{so_2} of size dim W_d − 1, confirming Flusser's earlier result.","tokens_in":20890,"tokens_out":16909,"duration_ms":169774,"significance":"If the technical gaps are repaired, the paper would be a useful contribution: it gives a conceptually clean reduction of rotation moment invariants to classical invariant theory, produces explicit and reproducible Hilbert-basis computations for low orders, and provides a parameter-free derivation with no fitted constants. The use of Kravchuk polynomials to diagonalize the rotation action is elegant, and the small cases d=2,3,4 are checked in detail. The claimed rational-invariant generating set, however, is the central output of the paper, and the stated form of Theorem 7 is internally inconsistent with Example 6.2; this must be fixed before the main claim can be accepted.","major_comments":[{"comment":"The displayed generating set G(d)_{p,q} imposes the condition q ≠ s in the third family e_n(si)^q e_p(−qi)^s. For d=5, p=3, q=1, this excludes the invariant e_5(i)e_3(−i) = x_{51}y_{31}, whose weight is i − i = 0. That invariant is nevertheless listed as β_{11} in Example 6.2, and the example's set has 17 elements, the required dim W_5 − 1, whereas the theorem's stated set has only 16 elements. The correct exclusion is not 'q ≠ s' but '(n,s) = (p,q)': the product e_n(si)e_p(−qi) with n ≠ p and s = q is an independent invariant, while e_p(qi)^q e_p(−qi)^q is already generated by e_p(qi)e_p(−qi). Since Theorem 7 is the statement that supplies the minimal generating set of the rational invariant field, the paper's central claim is not supported by the theorem as written.","section":"Section 6, Theorem 7"},{"comment":"In the auxiliary derivation proof, the first integrals are written as x_k^{λ_q} y_q^{λ_k}. But for the actual derivation D one has λ_j = i s_j, so these expressions involve complex powers such as x_k^{i q} y_q^{i s}, which are not elements of the rational function field C(W_d) and are not rational invariants. The proof can be repaired by applying the scalar multiple D' = −iD, which has the same kernel and integer weights, but as written the algebraic-independence and first-integral arguments do not apply to the stated rational monomials. The proof should also state explicitly that the constructed first integrals form a complete set of first integrals, not merely an algebraically independent set, since algebraic independence plus the transcendence-degree count alone does not by itself show that the listed monomials generate the whole invariant field.","section":"Section 6, proof of Theorem 7"},{"comment":"The proof of Theorem 1 concludes the isomorphism of invariant algebras from the fact that the moment action and the binary-form action satisfy 'the same partial differential equation'. This is too terse for a foundational theorem: the author should explicitly define the algebra isomorphism φ: C[η]_d → C[W_d] by η_{p,q} ↦ a_{p,q}, verify that φ intertwines the two derivations, and then justify the equality of the fixed subrings with the kernels for both the polynomial and the rational cases. The intended argument is straightforward, but the current wording leaves the isomorphism asserted rather than proved.","section":"Section 2, Theorem 1"}],"minor_comments":[{"comment":"The summation index in the formula 'd∑_{p+q=2} (qη_{p+1,q−1} − pη_{p−1,q+1}) ∂/∂η_{p,q}' should be over all pairs with 2 ≤ p+q ≤ d, not only the pair p+q=2.","section":"Section 2, Theorem 1 proof"},{"comment":"The sentence 'The the set of dim Wd−1 invariants' contains a duplicated article and should read 'The set of dim W_d − 1 invariants'.","section":"Section 6, Theorem 7"},{"comment":"The phrase 'This allow us' is ungrammatical and should be 'This allows us'.","section":"Abstract"},{"comment":"The text contains the Cyrillic-looking string 'СоСоA'; this should be the ASCII name 'CoCoA' for consistency with reference [28].","section":"Section 4, Example 4.4"},{"comment":"References [14], [25], and [31] are the same Flusser paper and should be merged to avoid duplicate citations.","section":"References"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear [Colleague] — You asked about Bedratyuk, arXiv:1908.08927. The one-sentence take: the paper gives a genuinely useful so2/Kravchuk reformulation and explicit polynomial generators through order 5, but the rational-invariant theorem has a load-bearing typo and its proof is incomplete; still worth serious reviewing.\n\nThe genuinely new material is the diagonalization of the rotation derivation on normalized central moments, with eigenvectors expressed via Kravchuk polynomials; the analogue of the Cayley-Sylvester count and the Poincare series; and the Hilbert-basis computations giving 14, 65, and 562 polynomial generators for d=3,4,5. The d=3 and d=4 lists are explicit and checkable, and the connection between moment invariants and binary forms is set up cleanly. This is a real mathematical contribution, not a repackaging.\n\nThe soft spots, in order of seriousness. First, Theorem 7 as written is false: the condition q≠s excludes mixed invariants like e_5(i)e_3(−i) for d=5, p=3, q=1, which the paper's own Example 6.2 lists as β11. The intended condition should exclude only the single chosen eigenvector (the pair (n,s)=(p,q)), not all pairs with equal eigenvalue magnitude. This is a typo-level fix, but the theorem is the rational-invariant result, so the statement needs correction. Second, the proof of Theorem 7 proves algebraic independence but not generation; that is a genuine gap, repairable with a torus-action argument or a reference. Third, the d=5 computation is asserted without reproducible data — no CoCoA scripts or full list. Minor but worth asking for.\n\nI agree with the reader's conditional overall, but I'd weight the q≠s issue a bit more heavily than the report does — it is the central theorem. That said, the machinery is sound and the fix looks straightforward. Send it to a serious referee; desk rejection would be wrong.","headline":"Useful so2/Kravchuk machinery and explicit polynomial generators, but Theorem 7's rational-invariant set has a fixable index typo and the generation proof is incomplete.","tokens_in":21452,"tokens_out":8201,"would_cite":true,"duration_ms":635999,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["13A50","15A72"],"pacs":[],"model":"deepseek-v4-flash","headline":"Image moment invariants are exactly joint SO(2)-invariants of binary forms, and solving one linear derivation gives the complete minimal generating sets: 14, 65, and 562 invariants for orders 3, 4, and 5.","keywords":["moment invariants","binary forms","SO(2)-invariants","Lie algebra action","Kravchuk polynomials","Hilbert basis","classical invariant theory","pattern recognition"],"falsifier":"Compute the derivative with respect to $\\theta$ at $\\theta$=0 of the rotated normalized central moment for eta_{1,1}; if the result is not eta_{2,0} - eta_{0,2}, then the isomorphism in Theorem 1 fails. This can be checked symbolically from eta_{p,q}=mu_{p,q}/mu_{0,0}^{(p+q)/2+1} or numerically on a simple compact image.","tokens_in":20389,"feed_emoji":"📐","tokens_out":8867,"duration_ms":85946,"temperature":0.7,"pith_summary":"This paper claims that the search for 2D rotation moment invariants can be recast exactly as a classical invariant theory problem: the algebra of polynomial (or rational) moment invariants of order up to d is isomorphic to the algebra of joint SO(2)-invariants of binary forms of degrees 2 through d. Because SO(2) is one-dimensional, the group action can be replaced by a single derivation D, and all invariants are just the kernel of this derivation. This yields minimal polynomial generating sets: 14 invariants for d=3, 65 for d=4, and 562 for d=5. It also yields an explicit minimal rational invariant set of size dim W_d - 1 for every d. If correct, this unifies moment-based image classification with the classical theory of binary forms.","feed_headline":"Image moment invariants are binary-form invariants","feed_subtitle":"One differential equation yields the complete minimal generating sets: 14, 65, and 562 invariants.","key_machinery":"The central object is the direct sum W_d = V_2 oplus V_3 oplus ... oplus V_d of binary-form spaces and the algebra C[W_d]^so2 of joint invariants under the one-dimensional Lie algebra action generated by the derivation D. The construction diagonalizes D: its eigenvalues are {-di, -(d-2)i, ..., di}, and its eigenvectors are e_d(+-si) = sum_j i^j K_j((d -/+ s)/2, d) a_{d-j,j}, where K_j are binary Kravchuk polynomials. This turns the search for invariants into finding monomials with zero total eigenvalue, and Hilbert bases of the resulting monoid give minimal polynomial generating sets. For rational invariants, a transcendence-basis argument produces the smaller explicit set $G^{{(d)}}$_{p,q}.","core_discovery":"Theorem 1 asserts that C[eta]^SO(2)_d is isomorphic to C[W_d]^so2 and C(eta)^SO(2)_d is isomorphic to C(W_d)^so2, where W_d is the direct sum V_2 oplus V_3 oplus ... oplus V_d of binary-form spaces. The proof passes from the rotation group to its Lie algebra, so that invariant construction becomes solving D(f)=0 for the diagonalizable derivation D(eta_{p,q}) = q eta_{p+1,q-1} - p eta_{p-1,q+1}. The paper proves that D has spectrum {-di, -(d-2)i, ..., di} and eigenvectors expressible through binary Kravchuk polynomials, and then uses Hilbert bases of a monoid to obtain minimal generating sets of polynomial invariants. For rational invariants, it proves that a minimal generating set has exactly dim W_d - 1 elements and gives the explicit set $G^{{(d)}}$_{p,q}. The final result confirms and generalizes the known minimal rational invariant set for rotation moment invariants.","pith_inferences":["The same Lie-algebra eigenvector method could be applied to other one-parameter subgroups of GL(2), such as shear or anisotropic scale, producing analogous Hilbert-basis generator problems.","Representing an invariant in the Hilbert basis gives its monomial coefficients, so sensitivity of moment invariants to image noise could be studied directly in this monomial model.","Because the rational invariant set is much smaller than the polynomial minimal sets, a practical large-d classifier could use rational invariants for the actual features and polynomial invariants as a completeness certificate.","A direct symbolic derivation of the rotation formula D(eta_{p,q}) = q eta_{p+1,q-1} - p eta_{p-1,q+1} from the definition of normalized central moments would make the whole isomorphism self-contained."],"forward_implications":["For every order d there is a finite set of polynomial invariants whose equality on two images forces the images into the same orbit of the translation-rotation-scale group.","Minimal polynomial generating sets can be computed mechanically as Hilbert bases of a monoid; the paper carries this out for d=3, 4, and 5, giving 14, 65, and 562 generators.","The rational invariants are even simpler: a minimal generating set of size dim W_d - 1 exists for every d, and the paper writes it down explicitly.","The Cayley-Sylvester analogue gives the number of independent homogeneous invariants of each degree as the count of non-negative integer solutions of a linear Diophantine system, with a closed Poincare-series integral.","The eigenvectors of the derivation are Kravchuk-polynomial combinations, and complex moments are exactly these eigenvectors."],"supporting_citations":[{"why":"supplies the quoted action formula for normalized central moments under rotation.","marker":"[6]"},{"why":"also supplies the rotation action formula used in the proof of Theorem 1.","marker":"[10]"},{"why":"introduced moment invariants and framed the fundamental theorem connecting them to joint invariants of binary forms.","marker":"[5]"},{"why":"provides the revised fundamental theorem of moment invariants used to set up the isomorphism.","marker":"[8]"},{"why":"gives the prior minimal rational invariant set that Theorem 7 confirms and generalizes.","marker":"[14]"},{"why":"is the classical source for the derivation action on binary forms used in Example 2.2.","marker":"[19]"},{"why":"supplies the diagonalization of the Sylvester matrix used to prove the spectrum of D.","marker":"[23]"},{"why":"provides the generating function for the binary Kravchuk polynomials used to write the eigenvectors.","marker":"[24]"},{"why":"writes the same rational invariants in terms of complex moments, the comparison used in the examples.","marker":"[25]"},{"why":"is the computer algebra system that computes the Hilbert bases producing the 14, 65, and 562 generator counts.","marker":"[28]"}],"fun_headline_variants":["Moment invariants are just binary-form invariants","One differential equation gives all rotation moment invariants","Minimal invariant sets: 14, 65, 562 for moments","Lie algebra trick simplifies 2D moment invariants","Classical invariant theory solves 2D moments"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that normalized central moments rotate according to the quoted formula D(eta_{p,q}) = q eta_{p+1,q-1} - p eta_{p-1,q+1}, which the paper takes from the literature rather than deriving from the definition.","fun_headline_variants_meta":{"raw":{"variants":["Moment invariants are just binary-form invariants","One differential equation gives all rotation moment invariants","Minimal invariant sets: 14, 65, 562 for moments","Lie algebra trick simplifies 2D moment invariants","Classical invariant theory solves 2D moments"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000802,"raw_usage":{"total_tokens":3482,"prompt_tokens":857,"completion_tokens":2625,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":473,"completion_tokens_details":{"reasoning_tokens":2546}},"tokens_in":473,"tokens_out":2625,"duration_ms":19219,"temperature":1.0,"reasoning_tokens":2546,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:02:16.318043+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the derivative with respect to $\\theta$ at $\\theta$=0 of the rotated normalized central moment for eta_{1,1}; if the result is not eta_{2,0} - eta_{0,2}, then the isomorphism in Theorem 1 fails. This can be checked symbolically from eta_{p,q}=mu_{p,q}/mu_{0,0}^{(p+q)/2+1} or numerically on a simple compact image.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the quoted action formula for normalized central moments under rotation."},{"cited_title":"J., Reeves, A","cited_arxiv_id":null,"evidence_quote":"also supplies the rotation action formula used in the proof of Theorem 1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"introduced moment invariants and framed the fundamental theorem connecting them to joint invariants of binary forms."},{"cited_title":"Pattern Anal","cited_arxiv_id":null,"evidence_quote":"provides the revised fundamental theorem of moment invariants used to set up the isomorphism."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"gives the prior minimal rational invariant set that Theorem 7 confirms and generalizes."},{"cited_title":"B., An introduction to the algebra of quanti cs, Clarendon Press, 1913, - 416 pages","cited_arxiv_id":null,"evidence_quote":"is the classical source for the derivation action on binary forms used in Example 2.2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the diagonalization of the Sylvester matrix used to prove the spectrum of D."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"provides the generating function for the binary Kravchuk polynomials used to write the eigenvectors."},{"cited_title":"1405-1410","cited_arxiv_id":null,"evidence_quote":"writes the same rational invariants in terms of complex moments, the comparison used in the examples."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"is the computer algebra system that computes the Hilbert bases producing the 14, 65, and 562 generator counts."}],"review_version":1}