arxiv: 2605.09286 · v1 · submitted 2026-05-10 · 🧮 math.AC · cs.SC

Recognition: 2 theorem links

· Lean Theorem

Matrix equivalence to Smith normal form: new theoretical results for multivariate polynomial matrices

Dingkang Wang, Dong Lu, Fanghui Xiao, Yuanyuan Ruan

Pith reviewed 2026-05-12 03:46 UTC · model grok-4.3

classification 🧮 math.AC cs.SC

keywords Smith normal formmultivariate polynomial matrixreduced minorsunit idealmatrix equivalencepolynomial ringFrost-Storey conjecture

0 comments

The pith

A multivariate polynomial matrix reaches Smith normal form exactly when its reduced minors generate the unit ideal.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proves that a multivariate polynomial matrix is equivalent over the ring to its Smith normal form precisely when the reduced minors of each order generate the unit ideal. The result confirms Frost and Storey's conjecture for a broad class of matrices and shows why the condition matters for diagonalizing polynomial systems without changing the coefficient ring. The proof relies on matrix theory and ideal theory in polynomial rings. Extending the matrices by ring automorphisms makes the result apply more widely.

Core claim

For matrices in a broad class over the polynomial ring in several indeterminates, equivalence to Smith normal form holds if and only if the reduced minors of every order generate the unit ideal in the ring. The authors further show that this characterization remains valid for the larger class obtained by applying automorphisms of the polynomial ring to the original matrices.

What carries the argument

The reduced minors condition, which requires that the ideal generated by the k-order reduced minors is the entire ring for each k. It acts as the necessary and sufficient test for the existence of invertible polynomial matrices transforming the given matrix into diagonal Smith form.

If this is right

The matrix can be diagonalized with entries that are the invariant factors.
One can verify the equivalence property by computing ideal generators rather than solving for the transforming matrices directly.
The result covers many more matrices after a change of polynomial variables induced by ring automorphisms.
It settles the conjecture affirmatively within the identified class.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Computational algebra systems could implement the minor condition check using Groebner bases to test specific matrices.
The criterion may help in analyzing linear systems over polynomial rings in engineering applications.
Similar minor-based conditions might be explored for other normal forms or ring classes.
One could seek examples where the condition fails to bound the size of the class where the conjecture holds.

Load-bearing premise

That the reduced-minor ideal condition is both necessary and sufficient exactly on the broad class of matrices to which the proof applies, and that extending via automorphisms introduces no counterexamples to the equivalence.

What would settle it

A concrete multivariate polynomial matrix for which the reduced minors generate the unit ideal at every order, yet the matrix cannot be transformed to its Smith normal form by multiplication with invertible matrices over the same ring.

read the original abstract

This paper investigates the Smith normal form equivalence problem for multivariate polynomial matrices. Using methods from matrix theory and polynomial ideal theory, we prove that Frost and Storey's 1978 conjecture holds for a broad class of matrices: such a matrix is equivalent to its Smith normal form if and only if its reduced minors of each order generate the unit ideal. Moreover, by extending the original matrix class via automorphisms of the polynomial ring, we show that our framework applies in a substantially more general setting.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper proves the Frost-Storey conjecture for a broad class of multivariate polynomial matrices by linking Smith normal form equivalence to reduced minors generating the unit ideal, then widens the class via ring automorphisms.

read the letter

The key result is a proof of the Frost-Storey conjecture for a broad class of multivariate polynomial matrices: equivalence to Smith normal form holds if and only if the reduced minors generate the unit ideal. They also extend the class using ring automorphisms. This is genuinely new. The conjecture has been around since 1978, and this gives both the if-and-only-if statement and a way to apply it more widely. The paper does well by sticking to standard methods from matrix and ideal theory. The necessity is straightforward from ideal properties. Sufficiency is handled within the class, and the automorphism extension is a nice way to generalize without reinventing the wheel. Soft spots are minor. The class is called broad, but the exact definition and how large it is in practice aren't clear without the full details. It would help to see if there are matrices outside this class where the condition fails but equivalence still holds, or vice versa. Also, no mention of how to compute the reduced minors efficiently, but that's more of an implementation issue than a theoretical one. For readers in algebraic computation and commutative algebra, this provides a checkable criterion that could be implemented in systems like Singular or Macaulay2. It deserves a serious referee because it tackles an open conjecture with a concrete condition. I would recommend sending it for peer review.

Referee Report

0 major / 3 minor

Summary. The paper proves the Frost-Storey conjecture for a broad class of multivariate polynomial matrices: a matrix is equivalent to its Smith normal form if and only if the reduced minors of each order generate the unit ideal. The result is extended to a substantially larger class by composing with automorphisms of the polynomial ring.

Significance. If the central if-and-only-if characterization holds, the work resolves a 1978 conjecture in polynomial matrix theory with direct implications for systems and control theory. The necessity direction follows from standard ideal-theoretic arguments; sufficiency is established on a well-defined subclass and then propagated via ring automorphisms. The manuscript supplies a clean, parameter-free statement together with an explicit extension mechanism.

minor comments (3)

[Theorem 3.2] The precise definition of the 'broad class' of matrices for which the reduced-minor condition is assumed to be sufficient should be stated explicitly in the statement of the main theorem (rather than only in the surrounding discussion).
[Section 2] A short paragraph recalling the definition of reduced minors (including the precise normalization) would improve readability for readers outside the immediate subfield.
[Section 4] The automorphism-extension argument would benefit from an explicit verification that the Smith normal form is preserved under the induced action on matrices.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. No specific major comments were listed in the report, so we have no points to address individually. We will make the minor revisions as recommended by the referee.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper proves an if-and-only-if theorem for equivalence to Smith normal form in a broad class of multivariate polynomial matrices, conditioned on reduced minors of each order generating the unit ideal. Necessity follows from standard ideal theory while sufficiency is established directly within the class via matrix and ideal-theoretic arguments; the subsequent extension by ring automorphisms is a standard algebraic construction that adds no self-referential definitions, fitted parameters, or load-bearing self-citations. No derivation step reduces to its own inputs by construction, and the central claim rests on external mathematical foundations rather than renaming or smuggling prior results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard facts about polynomial rings and ideals; no free parameters or invented entities are introduced in the abstract.

axioms (1)

standard math Multivariate polynomial rings over a field are commutative rings with the usual ideal theory and unit ideal generation properties
Invoked when stating that reduced minors generate the unit ideal

pith-pipeline@v0.9.0 · 5377 in / 1211 out tokens · 110679 ms · 2026-05-12T03:46:39.655351+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes
V(I)=∅ if and only if I=R

Reference graph

Works this paper leans on

72 extracted references · 72 canonical work pages

[1]

Applied Multidimensional Systems Theory

Bose, N., 1982. Applied Multidimensional Systems Theory. Van Nostrand Reinhold, New York

work page 1982
[2]

Multidimensional Systems Theory and Applications

Bose, N., Buchberger, B., Guiver, J., 2003. Multidimensional Systems Theory and Applications. Dordrecht, The Netherlands: Kluwer

work page 2003
[3]

Ideals, Varieties, and Algorithms, Third Edition, Undergraduate Texts in Mathematics

Cox, D., Little, J., O'shea, D., 2007. Ideals, Varieties, and Algorithms, Third Edition, Undergraduate Texts in Mathematics. Springer, New York

work page 2007
[4]

Applications of the quillen-suslin theorem to multidimensional systems theory

Fabia\' n ska, A., Quadrat, A., 2007. Applications of the quillen-suslin theorem to multidimensional systems theory. Radon Series on Computational and Applied Mathematics 3, 23--106

work page 2007
[5]

Equivalence of a matrix over R [s,z] with its S mith form

Frost, M., Storey, C., 1978. Equivalence of a matrix over R [s,z] with its S mith form. International Journal of Control 28 (5), 665--671

work page 1978
[6]

Equivalence of matrices over R [s,z] : a counter-example

Frost, M., Storey, C., 1981. Equivalence of matrices over R [s,z] : a counter-example. International Journal of Control 34 (6), 1225--1226

work page 1981
[7]

Matrix Polynomials

Gohberg, I., Lancaster, P., Rodman, L., 1982. Matrix Polynomials. Academic Press, New York

work page 1982
[8]

New results on equivalence of multivariate polynomial matrices

Guan, J., Liu, J., Zheng, L., Wu, T., Liu, J., 2025. New results on equivalence of multivariate polynomial matrices. Journal of Systems Science and Complexity 38, 1823--1832

work page 2025
[9]

Polynomial matrix primitive factorization over arbitrary coefficient field and related results

Guiver, J., Bose, N., 1982. Polynomial matrix primitive factorization over arbitrary coefficient field and related results. IEEE Transactions on Circuits and Systems 29 (10), 649--657

work page 1982
[10]

U ber ganze birationale T ransformationen der E bene. Journal f\

Jung, H., 1942. \" U ber ganze birationale T ransformationen der E bene. Journal f\" u r die reine und angewandte Mathematik 184, 161--174

work page 1942
[11]

Serre's Conjecture

Lam, T., 1978. Serre's Conjecture. Lecture Notes in Mathematics 635. Springer, Berlin

work page 1978
[12]

Smith form of the matrix over the unique factorization domain

Li, D., Chen, Z., Liu, J., 2025. Smith form of the matrix over the unique factorization domain. Scientia Sinica Mathematica 55 (5), 919--926

work page 2025
[13]

Some further results on the S mith form of bivariate polynomial matrices

Li, D., Liang, R., Liu, J., 2019. Some further results on the S mith form of bivariate polynomial matrices. Journal of Systems Science and Mathematical Sciences 39 (12), 1983--1997

work page 2019
[14]

The S mith form of a multivariate polynomial matrix over an arbitrary coefficient field

Li, D., Liu, J., Chu, D., 2022. The S mith form of a multivariate polynomial matrix over an arbitrary coefficient field. Linear and Multilinear Algebra 70 (2), 366--379

work page 2022
[15]

On matrix fraction descriptions of multivariable linear n- D systems

Lin, Z., 1988. On matrix fraction descriptions of multivariable linear n- D systems. IEEE Transactions on Circuits and Systems 35 (10), 1317--1322

work page 1988
[16]

A generalization of S erre's conjecture and some related issues

Lin, Z., Bose, N., 2001. A generalization of S erre's conjecture and some related issues. Linear Algebra and its Applications 338, 125--138

work page 2001
[17]

On the equivalence and factorization of multivariate polynomial matrices

Lin, Z., Boudellioua, M., Xu, L., 2006. On the equivalence and factorization of multivariate polynomial matrices. In: Proceeding of ISCAS. Kos, Greece, pp. 4911--4914

work page 2006
[18]

The S mith normal form and reduction of weakly linear matrices

Liu, J., Li, D., Wu, T., 2024. The S mith normal form and reduction of weakly linear matrices. Journal of Symbolic Computation 120 (102232), 1--14

work page 2024
[19]

The S mith form of quasi weakly linear polynomial matrices

Liu, J., Wu, T., Guan, J., Kang, Y., 2025. The S mith form of quasi weakly linear polynomial matrices. Journal of Systems Science and Mathematical Sciences, 1--18. DOI: 10.12341/jssms250752

work page doi:10.12341/jssms250752 2025
[20]

On the equivalence problem of smith forms for multivariate polynomial matrices

Lu, D., Wang, D., Xiao, F., Zheng, X., 2024. On the equivalence problem of smith forms for multivariate polynomial matrices. Preprint, 1--19. DOI: arXiv:2407.06649v1

work page arXiv 2024
[21]

Theory of S mith forms for bivariate polynomial matrices

Lu, D., Wang, D., Xiao, F., Zheng, X., 2025. Theory of S mith forms for bivariate polynomial matrices. Journal of Systems Science and Complexity, 1--22. DOI: 10.1007/s11424--025--5125--0

work page doi:10.1007/s11424--025--5125--0 2025
[22]

Smith normal forms of bivariate polynomial matrices

Lu, D., Wang, D., Xiao, F., Zheng, X., 2026. Smith normal forms of bivariate polynomial matrices. Linear Algebra and its Applications 737, 308--330

work page 2026
[23]

On Automorphism Group of k[x,y]

Nagata, M., 1972. On Automorphism Group of k[x,y] . Vol. 5 of Lectures in Mathematics, Kyoto University. Kinokuniya, Tokyo

work page 1972
[24]

Smith forms of matrices in companion rings, with group theoretic and topological applications

Noferini, V., Williams, G., 2025. Smith forms of matrices in companion rings, with group theoretic and topological applications. Linear Algebra and its Applications 708, 372--404

work page 2025
[25]

Projective modules over polynomial rings

Quillen, D., 1976. Projective modules over polynomial rings. Inventiones mathematicae 36 (1), 167--171

work page 1976
[26]

Faisceaux alg\' e briques coh\' e rents

Serre, J., 1955. Faisceaux alg\' e briques coh\' e rents. Annals of Mathematics 61 (2), 197--278

work page 1955
[27]

The N agata automorphism is wild

Shestakov, I., Umirbaev, U., 2003. The N agata automorphism is wild. Proceedings of the National Academy of Sciences 100 (22), 12561--12563

work page 2003
[28]

The tame and the wild automorphisms of polynomial rings in three variables

Shestakov, I., Umirbaev, U., 2004. The tame and the wild automorphisms of polynomial rings in three variables. Journal of the American Mathematical Society 17 (1), 197--227

work page 2004
[29]

Linear Algebra and Its Applications

Strang, G., 2010. Linear Algebra and Its Applications. Academic Press, New York

work page 2010
[30]

Projective modules over polynomial rings are free

Suslin, A., 1976. Projective modules over polynomial rings are free. Soviet mathematics - Doklady 17, 1160--1165

work page 1976
[31]

Polynomial Automorphisms and the Jacobian Conjecture

van den Essen, A., 2000. Polynomial Automorphisms and the Jacobian Conjecture. Vol. 190 of Progress in Mathematics. Birkh\" a user, Basel

work page 2000
[32]

On polynomial rings in two variables

van der Kulk, W., 1953. On polynomial rings in two variables. Nieuw Archief voor Wiskunde 1 (3), 33--41

work page 1953
[33]

On L in- B ose problem

Wang, M., Feng, D., 2004. On L in- B ose problem. Linear Algebra and its Applications 390, 279--285

work page 2004
[34]

Notes on n-dimensional system theory

Youla, D., Gnavi, G., 1979. Notes on n-dimensional system theory. IEEE Transactions on Circuits and Systems 26 (2), 105--111

work page 1979
[35]

Polynomial algebra isomorphism and S mith form of matrices

Zeng, Z., Liu, J., Wu, T., 2025. Polynomial algebra isomorphism and S mith form of matrices. Journal of Systems Science and Mathematical Sciences, 1--11. DOI: 10.12341/jssms250751

work page doi:10.12341/jssms250751 2025
[36]

New results on the equivalence of bivariate polynomial matrices

Zheng, X., Lu, D., Wang, D., Xiao, F., 2023. New results on the equivalence of bivariate polynomial matrices. Journal of Systems Science and Complexity 36 (1), 77--95

work page 2023
[37]

and Umirbaev, U

Shestakov, I. and Umirbaev, U. , journal=. The

work page
[38]

Journal of the American Mathematical Society , volume=

The tame and the wild automorphisms of polynomial rings in three variables , author=. Journal of the American Mathematical Society , volume=

work page
[39]

, series=

Nagata, M. , series=. On Automorphism Group of

work page
[40]

, journal =

Jung, H. , journal =. \"

work page
[41]

Nieuw Archief voor Wiskunde , volume =

On polynomial rings in two variables , author =. Nieuw Archief voor Wiskunde , volume =

work page
[42]

, title =

van den Essen, A. , title =

work page
[43]

and Little, J

Cox, D. and Little, J. and O'shea, D. , title =

work page
[44]

and Williams, G

Noferini, V. and Williams, G. , title =. Linear Algebra and its Applications , volume =

work page
[45]

1982 , publisher=

Applied Multidimensional Systems Theory , author=. 1982 , publisher=

work page 1982
[46]

2003 , publisher=

Multidimensional Systems Theory and Applications , author=. 2003 , publisher=

work page 2003
[47]

and Lancaster, P

Gohberg, I. and Lancaster, P. and Rodman, L. , title =

work page
[48]

and Storey, C

Frost, M. and Storey, C. , journal =. Equivalence of a matrix over

work page
[49]

and Storey, C

Frost, M. and Storey, C. , title =. International Journal of Control , volume =

work page
[50]

Proceeding of ISCAS , pages=

On the equivalence and factorization of multivariate polynomial matrices , author=. Proceeding of ISCAS , pages=. 2006 , address=

work page 2006
[51]

and Li, D

Liu, J. and Li, D. and Wu, T. , journal =. The

work page
[52]

and Wu, T

Liu, J. and Wu, T. and Guan, J. and Kang, Y. , journal =. The. 2025 url =

work page 2025
[53]

and Liang, R

Li, D. and Liang, R. and Liu, J. , journal =. Some further results on the

work page
[54]

Journal of Systems Science and Complexity , volume=

New results on the equivalence of bivariate polynomial matrices , author=. Journal of Systems Science and Complexity , volume=

work page
[55]

Journal of Systems Science and Complexity , volume=

New results on equivalence of multivariate polynomial matrices , author=. Journal of Systems Science and Complexity , volume=

work page
[56]

Preprint , volume=

On the equivalence problem of Smith forms for multivariate polynomial matrices , author=. Preprint , volume=. 2024 url =

work page 2024
[57]

and Wang, D

Lu, D. and Wang, D. and Xiao, F. and Zheng, X. , journal =. Theory of. 2025 url =

work page 2025
[58]

and Wang, D

Lu, D. and Wang, D. and Xiao, F. and Zheng, X. , title =. Linear Algebra and its Applications , volume =

work page
[59]

and Chen, Z

Li, D. and Chen, Z. and Liu, J. , title =. Scientia Sinica Mathematica , volume =

work page
[60]

, journal =

Lin, Z. , journal =. On matrix fraction descriptions of multivariable linear n-

work page
[61]

, title =

Strang, G. , title =

work page
[62]

and Liu, J

Li, D. and Liu, J. and Chu, D. , journal =. The

work page
[63]

IEEE Transactions on Circuits and Systems , volume=

Notes on n-dimensional system theory , author=. IEEE Transactions on Circuits and Systems , volume=

work page
[64]

Inventiones mathematicae , volume=

Projective modules over polynomial rings , author=. Inventiones mathematicae , volume=

work page
[65]

Soviet mathematics - Doklady , volume=

Projective modules over polynomial rings are free , author=. Soviet mathematics - Doklady , volume=

work page
[66]

, journal =

Serre, J. , journal =. Faisceaux alg\'

work page
[67]

1978 , publisher=

Serre's Conjecture , author=. 1978 , publisher=

work page 1978
[68]

and Feng, D

Wang, M. and Feng, D. , journal =. On

work page
[69]

and Bose, N

Lin, Z. and Bose, N. , journal =. A generalization of

work page
[70]

and Bose, N

Guiver, J. and Bose, N. , TITLE =. IEEE Transactions on Circuits and Systems , VOLUME =

work page
[71]

and Liu, J

Zeng, Z. and Liu, J. and Wu, T. , journal =. Polynomial algebra isomorphism and. 2025 url =

work page 2025
[72]

Radon Series on Computational and Applied Mathematics , volume=

Applications of the Quillen-Suslin theorem to multidimensional systems theory , author=. Radon Series on Computational and Applied Mathematics , volume=

work page