On the refinement of Cauchy's theorem and Pellet's theorem

Using the relationship of a polynomial and its associated polynomial, we derived a necessary and sufficient condition for determining all roots of a given polynomial on the circumference of a circle defined by its associated polynomial. By employing the technology of analytic inequality and the theory of distribution of zeros of meromorphic function, we refine two classical results of Cauchy and Pellet about bounds of modules of polynomial zeros. Sufficient conditions are obtained for the polynomial whose Cauchy's bound and Pellet's bounds are strict bounds. The characteristics is given for the polynomial whose Cauchy's bound or Pellet's bounds can be achieved by the modules of zeros of the polynomial.     

On the complexity of finding paths in a two‐dimensional domain I: Shortest paths

The computational complexity of finding a shortest path in a two‐dimensional domain is studied in the Turing machine‐based computational model and in the discrete complexity theory. This problem is studied with respect to two formulations of polynomial‐time computable two‐dimensional domains: (A) domains with polynomialtime computable boundaries, and (B) polynomial‐time recognizable domains with polynomial‐time computable distance functions. It is proved that the shortest path problem has the polynomial‐space upper bound for domains of both type (A) and type (B); and it has a polynomial‐space lower bound for the domains of type (B), and has a #P lower bound for the domains of type (A). (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Multivariate Polynomial Minimization and Its Application in Signal Processing

We make a conjecture that the number of isolated local minimum points of a 2n-degree or (2n+1)-degree r-variable polynomial is not greater than n ^r when n 2. We show that this conjecture is the minimal estimate, and is true in several cases. In particular, we show that a cubic polynomial of r variables may have at most one local minimum point though it may have 2^r critical points. We then study the global minimization problem of an even-degree multivariate polynomial whose leading order coefficient tensor is positive definite. We call such a multivariate polynomial a normal multivariate polynomial. By giving a one-variable polynomial majored below a normal multivariate polynomial, we show the existence of a global minimum of a normal multivariate polynomial, and give an upper bound of the norm of the global minimum and a lower bound of the global minimization value. We show that the quartic multivariate polynomial arising from broad-band antenna array signal processing, is a normal polynomial, and give a computable upper bound of the norm of the global minimum and a computable lower bound of the global minimization value of this normal quartic multivariate polynomial. We give some sufficient and necessary conditions for an even order tensor to be positive definite. Several challenging questions remain open.     

The degree of the E-characteristic polynomial of an even order tensor

The E-characteristic polynomial of an even order supersymmetric tensor is a useful tool in determining the positive definiteness of an even degree multivariate form. In this paper, for an even order tensor, we first establish the formula of its E-characteristic polynomial by using the classical Macaulay formula of resultants, then give an upper bound for the degree of that E-characteristic polynomial. Examples illustrate that this bound is attainable in some low order and dimensional cases.     

A Unified Rounding Error Bound for Polynomial Evaluation

We present a unified rounding error bound for polynomial evaluation. The bound presented here takes the same general form for the evaluation of a polynomial written in any polynomial basis when the evaluation algorithm can be expressed as a linear recurrence or a first-order linear matrix recurrence relation. Examples of these situations are: Horner's algorithm in the evaluation of power series, Clenshaw's and Forsythe's algorithms in the evaluation of orthogonal polynomial series, de-Casteljau's algorithm for Bernstein polynomial series, the modification of Clenshaw's algorithms in the evaluation of Szeg polynomial series, and so on.     

A new lower bound for the de Bruijn-Newman constant

Summary Strong numerical evidence is presented for a new lower bound for the so-called de Bruijn-Newman constant. This constant is related to the Riemann hypothesis. The new bound, –5, is suggested by high-precision floatingpoint computations, with a mantissa of 250 decimal digits, of i) the coefficients of a so-called Jensen polynomial of degree 406, ii) the so-called Sturm sequence corresponding to this polynomial which implies that it has two complex zeros, and iii) the two complex zoros of this polynomial. Aproof of the new bound could be given if one would repeat the computations i) and iii) with a floatingpoint accuracy of at least 2600 decimal digits.     

A Polynomial Arc-Search Interior-Point Algorithm for Linear Programming

In this paper, ellipsoidal estimations are used to track the central path of linear programming. A higher-order interior-point algorithm is devised to search the optimizers along the ellipse. The algorithm is proved to be polynomial with the best complexity bound for all polynomial algorithms and better than the best known bound for higher-order algorithms.     

A strongly polynomial FPTAS for the symmetric quadratic knapsack problem

The symmetric quadratic knapsack problem (SQKP), which has several applications in machine scheduling, is NP-hard. An approximation scheme for this problem is known to achieve an approximation ratio of (1 + ?) for any ? > 0. To ensure a polynomial time complexity, this approximation scheme needs an input of a lower bound and an upper bound on the optimal objective value, and requires the ratio of the bounds to be bounded by a polynomial in the size of the problem instance. However, such bounds are not mentioned in any previous literature. In this paper, we present the first such bounds and develop a polynomial time algorithm to compute them. The bounds are applied, so that we have obtained for problem (SQKP) a fully polynomial time approximation scheme (FPTAS) that is also strongly polynomial time, in the sense that the running time is bounded by a polynomial only in the number of integers in the problem instance.     

Bounds for resultants of univariate and bivariate polynomials

The paper considers bounds on the size of the resultant for univariate and bivariate polynomials. For univariate polynomials we also extend the traditional representation of the resultant by the zeros of the argument polynomials to formal resultants, defined as the determinants of the Sylvester matrix for a pair of polynomials whose actual degree may be lower than their formal degree due to vanishing leading coefficients. For bivariate polynomials, the resultant is a univariate polynomial resulting by the elimination of one of the variables, and our main result is a bound on the largest coefficient of this univariate polynomial. We bring a simple example that shows that our bound is attainable and that a previous sharper bound is not correct.     

On algebraic numbers of small measure

We give a lower bound for |α?1|, where α is an algebraic number, and also an upper bound for the number of real zeros of a polynomial. A lower bound for the maximal modulus of conjugates of a totally real algebraic integer is also obtained.     

A strongly polynomial simplex method for the linear fractional assignment problem

In this paper we show that the complexity of the simplex method for the linear fractional assignment problem (LFAP) is strongly polynomial. Although LFAP can be solved in polynomial time using various algorithms such as Newton’s method or binary search, no polynomial time bound for the simplex method for LFAP is known.     

A degree inequality for Lie algebras with a regular Poisson semi-center

For Lie algebras whose Poisson semi-center is a polynomial ring we give a bound for the sum of the degrees of the generating semi-invariants. This bound was previously known in many special cases.     

Complexity of solving parametric polynomial systems

In this paper, we present three algorithms: the first one solves zero-dimensional parametric homogeneous polynomial systems within single exponential time in the number n of unknowns; it decomposes the parameter space into a finite number of constructible sets and computes the finite number of solutions by parametric rational representations uniformly in each constructible set. The second algorithm factirizes absolutely multivariate parametic polynomials within single exponential time in n and in the upper bound d on the degree of the factorized polynomials. The third algorithm decomposes algebraic varieties defined by parametric polynomial systems of positive dimension into absolutely irreducible components uniformly in the values of the parameters. The complexity bound for this algorithm is double exponential in n. On the other hand, the lower bound on the complexity of the problem of resolution of parametric polynomial systems is double exponential in n. Bibliography: 72 titles.     

Optimal polynomial smoothers for multigrid V-cycles

The idea of using polynomial methods to improve simple smoother iterations within a multigrid method for a symmetric positive definite system is revisited. A two-level bound going back to Hackbusch is optimized by a very simple iteration, a close cousin of the Chebyshev semi-iterative method, but based on the Chebyshev polynomials of the fourth instead of first kind. A full V-cycle bound for general polynomial smoothers is derived using the V-cycle theory of McCormick. The fourth-kind Chebyshev iteration is quasi-optimal for the V-cycle bound. The optimal polynomials for the V-cycle bound can be found numerically, achieving about an 18% lower error contraction factor bound than the fourth-kind Chebyshev iteration, asymptotically as the number of smoothing steps $k\to \infty$. Implementation of the optimized iteration is discussed, and the performance of the polynomial smoothers is illustrated with numerical examples.     

A refinement of multivariate value set bounds

Over finite fields, if the image of a polynomial map is not the entire field, then its cardinality can be bounded above by a significantly smaller value. Earlier results bound the cardinality of the value set using the degree of the polynomial, but more recent results make use of the powers of all monomials.In this paper, we explore the geometric properties of the Newton polytope and show how they allow for tighter upper bounds on the cardinality of the multivariate value set. We then explore a method which allows for even stronger upper bounds, regardless of whether one uses the multivariate degree or the Newton polytope to bound the value set. Effectively, this provides improvement of a degree matrix-based result given by Zan and Cao, making our new bound the strongest upper bound thus far.     

Relative equilibrium and collapse configurations of four point vortices

Relative equilibrium configurations of point vortices in the plane can be related to a system of polynomial equations in the vortex positions and circulations. For systems of four vortices the solution set to this system is proved to be finite, so long as a number of polynomial expressions in the vortex circulations are nonzero, and the number of relative equilibrium configurations is thereby shown to have an upper bound of 56. A sharper upper bound is found for the special case of vanishing total circulation. The polynomial system is simple enough to allow the complete set of relative equilibrium configurations to be found numerically when the circulations are chosen appropriately. Collapse configurations of four vortices are also considered; while finiteness is not proved, the approach provides an effective computational method that yields all configurations with a given ratio of velocity to position.      

Realizing Alexander polynomials by hyperbolic links

We realize a given (monic) Alexander polynomial by a (fibered) hyperbolic arborescent knot and link having any number of components, and by infinitely many such links having at least 4 components. As a consequence, a Mahler measure minimizing polynomial, if it exists, is realized as the Alexander polynomial of a fibered hyperbolic link of at least 2 components. For a given polynomial, we also give an upper bound for the minimal hyperbolic volume of knots/links realizing the polynomial and, in the opposite direction, construct knots of arbitrarily large volume, which are arborescent, or have given free genus at least 2.     

Parameter choices on Guruswami–Sudan algorithm for polynomial reconstruction

Guruswami–Sudan algorithm for polynomial reconstruction problem plays an important role in the study of error-correcting codes. In this paper, we study new better parameter choices in Guruswami–Sudan algorithm for the polynomial reconstruction problem. As a consequence, our result gives a better upper bound for the number of solutions for the polynomial reconstruction problem comparing with the original algorithm.     

Upper bounds for the number of orbital topological types of planar polynomial vector fields modulo limit cycles

The purpose of this paper is to find an upper bound for the number of orbital topological types of nth-degree polynomial fields in the plane. An obstacle to obtaining such a bound is related to the unsolved second part of the Hilbert 16th problem. This obstacle is avoided by introducing the notion of equivalence modulo limit cycles. Earlier, the author obtained a lower bound of the form $2^{cn^2 } $ . In the present paper, an upper bound of the same form but with a different constant is found. Moreover, for each planar polynomial vector field with finitely many singular points, a marked planar graph is constructed that represents a complete orbital topological invariant of this field.     

The Complexity of Computing the Hilbert Polynomial of Smooth Equidimensional Complex Projective Varieties

We continue the study of counting complexity begun in [13], [14], [15] by proving upper and lower bounds on the complexity of computing the Hilbert polynomial of a homogeneous ideal. We show that the problem of computing the Hilbert polynomial of a smooth equidimensional complex projective variety can be reduced in polynomial time to the problem of counting the number of complex common zeros of a finite set of multivariate polynomials. The reduction is based on a new formula for the coefficients of the Hilbert polynomial of a smooth variety. Moreover, we prove that the more general problem of computing the Hilbert polynomial of a homogeneous ideal is polynomial space hard. This implies polynomial space lower bounds for both the problems of computing the rank and the Euler characteristic of cohomology groups of coherent sheaves on projective space, improving the #P-lower bound in Bach [1].