结果族 151：A C¹ counterexample to the entropy conjecture · 学科：Dynamical systems and ergodic theory（动力系统与遍历论） · 验证状态：暂无形式化证明，请以社区核验为准
有一条流传已久的”会计直觉”：如果一张地图每用一次，它记录的”洞”的数目就翻倍，那球在上面滚出的路线种类也该跟着指数爆炸。Shub 的熵猜想把这条直觉写成不等式，并在许多情形被证明。本文却造出一台反例机器：账面上洞的确每圈翻倍，实际路线却规矩得毫无指数复杂性——直觉在 @@M@@C^1@@ 光滑级别被推翻。
关键词卡片
@@M@@h_{\mathrm{top}}(f)\ge\log\rho(f_*)@@，同调增长须由复杂度付费@@M@@C^1@@ 正则性：只有一阶连续导数的平滑等级（低于 @@M@@C^\infty@@）看个具体例子
反例的”数字版”：流形 @@M@@M=(\mathbb R/100\mathbb Z)\times(S^2)^{q+1}@@（维数 @@M@@\ge 5@@）上存在非可逆 @@M@@C^1@@ 自映射 @@M@@f@@，使
@@M@@Dh_{\mathrm{top}}(f)=0,\qquad f_* \text{ 在 } H_2 \text{ 上有特征值 } 2,@@
即 @@M@@0=h_{\mathrm{top}}(f)<\log 2\approx 0.693\le\log\rho(f_*)@@。这台机器靠”时钟 + 主坐标 + 寄存器”运转：主坐标名义上按 @@M@@z\mapsto z^2@@ 放大信号（特征值 2 的来源），但读出被时钟刻意拖延、幅度被精心抵消，所有轨道最终都归顺于两个零复杂度的不变集——账面翻倍，现场零花样。
为什么值得关心
它精准落进已知正面定理（Manning 的 @@M@@H_1@@ 不等式、Yomdin 的 @@M@@C^\infty@@ 情形等）留下的空隙，划清了这条直觉的适用边界：在有限正则性下，同调账面上的增长确实可以”白拿”，不必付出轨道复杂度的代价。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的”会计直觉”落到实处：对象是一台在紧空间上反复运转的可微机器——把空间送到自身的变换；账本是它对空间中”洞与圈”的记录方式，每运转一圈，账面上记录的洞数翻倍。直觉说：账面翻倍必须由轨道走法的指数分岔来付费。本文造出的机器却账面照翻、现场规矩——所有轨道最终都被驯服到两个毫无花样的不变集上。
第二级台阶
精确化三个概念。拓扑熵衡量轨道走法随时间指数分岔的速度，可用分离集严格定义；同调群把”洞与圈”编码成有限维线性空间，变换在其上的诱导作用是一个线性映射，其最大特征值的绝对值叫谱半径。熵猜想断言：拓扑熵不小于谱半径的对数——同调增长须由复杂度买单。一阶连续可微记作 C¹，是介于连续与无穷光滑之间的正则性等级。
第三级台阶
定理陈述：存在一个维数至少为五的紧光滑无边流形——圆与若干球面的乘积——及其上的非可逆 C¹ 自映射，使拓扑熵恰为零，而诱导作用在第二个同调群上有特征值二。这一”有限正则性、非可逆、中间维同调”的组合恰好落在所有已知正面定理的空隙里：一维同调与顶维同调有普适不等式，无穷光滑情形已被证明。轨道全部点态逼近两个零熵不变集之并，而同调经由投影与平方映射缠绕——账面增长来自缠绕，不来自轨道复杂度。
论文构造出紧光滑流形上一个非可逆 @@M@@C^1@@ 自映射：拓扑熵（topological entropy）恰为零，但其在第二个实同调群上的诱导作用有特征值 @@M@@2@@，即 @@M@@h_{\mathrm{top}}(f)=0<\log 2\le\log\rho(f_*)@@，推翻了 Shub 熵猜想的一般 @@M@@C^1@@ 自映射形式——同调增长未必迫使轨道复杂度为正。
Shub 在 1974 年前后提出的熵猜想（entropy conjecture）问：紧流形上自映射的拓扑熵是否总不小于同调作用谱半径（spectral radius）的对数，即 @@M@@h_{\mathrm{top}}(f)\ge\log\rho(f_*)@@？直观地说，同调里的增长应当由轨道的指数复杂度来”付费”。此前已有一串正面结果：Manning 不等式对任意连续映射控制 @@M@@H_1@@；Misiurewicz–Przytycki 的 @@M@@C^1@@ 下界处理拓扑度；Yomdin 证明 @@M@@C^\infty@@ 情形；Saghin–Xia 与 Liao–Viana–Yang 又在部分双曲等限制类中证实。Pugh 曾讨论过 Lipschitz 反例，但”有限正则性、非可逆、中间维同调”的组合悬而未决；Saghin 与 Xia 2010 年记录的表述正是本文推翻的版本。
定理：存在正整数 @@M@@q@@ 与紧光滑无边流形 @@M@@M=(\mathbb R/100\mathbb Z)\times(S^2)^{q+1}@@ 上的 @@M@@C^1@@ 自映射 @@M@@f@@，使 @@M@@h_{\mathrm{top}}(f)=0@@，而 @@M@@f_*:H_2(M;\mathbb R)\to H_2(M;\mathbb R)@@ 有特征值 @@M@@2@@。流形上有三类坐标：圆上的时钟 @@M@@t@@、主坐标 @@M@@z@@（黎曼球面 Riemann sphere @@M@@\Sigma=\mathbb C\cup\{\infty\}@@，大体按 @@M@@z\mapsto z^2@@ 演化）与 @@M@@q@@ 个寄存器（register）@@M@@v_1,\dots,v_q@@。特征值落在中间维的 @@M@@H_2@@，@@M@@\dim M=2q+3\ge5@@，且 @@M@@f@@ 非可逆、仅 @@M@@C^1@@，故与上述正面结果均不冲突——反例恰落在已知定理的空隙里。
整个构造像一台以时钟驱动的机器。时钟每步至多前进 @@M@@1@@，只在读数 @@M@@50@@ 附近可任意变慢；每个周期分三段：复位段将寄存器清零，准备段 @@M@@t\in(8,12)@@ 注入小信号，读出段 @@M@@t\in(74,80)@@ 把放大后的信号加进主坐标。
关键的准备公式是一个无穷级数：延迟 @@M@@m@@ 步才读出的信号带角因子 @@M@@(z/|z|)^{2^{m+1}}@@（若主坐标持续平方，这恰是 @@M@@m@@ 步后 @@M@@z^2@@ 的相位）与系数 @@M@@L^{1-m}@@，其中 @@M@@L>\max\{B,2\}@@，@@M@@B@@ 是预测映射 @@M@@G(t,z)=(t+h(t,z),z^2)@@ 的导数一致界。小系数一方面被中途 @@M@@m-1@@ 次增益精确抵消，使信号读出时恢复原大小；另一方面抵消了高缠绕角的导数代价，使级数连同其导数一致收敛——这是 @@M@@f@@ 仅为 @@M@@C^1@@ 却能整体良定义的支点。级数不可截断：时钟可任意慢、延迟 @@M@@m@@ 可任意大，有限项无法保证长延迟后仍送出强制贡献。
轨道分析分三层。先证预测时钟与真实时钟一致，且每个寄存器每周期至多被读一次；再用归纳法与候选值估计 @@M@@|w_u|\le1/2@@ 证明被读的寄存器读出前始终停在饱和函数 @@M@@S@@ 的线性区，读出值恰为各准备信号之和，此步不预设相位对齐；最后做相位对齐与逃逸：每个读出项都与当前的 @@M@@z_j^2@@ 同相位，强制项再给半径加 @@M@@2@@，得 @@M@@|z_{j_*+1}|\ge|z_{j_*}|^2+2>2@@，此后 @@M@@|z_{N+r}|\ge|z_N|^{2^r}@@，主坐标逃逸到无穷。于是每条轨道点态逼近两个不变集之并：时钟有界者收敛到 @@M@@Z_0@@（@@M@@t=50@@、@@M@@z=0@@），无界者进入 @@M@@Z_\infty@@（@@M@@z=\infty@@、寄存器全零）。
最后收尾。熵方面，局部化引理用紧性估计例外轨道块的比例，无须一致进入时间即可把零熵搬到全空间；@@M@@Z_0@@ 上寄存器是径向非降的极坐标映射，半径日程数目只随时间线性增长，熵为零；@@M@@Z_\infty@@ 上 @@M@@100@@ 步即回归恒等。同调方面，@@M@@\pi\circ f@@ 与 @@M@@z\mapsto z^2@@ 的复合经有界同伦相连，得缠绕关系 @@M@@\pi_*f_*=g_*\pi_*@@；@@M@@g@@ 的度数为 @@M@@2@@，@@M@@\pi_*@@ 有截面故非零，于是 @@M@@\pi_*(f_*-2I)=0@@ 迫使 @@M@@2@@ 成为 @@M@@f_*@@ 的特征值。这是同调缠绕而非动力学半共轭。
本文主结果暂无 Lean 形式化证明，请以社区核验为准。它是结果族 151 中唯一的手稿，内部依次衔接四个环节——构造与 @@M@@C^1@@ 正则性、轨道吸引、零熵估计、同调特征值——前文命题被后文直接引用；两条熵引理以抽象形式陈述，便于独立复查。按 OpenAI 官方声明，未经形式化的结果可能有问题，引用前宜以同行评审为准。
问 1：构造里哪一步最关键也最脆弱？
（答：那个不可截断的无穷级数。延迟 m 步读出的信号带 2^{m+1} 次缠绕的角因子与 L^{-m} 的系数：小系数一方面抵消高缠绕的一阶导数代价、使级数连同导数一致收敛（这是映射只有 C¹ 却整体良定义的支点），另一方面被中途增益精确抵消、读出时恢复原大小。时钟可任意慢、延迟可任意大，任何有限截断都无法保证长延迟后仍送出强制贡献。）
问 2：为什么这个反例必须是 C¹ 而不能升到 C∞？
（答：Yomdin 已证 C∞ 情形熵猜想成立，反例必然依赖有限正则性。本构造只保证一阶导数一致收敛：导数一致有界但随尺度不再受控，高阶导数早已失控——恰是 C∞ 体积增长论证失效之处。论文未讨论 C^r 中间正则性的分界，r≥2 时猜想是否成立仍开放。）
问 3：与 Pugh 的 Lipschitz 反例及各正面定理相比，新意何在？
（答：Manning 的不等式管一维同调、Misiurewicz–Przytycki 管顶维（度数）、Yomdin 管 C∞、Saghin–Xia 与 Liao–Viana–Yang 管部分双曲等限制类；Pugh 的反例只是 Lipschitz。有限正则性加非可逆加中间维同调的组合是首次被否定，Saghin–Xia 2010 记录的一般 C¹ 表述由此被推翻。）
问 4：这类 AI 生成证明最可能在哪里出错？
（答：机器构造的常数互动——L 须同时超过角增长率与预测映射的导数界 B，增益、饱和函数线性区、时钟变慢窗口互相咬合；轨道分析里”被读寄存器停留在线性区”靠候选值不超过二分之一的归纳维持，任何一处常数松动即连锁失效。熵局部化引理不用一致进入时间，是另一处需细查的抽象环节。全文无形式化。）
问 5：特征值 2 到底从哪里来？
（答：投影到主球面把 f 的同调作用与平方映射缠绕：π∘f 与 z↦z² 经有界同伦相连，得 π_f_=g_π_；g 的度数为 2 且 π_* 有截面非零，迫使 2 成为 f_* 的特征值。论文明确强调这是同调缠绕而非动力学半共轭——正因如此零熵与账面翻倍才能共存。）
问 6：谁会引用它、影响什么？
（答：它给熵猜想划出精确边界：任何把正面结果推广到一般 C¹ 自映射的企图必死；反过来，部分双曲、远离切触等假设的必要性获得佐证。熵与同调关系的研究者、正则性阈值问题的后续工作都会以此为基准反例。）
总评
一个精准嵌入已知定理空隙的干净反例，直接否定五十年老猜想的一般形式；最大风险在多部件咬合的机器构造与未形式化的长技术论证。