计算9的欧拉函数

不到一个月的时间，陶哲轩又一篇论文上线：

这次是关于欧拉函数的单调非递减序列，他通过初等论证证明了一个名为M(x)函数的渐近式。

（即随着x增大，M(x)的行为趋势）

该函数在他之前的一篇博客中有所提及，大意是指一系列从1到x的数字中，满足欧拉φ函数是非递减的最长子序列的长度。

毫不意外，这篇论文的出产过程中也用到了AI。

不过，这次陶哲轩承认：

AI工具对他的核心研究并不那么有用（但他也表示可能是不想打破一些已有习惯去尝试）。

对他帮助最大的其实是编码和生成论文中的流程图初稿。

对于前者，陶哲轩已多次提及。

那么，就来简单看看这次的论文究竟说了什么。

准备长脑子了咳咳。

欧拉函数的单调非递减序列

该论文研究主要涉及函数M(x), 它定义的是数字1到x的最长子序列的长度，在这个子序列中，欧拉函数ψ是非递减的。

（欧拉函数ψ(n)通常用于表示小于或等于n的正整数中与n互质的正整数的数量）

由于M的前几个值是：

所以，举个例子：

M(6)就等于5。

因为欧拉函数在集合{1,2,3,4,5}或{1,2,3,4,6}上是非递减的，在{1,2,3,4,5,6}上不是。

而由于对于任何素数p，ψ(p)=p-1，我们有M(x)≥π(x)。

其中π(x)是素数计数函数（用于表示小于或等于x的正整数中的素数的数量）。

根据经验，这些素数非常接近M(x)的最大长度；Pollack, Pomerance和Treviño已通过数值计算推测出下式

中的x=10⁷ 。

相比之下，以前最著名的上限基本上是以下形式：

对于该式子，在显式常数C=0.81781中，x→∞。

而将该结果与上面的结果相结合，陶哲轩就得到了渐近式：

所以在特殊情况下：

它既回答了Erdős的问题，也回答了与Pollack, Pomerance和Treviño所密切相关的问题。

陶哲轩介绍，该证明所用方法大多数都很基础（解决数论中最先进结果所需的只是带有经典误差项的素数定理）。

基本思想是隔离给定数字1≤n≤x中的一个关键素因子p，因为它对欧拉函数有相当大的影响。

例如，对于“典型”数字n，可以因式分解为：

其中p2是中等大小的素数，p1是明显更大的那个，d则是一个所有素数因子均小于p2的数。这可得出：

因此，如果我们暂时保持d固定，并将n定位到相对较短的区间，那么ψ只能在n中是非递减的——如果p2也同时非递减。

事实证明，特别是在p2很大的情况下，这个方式显著减少了该机制中非递减序列的可能长度。

这个过程可以形式化，达成方式是通过将p的范围划分为各种子区间并检查它 (以及ψ上的单调性假设)如何约束与每个子区间相关联的n值。

而当p2很小时，我们使用因式分解：

其中d非常“平滑”（即没有大素数因子），而p是大素数。我们得到近似值：

并得出结论：为了使ψ不变小，约等式右边的分数基本上必须是分段常数。

再进行一番更仔细的分析之后，我们就能证明初步不等式，最终对于所有正有理数q得到主要定理：

陶哲轩表示，这其实是一个“小奇迹”，与以下事实有关：

公式(4)中分母的大质因数最低项必然等于d的最大质因数，这使得我们能够非常准确地得出公式(5)的左边，从而轻松构建整个公式(5)。

在论文的最后一部分，陶哲轩还讨论了强猜想（1）的一些近似反例，这些例子表明，如果不假设一些“相当强的假设”，可能很难接近证明此猜想。

论文地址：

— 完 —

量子位 QbitAI · 头条号签约

乐疮香2236最简真分数的和 -
井岸荆19626633567 ______ 分母是97的最简真分数的和是(1+2+3+----+96)/97=[(1+96)*96/2]/97=48

乐疮香223690^13 mod 143 =?
井岸荆19626633567 ______ 143=11*13 先分别计算90^13(mod 11)和90^13(mod 13) 90=2(mod 11) 90^13(mod 11) =2^13(mod 11) 因为欧拉函数(11)=10,13=3(mod 10) 所以90^13(mod 11)=2^3=8(mod 11) 90=-1(mod 13) 90^13=(-1)^13=-1(mod 13) 然后用中国剩余定理解这个同余方程组 x=8(mod 11) x=-1(mod 13) 容易求出 13*6=1(mod 11) 11*6=1(mod 13) 所以x=8*13*6+(-1)*11*6=93*6=558=129(mod 143) 所以答案是129

乐疮香2236欧拉常数怎么算出来的?0.57721… -
井岸荆19626633567 ______ 对式子【1+1/2+1/3+…+1/n=lnn+0.57721…+无穷小量】应该这样理解: 首先有了【lim(n→∞)[(1+1/2+1/3+…+1/n)-lnn]=0.57721…】, 才有【1+1/2+1/3+…+1/n=lnn+0.57721…+无穷小量】的. 那么,计算欧拉常数的方法也就清楚了吧. 【注】数列An=(1+1/2+1/3+…+1/n)-lnn的收敛性,可以根据【{An}单调增加,且有上界】来证明,其极限就是【欧拉常数】.

乐疮香2236MOD运算的欧拉函数是怎样的?
井岸荆19626633567 ______ (其中φ(p)表示p的欧拉函数,即所有p的正整数中和p互质的整数的个数))和一个随机数x,且g和x均小于p,计算yg^x(modp),则其公钥为y,g和p

乐疮香2236欧拉函数如何运算快!当 n=12时,它的值是多少? -
井岸荆19626633567 ______[答案] 在数论,对正整数n,欧拉函数\varphi(n)是少于或等于n的数中与n互质的数的数目.此函数以其首名研究者欧拉命名,它又称为Euler's totient function、φ函数、欧拉商数等.例如\varphi(8)=4,因为1,3,5,7均和8互质.从欧拉函...

乐疮香2236欧拉公式是什么 -
井岸荆19626633567 ______ 欧拉公式 (Euler公式) 在数学历史上有很多公式都是欧拉(Leonhard Euler 公元1707-1783年)发现的,它们都叫做 欧拉公式,它们分散在各个数学分支之中. (1)分式里的欧拉公式: a^r/(a-b)(a-c)+b^r/(b-c)(b-a)+c^r/(c-a)(c-b) 当r=0,1时...

乐疮香2236什么是最简真分数 -
井岸荆19626633567 ______ 1/15+2/15+4/15+7/15+8/15+11/15+13/15+14/15=4 所谓最简真分数,即最简,又是真分数 最简表示,分母分子不可约分,即没有最大公约数 真分数表示,分子小于分母

乐疮香2236整数29的欧拉函数等于 - 上学吧找答案 - 上学吧普法考试
井岸荆19626633567 ______ 如何用matlab求欧拉常数?1、首先我们根据欧拉常数的定义,写出其表达式,如下图所示.2、从表达式我们看到,求和部分可以用symsum函数来求解3、然后再用limit函数,求其n一﹥∞的极限4、完整的代码如下>>syms k n>>S = symsum(1/k,k,1,n) - log(n)>>vpa(limit(S,n,Inf),20)5、也可以直接用下列命令来求解>>-psi(1)6、执行结果