English
Related papers

Related papers: Faster polynomial multiplication over finite field…

200 papers

The extension complexity of a polytope $P$ is the smallest integer $k$ such that $P$ is the projection of a polytope $Q$ with $k$ facets. We study the extension complexity of $n$-gons in the plane. First, we give a new proof that the…

Discrete Mathematics · Computer Science 2012-11-26 Samuel Fiorini , Thomas Rothvoß , Hans Raj Tiwary

We prove a function field analogue of Maynard's result about primes with restricted digits. That is, for certain ranges of parameters n and q, we prove an asymptotic formula for the number of irreducible polynomials of degree n over a…

Number Theory · Mathematics 2019-08-15 Sam Porritt

For an integer $m >1$, we denote by $P(m)$ the largest prime divisor of $m$. We prove that $\limsup_{n \rightarrow +\infty} P(n!+1)/n \geqslant 1+9\log 2>7.238$, which improves a result of Stewart. More generally, for any nonzero polynomial…

Number Theory · Mathematics 2021-03-30 Li Lai

Asymptotically tight lower bounds are derived for the I/O complexity of a general class of hybrid algorithms computing the product of $n \times n$ square matrices combining ``\emph{Strassen-like}'' fast matrix multiplication approach with…

Data Structures and Algorithms · Computer Science 2019-04-30 Lorenzo De Stefani

We consider the problem of finding a sparse multiple of a polynomial. Given f in F[x] of degree d over a field F, and a desired sparsity t, our goal is to determine if there exists a multiple h in F[x] of f such that h has at most t…

Symbolic Computation · Computer Science 2011-01-04 Mark Giesbrecht , Daniel S. Roche , Hrushikesh Tilak

Given a polynomial system f associated with a simple multiple zero x of multiplicity {\mu}, we give a computable lower bound on the minimal distance between the simple multiple zero x and other zeros of f. If x is only given with limited…

Numerical Analysis · Mathematics 2017-03-14 Zhiwei Hao , Wenrong Jiang , Nan Li , Lihong Zhi

Let $p>1$ be a large prime number, let $q=O(\log\log p)$ and let $1\leq a<q$ be a pair of relatively prime integers. It is proved that there is a prime primitive root $u\ll (\log p)(\log \log p)^5$ such that $u\equiv a\bmod q$ in the prime…

General Mathematics · Mathematics 2025-09-25 N. A. Carella

We give a separation bound for the complex roots of a trinomial $f \in \mathbb{Z}[X]$. The logarithm of the inverse of our separation bound is polynomial in the size of the sparse encoding of $f$; in particular, it is polynomial in $\log…

Symbolic Computation · Computer Science 2018-10-26 Pascal Koiran

Let g >= 1 and let Q be a monic, squarefree polynomial of degree 2g + 1 in Z[x]. For an odd prime p not dividing the discriminant of Q, let Z_p(T) denote the zeta function of the hyperelliptic curve of genus g over the finite field F_p…

Number Theory · Mathematics 2013-09-27 David Harvey

Given Mikhlin-H\"ormander multipliers $m_i$, $i=1,..., N$, with uniform estimates we prove an optimal $\sqrt{\log(N+1)}$ bound in $L^p$ for the maximal function $\sup_i|\cF^{-1}[m_i\hat f]|$ and related bounds for maximal functions…

Classical Analysis and ODEs · Mathematics 2010-03-15 Loukas Grafakos , Petr Honzik , Andreas Seeger

An open problem in complexity theory is to find the minimal degree of a polynomial representing the $n$-bit OR function modulo composite $m$. This problem is related to understanding the power of circuits with $\text{MOD}_m$ gates where $m$…

Computational Complexity · Computer Science 2015-11-13 Holden Lee

Designing a deterministic polynomial time algorithm for factoring univariate polynomials over finite fields remains a notorious open problem. In this paper, we present an unconditional deterministic algorithm that takes as input an…

Number Theory · Mathematics 2025-09-17 Daniel Altman

We provide a monotone non increasing sequence of upper bounds $f^H_k$ ($k\ge 1$) converging to the global minimum of a polynomial $f$ on simple sets like the unit hypercube. The novelty with respect to the converging sequence of upper…

Optimization and Control · Mathematics 2016-05-26 Etienne de Klerk , Jean Lasserre , Monique Laurent , Zhao Sun

In this article, we obtain upper bounds on the number of irreducible factors of some classes of polynomials having integer coefficients, which in particular yield some of the well known irreducibility criteria. For devising our results, we…

Number Theory · Mathematics 2026-05-19 Jitender Singh

We consider the classical problems of interpolating a polynomial given a black box for evaluation, and of multiplying two polynomials, in the setting where the bit-lengths of the coefficients may vary widely, so-called unbalanced…

Symbolic Computation · Computer Science 2024-10-22 Pascal Giorgi , Bruno Grenet , Armelle Perret du Cray , Daniel S. Roche

Let $N_n(X)$ denote the number of degree $n$ number fields with discriminant bounded by $X$. In this note, we improve the best known upper bounds on $N_n(X)$, finding that $N_n(X) = O(X^{ c (\log n)^2})$ for an explicit constant $c$.

Number Theory · Mathematics 2020-06-24 Robert J. Lemke Oliver , Frank Thorne

This paper proposes new factorizations for computing the Neumann series. The factorizations are based on fast algorithms for small prime sizes series and the splitting of large sizes into several smaller ones. We propose a different basis…

Numerical Analysis · Computer Science 2017-07-20 Vassil Dimitrov , Diego Coelho

In this paper, we present a probabilistic algorithm to compute the number of $\mathbb{F}_p$-points of modular curve $X_1(n)$. Under the Generalized Riemann Hypothesis(GRH), the algorithm takes…

Number Theory · Mathematics 2013-05-21 Jinxiang Zeng

Polynomial system solving is a classical problem in mathematics with a wide range of applications. This makes its complexity a fundamental problem in computer science. Depending on the context, solving has different meanings. In order to…

Symbolic Computation · Computer Science 2013-07-16 Jean-Charles Faugère , Pierrick Gaudry , Louise Huot , Guénaël Renault

It is shown that the exponential of a complex power series up to order n can be implemented via (23/12+o(1))M(n) binary arithmetic operations over complex field, where M(n) stands for the (smoothed) complexity of multiplication of…

Data Structures and Algorithms · Computer Science 2012-03-20 Igor S. Sergeev