{"id":"f6a822c4-730d-4533-9a99-a1c8ecad4e2d","arxiv_id":"1908.06833","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Over a finite field, every multivariate skew polynomial ring is isomorphic, via an affine change of variables, to a diagonal zero-derivation ring, with isomorphism classes determined by the multiset of Frobenius automorphisms.","lead":"Every multivariate skew polynomial ring over a finite field can be rewritten, by an affine change of variables, in a diagonal form with zero derivation, and the only remaining freedom is a permutation of the Frobenius maps on the diagonal. The result gives an explicit computational reduction and a classification invariant for a class of rings used in error-correcting code constructions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The advertised 'full classification (free or not)' overreaches: non-free quotient rings are not classified by the sigma-multiset (e.g., F_4[x]/(x^4-x) vs F_4[x]/(x^5-x^2)), and non-degree-preserving isomorphisms lie outside the scope of Theorems 4-6.","rationale":"I read the main proof chain as correct within its stated technical scope. Theorem 1 is a valid inner-derivation argument, and Theorem 2 can be seen even more directly from sigma(c)^(q-1)=I, which forces diagonalizability. Theorems 4-6 are internally consistent: they classify diagonal free rings up to degree-preserving F_q-algebra isomorphisms, identified with affine transformations by Theorem 4. My concern is not with those proofs. The problem is the advertised scope. The abstract states a 'full classification of such multivariate skew polynomial rings (free or not)' and that 'two such representations only differ in a permutation'; the proofs establish a normalization of the ambient free ring and a classification of diagonal free rings up to affine maps. Non-free rings additionally carry an ideal I, which is not captured by the multiset of Frobenius automorphisms; the F_4 example shows the same multiset can give non-isomorphic quotient rings. Moreover, arbitrary F_q-algebra isomorphisms of free rings need not be affine, as the automorphism x_1 -> x_1 + x_2^2 in the sigma=Id case shows, so the equivalence relation used is strictly finer than algebra isomorphism. Hence the classification is best stated as 'up to degree-preserving isomorphisms of the free cover', and the abstract should be qualified accordingly. The reader's CONDITIONAL verdict remains appropriate.","tokens_in":22107,"tokens_out":37615,"duration_ms":402052,"concrete_test":"Verify the two univariate conventional quotient rings F_4[x]/(x^4-x) and F_4[x]/(x(x^4-x)). Both are quotients by two-sided ideals contained in I(F_4), hence both fall under the paper's class of non-free multivariate skew polynomial rings; yet they have F_4-dimensions 4 and 5, respectively, and therefore are not isomorphic. This single check settles that no classification by the multiset of Frobenius automorphisms alone can cover non-free rings as the abstract claims.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The core free-ring results are internally sound: Theorem 1 (inner derivations) and Theorem 2 (diagonalizability) check out, and Theorems 4-6 are correct as statements about affine, degree-preserving F_q-algebra isomorphisms. The load-bearing gap is the advertised scope. The abstract promises a 'full classification' of free and non-free multivariate skew polynomial rings, but the proofs classify only the ambient free ring up to degree-preserving isomorphisms. Theorem 6 characterizes affine transformations between diagonal free rings; Theorem 4 identifies degree-preserving isomorphisms with affine maps. Nothing controls non-degree-preserving isomorphisms. This is not an idle technicality: for sigma=Id, delta=0, the free algebra F_q[x_1,x_2] admits the non-affine automorphism T(x_1)=x_1+x_2^2, T(x_2)=x_2, so arbitrary algebra isomorphisms form a strictly larger equivalence relation. More decisively, for non-free rings the ideal I is not part of the classification invariant. With q=4 and sigma=Id, both F_4[x]/(x^4-x) and F_4[x]/(x(x^4-x)) are quotients by ideals contained in the vanishing ideal I(F_4), but they are not isomorphic (dimensions 4 and 5), despite having the same diagonal representative F_4[x]. Thus the sigma-multiset can only describe free rings up to degree-preserving isomorphism, not the promised 'full classification (free or not)'.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies multivariate skew polynomial rings over finite fields as defined in [16]. Its main results are: (i) every ring morphism from F_q to F_q^{n x n} is diagonalizable (Theorem 2); (ii) every (σ,τ)-derivation over F_q is inner (Theorem 1); (iii) every free multivariate skew polynomial ring F_q[x;σ,δ] is F_q-algebra isomorphic, via an affine transformation of variables, to a diagonal zero-derivation ring F_q[x;σ_1,...,σ_n], with the isomorphism preserving evaluations and degrees (Theorem 5); and (iv) two such diagonal zero-derivation rings are related by an affine transformation if and only if the diagonal automorphism lists are permutations of each other (Theorem 6). The paper concludes that this yields a full classification of free and non-free multivariate skew polynomial rings over finite fields.","tokens_in":22331,"tokens_out":6543,"duration_ms":59013,"significance":"The core technical results are solid and useful: the diagonalization theorem and the inner-derivation theorem are proved constructively over finite fields, and the affine normal form gives an explicit, computationally accessible way to simplify free multivariate skew polynomial rings. The paper correctly identifies affine transformations as exactly the degree-preserving F_q-algebra isomorphisms (Theorem 4) and proves the permutation characterization for those isomorphisms (Theorem 6). These results are a genuine contribution to the structure theory of multivariate skew polynomial rings. However, the advertised full classification of non-free rings is not achieved: the paper only classifies free rings up to degree-preserving isomorphism, and the ideal data defining quotient rings is not captured by the σ-multiset.","major_comments":[{"comment":"The abstract and the concluding paragraph claim a 'full classification of such multivariate skew polynomial rings (free or not)'. This is not what the proofs establish. Theorem 6 is explicitly about affine transformations, and Theorem 4 characterizes only degree-preserving F_q-algebra isomorphisms. The paper never proves that every F_q-algebra isomorphism between these rings preserves degrees. In fact, for the free algebra F_q<x_1,x_2> with σ=Id, δ=0, the substitution T(x_1)=x_1+x_2^2, T(x_2)=x_2 is an F_q-algebra automorphism that is not degree-preserving and not affine. Thus the equivalence relation used in the classification is strictly finer than algebra isomorphism, and the statement 'full classification' is an overreach.","section":"Section 7, concluding paragraph"},{"comment":"The classification does not account for the ideal I in passing to quotients of the form F_q[x;σ,δ]/I with I ⊆ I(F_q^n). While Corollaries 1 and 3 show that an affine transformation sends such ideals to ideals in the diagonal ring, the paper gives no classification of the resulting ideals J, and the multiset (σ_1,...,σ_n) carries no information about J. As a concrete counterexample, take q=4, n=1, σ=Id, δ=0. Both F_4[x]/(x^4-x) and F_4[x]/(x(x^4-x)) are quotients by two-sided ideals contained in I(F_4), so both are non-free multivariate skew polynomial rings in the sense of the paper, and both are covered by the same diagonal representative F_4[x;Id]. Yet they are not isomorphic, since their F_4-dimensions are 4 and 5. Hence the σ-multiset cannot classify non-free rings.","section":"Section 2 (non-free rings) and Section 7"},{"comment":"Theorem 6 states that an affine transformation between diagonal rings exists if and only if the automorphism lists are permutations. The proof correctly compares eigenvalues of the matrices at a primitive element. However, this only characterizes the relation 'connected by an affine transformation', which by Theorem 4 is the same as 'isomorphic by a degree-preserving F_q-algebra isomorphism'. Since the paper's classification statement in the abstract and introduction uses the unqualified word 'isomorphic', the proof does not support the stronger claim. The statement of Theorem 6 is fine, but its interpretation as a full classification is not.","section":"Theorem 6 proof"}],"minor_comments":[{"comment":"The summation in Eq. (7) is written with powers σ(a)^i τ(a)^{j-i}, but the proof of Theorem 1 uses the reversed order τ(c)^i σ(c)^{j-i}. The two coincide because σ(a) and τ(a) commute for all a, but the notation should be made consistent to avoid confusion.","section":"Lemma 1"},{"comment":"The sentence 'In addition, ours proofs show...' contains a typo: 'ours' should be 'our'.","section":"Abstract"},{"comment":"The claim that the displayed δ is a σ-derivation that is not inner is left with 'The proof is left to the reader'. Since this example is used to show that the finite-field assumption is necessary, a proof or reference should be supplied.","section":"Example 1"},{"comment":"The symbol Λ_i is used both for the Jordan blocks in (12) and for the diagonal entries later in the proof; renaming one of these would improve readability.","section":"Proof of Theorem 2"},{"comment":"In the paragraph before Proposition 12, 'Proposition 11' is cited for the degree-preservation result; it would be clearer to state explicitly that this follows from the inverse property in Proposition 11, as done in Proposition 8.","section":"Section 5.5"}],"recommendation":"major_revision","confidential_remarks":"The main results are correct within the scope of degree-preserving isomorphisms, but the paper consistently overstates the scope in the abstract, introduction, and conclusion. The author should either weaken the claims to 'classification up to degree-preserving isomorphism of the free ring' or extend the results to handle arbitrary isomorphisms of quotient rings, which seems a much harder problem. I would not recommend rejection because the core theorems are valuable and the overclaim is fixable by revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The useful core is real: for F_q[x; sigma, delta], the paper proves every ring morphism sigma is diagonalizable and every derivation is inner, then uses affine changes of variables to reduce to diagonal zero-derivation form. That is genuinely new for n > 1, and the proofs are coherent. I checked the diagonalization step and the inner-derivation identity; both work, and the reduction preserves evaluations and degrees, which matters for code applications.\n\nThe soft spot is the gap between what is proved and what the abstract claims. The classification in Theorems 4-6 is only for F_q-algebra isomorphisms that preserve degrees, and Theorem 6 is only about affine transformations. That does not give a full classification of algebra isomorphism classes. In the ordinary commutative ring F_q[x_1, x_2] (sigma = Id, delta = 0), the map x_1 -> x_1 + x_2^2, x_2 -> x_2 is an automorphism that does not preserve degree, so non-degree-preserving isomorphisms form a strictly larger equivalence relation. The abstract's \"free or not\" also overreaches: for quotient rings by ideals contained in the vanishing ideal, the ideal is not part of the normal form. With q = 4, F_4[x]/(x^4 - x) and F_4[x]/(x^5 - x^2) are both quotients by ideals in the vanishing ideal of the same free ring, but they have dimensions 4 and 5, so the sigma-multiset cannot classify them. Thus the claimed full classification of non-free rings is not delivered.\n\nMinor issues: a few proofs are left to the reader (Example 1 and parts of Theorem 4), and the summation order in Lemma 1 is a cosmetic inconsistency with the proof, harmless under the commutativity hypothesis.\n\nBottom line: this is a solid free-ring normal-form theorem, useful to people working on multivariate skew polynomial evaluation codes. The abstract and conclusion should be rewritten to say \"degree-preserving F_q-algebra isomorphisms\" and to drop or carefully qualify the non-free claim. With that revision it deserves publication; without it, the classification claim is misleading. I would send it to a serious referee, not desk reject, with a clear request to fix the scope.","headline":"Genuinely useful normal-form results for free multivariate skew polynomial rings over finite fields, whose abstract overstates the classification to non-free and non-degree-preserving cases.","tokens_in":22985,"tokens_out":3076,"would_cite":true,"duration_ms":31096,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11T06","11T30","12E10","12E20"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every multivariate skew polynomial ring over a finite field is isomorphic, by an evaluation- and degree-preserving affine change of variables, to a diagonal zero-derivation ring; two such diagonal rings are isomorphic exactly when their…","keywords":["affine transformations","derivations","free polynomial rings","Moore matrices","multivariate skew polynomial rings","Vandermonde matrices","finite fields","Frobenius automorphisms"],"falsifier":"A concrete check is to search for an $F_q$-algebra isomorphism between $F_q[x;\\sigma_1,\\ldots,\\sigma_n]$ and $F_q[x;\\tau_1,\\ldots,\\tau_n]$ in which the lists $(\\sigma_i)$ and $(\\tau_i)$ are not permutations of each other. If such an isomorphism exists that fails to preserve degrees, the classification parameter overreaches; a natural first test is the pair $F_4[x;\\mathrm{Id},\\mathrm{Fr}]$ and $F_4[x;\\mathrm{Fr},\\mathrm{Fr}]$ with $n=2$, looking for an isomorphism not of the affine form $T_{A,\\lambda}$.","tokens_in":21795,"feed_emoji":"🧮","tokens_out":15860,"duration_ms":136115,"temperature":0.7,"pith_summary":"This paper establishes a normal form for every multivariate skew polynomial ring over a finite field, whether free or a quotient by an ideal of polynomials that vanish at every point. The normal form is a ring $F_q[x;\\sigma_1,\\ldots,\\sigma_n]$ in which each variable obeys $x_i a=\\sigma_i(a)x_i$ and the derivation is zero, and the $\\sigma_i$ are Frobenius automorphisms of $F_q$. The reduction is achieved by an affine transformation of variables, a composition of a linear change and a translation, which preserves evaluations and degrees. The paper concludes that the isomorphism classes of these rings, under degree-preserving algebra isomorphisms, are classified by multisets of Frobenius automorphisms, and that the normal form can be found by a finite computation from the matrix attached to a primitive element of the field. This matters because these rings carry the evaluation theory behind Moore and Vandermonde matrices and evaluation codes, so the classification turns a noncommutative structural problem into a finite combinatorial one.","feed_headline":"Every finite-field skew polynomial ring has a diagonal normal form","feed_subtitle":"Two rings match exactly when their Frobenius automorphisms are permuted, and the simplification is computable.","key_machinery":"The central object is the affine transformation of variables $T_{A,\\lambda}=\\varphi_\\lambda\\circ\\phi_A$, where $\\phi_A$ is the linear change of variables $x\\mapsto Ax$ and $\\varphi_\\lambda$ is the translation $x\\mapsto x+\\lambda$. It carries the argument because conjugation by $A$ diagonalizes $\\sigma$, while the translation absorbs the inner derivation: $\\sigma(a)=A\\,\\mathrm{diag}(\\sigma_1(a),\\ldots,\\sigma_n(a))A^{-1}$ and $\\delta(a)=A(\\lambda a-\\mathrm{diag}(\\sigma_1(a),\\ldots,\\sigma_n(a))\\lambda)$. The load-bearing identity for the derivation part is the explicit formula $\\lambda=(\\tau(c)-\\sigma(c))^{q-2}\\delta(c)$ for a primitive element $c\\in F_q^{\\times}$, which converts any derivation into an inner derivation; for the morphism part, the proof uses the Jordan canonical form of $\\sigma(c)$ to show that all off-diagonal blocks vanish. The same transformation extends to quotient rings because it preserves evaluations and degrees.","core_discovery":"The core discovery is that over a finite field $F_q$ the two structure maps of a multivariate skew polynomial ring are rigid: every ring morphism $\\sigma:F_q\\to F_q^{n\\times n}$ is conjugate to a diagonal morphism $\\mathrm{diag}(\\sigma_1,\\ldots,\\sigma_n)$ whose entries are Frobenius automorphisms (Theorem 2), and every $\\sigma$-derivation $\\delta$ is inner, of the form $\\delta(a)=\\lambda a-\\sigma(a)\\lambda$ for some vector $\\lambda$ (Theorem 1). Theorem 5 then gives an affine transformation of variables $T_{A,\\lambda}=\\varphi_\\lambda\\circ\\phi_A$, with $\\phi_A(x)=Ax$ and $\\varphi_\\lambda(x)=x+\\lambda$, that is an $F_q$-algebra isomorphism from $F_q[x;\\sigma,\\delta]$ onto the normal form $F_q[x;\\sigma_1,\\ldots,\\sigma_n]$, preserving evaluations and degrees. Theorem 6 shows that an affine transformation between two such normal forms exists if and only if the lists $(\\sigma_1,\\ldots,\\sigma_n)$ and $(\\tau_1,\\ldots,\\tau_n)$ differ by a permutation. Thus the isomorphism classes of these rings, within the class of degree-preserving $F_q$-algebra isomorphisms, are represented by multisets of Frobenius automorphisms of $F_q$.","pith_inferences":["The paper leaves implicit that counting the normal forms gives a closed formula: over $F_{p^m}$ with $n$ variables there are $\\binom{n+m-1}{n}$ degree-preserving isomorphism classes, because the Frobenius automorphisms form a cyclic group of order $m$.","The classification is proved only for degree-preserving $F_q$-algebra isomorphisms; whether non-degree-preserving algebra isomorphisms exist between the diagonal normal forms is not settled here, so the abstract's phrase 'full classification' should be read with that scope.","Because the affine transformations send vanishing ideals to vanishing ideals and preserve evaluations, the normal form gives a canonical way to compare multivariate skew-polynomial evaluation codes; one could test whether two such code families differ only by a coordinate permutation.","A direct isomorphism test suggested by the proofs is to compare the sorted list of eigenvalues of $\\sigma(c)$ for a primitive element $c$; two rings are in the same degree-preserving class exactly when these lists coincide up to permutation."],"forward_implications":["Every free multivariate skew polynomial ring over $F_q$ is isomorphic, by an explicit affine transformation of variables, to a diagonal zero-derivation ring $F_q[x;\\sigma_1,\\ldots,\\sigma_n]$.","The same normal form covers non-free and minimal multivariate skew polynomial rings, because the affine transformations preserve evaluations and map ideals of polynomials that vanish everywhere onto one another.","Two diagonal zero-derivation rings $F_q[x;\\sigma_1,\\ldots,\\sigma_n]$ and $F_q[x;\\tau_1,\\ldots,\\tau_n]$ are isomorphic by an affine transformation exactly when the $\\sigma_i$ and $\\tau_i$ lists are permutations of each other.","The reduction is algorithmic: diagonalize the matrix $\\sigma(c)$ for a primitive element $c$, then compute the translation vector $\\lambda$ from $\\delta(c)$, so both the normal form and the isomorphism are obtained explicitly.","This extends to $n$ variables the univariate facts that all finite-field automorphisms are Frobenius maps and all derivations over finite fields are inner derivations."],"supporting_citations":[{"why":"Defines the free multivariate skew polynomial rings, their universal evaluation, and the vanishing ideals used to form the non-free rings that the paper classifies.","marker":"[16]"},{"why":"Introduces skew polynomial rings and the commutation relation between the variable and field elements that underlies the entire construction.","marker":"[22]"},{"why":"Supplies the fact that all endomorphisms of a finite field are Frobenius automorphisms, used to identify the diagonal entries and prove the permutation theorem.","marker":"[13]"},{"why":"Provides the univariate fact that all derivations over finite fields are inner, which Theorem 1 generalizes to the multivariate setting.","marker":"[5]"},{"why":"Gives the Jordan canonical form over finite fields used in the proof that every morphism from the finite field to a matrix ring is diagonalizable.","marker":"[4]"},{"why":"Introduces the evaluation and conjugacy formalism for skew polynomials over division rings that the evaluation-preservation statements extend to multivariate rings.","marker":"[9]"},{"why":"Establishes the Vandermonde-matrix viewpoint of skew-polynomial evaluation that motivates the classification and its applications.","marker":"[8]"}],"fun_headline_variants":["Skew rings over finite fields: diagonal normal form exists","Finite-field skew polynomials simplify to diagonal form","Classification via Frobenius multisets for skew rings over finite fields","Every finite-field skew ring is isomorphic to a diagonal one","Finite-field skew rings: normal form unique up to Frobenius permutation"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The classification is complete only among isomorphisms that preserve polynomial degrees; the paper does not prove that every algebra isomorphism between the diagonal normal forms preserves degrees.","fun_headline_variants_meta":{"raw":{"variants":["Skew rings over finite fields: diagonal normal form exists","Finite-field skew polynomials simplify to diagonal form","Classification via Frobenius multisets for skew rings over finite fields","Every finite-field skew ring is isomorphic to a diagonal one","Finite-field skew rings: normal form unique up to Frobenius permutation"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001578,"raw_usage":{"total_tokens":6330,"prompt_tokens":1010,"completion_tokens":5320,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":626,"completion_tokens_details":{"reasoning_tokens":5235}},"tokens_in":626,"tokens_out":5320,"duration_ms":31876,"temperature":1.0,"reasoning_tokens":5235,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:36:31.712347+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete check is to search for an $F_q$-algebra isomorphism between $F_q[x;\\sigma_1,\\ldots,\\sigma_n]$ and $F_q[x;\\tau_1,\\ldots,\\tau_n]$ in which the lists $(\\sigma_i)$ and $(\\tau_i)$ are not permutations of each other. If such an isomorphism exists that fails to preserve degrees, the classification parameter overreaches; a natural first test is the pair $F_4[x;\\mathrm{Id},\\mathrm{Fr}]$ and $F_4[x;\\mathrm{Fr},\\mathrm{Fr}]$ with $n=2$, looking for an isomorphism not of the affine form $T_{A,\\lambda}$.","supporting_citations":[{"cited_title":"Mart ´ ınez-Pe˜ nas and F","cited_arxiv_id":null,"evidence_quote":"Defines the free multivariate skew polynomial rings, their universal evaluation, and the vanishing ideals used to form the non-free rings that the paper classifies."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces skew polynomial rings and the commutation relation between the variable and field elements that underlies the entire construction."},{"cited_title":"Lidl and H","cited_arxiv_id":null,"evidence_quote":"Supplies the fact that all endomorphisms of a finite field are Frobenius automorphisms, used to identify the diagonal entries and prove the permutation theorem."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the univariate fact that all derivations over finite fields are inner, which Theorem 1 generalizes to the multivariate setting."},{"cited_title":"Birkhoff and S","cited_arxiv_id":null,"evidence_quote":"Gives the Jordan canonical form over finite fields used in the proof that every morphism from the finite field to a matrix ring is diagonalizable."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the evaluation and conjugacy formalism for skew polynomials over division rings that the evaluation-preservation statements extend to multivariate rings."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the Vandermonde-matrix viewpoint of skew-polynomial evaluation that motivates the classification and its applications."}],"review_version":1}