JSIAM Letters Vol.11 (2019) pp.53–55 c 2019 Japan Society for Industrial and Applied Mathematics J S I A M Letters
Quadratic Frobenius pseudoprimes with respect to x2 +5x +5
Saki Nagashima1, Naoyuki Shinohara2 and Shigenori Uchiyama1
1 Tokyo Metropolitan University, 1-1 Minamiosawa, Hachioji-shi, Tokyo 192-0397, Japan 2 National Institute of Information and Communications Technology, 4-2-1 Nukuikita-machi, Koganei-shi, Tokyo 184-8795, Japan E-mail nagashima-saki ed.tmu.ac.jp Received January 15, 2019, Accepted April 24, 2019 Abstract The quadratic Frobenius test is a primality test. Some composite numbers may pass the test and such numbers are called quadratic Frobenius pseudoprimes. No quadratic Frobenius pseudoprimes with respect to x2 +5x + 5, which are congruent to 2 or 3 modulo 5, have been found. Shinohara studied a specific type of such a quadratic Frobenius pseudoprime, which is a product of distinct prime numbers p and q. He showed experimentally that p must be larger than 109, if such a quadratic Frobenius pseudoprime exists. The present paper extends the lower bound of p to 1011. Keywords quadratic Frobenius pseudoprime, primality test, primality-proving algorithm Research Activity Group Algorithmic Number Theory and Its Applications
1. Introduction gruent to 2 or 3 modulo 5. He proposed an algorithm Prime numbers are currently used in many cryptosys- for searching for them and experimentally showed that p 9 tems. For example, RSA-2048 cryptosystem uses two must be larger than 10 if such a quadratic Frobenius 1024-bit prime numbers as its secret keys. To gener- pseudoprime exists. The present paper extends the lower p 11 ate those prime numbers, we can select two kinds of bound of to 10 . algorithms to determine whether a positive integer is a prime. One kind comprises primality tests and the oth- 2. Preliminaries ers are called primality-proving algorithms. A primal- Throughout this section, we assume that a, b are in- ity test is probabilistic; namely, some composite num- tegers such that Δ = a2 − 4b = 0 unless otherwise indi- bers may pass it. There are efficient primality tests such cated. as the Miller-Rabin test and the quadratic Frobenius Theorem 1 ([1]). Let f(x)=x2 − ax + b.Ifn is a O n 3 test whose time complexities are ((log ) )foragiven prime number and gcd(n, 2bΔ) = 1, then integer n. On the other hand, primality-proving algo- rithms are deterministic algorithms, and thus no com- a − x f x ,n , Δ − , xn ≡ (mod ( ( ) )) ( n )= 1 posite numbers pass their tests. However, the known Δ (1) x (mod (f(x),n)), ( n )=1. primality-proving algorithms have high computational · costs or require certain information to be able to apply (( · ) is the Jacobi symbol.) them to a given integer n, for example, knowledge of the Definition 2 ( [1]). We say that a composite num- integer factorization of n − 1. ber n such that gcd(n, 2bΔ) = 1 is a quadratic Frobe- The AKS method is the only polynomial-time nius pseudoprime with respect to f(x)=x2 − ax + b primality-proving algorithm not requiring any additional if (1) holds for n. Next, let fpsp(a, b) denote the set information. However, the AKS method is not as practi- of all quadratic Frobenius pseudprimes with respect to cal as the Miller-Rabin test and the quadratic Frobenius f(x)=x2 − ax + b. test, because its complexity is O((log n)6). Definition 3 ([1]). We refer to an element of fpsp(a, b) It is expected to construct an efficient primality- such that ( Δ )=−1 as a quadratic Frobenius pseu- proving algorithm from some primality tests, by improv- n doprime of the second type with respect to f(x)= ing those tests. x2 − ax + b. We denote the set of such numbers by We consider the quadratic Frobenius pseudoprimes fpsp2(a, b). with respect to x2 +5x + 5. No quadratic Frobenius pseudoprimes with respect to x2 +5x + 5, which are Here, we give the equivalence condition for an element congruent to 2 or 3 modulo 5, have yet been found. Shi- being in fpsp2(a, b). nohara studied quadratic Frobenius pseudoprimes of the Definition 4 ( [1]). For a positive integer n satis- form pq with respect to x2 +5x +5,wherep and q are n, b fying gcd( 2 Δ) = 1, we suppose the factorization p q k+l ei Δ primes, is congruent to 1 or 4 modulo 5, and is con- n = p ,wherek, l are positive integers, ( )=−1 i=1 i pi
–53– JSIAM Letters Vol. 11 (2019) pp.53–55 Saki Nagashima et al. for i ∈ [1,k]and(Δ )=1fori ∈ [k +1,k + l]. More- pi 4. Algorithm over, let Φm(x)bethem-th cyclotomic polynomial and From Theorem 9, we have an algorithm which com- 2 f(x)=x − ax + b. Then, we refer to the set of the putes a solution to Grantham’s problem for n = pq. following conditions on (n, a, b)asICF2. Input: L (the list of all prime numbers