结果族 149：Classwise permanence for weakly reversible mass-action systems · 学科：Dynamical systems and ergodic theory · 验证状态：暂无形式化证明，请以社区核验为准
上一缸鱼的”单缸版”：不要求全缸共用一套界限，只问从某个固定起点出发的这缸水会不会出事。答案：永不。只要转化路线连得成环，溶液从投下那一刻起，每种浓度就被一对正的上下界稳稳夹住——不干涸、不爆炸，而且解对所有时刻都存在。它还顺手补上了此前一篇著名证明里被发现的一处漏洞。
关键词卡片
@@M@@t\ge 0@@ 良定义，不会中途失效看个具体例子
取文章里出现过的具体网络 @@M@@2A\rightleftarrows B@@（速率全取 1），相容类由守恒量 @@M@@a+2b@@ 圈定。定理的数字版：给定初值 @@M@@(a_0,b_0)=(1,1)@@，存在 @@M@@\varepsilon\in(0,1)@@（依赖网络、速率与初值），使
@@M@@D\varepsilon\ \le\ a(t),\,b(t)\ \le\ \varepsilon^{-1}\qquad(\text{对一切 } t\ge 0).@@
注意这是”从零时刻起的全程界”，不只是长期渐近界；且 @@M@@a+2b\equiv 3@@ 全程守恒。几何上还有强化版本：每个正初值都住在某个紧凸多胞形陷阱里，从那里出发的解永远出不去。
为什么值得关心
有界性与持久性是 Anderson 2011 年拆解的两个基础猜想，此前只在低维、单连通类等特殊情形成立；本文在常速率下一次性全部证明，为姊妹篇的”全类一致”版本铺平了地基。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”单缸版”的比喻落到实处：对象仍是一张物质转化的有向路线图加一套浓度状态，但这次只跟踪从某个固定起点出发的这一缸水。承诺有三层：解对所有时刻都存在、任何物质的浓度不会降到零、也不会冲向无穷。更几何地说，起点被安放在一个紧的多面围栏内，围栏边界上的流向一律不朝外——进去就出不来。
第二级台阶
精确化三个概念。质量作用规则给出一个多项式向量场：每个反应贡献”速率乘以反应物浓度的幂，再乘以络合物之差”，求和而成；弱可逆指每条反应都有有向返回路径。有界性猜想断言正轨迹不爆炸、解整体存在；持久性断言每个浓度的长时间下极限为正。证明的主角是一个凹的逐段仿射函数——有限个线性函数取最小值——它的斜率族精心设计，使”低层”反应物的浓度幂在充分小尺度下压制”高层”。
第三级台阶
定理在”任意物种维数、任意连通类个数、固定正速率”的语境下陈述：任给正初值，解整体存在，且从零时刻起就被同一对正的上下界全程夹住，界允许依赖初值。证明的命门在参数顺序：先定容差、再定斜率族、然后是符号间隙、最后才定尺度——这挡住了近平局时任选法向会翻转比较的麻烦；弱可逆则挡住通量的单向流失。结论刻意不断言全类初值共用一套界，这一升级留给姊妹篇。
本文证明了弱可逆质量作用系统的有界性猜想与持久性猜想：对任意正初值与任意正速率常数，解整体存在，且每个浓度始终被同一对正的上下界夹住；界可依赖初值，且完全不对化学计量相容类施加有界性假设。
化学反应网络中，若每条反应都存在有向返回路径，则称网络弱可逆（weakly reversible）。质量作用动力学（mass-action kinetics）给出多项式向量场，其正轨迹被困在化学计量相容类（stoichiometric compatibility class）内，而该类可以无界——无界类上的轨迹会不会爆炸，或让某物种浓度趋零，是 Horn–Jackson 与 Feinberg 奠基理论以来悬而未决的核心问题。Anderson（2011）把它拆成两个猜想：有界性猜想（boundedness conjecture，轨迹有界）与持久性猜想（persistence conjecture，有界轨迹远离边界坐标平面）。August 与 Barahona（2010）曾宣布一般结论，但本文指出其证明第 III 部分由”指数和最大、浓度乘积大”推出单项式占优的一步并不成立（文中给出反例 @@M@@2A\rightleftarrows B@@、速率全一、@@M@@(a,b)=(T,T^3)@@：@@M@@ab\to\infty@@ 而 @@M@@a^2<b@@，且 @@M@@\dot a+\dot b=T^3-T^2>0@@）；不过由于该例中 @@M@@a+2b@@ 守恒，这只是证明的缺口，并不推翻其定理陈述。既有严格结果各带限制：单连通类（Anderson 2011；Gopalkrishnan–Miller–Shiu 2014；Boros–Hofbauer 2020）、两物种（Craciun–Nazarov–Pantea 2013）、二维化学计量空间（Pantea 2012），或需预设轨迹有界（Craciun 2026 的环面微分包含方法）。本文在常速率下同时证明两个猜想，不限物种维数与连通类（linkage class）个数。
主定理（01-introduction.tex 定理 1.1）：对任意正初值 @@M@@x^0\in\mathbb{R}_{>0}^d@@，解对一切 @@M@@t\geq0@@ 整体存在，且存在 @@M@@\varepsilon\in(0,1)@@（依赖网络、速率与 @@M@@x^0@@）使 @@M@@\varepsilon\leq x_i(t)\leq\varepsilon^{-1}@@ 对所有 @@M@@t\geq0@@ 与所有坐标成立——注意是从零时刻起的全程界，而非仅渐近界。由此每个 @@M@@\omega@@ 极限集非空且避开卦限边界。几何强化（03-dynamics.tex 命题 prop:polytope）：每个正点 @@M@@x^0@@ 都属于某个含于正卦限的紧凸多胞形（polytope）@@M@@K@@，从 @@M@@K@@ 出发的解整体存在且永驻 @@M@@K@@；@@M@@K@@ 在环境物种空间中构造，可以横跨多个相容类。两个推论：把 @@M@@K@@ 与相容类相交后用 Brouwer 不动点定理，恢复 Boros（2019）”每个正相容类都含正平衡点”的存在定理；在复杂平衡（complex-balanced）假设下，配合 Horn–Jackson 熵型 Lyapunov 函数与 LaSalle 不变性原理，得到每条正轨迹收敛到其类中唯一正平衡点的全局吸引子结论（对一切亏格零（deficiency zero）网络自动适用）。文中明确声明：不断言同一个 @@M@@\varepsilon@@ 对全类初值通用——该升级由姊妹篇完成。
整个证明围绕一个核心障碍：需要一族有限线性不等式同时控制浓度过小与过大，但单条反应未必指向区域内部，估计必须落在”跨越反应图各层切割的组合通量”上；而近平局时任意的法向逼近都可能翻转比较，因此逼近必须尊重所有平局。为此选择顺序严格固定：@@M@@D\to E\to\Lambda\to(h_0,H)\to h@@，即先定容差、再定斜率族、最后才定尺度，使符号间隙 @@M@@H@@ 是不随 @@M@@h@@ 消失的常数。
先构造仿射族（第 2 节）。把盒子 @@M@@B_h=[h,h^{-1}]^d@@ 参数化为 @@M@@X_h(p)=(h^{p_1},\dots,h^{p_d})@@，构造有限仿射最小 @@M@@F_h(x)=\min_\lambda(r_\lambda\cdot x+c_\lambda(h))@@：对任意给定的正容差 @@M@@E@@（允许不连续），活跃标签（active label）满足 @@M@@\norm{p-r_\lambda}_\infty<E(r_\lambda)@@。容差取比较方向集 @@M@@D@@（坐标向量与所有络合物之差——因为通量比较须在全部络合物对之间进行，甚至跨连通类）上的符号保护值，使非零斜率比较与指数比较同号且带一致间隙；指数空间中的近平局被活跃斜率做成精确平局。于是低层源的单项式（monomial）压制高层：@@M@@r_\lambda\cdot y<r_\lambda\cdot z\Rightarrow x^z\leq h^H x^y@@。
再做抽象的切割通量引理（第 3 节 lem:cut-flux）：有限有向图上每条边都有返回路径，顶点水平为 @@M@@a@@、权重 @@M@@w>0@@ 满足”低层权重压制高层”，且 @@M@@\delta\sum\kappa<\min\kappa@@，则总通量 @@M@@\sum_e\kappa_e w_{s(e)}(a(t(e))-a(s(e)))\geq0@@。证明将边按水平切割分解：弱可逆性保证有下穿就有上穿，且权重压制使单条向上边的通量压过全部向下通量之和。以 @@M@@a(y)=r_\lambda\cdot y@@、@@M@@w_y=x^y@@、@@M@@\delta=h^H@@ 代入，得 @@M@@r_\lambda\cdot f(x)\geq0@@ 对一切活跃标签成立。
最后组装陷阱（第 3 节末）。有限仿射最小沿可微曲线的右导数等于活跃支导数的最小值，故 @@M@@F_h@@ 沿盒内解段不降。取 @@M@@h@@ 使 @@M@@x^0@@ 的对数坐标范数小于 @@M@@H@@，则 @@M@@x^0@@ 处活跃斜率全为零，得到常数支与全局天花板 @@M@@M=F_h(x^0)@@；最大集 @@M@@K=\{F_h=M\}@@ 与盒边界不相交（否则活跃性迫使 @@M@@\norm{p}_\infty<1/2@@），再用凸性把整块 @@M@@K@@ 关进盒内部，成为紧凸多胞形。从 @@M@@K@@ 出发的解因”@@M@@F_h@@ 不降 + 天花板 @@M@@M@@“被钉在 @@M@@K@@ 上；首次逃逸论证排除触碰盒边界，紧集上向量场有界给出延拓，解整体存在。全程不需要盒子之外的任何活跃标签估计。
本文暂无形式化证明，按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。姊妹篇（2026 年 10 月 5 日手稿）在本文基础上把逐轨迹的界升级为逐类一致的持久性：它完整复现本文的仿射逼近引理与推论（即其引理 2.1、推论 2.2 的出处）并改造陷阱构造，两文共享同一套”水平切割 + 返回路径通量占优”机制，互为支撑。另注：本文对 August–Barahona（2010）的分析只指出其证明中一步推理的缺口，并给出了具体反例，但并未否定其定理陈述本身。
问 1：证明里哪一步最关键也最脆弱？
（答：参数顺序”先容差、再斜率族、再符号间隙 H、最后才定尺度 h”的仿射逼近构造。近平局时任选的法向逼近都可能翻转单项式比较，证明必须用不连续容差在比较超平面附近收缩、在超平面上不设限，才能保住与 h 无关的间隙 H。若各步常数顺序错换，整个符号保护便失效。）
问 2：定理给的是”从零时刻起的全程界”，为何比渐近界强、又怎么做到？
（答：渐近界只管 t 大后；全程界要求起点起就被夹住。做法是把初值放进最大集 K（仿射函数在此取到全局天花板），再证该函数沿盒内解段单调不降——不降加天花板，解被永久钉在 K 内。平局处右导数取活跃支导数的最小值，故须对所有活跃标签同时控制。）
问 3：对 August–Barahona（2010）的批评公允吗？
（答：论文指出其第 III 部分由”指数和最大且浓度乘积大”推单项式占优的一步不成立，并给具体反例 2A⇌B、速率全一、(a,b)=(T,T³)：乘积趋于无穷而 a²<b，且导数和为正；但由于 a+2b 守恒，该例不违反其定理陈述。批评限定在证明缺口，措辞克制，属负责任的文献核对。）
问 4：与 Anderson、GMS、CNP、Pantea、Craciun 2026 相比新意何在？
（答：前人分别限于单连通类、强内渗、两物种或二维化学计量空间，Craciun 2026 的一般表述须预设轨迹有界；本文对常速率、任意维数、任意连通类数无预设地同时给出有界性与持久性，并显式指出其构造不以外部研究结果为输入。）
问 5：AI 生成证明最可能在哪里出错？
（答：仿射逼近引理按维数归纳并做有限粘合，均匀形式的常数互动细密；切割通量引理要求一条向上通量压过全部向下通量之和，对 h 的足够小依赖若与符号间隙 H 的选择次序纠缠便悄悄断裂。该引理已被姊妹篇原样复用，错误会成对传播，且均无形式化。）
问 6：能推出什么、谁会用？
（答：把陷阱与相容类相交即得 Boros 2019 正平衡存在性的短证明；复杂平衡假设下配合 Horn–Jackson Lyapunov 函数与 LaSalle 原理得全局收敛，亏格零网络自动适用；它还是姊妹篇逐类一致持久性的直接地基。）
总评
在最少假设下同时关掉有界性与持久性两个猜想，并给出可复用的陷阱构造，分量扎实；最大风险是核心引理未形式化且已被姊妹篇继承放大。