首页/论文/0705.3664

arXiv 0705.36642007-05-24math.NTmath.HO

证明Fermat数素性的LLT类检验

A LLT-like test for proving the primality of Fermat numbers

Tony Reix

备注：: 11 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文利用Lucas序列的性质和Lehmer的方法证明了Fermat数的LLT-like检验。

英文摘要：

This paper provides a proof of a LLT-like test for Fermat numbers, based on the properties of Lucas Sequences and on the method of Lehmer.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

费马数和2^（2k+1）\pm 2^（k+1）+1的素性检验

Primality tests for Fermat numbers and 2^(2k+1)\pm2^(k+1)+1

Robert Denomme和Gordan Savin利用椭圆曲线对费马数2^（2^k）+1进行了素性检验。我们提出了另一种利用椭圆曲线的费马数的素性检验，并给出了2^（2k+1）\pm 2^（k+1）+1形式的整数的素性检验.

2009-12-10math.NT

随机输入上Fermat素性检验的改进误差界

Improved error bounds for the Fermat primality test on random inputs

我们调查的概率，一个随机的奇数合数通过随机费马素性测试，提高早期的估计在中等范围内。例如，随机数为$2^{200}$，我们的结果提高了近3个数量级的先验估计。

2017-07-05math.NT

扭Fermat立方的一致素性猜想

The Uniform Primality Conjecture for the Twisted Fermat Cubic

在扭曲的费马三次函数上，一个椭圆整除序列作为单个有理点的倍数的乘子序列而出现。我们证明了序列中素项的个数是一致有界的。当一个有理点是另一个有理点在某个3-不等式下的像时，所有超过第一个的项都不是素数。

2010-04-13math.NT

$ap^{k}+1$形式数的素性

Primality of numbers of the form $ap^{k}+1$

1876年，爱德华·卢卡斯证明了如果存在一个整数$b$，使得对于$n-1$的所有素因子$p$，$b^{n-1} \equiv 1 (\mathrm{mod} \ n)$和$b^{(n-1)/p} \not\equiv 1( \mathrm{mod} \ n)$都是，那么$n$是素的，这个结果被称为卢卡斯对费马小定理的逆。这个结果在1914年被Henry Pocklington大大改进，他证明了不需要知道$n-1$的所有素因子就可以确定$n$是否是素数。在本文中，我们优化Pocklington的素数测试的形式$ap^{k}+1$，其中$p$是素数，$a<p$，$k\ge 1$。本文给出了卢卡斯关于费马小定理的逆定理的一个推广。我们还证明了一个新的通用素性测试，要求只有一个单一的奇素数因子的$n-1$被发现的测试实施。与著名的结论相反：任何基$b$都有无穷多个Fermat伪素数;本文证明了整数形式的Fermat伪素数的有限性。

2021-04-10math.NT

巴贝奇（非）素性检验的推广

Extending Babbage's (Non-)Primality Tests

我们回顾了查尔斯·巴贝奇1819年的素数准则，该准则基于二项式系数的同时同余，并将其扩展到最小素因子检验。我们还证明了他的非素性测试的部分逆，基于一个单一的同余。提出了两个问题。一路上我们遇到Bachet，伯努利，Bezout，欧拉，费马，库默尔，拉格朗日，卢卡斯，范德蒙，华林，威尔逊，Wolstenholme，和几个当代数学家。

2018-12-18math.NT

素数Fermat数的一个新刻画

A new characterization of prime Fermat's numbers

本文给出了一个新的充分条件，它允许测试的费马数素性。该特征化使用最多等于测试的费马数的唯一值。这一结果的稳健性是由于严格使用初等算术技术工具，它将容易为所有费马数都是可分解的革命性声明打开大门。

2021-04-10math.NT

更多相关论文收起更多论文

$Kp^n+1$数的素性检验

A primality test for $Kp^n+1$ numbers

本文推广了经典的整数Proth定理，其形式为$N=Kp^n+1$ .对于这些家庭，我们提出了一个素性测试的计算复杂性是$\widetilde{O}(\log^2(N))$，更重要的是，只需要一个模幂类似的费马的测试。因此，所提出的测试改进了最常用的一个，来自Pocklington定理，这通常需要计算几个模幂连同一些GCD的。

2011-04-26math.NT

Baillie-PSW素性检验

Strengthening the Baillie-PSW primality test

Baillie-PSW素性测试结合了Fermat和Lucas可能素性测试。它报告一个数是合数或可能是素数。没有奇数复合整数已报告通过这种组合的素性测试，如果参数选择在一个适当的方式。在这里，我们描述了一个显着加强这个测试，几乎没有额外的计算成本。这是通过在测试中包括我们称之为卢卡斯-V伪素数来实现的，其中只有五个小于$10^{15}$。

2021-06-11cs.CRmath.NT

$p2^n+1$、PDMATHAAB素数、$n>1$的有效素性检验

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

我们开发了一个简单的$O((\log n)^2)$测试作为扩展的Proth测试的素性$p2^n+1$，$p>2^n$。这允许确定大的非谢尔宾斯基素数$p$和最小的$n$，使得$p2^n+1$是素数。如果$p$是非谢尔宾斯基素数，则对于$p2^n+1$通过初始测试的所有$n$，$p2^n+1$是素数，$3$作为原始根，或者是原动机并除以基础$3$费马数，$GF(3,n-1)$。我们通过确定$GF(3,n-1)$的因子采取的形式来确定通过初始测试的任何复合过伪素数的因子采取的形式。

2018-11-14math.NT

$Kp^n+1$数的质数测试及安全质数和索菲·热尔曼质数的推广

A primality test for $Kp^n+1$ numbers and a generalization of Safe Primes and Sophie Germain Primes

Azhar University（阿兹哈尔大学）

本文对形式为$Kp^n+1$的整数推广了普罗特定理，提出了一种仅需一次模幂运算的质数测试方法，无需计算任何GCD。同时提供了两种测试以提高验证$Kp^n+1$数质数的可能性。作为这些测试的推论，我们给出了三个整数家族$N$，其质数性只能通过证明$a^{N-1} \equiv 1 \pmod N$（费马测试）来确认。还推广了安全质数，定义为$a$-安全质数，因其$N-1$具有与安全质数相同的大型质因数。我们讨论了这些数的分布问题，并提出了关于相关数$a$-索菲·热尔曼质数分布的猜想。

2022-07-25math.NT

关于Carmichael数的分类和数学分析

On the Classification and Algorithmic Analysis of Carmichael Numbers

本文研究了Carmichael数的性质，几种素性检验的假阳性。我们提供了一个分类卡迈克尔数的比例小于50%的费马证人，根据最小的素因子是大于一个确定的下界。此外，我们进行蒙特卡罗模拟的概率算法的一部分，以检测如果一个给定的合数是卡迈克尔。我们修改这个高精度的算法与确定性素性测试，以创建一个新的，更有效的算法，区分卡迈克尔数和素数。

2017-02-26math.NT

广义Cullen数的$\tilde{O}(\log^2(N))$时间素性检验

An $\tilde{O}(\log^2(N))$ time primality test for Generalized Cullen Numbers

广义库伦数是$C_b(n):=nb^n+1$形式的正整数。在这项工作中，我们推广了一些已知的整除性质的库伦数，并提出了两个素数测试这一家庭的整数。第一个测试是基于来自这个家族的素数的以下性质：$n^{b^{n}}\equiv (-1)^{b}$（mod $nb^n+1$）。它比费马检验（对于碱基$b$和$n$）和米勒-拉宾检验（对于碱基$n$）更强，计算量更少。这种新的检验的伪素数似乎是非常稀缺的，只有4个伪素数已被发现在数以百万计的广义卡伦数测试。我们还提出了第二个，更苛刻的，没有pseudoprimes的测试已经found. This测试导致“准确定性”的测试，运行在$\tilde{O}(\log^2(N))$时间，这可能是非常有用的搜索广义卡伦素数。

2010-07-06math.COmath.NT

具有高斯基和高斯伪素数的Fermat检验

Fermat test with gaussian base and Gaussian pseudoprimes

群$(\mathbb{Z}/n\mathbb{Z})^\star$的结构和费马小定理是一些著名的素性测试算法的基础。许多相关的概念出现：Euler的totient函数和Carmichael的lambda函数，Fermat伪素数，Carmichael和循环数，Lehmer的totient问题，Giuga猜想等。在本文中，我们提出和研究类似的一些以前的概念时，我们考虑的基础群$\mathcal{G}_n:=\{a+bi\in\mathbb{Z}[i]/n\mathbb{Z}[i] : a^2+b^2\equiv 1\ \textrm{$ \pmod n $}\}$。特别是，我们通过一个Korselt的标准，高斯卡迈克尔数的特点，我们提出了它们与高斯循环数的关系。最后给出了数$n \equiv 3 \pmod{4}$的Gaussian Carmichael数与1-Williams数之间的关系.也没有已知的合数小于$10^{18}$在这个家庭，这两个伪素数基地$1+2i$和2-伪素数。

2014-01-19math.NT

一个改进的Miller-Rabin素数检验的多个Carmichael数的互逆

Infinitely Many Carmichael Numbers for a Modified Miller-Rabin Prime Test

我们定义了Miller-Rabin素性检验的一个变体，它在强度上介于Miller-Rabin和Fermat之间。我们证明了这个检验有无穷多个“Carmichael”数。我们表明，该测试也可以被认为是一个变种的Solovay-Strassen测试。我们探讨了增长的测试的“卡迈克尔”号码，给出了一些实证结果和讨论的一个特别强大的模式，出现在结果中。

2015-12-02cs.DSmath.NT