精读笔记
Problem Setting
论文标题：Automated Synthesis of Lyapunov Functions for Multi-Agent Systems under Jointly Connected Topology（arXiv preprint / 2026）。
这篇论文实际处理的是 leader-following consensus tracking：一组一阶或二阶积分型 agents，在 switching undirected topology 下，每个时刻的图可以不连通，但每个时间窗口内的 union graph 连通，并且只有部分 follower 可接入 leader 信息。问题的技术核心不是 consensus 定义本身，而是如何在 jointly connected 条件下，为非线性 polynomial coupling protocol 自动构造一个可验证的 Lyapunov 证书。
真正困难点在于两个层面叠加：第一，joint connectivity 只提供窗口级的连通性，单个拓扑下的 Laplacian + pinning 矩阵可能只是半正定，不能直接给出 pointwise strict decay；第二，非线性耦合 h 使传统二次 Lyapunov 的增量单调性条件可能不成立，或者即使成立也难以人工构造。以前方法通常通过线性协议或二次型能量函数规避这个问题，但代价是强结构假设。
这篇论文的关键矛盾是：jointly connected switching topology 需要一种能跨时间窗口累积耗散的证明结构，而非线性协议又要求比二次型更丰富的 storage function。作者的方案是把 storage function 放到多项式空间，并用 SOS 自动搜索。
Motivation
已有 jointly connected MAS consensus 文献的主路线是：给定线性或近似线性协议，构造二次 Lyapunov 函数，再利用 Laplacian 的联合连通性证明误差趋零。这条路线的问题不是证明技巧不够，而是 inductive bias 太窄：它默认系统的耗散结构能被一个固定矩阵 P 捕获。
作者的核心观察是，很多非线性耦合并不自然满足 quadratic incremental passivity condition，但可能满足某个高阶 polynomial Lyapunov 函数诱导的增量耗散不等式。换句话说，失败的不是 Lyapunov 方法，而是 Lyapunov 函数族太小。
因此关键缺口是：在 switching jointly connected topology 下，如何系统地产生非二次 Lyapunov 证书，而不是靠人工猜测。SOS 正好提供了一个可计算但保守的桥：用 SOS 充分条件替代一般多项式非负性，把“是否存在证书”变成可求解的优化问题。
Core Idea
核心思想可以概括为：把非线性 consensus 的证明拆成两个相对独立的层次。网络层只负责提供 Laplacian + pinning 的联合正定性；节点/耦合层只需要通过一个 polynomial storage V 和一个 polynomial feature map q 提供增量耗散：F_{∇V}(·)F_h(·) ≥ (q_i-q_j)^TΨ(q_i-q_j)。一旦这个不等式成立，网络拓扑的作用就被统一压缩成 Q^T(G⊗Ψ)Q 的耗散项。
这和 prior 的本质区别在于，传统方法直接在原状态差 z_i-z_j 上做二次耗散；本文则允许先通过 q 把误差嵌入到一个 polynomial feature space，再在该空间里用 Ψ 度量耗散。这相当于给 consensus analysis 引入了一个可学习/可合成的 nonlinear metric。SOS 的角色不是创造稳定性，而是在这个 nonlinear metric family 中搜索证书。
直觉上它有效，是因为 jointly connected topology 需要的只是跨窗口的正定耗散累计，而不要求每个瞬时图严格连通；只要每个活跃边和 pinning 边都在 q-space 中耗散，union graph 的正定性就能把所有 q(error) 压到零，再由 q(α)=0 iff α=0 推回状态误差收敛。
Method
1. 一阶 MAS：论文采用协议 u_i=Σ_j A^σ_{ij}(h(z_j)-h(z_i))+d_i^σ(h(z_γ)-h(z_i))。这里 h 是多项式耦合函数。它解决的问题是将传统线性 diffusive coupling 扩展到 polynomial nonlinear coupling，同时仍保持边差分结构，使 Laplacian 恒等式可用。
2. 增量 Lyapunov 条件：Assumption 1 要求存在正定、径向无界 polynomial V 和 feature map q，使 ∇V 的差与 h 的差之间支配 q-space 中的二次型。这一步是整篇的关键建模约束：它把非线性系统的复杂性压缩为可与图 Laplacian 组合的 pairwise dissipativity。
3. jointly connected proof：对 Ṽ=Σ_i V(z_i-z_γ) 求导后，利用无向 Laplacian 的配对恒等式把导数写成边项和 pinning 项，再由增量不等式得到 -Q^T(G^σ⊗Ψ)Q。由于每个瞬时 G^σ 可能不正定，只能得到非增；随后在每个联合连通窗口上累积，使用 ΣG^σ 正定与 Barbalat 型引理推出 Q→0。
4. SOS synthesis：Assumption 2 将 V 的正性、Ψ 的正定性以及增量耗散不等式替换成 SOS 约束。这里解决的是证书构造问题，而不是新的稳定性定理。需要注意的是，若 h、q、Ψ、V 同时未知，会出现双线性项；实际可解性依赖固定 monomial basis、固定部分结构或用 BMI solver。
5. 二阶 MAS：二阶部分引入 h1 处理位置相对耦合、h2 处理速度绝对差分耦合。Lyapunov 函数由位置边能量、pinning 位置能量、速度能量组成。条件 ∇V(α)h1(β)=∇V(β)h1(α) 的作用是精确抵消位置-速度交叉项，使剩余耗散只由速度通道 h2 产生。这是二阶扩展成立的结构性原因。
Key Insight / Why It Works
这篇论文真正有效的地方不是 SOS 本身，而是把 consensus proof 写成“局部增量耗散 × 网络联合正定”的可分离形式。只要 h 相对于某个 nonlinear metric V 是强增量单调的，图层证明几乎自动成立。SOS 只是把这个 nonlinear metric 的搜索自动化。
最核心贡献可能是 q-space 耗散表述：q 不一定等于状态本身，可以包含高阶 monomials，因此耗散可以在 polynomial feature space 中变得二次。这比单纯使用高阶 V 更重要，因为它给了 Laplacian 项一个统一的二次型表达 Q^T(G⊗Ψ)Q，方便与 jointly connected 条件拼接。
二阶部分的有效性来自一个非常强的 cancellation design。通过要求 h1 与 ∇V 满足对称互易关系，位置能量和速度能量的交叉项被消掉；因此系统看起来像带 nonlinear damping h2 的机械系统。这个条件很干净，但也很强，实际可设计空间可能比表面上小。
哪些部分可能只是 engineering：SOS/YALMIP/MOSEK pipeline、选择 degree(V)=4、degree(h)=3、monomial basis q̂ 这些主要是工程搜索设置。论文声称 polynomial time 需要谨慎理解：固定阶数的 SDP 可以多项式时间求解，但整体 degree/basis selection 和 bilinear synthesis 不是多项式复杂度问题。
增益来源比较清楚：不是来自 scaling/data，而是来自更强的 function class 和更灵活的 nonlinear metric。这里没有数据覆盖、retrieval、implicit memorization 等问题；但存在 optimization coverage 问题，即 solver 找不到证书不等于系统不稳定。
Relation To Prior Work
这篇属于 SOS-based Lyapunov synthesis for networked systems 的技术谱系，直接延续作者此前 fixed topology 下 polynomial Lyapunov / polynomial coupling synthesis 的工作。相较于经典 Jadbabaie/Ren/Beard/Hong 等 jointly connected consensus，本文不是在连通性条件上推进，而是在 Lyapunov 证书类别和协议非线性上推进。
与传统二次 Lyapunov consensus 的本质差异是 metric 从固定 quadratic form 扩展到 polynomial storage，并进一步允许 q-space 的非线性特征耗散。传统条件类似 (α-β)^TP(h(α)-h(β))≥0；本文把 Pz 替换成 ∇V(z)，把状态差耗散替换成 q 差耗散。
与 Olfati-Saber / Su 等二阶 flocking 或 tracking 协议相比，本文的协议不依赖复杂人工势函数梯度，而是通过 SOS 合成 polynomial coupling。这一点是实质差异，但并不是完全新的控制思想；更像把 passivity-inspired energy shaping 与 SOS synthesis 结合到 jointly connected switching 场景。
看似新的“自动合成 coupling functions”其实本质上是 polynomial controller synthesis / BMI-SOS 的重组。实质新增信息在于：这些 SOS 证书被嵌入到了 joint connectivity 的窗口累积证明中，而不只是 fixed graph 下的同步验证。
Dataset / Evaluation
evaluation 是一个小规模数值仿真：四个 follower、二维二阶动力学、三个 switching graphs，单个图可不连通但 union 连通。作者展示 SOS 能合成四次 V 和三次 h1/h2，并且仿真误差收敛。
这个实验验证了方法 pipeline 的可行性：给定低维系统、低阶多项式模板和简单 switching 图，SOS 可以找到证书并生成协议。但它没有充分验证论文中更强的 claim，例如“当二次 Lyapunov 不存在时仍有效”的普遍性。文中只说 deg(V)=2 找不到二次函数，这更像 solver-level negative result，而不是严格证明不存在 quadratic Lyapunov function。
任务覆盖范围较窄：没有大规模 N 扩展实验，没有高维 n，没比较不同 degree/basis 的成功率，也没有 directed graph、噪声、扰动、输入饱和、通信延迟或真实机器人验证。因此 evaluation 只能支持概念验证，不能支持 scalability 或 deployment readiness。
Limitation
1. SOS 保守性不可忽略。SOS 是多项式非负性的充分条件，不是必要条件。找不到 SOS 证书不代表不存在 polynomial Lyapunov，更不代表系统不能 consensus。论文没有量化这种保守性。
2. 复杂度上限很明显。变量维度是单个 agent state 的多项式变量，但约束涉及 α、β、γ，维度变成 3n；二阶还涉及多个耦合函数。degree 稍高时 SDP 尺寸会迅速爆炸。所谓 polynomial-time 是固定模板下 SDP 的理论复杂度，不是完整 synthesis pipeline 的复杂度。
3. 双线性问题没有真正解决。V、h、q、Ψ 同时未知时，约束中存在 bilinear / BMI 结构。作者建议用 PENBMI 或预先给 h 初值，这说明可行性在实践中依赖初始化和工程经验。这里的问题被转移了，而不是消失了。
4. 二阶系统假设很强。条件 ∇V(α)h1(β)=∇V(β)h1(α) 基本要求 h1 与 ∇V 高度一致；文中建议直接取 h1=∇V^T，这限制了协议设计自由度。位置误差收敛从速度误差收敛推出的部分也写得较快，文中未充分说明在一般 switching/pinning 下的严格不变性或极限集论证。
5. 拓扑假设仍偏理想。需要 undirected graph、joint connectivity、dwell time、leader pinning 在 union sense 下足够覆盖。对 directed jointly connected topology、随机切换、异步通信、时延等实际网络问题没有处理。
6. 数值例子不足以说明 quadratic Lyapunov 真正不存在。solver 没找到二次证书可能来自模板、数值精度或约束设置；文中未给出不可存在性的解析证明。
Takeaway
- 1. 值得记住的不是“用 SOS 做 Lyapunov”，而是把 nonlinear consensus 的稳定性证明组织成 q-space 增量耗散与 joint graph positivity 的组合。
- 这种 decomposition 很适合迁移到其他 switching networked systems。
- 2. Polynomial feature map q 是一个有用的设计自由度：它让网络耗散保持二次形式，同时允许原始状态空间中的 Lyapunov metric 非线性化。
- 这个思路可迁移到同步、pinning control、distributed optimization dynamics 等问题。
一句话总结
这篇论文把 jointly connected switching MAS 的非线性 consensus 证明从二次 Lyapunov 手工构造推进到 SOS 驱动的 polynomial metric synthesis，本质上是“增量耗散证书自动化”而非新的连通性理论。