结果族 149：Classwise permanence for weakly reversible mass-action systems · 学科：Dynamical systems and ergodic theory · 验证状态：暂无形式化证明，请以社区核验为准
一口密封鱼缸里养着几种会互相转化的物质，转化路线只要”连得成环、能兜回来”，这篇论文就能担保：不管你从哪个浓度配比开始投料，缸里最终会自己长出一圈无形的”围栏”——每种浓度既不会归零（物种灭绝），也不会爆表（爆炸），而且同一个缸里所有起点共用同一套上下限。奇妙之处在于：允许的活动范围本身可以无界，围栏却照样立得起来。
关键词卡片
看个具体例子
外圈大三角是守恒量圈出的相容类（如 @@M@@a+b+c=@@ 常数），虚线小三角是定理保证的公共吸收集 @@M@@K_P@@：它只依赖网络、速率和这个类，不依赖投料初值；进入的快慢则允许因起点而异。数字版：存在 @@M@@\varepsilon_P\in(0,1)@@，使类内每条解在进入时刻之后都满足 @@M@@\varepsilon_P\le x_i(t)\le \varepsilon_P^{-1}@@。
为什么值得关心
这是 Feinberg 1987 年提出、困扰化学反应网络理论近四十年的持久性猜想的完整解答，且给的是”全类一致”的最强版本。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”密封鱼缸”可以再推进一步：对象是一张物质转化的有向路线图，配上”转化快慢正比于反应物浓度的幂”这条化学规则；系统在任一时刻的状态就是各物质的浓度列表。守恒关系把轨道锁在一张固定的活动面上，而”围栏”指的是这样一个有界区域：面上所有起点发出的轨道迟早都进得去、进去就不再出来。
第二级台阶
用本科术语说：反应网络的”络合物”是非负整向量，”反应”是它们之间的有向边；每条边都有有向回路可返，称为弱可逆。质量作用规则给出一个多项式向量场，其右端是各反应的贡献按速率加权和。全体反应差张成的线性子空间叫化学计量子空间，它与正象限的交构成一个相容类——轨道被锁定其内。若该类中存在一个紧凸集，前向不变且吸收类内一切轨道，就称系统在该类上永久。
第三级台阶
定理陈述：固定正速率后，每个正相容类都拥有这样一个公共吸收集，它只依赖网络、速率与类本身，不依赖初值；进入时间允许因起点而异，且类本身可以无界。弱可逆性挡住了”有去无回”的净流失——否则物种可被单向耗尽；正速率则保证多项式场的良性行为。结论把 Feinberg 一九八七年提出的持久性问题以”逐类一致”的最强形式关上：同缸所有起点最终共享同一组正下界与有限上界。
本文证明了弱可逆质量作用系统的持久性（permanence）猜想：速率固定为正时，每个正化学计量相容类——哪怕本身无界——都拥有一个公共的紧凸前向不变吸收集，类内所有正轨迹最终共享同一组正的下界与有限的上界。
化学反应网络由有限个络合物（complex，即非负整数格点）与其间的有向反应组成；若每条反应都存在有向返回路径，则称网络弱可逆（weakly reversible）。在质量作用动力学（mass-action kinetics）下，反应速率正比于反应物浓度的幂，给出一个多项式向量场，正轨迹被锁定在化学计量相容类（stoichiometric compatibility class）内，而该类可以无界。自 Horn–Jackson 与 Feinberg（1972）奠基以来，核心问题是：仅凭弱可逆这一图论条件，能否排除物种浓度趋零（灭绝）或爆炸？Feinberg（1987）明确提出持久性（persistence）问题，Anderson（2011）将其拆解为有界性与持久性两个猜想。已有结果均带限制：单连通类（Anderson 2011；Gopalkrishnan–Miller–Shiu 2014；Boros–Hofbauer 2020）、两物种（Craciun–Nazarov–Pantea 2013）、二维化学计量空间（Pantea 2012），或需预设轨迹有界（Craciun 2026 的环面微分包含方法）。而”类持久性”比逐条轨迹的持久性更强：同一类中所有轨迹须共享同一组界与一个公共吸收集——这正是本文补齐的最后一块拼图。
主定理（introduction.tex 定理 1.1）：设有限络合物集 @@M@@C\subset\mathbb{Z}_{\geq0}^d@@，反应集 @@M@@R@@ 弱可逆，速率常数 @@M@@k_{y\to y'}@@ 固定为正。则对每个正相容类 @@M@@P=(c+S)\cap\mathbb{R}_{>0}^d@@（@@M@@S@@ 为化学计量子空间），存在非空紧凸集 @@M@@K_P\subset P@@，满足三条：每个初值 @@M@@x^0\in P@@ 的解唯一、整体存在且恒正；存在有限时间 @@M@@T(x^0)@@，使 @@M@@x(t)\in K_P@@ 对一切 @@M@@t\geq T(x^0)@@ 成立；@@M@@K_P@@ 前向不变（forward invariant）。特别地，存在 @@M@@\eps_P\in(0,1)@@ 使类内每条解在进入时间之后满足 @@M@@\eps_P\leq x_i(t)\leq\eps_P^{-1}@@（对所有坐标）。一致性是”逐类”的：@@M@@K_P@@ 与 @@M@@\eps_P@@ 只依赖网络、速率与类 @@M@@P@@，不依赖初值；进入时间允许依赖初值。即使 @@M@@P@@ 无界，结论依然成立。
证明分四步：仿射逼近、平台构造、切割通量估计、尺度迭代。
先做仿射逼近（第 2 节）。把盒子 @@M@@B_h=[h,h^{-1}]^d@@ 中的点写成对数坐标 @@M@@x=X_h(p)=(h^{p_1},\dots,h^{p_d})@@。核心工具是姊妹篇的仿射逼近引理（引理 2.1，本文完整复现其证明）：存在有限仿射族 @@M@@F_h(x)=\min_\lambda(r_\lambda\cdot x+b_\lambda(h))@@，斜率与 @@M@@h@@ 无关，且在 @@M@@x@@ 处取到最小值的活跃标签（active label）满足 @@M@@\norm{p-r_\lambda}_\infty<E(r_\lambda)@@——容差 @@M@@E@@ 可以是任意正函数，允许不连续。这一自由度至关重要：可令 @@M@@E@@ 在比较超平面 @@M@@r\cdot v=0@@ 附近收缩，而超平面上不设限。取比较方向集 @@M@@D@@ 为坐标向量与全部络合物之差，选 @@M@@E@@ 使非零斜率比较与指数比较同号，再由斜率族有限得到一致符号间隙 @@M@@H>0@@，即低层络合物的单项式（monomial）压制高层：@@M@@x^z\leq h^H x^y@@。
再构造平台（第 3 节）。固定类代表元 @@M@@c@@，取尺度 @@M@@h@@ 使 @@M@@c@@ 的对数坐标范数小于 @@M@@H@@，则 @@M@@c@@ 处活跃标签的斜率必为零，@@M@@F_h(c)=M_h@@ 成为全局最大值，其平台 @@M@@K_h=\{F_h=M_h\}@@ 是含 @@M@@c@@ 的紧凸集，且嵌入更小的盒子：@@M@@K_h\subset\operatorname{int}B_{\sqrt h}@@。关键的严格性来自类结构：斜率落在 @@M@@S^\perp@@ 的仿射函数在 @@M@@c+S@@ 上恒为常数、值不小于 @@M@@M_h@@，故不可能在 @@M@@P\setminus K_h@@ 处活跃——平台之外的一切活跃斜率都横截于 @@M@@S@@。
接着做切割通量估计。对活跃斜率 @@M@@r@@，将络合物按水平 @@M@@r\cdot y@@ 排序并逐层切割。若有反应向下穿割，弱可逆性在其返回路径上给出一条向上穿越；由单项式压制，单条向上通量即压过全部向下通量之和，故每个切割的净向上通量非负、有穿越时严格为正。按切割分解求和得 @@M@@r\cdot f(x)\geq0@@，且当 @@M@@r\notin S^\perp@@ 时严格为正；固定尺度上的紧性将严格性一致化为固定速度 @@M@@\delta_h>0@@。于是 @@M@@F_h@@ 沿盒内解段单调不降，并在 @@M@@B_h\cap(P\setminus K_h)@@ 上以固定速率上升——留在盒内的轨迹必在有限时间进入 @@M@@K_h@@ 并被锁住。
最后迭代尺度（第 4 节）。先取 @@M@@h_0@@ 使 @@M@@x^0\in K_{h_0}@@，得到整体存在性；再利用 @@M@@K_{h_j}\subset\operatorname{int}B_{\sqrt{h_j}}\subset B_{h_{j+1}}@@，令 @@M@@h_{j+1}=\min\{\sqrt{h_j},h_P\}@@ 逐级推进：上一尺度的紧集保证轨迹留在下一尺度的盒内，有限进入引理再把轨迹送进下一尺度的平台。反复开平方使 @@M@@h@@ 趋于 1，故有限步后到达由类预先选定的 @@M@@h_P@@。取 @@M@@K_P=K_{h_P}\cap(c+S)@@：它紧凸、前向不变、吸收类内一切正轨迹，且不依赖初值。
本文与姊妹篇（2026 年 9 月 25 日手稿，文中引作 [OpenAI2026]）构成递进关系：姊妹篇证明了逐轨迹的有界性与持久性（界依赖初值），本文完整复现其仿射引理并改造其陷阱构造，新增”平台外严格上升”与”跨尺度衔接”两个论证，把个体界升级为逐类一致的持久性；两文共享同一套”水平切割 + 返回路径通量占优”机制，互为印证。按 OpenAI 官方声明，未经形式化的结果可能有问题；本文主结果暂无 Lean 形式化证明，请以社区核验为准。
问 1：证明里哪一步最关键也最脆弱？
（答：切割通量估计。把络合物按活跃斜率的水平排序逐层切割后，向下穿越的反应必有有向返回路径提供向上穿越，再由单项式压制让一条向上通量压过全部向下通量之和，得净通量非负、穿越时严格为正；紧性再把严格性一致化为固定速率。整个论证悬挂在容差函数的设计上——它须在比较超平面附近收缩以保住符号一致，这一非常规自由度是全文最易藏错处。）
问 2：弱可逆性能去掉吗？
（答：不能。返回路径是”向下穿越必有向上穿越”的全部依据；没有回路即可有净单向流失、物种耗尽。前人的强内渗网络、两物种、单连通类等条件都是想替代或局部化这一图论性质，本文显示弱可逆本身已足够。）
问 3：与 Anderson、Craciun–Nazarov–Pantea、Gopalkrishnan–Miller–Shiu、Craciun 2026 相比，真正新意是什么？
（答：前人分别限定单连通类、两物种或强内渗条件，Craciun 2026 的环面微分包含方法须预设轨迹有界；本文对任意有限弱可逆网络、无界类、固定正速率给出逐类一致的吸收集，把姊妹篇”界依赖初值”的结论升级为类公共界。）
问 4：这类 AI 生成证明最可能在哪里出错？
（答：仿射逼近引理完整复现自姊妹篇，两文共享”水平切割+返回通量占优”机制——一处错误两文俱倒。跨尺度衔接要求 K_h 嵌入下一尺度盒内、反复开平方有限步到达类选定的尺度，其中 h_P 与初值无关的选取若与紧性论证的常数顺序冲突，迭代便会断裂。全文尚无形式化核验。）
问 5：一致性界 ε_P 随类变化的行为如何？
（答：论文只证每个类有自己的 ε_P 与 K_P，界对类的依赖（例如类代表元走向无穷时界是否退化）未展开讨论；这是从逐类结果迈向全局定量估计的下一道门槛。）
问 6：谁会用到它？
（答：化学反应网络理论社区：它补上 Feinberg 持久性猜想的最后一块，也为复杂平衡系统的全局动力学、时变或随机速率推广提供地基；结论还排除边界极限状态，直接服务 Anderson 猜想一类收敛问题。）
总评
以纯图论条件拿下逐类一致的持久性猜想，是反应网络理论的实质进展；最大风险是证明与姊妹篇共享同一未经形式化的核心引理，错误会成对传播。