Showing 1–2 of 2 results for author: Rao, T R

Relaxing the size constraints on the criterion of Proth

Authors: Tejas R. Rao

Abstract: We add one condition to the theorem of Proth to extend its applicability to $N=k2^n+1$ where $2^n>N^{1/3}$ as opposed to the former constraint of $2^n>k$. This additional condition adds barely any complexity or time to the test and can furthermore be calculated concurrently. Furthermore, it maintains the biconditionality of the theorem and thus makes it readily applicable. A note on an extension o… ▽ More We add one condition to the theorem of Proth to extend its applicability to $N=k2^n+1$ where $2^n>N^{1/3}$ as opposed to the former constraint of $2^n>k$. This additional condition adds barely any complexity or time to the test and can furthermore be calculated concurrently. Furthermore, it maintains the biconditionality of the theorem and thus makes it readily applicable. A note on an extension of the primality test of Brillhart, Lehmer, and Selfridge is also made. △ Less

Submitted 27 December, 2018; originally announced December 2018.

Comments: 3 pages

MSC Class: 11A51

Effective Primality Test for $p2^n+1$, $p$ prime, $n>1$

Authors: Tejas R. Rao

Abstract: We develop a simple $O((\log n)^2)$ test as an extension of Proth's test for the primality for $p2^n+1$, $p>2^n$. This allows for the determination of large, non-Sierpinski primes $p$ and the smallest $n$ such that $p2^n+1$ is prime. If $p$ is a non-Sierpinski prime, then for all $n$ where $p2^n+1$ passes the initial test, $p2^n+1$ is prime with $3$ as a primitive root or is primover and divides t… ▽ More We develop a simple $O((\log n)^2)$ test as an extension of Proth's test for the primality for $p2^n+1$, $p>2^n$. This allows for the determination of large, non-Sierpinski primes $p$ and the smallest $n$ such that $p2^n+1$ is prime. If $p$ is a non-Sierpinski prime, then for all $n$ where $p2^n+1$ passes the initial test, $p2^n+1$ is prime with $3$ as a primitive root or is primover and divides the base $3$ Fermat Number, $GF(3,n-1)$. We determine the form the factors of any composite overpseudoprime that passes the initial test take by determining the form that factors of $GF(3,n-1)$ take. △ Less

Submitted 14 November, 2018; originally announced November 2018.

Comments: 3 pages

MSC Class: 11Y11 (Primary)