精读笔记
Problem Setting
论文研究的是线性电路中的 physical learning 局部收敛问题：给定输入约束和目标输出，通过只依赖每条边局部可测量量的 conductance 更新，使 free output 匹配目标。这里真正的问题不是如何写出局部更新，而是这种更新是否在含 hidden nodes、非凸参数几何、解为流形的情况下仍然具有足够耗散。
困难点有三个。第一，状态变量由全局 Kirchhoff/Laplacian 解决定，但参数更新只能访问边上的局部电压降；这造成“全局误差是否能被局部边看到”的可观测性问题。第二，参数数 M 通常大于输出维数 O，目标集合不是孤立最小点，而是 M−O 维解流形；因此普通强凸性或孤立 Hessian 正定不可用。第三，CL 这类物理上更自然的约束式 nudging 并不是标准梯度流，不能直接套用梯度下降收敛分析。
所以这篇论文的实际目标是找出一个结构性条件：什么时候局部 contrastive update 对输出残差方向有 coercive dissipation，从而在解流形附近给出指数收敛；什么时候该条件失效，并导致慢收敛或非零误差固定点。
Motivation
已有 EP 理论主要说明小 nudging 极限下 update 等于某个损失的负梯度；CL 文献也知道它“不完全是梯度”。但这些结论仍然缺一块：梯度存在不等于会收敛，尤其当损失存在平坦方向、解集是流形、参数到输出的 Jacobian 退化时，局部更新可能完全看不到误差。
作者的关键观察是，physical learning 的收敛瓶颈可以被解释为一个 support-overlap 问题：free state 中某些边必须有非零电压降，同时同一批 active edges 在输出误差诱导的 clamped/adjoint response 中也必须有非零响应。若两者支撑集错开，边上的局部乘积更新为零，系统即使有输出误差也不会动。
因此本文缺口不是提出更复杂的算法，而是给出一个精确的局部可学习性判据：active-incidence structure 是否使输出误差方向可通过参数变化被控制。这个判据比“局部规则是否像 backprop”更接近 physical learning 的核心可行性问题。
Core Idea
论文的核心思想是把三种 physical learning 方法统一到线性化 KKT 响应框架下：free/reference state 给出当前电路的工作点，nudged/clamped state 给出误差方向的物理响应，参数更新等价于在每条边上乘两个电压降。于是，学习动力学的耗散强度不再是抽象的梯度范数，而是一个由 active free-state voltage drops、constrained Laplacian inverse、output injection matrix 共同决定的二次型。
本质区别在于，作者没有把 physical learning 当成“物理实现的 backprop”来分析，而是把它看成一个参数-输出映射的局部 submersion 问题。coercivity 条件就是输出映射 Ψ(k)=Qᵀx₀(k) 在解流形上的满秩性，但论文进一步给了电路结构版本：active-incidence matrix 𝒟′ᵀ L̂⁻¹ Q̂ 是否满列秩。这个形式直接暴露了拓扑、工作点、输出选择之间的耦合。
AL 的引入也服务于这一核心思想：CL 物理上容易实现但非梯度，EP 有梯度结构但需要用输出误差作为力；AL 改为先把输出 clamp 到 target，读取维持该约束所需的 Lagrange multiplier/current error，再用这个 adjoint error 做 nudging。它保留 constraint-based 操作，同时恢复梯度流结构。
Method
1. KKT 线性响应：作者把 free state、EP nudged state、CL clamped state、AL reference state 都写成 KKT 系统。这样做的目的不是形式化，而是让 dx/dη 和 dx/dk 都能由同一个 constrained Laplacian inverse 表达。核心变化是：全局物理平衡被压缩成一个响应算子 R 或 L̂⁻¹，后续所有学习动力学都变成这个响应算子与边 incidence 的组合。
2. EP：EP 用输出 residual r 作为电流/force nudge。小 nudging 极限下，参数更新为 ⟨RQr, ∂k∇xG⟩，正好是 Φ=1/2||r||² 的负梯度。它解决的是理论可解释性和标准梯度流收敛分析入口问题。核心变化是将 contrastive difference 精确识别为梯度方向。
3. CL：CL 用电压约束把输出推向 target。线性化后等价于先通过 D=(QᵀRQ)⁻¹ 把电压误差变成等效电流，但 D 依赖 k，因此 ΦD=1/2⟨r,Dr⟩ 的导数多出一个 cubic correction。它解决的是物理实现更简单的问题，但代价是动力学不再严格梯度。核心变化是从 exact gradient flow 变成 gradient-dominated flow with higher-order defect。
4. AL：AL 将输出直接 clamp 到 target，并用维持该约束的 multiplier μ₀ 作为 adjoint error，优化 Φ*=1/2||μ₀||²。它解决 EP 需要 active force、CL 非梯度的折中问题。核心变化是 error 的类型从 voltage residual 变成 current/constraint-force residual，使 error 与 nudge 跨越 voltage-current duality，从而恢复梯度流。
5. Coercivity rank condition：作者定义 free/reference state 中有非零电压降的 active edges，并构造 𝒟′ᵀL̂⁻¹Q̂。满列秩意味着每个输出误差方向都会在至少一些 active edges 上产生可见的 clamped response，进而参数更新有 PL 型下界。它解决的是“梯度不为零是否足够大”的问题。核心变化是把局部收敛条件从 Hessian 正定改写为物理可观测性/可控性条件。
6. Bootstrap convergence：在解流形正则点附近，用隐函数定理将 residual 控制到解流形的距离，再用 coercivity 得到指数衰减，最后用积分位移界保证轨迹不会离开邻域。离散情形则用 descent lemma + PL inequality，并把有限 nudging correction 作为小扰动吸收。
Key Insight / Why It Works
最重要的 insight 是：physical learning 是否收敛，不取决于“物理是否完成了全局求解”这一宽泛说法，而取决于误差信号诱导的 adjoint/clamped response 是否与当前工作点中的 active energy channels 相交。参数更新是 edge-local 的 product：free/reference voltage drop × nudged/adjoint voltage drop。任何一边为零，该边就不学习；若所有 active free edges 对某个输出误差方向都不可见，则全局误差无法转化为局部参数变化。
这也是 coercivity 条件的物理含义。数学上它是 ∇kΨ 满秩；电路上它是 active-incidence response matrix 满列秩；优化上它是局部 PL inequality；动力学上它是指数损失衰减。论文价值在于把这四种语言对齐了。这个对齐比单纯证明 EP 是梯度流更有用，因为它告诉我们何时梯度流也会退化，以及退化来自哪种电路结构。
EP 和 AL 的有效性来自 exact gradient-flow structure + local PL。CL 的有效性更弱：它不是靠真正的梯度结构，而是靠主导耗散项与 EP 共用同一个 rank condition，且非梯度项是三次小量。因此 CL 的收敛是局部小误差结论，不应被解读为 CL 全局稳定。这里 AL 的设计 insight 很干净：要恢复梯度流，error 和 nudge 应该跨 voltage-current duality，而不是同类型配对。这个原则可能比 AL 本身更值得迁移。
kite circuit 的反例是论文中最有信息量的部分之一。它说明 rank failure 不是技术证明漏洞，而是真实动力学现象：free and clamped voltage drops disjoint support 时，EP/CL 可以在非零 loss 处完全停住。这个例子也提醒，physical learning 的局部性不是免费午餐；它可能把全局误差传输交给物理系统，但参数可见性仍然受工作点和拓扑对称性限制。
Sard genericity 的结论应谨慎理解。它说明对 almost every target，解流形上的 coercivity failure 是非泛化的；但它没有说明训练轨迹不会经过或靠近 off-manifold spurious fixed points，也没有给出 basin-size 估计。因此它更像一个“坏 target 非典型”的结构性安慰，而不是全局训练保证。
Relation To Prior Work
这篇论文位于 energy-based learning / equilibrium propagation / physical learning 的理论分支上，最接近 Scellier & Bengio 的 EP 梯度等价、Stern 等人的 CL 物理学习框架，以及近期针对无 hidden nodes 线性电阻网络的全局收敛结果。
与 EP 经典工作相比，真正新增的不是再证明 contrastive update 是梯度，而是补上“梯度流在解流形附近是否有 PL/coercive 下降”的条件，并把条件写成电路结构上的 rank 判据。与 CL 原始工作相比，本文明确指出 CL 的 weighted loss 下降含有不可忽略的 cubic correction，因此 CL 不是隐藏的 exact gradient descent；这澄清了一个容易被物理直觉掩盖的点。
与无 hidden nodes 的全局 convex 分析相比，本文牺牲了全局性，换来了 hidden nodes 情况下的局部几何刻画。这个取舍是合理的：有 hidden nodes 后参数到输出的映射通常非凸，期待全局凸性本身不现实。
AL 的新意是实质性的但范围有限。它不是一个完全新的学习范式，而是对 CL/EP duality 的重新组织：用约束力/current error 作为 loss signal，使 constraint-based nudging 也能获得 EP 型梯度结构。看似新算法，实质上是把 adjoint variable 物理化；其概念价值大于本文中展示的实验价值。
Dataset / Evaluation
本文没有真实数据集，也没有真机实验；evaluation 主要是数学定理加一个 kite circuit 的数值可视化。对这类理论论文而言这是合理的，因为核心 claim 是局部收敛条件、退化机制和 genericity，而不是任务性能。
数值部分覆盖范围很窄，只验证了构造电路上的 coercivity landscape、目标等值线与退化点关系，以及 EP/CL/AL 的收敛速率受 coercivity 常数控制。它支持“退化会导致慢收敛/固定点”和“速率由 coercivity 控制”这两个 claim，但不能支持任何关于大规模 physical learning、复杂任务泛化、真实硬件鲁棒性的结论。
没有跨拓扑、大规模随机图、非线性元件、多输入多输出任务、噪声和器件约束的系统评估。因此文中的 evaluation 是 proof illustration，不是 empirical validation。若读者关心 deployment，这篇论文几乎没有直接证据。
Limitation
1. 线性电路假设很强。所有关键表达式依赖 G 对 x 的二次性、nudged state 对 η 的仿射性、Laplacian inverse 的显式结构。作者说局部结果可能推广到 smooth nonlinear systems，但文中未充分说明非线性时 active set、rank condition、cubic correction 如何稳定。
2. 结论是局部的。定理要求初始点足够靠近满足 coercivity 的解流形点。它不能排除远处 spurious fixed points，也不给 basin 大小的可用估计。kite circuit 已经展示 off-manifold spurious fixed points 的存在，因此全局训练风险不是证明技术问题，而是真实动力学问题。
3. 存在解是前提，不是结果。论文假设 solution manifold 非空；如果 target 不可达，理论不说明会收敛到什么，也不说明最小误差点是否稳定。
4. conductance positivity 和边界问题未被深入处理。AL 在 kite 的 w≠0 情形中可能把中间 conductance 推向 0，说明边界动力学可能很重要；但主要定理在 k>0 内部局部成立。
5. CL 的稳定性更脆弱。它的非梯度项在连续极限下仍存在，离散情形中 correction 不随 η 变小而消失。因此 CL 的收敛依赖小 residual，而不是单纯小 nudging。把 CL 描述为“近似梯度”容易误导。
6. Sard genericity 不是实践保证。almost every target 不意味着常用 target encoding 避开 critical values，也不意味着训练路径不会靠近非 coercive set。对分类任务说“换 label encoding 可缓解”是合理猜测，但文中证据不足。
7. scalability claim 未被验证。理论上的 rank condition 可能在大网络中难以检查，也可能因 active voltage drops 很小导致实际 condition number 极差。满秩只保证正的指数率，不保证有可接受的速率。
Takeaway
- 1. physical learning 的局部可学习性应被理解为一个 active-channel observability 问题：误差响应必须经过当前工作点中可训练且有能量流的边。
- 2. EP/AL 的梯度结构不是最终答案；真正决定局部速率的是 PL/coercivity 常数，而这个常数由拓扑、输入、输出、target 和当前 conductance 共同决定。
- 3. CL 的物理简单性有明确理论代价：它不是 exact gradient flow，局部收敛靠三次项可被吸收。
- 未来若要设计物理学习规则，error-nudge duality 可能是比“约束还是力”更基本的原则。
一句话总结
这篇论文把线性电路 physical learning 从“contrastive update 像梯度”的层面推进到“何时存在局部 coercive 收敛”的层面，核心贡献是用 active-incidence rank condition 精确刻画 EP/CL/AL 的可学习性及其退化机制。