Gauss-Euler Primality Test

Almas Wang

2023-11-13

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

Number Theory

What problem does this paper attempt to address?

Four primality testing algorithms

Rene Schoof

DOI: https://doi.org/10.48550/arXiv.0801.3840

2008-01-25

Abstract:In this expository paper we describe four primality tests. The first test is very efficient, but is only capable of proving that a given number is either composite or 'very probably' prime. The second test is a deterministic polynomial time algorithm to prove that a given numer is either prime or composite. The third and fourth primality tests are at present most widely used in practice. Both tests are capable of proving that a given number is prime or composite, but neither algorithm is deterministic. The third algorithm exploits the arithmetic of cyclotomic fields. Its running time is almost, but not quite polynomial time. The fourth algorithm exploits elliptic curves. Its running time is difficult to estimate, but it behaves well in practice.

Number Theory
Extending Babbage's (Non-)Primality Tests

Jonathan Sondow

2018-12-19

Abstract:We recall Charles Babbage's 1819 criterion for primality, based on simultaneous congruences for binomial coefficients, and extend it to a least-prime-factor test. We also prove a partial converse of his non-primality test, based on a single congruence. Two problems are posed. Along the way we encounter Bachet, Bernoulli, Bezout, Euler, Fermat, Kummer, Lagrange, Lucas, Vandermonde, Waring, Wilson, Wolstenholme, and several contemporary mathematicians.

Number Theory
Fermat test with Gaussian base and Gaussian pseudoprimes

José María Grau,Antonio M. Oller-Marcén,Manuel Rodríguez,Daniel Sadornil

DOI: https://doi.org/10.1007/s10587-015-0221-2

2015-12-01

Czechoslovak Mathematical Journal

Abstract:The structure of the group (ℤ/nℤ)* and Fermat’s little theorem are the basis for some of the best-known primality testing algorithms. Many related concepts arise: Euler’s totient function and Carmichael’s lambda function, Fermat pseudoprimes, Carmichael and cyclic numbers, Lehmer’s totient problem, Giuga’s conjecture, etc. In this paper, we present and study analogues to some of the previous concepts arising when we consider the underlying group Gn:= {a + bi ∈ ℤ[i]/nℤ[i]: a2 + b2 ≡ 1 (mod n)}. In particular, we characterize Gaussian Carmichael numbers via a Korselt’s criterion and present their relation with Gaussian cyclic numbers. Finally, we present the relation between Gaussian Carmichael number and 1-Williams numbers for numbers n ≡ 3 (mod 4). There are also no known composite numbers less than 1018 in this family that are both pseudoprime to base 1 + 2i and 2-pseudoprime.

mathematics
Novel performant primality test on a Pell's cubic

Luca Di Domenico,Nadir Murru

2024-11-04

Abstract: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 integer sequences connected to operations applied in the projectivization of the Pell's cubic. The number of operations involved in the test grows linearly with respect to the bit-length $\log_2(n)$ of the input integer $n$. The algorithm is deterministic for integers less than $2^{32}$.

Number Theory
Primality of numbers of the form $ap^{k}+1$

Ariko Stephen Philemon

DOI: https://doi.org/10.48550/arXiv.2005.02327

2020-05-04

Number Theory

Abstract:In 1876, Edouard Lucas showed that if an integer $b$ exists such that $b^{n-1} \equiv 1 (\mathrm{mod} \ n)$ and $b^{(n-1)/p} \not\equiv 1( \mathrm{mod} \ n)$ for all prime divisors $p$ of $n-1$ , then $n$ is prime, a result known as Lucas's converse of Fermat's little theorem. This result was considerably improved by Henry Pocklington in 1914 when he showed that it's not necessary to know all the prime factors of $n-1$ in order to determine if $n$ is prime. In this paper we optimize Pocklington's primality test for integers of the form $ap^{k}+1$ where $p$ is prime, $a<p$, $k\ge 1$. An extension of Lucas's converse of Fermat's little theorem is given. We also prove a new general-purpose primality test that requires that only a single odd prime divisor of $n-1$ be found for the test to be implemented. Contrary to the well-known result: There are infinitely many Fermat pseudoprimes to any base $b$; In this paper we prove the finitude of Fermat pseudoprimes in some forms of integers.
Primes of the form $p^2 + nq^2$

Ben Green,Mehtaab Sawhney

2024-10-13

Abstract:Suppose that $n$ is $0$ or $4$ modulo $6$. We show that there are infinitely many primes of the form $p^2 + nq^2$ with both $p$ and $q$ prime, and obtain an asymptotic for their number. In particular, when $n = 4$ we verify the `Gaussian primes conjecture' of Friedlander and Iwaniec. We study the problem using the method of Type I/II sums in the number field $\mathbf{Q}(\sqrt{-n})$. The main innovation is in the treatment of the Type II sums, where we make heavy use of two recent developments in the theory of Gowers norms in additive combinatorics: quantitative versions of so-called concatenation theorems, due to Kuca and to Kuca--Kravitz-Leng, and the quasipolynomial inverse theorem of Leng, Sah and the second author.

Number Theory,Combinatorics
A Probable Prime Test With High Confidence

Jon Grantham

DOI: https://doi.org/10.1006/jnth.1998.2247

2019-03-16

Abstract:Monier and Rabin proved that an odd composite can pass the Strong Probable Prime Test for at most $\frac 14$ of the possible bases. In this paper, a probable prime test is developed using quadratic polynomials and the Frobenius automorphism. The test, along with a fixed number of trial divisions, ensures that a composite $n$ will pass for less than $\frac 1{7710}$ of the polynomials $x^2-bx-c$ with $\left(b^2+4c\over n\right)=-1$ and $\left(-c\over n\right)=1$. The running time of the test is asymptotically $3$ times that of the Strong Probable Prime Test.

Number Theory
Explicit primality criteria for $h\cdot2^n\pm1$

Yingpu Deng,Dandan Huang

DOI: https://doi.org/10.48550/arXiv.1306.4456

2013-12-02

Abstract:We describe an explicit generalized Lucasian test to determine the primality of numbers $h\cdot2^n\pm1$ when $h\nequiv0\pmod{17}$. This test is by means of fixed seeds which depend only on $h$. In particular when $h=16^m-1$ with $m$ odd, our paper gives a primality test with some fixed seeds depending only on $h$. Comparing the results of W. Bosma(1993) and P. Berrizbeitia and T. G. Berry(2004), our result adds new values of $h$ along with this line. Octic and bioctic reciprocity are used to deduce our result.

Number Theory
FastECPP over MPI

Andreas Enge

2024-05-03

Abstract:The FastECPP algorithm is currently the fastest approach to prove theprimality of general numbers, and has the additional benefit of creatingcertificates that can be checked independently and with a lower complexity.This article shows how by parallelising over a linear number of cores,its quartic time complexity becomes a cubic wallclock time complexity;and it presents the algorithmic choices of the FastECPP implementation inthe author's \cm\ software (

Number Theory
An algorithm and computation to verify Legendre's Conjecture up to $3.33\cdot10^{13}$

Jonathan Sorenson,Jonathan Webster

2024-01-25

Abstract:We state a general purpose algorithm for quickly finding primes in evenly divided sub-intervals. Legendre's conjecture claims that for every positive integer $n$, there exists a prime between $n^2$ and $(n+1)^2$. Oppermann's conjecture subsumes Legendre's conjecture by claiming there are primes between $n^2$ and $n(n+1)$ and also between $n(n+1)$ and $(n+1)^2$. Using Cramér's conjecture as the basis for a heuristic run-time analysis, we show that our algorithm can verify Oppermann's conjecture, and hence also Legendre's conjecture, for all $n\le N$ in time $O( N \log N \log \log N)$ and space $N^{O(1/\log \log N)}$. We implemented a parallel version of our algorithm and improved the empirical verification of Oppermann's conjecture from the previous $N = 2\cdot 10^{9}$ up to $N = 3.33\cdot 10^{13}$, so we were finding $27$ digit primes. The computation ran for about half a year on four Intel Xeon Phi $7210$ processors using a total of $256$ cores.

Number Theory
Lots and Lots of Perrin-Type Primality Tests and Their Pseudo-Primes

Robert Dougherty-Bliss,Doron Zeilberger

2024-04-11

Abstract:We use Experimental Mathematics and Symbolic Computation (with Maple), to search for lots and lots of Perrin- and Lucas- style primality tests, and try to sort the wheat from the chaff. More impressively, we find quite a few such primality tests for which we can explicitly construct infinite families of pseudo-primes, rather, like in the cases of Perrin pseudo-primes and the famous Carmichael primes, only proving the mere existence of infinitely many of them.

Combinatorics
A Bombieri-Vinogradov Theorem for primes in short intervals and small sectors

Tanmay Khale,Cooper O'Kuhn,Apoorva Panidapu,Alec Sun,Shengtong Zhang

DOI: https://doi.org/10.1016/j.jnt.2021.04.004

IF: 0.679

2021-12-01

Journal of Number Theory

Abstract:Let K be a finite Galois extension of <math>Q</math>. We count primes in short intervals represented by the norm of a prime ideal of K satisfying a small sector condition determined by Hecke characters. We also show that such primes are well-distributed in arithmetic progressions in the sense of Bombieri-Vinogradov. This extends previous work of Duke and Coleman.

mathematics
Walking through the Gaussian Primes

Madhuparna Das

2024-09-06

Abstract:The Gaussian Moat problem asks whether one can walk to infinity in the Gaussian integers using the Gaussian primes as stepping stones and taking bounded length steps or not. In this paper, we have analyzed the Gaussian primes and also developed an algorithm to find the primes on the $\mathbb{R}^2$ plane which will help us to calculate the moat for higher value. We have also reduced a lot of computation with this algorithm to find the Gaussian prime though their distribution on the $\mathbb{R}^2$ plane is not so regular. A moat of value $\sqrt{26}$ is already an existing result done by Genther <a class="link-external link-http" href="http://et.al" rel="external noopener nofollow">this http URL</a>. The focus of the problem is to show that primes are getting lesser as we are approaching infinity. We have shown this result with the help of our algorithm. We have calculated the moat and also calculated the time complexity of our algorithm and compared it with Genther-Wagon-Wick's algorithm. As a new ingredient, we have defined the notion of primality for the plane $\mathbb{R}^3$ and proposed a problem on it.

Number Theory
New Directions for Primality Test

Lakshmi Prabha S,T.N.Janakiraman

DOI: https://doi.org/10.48550/arXiv.1402.5633

2014-02-24

Abstract:In this paper, two approximation algorithms are given. Let N be an odd composite number. The algorithms give new directions regarding primality test of given N. The first algorithm is given using a new method called digital coding method. It is conjectured that the algorithm finds a divisor of N in at most O(ln^{4} N), where ln denotes the logarithm with respect to base 2. The algorithm can be applied to find the next largest Mersenne prime number. Some directions are given regarding this. The second algorithm finds a prime divisor of N using the concept of graph pairs and it is proved that the time complexity of the second algorithm is at most O(ln^{2} N) for infinitely many cases (for approximately large N). The advantages and disadvantages of the second algorithm are also analyzed.

Number Theory
Primality proving using elliptic curves with complex multiplication by imaginary quadratic fields of class number three

Hiroshi Onuki

2024-04-11

Abstract:In 2015, Abatzoglou, Silverberg, Sutherland, and Wong presented a framework for primality proving algorithms for special sequences of integers using an elliptic curve with complex multiplication. They applied their framework to obtain algorithms for elliptic curves with complex multiplication by imaginary quadratic field of class numbers one and two, but, they were not able to obtain primality proving algorithms in cases of higher class number. In this paper, we present a method to apply their framework to imaginary quadratic fields of class number three. In particular, our method provides a more efficient primality proving algorithm for special sequences of integers than the existing algorithms by using an imaginary quadratic field of class number three in which 2 splits. As an application, we give two special sequences of integers derived from $\Q(\sqrt{-23})$ and $\Q(\sqrt{-31})$, which are all the imaginary quadratic fields of class number three in which 2 splits. Finally, we give a computational result for the primality of these sequences.

Mathematics
Primes in arithmetic progressions to large moduli, and Goldbach beyond the square-root barrier

Jared Duker Lichtman

2023-08-31

Abstract:We show the primes have level of distribution $66/107\approx 0.617$ using triply well-factorable weights. This gives the highest level of distribution for primes in any setting, improving on the prior record level $3/5=0.60$ of Maynard. We also extend this level to $5/8=0.625$, assuming Selberg's eigenvalue conjecture. As applications of the method, we obtain new upper bounds for twin primes and for Goldbach representations of even numbers $a$. For the Goldbach problem, this is the first use of a level of distribution beyond the square-root barrier, and leads to the greatest improvement on the problem since Bombieri-Davenport from 1966. Our proof optimizes the Deshouillers-Iwaniec spectral large sieve estimates, both in the exceptional spectrum and uniformity in the residue $a$, refining Drappeau-Pratt-Radziwill and Assing-Blomer-Li.

Number Theory
Average Case Error Estimates of the Strong Lucas Test

Semira Einsele,Kenneth Paterson

2023-06-16

Abstract:Reliable probabilistic primality tests are fundamental in public-key cryptography. In adversarial scenarios, a composite with a high probability of passing a specific primality test could be chosen. In such cases, we need worst-case error estimates for the test. However, in many scenarios the numbers are randomly chosen and thus have significantly smaller error probability. Therefore, we are interested in average case error estimates. In this paper, we establish such bounds for the strong Lucas primality test, as only worst-case, but no average case error bounds, are currently available. This allows us to use this test with more confidence. We examine an algorithm that draws odd $k$-bit integers uniformly and independently, runs $t$ independent iterations of the strong Lucas test with randomly chosen parameters, and outputs the first number that passes all $t$ consecutive rounds. We attain numerical upper bounds on the probability on returing a composite. Furthermore, we consider a modified version of this algorithm that excludes integers divisible by small primes, resulting in improved bounds. Additionally, we classify the numbers that contribute most to our estimate.

Cryptography and Security,Number Theory
From Worst to Average Case to Incremental Search Bounds of the Strong Lucas Test

Semira Einsele,Gerhard Wunder

2024-06-07

Abstract:The strong Lucas test is a widely used probabilistic primality test in cryptographic libraries. When combined with the Miller-Rabin primality test, it forms the Baillie-PSW primality test, known for its absence of false positives, undermining the relevance of a complete understanding of the strong Lucas test. In primality testing, the worst-case error probability serves as an upper bound on the likelihood of incorrectly identifying a composite as prime. For the strong Lucas test, this bound is $4/15$ for odd composites, not products of twin primes. On the other hand, the average-case error probability indicates the probability that a randomly chosen integer is inaccurately classified as prime by the test. This bound is especially important for practical applications, where we test primes that are randomly generated and not generated by an adversary. The error probability of $4/15$ does not directly carry over due to the scarcity of primes, and whether this estimate holds has not yet been established in the literature. This paper addresses this gap by demonstrating that an integer passing $t$ consecutive test rounds, alongside additional standard tests of low computational cost, is indeed prime with a probability greater than $1-(4/15)^t$ for all $t\geq 1$. Furthermore, we introduce error bounds for the incremental search algorithm based on the strong Lucas test, as there are no established bounds up to date as well. Rather than independent selection, in this approach, the candidate is chosen uniformly at random, with subsequent candidates determined by incrementally adding 2. This modification reduces the need for random bits and enhances the efficiency of trial division computation further.

Cryptography and Security,Number Theory
Inequalities involving the primorial counting function

Christian Axler

2024-06-06

Abstract:Let $\varphi(n)$ denote the Euler totient function. In this paper, we first establish a new upper bound for $n/\varphi(n)$ involving $K(n)$, the function that counts the number of primorials not exceeding $n$. In particular, this leads to an answer to a question raised by Aoudjit, Berkane, and Dusart concerning an upper bound for the sum-of-divisors function $\sigma(n)$. Furthermore, we give some lower bounds for $N_k/\varphi(N_k)$ as well as for $\sigma(N_k)/N_k$, where $N_k$ denotes the $k$th primorial.

Number Theory
Empirical verification of a new generalisation of Goldbach's conjecture up to $10^{12}$ (or $10^{13}$) for all coefficients $\leq 40$

Zsófia Juhász,Máté Bartalos,Péter Magyar,Gábor Farkas

2023-04-01

Abstract:A new generalisation of Goldbach's conjecture (GGC) - also generalising that of Lemoine - is tested, introduced by the first author. It states that for every pair of positive integers $m_1, m_2$, every sufficiently large integer $n$ satisfying certain simple criteria can be expressed as $n=m_1p+m_2q$ for some primes $p$ and $q$. GGC is checked up to $10^{12}d$ for all (up to $10^{13}d$ for some) pairs of coefficients $m_1, m_2$, where $d=\gcd{(m_1, m_2)}$ and $m_1/d, m_2/d \leq 40$. The largest counterexamples found that cannot be obtained in this form are presented. Their relatively small sizes support the plausibility of GGC. Lemoine's conjecture is verified up to a new record of $10^{13}$. Four naturally arising verifying algorithms are described and their running times compared for every $m_1\leq m_2\leq 40$ relatively prime. These seek to find either the $p$- or the $q$-minimal $(m_1, m_2)$-partitions of all numbers tested, by either descending or ascending search for the prime to be maximised or minimised, respectively, in the partitions. For all $m_1, m_2$ descending searches were faster than ascending ones. A heuristic explanation is provided. The relative speed of ascending [descending] searches for the $p$- and for the $q$-minimal partitions, respectively, varied by $m_1, m_2$. Using the average of $p^*_{m_1, m_2}(n)$ - the minimal $p$ in all $(m_1, m_2)$-partitions of $n$ - up to a sufficiently large threshold, two functions of $m_1, m_2$ are introduced, which may help predict these rankings. Our predictions correspond well with actual rankings. These could be further improved by developing approximations to $p^*_{m_1, m_2}(n)$. Numerical data are presented, including average and maximum values of $p^*_{m_1, m_2}(n)$ up to $10^9$. An extension of GGC is proposed, generalising the Twin prime conjecture and the assertion that there are infinitely many Sophie Germain primes.

General Mathematics

Gauss-Euler Primality Test

Four primality testing algorithms

Extending Babbage's (Non-)Primality Tests

Fermat test with Gaussian base and Gaussian pseudoprimes

Novel performant primality test on a Pell's cubic

Primality of numbers of the form $ap^{k}+1$

Primes of the form $p^2 + nq^2$

A Probable Prime Test With High Confidence

Explicit primality criteria for $h\cdot2^n\pm1$

FastECPP over MPI

An algorithm and computation to verify Legendre's Conjecture up to $3.33\cdot10^{13}$

Lots and Lots of Perrin-Type Primality Tests and Their Pseudo-Primes

A Bombieri-Vinogradov Theorem for primes in short intervals and small sectors

Walking through the Gaussian Primes

New Directions for Primality Test

Primality proving using elliptic curves with complex multiplication by imaginary quadratic fields of class number three

Primes in arithmetic progressions to large moduli, and Goldbach beyond the square-root barrier

Average Case Error Estimates of the Strong Lucas Test

From Worst to Average Case to Incremental Search Bounds of the Strong Lucas Test

Inequalities involving the primorial counting function

Empirical verification of a new generalisation of Goldbach's conjecture up to $10^{12}$ (or $10^{13}$) for all coefficients $\leq 40$