Tabulating Absolute Lucas Pseudoprimes

Chloe Helmreich,Jonathan Webster
DOI: https://doi.org/10.48550/arXiv.2306.17691
2023-06-30
Abstract:In 1977, Hugh Williams studied Lucas pseudoprimes to all Lucas sequences of a fixed discriminant. These are composite numbers analogous to Carmichael numbers and they satisfy a Korselt-like criterion: $n$ must be a product of distinct primes and $p_i - \delta_{p_i} | n - \delta_n $ where $\delta_n$ is a Legendre symbol with the first argument being the discriminant of the Lucas sequence. Motivated by tabulation algorithms for Carmichael numbers, we give algorithms to tabulate these numbers and provide some asymptotic analysis of the algorithms. We show that there are only finitely many absolute Lucas pseudoprimes $n = \prod_{i = 1}^k p_i$ with a given set of $k-2$ prime factors. We also provide the first known tabulation for discriminant $5$.
Number Theory
What problem does this paper attempt to address?
### Problems the paper attempts to solve The main objective of this paper is to study and enumerate **Absolute Lucas Pseudoprimes** and provide corresponding algorithms and asymptotic analysis. Specifically: 1. **Definition and Background**: - Absolute Lucas Pseudoprimes are a class of composite numbers \(n\) that satisfy specific congruence conditions, similar to Carmichael numbers. These numbers have properties in the Lucas sequence similar to Fermat's Little Theorem. - The concept of Lucas Pseudoprimes was introduced by Hugh Williams in 1977, and these numbers also satisfy conditions similar to the Korselt criterion. 2. **Main Contributions**: - **Finiteness and Boundedness Theorem**: It is proved that for a given set of \(k - 2\) prime factors, there are only finitely many absolute Lucas Pseudoprimes \(n=\prod_{i = 1}^{k}p_i\). - **Algorithm Implementation**: An algorithm for enumerating these numbers is provided, and an asymptotic analysis is carried out. In particular, the author implemented a C++ program to enumerate all absolute Lucas Pseudoprimes less than \(2^{64}\) (for the case of discriminant 5). - **Asymptotic Complexity**: Through asymptotic analysis, the author shows how to find these numbers effectively and provides two different methods (CD method and D∆ method) and their performance comparison. 3. **Motivation and Applications**: - Similar to the importance of Carmichael numbers for Fermat tests, the study of absolute Lucas Pseudoprimes helps to understand the effectiveness and limitations of primality tests based on the Lucas sequence. - These numbers have potential application values in cryptography and number theory, especially in improving and validating primality test algorithms. In summary, this paper aims to systematically study and enumerate absolute Lucas Pseudoprimes through theoretical analysis and algorithm implementation, in order to provide new insights and tools for related mathematical and computer science problems.