English
Related papers

Related papers: Counting Real Roots in Polynomial-Time for Systems…

200 papers

Consider a system F of n polynomials in n variables, with a total of n+k distinct exponent vectors, over any local field L. We discuss conjecturally tight bounds on the maximal number of non-degenerate roots F can have over L, with all…

Algebraic Geometry · Mathematics 2013-09-03 Kaitlyn Phillipson , J. Maurice Rojas

Suppose that we are given a formal power series of many variables with coefficients in $\mathbb{R}$ (or $\mathbb{C}$) and we want to compute its $n$-th (multiplicative) root. As can be expected coefficients of the root have to satisfy a…

Commutative Algebra · Mathematics 2025-02-11 Piotr Maćkowiak , Motaz Mokatren

This article is studying the roots of the reliability polynomials of linear consecutive-\textit{k}-out-of-\textit{n}:\textit{F} systems. We are able to prove that these roots are unbounded in the complex plane, for any fixed $k\ge2$. In the…

Discrete Mathematics · Computer Science 2022-08-31 Marilena Jianu , Leonard Daus , Vlad-Florin Dragoi , Valeriu Beiu

Let $p$ be a prime. Given a polynomial in $\F_{p^m}[x]$ of degree $d$ over the finite field $\F_{p^m}$, one can view it as a map from $\F_{p^m}$ to $\F_{p^m}$, and examine the image of this map, also known as the value set. In this paper,…

Number Theory · Mathematics 2011-11-07 Qi Cheng , Joshua E. Hill , Daqing Wan

We propose a symbolic-numeric algorithm to count the number of solutions of a polynomial system within a local region. More specifically, given a zero-dimensional system $f_1=\cdots=f_n=0$, with $f_i\in\mathbb{C}[x_1,\ldots,x_n]$, and a…

Symbolic Computation · Computer Science 2017-12-18 Ruben Becker , Michael Sagraloff

We give deterministic polynomial-time algorithms that, given an order, compute the primitive idempotents and determine a set of generators for the group of roots of unity in the order. Also, we show that the discrete logarithm problem in…

Commutative Algebra · Mathematics 2016-03-14 H. W. Lenstra , A. Silverberg

We combine the known methods for univariate polynomial root-finding and for computations in the Frobenius matrix algebra with our novel techniques to advance numerical solution of a univariate polynomial equation, and in particular…

Numerical Analysis · Mathematics 2013-11-26 Victor Y. Pan , Ai-Long Zheng

We study the problem of counting the total number of affine solutions of a system of n binomials in n variables over an algebraically closed field of characteristic zero. We show that we may decide in polynomial time if that number is…

Commutative Algebra · Mathematics 2007-05-23 Eduardo Cattani , Alicia Dickenstein

We show that a real homogeneous polynomial f(x,y) with distinct roots and degree d greater or equal than 3 has d real roots if and only if for any (a,b) not equal to (0,0) the polynomial af_x+bf_y has d-1 real roots. This answers to a…

Algebraic Geometry · Mathematics 2010-06-29 Antonio Causa , Riccardo Re

We describe a new incomplete but terminating method for real root finding for large multivariate polynomials. We take an abstract view of the polynomial as the set of exponent vectors associated with sign information on the coefficients.…

Symbolic Computation · Computer Science 2018-04-30 Thomas Sturm

Computing the roots of a univariate polynomial is a fundamental and long-studied problem of computational algebra with applications in mathematics, engineering, computer science, and the natural sciences. For isolating as well as for…

Symbolic Computation · Computer Science 2015-03-12 Michael Sagraloff , Kurt Mehlhorn

Theorem 1 is a formula expressing the mean number of real roots of a random multihomogeneous system of polynomial equations as a multiple of the mean absolute value of the determinant of a random matrix. Theorem 2 derives closed form…

Probability · Mathematics 2007-05-23 Andrew McLennan

We report an ongoing work on clustering algorithms for complex roots of a univariate polynomial $p$ of degree $d$ with real or complex coefficients. As in their previous best subdivision algorithms our root-finders are robust even for…

Symbolic Computation · Computer Science 2019-11-18 Rémi Imbach , Victor Y. Pan

We consider the problem of approximating all real roots of a square-free polynomial $f$. Given isolating intervals, our algorithm refines each of them to a width of $2^{-L}$ or less, that is, each of the roots is approximated to $L$ bits…

Symbolic Computation · Computer Science 2015-03-19 Michael Kerber , Michael Sagraloff

We describe an algorithm to count the number of distinct real zeros of a polynomial (square) system f. The algorithm performs O(n D kappa(f)) iterations where n is the number of polynomials (as well as the dimension of the ambient space), D…

Computational Complexity · Computer Science 2010-07-12 Felipe Cucker , Teresa Krick , Gregorio Malajovich , Mario Wschebor

We study polynomial systems whose equations have as common support a set C of n+2 points in Z^n called a circuit. We find a bound on the number of real solutions to such systems which depends on n, the dimension of the affine span of the…

Algebraic Geometry · Mathematics 2007-05-23 F. Bihan

We introduce a new approach to isolate the real roots of a square-free polynomial $F=\sum_{i=0}^n A_i x^i$ with real coefficients. It is assumed that each coefficient of $F$ can be approximated to any specified error bound. The presented…

Data Structures and Algorithms · Computer Science 2015-03-17 Michael Sagraloff

We construct a family of root-finding algorithms which exploit the branched covering structure of a polynomial of degree $d$ with a path-lifting algorithm for finding individual roots. In particular, the family includes an algorithm that…

Dynamical Systems · Mathematics 2025-10-20 Myong-Hi Kim , Scott Sutherland

We seek complex roots of a univariate polynomial $P$ with real or complex coefficients. We address this problem based on recent algorithms that use subdivision and have a nearly optimal complexity. They are particularly efficient when only…

Symbolic Computation · Computer Science 2019-11-18 Rémi Imbach , Victor Y. Pan

Given a polynomial $p$ of degree $d$ and a bound $\kappa$ on a condition number of $p$, we present the first root-finding algorithms that return all its real and complex roots with a number of bit operations quasi-linear in $d…

Symbolic Computation · Computer Science 2021-02-09 Guillaume Moroz