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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide explicit primality testing methods for integers of the specific form \(h \cdot 2^n \pm 1\), especially when \(h \not\equiv 0 \pmod{17}\). Specifically, the author proposes a generalized Lucasian test to determine whether integers of these forms are prime by using fixed seeds (which only depend on \(h\)).
### Background and Problem Description
For integers of the form \(M = h \cdot 2^n \pm 1\), where \(h\) is odd, there have been some primality testing methods in history. For example, Lucas and Lehmer gave the well - known Lucas - Lehmer primality test for determining whether Mersenne primes \(M_p = 2^p - 1\) are prime. However, for integers of the more general form \(h \cdot 2^n \pm 1\), there have been some studies in previous literature, but in most cases, they need to rely on multiple seeds or complex conditions.
### Main Contributions of the Paper
1. **New Generalized Lucasian Test**: The author proposes a new generalized Lucasian test, which is applicable to the case where \(h \not\equiv 0 \pmod{17}\). This test uses fixed seeds, which only depend on \(h\) and are independent of \(n\).
2. **Extension of Existing Results**: The author's results extend the previous work of Bosma (1993) and Berrizbeitia and Berry (2004), add new values of \(h\), and specifically give a specific testing method for the case where \(h = 16m - 1\).
3. **Use of Octic and Bioctic Reciprocity Laws**: To derive these results, the author uses the octic and bioctic reciprocity laws, which are key tools for dealing with this type of problem.
### Specific Testing Methods
The specific testing methods given in the paper are as follows:
- For \(M = h \cdot 2^n \pm 1\), where \(n\geq7\), \(0 < h < 2^{n - 6}\), \(h\) is odd and \(h \not\equiv 0 \pmod{17}\).
- Define several sequences \(\{T_k\}\), \(\{N_k\}\), \(\{X_k\}\), \(\{Y_k\}\), \(\{Z_k\}\), \(\{W_k\}\), and calculate the values of these sequences through recursive formulas.
- According to different values of \(M^*\mod 17\), different judgment conditions are given:
- If \(M^*\equiv\pm 4 \pmod{17}\), then \(T_{n - 3}\equiv - N_{n - 3}\equiv - 4 \pmod{M}\).
- If \(M^*\equiv\pm 2,\pm 8 \pmod{17}\), then \(T_{n - 3}\equiv N_{n - 3}\equiv 0 \pmod{M}\).
- If \(M^*\equiv\pm 3,\pm 5,\pm 6,\pm 7 \pmod{17}\), then \(T_{n - 3}\equiv 0 \pmod{M}\) and \(N_{n - 3}\equiv - 2 \pmod{M}\).
- If \(M^*\equiv - 1 \pmod{17}\), then \(X_{n - 4}\equiv - 8 \pmod{M}\), \(Y_{n - 4}\equiv 24 \pmod{M}\), \(Z_{n - 4}\equiv\cdots\)