English
Related papers

Related papers: Root Repulsion and Faster Solving for Very Sparse …

200 papers

We implement an iterative numerical method to solve polynomial equations $f(x)=0$ in the $p$-adic numbers, where $f(x) \in\mathbb{Z}_p[x]$. This method is a simplified $p$-adic analogue of Jarratt's method for finding roots of functions…

Number Theory · Mathematics 2021-12-28 Stephan Baier , Swarup Kumar Das , Saayan Mukherjee

For an odd prime $p$, we say a polynomial $f\in \mathbb F_p[X]$ computes square roots if $f(a)^2=a$ for all nonzero, perfect squares $a\in \mathbb F_p$. When $p\equiv 3 \mod 4$, it is easy to see that $f(X)=X^{\frac{p+1}{4}}$ is the…

Number Theory · Mathematics 2025-12-01 Foivos Chnaras , Noah Kupinsky

Let $C$ be a smooth plane quartic curve over $\mathbb{Q}$. Costa, Harvey and Sutherland provide an algorithm with an implementation, improving Harvey's average polynomial-time algorithm, to compute the $\bmod \ p$ reduction of the numerator…

Number Theory · Mathematics 2026-02-03 Jia Shi

We give efficient algorithms for finding power-sum decomposition of an input polynomial $P(x)= \sum_{i\leq m} p_i(x)^d$ with component $p_i$s. The case of linear $p_i$s is equivalent to the well-studied tensor decomposition problem while…

Data Structures and Algorithms · Computer Science 2022-08-02 Mitali Bafna , Jun-Ting Hsieh , Pravesh K. Kothari , Jeff Xu

Let $f\in \mathbb{Z}\lbrack x\rbrack$ be a polynomial of degree $d\geq 3$ without roots of multiplicity $d$ or $(d-1)$. Erd\H{o}s conjectured that, if $f$ satisfies the necessary local conditions, then $f(p)$ is free of $(d-1)$th powers for…

Number Theory · Mathematics 2007-07-04 H. A. Helfgott

Let K be a field of characteristic p>0, and let q be a power of p. We determine all polynomials f in K[t]\K[t^p] of degree q(q-1)/2 such that the Galois group of f(t)-u over K(u) has a transitive normal subgroup isomorphic to PSL_2(q),…

Algebraic Geometry · Mathematics 2013-10-08 Robert M. Guralnick , Michael E. Zieve

Let $K$ be a field, complete with respect to a discrete non-archimedian valuation and let $k$ be the residue field. Consider a system $F$ of $n$ polynomial equations in $K\vars$. Our first result is a reformulation of the classical Hensel's…

Algebraic Geometry · Mathematics 2011-07-07 Martin Avendano , Ashraf Ibrahim

For $f(x)$ a separable polynomial of degree $d$ over a discretely valued field $K$, we describe how the cluster picture of $f(x)$ over $K$, in other words the set of tuples $\{(\mathrm{ord}(x_i-x_j),i,j) : 1\leq i< j \leq d \}$ where…

Number Theory · Mathematics 2025-03-12 Lilybelle Cowland Kellock

A new version of the Graeffe algorithm for finding all the roots of univariate complex polynomials is proposed. It is obtained from the classical algorithm by a process analogous to renormalization of dynamical systems. This iteration is…

Numerical Analysis · Mathematics 2025-10-20 Gregorio Malajovich , Jorge P. Zubelli

We give a deterministic polynomial time $2^{O(r)}$-approximation algorithm for the number of bases of a given matroid of rank $r$ and the number of common bases of any two matroids of rank $r$. To the best of our knowledge, this is the…

Data Structures and Algorithms · Computer Science 2018-11-06 Nima Anari , Shayan Oveis Gharan , Cynthia Vinzant

We consider the following general network design problem on directed graphs. The input is an asymmetric metric $(V,c)$, root $r^{*}\in V$, monotone submodular function $f:2^V\rightarrow \mathbb{R}_+$ and budget $B$. The goal is to find an…

Data Structures and Algorithms · Computer Science 2019-04-03 Rohan Ghuge , Viswanath Nagarajan

For each $k\geq 3$, Green proved an arithmetic $k$-cycle removal lemma for any abelian group $G$. The best known bounds relating the parameters in the lemma for general $G$ are of tower-type. For $k>3$, even in the case $G=\mathbb{F}_2^n$…

Combinatorics · Mathematics 2018-09-05 Jacob Fox , László Miklós Lovász , Lisa Sauermann

In the classical linear degeneracy testing problem, we are given $n$ real numbers and a $k$-variate linear polynomial $F$, for some constant $k$, and have to determine whether there exist $k$ numbers $a_1,\ldots,a_k$ from the set such that…

Computational Geometry · Computer Science 2022-12-07 Jean Cardinal , Micha Sharir

In this paper, we establish hardness and approximation results for various $L_p$-ball constrained homogeneous polynomial optimization problems, where $p \in [2,\infty]$. Specifically, we prove that for any given $d \ge 3$ and $p \in…

Optimization and Control · Mathematics 2012-11-01 Ke Hou , Anthony Man-Cho So

For a polynomial $f$ from a class $\mathcal{C}$ of polynomials, we show that the problem to compute all the constant degree irreducible factors of $f$ reduces in polynomial time to polynomial identity tests (PIT) for class $\mathcal{C}$ and…

Computational Complexity · Computer Science 2026-03-02 Pranjal Dutta , Amit Sinhababu , Thomas Thierauf

Univariate polynomial root-finding is a classical subject, still important for modern computing. Frequently one seeks just the real roots of a polynomial with real coefficients. They can be approximated at a low computational cost if the…

Symbolic Computation · Computer Science 2017-04-14 Victor Y. Pan , Liang Zhao

Let p be a prime, and let M_p(n) denote the bit complexity of multiplying two polynomials in F_p[X] of degree less than n. For n large compared to p, we establish the bound M_p(n) = O(n log n 8^(log^* n) log p), where log^* is the iterated…

Computational Complexity · Computer Science 2014-07-15 David Harvey , Joris van der Hoeven , Grégoire Lecerf

We establish new hardness results for decision tree optimization problems, adding to a line of work that dates back to Hyafil and Rivest in 1976. We prove, under randomized ETH, superpolynomial lower bounds for two basic problems: given an…

Computational Complexity · Computer Science 2022-10-13 Caleb Koch , Carmen Strassle , Li-Yang Tan

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

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

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…

Algebraic Geometry · Mathematics 2007-05-23 Alicia Dickenstein , J. Maurice Rojas , Korben Rusek , Justin Shih