结果族 084：The geometric case of the Erdős similarity conjecture · 学科：Real and complex analysis · 验证状态：暂无形式化证明，请以社区核验为准
玩”踩脚印”游戏：几何数列 @@M@@\{q,q^2,q^3,\dots\}@@（比如 @@M@@1/2,1/4,1/8,\dots@@）像一串越走步子越小的脚印。现在问：能否在 @@M@@[0,1]@@ 里保留几乎全部地面（测度超过 @@M@@1-\eta@@），却让这串脚印的任何一份”平移＋伸缩”拷贝（放大、缩小、镜像都算）至少踩空一步？这篇论文构造出这样的躲避集，证明几何数列不是”度量普适”的，Erdős 相似猜想的几何数列情形就此解决。
关键词卡片
@@M@@x+sA@@，@@M@@s\ne0@@，平移加非零伸缩（正负均可）@@M@@\{q^n:n\ge1\}@@，公比 @@M@@q\in(0,1)@@，步子指数式变小看个具体例子
数字版结论：取 @@M@@q=1/2@@、@@M@@\eta=0.01@@，存在紧集 @@M@@E\subseteq[0,1]@@，测度大于 @@M@@0.99@@，使任何 @@M@@x+s\cdot\{\tfrac{1}{2^n}\}@@（@@M@@s\ne0@@）都不能整体落入 @@M@@E@@。集合可以依赖 @@M@@q@@；论文不对不同公比作同时断言。
为什么值得关心
任何有限图案都是普适的（小的平移拷贝总能塞进正测度集），无穷图案是否必然失效正是 Erdős 1974 年的原问题；几何数列因衰减太快恰好躲过此前所有判据，本文补上了这块最显眼的缺口。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的类比是”踩脚印”：几何数列 @@M@@\{q,q^2,q^3,\dots\}@@ 像一串步子指数式变小的脚印；仿射拷贝意味着把这串脚印任意平移、放大缩小、甚至镜像后重新铺在地上。问题问：能否在 @@M@@[0,1]@@ 里保留几乎全部地面，却预留一些小洞，使这串脚印的任何一份拷贝至少踩空一步？论文用概率方法造出了这样的躲避集。
第二级台阶
精确化关键概念。集合 @@M@@A@@ 称为度量普适的，若任何正测度的可测集都含有 @@M@@A@@ 的一份非平凡仿射拷贝 @@M@@x+sA=\{x+sa:a\in A\}@@（@@M@@s\ne0@@，正负皆可）；Erdős 相似猜想（1974）断言没有任何无穷集是度量普适的。注意任何有限图案都是普适的——由 @@M@@L^1@@ 平移连续性，取 @@M@@s@@ 足够小即可把 @@M@@x+sF@@ 整体塞进正测度集；猜想问的正是无穷图案是否必然失效。
第三级台阶
主定理陈述：对每个固定公比 @@M@@q\in(0,1)@@ 与 @@M@@\eta\in(0,1)@@，存在紧集 @@M@@E_{q,\eta}\subseteq[0,1]@@，@@M@@m(E_{q,\eta})>1-\eta@@，使对一切 @@M@@x\in\mathbb R@@、@@M@@s\ne0@@，都有某个 @@M@@n\ge1@@ 使 @@M@@x+sq^n\notin E_{q,\eta}@@——几何数列 @@M@@G_q@@ 的任何带符号仿射拷贝都藏不进 @@M@@E_{q,\eta}@@。语境上，此前所有否定性判据（慢衰减数列、和集、Rajchman 测度支撑、Chlebík 判据）恰好全部漏掉几何数列：其归一化最小间隙衰减太快、又是可数集；假设中”回避集可依赖 @@M@@q@@“挡住了对不同公比同时断言的更强要求——论文明确不作此断言。结论即：几何数列不是度量普适集，猜想最显眼的缺口被补上。
对每个固定公比 @@M@@q\in(0,1)@@，本文构造出测度大于 @@M@@1-\eta@@ 的紧集 @@M@@E_{q,\eta}\subseteq[0,1]@@，使其不含几何数列 @@M@@\{q^n:n\ge1\}@@ 的任何”平移＋非零伸缩”拷贝（伸缩可正可负）。几何数列因此不是度量普适集，Erdős 相似猜想的几何数列情形获证。
Erdős 于 1974 年在其问题集中提出相似猜想（Problem 4.33.7*）：无穷实数集中是否存在”度量普适”（measure universal）集——即被每个正测度集都含有非平凡仿射拷贝（affine copy）@@M@@x+sA@@（@@M@@s\neq0@@）的那种集合？任何有限模式都是度量普适的：由 @@M@@L^1@@ 平移连续性，@@M@@m\bigl(\bigcap_{a\in F}(A-sa)\bigr)\to m(A)>0@@（@@M@@s\to0@@）；猜想问的正是无穷模式是否必然失效。慢衰减数列（@@M@@a_{n+1}/a_n\to1@@，Falconer、Eigen）、若干和集（Bourgain 的三集和、Kolountzakis 的倍和）、支撑 Rajchman 测度的集合都已有否定性结论，但几何数列恰好全部漏掉：其归一化最小间隙至多 @@M@@q^{m-2}/(1-q)@@，负对数无法次线性增长，故不满足 Chlebík 判据；可数集又支撑不了 Rajchman 测度。Feng–Lai–Xiong 的双 Lipschitz 嵌入定理还表明”限制在仿射映射”是实质性的。Solymosi 与 Tom 报告过未完成的随机胞格构造，几何情形长期悬置。
主定理：对任意 @@M@@q\in(0,1)@@ 与 @@M@@\eta\in(0,1)@@，存在紧集 @@M@@E_{q,\eta}\subseteq[0,1]@@，@@M@@m(E_{q,\eta})>1-\eta@@，使得对一切 @@M@@x\in\mathbb{R}@@、@@M@@s\in\mathbb{R}\setminus\{0\}@@，存在整数 @@M@@n\ge1@@ 满足 @@M@@x+sq^n\notin E_{q,\eta}@@。换言之，@@M@@G_q=\{q^n:n\ge1\}@@ 的任何带符号仿射拷贝都无法整体落入 @@M@@E_{q,\eta}@@，即 @@M@@G_q@@ 不是度量普适的。回避集允许依赖 @@M@@q@@；论文不对不同公比作同时断言。
证明属于 Kolountzakis 式的概率方法，只用有限概率空间与初等测度论。第一步是周期化归约：只需构造开的 @@M@@1@@-周期（periodic）集 @@M@@H@@，单周期密度 @@M@@\rho(H)\le6p@@，且对每个中心 @@M@@x@@、每个归一化尺度 @@M@@t\in[1,2]@@，点列 @@M@@x+tq^n@@ 必有一点落入 @@M@@H@@。再取可和预算 @@M@@p_k=\frac{\eta}{64}4^{-|k|}@@，令 @@M@@C=\bigcup_{k\in\mathbb{Z}}\bigl(2^kH_k\cup(-2^kH_k)\bigr)@@：计算得 @@M@@m(C\cap[0,1])\le7\eta/16<\eta@@，而任一非零尺度可写成 @@M@@s=\pm2^kt@@（@@M@@t\in[1,2)@@），故每个带符号拷贝必与 @@M@@C@@ 相交；在 @@M@@[0,1]@@ 中取补即得 @@M@@E_{q,\eta}@@。伸缩取 @@M@@2@@ 的幂只是归一化尺度，不需要 @@M@@2@@ 与 @@M@@q@@ 有任何代数关系。
第二步搭”窗口与网格”。取高为 @@M@@d@@ 的 @@M@@M@@ 叉有序树，边按先序（preorder）排列，每条边分得一段下标窗口，窗口间留长度 @@M@@g@@ 的空隙；窗长自底向上递归选取，使”一条边连同其子树”的下标跨度至多为其窗长的两倍。网格仍取二进格 @@M@@N_b^{-1}\mathbb{Z}@@，@@M@@N_b@@ 为 @@M@@2@@ 的幂且量级与 @@M@@q^{-b}/(1-q)@@ 相当：既保持嵌套（细格钥匙决定粗格钥匙），又能在边自身分辨率下把中心与其窗口内的平移点分进两两不同的格子——点间距至少 @@M@@(1-q)q^b@@，而格宽不足其四分之一。这正是处理一般 @@M@@q@@ 仍保留二进网格的原因。
核心机制是有限路由构造。通向第 @@M@@1@@ 至 @@M@@M-1@@ 个孩子的边各挂一张公平比特的选择器表（selector table），第 @@M@@M@@ 个孩子是默认出口；每片叶子挂一张 Bernoulli-@@M@@p@@ 终端表。点从根下行：取第一个读数为 @@M@@1@@ 的选择器所指的孩子，全零则走默认；点属于随机集 @@M@@B@@ 当且仅当其叶子的终端比特为 @@M@@1@@。期望密度恰为 @@M@@p@@，树够深时中心几乎必然在某层走默认。真正的难点是同时控制所有尺度，答案分三层。其一（独立性）：暴露中心在所有选择器表中被寻址的比特后，对稳定中心（stable center，坏中心密度被空隙压到 @@M@@4Kcq^{g+1}@@ 以内），后续窗口的平移不改变更早的钥匙，于是平移点与中心汇合于同一个首个默认顶点，那里 @@M@@(M-1)r@@ 个局部测试相互独立，全部失效的条件概率精确等于 @@M@@(1-p/2)^{(M-1)r}@@。其二（尺度离散化）：随 @@M@@t\in[1,2]@@ 变化，测试向量只在穿越”本子树”网格边界时改变，代表尺度个数被压为 @@M@@4+2(M-1)r(1+2cq^{-2r})@@——尺度计数只依赖本组窗长而非全树最细网格，这是对旧方法的关键改进。其三（参数选取）：取分支数 @@M@@M@@ 使 @@M@@p(M-1)/2>2\log(1/q)@@，让指数衰减压倒 @@M@@q^{-2r}@@ 型增长，联合界（union bound）收口。残余例外中心是闭集：因 @@M@@tq^n\to0@@，其一个开邻域即可兜住每个遗漏拷贝的尾部，并入后总密度仍 @@M@@\le6p@@。
本篇与姊妹篇均无 Lean 形式化证明，按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。家族内两篇互相支撑：姊妹篇先对 @@M@@q=1/2@@ 用同一”窗口＋路由”架构证明二进情形，本篇把网格分辨率改为与 @@M@@q^{-b}/(1-q)@@ 同阶、允许分支数依赖 @@M@@q@@，将结论推广到一切公比并覆盖二进特例。论文自称证明自足（”give a self-contained proof”），随机胞格、固定中心的尺度离散化、例外中心开覆盖均有文献先例，新意在于有限路由构造与尺度计数的局部控制。
问 1：构造中最关键的一步是什么？
（答：有限路由树上的”局部尺度计数”。难点是同时管住所有归一化尺度 @@M@@t\in[1,2]@@：若在每个测试组都按全树最细网格记录尺度变化，计数远超失败概率的预算。论文把测试安排在有限有序树上，每个测试组只用一条边及其子树内的网格；决定性的长度条件——边的下标窗长至少覆盖随后的空隙加整个子树——保证该组所需网格全部落在两倍窗长内，尺度代表元的个数只依赖本组窗长。这一局部化是对旧式随机胞格方法的关键改进。）
问 2：独立性从哪里来？
（答：先暴露中心在所有选择器表中被寻址的比特。对稳定中心（坏中心密度被窗口空隙压到 @@M@@4Kcq^{g+1}@@ 以内），后续窗口的平移不改变更早的钥匙，平移点与中心汇合于同一个”首个默认”顶点；那里 @@M@@(M-1)r@@ 个局部测试相互独立，全部失效的条件概率精确等于 @@M@@(1-p/2)^{(M-1)r}@@。树的深度保证中心几乎必然在有限层内走默认出口。）
问 3：一般 @@M@@q@@ 为什么还用二进网格？
（答：网格 @@M@@N_b^{-1}\mathbb Z@@ 取 @@M@@N_b@@ 为 2 的幂、量级与 @@M@@q^{-b}/(1-q)@@ 相当。这个双重身份既保住嵌套性（细格钥匙决定粗格钥匙，从而保全早先的路由决定），又在边自身分辨率下把中心与其窗口内的平移点分进两两不同的格子——点间距至少 @@M@@(1-q)q^b@@，格宽不足其四分之一。全程不需要 2 与 @@M@@q@@ 有任何代数关系，分支数 @@M@@M@@ 则允许依赖 @@M@@q@@。）
问 4：联合界为何收得住？
（答：三层配合。独立性给出精确的指数衰减 @@M@@(1-p/2)^{(M-1)r}@@；尺度离散化给出代表尺度个数 @@M@@4+2(M-1)r(1+2cq^{-2r})@@——注意 @@M@@q^{-2r}@@ 型增长；参数选取取 @@M@@M@@ 使 @@M@@p(M-1)/2>2\log(1/q)@@，指数衰减压倒多项式与 @@M@@q^{-2r}@@ 型增长，联合界收口。三个不等式的余量分配是全文的算术枢纽。）
问 5：回避集可以依赖 @@M@@q@@，这点有多实质？
（答：很实质。构造把分支数与网格分辨率都按 @@M@@q@@ 调校，论文摘要与定理都明确”对不同公比不作同时断言”。一个回避所有公比的单一集合是严格更强的命题，本文方法给不了，论文也未讨论。同样，对任意无穷集的完整 Erdős 猜想仍是独立的问题。）
问 6：AI 生成证明最可能出错的模式？
（答：好在证明只用有限概率空间与初等测度论，整体可人工核查。最易出错的簿记点是：暴露比特后的条件独立性论证（哪些表被中心寻址、哪些被平移点寻址，不能混）；稳定中心例外密度 @@M@@4Kcq^{g+1}@@ 与周期化归约里密度 @@M@@\le6p@@、预算 @@M@@p_k=\frac{\eta}{64}4^{-|k|}@@、总测度 @@M@@\le7\eta/16@@ 的常数链；以及 @@M@@t\in[1,2]@@ 端点处网格边界的换算。建议对小的 @@M@@q@@、浅树做数值抽样验证。无形式化证明。）
问 7：谁会用到它？
（答：几何测度论与分形社群：Erdős 1974 问题集中最显眼的公开情形被关闭，慢衰减、和集、Rajchman 三条战线之外补上第四条；姊妹篇用同一”窗口＋路由”架构先证 @@M@@q=1/2@@，本篇推广到一切公比。剩余方向——任意无穷集的原猜想、不同公比的同时回避、高维版本——论文均未触及。）
总评
用初等而自足的概率构造解决了悬置五十年、且被所有既有判据漏掉的公开情形，可信度在本批相对偏高；最大风险在常数链与条件独立性的手工簿记，宜以数值抽检复核。