English
Related papers

Related papers: Equivalent of Multivariate Polynomial Matrix

200 papers

This paper investigates the equivalence reduction for several classes of multivariate polynomial matrices and their Smith forms, establishing some criteria for such reduction. In particular, we employ algebra isomorphisms as a key tool to…

Commutative Algebra · Mathematics 2026-04-24 Zuo Chen , Jiancheng Guan , Dongmei Li

This paper delves into the equivalence problem of Smith forms for multivariate polynomial matrices. Generally speaking, multivariate ($n \geq 2$) polynomial matrices and their Smith forms may not be equivalent. However, under certain…

Symbolic Computation · Computer Science 2024-07-10 Dong Lu , Dingkang Wang , Fanghui Xiao , Xiaopeng Zheng

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…

Commutative Algebra · Mathematics 2026-05-12 Dong Lu , Yuanyuan Ruan , Dingkang Wang , Fanghui Xiao

This paper investigates equivalence of square multivariate polynomial matrices with the determinant being some power of a univariate irreducible polynomial. We first generalized a global-local theorem of Vaserstein. Then we proved these…

Commutative Algebra · Mathematics 2024-06-25 Jiancheng Guan , Jinwang Liu , Dongmei Li , Tao Wu

We consider the problem of computing the nearest matrix polynomial with a non-trivial Smith Normal Form. We show that computing the Smith form of a matrix polynomial is amenable to numeric computation as an optimization problem.…

Symbolic Computation · Computer Science 2019-09-10 Mark Giesbrecht , Joseph Haraldson , George Labahn

This paper is concerned with the factorization and equivalence problems of multivariate polynomial matrices. We present some new criteria for the existence of matrix factorizations for a class of multivariate polynomial matrices, and obtain…

Symbolic Computation · Computer Science 2020-10-15 Dong Lu , Dingkang Wang , Fanghui Xiao

Schemes for exact multiplication of small matrices have a large symmetry group. This group defines an equivalence relation on the set of multiplication schemes. There are algorithms to decide whether two schemes are equivalent. However, for…

Computational Complexity · Computer Science 2022-06-02 Manuel Kauers , Jakob Moosbauer

In 1978, Frost and Storey asserted that a bivariate polynomial matrix is equivalent to its Smith normal form if and only if the reduced minors of all orders generate the unit ideal. In this paper, we first demonstrate by constructing an…

Symbolic Computation · Computer Science 2025-07-29 Dong Lu , Dingkang Wang , Fanghui Xiao , Xiaopeng Zheng

An approach, based on the Smith Normal Form, is introduced to study the spectra of symmetric matrices with a given graph. The approach serves well to explain how the path cover number (resp. diameter of a tree T) is related to the maximum…

Combinatorics · Mathematics 2007-05-23 Bryan L. Shader , In-Jae Kim

The least square solution of minimum norm of a rectangular linear system of equations can be found out iteratively by using matrix splittings. However, the convergence of such an iteration scheme arising out of a matrix splitting is…

Numerical Analysis · Mathematics 2025-08-07 Chinmay Kumar Giri , Debasisha Mishra

Consideration of a question of E. R. Berlekamp led Carlitz, Roselle, and Scoville to give a combinatorial interpretation of the entries of certain matrices of determinant~1 in terms of lattice paths. Here we generalize this result by…

Combinatorics · Mathematics 2014-04-21 Christine Bessenrodt , Richard P. Stanley

In this paper we give a new and simple algorithm to put any multivariate polynomial into a normal determinant form in which each entry has the form , and in each column the same variable appears. We also apply the algorithm to obtain a…

Numerical Analysis · Mathematics 2019-03-21 Massimo Salvi

The system of weak normality equations constitutes a part in the complete system of normality equations. Solutions of each of these two systems of equations are associated with some definite classes of Newtonian dynamical systems in…

Differential Geometry · Mathematics 2007-05-23 Ruslan Sharipov

We study several variants of decomposing a symmetric matrix into a sum of a low-rank positive semidefinite matrix and a diagonal matrix. Such decompositions have applications in factor analysis and they have been studied for many decades.…

Optimization and Control · Mathematics 2023-10-02 Levent Tunçel , Stephen A. Vavasis , Jingye Xu

It is known that any symmetric matrix $M$ with entries in $\R[x]$ and which is positive semi-definite for any substitution of $x\in\R$, has a Smith normal form whose diagonal coefficients are constant sign polynomials in $\R[x]$. We…

Rings and Algebras · Mathematics 2009-09-09 Ronan Quarez

Multidimensional systems are becoming increasingly important as they provide a promising tool for estimation, simulation and control, while going beyond the traditional setting of one-dimensional systems. The analysis of multidimensional…

Systems and Control · Computer Science 2018-05-08 Philippe Dreesen , Kim Batselier , Bart De Moor

Multi-homogeneous polynomial systems arise in many applications. We provide bit complexity estimates for solving them which, up to a few extra other factors, are quadratic in the number of solutions and linear in the height of the input…

Symbolic Computation · Computer Science 2017-12-12 Mohab Safey El Din , Eric Schost

We present an alternative account of the problem of classifying and finding normal forms for arbitrary bilinear forms. Beginning from basic results developed by Riehm, our solution to this problem hinges on the classification of…

Rings and Algebras · Mathematics 2013-11-20 Fernando Szechtman

We present an algorithm for computing a Smith form with multipliers of a regular matrix polynomial over a field. This algorithm differs from previous ones in that it computes a local Smith form for each irreducible factor in the determinant…

Symbolic Computation · Computer Science 2015-03-13 Jon Wilkening , Jia Yu

In this paper, we present and analyze methods for solving a system of linear equations over idempotent semifields. The first method is based on the pseudo-inverse of the system matrix. We then present a specific version of Cramer's rule…

Commutative Algebra · Mathematics 2019-06-25 Fateme Olia , Shaban Ghalandarzadeh , Amirhossein Amiraslani , Sedighe Jamshidvand
‹ Prev 1 2 3 10 Next ›