dbn上限 作为Polymath项目的一部分,对de Bruijn-Newman常数上界的计算工作 正如你可能知道的那样,Terence Tao教授发起并一直在主持一个Polymath项目,以使de Bruijn-Newman常数(简而言之,dBN常数)达到上限。这包括1)分析或理论部分(硬数学),以推导/完善几个公式和估计,以及2)计算部分,以检查de Bruijn函数族H_t在标记为数值验证的区域中是否为零。 该回购旨在促进计算方面。 有关一般方向、理论、博客帖子、关于最新结果的讨论等,请访问陶教授的博客 对于Polymath提案,请检查此链接 有关wiki、论文综合列表、结果永久记录,请访问Polymath网页 要直观地了解建立dBN边界,请检查以下内容视觉指南由创建鲁道夫 计算库和机器需求 最近的大部分工作都是用Pari/GP、Arb和Julia语言完成的。对于大规模运行,建议使用Arb脚本,对于类似数学的可读性,建议使用其他两个脚本。 对于朱莉娅,请检查朱莉娅叉子https://github.com/km-git-acc/DBNUpperBound.jl由WilCrofter维护。 在项目的早期阶段,还用Python完成了许多工作,这可能会引起人们的兴趣。 有关如何使用不同的脚本,请参阅相应文件夹中的README文件。在“问题”主题中也进行了许多有趣的讨论(用作一般讨论+头脑风暴+问题主题),可能值得阅读以获得详细的理解。 这些脚本可能可以在任何机器上运行,但更好的配置肯定会有所帮助 结果 可以在此wiki页面上查看结果,http://michaelnielsen.org/polymath1/index.php?title=Zero-免费区域(_R) (目前,已经无条件地实现了0.22的dBN界限,并且还证明了以RH验证到适当高度为条件的几个更严格的界限) 脚本的许多总结输出都出现在output文件夹中,有些出现在python/research文件夹中,还有一些大文件作为链接发布在博客上的评论中。