结果族 259：A group without fixed price · 学科：Group theory · 验证状态：暂无形式化证明，请以社区核验为准
电话公司要把全城每家连通：最省的方案是树状网，每户平均约 1 条线；若再加特殊要求，可能要 1.2 条。群的”代价”问的就是：让一个群随机地”搬运”一堆点，平均每个点要几条边才能把各自的轨道连成一串。同一个群的所有搬运方式，平均线数一样吗？这篇论文造出反例：不一样——同一个群、两种搬法，账单严格不同。
关键词卡片
看个具体例子
8 个点连成一串要 7 条边（平均每点 0.875 条）；同样 8 个点若被要求多拉三条”跨行捷径”，就要 10 条边、平均 1.25 条（下图）——点没变，连通账单变了。论文的群 Γ（秩 100 自由群与一个直积的融合积）正是群论版：它的 Bernoulli 搬法 @@M@@\operatorname{Cost}\ge 1+\eta@@，而”有限高度扩张”搬法 @@M@@\operatorname{Cost}\le 1+99/M@@，其中 M 可以任意大。两种搬法都本质自由，账单却严格分家。
为什么值得关心
代价是”度量等价”理论的核心数值不变量，Gaboriau 的固定代价问题悬置二十余年；本文给出第一个反例——”群的平均连线费”本质上取决于搬法，而非群本身。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读用”电话公司的连线账单”作比。换成半数学语言：让一个群在一块带体积分布的空间上搬运点，每个点被搬出一条轨道；把这些轨道各自连通起来，平均每点要花几条边，就是这次搬运的”代价”。要问的问题：同一个群的所有”规整搬运方式”（几乎每个点都不被非平凡元素按住不动），账单是否必定相同？
第二级台阶
用本科术语精确化。概率测度保持（p.m.p.）作用：可数群经保测度变换作用在概率空间上，轨道等价关系把同轨道的点配对。图（graphing）：一族保测度的部分双射，其有限复合能把所有同轨道点连通；其代价是各定义域测度之和，轨道关系的代价取所有生成图的下确界。本质自由：每个非平凡群元素只固定一个零测集。固定代价：群的所有本质自由 p.m.p. 作用代价相同。
第三级台阶
定理的语境是 Gaboriau 2000 年的固定代价问题：自由群固定代价等于秩，大量带交换或顺从结构的群有固定代价一，两个无限可数群的直积也有固定代价一；一般可数群是否都有固定代价，悬置二十余年。主定理构造秩 100 自由群 A 与子群 J=⟨b₁,…,b₉₉, ab₁⋯ab₉₉a⟩ 的融合积 Γ=A*ⱼ(J×⟨t⟩)，并给出两个都本质自由的作用：Bernoulli 作用代价至少 1+η，而带有限高度坐标的作用 Y_M=X×Z/MZ 代价至多 1+99/M。”本质自由”挡掉平凡作用这类零代价的作弊解；M 取足够大即让两张账单严格分家，固定代价的一般断言由此为假。
本文构造出一个有限生成群，它的两个本质自由（essentially free）的概率测度保持（p.m.p.）作用具有严格不同的代价（cost），从而对 Gaboriau 的一般固定代价（fixed price）问题给出否定回答：并非每个可数群都有固定代价。
代价是度量等价理论的核心不变量，由 Levitt 于 1995 年引入、Gaboriau 于 2000 年系统发展。直观上，cost 回答”平均每个点需要多少条边，才能把群作用的轨道连通起来”。一个群称为具有固定代价，若其所有本质自由 p.m.p. 作用的 cost 相同。已知自由群的固定代价等于其秩，不少带交换或顺从结构的群有固定代价一，近期工作又证明了两个无限可数群的直积有固定代价一等；但”每个可数群是否都有固定代价”这一般性问题长期悬而未决。本文给出否定答案，是该方向的第一个反例。
设 @@M@@A=F(a,b_1,\ldots,b_{99})@@ 为秩 @@M@@100@@ 的自由群，@@M@@w=ab_1ab_2\cdots ab_{99}a@@，@@M@@J=\langle b_1,\ldots,b_{99},w\rangle@@（引理证明这 @@M@@100@@ 个元素恰好自由生成 @@M@@J@@）。取无限循环群 @@M@@\langle t\rangle@@，定义融合自由积（amalgamated free product）
@@M@@D\Gamma=A*_J(J\times\langle t\rangle).@@
@@M@@\Gamma@@ 由 @@M@@a,b_1,\ldots,b_{99},t@@ 有限生成。@@M@@a@@ 的指数和给出同态 @@M@@\chi:\Gamma\to\mathbb Z@@，满足 @@M@@\chi(a)=1@@、@@M@@\chi(w)=100@@。主定理：取 @@M@@K=e^{96}96^{99}/95^{95}@@，选 @@M@@0<\alpha<1/200@@ 使 @@M@@K\alpha^3<1/2@@，令 @@M@@\eta=\alpha/100@@，则
@@M@@\Gamma\curvearrowright X@@（@@M@@X\subseteq[0,1]^\Gamma@@ 为自由点的不变余零集）满足 @@M@@\operatorname{Cost}\ge 1+\eta@@；@@M@@Y_M=X\times\mathbb Z/M\mathbb Z@@，作用为 @@M@@(x,r)g=(xg,r+\chi(g)\bmod M)@@（@@M@@M>100@@），满足 @@M@@\operatorname{Cost}\le 1+99/M@@。两个作用都自由且保测度，故取 @@M@@M>\max\{100,99/\eta\}@@ 即得同一有限生成群上两个 cost 严格不同的本质自由 p.m.p. 作用。
上界完全显式。记 @@M@@u_0=1@@、@@M@@u_i=u_{i-1}ab_i@@，则 @@M@@w=u_{99}a@@。先保留全部 @@M@@t@@-边（代价 @@M@@1@@），再把 @@M@@J@@ 的 @@M@@100@@ 个生成元限制在一个测度为 @@M@@p@@、与每条 @@M@@t@@-轨道都相交的 Borel 集 @@M@@C_p@@ 上——这是 Gaboriau 的乘积构造——便以代价 @@M@@1+100p@@ 生成子群 @@M@@J\times\langle t\rangle@@ 的整条轨道等价关系；随后只在高度 @@M@@0,\ldots,98@@ 处添加 @@M@@a@@-边（代价 @@M@@99/M@@）。关键是传播论证：对高度 @@M@@k+99@@ 的点 @@M@@z@@，令 @@M@@y=zu_{99}^{-1}@@，路径 @@M@@y=yu_0\to yu_1\to\cdots\to yu_{99}=z@@ 的每一步都先走一条已知高度上的 @@M@@a@@-边、再走 @@M@@b_i@@-边，而 @@M@@za=yu_{99}a=yw@@ 是 @@M@@J@@-边；于是从 @@M@@99@@ 个连续高度出发归纳地免费获得其余所有高度的 @@M@@a@@-边，令 @@M@@p\downarrow 0@@ 即得 @@M@@1+99/M@@。
下界（Bernoulli 作用的 cost 至少 @@M@@1+\eta@@）分三步。先做部署（deployment）与压缩（compression）：定义相对量 @@M@@\delta_X=\inf\{C(\mathcal E):\mathcal R_J\vee\mathcal E=\mathcal R_A\}@@，把近似最优的 @@M@@\Gamma@@-图（graphing）分解到更大的有限测度空间，反复使用压缩引理——当生成的关系被免费供给更大的关系时，重构图可精确回收 @@M@@\kappa(\mathcal S)-\kappa(\mathcal T)@@ 的代价节省——再结合融合积正规形，得 @@M@@\operatorname{Cost}(\mathcal R_\Gamma)\ge 1+\delta_X@@。再传递到有限置换模型：对有限精确右 @@M@@A@@-集 @@M@@V@@ 定义群 @@M@@D_V=\langle x_v\ (v\in V)\mid x_vx_{vu_1}\cdots x_{vu_{99}}=1\ (v\in V)\rangle@@，利用上闭链（cocycle）@@M@@\theta@@（@@M@@\theta(v,a)=x_v@@、@@M@@\theta(v,b_i)=1@@，行的定义保证 @@M@@\theta(v,w)=1@@，故 @@M@@\theta(v,J)=1@@）与柱面逼近，证明沿渐近自由序列恒有 @@M@@\delta_X\ge\limsup\operatorname{rk}(D_V)/|V|@@；对自由基 @@M@@a,u_1,\ldots,u_{99}@@ 取独立均匀随机置换，可得到渐近自由、满足扩张性（expansion）@@M@@|N(T)|>96|T|@@（@@M@@|T|\le\alpha n@@）且坏行（bad row）数 @@M@@o(n)@@ 的模型序列，其联合概率界 @@M@@[K(s/n)^3]^s@@ 正是条件 @@M@@K\alpha^3<1/2@@ 的来源。最后是确定性秩下界 @@M@@\operatorname{rk}(D_V)>\alpha n/100@@，即 Arzhantseva–Ol’shanskii 式缩短论证：反设存在边数最少的标号图满射到 @@M@@D_V@@，先以饱和程序把坏行与短弧上的字母吸收进系数群（coefficient group）@@M@@H@@（@@M@@H@@ 不必有限表现，其嵌入由构造保证），再借助平面词引理在最短闭路中定位一段与某定义行匹配、含至少 @@M@@88@@ 个外部字母的长段，其补段至多 @@M@@12@@ 个字母，从而可用至多 @@M@@12@@ 条新边替换原路段中至少 @@M@@31@@ 条边；替换后图仍连通、秩不变、标签映射仍满射，而边数至少减 @@M@@19@@，与极小性矛盾。三步串联得 @@M@@\delta_X\ge\eta@@，完成主定理。
本文主结果暂无 Lean 形式化证明，而 OpenAI 官方声明”未经形式化的结果可能有问题”，结论请以社区核验为准。结果族 259 仅此一篇，证明被拆成三个输入输出自明的模块——相对压缩引理、从 Bernoulli 图到群秩的传递不等式、由扩张性导出的确定性秩下界——可分别审阅，最终在结论一节合流为主定理；其中部署与平面词引理两节的技术细节较强，此处从略。
问 1：证明里最关键也最脆弱的一步是什么？
| （答：下界三步中第三步——由扩张性推出秩下界 rk(D_V)>η | V | 的缩短论证（第 6–7 节）。它反设一个边数最少的标号图满射到 D_V，先用饱和程序把坏行与短弧字母吸收进系数群 H，再用任意系数群上的平面词引理在最短闭路中定位一段与定义行匹配、含至少 88 个外部字母的长段，用至多 12 条新边替换至少 31 条旧边，与极小性矛盾。替换的”秩不变、满射保持、边数净减”三件事必须同时成立，是全篇最精细处。） |
问 2：固定代价为什么限定在本质自由作用上？
（答：若允许任意作用，平凡作用代价为零，问题立刻无意义；Gaboriau 的定义本就落在本质自由 p.m.p. 作用类内。本文两个作用都自由：Bernoulli 作用限制到自由点的余零集 X，高度扩张 Y_M 的自由性由 X 上的自由性直接继承（第 1 节）。）
问 3：上界 1+99/M 为什么能做到几乎免费？
（答：两截拼接。J×⟨t⟩ 一侧用 Gaboriau 乘积技巧：把 J 的 100 个生成元放在一个测度 p、与每条 t-轨道都相交的 Borel 集上，代价 1+100p 且 p→0；a-边一侧只在高度 0,…,98 处添加（代价 99/M），关系 w=ab₁⋯ab₉₉a 使任意 99 个连续高度的 a-边免费传播到下一高度（第 1.2 节）。M>100 保证高度坐标容得下传播论证。）
问 4：与近期正面结果相比，真正新意是什么？
（答：Khezeli 证直积固定价一、Bevilacqua–Bowen 给度量与无穷测度判据、Slutsky 给小乘积邻域判据——全是”何时固定”；本文给出第一个”何时不固定”的显式群。三项工具有独立价值：相对压缩引理、Bernoulli 图到有限呈现群秩的传递不等式、由扩张与稀疏重叠导出的确定性秩下界。）
问 5：作为未形式化的 AI 证明，最可能出错的模式是什么？
（答：最可疑的是系数群 H 的处理——饱和中吸收的字母生成一个不必有限呈现的子群，”它嵌入所呈现群”被声明为构造的一部分而非引理推论，这类自我指认的嵌入最易藏循环论证；其次是随机置换模型的联合概率界 [K(s/n)³]ˢ 与 Kα³<1/2 的指数簿记。无形式化，宜逐条人审。）
问 6：秩 100、数字 99 这些常数可以省吗？
| （答：99 恰是 b_i 的个数，同时是传播所需的连续高度数与定义行长度的一半尺度；K=e⁹⁶·96⁹⁹/95⁹⁵ 来自扩张比 | N(T) | >96 | T | 的计数。这些数字互相咬合，但更小的秩是否够用，论文未讨论。） |
问 7：谁会用到它？
（答：测度等价与轨道等价社区——代价是测度等变的核心不变量，无固定价说明”群的代价”必须相对作用而言；固定价一判据的后续工作从此有了必须排除的样本类。）
总评
这是 Gaboriau 一般固定代价问题的第一个反例，且三项估计可拆开独立审阅，工程上干净；最大风险在系数群嵌入与缩短论证的精细簿记，未形式化前宜存疑引用。