Computing the measure of a polynomial (Q1093675)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 4023409
Language Label Description Also known as
default for all languages
No label defined
    English
    Computing the measure of a polynomial
    scientific article; zbMATH DE number 4023409

      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
      0 references
      0 references
      0 references
      0 references

      Identifiers