结果族 084：The geometric case of the Erdős similarity conjecture · 学科：Real and complex analysis · 验证状态：暂无形式化证明，请以社区核验为准
想象你在一条一米长的街道上铺地砖，可以铺到占街长的 99%，但有条刁钻的规矩：不许完整装下一串按 1/2、1/4、1/8……排布的小石子——哪怕有人把这串石子整体平移、拉长压短、甚至翻面再放，也必须至少有一颗掉进你没铺的砖缝里。这篇论文造出了这样的铺法，从而证明 Erdős 相似猜想的”二进数列”情形。
关键词卡片
@@M@@\{2^{-n}\}@@，即 1/2、1/4、1/8、…，每次对折取一半的无穷数列。@@M@@x+s\cdot2^{-n}@@（@@M@@s\neq0@@）。看个具体例子
代入数字：取 @@M@@\eta=1\%@@，存在紧集 @@M@@E\subset[0,1]@@，总长超过 @@M@@0.99@@，使得对任何平移 @@M@@x@@ 与任何非零伸缩 @@M@@s@@，数列 @@M@@x+s\cdot2^{-n}@@ 中至少一项落在 @@M@@E@@ 之外。下图画出一个拷贝（@@M@@x=0.3@@，@@M@@s=-0.2@@）：它的点 0.2、0.25、0.275、… 逐渐挤向 0.3，而第一颗恰好掉进砖缝。
为什么值得关心
有限图案总能塞进任何正长度集合，困难全在无穷；而衰减最快的二进数列恰好躲过了此前所有判据（慢衰减判据、有限间隙判据、Rajchman 测度判据），本文用”周期阻断集＋随机路由＋例外修复”的新机器首次把它挡住。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的铺砖图里有两个主角：一段”几乎不留空隙”的集合，和一串按固定比例对折、越排越密的无穷点列。所谓”挡住石子”，是指无论把这串点列整体挪到哪里、拉伸压缩多少倍、甚至镜像翻转，它都无法整条躺进集合——总有一颗悬在空隙上。只挡住前若干颗容易，难在要同时挡住每一个拷贝的每一颗：困难全在无穷。
第二级台阶
用本科术语精确化：直线上集合的”总长度”由勒贝格测度 m 度量。给定无穷集 A、实数 x 与非零实数 s，集合 x+sA 称为 A 的仿射拷贝；若每个正测度集都含有 A 的某个仿射拷贝，就称 A 是度量普适的。Erdős 相似猜想断言任何无穷实数集都不度量普适。本文选定最顽固的候选者：二进数列 D，其相邻间隙以指数速度衰减，恰好躲过此前所有非普适性判据。
第三级台阶
定理在勒贝格测度语境下陈述：对每个容差 η，存在紧集 E 含于单位区间，测度大于 1−η，使得对一切平移量 x 与一切非零伸缩 s（正负皆可），拷贝 x+sD 总有一点落在 E 之外。紧性由构造所用开集的补集自动保证，防止极限点跑丢；测度近满排除”用空集作弊”；s 允许为负则要求构造关于原点对称。证明的枢纽是先造一个密度很小的一周期开集，命中归一化尺度 t∈[1,2] 内的每个拷贝，再经二进伸缩与反射把它铺到全部尺度。
本文构造出测度可任意接近 @@M@@1@@ 的紧集 @@M@@E\subseteq[0,1]@@，使其不含二进数列 @@M@@\{2^{-n}:n\ge1\}@@ 的任何平移与任意非零实伸缩（正负皆可）的仿射拷贝：二进数列不是度量普适集，Erdős 相似猜想的二进情形获证。
Erdős 1974 年提出相似猜想（Problem 4.33.7*）：任何无穷实数集都不应是度量普适（measure universal）的——即对每个无穷集 @@M@@A@@，都应存在正测度集，不含其任何非平凡仿射拷贝（affine copy）@@M@@x+sA@@（@@M@@s\neq0@@）。有限模式恒为度量普适（@@M@@L^1@@ 平移连续性可证），困难全在无穷。Falconer、Eigen 证明了相邻比趋于 @@M@@1@@ 的慢衰减数列不普适；Kolountzakis 的有限间隙判据、Bourgain 的三集和定理、Kolountzakis 对 @@M@@D+D@@ 的处理、以及 Iosevich 等人的 Rajchman 测度判据相继给出否定性结论——但单条二进数列恰好全部漏掉：@@M@@n@@ 个二进点的归一化最小间隙至多 @@M@@2^{-(n-3)}@@，指数式衰减使有限间隙类判据失效；可数集支撑不了 Rajchman 测度；均匀密度判据也因 @@M@@2^k@@ 伸缩保持 @@M@@D\cup\{0\}@@ 模 @@M@@1@@ 的像不变而失灵。Solymosi 2011 年描述过未完成的尝试；2020 年一篇宣称证明整个猜想的预印本则因命题 3.3 的漏洞被撤稿。
定理：对每个 @@M@@\eta\in(0,1)@@，存在紧集 @@M@@E_\eta\subseteq[0,1]@@ 满足 @@M@@m(E_\eta)>1-\eta@@，使得对一切 @@M@@x\in\mathbb{R}@@、@@M@@s\in\mathbb{R}\setminus\{0\}@@，存在整数 @@M@@n\ge1@@ 使 @@M@@x+s2^{-n}\notin E_\eta@@。即二进数列 @@M@@D=\{2^{-n}:n\ge1\}@@ 不是度量普适的：它的每个带符号仿射拷贝都被 @@M@@E_\eta@@ 挡掉至少一点。紧致性与近满测度直接得自构造所用开集的补集。
证明分四步。第一步周期化归约：核心引理断言，对每个 @@M@@p\in(0,1)@@ 存在开的 @@M@@1@@-周期（periodic）集 @@M@@H@@，密度 @@M@@\rho(H)\le6p@@，使每个中心 @@M@@x@@ 与每个归一化尺度 @@M@@t\in[1,2]@@ 都有某个 @@M@@x+t2^{-n}\in H@@。取 @@M@@p_j=\frac{\eta}{24}2^{-j}@@ 与 @@M@@C=\bigcup_{j\ge1}\bigl(2^{-j}H_j\cup(-2^{-j}H_j)\bigr)@@；周期性给出恒等式 @@M@@m\bigl((\pm2^{-j}H_j)\cap[0,1]\bigr)=\rho(H_j)@@，故 @@M@@m(C\cap[0,1])\le\eta/2@@，补集 @@M@@E@@ 紧且测度大于 @@M@@1-\eta@@。对 @@M@@s>0@@，写 @@M@@t=2^ks\in[1,2)@@、@@M@@j=\max\{1,k\}@@，把引理用于中心 @@M@@2^jx@@，换算得 @@M@@x+s2^{-N}\in C@@，且指标平移 @@M@@N=n+j-k\ge1@@ 仍属原拷贝；@@M@@s<0@@ 时由 @@M@@-C=C@@ 对称处理。
第二步搭树与窗口：高 @@M@@d@@ 的 @@M@@M@@ 叉有序树，边按先序分得下标窗口，窗口间留长度 @@M@@g@@ 的空隙，窗长自底向上递归使”边＋子树”跨度不超过两倍窗长。格子用周期二进键 @@M@@J_b(z)=\lfloor2^{b+2}\{z\}\rfloor@@：格网嵌套（细键定粗键），且对稳定中心——坏中心密度 @@M@@<p@@，由空隙保证——后续窗口的平移 @@M@@x+t2^{-n}@@ 不改变任何更早的键。
第三步随机路由（routing）：每条通向非默认孩子的边挂一张公平比特的选择器表（selector table），第 @@M@@M@@ 个孩子兜底；叶子挂 Bernoulli-@@M@@p@@ 终端表。点属于随机集 @@M@@B@@ 当且仅当其叶子的终端比特为 @@M@@1@@，期望密度恰为 @@M@@p@@。暴露中心在所有选择器表中被寻址的比特后：整条路由无默认的概率为 @@M@@(1-2^{1-M})^d<p@@；而在首个默认顶点，稳定性使各平移点与中心汇合于此，@@M@@(M-1)r@@ 个局部测试相互独立（窗口内的点占据互不相同的表项），全部失效的条件概率恰为 @@M@@(1-p/2)^{(M-1)r}@@。
第四步控制全部尺度并修复例外中心：随 @@M@@t\in[1,2]@@ 变化，测试向量只在点穿越”本子树”网格边界时改变，代表尺度至多 @@M@@20Mr(1+2^{2r+2})@@ 个；熵预算让”代表数×失效率”@@M@@<p@@，对原子取联合界（union bound）、再给无默认事件兜底，得每个稳定中心的全尺度失效概率 @@M@@\le2p@@。随后把 @@M@@B@@ 略扩为开集 @@M@@B^+@@（密度 @@M@@+p@@）；例外中心集 @@M@@R@@ 在圆环 @@M@@\mathbb{R}/\mathbb{Z}\times[1,2]@@ 的紧性下是闭的，期望密度 @@M@@\le3p@@。挑一个好结果，用开邻域 @@M@@V\supseteq R@@（密度再 @@M@@+p@@）覆盖，令 @@M@@H=B^+\cup V@@，总密度 @@M@@\le6p@@。落在 @@M@@R@@ 的中心由二进尾巴修复：@@M@@t2^{-n}\to0@@，充分大的 @@M@@n@@ 自动进入 @@M@@V@@，而这些下标允许超出窗口并集 @@M@@\mathcal N@@。
两篇家族论文均无 Lean 形式化证明，按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。姊妹篇（10 月 5 日”几何情形”）以同一架构把结论推广到一切公比 @@M@@q\in(0,1)@@，本篇的 @@M@@q=1/2@@ 情形被其覆盖：二进版先验证了”窗口＋路由＋修复”机制可行，几何版再确认机制对任意公比稳健，两篇互相印证。本篇引言明言证明所需的全部估计均在文中给出，并如实记录了 Solymosi 的未竟尝试与 2020 年撤稿先例；所用工具（周期阻断集、随机胞格、例外中心开覆盖）均有文献先例，贡献在于分离下标窗口与有限路由构造的实现。
问 1：整份证明最关键也最脆弱的一步在哪？
答：routing 一节的独立性估计。在中心路由遇到的第一个”默认顶点”上，(M−1)r 个局部测试必须占据互不相同的表项，才能宣称相互独立、失效概率为 (1−p/2)^{(M−1)r}。它依赖稳定中心、键稳定、窗口分离三件事同时成立；windows 与 scales 两节的全部铺垫都为它服务，常数链条任何一环松动都会崩塌。
问 2：为什么只需处理归一化尺度 t∈[1,2]？
答：这是二进结构的红利：任何非零 s 都可写成 ±2^k·t（t∈[1,2)），把周期阻断集缩放成各级 2^{-j}H_j 及其反射的并，周期性使每份在 [0,1] 中的测度恰等于其密度，按几何级数分配预算后总亏空不超过 η/2。这一归约对一般无穷集没有对应物。
问 3：与已有工作相比真正的新意是什么？
答：不是改进旧判据，而是绕开全部失效判据的新构造。引言逐条说明：Falconer–Eigen 慢衰减、Kolountzakis 有限间隙、Iosevich 等的 Rajchman 测度判据为何对 D 全部失灵（间隙指数衰减、可数集撑不起 Rajchman 测度、2^k 伸缩保持模 1 像不变）。”分离下标窗口＋有限路由树＋例外中心开覆盖”这套机器是新贡献；Solymosi 2011 年仅描述过未完成的类似尝试。
问 4：哪个假设绝对不能去掉？
答：不是紧性或近满测度——两者由开集之补免费给出。真正承重的是”每个稳定中心的全尺度失效概率 ≤2p”背后的熵预算：代表尺度个数乘以失效率必须小于 p。若尺度计数上界（形如 20Mr(1+2^{2r+2})，含五六个参数）失效，联合界收不住，构造退化。
问 5：作为 AI 生成的证明，它最可能以什么模式出错？
答：典型风险是长组合论证中的计数漏项与”假独立性”。论文声称全部估计均在文中给出，但多参数计数、暴露次序（先寻址选择器比特再乘终端失效率）这类环节，恰是 off-by-one 和未验证情形的高发区；论文未形式化，2020 年宣称证整个猜想后因命题 3.3 撤稿的先例更提示需逐行核验。
问 6：这个结果谁会用、能推多远？
答：相似猜想社区。它确认了衰减最快的二进数列可挡，姊妹篇（几何情形）已把同一机制推广到任意公比；但论文明言不涉及一般无穷集，整个猜想仍开放。反向兼容也成立：Feng–Lai–Xiong 的双 Lipschitz 嵌入定理与本文的仿射非普适性不矛盾，因为后者只限制仿射拷贝。
总评
若核验通过，这是 Erdős 1974 年猜想的首个单点突破，分量在”窗口＋路由＋修复”机制本身而非这一特例；最大风险是未形式化条件下 routing 独立性与尺度计数这类长链条里潜藏的缝隙。