陶哲轩博客写数学问题时，通常先把对象定义清楚，再给直觉、反例和证明轮廓。把「The inverse conjecture for the Gowers norm over finite fields via the correspondence princ」改写成可阅读的中文笔记，重点是：问题在问什么、已知到哪一步、下一步最容易走偏在哪。原站广告、分享条和导航已去掉。

问题在问什么

Tamar Ziegler and I have just uploaded to the arXiv our paper, “ The inverse conjecture for the Gowers norm over finite fields via the correspondence principle “, submitted to Analysis & PDE . As announced a few months ago in this blog post , this paper establishes (most of) the inverse conjecture for the Gowers norm from an ergodic theory analogue of this conjecture (in a forthcoming paper by Vitaly Bergelson , Tamar Ziegler, and myself, which should be ready shortly), using

In the rest of this post, I would like to describe the inverse conjecture (in both combinatorial and ergodic forms), and sketch how one deduces one from the other via the correspondence principle (together with two additional ingredients, namely a statistical sampling lemma and a local testability result for polynomials).

已知结果和反例

Let F be a finite field, and let be a vector space over that field. Given any function taking values in the unit circle , we define the additive derivative of P in the direction h by the formula

Now let . A function is said to be a polynomial of degree if one has for all . Thus for instance, the only polynomial of degree <0 is the zero function, the only polynomials of degree <1 are the constants, the only polynomial of degree <2 are the affine characters , and so forth. If is a field of prime order, and we make the additional assumption that P takes values in the roots of unity (which we can identify with F in the usual manner), then we can express the polynomial P

证明或构造的主线

for some coefficients ; let us refer to these as classical polynomials of degree <k . However, if one does not require P to take values in roots of unity, then the above definition also encompasses some non-classical polynomials. For instance, if , the function defined by P(0)=0 and P(1)=1/4 is of degree ❤ (i.e. is a “quadratic” polynomial), but is not classical. [However, it is a nice exercise to show that in the high characteristic case , every polynomial of degree can be e

We can define multiplicative analogues of the above concept. Given a function , we define the multiplicative derivative to be the function

阅读时建议盯住的点

and say that f is a phase polynomial of degree <k if for all . It is not hard to show that f is a phase polynomial of degree <k if and only if for some polynomial of degree <k, where is the standard character .

The Gowers uniformity norms are a means to measure the extent to which an arbitrary function behaves like a phase polynomial; if , they are defined by the formula

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

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

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

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

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