Computing the measure of a polynomial (Q1093675)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Computing the measure of a polynomial |
scientific article |
Statements
Computing the measure of a polynomial (English)
0 references
1987
0 references
Let \(P(x)\) be a polynomial of degree \(d\) with integer coefficients, leading coefficient \(a_0\) and roots \(x_1,\dots,x_d\). This paper considers some methods of computing \(\#(P)\), the number of roots of \(P\) satisfying \(| x_i| >1\), and \(M(P)\), the Mahler measure of \(P\), defined by \[ M(P) = | a_0| \prod \max (| x_i|,1) = \exp \biggl(\int_0^1\log | P(e^{2\pi it})| \,dt \biggr). \] The root-squaring algorithm for computing \(M(P)\) which is discussed in section 2.2 was introduced in a paper of the reviewer [Math. Comput. 35, 1361--1377 (1980; Zbl 0447.12002)], where a discussion of its advantages and disadvantages is given (see esp. p. 1367). Two other natural methods are suggested by the two formulas for \(M(P)\) given above. For the authors' example on p. 31, a short computation produces the root of 12 decimal place accuracy giving \(M(P)=7.0436280134\) and \(\#(P)=2\). The results of \textit{V. Pan} [Comput. Math. Appl. 14, 591--622 (1987)], for example, allow a complexity analysis of this approach. It would be interesting to analyse an approach based on numerical integration of \(\log | P(e^{2\pi it})|\), which has been used successfully by C. J. Smyth. The authors indicate an algebraic method based on exterior products for computing \(P_k(x)\), the polynomial whose roots are the products of the form \(x_{i_1}\dots x_{i_k}\), \(1\leq i_1< \dots <i_k\leq d\). Knowing \(\#(P)\), this gives a polynomial of which \(M(P)\) is a root. They state this ``this result is mostly of theoretical interest''. A more practical approach is to use the power sums of \(P\) and \(P_k\) and Newton's formulas.
0 references
algorithms
0 references
integral polynomial
0 references
Mahler measure
0 references
root-squaring algorithm
0 references
complexity analysis
0 references