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

Optimal Bounds for the Number of Pieces of Near-Circuit Hypersurfaces

Authors: Weixun Deng, J. Maurice Rojas, Cordelia Russell

Abstract: Suppose $f$ is a polynomial in $n$ variables with real coefficients, exactly $n+k$ monomial terms, and Newton polytope of positive volume. Estimating the number of connected components of the positive zero set of $f$ is a fundamental problem in real algebraic geometry, with applications in computational complexity and topology. We prove that the number of connected components is at most $3$ when… ▽ More Suppose $f$ is a polynomial in $n$ variables with real coefficients, exactly $n+k$ monomial terms, and Newton polytope of positive volume. Estimating the number of connected components of the positive zero set of $f$ is a fundamental problem in real algebraic geometry, with applications in computational complexity and topology. We prove that the number of connected components is at most $3$ when $k\!=\!3$, settling an open question from Fewnomial Theory. Our results also extend to exponential sums with real exponents. A key contribution here is a deeper analysis of the underlying $\mathcal{A}$-discriminant curves, which should be of use for other quantitative geometric problems. △ Less

Submitted 14 February, 2025; originally announced February 2025.

Cell Deformation Signatures along the Apical-Basal Axis: A 3D Continuum Mechanics Shell Model

Authors: Jairo M. Rojas, Mayisha Z. Nakib, Vivian W. Tang, William M. Brieher, Sascha Hilgenfeldt

Abstract: Two-dimensional (2D) mechanical models of confluent tissues have related the mechanical state of a monolayer of cells to the average perimeter length of the cell cross sections, predicting floppiness or rigidity of the material. For the well-studied system of in-vitro MDCK epithelial cells, however, we find experimentally that cells in mechanically rigid tissues display long perimeters characteris… ▽ More Two-dimensional (2D) mechanical models of confluent tissues have related the mechanical state of a monolayer of cells to the average perimeter length of the cell cross sections, predicting floppiness or rigidity of the material. For the well-studied system of in-vitro MDCK epithelial cells, however, we find experimentally that cells in mechanically rigid tissues display long perimeters characteristic of a floppy state in 2D models. We suggest that this discrepancy is due to mechanical effects in the third (apical-basal) dimension, including those caused by actin stress fibers near the basal membrane. To quantitatively understand cell deformations in 3D, we develop a continuum mechanics model of epithelial cells as elastic cylindrical shells, with appropriate boundary conditions reflecting both the passive confinement of neighboring cells and the active stress of actomyosin contractility. This formalism yields analytical solutions predicting cell cross sections along the entire cylinder axis. Deconvolution microscopy experimental data confirm the significant and systematic change in cell shape parameters in this apical-basal direction. In addition to providing a wealth of detailed information on deformation on the subcellular scale, the results of the approach alter our understanding of how active tissues balance requirements of their stiffness and integrity, suggesting they are more robust against loss of rigidity than previously inferred. △ Less

Submitted 29 January, 2025; originally announced January 2025.

Comments: 9 pages, 5 figures. Supporting Information included in the same file (6 additional pages, 7 additional figures)

Software Testing for Extended Reality Applications: A Systematic Mapping Study

Authors: Ruizhen Gu, José Miguel Rojas, Donghwan Shin

Abstract: Extended Reality (XR) is an emerging technology spanning diverse application domains and offering immersive user experiences. However, its unique characteristics, such as six degrees of freedom interactions, present significant testing challenges distinct from traditional 2D GUI applications, demanding novel testing techniques to build high-quality XR applications. This paper presents the first sy… ▽ More Extended Reality (XR) is an emerging technology spanning diverse application domains and offering immersive user experiences. However, its unique characteristics, such as six degrees of freedom interactions, present significant testing challenges distinct from traditional 2D GUI applications, demanding novel testing techniques to build high-quality XR applications. This paper presents the first systematic mapping study on software testing for XR applications. We selected 34 studies focusing on techniques and empirical approaches in XR software testing for detailed examination. The studies are classified and reviewed to address the current research landscape, test facets, and evaluation methodologies in the XR testing domain. Additionally, we provide a repository summarising the mapping study, including datasets and tools referenced in the selected studies, to support future research and practical applications. Our study highlights open challenges in XR testing and proposes actionable future research directions to address the gaps and advance the field of XR software testing. △ Less

Submitted 20 March, 2025; v1 submitted 15 January, 2025; originally announced January 2025.

Comments: 51 pages, 10 figures

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!

Bounding Random Test Set Size with Computational Learning Theory

Authors: Neil Walkinshaw, Michael Foster, Jose Miguel Rojas, Robert M Hierons

Abstract: Random testing approaches work by generating inputs at random, or by selecting inputs randomly from some pre-defined operational profile. One long-standing question that arises in this and other testing contexts is as follows: When can we stop testing? At what point can we be certain that executing further tests in this manner will not explore previously untested (and potentially buggy) software b… ▽ More Random testing approaches work by generating inputs at random, or by selecting inputs randomly from some pre-defined operational profile. One long-standing question that arises in this and other testing contexts is as follows: When can we stop testing? At what point can we be certain that executing further tests in this manner will not explore previously untested (and potentially buggy) software behaviors? This is analogous to the question in Machine Learning, of how many training examples are required in order to infer an accurate model. In this paper we show how probabilistic approaches to answer this question in Machine Learning (arising from Computational Learning Theory) can be applied in our testing context. This enables us to produce an upper bound on the number of tests that are required to achieve a given level of adequacy. We are the first to enable this from only knowing the number of coverage targets (e.g. lines of code) in the source code, without needing to observe a sample test executions. We validate this bound on a large set of Java units, and an autonomous driving system. △ Less

Submitted 24 June, 2024; v1 submitted 27 May, 2024; originally announced May 2024.

Comments: Preprint, accepted to FSE 2024

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 22 June, 2025; v1 submitted 13 March, 2024; originally announced March 2024.

Comments: Final version to appear in Journal of Symbolic Computation

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: Emma Boniface, Weixun Deng, J. Maurice Rojas

Abstract: We detail an algorithm that -- for all but a $\frac{1}{Ω(\log(dH))}$ fraction of $f\in\mathbb{Z}[x]$ with exactly $3$ monomial terms, degree $d$, and all coefficients in $\{-H,\ldots, H\}$ -- produces an approximate root (in the sense of Smale) for each real root of $f$ in deterministic time $\log^{4+o(1)}(dH)$ in the classical Turing model. (Each approximate root is a rational with logarithmic he… ▽ More We detail an algorithm that -- for all but a $\frac{1}{Ω(\log(dH))}$ fraction of $f\in\mathbb{Z}[x]$ with exactly $3$ monomial terms, degree $d$, and all coefficients in $\{-H,\ldots, H\}$ -- produces an approximate root (in the sense of Smale) for each real root of $f$ in deterministic time $\log^{4+o(1)}(dH)$ in the classical Turing model. (Each approximate root is a rational with logarithmic height $O(\log(dH))$.) The best previous deterministic bit complexity bounds were exponential in $\log d$. We then relate this to Koiran's Trinomial Sign Problem (2017): Decide the sign of a degree $d$ trinomial $f\in\mathbb{Z}[x]$ with coefficients in $\{-H,\ldots,H\}$, at a point $r\!\in\!\mathbb{Q}$ of logarithmic height $\log H$, in (deterministic) time $\log^{O(1)}(dH)$. We show that Koiran's Trinomial Sign Problem admits a positive solution, at least for a fraction $1-\frac{1}{Ω(\log(dH))}$ of the inputs $(f,r)$. △ Less

Submitted 5 May, 2025; v1 submitted 12 February, 2022; originally announced February 2022.

Comments: 17 pages

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

Conformal Defects from String Field Theory

Authors: Kasia Budzik, Miroslav Rapcak, Jairo M. Rojas

Abstract: Unlike conformal boundary conditions, conformal defects of Virasoro minimal models lack classification. Alternatively to the defect perturbation theory and the truncated conformal space approach, we employ open string field theory (OSFT) techniques to explore the space of conformal defects. We illustrate the method by an analysis of OSFT around the background associated to the $(1,2)$ topological… ▽ More Unlike conformal boundary conditions, conformal defects of Virasoro minimal models lack classification. Alternatively to the defect perturbation theory and the truncated conformal space approach, we employ open string field theory (OSFT) techniques to explore the space of conformal defects. We illustrate the method by an analysis of OSFT around the background associated to the $(1,2)$ topological defect in diagonal unitary minimal models. Numerical analysis of OSFT equations of motion leads to an identification of a nice family of solutions, recovering the picture of infrared fixed points due to Kormos, Runkel and Watts. In particular, we find a continuum of solutions in the Ising model case and 6 solutions for other minimal models. OSFT provides us with numerical estimates of the g-function and other coefficients of the boundary state. △ Less

Submitted 23 January, 2021; v1 submitted 14 September, 2020; originally announced September 2020.

Comments: 37 pages, 8 figures, 6 tables, v2: minor typos corrected

Journal ref: JHEP 01 (2021) 120

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

Enhancing Neutrino Event Reconstruction with Pixel-Based 3D Readout for Liquid Argon Time Projection Chambers

Authors: Corey Adams, Marco Del Tutto, Jonathan Asaadi, Madeline Bernstein, Eric Church, Roxanne Guenette, Jairo M. Rojas, Hunter Sullivan, Akshat Tripathi

Abstract: In this paper we explore the potential improvements in neutrino event reconstruction that a 3D pixelated readout could offer over a 2D projective wire readout for liquid argon time projection chambers. We simulate and study events in two generic, idealized detector configurations for these two designs, classifying events in each sample with deep convolutional neural networks to compare the best 2D… ▽ More In this paper we explore the potential improvements in neutrino event reconstruction that a 3D pixelated readout could offer over a 2D projective wire readout for liquid argon time projection chambers. We simulate and study events in two generic, idealized detector configurations for these two designs, classifying events in each sample with deep convolutional neural networks to compare the best 2D results to the best 3D results. In almost all cases we find that the 3D readout provides better reconstruction efficiency and purity than the 2D projective wire readout, with the advantages of 3D being particularly evident in more complex topologies, such as electron neutrino charged current events. We conclude that the use of a 3D pixelated detector could significantly enhance the reach and impact of future liquid argon TPC experiments physics program, such as DUNE. △ Less

Submitted 23 January, 2020; v1 submitted 20 December, 2019; originally announced December 2019.

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

Testing FLUKA on neutron activation of Si and Ge at nuclear research reactor using gamma spectroscopy

Authors: Jose Bazo, Jairo M. Rojas, Sergio Best, Ruben Bruna, Eric Endress, Pablo Mendoza, Victor Poma, Alberto M. Gago

Abstract: Samples of two characteristic semiconductor sensor materials, silicon and germanium, have been irradiated with neutrons produced at the RP-10 Nuclear Research Reactor at 4.5 MW. Their radionuclides photon spectra have been measured with high resolution gamma spectroscopy, quantifying four radioisotopes ($^{28}$Al, $^{29}$Al for Si and $^{75}$Ge and $^{77}$Ge for Ge). We have compared the radionucl… ▽ More Samples of two characteristic semiconductor sensor materials, silicon and germanium, have been irradiated with neutrons produced at the RP-10 Nuclear Research Reactor at 4.5 MW. Their radionuclides photon spectra have been measured with high resolution gamma spectroscopy, quantifying four radioisotopes ($^{28}$Al, $^{29}$Al for Si and $^{75}$Ge and $^{77}$Ge for Ge). We have compared the radionuclides production and their emission spectrum data with Monte Carlo simulation results from FLUKA. Thus we have tested FLUKA's low energy neutron library (ENDF/B-VIIR) and decay photon scoring with respect to the activation of these semiconductors. We conclude that FLUKA is capable of predicting relative photon peak amplitudes, with gamma intensities greater than 1%, of produced radionuclides with an average uncertainty of 13%. This work allows us to estimate the corresponding systematic error on neutron activation simulation studies of these sensor materials. △ Less

Submitted 20 December, 2017; v1 submitted 6 September, 2017; originally announced September 2017.

Comments: 18 pages, 5 figures; figure added, minor changes, typos corrected

Journal ref: Nucl. Instr. Meth. Phys. Res., A 885 (2018) 1-6

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: Jingguo 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.