陶哲轩博客写数学问题时，通常先把对象定义清楚，再给直觉、反例和证明轮廓。把「Distinguished Lecture Series I: Gregory Margulis, “Homogeneous dynamics and number theory 」改写成可阅读的中文笔记，重点是：问题在问什么、已知到哪一步、下一步最容易走偏在哪。原站广告、分享条和导航已去掉。

问题在问什么

The final distinguished lecture series for the academic year here at UCLA is being given this week by Gregory Margulis , who is giving three lectures on “homogeneous dynamics and number theory”. In his first lecture, Prof. Margulis surveyed some classical problems in number theory that turn out, rather surprisingly, to have more or less equivalent counterparts in homogeneous dynamics – the theory of dynamical systems on homogeneous spaces .

As usual, any errors in this post are due to my transcription of the talk.

已知结果和反例

Prof. Margulis began with perhaps the most famous open problem in number theory, namely the Riemann hypothesis . From the work of Zagier and of Sarnak , one can rephrase this hypothesis in terms of closed orbits on the modular surface , which one can think of as the space of all unimodular lattices in , or as the canonical circle bundle over the upper half-plane . On this surface we have the action of the one-parameter group

which correspond to horizontal translations on the upper half-plane. For each , there is a unique closed orbit of U of length t (which, on the upper half-plane, corresponds to a horizontal line). The Riemann hypothesis is then equivalent to the asymptotic

证明或构造的主线

for any fixed and (with the implied constant in the O() notation depending on these parameters), where the integrals are with respect to Haar measure. See for instance this paper of Verjovsky for further discussion of this connection. One should observe that the error term here is better than what probabilistic heuristics might naively suggest, namely ; thus the orbits are distributed better than a “random” curve of comparable length, in some sense. Incidentally, the bound of

Nevertheless, there are many other problems in number theory for which non-trivial progress has been made by converting them to a question on dynamics in homogeneous spaces. One famous example is the Oppenheim conjecture (which I also blogged about here ), first proven in full generality by Margulis. It concerns the possible values of a real quadratic form on n variables, when the inputs are restricted to be integers, not all zero; in other words, one wants to study the set .

阅读时建议盯住的点

There are several obvious conditions that prevent this set from being dense in the reals. For instance, if the form is definite , then of course Q takes values on only one half of the real line. Also, if Q has rational coefficients, or is a scalar multiple of a form with rational coefficients, then it is clear that Q will take values in a discrete set. Finally, for indefinite forms of two variables such as , the classical theory of continued fractions tells us that will stay

The Oppenheim conjecture (in its modern form) asserted that these are the only obstructions to being dense, or to (the marginally simpler statement that) can be arbitrarily close to zero: thus any indefinite real irrational quadratic form in three or more variables should take values arbitrary close to zero for integer inputs, not all zero. (Oppenheim only conjectured this for , by reasoning in analogy with Meyer’s theorem , which asserts that indefinite real rational quadrat

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

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

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

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

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