陶哲轩博客写数学问题时，通常先把对象定义清楚，再给直觉、反例和证明轮廓。把「254A, Notes 5: Bounding exponential sums and the zeta function」改写成可阅读的中文笔记，重点是：问题在问什么、已知到哪一步、下一步最容易走偏在哪。原站广告、分享条和导航已去掉。

问题在问什么

We return to the study of the Riemann zeta function , focusing now on the task of upper bounding the size of this function within the critical strip; as seen in Exercise 43 of Notes 2 , such upper bounds can lead to zero-free regions for , which in turn lead to improved estimates for the error term in the prime number theorem.

In equation (21) of Notes 2 we obtained the somewhat crude estimates

已知结果和反例

for any and with and . Setting , we obtained the crude estimate

in this region. In particular, if and then we had . Using the functional equation and the Hadamard three lines lemma, we can improve this to ; see Supplement 3 . Now we seek better upper bounds on . We will reduce the problem to that of bounding certain exponential sums, in the spirit of Exercise 34 of Supplement 3 :

证明或构造的主线

Proof: We fix a smooth function with for and for , and allow implied constants to depend on . Let with . From Exercise 34 of Supplement 3 , we have

for some sufficiently large absolute constant . By dyadic decomposition, we thus have

阅读时建议盯住的点

We can absorb the first term in the second using the case of the supremum. Writing , where

for each . But from the fundamental theorem of calculus, the left-hand side can be written as

值得单独记下的条目

• (i) (van der Corput estimate) For any natural number , one has
• (ii) (Vinogradov estimate) If is a natural number and , then for some absolute constant .
• (i) Show that for all . ( Hint: use the case of the Van der Corput estimate.)
• (ii) For any , show that as (the decay rate in the is allowed to depend on ).
• (i) (Littlewood bound) Use the van der Corput estimate to show that whenever .
• (ii) (Vinogradov-Korobov bound) Use the Vinogradov estimate to show that whenever .
• (ii) Obtain a zero-free region for , for some (effective) absolute constant .
• (iii) Obtain the prime number theorem in arithmetic progressions with error term whenever , , is primitive, and depends (ineffectively) on .

阅读和落地时建议先做的 5 件事

1. 用自己的语言重写定义和结论，不看原文能不能说清对象是什么。
2. 找一个最小反例或边界情形，确认假设少一条会怎样。
3. 把证明拆成可独立检验的引理，每步只保留一个新想法。
4. 若涉及计算或形式化，先写可复现的小例子，再谈一般情形。
5. 记下尚未解决的缺口：缺估计、缺构造，还是缺正确的范畴。

和智能体、形式化工具怎么接

龙虾PRO做 OpenClaw 落地时，数学笔记最有用的部分往往是「可检验的步骤」：定义、反例、引理边界。智能体适合帮忙展开计算和检索，不适合代替你决定哪条假设能扔。

本文侧重全链路风控方法论。落地时请用自身业务单据做回放验证，不要把示例阈值直接当生产策略。 相关：风控体检 · 方案资源