精读笔记

Problem Setting

《CacheMPC: Certified Cached Model Predictive Control for Quadruped Locomotion》（arXiv preprint / 2026）处理的是四足分层控制中 MPC 层的实时性瓶颈：WBC 可以高频运行，但上层凸 MPC 每周期求 QP 在嵌入式平台上吃掉控制预算。真正矛盾是，MPC 解对闭环稳定和 tracking 很重要，不能随便近似；但每 tick 精确求解又太慢。以前路线要么仍需在线优化进展，要么把求解器矩阵分解做快，要么学习一个近似策略但缺运行时保证。本文切入点不是提出更快 solver，而是问：在步态周期性导致状态反复访问的前提下，能不能复用旧 MPC 解，并且只在当前 QP 上可证明足够好时才复用。

Motivation

已有方法缺的是“在线近似控制解的 per-query 可信度”。显式 MPC 理论上最接近，因为它也利用 parametric QP 的局部结构，但完整 critical region 枚举在四足 MPC 维度下不可用；神经近似 MPC 推理快，但把正确性问题推到离线训练/验证；warm start 只是减少迭代，不改变必须求解的事实。作者的核心观察很朴素也很有用：四足 trot 等 gait 不是均匀扫过状态空间，而是在接触模式和速度范围限定的管道内循环，因此完整 contact-force trajectory 可以作为 memory object 被重用。关键缺口是 retrieval 不能被信任，必须有一个后验证书把“像”变成“当前问题上可接受”。

Core Idea

论文真正的核心不是 LSH，也不是缓存本身，而是把缓存解的使用权交给当前 QP 的证书。LSH 只是从同一 contact-mode partition 中找近邻候选；候选可以来自旧解、灵敏度校正、离线字典甚至错误近邻。只要它对当前 QP 可行，并且由 weak duality 得到的 Γ 上界低于预算 β，就能保证其代价差不超过 β。这样，approximate nearest neighbor 的错误只会降低 hit rate，而不会直接破坏接受正确性。

这改变了 MPC 加速的建模方式：不再试图离线学习完整 state-to-control map，也不显式枚举 polyhedral regions，而是 lazily 采样 explicit-MPC law 的局部片段，并在 test time 用 certificate 过滤。它引入的 inductive bias 是“周期步态下局部解可复用，但 active-set 边界不可相信”。和 prior 的本质区别在于，把 retrieval 当作 proposal distribution，而不是 controller 本身；controller 真正执行的是 certified proposal 或 fallback solve。

Method

关键机制可以压缩为四点。第一，contact-mode partition 解决结构一致性问题：至少保证同一分区内约束形状和 stance/swing 语义一致，否则缓存解的可比性很差。第二，LSH feature 选择速度、期望速度和足端相对位置，解决在线候选生成问题；这不是安全机制，只是利用步态局部重复性降低搜索成本。第三，per-query certificate 解决“能否应用”的问题：feasibility check 保证候选不违反当前 QP 约束，dual-gap Γ 通过 weak duality 给出 suboptimality upper bound。第四，bounded-budget schedule 解决实时系统里 miss path 的定义问题：先尝试 top-K 证书检索，失败则 deadline-bounded solve，再失败用 shifted last-certified fallback。sensitivity correction 和 active-set filter 的作用更偏工程：前者试图扩大 cache basin，后者提前剔除明显跨 region 的候选；二者都不构成 correctness 的基础。

Key Insight / Why It Works

最重要的 insight 是把“缓存是否安全”从特征空间距离问题转成当前优化问题上的后验对偶界问题。四足 MPC 的状态近邻并不必然意味着同一 active set，尤其在摩擦锥、接触切换、force bound 附近；所以单纯 retrieval 本质上是不可靠的。本文有效的部分在于承认这一点：近邻只负责提出可能有用的 Ū，证书负责判断它是否仍处在可接受的局部显式 MPC 片段内。

真正的核心贡献是 source-independent certificate，而不是 LSH。Proposition 1 很简单，几乎就是 weak duality 的直接应用，但放在 cached MPC 闭环里很关键：它使缓存、近邻搜索、异步 refine、灵敏度外推都变成可替换的 proposal generator。Proposition 2 则把 ANN 的不确定性排除在 safety argument 外，这是方法论上最干净的地方。

但必须直接说：当前实证 speedup 的最大来源主要是 retrieval / memory reuse，而不是 certificate。无证书版本最快；带证书后由于 Cholesky 和 rejected miss，收益明显变小，硬件上甚至反转。当前 production 用 λ=0，Γ 是最松的弱对偶界，这导致 certificate 更像保守 gate，而不是高效 tight verifier。所谓安全收益在实验里没有被解析出来，WBC/PD/foot impedance 很可能吸收了大量错误，使 certificate 的闭环贡献被掩盖。因此这篇的理论 insight 强于当前系统收益归因。

Relation To Prior Work

它最接近三条线：explicit MPC、approximate/learned MPC、以及 optimization solution caching。和 explicit MPC 的关系最本质：它不是枚举全局 polyhedral partition，而是在线、懒加载地采样局部解，并用后验证书替代显式 region membership。和 learned MPC 的差异在于，它没有训练一个全局函数逼近器，也不依赖离线数据泛化；它依赖运行中/已有轨迹覆盖，并在每次使用时验证。和 TinyMPC / warm start 的差异是缓存对象不同：TinyMPC 缓存 factorization，warm start 缓存初始化，而 CacheMPC 缓存完整 horizon control trajectory。

看似新的部分中，LSH、active-set sensitivity、fallback schedule 都是已有思想的组合；实质新增信息是把这些组合放进一个“proposal + per-query dual certificate”的控制架构。它属于 memory-augmented / retrieval-augmented MPC，而不是 learning-based control。更准确地说，它是 explicit MPC 在高维机器人控制中的一种 sample-based、online、certified 近似。

Dataset / Evaluation

评估覆盖了 MuJoCo 中 Unitree Go2 的 trot、push、terrain，以及 WBC/MRT 两种下游架构，并有 Orin NX 真机 first-deploy。这个覆盖对“缓存能加速、且在测试分布内不明显伤害稳定性”是有支持的；对“certificate 提升闭环安全”支持不足，作者自己也承认 sample size 下不可解析。

实验设计里比较有价值的是 cold-controller IID protocol、failure-boundary re-power 到 n=50、以及硬件上报告 Cache-Full 变慢而不是只报好看的 speedup。问题是 baseline 覆盖不够：没有 warm-started MPC、kd-tree、固定字典、learned approximate policy，因此 LSH+certificate 相比更强工程 baseline 的优势仍不清楚。硬件评估是 free-walk 和人工 push，不是受控安全 benchmark，只能证明可部署和定性不炸，不能证明 robustness。整体上，evaluation 支持“memory reuse 可行”和“无证书缓存未观察到伤害”，但没有充分验证“certified cached MPC 在真实闭环中更安全且仍高效”。

Limitation

第一，方法强依赖分布内重访。缓存命中和解质量来自 gait tube 的有限覆盖；换地形、摩擦、负载、步态、接触模式预测方式后，泛化不一定真实存在，可能只是 memory coverage 足够。第二，certificate 当前很松。λ=0 的 unconstrained dual bound 数学上安全但实用上保守，硬件高拒绝率说明它会把很多可能可用的候选挡掉，导致既付证书成本又付 QP 成本。第三，cost-gap bound 不是 closed-loop safety。SRBD QP 的 ΔJ 到 WBC 后 torque、接触真实可行性、orbital stability 之间缺少定理连接；WBC 是最后过滤器，也可能是实验中稳定性的主要来源。

第四，scalability 上限不在 LSH 维度，而在缓存生命周期和分布漂移：在线 cache 如何老化、合并、适配硬件误差，文中未充分说明。第五，增益归因不清：最快的是 Cache-NoCert，最“理论正确”的 Cache-Full 在硬件慢于 Convex，这暴露了 engineering speedup 和 certification guarantee 的张力。第六，固定 contact horizon 简化了结构分区；若使用 gait-table horizon contact sequence，key space 和 cache sparsity 会更复杂，虽然证书形式不变，但 hit rate 可能下降。

Takeaway

• 最值得记住的不是“LSH 能让 MPC 快”，而是“retrieval-augmented control 需要把 proposal generation 和 correctness verification 解耦”。
• 这类方法未来真正的演化方向应该是更紧的 certificate：复用 cached dual / active set、做 staleness guard、用 perturbation/Hoffman bound 处理小 infeasibility，而不是继续调 LSH 超参数。
• 第二个可迁移 insight 是：对于周期性机器人任务，完整优化解本身是有记忆价值的，不一定要蒸馏成神经网络；lazy explicit MPC 可能比 offline explicit MPC 更现实。
• 第三，bounded-budget schedule 是实际部署中容易被低估的贡献：miss path 必须有定义，否则任何加速方法在 deadline miss 时都不是控制系统。

一句话总结

这篇论文把四足凸 MPC 加速从“更快求解”推进到“记忆检索加后验证书”的路线：实质贡献是 source-independent dual-gap gate，使 cached MPC 解可以作为可验证的 test-time proposal 被安全复用，但当前收益主要仍来自分布内 memory reuse，证书的闭环价值尚未被实验充分证明。