Showing 1–50 of 63 results for author: Rojas, J M

On the BCSS Proof of the Fundamental Theorem of Algebra

Authors: J. Maurice Rojas

Abstract: Section 10.4 of the 1998 Springer-Verlag book {\em Complexity and Real Computation}, by Blum, Cucker, Shub, and Smale, contains a particularly elegant proof of the Fundamental Theorem of Algebra: The central idea of the proof naturally leads to a homotopy continuation algorithm for finding the roots of univariate polynomials, and extends naturally to a proof of Bézout's Theorem (on the number of r… ▽ More Section 10.4 of the 1998 Springer-Verlag book {\em Complexity and Real Computation}, by Blum, Cucker, Shub, and Smale, contains a particularly elegant proof of the Fundamental Theorem of Algebra: The central idea of the proof naturally leads to a homotopy continuation algorithm for finding the roots of univariate polynomials, and extends naturally to a proof of Bézout's Theorem (on the number of roots of systems of $n$ equations in $n$ unknowns). We present a more detailed version of the BCSS Proof which is hopefully useful for students and researchers not familiar with algebraic geometry. So while there are no new results in this paper, the exposition is arguably more elementary. Any errors here are solely the responsibility of the current author. △ Less

Submitted 19 June, 2024; v1 submitted 17 June, 2024; originally announced June 2024.

Comments: 10 pages, no figures. This is an expository paper. Questions and comments are welcome!

Viro's patchworking and the signed reduced A-discriminant

Authors: Weixun Deng, J. Maurice Rojas, Máté L. Telek

Abstract: Computing the isotopy type of a hypersurface, defined as the positive real zero set of a multivariate polynomial, is a challenging problem in real algebraic geometry. We focus on the case where the defining polynomial has combinatorially restricted exponent vectors and fixed coefficient signs, enabling faster computation of the isotopy type. In particular, Viro's patchworking provides a polyhedral… ▽ More Computing the isotopy type of a hypersurface, defined as the positive real zero set of a multivariate polynomial, is a challenging problem in real algebraic geometry. We focus on the case where the defining polynomial has combinatorially restricted exponent vectors and fixed coefficient signs, enabling faster computation of the isotopy type. In particular, Viro's patchworking provides a polyhedral complex that has the same isotopy type as the hypersurface, for certain choices of the coefficients. So we present properties of the signed support, focussing mainly on the case of n-variate (n+3)-nomials, that ensure all possible isotopy types can be obtained via patchworking. To prove this, we study the signed reduced A-discriminant and show that it has a simple structure if the signed support satisfies some combinatorial conditions. △ Less

Submitted 13 March, 2024; originally announced March 2024.

Sturm's Theorem with Endpoints

Authors: Philippe Pébay, J. Maurice Rojas, David C. Thompson

Abstract: Sturm's Theorem is a fundamental 19th century result relating the number of real roots of a polynomial $f$ in an interval to the number of sign alternations in a sequence of polynomial division-like calculations. We provide a short direct proof of Sturm's Theorem, including the numerically vexing case (ignored in many published accounts) where an interval endpoint is a root of $f$. Sturm's Theorem is a fundamental 19th century result relating the number of real roots of a polynomial $f$ in an interval to the number of sign alternations in a sequence of polynomial division-like calculations. We provide a short direct proof of Sturm's Theorem, including the numerically vexing case (ignored in many published accounts) where an interval endpoint is a root of $f$. △ Less

Submitted 16 August, 2022; originally announced August 2022.

Comments: 4 pages. A software implementation can be found in algorithm vtkPolynomialSolversUnivariate , within the VTK (Visualization Toolkit) software package

Trinomials and Deterministic Complexity Limits for Real Solving

Authors: Erick Boniface, Weixun Deng, J. Maurice Rojas

Abstract: Consider a univariate polynomial f in Z[x] with degree d, exactly t monomial terms, and coefficients in {-H,...,H}. Solving f over the reals, R, in polynomial-time can be defined as counting the exact number of real roots of f and then finding (for each such root z) an approximation w of logarithmic height (log(dH))^{O(1)} such that the Newton iterates of w have error decaying at a rate of O((1/2)… ▽ More Consider a univariate polynomial f in Z[x] with degree d, exactly t monomial terms, and coefficients in {-H,...,H}. Solving f over the reals, R, in polynomial-time can be defined as counting the exact number of real roots of f and then finding (for each such root z) an approximation w of logarithmic height (log(dH))^{O(1)} such that the Newton iterates of w have error decaying at a rate of O((1/2)^{2^i}). Solving efficiently in this sense, using (log(dH))^{O(1)} deterministic bit operations, is arguably the most honest formulation of solving a polynomial equation over R in time polynomial in the input size. Unfortunately, deterministic algorithms this fast are known only for t=2, unknown for t=3, and provably impossible for t=4. (One can of course resort to older techniques with complexity (d\log H)^{O(1)} for t>=4.) We give evidence that polynomial-time real-solving in the strong sense above is possible for t=3: We give a polynomial-time algorithm employing A-hypergeometric series that works for all but a fraction of 1/Omega(log(dH)) of the input f. We also show an equivalence between fast trinomial solving and sign evaluation at rational points of small height. As a consequence, we show that for "most" trinomials f, we can compute the sign of f at a rational point r in time polynomial in log(dH) and the logarithmic height of r. (This was known only for binomials before.) We also mention a related family of polynomial systems that should admit a similar speed-up for solving. △ Less

Submitted 12 February, 2022; originally announced February 2022.

Root Repulsion and Faster Solving for Very Sparse Polynomials Over $p$-adic Fields

Authors: J. Maurice Rojas, Yuyu Zhu

Abstract: For any fixed field $K\!\in\!\{\mathbb{Q}_2,\mathbb{Q}_3,\mathbb{Q}_5, \ldots\}$, we prove that all polynomials $f\!\in\!\mathbb{Z}[x]$ with exactly $3$ (resp. $2$) monomial terms, degree $d$, and all coefficients having absolute value at most $H$, can be solved over $K$ within deterministic time $\log^{7+o(1)}(dH)$ (resp. $\log^{2+o(1)}(dH)$) in the classical Turing model: Our underlying algorith… ▽ More For any fixed field $K\!\in\!\{\mathbb{Q}_2,\mathbb{Q}_3,\mathbb{Q}_5, \ldots\}$, we prove that all polynomials $f\!\in\!\mathbb{Z}[x]$ with exactly $3$ (resp. $2$) monomial terms, degree $d$, and all coefficients having absolute value at most $H$, can be solved over $K$ within deterministic time $\log^{7+o(1)}(dH)$ (resp. $\log^{2+o(1)}(dH)$) in the classical Turing model: Our underlying algorithm correctly counts the number of roots of $f$ in $K$, and for each such root generates an approximation in $\mathbb{Q}$ with logarithmic height $O(\log^3(dH))$ that converges at a rate of $O\!\left((1/p)^{2^i}\right)$ after $i$ steps of Newton iteration. We also prove significant speed-ups in certain settings, a minimal spacing bound of $p^{-O(p\log^2_p(dH)\log d)}$ for distinct roots in $\mathbb{C}_p$, and even stronger repulsion when there are nonzero degenerate roots in $\mathbb{C}_p$: $p$-adic distance $p^{-O(\log_p(dH))}$. On the other hand, we prove that there is an explicit family of tetranomials with distinct nonzero roots in $\mathbb{Z}_p$ indistinguishable in their first $Ω(d\log_p H)$ most significant base-$p$ digits. △ Less

Submitted 19 July, 2021; originally announced July 2021.

Comments: 36 pages, 3 figures, submitted to a journal for publication. A much shorter preliminary version appeared as an extended abstract at ISSAC 2021

Sub-Linear Point Counting for Variable Separated Curves over Prime Power Rings

Authors: Caleb Robelle, J. Maurice Rojas, Yuyu Zhu

Abstract: Let $k,p\in \mathbb{N}$ with $p$ prime and let $f\in\mathbb{Z}[x_1,x_2]$ be a bivariate polynomial with degree $d$ and all coefficients of absolute value at most $p^k$. Suppose also that $f$ is variable separated, i.e., $f=g_1+g_2$ for $g_i\in\mathbb{Z}[x_i]$. We give the first algorithm, with complexity sub-linear in $p$, to count the number of roots of $f$ over $\mathbb{Z}$ mod $p^k$ for arbitra… ▽ More Let $k,p\in \mathbb{N}$ with $p$ prime and let $f\in\mathbb{Z}[x_1,x_2]$ be a bivariate polynomial with degree $d$ and all coefficients of absolute value at most $p^k$. Suppose also that $f$ is variable separated, i.e., $f=g_1+g_2$ for $g_i\in\mathbb{Z}[x_i]$. We give the first algorithm, with complexity sub-linear in $p$, to count the number of roots of $f$ over $\mathbb{Z}$ mod $p^k$ for arbitrary $k$: Our Las Vegas randomized algorithm works in time $(dk\log p)^{O(1)}\sqrt{p}$, and admits a quantum version for smooth curves working in time $(d\log p)^{O(1)}k$. Save for some subtleties concerning non-isolated singularities, our techniques generalize to counting roots of polynomials in $\mathbb{Z}[x_1,\ldots,x_n]$ over $\mathbb{Z}$ mod $p^k$. Our techniques are a first step toward efficient point counting for varieties over Galois rings (which is relevant to error correcting codes over higher-dimensional varieties), and also imply new speed-ups for computing Igusa zeta functions of curves. The latter zeta functions are fundamental in arithmetic geometry. △ Less

Submitted 2 February, 2021; originally announced February 2021.

Comments: 18 pages, no figures. Submitted to a conference. Comments and questions welcome!

Counting Real Roots in Polynomial-Time for Systems Supported on Circuits

Authors: J. Maurice Rojas

Abstract: Suppose $A=\{a_1,\ldots,a_{n+2}\}\subset\mathbb{Z}^n$ has cardinality $n+2$, with all the coordinates of the $a_j$ having absolute value at most $d$, and the $a_j$ do not all lie in the same affine hyperplane. Suppose $F=(f_1,\ldots,f_n)$ is an $n\times n$ polynomial system with generic integer coefficients at most $H$ in absolute value, and $A$ the union of the sets of exponent vectors of the… ▽ More Suppose $A=\{a_1,\ldots,a_{n+2}\}\subset\mathbb{Z}^n$ has cardinality $n+2$, with all the coordinates of the $a_j$ having absolute value at most $d$, and the $a_j$ do not all lie in the same affine hyperplane. Suppose $F=(f_1,\ldots,f_n)$ is an $n\times n$ polynomial system with generic integer coefficients at most $H$ in absolute value, and $A$ the union of the sets of exponent vectors of the $f_i$. We give the first algorithm that, for any fixed $n$, counts exactly the number of real roots of $F$ in in time polynomial in $\log(dH)$. △ Less

Submitted 11 June, 2021; v1 submitted 9 December, 2020; originally announced December 2020.

Comments: 29 pages, 1 figure, accepted for presentation at MEGA (Effective Methods in Algebraic Geometry) 2021. You can see a recording of my talk at MEGA 2021 (June 9, 2021) at this YouTube link: https://www.youtube.com/watch?v=KKKmTctxbs4

Computing zeta functions of large polynomial systems over finite fields

Authors: Qi Cheng, J. Maurice Rojas, Daqing Wan

Abstract: In this paper, we improve the algorithms of Lauder-Wan \cite{LW} and Harvey \cite{Ha} to compute the zeta function of a system of $m$ polynomial equations in $n$ variables over the finite field $\FF_q$ of $q$ elements, for $m$ large. The dependence on $m$ in the original algorithms was exponential in $m$. Our main result is a reduction of the exponential dependence on $m$ to a polynomial dependenc… ▽ More In this paper, we improve the algorithms of Lauder-Wan \cite{LW} and Harvey \cite{Ha} to compute the zeta function of a system of $m$ polynomial equations in $n$ variables over the finite field $\FF_q$ of $q$ elements, for $m$ large. The dependence on $m$ in the original algorithms was exponential in $m$. Our main result is a reduction of the exponential dependence on $m$ to a polynomial dependence on $m$. As an application, we speed up a doubly exponential time algorithm from a software verification paper \cite{BJK} (on universal equivalence of programs over finite fields) to singly exponential time. One key new ingredient is an effective version of the classical Kronecker theorem which (set-theoretically) reduces the number of defining equations for a "large" polynomial system over $\FF_q$ when $q$ is suitably large. △ Less

Submitted 26 July, 2020; originally announced July 2020.

A complexity chasm for solving univariate sparse polynomial equations over $p$-adic fields

Authors: J. Maurice Rojas, Yuyu Zhu

Abstract: We reveal a complexity chasm, separating the trinomial and tetranomial cases, for solving univariate sparse polynomial equations over certain local fields. First, for any fixed field $K\in\{\mathbb{Q}_2,\mathbb{Q}_3,\mathbb{Q}_5,\ldots\}$, we prove that any polynomial $f\in\mathbb{Z}[x]$ with exactly $3$ monomial terms, degree $d$, and all coefficients having absolute value at most $H$, can be sol… ▽ More We reveal a complexity chasm, separating the trinomial and tetranomial cases, for solving univariate sparse polynomial equations over certain local fields. First, for any fixed field $K\in\{\mathbb{Q}_2,\mathbb{Q}_3,\mathbb{Q}_5,\ldots\}$, we prove that any polynomial $f\in\mathbb{Z}[x]$ with exactly $3$ monomial terms, degree $d$, and all coefficients having absolute value at most $H$, can be solved over $K$ in deterministic time $O(\log^{O(1)}(dH))$ in the classical Turing model. (The best previous algorithms were of complexity exponential in $\log d$, even for just counting roots in $\mathbb{Q}_p$.) In particular, our algorithm generates approximations in $\mathbb{Q}$ with bit-length $O(\log^{O(1)}(dH))$ to all the roots of $f$ in $K$, and these approximations converge quadratically under Newton iteration. On the other hand, we give a unified family of tetranomials requiring $Ω(d\log H)$ digits to distinguish the base-$p$ expansions of their roots in $K$. △ Less

Submitted 6 June, 2021; v1 submitted 29 February, 2020; originally announced March 2020.

Comments: 19 pages, 3 figures. This version contains an Appendix missing from the ISSAC 2021 conference version, as well as some corrections and improvements

Notes on Biadjoint Amplitudes, ${\rm Trop}\,G(3,7)$ and $X(3,7)$ Scattering Equations

Authors: Freddy Cachazo, Jairo M. Rojas

Abstract: In these notes we use the recently found relation between facets of tropical Grassmannians and generalizations of Feynman diagrams to compute all "biadjoint amplitudes" for $n=7$ and $k=3$. We also study scattering equations on $X(3,7)$, the configuration space of seven points on $\mathbb{CP}^2$. We prove that the number of solutions is $1272$ in a two-step process. In the first step we obtain… ▽ More In these notes we use the recently found relation between facets of tropical Grassmannians and generalizations of Feynman diagrams to compute all "biadjoint amplitudes" for $n=7$ and $k=3$. We also study scattering equations on $X(3,7)$, the configuration space of seven points on $\mathbb{CP}^2$. We prove that the number of solutions is $1272$ in a two-step process. In the first step we obtain $1162$ explicit solutions to high precision using near-soft kinematics. In the second step we compute the matrix of $360\times 360$ biadjoint amplitudes obtained by using the facets of ${\rm Trop}\, G(3,7)$, subtract the result from using the $1162$ solutions and compute the rank of the resulting matrix. The rank turns out to be $110$, which proves that the number of solutions in addition to the $1162$ explicit ones is exactly $110$. △ Less

Submitted 23 February, 2020; v1 submitted 13 June, 2019; originally announced June 2019.

Comments: 13 pages, 1 figure and 6 ancillary files; minor revision

A Faster Solution to Smale's 17th Problem I: Real Binomial Systems

Authors: Grigoris Paouris, Kaitlyn Phillipson, J. Maurice Rojas

Abstract: 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 $\frac{d_i!}{a_1!\cdots a_n!\left(d_i-\sum^n_{j=1}a_j \right)!}$. Recent progress on Smale's 17th Problem by Lairez --- building upon seminal work of Shub, Beltran,… ▽ More 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 $\frac{d_i!}{a_1!\cdots a_n!\left(d_i-\sum^n_{j=1}a_j \right)!}$. Recent progress on Smale's 17th Problem by Lairez --- building upon seminal work of Shub, Beltran, Pardo, Bürgisser, and Cucker --- has resulted in a deterministic algorithm that finds a single (complex) approximate root of $F$ using just $N^{O(1)}$ arithmetic operations on average, where $N\!:=\!\sum^n_{i=1}\frac{(n+d_i)!}{n!d_i!}$ ($=n(n+\max_i d_i)^{O(\min\{n,\max_i d_i)\}}$) is the maximum possible total number of monomial terms for such an $F$. However, can one go faster when the number of terms is smaller, and we restrict to real coefficient and real roots? And can one still maintain average-case polynomial-time with more general probability measures? We show the answer is yes when $F$ is instead a binomial system --- a case whose numerical solution is a key step in polyhedral homotopy algorithms for solving arbitrary polynomial systems. We give a deterministic algorithm that finds a real approximate root (or correctly decides there are none) using just $O(n^2(\log(n)+\log\max_i d_i))$ arithmetic operations on average. Furthermore, our approach allows Gaussians with arbitrary variance. We also discuss briefly the obstructions to maintaining average-case time polynomial in $n\log \max_i d_i$ when $F$ has more terms. △ Less

Submitted 28 January, 2019; originally announced January 2019.

Comments: 8 pages, submitted to a conference. Minor typos corrected

Smoothed Analysis for the Condition Number of Structured Real Polynomial Systems

Authors: Alperen A. Ergür, Grigoris Paouris, J. Maurice Rojas

Abstract: We consider the sensitivity of real zeros of structured polynomial systems to perturbations of their coefficients. In particular, we provide explicit estimates for condition numbers of structured random real polynomial systems, and extend these estimates to the smoothed analysis setting. We consider the sensitivity of real zeros of structured polynomial systems to perturbations of their coefficients. In particular, we provide explicit estimates for condition numbers of structured random real polynomial systems, and extend these estimates to the smoothed analysis setting. △ Less

Submitted 20 June, 2021; v1 submitted 10 September, 2018; originally announced September 2018.

Comments: Title changed due to an interesting journal policy, to appear in Mathematics of Computation

Report number: https://doi.org/10.1090/mcom/3647

Journal ref: Mathematics of Computation, 2021

Randomized Polynomial-Time Root Counting in Prime Power Rings

Authors: Leann Kopp, Natalie Randall, J. Maurice Rojas, Yuyu Zhu

Abstract: Suppose $k,p\!\in\!\mathbb{N}$ with $p$ prime and $f\!\in\!\mathbb{Z}[x]$ is a univariate polynomial with degree $d$ and all coefficients having absolute value less than $p^k$. We give a Las Vegas randomized algorithm that computes the number of roots of $f$ in $\mathbb{Z}/\!\left(p^k\right)$ within time $d^3(k\log p)^{2+o(1)}$. (We in fact prove a more intricate complexity bound that is slightly… ▽ More Suppose $k,p\!\in\!\mathbb{N}$ with $p$ prime and $f\!\in\!\mathbb{Z}[x]$ is a univariate polynomial with degree $d$ and all coefficients having absolute value less than $p^k$. We give a Las Vegas randomized algorithm that computes the number of roots of $f$ in $\mathbb{Z}/\!\left(p^k\right)$ within time $d^3(k\log p)^{2+o(1)}$. (We in fact prove a more intricate complexity bound that is slightly better.) The best previous general algorithm had (deterministic) complexity exponential in $k$. We also present some experimental data evincing the potential practicality of our algorithm. △ Less

Submitted 14 February, 2019; v1 submitted 30 August, 2018; originally announced August 2018.

Comments: 11 pages, 3 figures. Qi Cheng just pointed out that [3, Cor. 4, Pg. 16] proves a generalization of the main result (Theorem 1.1), and gives a sharper complexity bound. Nevertheless, the underlying algorithms are approached differently, so the development of our paper (the recursion tree structure, in particular) may still be of value

Dedekind Zeta Zeroes and Faster Complex Dimension Computation

Authors: J. Maurice Rojas, Yuyu Zhu

Abstract: Thanks to earlier work of Koiran, it is known that the truth of the Generalized Riemann Hypothesis (GRH) implies that the dimension of algebraic sets over the complex numbers can be determined within the polynomial-hierarchy. The truth of GRH thus provides a direct connection between a concrete algebraic geometry problem and the P vs.NP Problem, in a radically different direction from the geometri… ▽ More Thanks to earlier work of Koiran, it is known that the truth of the Generalized Riemann Hypothesis (GRH) implies that the dimension of algebraic sets over the complex numbers can be determined within the polynomial-hierarchy. The truth of GRH thus provides a direct connection between a concrete algebraic geometry problem and the P vs.NP Problem, in a radically different direction from the geometric complexity theory approach to VP vs. VNP. We explore more plausible hypotheses yielding the same speed-up. One minimalist hypothesis we derive involves improving the error term (as a function of the degree, coefficient height, and $x$) on the fraction of primes $p\!\leq\!x$ for which a univariate polynomial has roots mod $p$. A second minimalist hypothesis involves sharpening current zero-free regions for Dedekind zeta functions. Both our hypotheses allow failures of GRH but still enable complex dimension computation in the polynomial hierarchy. △ Less

Submitted 11 March, 2018; originally announced March 2018.

Comments: 11 pages, submitted to a conference. Some typos corrected

Counting Roots of Polynomials Over Prime Power Rings

Authors: Qi Cheng, Shuhong Gao, J. Maurice Rojas, Daqing Wan

Abstract: Suppose $p$ is a prime, $t$ is a positive integer, and $f\!\in\!\mathbb{Z}[x]$ is a univariate polynomial of degree $d$ with coefficients of absolute value $<\!p^t$. We show that for any fixed $t$, we can compute the number of roots in $\mathbb{Z}/(p^t)$ of $f$ in deterministic time $(d+\log p)^{O(1)}$. This fixed parameter tractability appears to be new for $t\!\geq\!3$. A consequence for arithme… ▽ More Suppose $p$ is a prime, $t$ is a positive integer, and $f\!\in\!\mathbb{Z}[x]$ is a univariate polynomial of degree $d$ with coefficients of absolute value $<\!p^t$. We show that for any fixed $t$, we can compute the number of roots in $\mathbb{Z}/(p^t)$ of $f$ in deterministic time $(d+\log p)^{O(1)}$. This fixed parameter tractability appears to be new for $t\!\geq\!3$. A consequence for arithmetic geometry is that we can efficiently compute Igusa zeta functions $Z$, for univariate polynomials, assuming the degree of $Z$ is fixed. △ Less

Submitted 3 November, 2017; originally announced November 2017.

Comments: title page, plus 11 pages, no illustrations, submitted to a conference

Journal ref: Open Book Series 2 (2019) 191-205

New Subexponential Fewnomial Hypersurface Bounds

Authors: Jens Forsgård, Mounir Nisse, J. Maurice Rojas

Abstract: Suppose $c_1,\ldots,c_{n+k}$ are real numbers, $\{a_1,\ldots,a_{n+k}\}\!\subset\!\mathbb{R}^n$ is a set of points not all lying in the same affine hyperplane, $y\!\in\!\mathbb{R}^n$, $a_j\cdot y$ denotes the standard real inner product of $a_j$ and $y$, and we set $g(y)\!:=\!\sum^{n+k}_{j=1} c_j e^{a_j\cdot y}$. We prove that, for generic $c_j$, the number of connected components of the real zero… ▽ More Suppose $c_1,\ldots,c_{n+k}$ are real numbers, $\{a_1,\ldots,a_{n+k}\}\!\subset\!\mathbb{R}^n$ is a set of points not all lying in the same affine hyperplane, $y\!\in\!\mathbb{R}^n$, $a_j\cdot y$ denotes the standard real inner product of $a_j$ and $y$, and we set $g(y)\!:=\!\sum^{n+k}_{j=1} c_j e^{a_j\cdot y}$. We prove that, for generic $c_j$, the number of connected components of the real zero set of $g$ is $O\!\left(n^2+\sqrt{2}^{k^2}(n+2)^{k-2}\right)$. The best previous upper bounds, when restricted to the special case $k\!=\!3$ and counting just the non-compact components, were already exponential in $n$. △ Less

Submitted 3 October, 2017; v1 submitted 2 October, 2017; originally announced October 2017.

Comments: 10 pages, 9 figures, submitted for publication. Comments and questions welcome! arXiv admin note: text overlap with arXiv:1612.03458

A-Discriminants for Complex Exponents, and Counting Real Isotopy Types

Authors: J. Maurice Rojas, Korben Rusek

Abstract: We extend the definition of $\mathcal{A}$-discriminant varieties, and Kapranov's parametrization of $\mathcal{A}$-discriminant varieties, to complex exponents. As an application, we study the special case where $\mathcal{A}$ is a fixed real $n\times (n+3)$ matrix whose columns form the spectrum of an $n$-variate exponential sum $g$ with fixed sign vector for its coefficients: We prove that the num… ▽ More We extend the definition of $\mathcal{A}$-discriminant varieties, and Kapranov's parametrization of $\mathcal{A}$-discriminant varieties, to complex exponents. As an application, we study the special case where $\mathcal{A}$ is a fixed real $n\times (n+3)$ matrix whose columns form the spectrum of an $n$-variate exponential sum $g$ with fixed sign vector for its coefficients: We prove that the number of possible isotopy types for the real zero set of $g$ is $O(n^2)$. The best previous upper bound was $2^{O(n^4)}$. Along the way, we also show that the singular loci of our generalized $\mathcal{A}$-discriminants are images of low-degree algebraic sets under certain analytic maps. △ Less

Submitted 29 October, 2017; v1 submitted 11 December, 2016; originally announced December 2016.

Comments: 14 pages, 13 illustrations, submitted for publication. (Previous version was accepted and presented at MEGA 2017.)

Probabilistic Condition Number Estimates For Real Polynomial Systems I: A Broader Family Of Distributions

Authors: Alperen A. Ergür, J. Maurice Rojas, Grigoris Paouris

Abstract: We consider the sensitivity of real roots of polynomial systems with respect to perturbations of the coefficients. In particular - for a version of the condition number defined by Cucker, Krick, Malajovich, and Wschebor - we establish new probabilistic estimates that allow a much broader family of measures than considered earlier. We also generalize further by allowing over-determined systems. Alo… ▽ More We consider the sensitivity of real roots of polynomial systems with respect to perturbations of the coefficients. In particular - for a version of the condition number defined by Cucker, Krick, Malajovich, and Wschebor - we establish new probabilistic estimates that allow a much broader family of measures than considered earlier. We also generalize further by allowing over-determined systems. Along the way, we derive new Lipshitz estimates for polynomial maps from R^n to R^m, extending earlier work of Kellog on the case m=1, which may be of independent interest. In Part II, we study smoothed complexity and how sparsity (in the sense of restricting which monomial terms can appear) can help further improve earlier condition number estimates. △ Less

Submitted 5 June, 2017; v1 submitted 3 November, 2016; originally announced November 2016.

Comments: We improved overall presentation of the paper and corrected a mistake that we spotted in the proof of Theorem 3.7. The correction had minimal effect on the proofs but changed the estimates in the main theorem

Journal ref: FOCM 2018

Tropical Varieties for Exponential Sums

Authors: Alperen Ergür, Grigoris Paouris, J. Maurice Rojas

Abstract: We study the complexity of approximating complex zero sets of certain $n$-variate exponential sums. We show that the real part, $R$, of such a zero set can be approximated by the $(n-1)$-dimensional skeleton, $T$, of a polyhedral subdivision of $\mathbb{R}^n$. In particular, we give an explicit upper bound on the Hausdorff distance: $Δ(R,T) =O\left(t^{3.5}/δ\right)$, where $t$ and $δ$ are respecti… ▽ More We study the complexity of approximating complex zero sets of certain $n$-variate exponential sums. We show that the real part, $R$, of such a zero set can be approximated by the $(n-1)$-dimensional skeleton, $T$, of a polyhedral subdivision of $\mathbb{R}^n$. In particular, we give an explicit upper bound on the Hausdorff distance: $Δ(R,T) =O\left(t^{3.5}/δ\right)$, where $t$ and $δ$ are respectively the number of terms and the minimal spacing of the frequencies of $g$. On the side of computational complexity, we show that even the $n=2$ case of the membership problem for $R$ is undecidable in the Blum-Shub-Smale model over $\mathbb{R}$, whereas membership and distance queries for our polyhedral approximation $T$ can be decided in polynomial-time for any fixed $n$. △ Less

Submitted 21 April, 2021; v1 submitted 14 December, 2014; originally announced December 2014.

Comments: 18 pages, 3 figures. This version corrects an erroneous proof of Theorem 1.1, and a small typo in Assertion (3) of Theorem 1.5, in the published version

Journal ref: Mathematische Annalen, Vol. 377, pp. 863-882 (2020)

Sparse Univariate Polynomials with Many Roots Over Finite Fields

Authors: Qi Cheng, Shuhong Gao, J. Maurice Rojas, Daqing Wan

Abstract: Suppose $q$ is a prime power and $f\in\mathbb{F}_q[x]$ is a univariate polynomial with exactly $t$ monomial terms and degree $<q-1$. To establish a finite field analogue of Descartes' Rule, Bi, Cheng, and Rojas (2013) proved an upper bound of $2(q-1)^{\frac{t-2}{t-1}}$ on the number of cosets in $\mathbb{F}^*_q$ needed to cover the roots of $f$ in $\mathbb{F}^*_q$. Here, we give explicit $f$ with… ▽ More Suppose $q$ is a prime power and $f\in\mathbb{F}_q[x]$ is a univariate polynomial with exactly $t$ monomial terms and degree $<q-1$. To establish a finite field analogue of Descartes' Rule, Bi, Cheng, and Rojas (2013) proved an upper bound of $2(q-1)^{\frac{t-2}{t-1}}$ on the number of cosets in $\mathbb{F}^*_q$ needed to cover the roots of $f$ in $\mathbb{F}^*_q$. Here, we give explicit $f$ with root structure approaching this bound: For $q$ a $(t-1)$-st power of a prime we give an explicit $t$-nomial vanishing on $q^{\frac{t-2}{t-1}}$ distinct cosets of $\mathbb{F}^*_q$. Over prime fields $\mathbb{F}_p$, computational data we provide suggests that it is harder to construct explicit sparse polynomials with many roots. Nevertheless, assuming the Generalized Riemann Hypothesis, we find explicit trinomials having $Ω\left(\frac{\log p}{\log \log p}\right)$ distinct roots in $\mathbb{F}_p$. △ Less

Submitted 6 July, 2016; v1 submitted 23 November, 2014; originally announced November 2014.

Comments: 9 pages, 1 figure, presented at MEGA 2015. This is the journal version, and includes new extremal examples and additional references, including pointers to recent advances by Kelley and Owen. Comments and questions welcome

Polynomial-Time Amoeba Neighborhood Membership and Faster Localized Solving

Authors: Eleanor Anthony, Sheridan Grant, Peter Gritzmann, J. Maurice Rojas

Abstract: We derive efficient algorithms for coarse approximation of algebraic hypersurfaces, useful for estimating the distance between an input polynomial zero set and a given query point. Our methods work best on sparse polynomials of high degree (in any number of variables) but are nevertheless completely general. The underlying ideas, which we take the time to describe in an elementary way, come from t… ▽ More We derive efficient algorithms for coarse approximation of algebraic hypersurfaces, useful for estimating the distance between an input polynomial zero set and a given query point. Our methods work best on sparse polynomials of high degree (in any number of variables) but are nevertheless completely general. The underlying ideas, which we take the time to describe in an elementary way, come from tropical geometry. We thus reduce a hard algebraic problem to high-precision linear optimization, proving new upper and lower complexity estimates along the way. △ Less

Submitted 23 December, 2013; originally announced December 2013.

Comments: 15 pages, 9 figures. Submitted to a conference proceedings

Counting Tropically Degenerate Valuations and p-adic Approaches to the Hardness of the Permanent

Authors: Pascal Koiran, Natacha Portier, J. Maurice Rojas

Abstract: The Shub-Smale Tau Conjecture is a hitherto unproven statement (on integer roots of polynomials) whose truth implies both a variant of $P\neq NP$ (for the BSS model over C) and the hardness of the permanent. We give alternative conjectures, some potentially easier to prove, whose truth still implies the hardness of the permanent. Along the way, we discuss new upper bounds on the number of $p$-adic… ▽ More The Shub-Smale Tau Conjecture is a hitherto unproven statement (on integer roots of polynomials) whose truth implies both a variant of $P\neq NP$ (for the BSS model over C) and the hardness of the permanent. We give alternative conjectures, some potentially easier to prove, whose truth still implies the hardness of the permanent. Along the way, we discuss new upper bounds on the number of $p$-adic valuations of roots of certain sparse polynomial systems, culminating in a connection between quantitative p-adic geometry and complexity theory. △ Less

Submitted 2 September, 2013; originally announced September 2013.

Comments: 17 pages, 7 figures. Submitted for publication. Dedicated to Mike Shub on his 70th birthday

Metric Estimates and Membership Complexity for Archimedean Amoebae and Tropical Hypersurfaces

Authors: Martin Avendano, Roman Kogan, Mounir Nisse, J. Maurice Rojas

Abstract: Given any complex Laurent polynomial $f$, $\mathrm{Amoeba}(f)$ is the image of its complex zero set under the coordinate-wise log absolute value map. We give an efficiently constructible polyhedral approximation, $\mathrm{ArchtTrop}(f)$, of $\mathrm{Amoeba}(f)$, and derive explicit upper and lower bounds, solely as a function of the number of monomial terms of $f$, for the Hausdorff distance betwe… ▽ More Given any complex Laurent polynomial $f$, $\mathrm{Amoeba}(f)$ is the image of its complex zero set under the coordinate-wise log absolute value map. We give an efficiently constructible polyhedral approximation, $\mathrm{ArchtTrop}(f)$, of $\mathrm{Amoeba}(f)$, and derive explicit upper and lower bounds, solely as a function of the number of monomial terms of $f$, for the Hausdorff distance between these two sets. We also show that deciding whether a given point lies in $\mathrm{ArchTrop}(f)$ is doable in polynomial-time, for any fixed dimension, unlike the corresponding problem for $\mathrm{Amoeba}(f)$, which is $\mathbf{NP}$-hard already in one variable. $\mathrm{ArchTrop}(f)$ can thus serve as a canonical low order approximation to start any higher order iterative polynomial system solving algorithm, such as homotopy continuation. $\mathrm{ArchTrop}(f)$ also provides an Archimedean analogue of Kapranov's Non-Archimedean Amoeba Theorem and a higher-dimensional extension of earlier estimates of Mikhalkin and Ostrowski. △ Less

Submitted 16 March, 2017; v1 submitted 13 July, 2013; originally announced July 2013.

Comments: 21 pages, 5 figures. This version adds a new family of examples showing the optimality of another one of our univariate bounds, and contains a brief comparison with work of Akian, Gaubert, and Sharify on the matrix polynomial problem. Various typos corrected as well

MSC Class: Primary 14T99; 52B70; Secondary 14Q20; 52C07; 65Y20

Sub-Linear Root Detection, and New Hardness Results, for Sparse Polynomials Over Finite Fields

Authors: **gguo Bi, Qi Cheng, J. Maurice Rojas

Abstract: We present a deterministic 2^O(t)q^{(t-2)(t-1)+o(1)} algorithm to decide whether a univariate polynomial f, with exactly t monomial terms and degree <q, has a root in F_q. A corollary of our method --- the first with complexity sub-linear in q when t is fixed --- is that the nonzero roots in F_q can be partitioned into at most 2 \sqrt{t-1} (q-1)^{(t-2)(t-1)} cosets of two subgroups S_1,S_2 of F^*_… ▽ More We present a deterministic 2^O(t)q^{(t-2)(t-1)+o(1)} algorithm to decide whether a univariate polynomial f, with exactly t monomial terms and degree <q, has a root in F_q. A corollary of our method --- the first with complexity sub-linear in q when t is fixed --- is that the nonzero roots in F_q can be partitioned into at most 2 \sqrt{t-1} (q-1)^{(t-2)(t-1)} cosets of two subgroups S_1,S_2 of F^*_q, with S_1 in S_2. Another corollary is the first deterministic sub-linear algorithm for detecting common degree one factors of k-tuples of t-nomials in F_q[x] when k and t are fixed. When t is not fixed we show that each of the following problems is NP-hard with respect to BPP-reductions, even when p is prime: (1) detecting roots in F_p for f, (2) deciding whether the square of a degree one polynomial in F_p[x] divides f, (3) deciding whether the discriminant of f vanishes, (4) deciding whether the gcd of two t-nomials in F_p[x] has positive degree. Finally, we prove that if the complexity of root detection is sub-linear (in a refined sense), relative to the straight-line program encoding, then NEXP is not in P/Poly. △ Less

Submitted 11 April, 2012; v1 submitted 4 April, 2012; originally announced April 2012.

Comments: 15 pages total (cover page, 10 pages, references, and 3 short appendices). This version corrects various minor typos, and improves the statement of the first main theorem

Randomization, Sums of Squares, and Faster Real Root Counting for Tetranomials and Beyond

Authors: Osbert Bastani, Christopher J. Hillar, Dimitar Popov, J. Maurice Rojas

Abstract: Suppose f is a real univariate polynomial of degree D with exactly 4 monomial terms. We present an algorithm, with complexity polynomial in log D on average (relative to the stable log-uniform measure), for counting the number of real roots of f. The best previous algorithms had complexity super-linear in D. We also discuss connections to sums of squares and A-discriminants, including explicit obs… ▽ More Suppose f is a real univariate polynomial of degree D with exactly 4 monomial terms. We present an algorithm, with complexity polynomial in log D on average (relative to the stable log-uniform measure), for counting the number of real roots of f. The best previous algorithms had complexity super-linear in D. We also discuss connections to sums of squares and A-discriminants, including explicit obstructions to expressing positive definite sparse polynomials as sums of squares of few sparse polynomials. Our key tool is the introduction of efficiently computable chamber cones, bounding regions in coefficient space where the number of real roots of f can be computed easily. Much of our theory extends to n-variate (n+3)-nomials. △ Less

Submitted 13 January, 2011; originally announced January 2011.

Comments: 20 pages, 5 figures, submitted to a refereed conference proceedings

Fewnomial Systems with Many Roots, and an Adelic Tau Conjecture

Authors: Kaitlyn Phillipson, J. Maurice Rojas

Abstract: 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 coordinates having fixed phase, as a function of n, k, and L only. In particular, we give new explicit systems with number of roots approaching the best known upper… ▽ More 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 coordinates having fixed phase, as a function of n, k, and L only. In particular, we give new explicit systems with number of roots approaching the best known upper bounds. We also briefly review the background behind such bounds, and their application, including connections to computational number theory and variants of the Shub-Smale tau-Conjecture and the P vs. NP Problem. One of our key tools is the construction of combinatorially constrained tropical varieties with maximally many intersections. △ Less

Submitted 5 November, 2012; v1 submitted 17 November, 2010; originally announced November 2010.

Comments: 23 pages, 9 illustrations, accepted for publication. Mainly fixing some dumb typos introduced in last version, particularly in Adelic Tau Conjecture

Faster p-adic Feasibility for Certain Multivariate Sparse Polynomials

Authors: Martín Avendaño, Ashraf Ibrahim, J. Maurice Rojas, Korben Rusek

Abstract: We present algorithms revealing new families of polynomials allowing sub-exponential detection of p-adic rational roots, relative to the sparse encoding. For instance, we show that the case of honest n-variate (n+1)-nomials is doable in NP and, for p exceeding the Newton polytope volume and not dividing any coefficient, in constant time. Furthermore, using the theory of linear forms in p-adic loga… ▽ More We present algorithms revealing new families of polynomials allowing sub-exponential detection of p-adic rational roots, relative to the sparse encoding. For instance, we show that the case of honest n-variate (n+1)-nomials is doable in NP and, for p exceeding the Newton polytope volume and not dividing any coefficient, in constant time. Furthermore, using the theory of linear forms in p-adic logarithms, we prove that the case of trinomials in one variable can be done in NP. The best previous complexity bounds for these problems were EXPTIME or worse. Finally, we prove that detecting p-adic rational roots for sparse polynomials in one variable is NP-hard with respect to randomized reductions. The last proof makes use of an efficient construction of primes in certain arithmetic progressions. The smallest n where detecting p-adic rational roots for n-variate sparse polynomials is NP-hard appears to have been unknown. △ Less

Submitted 6 November, 2010; v1 submitted 25 October, 2010; originally announced October 2010.

Comments: 31 pages, 3 figures, submitted for publication. This version corrects various typos and clarifies the proof of Assertion (3)(c) of the main theorem

Near NP-Completeness for Detecting p-adic Rational Roots in One Variable

Authors: Martin Avendano, Ashraf Ibrahim, J. Maurice Rojas, Korben Rusek

Abstract: We show that deciding whether a sparse univariate polynomial has a p-adic rational root can be done in NP for most inputs. We also prove a polynomial-time upper bound for trinomials with suitably generic p-adic Newton polygon. We thus improve the best previous complexity upper bound of EXPTIME. We also prove an unconditional complexity lower bound of NP-hardness with respect to randomized reduct… ▽ More We show that deciding whether a sparse univariate polynomial has a p-adic rational root can be done in NP for most inputs. We also prove a polynomial-time upper bound for trinomials with suitably generic p-adic Newton polygon. We thus improve the best previous complexity upper bound of EXPTIME. We also prove an unconditional complexity lower bound of NP-hardness with respect to randomized reductions for general univariate polynomials. The best previous lower bound assumed an unproved hypothesis on the distribution of primes in arithmetic progression. We also discuss how our results complement analogous results over the real numbers. △ Less

Submitted 24 January, 2010; originally announced January 2010.

Comments: 8 pages in 2 column format, 1 illustration. Submitted to a conference

Journal ref: proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC 2010, July 25-28, 2010, Munchen), pp. 331-338, ACM Press, 2010

New Multiplier Sequences via Discriminant Amoebae

Authors: Mikael Passare, Boris Shapiro, J. Maurice Rojas

Abstract: In their classic 1914 paper, Polya and Schur introduced and characterized two types of linear operators acting diagonally on the monomial basis of R[x], sending real-rooted polynomials (resp. polynomials with all nonzero roots of the same sign) to real-rooted polynomials. Motivated by fundamental properties of amoebae and discriminants discovered by Gelfand, Kapranov, and Zelevinsky, we introduc… ▽ More In their classic 1914 paper, Polya and Schur introduced and characterized two types of linear operators acting diagonally on the monomial basis of R[x], sending real-rooted polynomials (resp. polynomials with all nonzero roots of the same sign) to real-rooted polynomials. Motivated by fundamental properties of amoebae and discriminants discovered by Gelfand, Kapranov, and Zelevinsky, we introduce two new natural classes of polynomials and describe diagonal operators preserving these new classes. A pleasant circumstance in our description is that these classes have a simple explicit description, one of them coinciding with the class of log-concave sequences. △ Less

Submitted 24 January, 2010; originally announced January 2010.

Comments: 11 pages, 6 figures. Submitted for publication

Optimization and NP_R-Completeness of Certain Fewnomials

Authors: Philippe Pebay, J. Maurice Rojas, David C. Thompson

Abstract: We give a high precision polynomial-time approximation scheme for the supremum of any honest n-variate (n+2)-nomial with a constant term, allowing real exponents as well as real coefficients. Our complexity bounds count field operations and inequality checks, and are polynomial in n and the logarithm of a certain condition number. For the special case of polynomials (i.e., integer exponents), the… ▽ More We give a high precision polynomial-time approximation scheme for the supremum of any honest n-variate (n+2)-nomial with a constant term, allowing real exponents as well as real coefficients. Our complexity bounds count field operations and inequality checks, and are polynomial in n and the logarithm of a certain condition number. For the special case of polynomials (i.e., integer exponents), the log of our condition number is quadratic in the sparse encoding. The best previous complexity bounds were exponential in the sparse encoding, even for n fixed. Along the way, we extend the theory of A-discriminants to real exponents and certain exponential sums, and find new and natural NP_R-complete problems. △ Less

Submitted 6 November, 2010; v1 submitted 26 April, 2009; originally announced April 2009.

Comments: 9 pages, 7 figures (3 of them tiny). This is close to the final conference proceedings version

Journal ref: The final version was published in the proceedings of SNC 2009(August 3--5, 2009, Kyoto, Japan), pp. 133-142, ACM Press, 2010

Faster Real Feasibility via Circuit Discriminants

Authors: Frederic Bihan, J. Maurice Rojas, Casey Stella

Abstract: We show that detecting real roots for honestly n-variate (n+2)-nomials (with integer exponents and coefficients) can be done in time polynomial in the sparse encoding for any fixed n. The best previous complexity bounds were exponential in the sparse encoding, even for n fixed. We then give a characterization of those functions k(n) such that the complexity of detecting real roots for n-variate… ▽ More We show that detecting real roots for honestly n-variate (n+2)-nomials (with integer exponents and coefficients) can be done in time polynomial in the sparse encoding for any fixed n. The best previous complexity bounds were exponential in the sparse encoding, even for n fixed. We then give a characterization of those functions k(n) such that the complexity of detecting real roots for n-variate (n+k(n))-nomials transitions from P to NP-hardness as n tends to infinity. Our proofs follow in large part from a new complexity threshold for deciding the vanishing of A-discriminants of n-variate (n+k(n))-nomials. Diophantine approximation, through linear forms in logarithms, also arises as a key tool. △ Less

Submitted 28 January, 2009; v1 submitted 28 January, 2009; originally announced January 2009.

Comments: 12 pages in double column ACM format. Submitted to a conference. Significantly improves and simplifies the algorithms and complexity lower bounds of arXiv:math/0411107 . Also presents a new complexity lower bound for A-discriminants. This version fixes many annoying typos

Refined Asymptotics for Multigraded Sums of Squares

Authors: J. Maurice Rojas, Swaminathan Sethuraman

Abstract: To prove that a polynomial is nonnegative on R^n one can try to show that it is a sum of squares of polynomials (SOS). The latter problem is now known to be reducible to a semidefinite programming (SDP) computation much faster than classical algebraic methods, thus enabling new speed-ups in algebraic optimization. However, exactly how often nonnegative polynomials are in fact sums of squares of… ▽ More To prove that a polynomial is nonnegative on R^n one can try to show that it is a sum of squares of polynomials (SOS). The latter problem is now known to be reducible to a semidefinite programming (SDP) computation much faster than classical algebraic methods, thus enabling new speed-ups in algebraic optimization. However, exactly how often nonnegative polynomials are in fact sums of squares of polynomials remains an open problem. Blekherman was recently able to show that for degree k polynomials in n variables -- with k>=4 fixed -- those that are SOS occupy a vanishingly small fraction of those that are nonnegative on R^n, as n tends to infinity. With an eye toward the case of small n, we refine Blekherman's bounds by incorporating the underlying Newton polytope, simultaneously sharpening some of his older bounds along the way. Our refined asymptotics show that certain Newton polytopes may lead to families of polynomials where efficient SDP can still be used for most inputs. △ Less

Submitted 25 October, 2010; v1 submitted 23 January, 2009; originally announced January 2009.

Comments: There is an error invalidating the bounds of our main theorem. We are withdrawing this paper until we can replace it with a correct new version

Algorithmic Arithmetic Fewnomial Theory I: One Variable

Authors: Ashraf Ibrahim, J. Maurice Rojas, Korben Rusek

Abstract: Withdrawn by the authors due to an error in the proof of the finite field result (Thm. 1.5): The random primes used in the proof need NOT avoid the exceptional primes from Lemma 2.7, thus leaving Thm. 1.5 unproved. Withdrawn by the authors due to an error in the proof of the finite field result (Thm. 1.5): The random primes used in the proof need NOT avoid the exceptional primes from Lemma 2.7, thus leaving Thm. 1.5 unproved. △ Less

Submitted 24 January, 2010; v1 submitted 16 November, 2007; originally announced November 2007.

Comments: This paper has been withdrawn by the authors

New Complexity Bounds for Certain Real Fewnomial Zero Sets

Authors: Joel Gomez, Andrew Niles, J. Maurice Rojas

Abstract: Consider real bivariate polynomials f and g, respectively having 3 and m monomial terms. We prove that for all m>=3, there are systems of the form (f,g) having exactly 2m-1 roots in the positive quadrant. Even examples with m=4 having 7 positive roots were unknown before this paper, so we detail an explicit example of this form. We also present an O(n^{11}) upper bound for the number of diffeoto… ▽ More Consider real bivariate polynomials f and g, respectively having 3 and m monomial terms. We prove that for all m>=3, there are systems of the form (f,g) having exactly 2m-1 roots in the positive quadrant. Even examples with m=4 having 7 positive roots were unknown before this paper, so we detail an explicit example of this form. We also present an O(n^{11}) upper bound for the number of diffeotopy types of the real zero set of an n-variate polynomial with n+4 monomial terms. △ Less

Submitted 15 September, 2007; originally announced September 2007.

Comments: 8 pages, no figures. Extended abstract accepted and presented at MEGA (Effective Methods in Algebraic Geometry) 2007

On the Sharpness of fewnomial bound and the number of components of a fewnomial hypersurface

Authors: Frederic Bihan, J. Maurice Rojas, Frank Sottile

Abstract: We show the existence of systems of n polynomial equations in n variables, with a total of n+k+1 distinct monomial terms, possessing [n/k+1]^k nondegenerate positive solutions. (Here, [x] is the integer part of a positive number x.) This shows that the recent upper bound of (e^2+3)/4 2^{\binom{k}{2}} n^k for the number of nondegenerate positive solutions is asymptotically sharp for fixed k and… ▽ More We show the existence of systems of n polynomial equations in n variables, with a total of n+k+1 distinct monomial terms, possessing [n/k+1]^k nondegenerate positive solutions. (Here, [x] is the integer part of a positive number x.) This shows that the recent upper bound of (e^2+3)/4 2^{\binom{k}{2}} n^k for the number of nondegenerate positive solutions is asymptotically sharp for fixed k and large n. We also adapt a method of Perrucci to show that there are fewer than (e^2+3)/4 2^{\binom{k}{2}} 2^n n^k connected components in a smooth hypersurface in the positive orthant of R^n defined by a polynomial with n+k+1 monomials. Our results hold for polynomials with real exponents. △ Less

Submitted 22 May, 2007; v1 submitted 24 January, 2007; originally announced January 2007.

Comments: 5 pages, proof of main theorem corrected

MSC Class: 14P99

Extremal Real Algebraic Geometry and A-Discriminants

Authors: Alicia Dickenstein, J. Maurice Rojas, Korben Rusek, Justin Shih

Abstract: We present a new, far simpler family of counter-examples to Kushnirenko's Conjecture. Along the way, we illustrate a computer-assisted approach to finding sparse polynomial systems with maximally many real roots, thus shedding light on the nature of optimal upper bounds in real fewnomial theory. We use a powerful recent formula for the A-discriminant, and give new bounds on the topology of certa… ▽ More We present a new, far simpler family of counter-examples to Kushnirenko's Conjecture. Along the way, we illustrate a computer-assisted approach to finding sparse polynomial systems with maximally many real roots, thus shedding light on the nature of optimal upper bounds in real fewnomial theory. We use a powerful recent formula for the A-discriminant, and give new bounds on the topology of certain A-discriminant varieties. A consequence of the latter result is a new upper bound on the number of topological types of certain real algebraic sets defined by sparse polynomial equations, e.g., the number of smooth topological types attainable in certain families of real algebraic surfaces. △ Less

Submitted 3 February, 2007; v1 submitted 18 September, 2006; originally announced September 2006.

Comments: 24 pages, 13 figures, final version with several improvements and small corrections

A Number Theoretic Interpolation Between Quantum and Classical Complexity Classes

Authors: J. Maurice Rojas

Abstract: We reveal a natural algebraic problem whose complexity appears to interpolate between the well-known complexity classes BQP and NP: (*) Decide whether a univariate polynomial with exactly m monomial terms has a p-adic rational root. In particular, we show that while (*) is doable in quantum randomized polynomial time when m=2 (and no classical randomized polynomial time algorithm is known), (*… ▽ More We reveal a natural algebraic problem whose complexity appears to interpolate between the well-known complexity classes BQP and NP: (*) Decide whether a univariate polynomial with exactly m monomial terms has a p-adic rational root. In particular, we show that while (*) is doable in quantum randomized polynomial time when m=2 (and no classical randomized polynomial time algorithm is known), (*) is nearly NP-hard for general m: Under a plausible hypothesis involving primes in arithmetic progression (implied by the Generalized Riemann Hypothesis for certain cyclotomic fields), a randomized polynomial time algorithm for (*) would imply the widely disbelieved inclusion NP \subseteq BPP. This type of quantum/classical interpolation phenomenon appears to new. △ Less

Submitted 12 April, 2006; v1 submitted 12 April, 2006; originally announced April 2006.

Comments: 14 pages, no figures

Efficiently Detecting Torsion Points and Subtori

Authors: J. Maurice Rojas

Abstract: Suppose X is the complex zero set of a finite collection of polynomials in Z[x_1,...,x_n]. We show that deciding whether X contains a point all of whose coordinates are d_th roots of unity can be done within NP^NP (relative to the sparse encoding), under a plausible assumption on primes in arithmetic progression. In particular, our hypothesis can still hold even under certain failures of the Gen… ▽ More Suppose X is the complex zero set of a finite collection of polynomials in Z[x_1,...,x_n]. We show that deciding whether X contains a point all of whose coordinates are d_th roots of unity can be done within NP^NP (relative to the sparse encoding), under a plausible assumption on primes in arithmetic progression. In particular, our hypothesis can still hold even under certain failures of the Generalized Riemann Hypothesis, such as the presence of Siegel-Landau zeroes. Furthermore, we give a similar (but UNconditional) complexity upper bound for n=1. Finally, letting T be any algebraic subgroup of (C^*)^n we show that deciding whether X contains T is coNP-complete (relative to an even more efficient encoding),unconditionally. We thus obtain new non-trivial families of multivariate polynomial systems where deciding the existence of complex roots can be done unconditionally in the polynomial hierarchy -- a family of complexity classes lying between PSPACE and P, intimately connected with the P=?NP Problem. We also discuss a connection to Laurent's solution of Chabauty's Conjecture from arithmetic geometry. △ Less

Submitted 7 September, 2007; v1 submitted 23 January, 2005; originally announced January 2005.

Comments: 21 pages, no figures. Final version, with additional commentary and references. Also fixes a gap in Theorems 2 (now Theorem 1.3) regarding translated subtori

First Steps in Algorithmic Fewnomial Theory

Authors: Frederic Bihan, J. Maurice Rojas, Casey E. Stella

Abstract: Fewnomial theory began with explicit bounds -- solely in terms of the number of variables and monomial terms -- on the number of real roots of systems of polynomial equations. Here we take the next logical step of investigating the corresponding existence problem: Let FEAS_R denote the problem of deciding whether a given system of multivariate polynomial equations with integer coefficients has a… ▽ More Fewnomial theory began with explicit bounds -- solely in terms of the number of variables and monomial terms -- on the number of real roots of systems of polynomial equations. Here we take the next logical step of investigating the corresponding existence problem: Let FEAS_R denote the problem of deciding whether a given system of multivariate polynomial equations with integer coefficients has a real root or not. We describe a phase-transition for when m is large enough to make FEAS_R be NP-hard, when restricted to inputs consisting of a single n-variate polynomial with exactly m monomial terms: polynomial-time for m<=n+2 (for any fixed n) and NP-hardness for m<=n+n^{epsilon} (for n varying and any fixed epsilon>0). Because of important connections between FEAS_R and A-discriminants, we then study some new families of A-discriminants whose signs can be decided within polynomial-time. (A-discriminants contain all known resultants as special cases, and the latter objects are central in algorithmic algebraic geometry.) Baker's Theorem from diophantine approximation arises as a key tool. Along the way, we also derive new quantitative bounds on the real zero sets of n-variate (n+2)-nomials. △ Less

Submitted 23 January, 2006; v1 submitted 4 November, 2004; originally announced November 2004.

Comments: 25 pages, 5 figures. MAJOR revision of earlier version: (1) Frederic Bihan is a new co-author, (2) Theorem 1 is strengthened with a much sharper complexity threshold, (3) bounds on connected components from Theorem 2 are dramatically sharpened, (4) Theorem 3 strengthened considerably, (5) Corollary 1 removed, but theorem of Karpinski+Shparlinski on univariate discriminants is inserted, to clarify complexity comparisons

A Direct Ultrametric Approach to Additive Complexity and the Shub-Smale Tau Conjecture

Authors: J. Maurice Rojas

Abstract: The Shub-Smale Tau Conjecture is a hypothesis relating the number of integral roots of a polynomial f in one variable and the Straight-Line Program (SLP) complexity of f. A consequence of the truth of this conjecture is that, for the Blum-Shub-Smale model over the complex numbers, P differs from NP. We prove two weak versions of the Tau Conjecture and in so doing show that the Tau Conjecture fol… ▽ More The Shub-Smale Tau Conjecture is a hypothesis relating the number of integral roots of a polynomial f in one variable and the Straight-Line Program (SLP) complexity of f. A consequence of the truth of this conjecture is that, for the Blum-Shub-Smale model over the complex numbers, P differs from NP. We prove two weak versions of the Tau Conjecture and in so doing show that the Tau Conjecture follows from an even more plausible hypothesis. Our results follow from a new p-adic analogue of earlier work relating real algebraic geometry to additive complexity. For instance, we can show that a nonzero univariate polynomial of additive complexity s can have no more than 15+s^3(s+1)(7.5)^s s! =O(e^{s\log s}) roots in the 2-adic rational numbers Q_2, thus dramatically improving an earlier result of the author. This immediately implies the same bound on the number of ordinary rational roots, whereas the best previous upper bound via earlier techniques from real algebraic geometry was a quantity in Omega((22.6)^{s^2}). This paper presents another step in the author's program of establishing an algorithmic arithmetic version of fewnomial theory. △ Less

Submitted 9 April, 2003; v1 submitted 7 April, 2003; originally announced April 2003.

Comments: 9 pages, no figures. Submitted for publication

Dedekind Zeta Functions and the Complexity of Hilbert's Nullstellensatz

Authors: J. Maurice Rojas

Abstract: Let HN denote the problem of determining whether a system of multivariate polynomials with integer coefficients has a complex root. It has long been known that HN in P implies P=NP and, thanks to recent work of Koiran, it is now known that the truth of the Generalized Riemann Hypothesis (GRH) yields the implication that HN not in NP implies P is not equal to NP. We show that the assumption of GR… ▽ More Let HN denote the problem of determining whether a system of multivariate polynomials with integer coefficients has a complex root. It has long been known that HN in P implies P=NP and, thanks to recent work of Koiran, it is now known that the truth of the Generalized Riemann Hypothesis (GRH) yields the implication that HN not in NP implies P is not equal to NP. We show that the assumption of GRH in the latter implication can be replaced by either of two more plausible hypotheses from analytic number theory. The first is an effective short interval Prime Ideal Theorem with explicit dependence on the underlying field, while the second can be interpreted as a quantitative statement on the higher moments of the zeroes of Dedekind zeta functions. In particular, both assumptions can still hold even if GRH is false. We thus obtain a new application of Dedekind zero estimates to computational algebraic geometry. Along the way, we also apply recent explicit algebraic and analytic estimates, some due to Silberman and Sombra, which may be of independent interest. △ Less

Submitted 13 January, 2003; v1 submitted 11 January, 2003; originally announced January 2003.

Comments: 16 pages, no figures. Paper corresponds to a semi-plenary talk at FoCM 2002. This version corrects some minor typos and adds an acknowledgements section

Why Polyhedra Matter in Non-Linear Equation Solving

Authors: J. Maurice Rojas

Abstract: We give an elementary introduction to some recent polyhedral techniques for understanding and solving systems of multivariate polynomial equations. We provide numerous concrete examples and illustrations, and assume no background in algebraic geometry or convex geometry. Highlights include the following: (1) A completely self-contained proof of an extension of Bernstein's Theorem. Our extensio… ▽ More We give an elementary introduction to some recent polyhedral techniques for understanding and solving systems of multivariate polynomial equations. We provide numerous concrete examples and illustrations, and assume no background in algebraic geometry or convex geometry. Highlights include the following: (1) A completely self-contained proof of an extension of Bernstein's Theorem. Our extension relates volumes of polytopes with the number of connected components of the complex zero set of a polynomial system, and allows any number of polynomials and/or variables. (2) A near optimal complexity bound for computing mixed area -- a quantity intimately related to counting complex roots in the plane. △ Less

Submitted 22 December, 2002; originally announced December 2002.

Comments: 30 pages, 15 figures (26 ps or eps files), some in color. Paper corresponds to an invited tutorial talk delivered at a conference on Algebraic Geometry and Geometric Modelling (Vilnius, Lithuania, July 29-August 2, 2002), submitted for publication

High Probability Analysis of the Condition Number of Sparse Polynomial Systems

Authors: Gregorio Malajovich, J. Maurice Rojas

Abstract: Let F:=(f_1,...,f_n) be a random polynomial system with fixed n-tuple of supports. Our main result is an upper bound on the probability that the condition number of f in a region U is larger than 1/epsilon. The bound depends on an integral of a differential form on a toric manifold and admits a simple explicit upper bound when the Newton polytopes (and underlying covariances) are all identical.… ▽ More Let F:=(f_1,...,f_n) be a random polynomial system with fixed n-tuple of supports. Our main result is an upper bound on the probability that the condition number of f in a region U is larger than 1/epsilon. The bound depends on an integral of a differential form on a toric manifold and admits a simple explicit upper bound when the Newton polytopes (and underlying covariances) are all identical. We also consider polynomials with real coefficients and give bounds for the expected number of real roots and (restricted) condition number. Using a Kahler geometric framework throughout, we also express the expected number of roots of f inside a region U as the integral over U of a certain {\bf mixed volume} form, thus recovering the classical mixed volume when U = (C^*)^n. △ Less

Submitted 12 December, 2002; originally announced December 2002.

Comments: 29 pages, no figures. Extensive revision and streamlining of math.NA/0012104. In particular, new theorem with explicit high probability estimate of the condition number of a random sparse polynomial system (Theorem 1) has been added

Journal ref: Theoretical Computer Science, Volume 315, Issues 2-3, 6 May 2004, Pages 525-555.

Counting Real Connected Components of Trinomial Curve Intersections and m-nomial Hypersurfaces

Authors: Tien-Yien Li, J. Maurice Rojas, Xiaoshen Wang

Abstract: We prove that any pair of bivariate trinomials has at most 5 isolated roots in the positive quadrant. The best previous upper bounds independent of the polynomial degrees were much larger, e.g., 248832 (for just the non-degenerate roots) via a famous general result of Khovanski. Our bound is sharp, allows real exponents, allows degeneracies, and extends to certain systems of n-variate fewnomials… ▽ More We prove that any pair of bivariate trinomials has at most 5 isolated roots in the positive quadrant. The best previous upper bounds independent of the polynomial degrees were much larger, e.g., 248832 (for just the non-degenerate roots) via a famous general result of Khovanski. Our bound is sharp, allows real exponents, allows degeneracies, and extends to certain systems of n-variate fewnomials, giving improvements over earlier bounds by a factor exponential in the number of monomials. We also derive analogous sharpened bounds on the number of connected components of the real zero set of a single n-variate m-nomial. △ Less

Submitted 12 December, 2002; originally announced December 2002.

Comments: 27 pages, 2 figures. Extensive revision of math.CO/0008069. To appear in Discrete and Computational Geometry. Technique from main theorem (Theorem 1) now pushed as far as it will go. In particular, Theorem 1 now covers certain fewnomial systems of type (n+1,...,n+1,m) and certain non-sparse fewnomial systems. Also, a new result on counting non-compact connected components of fewnomial hypersurfaces (Theorem 3) has been added

Additive Complexity and the Roots of Polynomials Over Number Fields and p-adic Fields

Authors: J. Maurice Rojas

Abstract: 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 rational roots of f is no more than 15 + sigma(f)^2 (24.01)^{sigma(f)} sigma(f)!. This provides a sharper arithmetic analogue of earlier results of Dima Grigoriev an… ▽ More 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 rational roots of f is no more than 15 + sigma(f)^2 (24.01)^{sigma(f)} sigma(f)!. This provides a sharper arithmetic analogue of earlier results of Dima Grigoriev and Jean-Jacques Risler, which gave a bound of C^{sigma(f)^2} for the number of real roots of f, for some constant C with 1<C<32. We extend our new bound to arbitrary finite extensions of the ordinary or p-adic rationals, roots of bounded degree over a number field, and geometrically isolated roots of multivariate polynomial systems. We thus extend earlier bounds of Hendrik W. Lenstra, Jr. and the author to encodings more efficient than monomial expansions. We also mention a connection to complexity theory and note that our bounds hold for a broader class of fields. △ Less

Submitted 2 April, 2002; v1 submitted 16 January, 2002; originally announced January 2002.

Comments: 9 pages, no figures, requires llncs.cls (included) to compile. This version has a slight title change, includes new clarifications, and corrects various typos. To appear in the proceedings of ANTS (Algorithmic Number Theory Symposium) V

MSC Class: Number Theory; Complexity Theory

An Improved Bound on the VC-Dimension of Neural Networks with Polynomial Activation Functions

Authors: J. Maurice Rojas, M. Vidyasagar

Abstract: In this note, we derive an improved upper bound for the VC-dimension of neural networks with polynomial activation functions. This improved bound is based on a result of Rojas on the number of connected components of a semi-algebraic set. In this note, we derive an improved upper bound for the VC-dimension of neural networks with polynomial activation functions. This improved bound is based on a result of Rojas on the number of connected components of a semi-algebraic set. △ Less

Submitted 1 February, 2002; v1 submitted 19 December, 2001; originally announced December 2001.

Comments: 9 pages, submitted for publication. Various typos fixed and the proof of the main result has been streamlined

Arithmetic Multivariate Descartes' Rule

Authors: J. Maurice Rojas

Abstract: Let L be any number field or $\mathfrak{p}$-adic field and consider F:=(f_1,...,f_k) where f_i is in L[x_1,...,x_n]\{0} for all i and there are exactly m distinct exponent vectors appearing in f_1,...,f_k. We prove that F has no more than 1+(cmn(m-1)^2 log m)^n geometrically isolated roots in L^n, where c is an explicit and effectively computable constant depending only on L. This gives a signif… ▽ More Let L be any number field or $\mathfrak{p}$-adic field and consider F:=(f_1,...,f_k) where f_i is in L[x_1,...,x_n]\{0} for all i and there are exactly m distinct exponent vectors appearing in f_1,...,f_k. We prove that F has no more than 1+(cmn(m-1)^2 log m)^n geometrically isolated roots in L^n, where c is an explicit and effectively computable constant depending only on L. This gives a significantly sharper arithmetic analogue of Khovanski's Theorem on Fewnomials and a higher-dimensional generalization of an earlier result of Hendrik W. Lenstra, Jr. for the case of a single univariate polynomial. We also present some further refinements of our new bounds and briefly discuss the complexity of finding isolated rational roots. △ Less

Submitted 15 November, 2001; v1 submitted 31 October, 2001; originally announced October 2001.

Comments: 27 pages, needs svjour.cls and svinvmat.clo (both included) to compile. Maple code to verify computations included. This version removes a factor of n^n from the main bounds and includes extra discussion on additive complexity and the complexity of finding isolated rational roots. Also, more typos are corrected, and the numerical bounds from the examples are improved considerably

MSC Class: Primary: 11G25; Secondary: 11G35; 14G20

On Solving Fewnomials Over Intervals in Fewnomial Time

Authors: J. Maurice Rojas, Yinyu Ye

Abstract: Let f be a degree D univariate polynomial with real coefficients and exactly m monomial terms. We show that in the special case m=3 we can approximate within eps all the roots of f in the interval [0,R] using just O(log(D)log(Dlog(R/eps))) arithmetic operations. In particular, we can count the number of roots in any bounded interval using just O(log^2 D) arithmetic operations. Our speed-ups are… ▽ More Let f be a degree D univariate polynomial with real coefficients and exactly m monomial terms. We show that in the special case m=3 we can approximate within eps all the roots of f in the interval [0,R] using just O(log(D)log(Dlog(R/eps))) arithmetic operations. In particular, we can count the number of roots in any bounded interval using just O(log^2 D) arithmetic operations. Our speed-ups are significant and near-optimal: The asymptotically sharpest previous complexity upper bounds for both problems were super-linear in D, while our algorithm has complexity close to the respective complexity lower bounds. We also discuss conditions under which our algorithms can be extended to general m, and a connection to a real analogue of Smale's 17th Problem. △ Less

Submitted 4 March, 2004; v1 submitted 26 June, 2001; originally announced June 2001.

Comments: 19 pages, 1 encapsulated postscript figure. Major revision correcting many typos and minor errors. Additional discussion on connection to Smale's 17th Problem and some new references are included

Random Sparse Polynomial Systems

Authors: Gregorio Malajovich, J. Maurice Rojas

Abstract: Let f:=(f^1,\...,f^n) be a sparse random polynomial system. This means that each f^i has fixed support (list of possibly non-zero coefficients) and each coefficient has a Gaussian probability distribution of arbitrary variance. We express the expected number of roots of f inside a region U as the integral over U of a certain mixed volume form. When U = (C^*)^n, the classical mixed volume is re… ▽ More Let f:=(f^1,\...,f^n) be a sparse random polynomial system. This means that each f^i has fixed support (list of possibly non-zero coefficients) and each coefficient has a Gaussian probability distribution of arbitrary variance. We express the expected number of roots of f inside a region U as the integral over U of a certain mixed volume form. When U = (C^*)^n, the classical mixed volume is recovered. The main result in this paper is a bound on the probability that the condition number of f on the region U is larger than 1/epsilon. This bound depends on the integral of the mixed volume form over U, and on a certain intrinsic invariant of U as a subset of a toric manifold. Polynomials with real coefficients are also considered, and bounds for the expected number of real roots and for the condition number are given. The connection between zeros of sparse random polynomial systems, Kahler geometry, and mechanics (momentum maps) is discussed. △ Less

Submitted 13 December, 2000; originally announced December 2000.

Comments: 48 pages, 1 figure

MSC Class: 65H10; 52A39

Finiteness for Arithmetic Fewnomial Systems

Authors: J. Maurice Rojas

Abstract: Suppose L is any finite algebraic extension of either the ordinary rational numbers or the p-adic rational numbers. Also let g_1,...,g_k be polynomials in n variables, with coefficients in L, such that the total number of monomial terms appearing in at least one g_i is exactly m. We prove that the maximum number of isolated roots of G:=(g_1,...,g_k) in L^n is finite and depends solely on (m,n,L)… ▽ More Suppose L is any finite algebraic extension of either the ordinary rational numbers or the p-adic rational numbers. Also let g_1,...,g_k be polynomials in n variables, with coefficients in L, such that the total number of monomial terms appearing in at least one g_i is exactly m. We prove that the maximum number of isolated roots of G:=(g_1,...,g_k) in L^n is finite and depends solely on (m,n,L), i.e., is independent of the degrees of the g_i. We thus obtain an arithmetic analogue of Khovanski's Theorem on Fewnomials, extending earlier work of Denef, Van den Dries, Lipshitz, and Lenstra. △ Less

Submitted 29 March, 2001; v1 submitted 27 October, 2000; originally announced October 2000.

Comments: 6 pages; 1 figure (file=5adic.ps); needs my mildly hacked versions of amsart.cls and jams-l.cls, which are included. This is the final version and removes all ramification hypotheses, quotes some more explicit bounds for the benefit of the reader, streamlines some proofs, and corrects some more typos

MSC Class: Primary: 11G25; Secondary: 11G35; 14D10; 14G20