ABSTRACT
The problem of computing the number of distinct real roots of a real polynomial can be solved analyzing the sign variations of the sequence of principal minors of the Hankel matrix associated with the given polynomial. In this paper, we present a modular algorithm to achieve this goal. In this approach, the principal minors sequence of the associated Hankel matrix is computed using modular methods. The computing time analysis shows that the maximum computing time function of the modular algorithm is Ο(n5 l2), where n is the degree of the polynomial and l its length.
Let K[x] be a polynomial ring over the unique factorization domain K, and ƒ(x), g(x) ε K[x (deg(ƒ) = n, deg(g) = m, m ≤ n). Then, we mean by the K-Hankel matrix Hn (f, g) associated with {f, g}, the matrix (hi,j)1≤i,j≤n, where hi,j = di+j-1 and q(x) = dn-mxn+m-1 + … + d2n-1 is the pseudoquotient of x2n-1 g(x) and ƒ(x) (di = 0 if 1 ≤ i < n - m). We also mean by the Q (K)-Hankel matrix Hn (f, g) associated with {f, g}, the matrix (hi,j) 1≤i,j≤n, where hi,j = di+j-1 and q(x) = dn-mxn+m-1 + … + d2n-1 is the quotient of x2n-1g(x) and ƒ(x) in the quotient field Q (K) of K (di = 0 if 1 ≤ i < n - m).
If K is the real field and g(x) is the derivative of ƒ(x) (n = deg(ƒ)), then we associate with the real polynomial ƒ the matrix Hn(f, f′). We also denote the i x i principal submatrix of Hn by Hi. We write Δi = sgn(Di), Di = det(Hi) ≠ 0, and otherwise Δi = (-1)i(i-1)/2 Δk, provided that Dk ≠ 0, Dj = 0 for k < j ≤ i.
A classical result due to Frobenious states that the number of distinct real roots of the polynomial ƒ(x) is ν = r - 2V, where V is the number of sign variations of the sequence S = (1, Δ1, …, Δr), and r = rank(Hn). Therefore, an effective method can be achieved computing the sequence of principal minors. This can be done algorithmically in Ο(n2) operations using the fundamental vector sequence.
Index Terms
- A modular approach to the computation of the number of real roots
Recommendations
Efficiently Computing Real Roots of Sparse Polynomials
ISSAC '17: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic ComputationWe propose an efficient algorithm to compute the real roots of a sparse polynomial f∈R[x] having k non-zero real-valued coefficients. It is assumed that arbitrarily good approximations of the non-zero coefficients are given by means of a coefficient ...
Computation of dominant real roots of polynomials
The computation of the dominant positive roots of univariate polynomials is a key step for real root isolation algorithms. We propose a new device for computing dominant real roots and compare it with other methods. For roots surpassing unity, we obtain ...
Algorithms for Modular Counting of Roots of Multivariate Polynomials
Given a multivariate polynomial P(X1,ź,Xn) over a finite field $\ensuremath {\mathbb {F}_{q}}$ , let N(P) denote the number of roots over $\ensuremath {\mathbb {F}_{q}}^{n}$ . The modular root counting problem is given a modulus r, to determine Nr(P)=N(...
Comments