English
Related papers

Related papers: Improved complexity bounds for real root isolation…

200 papers

We present a combination of two algorithms that accurately calculate multiple roots of general polynomials. Algorithm I transforms the singular root-finding into a regular nonlinear least squares problem on a pejorative manifold, and…

Numerical Analysis · Mathematics 2023-01-20 Zhonggang Zeng

Let $P \in \mathbb{Z} [X, Y]$ be a given square-free polynomial of total degree $d$ with integer coefficients of bitsize less than $\tau$, and let $V_{\mathbb{R}} (P) := \{ (x,y) \in \mathbb{R}^2, P (x,y) = 0 \}$ be the real planar…

Algebraic Geometry · Mathematics 2021-12-16 Daouda Niang Diatta , Sény Diatta , Fabrice Rouillier , Marie-Françoise Roy , Michael Sagraloff

Suppose $F:=(f_1,\ldots,f_n)$ is a system of random $n$-variate polynomials with $f_i$ having degree $\leq\!d_i$ and the coefficient of $x^{a_1}_1\cdots x^{a_n}_n$ in $f_i$ being an independent complex Gaussian of mean $0$ and variance…

Algebraic Geometry · Mathematics 2024-12-20 Grigoris Paouris , Kaitlyn Phillipson , J. Maurice Rojas

Consider any nonzero univariate polynomial with rational coefficients, presented as an elementary algebraic expression (using only integer exponents). Letting sigma(f) denotes the additive complexity of f, we show that the number of…

Number Theory · Mathematics 2007-05-23 J. Maurice Rojas

Very recent work introduces an asymptotically fast subdivision algorithm, denoted ANewDsc, for isolating the real roots of a univariate real polynomial. The method combines Descartes' Rule of Signs to test intervals for the existence of…

Mathematical Software · Computer Science 2016-05-03 Alexander Kobel , Fabrice Rouillier , Michael Sagraloff

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

Highly efficient and even nearly optimal algorithms have been developed for the classical problem of univariate polynomial root-finding (see, e.g., \cite{P95}, \cite{P02}, \cite{MNP13}, and the bibliography therein), but this is still an…

Symbolic Computation · Computer Science 2014-04-21 Victor Y. Pan , Elias Tsigaridas

In this paper, a linear univariate representation for the roots of a zero-dimensional polynomial equation system is presented, where the roots of the equation system are represented as linear combinations of roots of several univariate…

Symbolic Computation · Computer Science 2011-02-24 Jin-San Cheng , Xiao-Shan Gao , Leilei Guo

Continuous amortization is a technique for computing the complexity of algorithms, and it was first presented by the author in Burr, Krahmer, & Yap (2009). Continuous amortization can result in simpler and more straight-forward complexity…

Data Structures and Algorithms · Computer Science 2013-09-25 Michael A. Burr

In this paper, we develop a new deflation technique for refining or verifying the isolated singular zeros of polynomial systems. Starting from a polynomial system with an isolated singular zero, by computing the derivatives of the input…

Symbolic Computation · Computer Science 2019-01-01 Jin-San Cheng , Xiaojie Dou , Junyi Wen

Let $p\in\mathbb{Z}[x]$ be an arbitrary polynomial of degree $n$ with $k$ non-zero integer coefficients of absolute value less than $2^\tau$. In this paper, we answer the open question whether the real roots of $p$ can be computed with a…

Numerical Analysis · Computer Science 2014-01-24 Michael Sagraloff

In this paper, we consider the problem of deciding the existence of real solutions to a system of polynomial equations having real coefficients, and which are invariant under the action of the symmetric group. We construct and analyze a…

Symbolic Computation · Computer Science 2023-06-08 George Labahn , Cordian Riener , Mohab Safey El Din , Éric Schost , Thi Xuan Vu

Root separation bounds play an important role as a complexity measure in understanding the behaviour of various algorithms in computational algebra, e.g., root isolation algorithms. A classic result in the univariate setting is the…

Symbolic Computation · Computer Science 2020-05-19 Vikram Sharma

The polynomials with quaternion coefficients have two kind of roots: isolated and spherical. A spherical root generates a class of roots which contains only one complex number $z$ and its conjugate $\bar{z}$, and this class can be…

Rings and Algebras · Mathematics 2015-01-14 Petroula Dospra , Dimitrios Poulakis

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

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

We develop the tools to bound extreme roots of multivariate real zero polynomials globally. This is done through the use of a relaxation that approximates their rigidly convex sets. This relaxation can easily be constructed using the degree…

Combinatorics · Mathematics 2025-10-14 Alejandro González Nevado

Functional iterations such as Newton's are a popular tool for polynomial root-finding. We consider realistic situation where some (e.g., better-conditioned) roots have already been approximated and where further computations is directed to…

Numerical Analysis · Mathematics 2019-07-09 Remi Imbach , Victor Y. Pan , Chee Yap , Ilias S. Kotsireas , Vitaly Zaderman

The roots of any polynomial of degree m with complex integer coefficients can be computed by manipulation of sequences made from distinct symbols and counting the different symbols in the sequences. This method requires only primitive…

General Mathematics · Mathematics 2007-05-23 Ashok Kumar Mittal , Ashok Kumar Gupta

In this paper, we present a new method for computing bounded-degree factors of lacunary multivariate polynomials. In particular for polynomials over number fields, we give a new algorithm that takes as input a multivariate polynomial f in…

Symbolic Computation · Computer Science 2016-02-01 Bruno Grenet