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
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to develop a primality testing method with high confidence, that is, to be able to more accurately distinguish prime numbers from composite numbers. Specifically, the author aims to design a new probable prime test, which can ensure that the probability of a composite number passing is less than \(\frac{1}{7710}\), and its running time is asymptotically three times that of the Strong Probable Prime Test. ### Background and Motivation Although the traditional Strong Probable Prime Test is fast and effective, there is a certain probability of misjudgment. Monier and Rabin proved that an odd composite number can pass at most \(\frac{1}{4}\) of the possible base tests. Therefore, although the Strong Probable Prime Test is very fast, it cannot completely guarantee that a number passing the test must be a prime number. In order to improve the accuracy of the test, researchers have proposed various improvement methods, such as the Strong Lucas Probable Prime Test and the Extra - Strong Lucas Probable Prime Test. However, although these tests improve the accuracy, they do not significantly optimize the running time. ### Characteristics of the New Test The Quadratic Frobenius Test (QFT) proposed in this paper utilizes the concepts of quadratic polynomials and Frobenius automorphisms, combined with a certain number of trial divisions, to ensure that the probability of a composite number passing is less than \(\frac{1}{7710}\). In addition, the running time of this test is asymptotically three times the time complexity of the Strong Probable Prime Test. ### Main Contributions 1. **Higher Accuracy**: The new test reduces the probability of a composite number passing to \(\frac{1}{7710}\), which is much lower than existing tests. 2. **Reasonable Running Time**: Although the accuracy is improved, the running time of the new test is only three times that of the Strong Probable Prime Test, which is still within an acceptable range. 3. **Theoretical Analysis**: Through detailed analysis of different situations, the effectiveness and feasibility of the new test are proved. ### Formula Summary - Probability of a composite number passing the test: \(\frac{1}{7710}\) - Running time: Asymptotically three times the Strong Probable Prime Test - Special Conditions: \((b^2 + 4c \mid n) = - 1\) and \((-c \mid n) = 1\) Through these improvements, the paper provides a more reliable primality testing method, which is suitable for scenarios requiring high confidence.