A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials (2404.18117v1)
Abstract: This paper tackles the problem of constructing Bezout matrices for Newton polynomials in a basis-preserving approach that operates directly with the given Newton basis, thus avoiding the need for transformation from Newton basis to monomial basis. This approach significantly reduces the computational cost and also mitigates numerical instability caused by basis transformation. For this purpose, we investigate the internal structure of Bezout matrices in Newton basis and design a basis-preserving algorithm that generates the Bezout matrix in the specified basis used to formulate the input polynomials. Furthermore, we show an application of the proposed algorithm on constructing confederate resultant matrices for Newton polynomials. Experimental results demonstrate that the proposed methods perform superior to the basis-transformation-based ones.
- The Rayleigh quotient iteration for generalized companion matrix pencils. Preprint, 2006.
- Geometric applications of the Bezout matrix in the Lagrange basis. In Proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, SNC ’07, page 55–64, New York, NY, USA, 2007. Association for Computing Machinery.
- Barnett S. Greatest common divisor of several polynomials. In Mathematical Proceedings of the Cambridge Philosophical Society, volume 70, pages 263–268. Cambridge University Press, 1971.
- Barnett S. A note on the Bezoutian matrix. SIAM Journal on Applied Mathematics, 22(1):84–86, 1972.
- Barnett S. Polynomials and Linear Control Systems. Marcel Dekker, Inc., USA, 1983.
- Bernstein-Bezoutian matrices. Theoretical Computer Science, 315(2-3):319–333, 2004.
- Subresultants in multiple roots: an extremal case. Linear Algebra and its Applications, 529:185–198, 2017.
- Shape preserving representations and optimality of the Bernstein basis. Advances in Computational Mathematics, 1(2):173–196, 1993.
- Fast Computation of the Bezout and Dixon Resultant Matrices. Journal of Symbolic Computation, 33(1):13–29, 2002.
- Collins G E. Subresultants and reduced polynomial remainder sequences. Journal of the ACM (JACM), 14(1):128–142, 1967.
- Subresultants and the Shape Lemma. Mathematics of Computation, 92:2355–2379, 2021.
- A shape preserving representation with an evaluation algorithm of linear complexity. Computer Aided Geometric Design, 20(1):1–10, 2003.
- Various new expressions for subresultants and their applications. Applicable Algebra in Engineering, Communication and Computing, 15(3):233–266, 2004.
- On the numerical condition of polynomials in Bernstein form. Computer Aided Geometric Design, 4(3):191–216, 1987.
- Shape preserving properties of the generalised Ball basis. Computer Aided Geometric Design, 8(2):115–121, 1991.
- Ho C-J. Topics in Algebraic Computing: Subresultants, GCD, Factoring and Primary Ideal Decomposition. PhD thesis, USA, 1989.
- A condition for multiplicity structure of univariate polynomials. Journal of Symbolic Computation, 104:523–538, 2021.
- Subresultant of several univariate polynomials. arXiv:2112.15370, 2021.
- Computing greatest common divisor of several parametric univariate polynomials via generalized subresultant polynomials. arXiv:2401.00408, 2023.
- Double Sylvester sums for subresultants and multi-Schur functions. Journal of Symbolic Computation, 35(6):689–710, 2003.
- Li Y B. A new approach for constructing subresultants. Applied Mathematics and Computation, 183(1):471–476, 2006.
- Mac Duffee C C. The characteristic equation. In The Theory of Matrices. Ergebnisse der Mathematik und Ihrer Grenzgebiete, pages 17–29, Springer Berlin Heidelberg, Berlin, Heidelberg, 1933.
- Bernstein–Bezoutian matrices and curve implicitization. Theoretical computer science, 377(1-3):65–72, 2007.
- Polynomials with respect to a general basis. i. theory. Journal of Mathematical Analysis and Applications, 72(1):177–194, 1979.
- Interpolation, pages 37–144. Springer New York, New York, NY, 2002.
- Sylvester J. On a theory of syzygetic relations of two rational integral functions, comprising an application to the theory of Sturm’s functions, and that of the greatest algebraic common measure. Phil. Trans, 143:407–548, 1853.
- Terui A. Recursive polynomial remainder sequence and its subresultants. Journal of Algebra, 320(2):633–659, 2008.
- Generalized companion subresultants of several univariate polynomials in Newton basis. arXiv:2212.03422, 2022.
- Bézout subresultants for univariate polynomials in general basis. arXiv:2305.03906, 2023.
- Yang Z H. Polynomial Bezoutian matrix with respect to a general basis. Linear Algebra and its Applications, 331(1):165–179, 2001.