English
Related papers

Related papers: Sharpening "Primes is in P" for a large family of …

200 papers

The determinantal complexity of a polynomial $P \in \mathbb{F}[x_1, \ldots, x_n]$ over a field $\mathbb{F}$ is the dimension of the smallest matrix $M$ whose entries are affine functions in $\mathbb{F}[x_1, \ldots, x_n]$ such that $P =…

Computational Complexity · Computer Science 2021-12-03 Mrinal Kumar , Ben Lee Volk

We study new primality tests based on linear recurrent sequences of degree two exploiting a matricial approach. The classical Lucas test arises as a particular case and we see how it can be easily improved. Moreover, this approach shows…

Number Theory · Mathematics 2020-02-20 Danilo Bazzanella , Antonio Di Scala , Simone Dutto , Nadir Murru

This paper presents two efficient primality tests that quickly and accurately test all integers up to $2^{64}$.

Number Theory · Mathematics 2023-11-14 Almas Wang

We exhibit a probabilistic algorithm which solves a polynomial system over the rationals defined by a reduced regular sequence. Its bit complexity is roughly quadratic in the B\'ezout number of the system and linear in its bit size. Our…

Algebraic Geometry · Mathematics 2016-12-23 Nardo Gimenez , Guillermo Matera

For almost 35 years, Sch{\"o}nhage-Strassen's algorithm has been the fastest algorithm known for multiplying integers, with a time complexity O(n $\times$ log n $\times$ log log n) for multiplying n-bit inputs. In 2007, F{\"u}rer proved…

Symbolic Computation · Computer Science 2018-04-18 Svyatoslav Covanov , Emmanuel Thomé

We propose a pseudo-primality test using cyclic extensions of $\mathbb Z/n \mathbb Z$. For every positive integer $k \leq \log n$, this test achieves the security of $k$ Miller-Rabin tests at the cost of $k^{1/2+o(1)}$ Miller-Rabin tests.

Number Theory · Mathematics 2019-02-20 Jean-Marc Couveignes , Tony Ezome , Reynald Lercier

Lucas-Lehmer test is the current standard algorithm used for testing the primality of Mersenne numbers, but it may have limitations in terms of its efficiency and accuracy. Developing new algorithms or improving upon existing ones could…

Number Theory · Mathematics 2023-05-25 Moustafa Ibrahim

We prove that for an arbitrarily small constant $\eps>0,$ assuming NP$\not \subseteq$DTIME$(2^{{\log^{O(1/\eps)} n}})$, the preprocessing versions of the closest vector problem and the nearest codeword problem are hard to approximate within…

Computational Complexity · Computer Science 2011-09-13 Subhash Khot , Preyas Popat , Nisheeth K. Vishnoi

We address the question of computing one selected term of an algebraic power series. In characteristic zero, the best algorithm currently known for computing the $N$th coefficient of an algebraic series uses differential equations and has…

Symbolic Computation · Computer Science 2016-05-19 Alin Bostan , Gilles Christol , Philippe Dumas

We provide upper bounds on the density of a symmetric generalized arithmetic progression lacking nonzero elements of the form h(n) for natural numbers n, or h(p) with p prime, for appropriate polynomials h with integer coefficients. The…

Number Theory · Mathematics 2015-07-10 Ernie Croot , Neil Lyall , Alex Rice

Partitioning a sequence of length $n$ into $k$ coherent segments (Seg) is one of the classic optimization problems. As long as the optimization criterion is additive, Seg can be solved exactly in $O(n^2k)$ time using a classic dynamic…

Data Structures and Algorithms · Computer Science 2019-02-06 Nikolaj Tatti

A generalized 1-in-3SAT problem is defined and found to be in complexity class P when restricted to a certain subset of CNF expressions. In particular, 1-in-kSAT with no restrictions on the number of literals per clause can be decided in…

Computational Complexity · Computer Science 2017-07-04 Bernd R. Schuh

Given any fixed integer $q\ge 2$, a $q$-monomial is of the format $\displaystyle x^{s_1}_{i_1}x^{s_2}_{i_2}...x_{i_t}^{s_t}$ such that $1\le s_j \le q-1$, $1\le j \le t$. $q$-monomials are natural generalizations of multilinear monomials.…

Computational Complexity · Computer Science 2013-08-14 Shenshi Chen , Yaqing Chen , Quanhai Yang

Let $X$ be a sufficiently large positive integer. We prove that one may choose a subset $S$ of primes with cardinality $O(\log X)$, such that a positive proportion of integers less than $X$ can be represented by $x^2 + p y^2$ for at least…

Number Theory · Mathematics 2023-01-10 Yijie Diao

The strong probable primality test is an important practical tool for discovering prime numbers. Its effectiveness derives from the following fact: for any odd composite number $n$, if a base $a$ is chosen at random, the algorithm is…

Number Theory · Mathematics 2013-08-06 Eric Bach , Andrew Shallue

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

We modify Cheraghchi-Nakos [CN20] and Price-Scarlett's [PS20] fast binary splitting approach to nonadaptive group testing. We show that, to identify a uniformly random subset of $k$ infected persons among a population of $n$, it takes only…

Information Theory · Computer Science 2024-05-28 Hsin-Po Wang , Ryan Gabrys , Venkatesan Guruswami

Many modern asymmetric encryption methods rely on prime numbers, as they have distinctive properties. For instance, the security of RSA cryptosystem relies on the computational difficulty of factoring a large composite number in its prime…

Cryptography and Security · Computer Science 2026-05-19 Anas A. Abudaqa , Nujud Alyami , Mostefa Kara , Farid Binbeshr , Muhammad Imam , Amjad Abuhassan

Primality testing is an especially useful topic for public-key cryptography. In this paper, a novel primality test algorithm based on the Pell's cubic will be introduced, and its necessary primality conditions will be proved using three…

Number Theory · Mathematics 2024-11-05 Luca Di Domenico , Nadir Murru

Let $a,b\in \mathbb{N}$ be fixed and coprime such that $a>b$, and let $N$ be any number of the form $a^n\pm b^n$, $n\in\mathbb{N}$. We will generalize a result of Bostan, Gaudry and Schost and prove that we may compute the prime…

Number Theory · Mathematics 2017-09-20 Markus Hittmeir