T*******x
发帖数: 8565 | 1 知乎上的文章都是有格式有图的，copy成纯文本有点乱，看个意思吧。本身也就是谈个
意思。
—
黎曼猜想为何这样难证？幻想的证明思路以及Atiyah论文
来自专栏技术备忘录
325 人赞同了文章
在Atiyah大新闻前夕，把从前的这个草稿写完吧。本文的标题是许多学数学的同学会问
过的问题。如果能真正回答这个问题，就离解决RH不远，所以这个问题很难回答。这里
是从前的一点想法，请专家指正（没接触过这些的朋友可以看最后面，有个小问题是容
易懂的）。
今天网上流传的Atiyah的5页论文，黎曼猜想（目前大家还不确定是不是Atiyah写的）：
https://drive.google.com/file/d/17NBICP6OcUSucrXKNWvzLmrQpfUrEKuY/view
drive.google.com
传闻Atiyah同时公布了一篇更厉害的论文（目前大家还不确定是不是Atiyah写的），算
精密结构常数（约等于1/137的那个）：
https://drive.google.com/file/d/1WPsVhtBQmdgQl25_evlGQ1mmTQE0Ww4a/view
drive.google.com
简单地说，Atiyah认为，pi于之复数，就像137.xx于之四元数，就像万有引力常数于之
八元数！！！137的公式如下，突然出现在文中，不知道是怎么来的：
其中gamma是Euler常数。下面我们还是先看RH吧。
难点一：如果RH被证否，并不会有特别严重的后果。
必然如此，如果有严重后果，那么就可以直接用反证法证明RH了。
可与费马大定理的情况比较。费马大定理如果是错误的，那么椭圆曲线就没有了
modularity，这个给人的感觉不好。所以最终费马大定理更容易被证明。
但是如果RH有反例，只能说明许多需要靠假设RH成立的定理需要重新找方法证，并不能
说明这些定理是错误的。
历史上有不少起初需要靠假设RH成立，后来就不需要的例子。如Gauss的类数问题，质
数分解的算法，等等。
所以，RH实际属于，如果成立非常好，但如果不成立，好像天也不会塌下来，只能说明
质数具有某种意想不到的"conspiracy"。
正如Iwaniec说过的：
Analytic number theory is fortunate to have one of the most famous unsolved
problems, the Riemann Hypothesis. Not so fortunately, this puts us in a
defensive position, because outsiders who are unfamiliar with the depth of
the problem, in their pursuit for the ultimate truth, tend to judge our
abilities rather harshly. In concluding this talk I wish to emphasize my
advocacy for analytic number theory by saying again that the theory
flourishes with or without the Riemann Hypothesis. Actually, many brillian
ideas have evolved while one was trying to avoid the Riemann Hypothesis, and
results were found which cannot be derived from the Riemann Hypothesis. So,
do not cry, there is a healthy life without the Riemann Hypothesis. I can
imagine a clever person who proves the Riemann Hypothesis, only to be
disappointed not to find new impotant applications. Well, an award of one
million dollars should dry the tears; no applications are required!
难点二：关于zeta函数，目前的结论集中在functional equation即modularity即
Langlands层面。但RH是更高一个层面的结论。
因为容易写出和Riemann zeta长得很像而且也具有函数方程、解析延拓，但是不满足相
应RH的Dirichlet级数，例如Davenport-Heilbronn的例子。
对于函数方程，我们在很多zeta函数上都已经会证。但是对于RH，我们连最简单的数论
情况都不会证。
由于函数方程的层面是poisson summation / trace formula，个人的感觉是，可能
trace formula并不足以对付RH。不过或许最广义的Langlands还是有可能在这里起作用。
那么，如果说函数方程、解析延拓（以及某些增长速度之类）还不足以推出RH，到底还
需要Dirichlet级数的什么性质？从Selberg class看，还需要的是Euler积。
看上去很普通的Euler积，其实是很神秘的。怎么正确用上Euler积是个问题。
难点三：很难说出RH在模形式那边的对应物。
很难说"一个满足RH的Dirichlet级数"在Mellin变换后会变成满足什么性质。所以这种
道路似乎是困难的。
难点四：我们会证某些RH的类似物，但不知道怎么把结果转化到数域上。
经典的例子是Weil猜想的情况。由于2维的Weil猜想可以通过考虑C x C证，所以许多人
希望用类似的办法证RH，比如发展F_1然后看是不是可以把Z看成F_1 x_Z F_1。但目前
还没有人知道怎么做。Deligne对于高维Weil猜想的证明，实际在本质上也是类似的思
路。
而且这又涉及到一个经典问题："frobenius in char. 0"是什么？无法回答。Connes的
非对易几何对此曾试图有话要说。
总之，几何的方法，目前可以对付local field，对付char. p，对付函数方程，但仍然
很难对付global field的RH。
还有一些很玄的方法，比如随机矩阵，比如SpecZ是三维的，比如物理Hamiltonian的思
路，等等等等。
大家知道，面对很难的猜想，大家攻击不进去，都会在它旁边转来转去，有时转来转去
就自动开了，更多的时候还是总得要暴力攻击进去。我觉得这些转来转去可能是越转越
难。
令人困惑的问题仍然是：
怎么把Euler积这个条件正确地用上？
如果不用上这个条件，肯定不可能证出来RH。因为不用上就有反例。
Naive地看，Euler积就是算术基本定理，就是class number 1，但然后又怎样呢，不容
易继续。也许先找到怎么证special value的系列猜想（Beilinson / Tamagawa etc）
会相对简单些。
结语：幻想的证明思路
虽然不知道怎么证，不过可以幻想怎么证。
我猜，Weil猜想的证明方法可能会有一点启示。Deligne对于Weil猜想的证明，最终是
靠一个常见而强大的技巧，考虑：
可以证明：
即：
令 k -> ∞，再运用函数方程，证毕。
简单地说，先证明能往中间推一点（k=1），然后找到【只要能推一点，就可以不断往
中间推】的办法（k -> ∞），最终就推到中间了。
遗憾的是，对于RH，第一步目前仍然是做不到的。第二步也做不到，因为Z目前没有合
适的代数几何结构。
或者RH需要通过反证法证。那么需要找到足够坏的反面推论。证明有了一个坏零，就可
以越推越荒唐（有某种“动力系统”）。这个过程肯定是需要函数方程和迹公式，更奇
怪的还是怎么用Euler积。用通俗的话说，要证明这么难的问题，肯定需要将所有条件
都用上。
这种反证法类似现在传闻的Atiyah的5页证明的方法，所以如果Atiyah的证明可靠，那
么这里的想法就大致猜对了，确实很有意思。但是。这个传闻的5页证明很神，好像都
没看到函数方程用在哪里...所以不知道真伪。
我不相信RH可以用纯解析的方法证。从前Branges的证明是纯解析，现在传闻的Atiyah
好像也是纯解析。zeta有很多解析性质，但并不是zeta独有的，例如像zeta
universality之类的东西都不是独有的，我认为都是不足够证明RH的。
说起来，我很欣赏望月新一对于BSD的某句话，他说我们要走得更深，考虑像加法和乘
法这种操作的本身的变形。也许只有这样，才能给我们足够的灵活性去证明那些最难的
结论。
### 最新更新：再看了看，原来Atiyah的5页证明里面的T(s)要从1/137的那篇找，这下
就很代数了，Todd genus当然是非常玄的，成功率上升了，但是1/137这篇论文简直是
天书... ###
返璞归真：Error term问题
其实，RH最返璞归真地从代数的角度看，是对于error term的估计。但是error term的
问题很难，我们连高斯圆问题都证不出来。这里以后也许会成为一种突破口，先把高斯
圆问题给解决再谈RH吧。高斯圆问题现在都是用纯解析方法推，目标是0.5+ε，目前推
到131/208=0.6298...就推不动了。
Gauss circle problem
en.wikipedia.org
下面介绍高斯圆问题，又叫圆内整点问题。大家可以多关注这个问题。我们在格点纸上
画个半径为r的圆，里面当然大致就有 pi r^2 个格点。
那么这个估计的误差 E(r) 是多少呢？
很明显肯定是O(r)，因为误差首先约等于圆的边长（这是很漂亮的几何观点，其实
class number formula 就是这样来的），例如高斯证明了：
但是圆很规则，实际上误差更小，大家猜是：
用Voronoi可以证O(r^{2/3})，现在可以证明到O(r^{131/208})。这个问题属于看上去
很简单，实际非常难。有兴趣的可以想想。
下面继续看RH。民间数学家最流行的是证明哥德巴赫猜想，然后是费马大定理，因为这
两个的表述足够简单。RH的解析表述让民间数学家看不懂。不过如果把RH写成error
term的等价命题：
或者Mertens函数的等价命题，民间数学家就也可以看懂了。
Mertens conjecture
en.wikipedia.org
图标
但是代数的方法目前很弱，连prime number theorem都做不动。现在还没有神奇的可以
进攻error term问题的代数方法。如果RH最终证明同时用很深的代数和解析，那么肯定
是一个很漂亮的证明。 |
T*******x
发帖数: 8565 | 2 链接在此：
https://zhuanlan.zhihu.com/p/29208150
【在 T*******x 的大作中提到】
: 知乎上的文章都是有格式有图的，copy成纯文本有点乱，看个意思吧。本身也就是谈个
: 意思。
: —
: 黎曼猜想为何这样难证？幻想的证明思路以及Atiyah论文
: 来自专栏技术备忘录
: 325 人赞同了文章
: 在Atiyah大新闻前夕，把从前的这个草稿写完吧。本文的标题是许多学数学的同学会问
: 过的问题。如果能真正回答这个问题，就离解决RH不远，所以这个问题很难回答。这里
: 是从前的一点想法，请专家指正（没接触过这些的朋友可以看最后面，有个小问题是容
: 易懂的）。
|
n********g
发帖数: 6504 | 3 需要寻找等价命题，不跳别人挖的坑，有宝早被捡走了
涉及无穷的问题只有几种方法：
1、（数学）归纳法
2、反证法
出租车司机关于政变的新闻烦人。天下之大容不下一张书桌。吃瓜。
【在 T*******x 的大作中提到】
: 链接在此：
: https://zhuanlan.zhihu.com/p/29208150
|
T*******x
发帖数: 8565 | 4 黎曼zeta函数可用的技巧只有两个，一个是functional equation，一个是Euler
product。
Functional equation建立的是函数在不同点的值之间的关系。它不同于differential
equation。微分方程建立的是一种动力学系统，描述的是函数值是如何影响另外一个动
力学变量，然后这个动力学变量又反过来影响函数值（在另一处的值）。
Euler product，把黎曼函数表示成素数点乘积的形式。Dirichlet深挖了这个方法，发
明了Dirichlet Character和L函数，证明了等差数列中有无穷多素数的问题。至今这个
东西还在解析数论的中心位置。
然后就是把这两个技巧各种各样的包装，抽象。
【在 T*******x 的大作中提到】
: 知乎上的文章都是有格式有图的，copy成纯文本有点乱，看个意思吧。本身也就是谈个
: 意思。
: —
: 黎曼猜想为何这样难证？幻想的证明思路以及Atiyah论文
: 来自专栏技术备忘录
: 325 人赞同了文章
: 在Atiyah大新闻前夕，把从前的这个草稿写完吧。本文的标题是许多学数学的同学会问
: 过的问题。如果能真正回答这个问题，就离解决RH不远，所以这个问题很难回答。这里
: 是从前的一点想法，请专家指正（没接触过这些的朋友可以看最后面，有个小问题是容
: 易懂的）。
|
T*******x
发帖数: 8565 | 5 而functional equation只有一个，就是描述Zeta(x)和Zeta(1-x)之间的关系。
就这么一个，太简陋了。
differential
【在 T*******x 的大作中提到】
: 黎曼zeta函数可用的技巧只有两个，一个是functional equation，一个是Euler
: product。
: Functional equation建立的是函数在不同点的值之间的关系。它不同于differential
: equation。微分方程建立的是一种动力学系统，描述的是函数值是如何影响另外一个动
: 力学变量，然后这个动力学变量又反过来影响函数值（在另一处的值）。
: Euler product，把黎曼函数表示成素数点乘积的形式。Dirichlet深挖了这个方法，发
: 明了Dirichlet Character和L函数，证明了等差数列中有无穷多素数的问题。至今这个
: 东西还在解析数论的中心位置。
: 然后就是把这两个技巧各种各样的包装，抽象。
|
