An iterative method for calculating approximate GCD of univariate polynomials

We present an iterative algorithm for calculating approximate greatest common divisor (GCD) of univariate polynomials with the real coefficients. For a given pair of polynomials and a degree, our algorithm finds a pair of polynomials which has a GCD of the given degree and whose coefficients are perturbed from those in the original inputs, making the perturbations as small as possible, along with the GCD. The problem of approximate GCD is transfered to a constrained minimization problem, then solved with a so-called modified Newton method, which is a generalization of the gradient-projection method, by searching the solution iteratively. We demonstrate that our algorithm calculates approximate GCD with perturbations as small as those calculated by a method based on the structured total least norm (STLN) method, while our method runs significantly faster than theirs by approximately up to 30 times, compared with their implementation. We also show that our algorithm properly handles some ill-conditioned problems with GCD containing small or large leading coefficient.

[1]  Zhonggang Zeng,et al.  The numerical greatest common divisor of univariate polynomials , 2021, ArXiv.

[2]  Victor Y. Pan,et al.  Computation of Approximate Polynomial GCDs and an Extension , 2001, Inf. Comput..

[3]  Arnold Schönhage,et al.  Quasi-GCD computations , 1985, J. Complex..

[4]  J. B. Rosen The Gradient Projection Method for Nonlinear Programming. Part I. Linear Constraints , 1960 .

[5]  M. N. Belur,et al.  Computing approximate GCD of univariate polynomials , 2010, 18th Mediterranean Conference on Control and Automation, MED'10.

[6]  Erich Kaltofen,et al.  Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials , 2006, ISSAC '06.

[7]  Stephen M. Watt,et al.  The singular value decomposition for polynomial systems , 1995, ISSAC '95.

[8]  Robert M. Corless,et al.  Optimization strategies for the approximate GCD problem , 1998, ISSAC '98.

[9]  D K Smith,et al.  Numerical Optimization , 2001, J. Oper. Res. Soc..

[10]  George Labahn,et al.  A Fast and Numerically Stable Euclidean-Like Algorithm for Detecting Relatively Prime Numerical Polynomials , 1998, J. Symb. Comput..

[11]  Zhonggang Zeng ApaTools: a software toolbox for approximate polynomial algebra , 2009, ACCA.

[12]  Felipe Cucker,et al.  COMPLEXITY AND REAL COMPUTATION: A MANIFESTO , 1996 .

[13]  I. Emiris,et al.  Certified approximate univariate GCDs , 1997 .

[14]  Tateaki Sasaki,et al.  Computing Approximate GCDs in Ill-conditioned Cases , 2007, SNC '07.

[15]  J. B. Rosen The gradient projection method for nonlinear programming: Part II , 1961 .

[16]  V. Pan On computations with dense structured matrices , 1990 .

[17]  Stephen M. Watt,et al.  QR factoring to compute the GCD of univariate approximate polynomials , 2004, IEEE Transactions on Signal Processing.

[18]  E. Kaltofen,et al.  Structured Low Rank Approximation of a Sylvester Matrix , 2007 .

[19]  Akira Terui GPGCD, an iterative method for calculating approximate GCD, for multiple univariate polynomials , 2011, ACCA.

[20]  André Galligo,et al.  A subdivision method for computing nearest gcd with certification , 2011, Theor. Comput. Sci..

[21]  Paola Boito,et al.  Structured Matrix Based Methods for Approximate Polynomial GCD , 2011 .

[22]  L. Zhi DISPLACEMENT STRUCTURE IN COMPUTING APPROXIMATE GCD OF UNIVARIATE POLYNOMIALS , 2003 .

[23]  Akira Terui GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients , 2010 .

[24]  Dario Bini,et al.  A Fast Algorithm for Approximate Polynomial GCD Based on Structured Matrix Computations , 2010 .

[25]  James Demmel,et al.  Applied Numerical Linear Algebra , 1997 .

[26]  N. S. Barnett,et al.  Private communication , 1969 .

[27]  Narendra Karmarkar,et al.  On Approximate GCDs of Univariate Polynomials , 1998, J. Symb. Comput..

[28]  K. Tanabe A geometric method in nonlinear programming , 1980 .

[29]  Zhonggang Zeng,et al.  The approximate GCD of inexact polynomials , 2004, ISSAC '04.

[30]  T. Sasaki,et al.  Approximate square-free decomposition and root-finding of lll-conditioned algebraic equations , 1989 .

[31]  Xiaoyan Ma,et al.  QR-factorization method for computing the greatest common divisor of polynomials with inexact coefficients , 2000, IEEE Trans. Signal Process..

[32]  Nicholas J. Higham,et al.  INVERSE PROBLEMS NEWSLETTER , 1991 .