On the Multiplicity of Zeroes of Polynomials with Quaternionic Coefficients

Regular polynomials with quaternionic coefficients admit only isolated zeroes and spherical zeroes. In this paper we prove a factorization theorem for such polynomials. Specifically, we show that every regular polynomial can be written as a product of degree one binomials and special second degree polynomials with real coefficients. The degree one binomials are determined (but not uniquely) by the knowledge of the isolated zeroes of the original polynomial, while the second degree factors are uniquely determined by the spherical zeroes. We also show that the number of zeroes of a polynomial, counted with their multiplicity as defined in this paper, equals the degree of the polynomial. While some of these results are known in the general setting of an arbitrary division ring, our proofs are based on the theory of regular functions of a quaternionic variable, and as such they are elementary in nature and offer explicit constructions in the quaternionic setting. Partially supported by G.N.S.A.G.A.of the I.N.D.A.M. and by M.I.U.R.. Lecture held by G. Gentili in the Seminario Matematico e Fisico on February 12, 2007. Received: August 2008     

On the colored Tutte polynomial of a graph of bounded treewidth

We observe that a formula given by Negami [Polynomial invariants of graphs, Trans. Amer. Math. Soc. 299 (1987) 601-622] for the Tutte polynomial of a k-sum of two graphs generalizes to a colored Tutte polynomial. Consequently, an algorithm of Andrzejak [An algorithm for the Tutte polynomials of graphs of bounded treewidth, Discrete Math. 190 (1998) 39-54] may be directly adapted to compute the colored Tutte polynomial of a graph of bounded treewidth in polynomial time. This result has also been proven by Makowsky [Colored Tutte polynomials and Kauffman brackets for graphs of bounded tree width, Discrete Appl. Math. 145 (2005) 276-290], using a different algorithm based on logical techniques.     

On the Structure of the Set of Zeros of Quaternionic Polynomials

We prove that any quaternionic polynomial (with the coefficients on the same side) has two types of zeroes: the zeroes are either isolated or spherical ones, i.e., those ones which form a whole sphere. What is more, the total quantity of the isolated zeroes and of the double number of the spheres does not outnumber the degree of the polynomial.     

ON SETS OF ZEROES OF CLIFFORD ALGEBRA-VALUED POLYNOMIALS

In this note, we study zeroes of Clifford algebra-valued polynomials. We prove that if such a polynomial has only real coefficients, then it has two types of zeroes： the real isolated zeroes and the spherical conjugate ones. The total number of zeroes does not exceed the degree of the polynomial. We also present a technique for computing the zeroes.     

Oscillation of analytic curves

The number of zeroes of the restriction of a given polynomial to the trajectory of a polynomial vector field in , in a neighborhood of the origin, is bounded in terms of the degrees of the polynomials involved. In fact, we bound the number of zeroes, in a neighborhood of the origin, of the restriction to the given analytic curve in of an analytic function, linearly depending on parameters, through the stabilization time of the sequence of zero subspaces of Taylor coefficients of the composed series (which are linear forms in the parameters). Then a recent result of Gabrielov on multiplicities of the restrictions of polynomials to the trajectories of polynomial vector fields is used to bound the above stabilization moment.

     

The centroid of the zeroes of a polynomial via certain Laguerre-type operators

In this paper, we present several properties of the centroid of the zeroes of a polynomial. As an illustration, we apply these results to the d-orthogonal polynomials. Finally, we provide the relationship between different centroids of a general monic polynomial and its image under a certain Laguerre–type operator.     

Factoring and recognition of read-once functions using cographs and normality and the readability of functions associated with partial k-trees

An approach for factoring general boolean functions was described in Golumbic and Mintz [Factoring logic functions using graph partitioning, in: Proceedings of IEEE/ACM International Conference on Computer Aided Design, November 1999, pp. 195-198] and Mintz and Golumbic [Factoring Boolean functions using graph partitioning, Discrete Appl. Math. 149 (2005) 131-153] which is based on graph partitioning algorithms. In this paper, we present a very fast algorithm for recognizing and factoring read-once functions which is needed as a dedicated factoring subroutine to handle the lower levels of that factoring process. The algorithm is based on algorithms for cograph recognition and on checking normality.For non-read-once functions, we investigate their factoring based on their corresponding graph classes. In particular, we show that if a function F is normal and its corresponding graph is a partial k-tree, then F is a read 2^k function and a read 2^k formula for F can be obtained in polynomial time.     

The Computational Complexity of the Chow Form

We present a bounded probability algorithm for the computation of the Chowforms of the equidimensional components of an algebraic variety. In particular, this gives an alternative procedure for the effective equidimensional decomposition of the variety, since each equidimensional component is characterized by its Chow form. The expected complexity of the algorithm is polynomial in the size and the geometric degree of the input equation system defining the variety. Hence it improves (or meets in some special cases) the complexity of all previous algorithms for computing Chow forms. In addition to this, we clarify the probability and uniformity aspects, which constitutes a further contribution of the paper. The algorithm is based on elimination theory techniques, in line with the geometric resolution algorithm due to M. Giusti, J. Heintz, L. M. Pardo, and their collaborators. In fact, ours can be considered as an extension of their algorithm for zero-dimensional systems to the case of positive-dimensional varieties. The key element for dealing with positive-dimensional varieties is a new Poisson-type product formula. This formula allows us to compute the Chow form of an equidimensional variety from a suitable zero-dimensional fiber. As an application, we obtain an algorithm to compute a subclass of sparse resultants, whose complexity is polynomial in the dimension and the volume of the input set of exponents. As another application, we derive an algorithm for the computation of the (unique) solution of a generic overdetermined polynomial equation system.     

Grobner基的一个应用

固定一个项序,利用Buchberger算法求多项式环S=C[x1,x2,…,xn]上的理想I的Grbner基.根据S上任意多项式f（x1,x2,…,xn）用Grobner基表示时其余项唯一的特点,将其应用到求解多项式方程组问题.实例展示用Grobner基可证明一个联立方程式是无解的.     

On the Lebesgue constant for the Xu interpolation formula

In the paper [Y. Xu, Lagrange interpolation on Chebyshev points of two variables, J. Approx. Theory 87 (1996) 220–238], the author introduced a set of Chebyshev-like points for polynomial interpolation (by a certain subspace of polynomials) in the square [-1,1]², and derived a compact form of the corresponding Lagrange interpolation formula. In [L. Bos, M. Caliari, S. De Marchi, M. Vianello, A numerical study of the Xu polynomial interpolation formula in two variables, Computing 76(3–4) (2005) 311–324], we gave an efficient implementation of the Xu interpolation formula and we studied numerically its Lebesgue constant, giving evidence that it grows like , n being the degree. The aim of the present paper is to provide an analytic proof to show that the Lebesgue constant does have this order of growth.     

An algebraic formula for the intersection number of a polynomial immersion

An algorithm is presented for computing the topological degree for a large class of polynomial mappings. As an application there is given an effective algebraic formula for the intersection number of a polynomial immersion M→R^2m, where M is an m-dimensional algebraic manifold.     

An extended fast algorithm for constructing the Dixon resultant matrix

In recent years,the Dixon resultant matrix has been used widely in the re-sultant elimination to solve nonlinear polynomial equations and many researchers havestudied its efficient algorithms.The recursive algorithm is a very efficient algorithm,butwhich deals with the case of three polynomial equations with two variables at most.Inthis paper,we extend the algorithm to the general case of n 1 polynomial equations in nvariables.The algorithm has been implemented in Maple 9.By testing the random polyno-mial equations,the results demonstrate that the efficiency of our program is much betterthan the previous methods,and it is exciting that the necessary condition for the existenceof common intersection points on four general surfaces in which the degree with respectto every variable is not greater than 2 is given out in 48×48 Dixon matrix firstly by ourprogram.     

An algorithm for the zeros of transcendental functions

Summary In this paper, we extend the dual form of the generalized algorithm of Sebastião e Silva [3] for polynomial zeros and show that it is effective for finding zeros of transcendental functions in a circle of analyticity.     

Weierstrass formula and zero-finding methods

Summary. Classical Weierstrass' formula [29] has been often the subject of investigation of many authors. In this paper we give some further applications of this formula for finding the zeros of polynomials and analytic functions. We are concerned with the problems of localization of polynomial zeros and the construction of iterative methods for the simultaneous approximation and inclusion of these zeros. Conditions for the safe convergence of Weierstrass' method, depending only on initial approximations, are given. In particular, we study polynomials with interval coefficients. Using an interval version of Weierstrass' method enclosures in the form of disks for the complex-valued set containing all zeros of a polynomial with varying coefficients are obtained. We also present Weierstrass-like algorithm for approximating, simultaneously, all zeros of a class of analytic functions in a given closed region. To demonstrate the proposed algorithms, three numerical examples are included. Received September 13, 1993     

Multiplication of a Schubert polynomial by a Schur polynomial

Schur polynomials are a special case of Schubert polynomials. In this paper, we give an algorithm to compute the product of a Schubert polynomial with a Schur polynomial on the basis of Schubert polynomials. This is a special case of the general problem of the multiplication of two Schubert polynomials, where the corresponding algorithm is still missing. The main tools for the given algorithm is a factorization property of a special class of Schubert polynomials and the transition formula for Schubert polynomials.     

Towards a strongly polynomial algorithm for strictly convex quadratic programs: An extension of Tardos' algorithm

In a recent paper Tardos described a polynomial algorithm for solving linear programming problems in which the number of arithmetic steps depends only on the size of the numbers in the constraint matrix and is independent of the size of the numbers in the right hand side and the cost coefficients. In this paper we extend Tardos' results and present a polynomial algorithm for solving strictly convex quadratic programming problems in which the number of arithmetic steps is independent of the size of the numbers in the right hand side and the linear cost coefficients.This research was partially supported by the Natural Sciences and Engineering Research Council of Canada Grant 5-83998.     

Exponential behaviour of the Butkovi?-Zimmermann algorithm for solving two-sided linear systems in max-algebra

In [P. Butkovi?, K. Zimmermann, A strongly polynomial algorithm for solving two-sided linear systems in max-algebra, Discrete Applied Mathematics 154 (3) (2006) 437-446] an ingenious algorithm for solving systems of two-sided linear equations in max-algebra was given and claimed to be strongly polynomial. However, in this note we give a sequence of examples showing exponential behaviour of the algorithm. We conclude that the problem of finding a strongly polynomial algorithm is still open.     

求鳞状循环因子矩阵的极小多项式的算法

提出了任意域上鳞状循环因子矩阵 ,利用多项式环的理想的Go bner基的算法给出了任意域上鳞状循环因子矩阵的极小多项式和公共极小多项式的一种算法 .同时给出了这类矩阵逆矩阵的一种求法 .在有理数域或模素数剩余类域上 ,这一算法可由代数系统软件Co CoA4 .0实现 .数值例子说明了算法的有效性     

Independence and port oracles for matroids,with an application to computational learning theory

Given a matroidM with distinguished elemente, aport oracie with respect toe reports whether or not a given subset contains a circuit that containse. The first main result of this paper is an algorithm for computing ane-based ear decomposition (that is, an ear decomposition every circuit of which contains elemente) of a matroid using only a polynomial number of elementary operations and port oracle calls. In the case thatM is binary, the incidence vectors of the circuits in the ear decomposition form a matrix representation forM. Thus, this algorithm solves a problem in computational learning theory; it learns the class ofbinary matroid port (BMP) functions with membership queries in polynomial time. In this context, the algorithm generalizes results of Angluin, Hellerstein, and Karpinski [1], and Raghavan and Schach [17], who showed that certain subclasses of the BMP functions are learnable in polynomial time using membership queries. The second main result of this paper is an algorithm for testing independence of a given input set of the matroidM. This algorithm, which uses the ear decomposition algorithm as a subroutine, uses only a polynomial number of elementary operations and port oracle calls. The algorithm proves a constructive version of an early theorem of Lehman [13], which states that the port of a connected matroid uniquely determines the matroid.Research partially funded by NSF PYI Grant No. DDM-91-96083.Research partially funded by NSF Grant No CCR-92-10957.     

On a numerical algorithm for the solution of the radial Loewner equation

The Loewner partial differential equation provides a one‐parametric family of conformal maps on the unit disk. The images describe a flow of an expanding simply‐connected domain, called the Loewner flow, on the complex plane. In this paper, we present a numerical algorithm for solving the radial Loewner partial differential equation. The algorithm is applied to visualization of Loewner flows with the performance and precision. From the theoretical point of view, our algorithm is based on a recursive formula for determining coefficients of polynomial approximations. We prove that each coefficient converges to true values with reasonable regularity.