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

问题在问什么

In the last three notes , we discussed the Bourgain-Gamburd expansion machine and two of its three ingredients, namely quasirandomness and product theorems, leaving only the non-concentration ingredient to discuss. We can summarise the results of the last three notes, in the case of fields of prime order, as the following theorem.

Theorem 1 (Non-concentration implies expansion in ) Let be a prime, let , and let be a symmetric set of elements in of cardinality not containing the identity. Write , and suppose that one has the non-concentration property

已知结果和反例

for some and some even integer . Then is a two-sided -expander for some depending only on .

Proof: From (1) we see that is not supported in any proper subgroup of , which implies that generates . The claim now follows from the Bourgain-Gamburd expansion machine (Theorem 2 of Notes 4 ), the product theorem (Theorem 1 of Notes 5 ), and quasirandomness (Exercise 8 of Notes 3 ).

证明或构造的主线

Remark 1 The same argument also works if we replace by the field of order for some bounded . However, there is a difficulty in the regime when is unbounded, because the quasirandomness property becomes too weak for the Bourgain-Gamburd expansion machine to be directly applicable. On theother hand, the above type of theorem was generalised to the setting of cyclic groups with square-free by Varju , to arbitrary by Bourgain and Varju , and to more general algebraic groups than

It thus remains to construct tools that can establish the non-concentration property (1) . The situation is particularly simple in , as we have a good understanding of the subgroups of that group. Indeed, from Theorem 14 from Notes 5 , we obtain the following corollary to Theorem 1 :

阅读时建议盯住的点

Corollary 2 (Non-concentration implies expansion in ) Let be a prime, and let be a symmetric set of elements in of cardinality not containing the identity. Write , and suppose that one has the non-concentration property

for some and some even integer , where ranges over all Borel subgroups of . Then, if is sufficiently large depending on , is a two-sided -expander for some depending only on .

值得单独记下的条目

• (i) Show that generates a free subgroup of . ( Hint: use a ping-pong argument, as in Exercise 23 of Notes 2 .)
• (iii) Show that for sufficiently large primes form a two-sided expander family.
• (i) is virtually solvable.
• (ii) contains a copy of the free group of two generators as a subgroup.
• (i) Show that if is infinite, then there is at least one limit point.
• (ii) Show that if is a limit point, then so is .
• (iii) Show that if there are two limit points with , then there exist that generate a free group. ( Hint: Choose close to and close to , and consider the action of and on , and specifically on small neighbourhoods of , and set up a ping-pon
• (v) Show that if has no free subgroup of two generators, then all hyperbolic and regular parabolic elements of have a common eigenvector. Conclude that all such elements lie in a solvable subgroup of .

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

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

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

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

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