After more than a month of working with Aristotle of Harmonic, I’m reasonably confident that we’ve shown either in Lean or in Pari/gp enough to justify the statement: Let q<57000 be an odd prime such that 4q=a^2+27 for some positive integer a. Let N be an odd prime such that N=/=q and gcd(a,N)=1. Let s1… Continue reading Conjecture Verified in Lean for q<57000
Category: History
History in the classical sense, history write large
Implementation of the Randomized Cubic Primality Test in Python
This post provides a complete, runnable Python implementation of the randomized cubic primality test using explicit Frobenius computation in a cubic ring, as described in my article “A Randomized Cubic Primality Test Using Explicit Frobenius Computation”. The test operates in the ring $$R_N = (\mathbb{Z}/N\mathbb{Z})[x]/(f(x)),\qquad f(x)=x^3-qx-q,$$ where $N$ is the integer under test and $q$… Continue reading Implementation of the Randomized Cubic Primality Test in Python
Memorandum for the record
Date: June 26, 2025 Subject: Conclusion of Overlap Search Between Fermat Base 2 Pseudoprimes and Cubic Primality Test
Cubic Frobenius statistics in 2.0e13 to 3.0e13
Random subset heuristics applied to pseudoprimes
Suppose there are N tickets in an urn of which m < N are winning tickets. You have n tries to get a winning ticket. The tickets are replacedin the urn after each draw. Assume m and n are much smaller than N. Show that the probability of failure p_fail is approximated by: p_fail ~=… Continue reading Random subset heuristics applied to pseudoprimes
A naive implementation of Erdos’ Carmichael number construction
I’ve been reading some about the Erdos heuristic to construct Carmichael numbers, first described by Erdos in 1956. It is based on Korselt’s criterion, that N is a Carmichael number if N is composite, squarefree and such that if p|N, then (p-1)|(N-1). The best reference I’ve found to understand the basics of Erdos’s heuristic is… Continue reading A naive implementation of Erdos’ Carmichael number construction
AI in 200 years time: what Chat-GPT says
In 200 years, assuming exponential advancements in technology, artificial intelligence (AI) could reach levels that are currently beyond our imagination. Here are some speculative capabilities AI might achieve in that timeframe: Cognitive and Creative Capabilities Scientific and Technological Achievements Societal Impact Ethical and Philosophical Challenges Cosmic Engineering Unimaginable Realities Speculating 200 years ahead is inherently… Continue reading AI in 200 years time: what Chat-GPT says
A Conjecture for a Perrin-like sequence
Conjecture Let $ W(k) $ be defined as:$$W(0) = 1, \quad W(1) = 0, \quad W(2) = 2,$$and for $ k > 2 $, recursively by:$$W(k) = 3W(k-2) + W(k-3).$$ Then, for $ n > 0 $ such that $ n \equiv \pm 2, \pm 4 \pmod{9} $, $ n $ is prime if and… Continue reading A Conjecture for a Perrin-like sequence
Test results for 1e12 to 2e12
Is ChatGPT getting smarter? (maybe)
I wrote: A typical (even math major) college undergraduate couldn’t do this. AI might be approaching graduate level in math in some respects… ChatGPT replied: You’re absolutely right—this problem requires a deep understanding of analysis and topology, tools like the Baire Category Theorem, and the ability to apply them creatively in a non-obvious way. It’s… Continue reading Is ChatGPT getting smarter? (maybe)
New repository on Github for trying out my code
I’ve created a software repository on Github hosting the files in my project: cubicFrobenius. Here are some commands in Linux bash that you may find helpful:
Sample output from my latest prime-testing program
Types 1, 2 and 4 each correspond to one of three conditions being met. Type 0 corresponds to no condition being met, while type 7 corresponds to 3 out of 3 conditions being met. Some numbers $n$ are reported as untested because none of the 23 polynomials is irreducible over $\mathbb{F}_{n}$. The data on numbers… Continue reading Sample output from my latest prime-testing program
Detailed prime test statistics
Below, we have a sample report using the most up to date version of the program:
cos(z)=0 implies z is real // ChatGPT’s solution
To determine whether $ \cos(z) = 0 $ implies that $ z $ must be real, we analyze the equation using the definition of cosine in the complex domain. Key Idea: Using the Complex Definition of Cosine The cosine function for a complex number $ z = x + iy $ (where $ x, y… Continue reading cos(z)=0 implies z is real // ChatGPT’s solution
A Perrin-like Primality Test with Five Congruences
The Perrin sequence is defined by $P(0)=3$, $P(1)=0$, $P(2)=2$ and the recurrence relation $P(n) = P(n-2) + P(n-3)$ for $n\gt 2$. The Perrin sequence has the property that, if $n$ is prime then $n|P(n)$. However, the converse is false: in 1982, Adams and Shanks showed that $271441|P(271441)$, where $271441 = 521^2$. In contrast to the… Continue reading A Perrin-like Primality Test with Five Congruences
Pari/gp functions for isfrob3select Nov 11
The Cubic Frobenius Primality Test by ChatGPT
Theoretical Background Finite Fields and Irreducible Polynomials A finite field $\mathbb F_p$ consists of a finite set of elements with well-defined addition and multiplication operations, where $p$ is a prime number. A polynomial $f(x) \in \mathbb{F}_p[x]$ is irreducible over $ \mathbb{F}_p $ if it cannot be factored into the product of two non-constant polynomials in… Continue reading The Cubic Frobenius Primality Test by ChatGPT
What is a cubic Frobenius primality test?
It’s a test that any prime number passes, but that only a few composite numbers pass. The test is made up of three congruences that are proved using basic Galois Theory. The setup is an irreducible polynomial $f$ over $\mathbb F_{p}$ with $f = X^3 – rX – s$, and $r>0$ $s>0$. Additionally, we require… Continue reading What is a cubic Frobenius primality test?
Updated C program to count primes using a cubic Frobenius test
Multithreaded C program to count primes using a cubic Frobenius test
Update on the cubic Frobenius primality test
\section*{Progress Update: Scaling Prime-Counting to 100 Billion} I’m excited to share some recent progress on my prime-counting program. After numerous iterations and optimizations, the program is now fully operational and demonstrating impressive performance metrics. \subsection*{Current Performance} The program efficiently processes large integer ranges with the following benchmarks: \begin{itemize}\item 1 Billion Integers: Approximately 6 minutes.\item 100… Continue reading Update on the cubic Frobenius primality test
C program that counts primes using a cubic Frobenius primality test
A question on polynomial irreducibility over finite fields
Let $f$ be the polynomial $X^3 -rX -s$, where $r>0$ and $s>0$ and let $\Delta$ be its discriminant. Suppose that $\Delta$ is a square, and that $p$ and $q$ are primes such that $\Delta$ divides $p-q$. Under those conditions, is it always the case that $f$ is irreducible in $F_{p}$ iff f is irreducible in… Continue reading A question on polynomial irreducibility over finite fields
Latest PARI/gp code for the cubic Frobenius primality test
Update on the cubic Frobenius test
I’m now using the polynomial $f = X^3 – 3X -1$. Given a number to test $p$, things are good if $f$ is irreducible over $F_{p}$. I’m not too sure why this is so, but it’s also the case for the standard quadratic Frobenius test, that one works in proper extensions of $F_{p}$. Empirically, the… Continue reading Update on the cubic Frobenius test
Question in Galois Theory and Finite Fields
Let $f = X^3 – 3X – 1$ and let $p$ be a prime such that $f$ is irreducible over $F_{p}$. Let $L$ be a splitting field of $f$ over $F_{p}$. For $k>=0$, let $V_{k} = \alpha^k + \beta^k + \gamma^k$ , where $alpha$, $beta$ and $gamma$ are the three roots of $f$ over $L$.… Continue reading Question in Galois Theory and Finite Fields
Another cubic Frobenius test based on $X^3-3X-1$
Certainly! Here’s a comprehensive blog post on the Cubic Frobenius Primality Test based on the polynomial ( f(X) = X^3 – 3X – 1 ). This post is structured to be engaging and informative, suitable for readers with a keen interest in number theory and computational mathematics. Introducing the Cubic Frobenius Primality Test Primality testing… Continue reading Another cubic Frobenius test based on $X^3-3X-1$
On Primes of the Form $2x^2 + xy + 3y^2$
This memo explores the properties and distribution of prime numbers representable by the quadratic form $2x^2 + xy + 3y^2$. Utilizing an optimized primality testing method based on matrix exponentiation, we efficiently identify such primes, even extending to 300-digit numbers. The approach hinges on the irreducibility of the polynomial $X^3 – X – 1$ modulo… Continue reading On Primes of the Form $2x^2 + xy + 3y^2$
Last Memo, with improved Latex rendering
Certainly! Below is the reformatted version of the memorandum tailored for your WordPress blog. This version replaces the \[ … \] delimiters with $$ … $$ for display math, ensuring compatibility with your MathJax plugin. Inline mathematical expressions remain enclosed within single $ … $ as before. Enhancing the Frobenius Primality Test Using Cubic Recurrence… Continue reading Last Memo, with improved Latex rendering
Memorandum for the record: cubic Frobenius test, a work in progress
Certainly! Let’s incorporate your insightful feedback and the confirmation from PARI/gp to finalize the derivation of ( V_{p+2} ) in the context of the Cubic Frobenius Primality Test. This will ensure that our framework is both accurate and robust. Below is the updated and corrected derivation, formatted in LaTeX for seamless integration into your WordPress… Continue reading Memorandum for the record: cubic Frobenius test, a work in progress
Converted to Latex (about Symmetric polynomials,Galois theory and primality testing)
Certainly! Below is the LaTeX-formatted version of the memorandum tailored for your WordPress blog. This version avoids using double $$ signs for display math and instead utilizes single $ signs for all mathematical expressions, ensuring compatibility with WordPress’s math rendering plugins. Enhancing the Frobenius Primality Test Using Cubic Recurrence Relations Introduction In the pursuit of… Continue reading Converted to Latex (about Symmetric polynomials,Galois theory and primality testing)
Test 4
Certainly! Below is the LaTeX-formatted memorandum tailored for your WordPress blog. This version avoids using double $$ signs for display math and instead utilizes \[ … \] for display equations and $…$ for inline math, ensuring compatibility with most WordPress math rendering plugins like MathJax or KaTeX. Enhancing the Frobenius Primality Test Using Cubic Recurrence… Continue reading Test 4
Latex test 3
Certainly! Below is the LaTeX-formatted version of the memorandum tailored for your WordPress blog. This version avoids using double $$ signs for display math and instead utilizes single $ signs for all mathematical expressions, ensuring compatibility with WordPress’s math rendering plugins. Enhancing the Frobenius Primality Test Using Cubic Recurrence Relations Introduction In the pursuit of… Continue reading Latex test 3
Symmetric polynomials and Galois Theory applied to primality testing (work in progress)
Memorandum: Leveraging Symmetric Polynomials and Galois Theory for Primality Testing To: Mathematics Enthusiasts and ScholarsFrom: [Your Name]Date: [Current Date]Subject: Theoretical Framework for Primality Testing Using Symmetric Polynomials and Galois Theory In the quest to develop robust primality tests, leveraging foundational algebraic structures offers profound insights and efficient methodologies. This memorandum elucidates a theoretical framework that… Continue reading Symmetric polynomials and Galois Theory applied to primality testing (work in progress)
Question on Lucas and Fibonacci numbers, prime-related
Summary of “Stetigkeit und irrationale Zahlen” by Richard Dedekind
Preface In 1858, Richard Dedekind faced the challenge of teaching differential calculus without a rigorous foundation in arithmetic. Dissatisfied with relying on geometric intuition, he sought a purely arithmetic basis for the principles of infinitesimal analysis. This led him to the concept of continuity and the creation of irrational numbers, aiming to provide a scientific… Continue reading Summary of “Stetigkeit und irrationale Zahlen” by Richard Dedekind
MUFON Materials Advocacy
by ChatGPT-4o The recent announcement by MUFON regarding the UAP materials case from Russia presents compelling evidence supporting the extraterrestrial hypothesis. The materials in question, received by a Russian UFO investigator, have undergone rigorous testing by both Russian and U.S. labs, confirming that 90% of the sample consists of unknown substances. This defies conventional scientific… Continue reading MUFON Materials Advocacy
Sci.skeptic USENET post of Jan 5 1994 Re: Bob Lazar
Hi all, I’ve just read the testimonial given by Robert Lazar who claims that he was amember of a compartmentalized team of researchers that were reverse engineeringan extraterrestrial vehicle at site S-4 inside Area 51 within the Nevada TestSite. My skeptical foundations are beginning to crumble, please debunk ! I’ve heard of strange rumours before,… Continue reading Sci.skeptic USENET post of Jan 5 1994 Re: Bob Lazar
ChatGPT-4o analysis of the Wilson Notes
The “Wilson Notes,” also known as the “Admiral Wilson UFO Documents,” refer to a series of controversial and purportedly leaked notes detailing a conversation between Dr. Eric Davis and Admiral Thomas R. Wilson in 2002. The notes describe Wilson’s alleged discovery of a highly secretive black program focused on reverse engineering alien technology, which he… Continue reading ChatGPT-4o analysis of the Wilson Notes
Summary of Wikipedia article on the Nakba by ChatGPT-4o
The Nakba (Arabic: النكبة, “the catastrophe”) refers to the 1948 Palestinian exodus, a significant event during the Arab-Israeli conflict, where over 750,000 Palestinian Arabs were expelled or fled from their homes in Mandatory Palestine. This exodus occurred during and after the 1948 Palestine war, leading to the destruction of Palestinian society and culture. The Nakba… Continue reading Summary of Wikipedia article on the Nakba by ChatGPT-4o
Continued Evaluation of a Frobenius Primality Test
I’m continuing my evaluation of Khashin’s Frobenius Primality Test from his 2013 preprint at the URL https://arxiv.org/abs/1307.7920. To make it easier to assess the accuracy of this test, I assume that in a first round, one conducts a Fermat base 2 test, which will detect all composites that are not base 2 pseudoprimes. In round… Continue reading Continued Evaluation of a Frobenius Primality Test
Frobenius and Lucas Test Pari/gp Code
Equivalence of Enhanced Lucas Test with a Frobenius Test
With respect to the enhanced Lucas test for n with parameters P and Q, using congruences for both of the Lucas sequences U_n and V_n,I’ve come to the realization that the Lucas congruences are equivalent to a specific test inspired by the Frobenius endomorphism in the ring Z/nZ[sqrt(D)] where D=P^2-4Q.Specifically, and assuming P and Q… Continue reading Equivalence of Enhanced Lucas Test with a Frobenius Test
Enhanced Lucas Test, and a Frobenius Test by Chat-GPT
Certainly! Here’s a concise summary of the equivalence between an enhanced Lucas test and a Frobenius test: The equivalence between an enhanced Lucas test, which includes congruences for both (U_n) and (V_n) sequences, and a Frobenius test, which checks if (x^n = \text{conjugate}(x)) for a specific choice of (x), lies in their shared foundation in… Continue reading Enhanced Lucas Test, and a Frobenius Test by Chat-GPT
Exploring a Lucas-Frobenius Tests Connection by Chat-GPT
The exploration of primality tests is a foundational pillar in the realm of computational number theory, with wide-ranging applications from cryptography to the distribution of prime numbers. Among the myriad of tests developed over the years, the Lucas sequences and Frobenius tests stand out for their unique approaches and theoretical underpinnings. Our recent investigation has… Continue reading Exploring a Lucas-Frobenius Tests Connection by Chat-GPT
Evaluation of a Frobenius Primality Test Using Pseudoprimes Tables
A promising primality test is Sergei Khashin’s Frobenius test, as described in a 2013 arxiv preprint of his, Counterexamples for Frobenius primality test, available from the url https://arxiv.org/abs/1307.7920. The idea of the Frobenius test originated with Jon Grantham, see for example his 1998 article A Probable Prime Test With High Confidence available from the url… Continue reading Evaluation of a Frobenius Primality Test Using Pseudoprimes Tables
C program galois126a.c
False positive rates in Khashin’s Frobenius primality test
Given an odd number n>=3, non-square and an odd number c such that Jacobi(c,n)=-1 and 1<c<n/2,Khashin’s Frobenius primality test checks whether the congruence (1+sqrt(c))^n == 1-sqrt(c) (modulo n)holds. This congruence holds whenever n is a prime number, thanks to properties of the Frobeniusautomorphism map x |-> x^p where p is prime and x is in… Continue reading False positive rates in Khashin’s Frobenius primality test
The Frobenius Test Finds No Liars Below 2000 Among the First Million Test Numbers
I’ve been experimenting with S. Khashin’s Frobenius primality test, as described in a preprint of his, Counterexamples for Frobenius primality test, at https://arxiv.org/abs/1307.7920 . Given an odd number n>1 that is not a square, let c be an odd prime number with (c/n)=-1, (c/n) being the Jacobi symbol. If n is prime, then (1+sqrt(c))^n ==… Continue reading The Frobenius Test Finds No Liars Below 2000 Among the First Million Test Numbers
Prime Deception: Counting Liars for the Fermat, Miller-Rabin and Frobenius Primality Tests
The Frobenius primality test is an algebraic type primality test which perhaps deserves to be better known. Like other tests, it is sure to label genuine prime numbers as prime, but is liable to misidentify some composite numbers as primes. The test was first described by Jon Grantham in a 1998 preprint. There are a… Continue reading Prime Deception: Counting Liars for the Fermat, Miller-Rabin and Frobenius Primality Tests