24的欧拉函数值
丰色 发自 凹非寺
量子位 | 公众号 QbitAI
不到一个月的时间，陶哲轩又一篇论文上线：
这次是关于欧拉函数的单调非递减序列，他通过初等论证证明了一个名为M(x)函数的渐近式。
（即随着x增大，M(x)的行为趋势）
该函数在他之前的一篇博客中有所提及，大意是指一系列从1到x的数字中，满足欧拉φ函数是非递减的最长子序列的长度。
毫不意外，这篇论文的出产过程中也用到了AI。
不过，这次陶哲轩承认：
AI工具对他的核心研究并不那么有用（但他也表示可能是不想打破一些已有习惯去尝试）。
对他帮助最大的其实是编码和生成论文中的流程图初稿。
对于前者，陶哲轩已多次提及。
GPT可以让我不用去管计算任务中究竟用的是何种语言（Python还是SAGE、regex等），几乎只需用自然语言向它提出请求，它就能为我输出合格的代码（尽管我还得再编译一下）。
这真的开始改变我的工作流程。
过去由于我害怕困难，一直避免使用代码密集型的任务解决问题；现在，这种情况正在消失，我发现我变得愿意在日常工作中做一些编码。
那么，就来简单看看这次的论文究竟说了什么。
准备长脑子了咳咳。
欧拉函数的单调非递减序列
该论文研究主要涉及函数M(x), 它定义的是数字1到x的最长子序列的长度，在这个子序列中，欧拉函数ψ是非递减的。
（欧拉函数ψ(n)通常用于表示小于或等于n的正整数中与n互质的正整数的数量）
由于M的前几个值是：
1, 2, 3, 4, 5, 5, 6, 6, 7, 7, 8, 8, 9, 9, 10, 11, 12, 12, …
所以，举个例子：
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）的一些近似反例，这些例子表明，如果不假设一些“相当强的假设”，可能很难接近证明此猜想。
论文地址： https://arxiv.org/abs/2309.02325
参考链接：[1]https://mathstodon.xyz/@tao/111018835694062000[2]https://terrytao.wordpress.com/2023/09/06/monotone-non-decreasing-sequences-of-the-euler-totient-function/— 完 —
量子位 QbitAI · 头条号签约
","gnid":"9b6b848e2160b21fa","img_data":[{"flag":2,"img":[{"desc":"","height":"341","title":"","url":"https://p0.ssl.img.360kuai.com/t018a2ad4d053c68b86.jpg","width":"1080"},{"desc":"","height":"526","title":"","url":"https://p0.ssl.img.360kuai.com/t01837e3fd4fd8005a8.jpg","width":"1080"},{"desc":"","height":"720","title":"","url":"https://p0.ssl.img.360kuai.com/t01da12707969a75c63.jpg","width":"1080"},{"desc":"","height":"857","title":"","url":"https://p0.ssl.img.360kuai.com/t01f288ae3bf42d84d5.jpg","width":"1080"},{"desc":"","height":"94","title":"","url":"https://p0.ssl.img.360kuai.com/t0140fe059b32233a23.jpg","width":"606"},{"desc":"","height":"102","title":"","url":"https://p0.ssl.img.360kuai.com/t0152dcabb913cc9f0b.jpg","width":"942"},{"desc":"","height":"124","title":"","url":"https://p0.ssl.img.360kuai.com/t01a3d30ef5ce3415db.jpg","width":"908"},{"desc":"","height":"112","title":"","url":"https://p0.ssl.img.360kuai.com/t01c19e5c1647c64084.jpg","width":"728"},{"desc":"","height":"82","title":"","url":"https://p0.ssl.img.360kuai.com/t01f20ce5ab1e26ad33.jpg","width":"442"},{"desc":"","height":"256","title":"","url":"https://p0.ssl.img.360kuai.com/t0110c791d38e7859f8.jpg","width":"1400"},{"desc":"","height":"106","title":"","url":"https://p0.ssl.img.360kuai.com/t0121d2029abfa98e1f.jpg","width":"776"},{"desc":"","height":"316","title":"","url":"https://p0.ssl.img.360kuai.com/t012fc04c2af49d010a.jpg","width":"1168"},{"desc":"","height":"856","title":"","url":"https://p0.ssl.img.360kuai.com/t019f9c699a39027fc6.jpg","width":"896"}]}],"original":0,"pat":"art_src_3,fts0,sts0","powerby":"hbase","pub_time":1694322240000,"pure":"","rawurl":"http://zm.news.so.com/59e303395e597c474ea46c0a6282647f","redirect":0,"rptid":"7990eb4891a92649","rss_ext":[],"s":"t","src":"量子位","tag":[],"title":"陶哲轩发新论文了，又是AI帮忙的那种
敖图肢4036什么是互质函数? -
柴戴燕17392226762 ______[答案] 在数论,对正整数n,欧拉函数\varphi(n)是少于或等于n的数中与n互质的数的数目.此函数以其首名研究者欧拉命名,它又称为Euler's totient function、φ函数、欧拉商数等. 例如\varphi(8)=4,因为1,3,5,7均和8互质. 从欧拉函数引伸出来在环论方面的事...
敖图肢4036关于欧拉函数的一个性质的证明 数论高手进 -
柴戴燕17392226762 ______ 当n=1时候,显然成立 当n=p为素数的时候, \sum_{d|n}\phi(d) = \phi(1) + \phi(p) = 1+ p-1 =p也成立 当n=p^k,可知也成立. 最后证明左边的求和是一个可乘函数,即设左边是L, 那么要证明如果(m,n)=1,则 L(mn)=L(m)L(n) 思路就是这样,一般满足可乘性质的问题都是这样证明的 详细过程自己写出来吧
敖图肢4036MOD运算的欧拉函数是怎样的?
柴戴燕17392226762 ______ (其中φ(p)表示p的欧拉函数,即所有p的正整数中和p互质的整数的个数))和一个随机数x,且g和x均小于p,计算yg^x(modp),则其公钥为y,g和p
敖图肢4036找一个欧拉数e的连分数表达式,任意一个就行要推导过程
柴戴燕17392226762 ______ 欧拉数e的连分数表达式: [2,1,2,1,1,4,1,1,6,1,1...] 资料提供! -------------- [2,1,2,]==〉2+1/(1+1/2)
敖图肢4036已知a为第二象限角,25sin²a+sina - 24=0,则cos(a/2)的值为 -
柴戴燕17392226762 ______ 25sin²a+sina-24=(25sina-24)(sina+1)=0因为a在第二象限,所以sina=24/25 cosa=-7/252kπ+π/2<2kπ+πkπ+π/4...
敖图肢4036数学问题 -
柴戴燕17392226762 ______
敖图肢4036圆周率∏,自然对数的底数e,欧拉常数y,各是什么?自然对数的底数又指什么? -
柴戴燕17392226762 ______[答案] 答:圆周率∏,自然对数的底数e,欧拉常数y,都是无理数,但其中最有名的两个就是圆周率π和自然对数的底数e.自然对数的底数是指无理数e=2.718281828459045.e是一个奇妙有趣的无理数,它取自数学家欧拉Euler的英文字头.欧拉首先发现此数...
敖图肢40361+1/2+1/3+1/4+,,,,+1/n=公式 -
柴戴燕17392226762 ______ 随后很长一段时间,人们无法使用公式去逼近调和级数,直到无穷级数理论逐步成熟.1665年牛顿在他的著名著作《流数法》中推导出第一个幂级数: ln(1+x) = x - x^2/2 + x^3/3 - ... Euler(欧拉)在1734年,利用Newton的成果,首先获得了调和...
敖图肢4036欧拉定理(关于欧拉定理的基本详情介绍)
柴戴燕17392226762 ______ 1、在数学及许多分支中都可以见到很多以欧拉命名的常数、公式和定理.2、在数论中,欧拉定理(Euler Theorem,也称费马-欧拉定理或欧拉函数定理)是一个关于同余的性质.3、欧拉定理得名于瑞士数学家莱昂哈德·欧拉,该定理被认为是数学世界中最美妙的定理之一.4、欧拉定理实际上是费马小定理的推广.5、此外还有平面几何中的欧拉定理、多面体欧拉定理(在一凸多面体中,顶点数-棱边数+面数=2).6、西方经济学中欧拉定理又称为产量分配净尽定理,指在完全竞争的条件下,假设长期中规模收益不变,则全部产品正好足够分配给各个要素.7、另有欧拉公式.
敖图肢4036e是什么数?e是个无理数吗?它是怎么被发现的?谁能把它的精确值说一下? -
柴戴燕17392226762 ______[答案] 1+1/n)^n.当n接近无穷大时这个数值就是e . 它是个无理数啊,这个符号是由欧拉(Euler)首先使用的,取他名字第一个字母. 欧拉的一生,是为数学发展而奋斗的一生,他那杰出的智慧,顽强的毅力,孜孜不倦的奋斗精神和高尚的科学道德,永远是...