精读笔记
Problem Setting
[D-CLIPSE: Distributed Consensus-based Localization with Passive Listening on Shared State Exchange]（arXiv preprint / 2026）
这篇论文处理的是分布式多机器人协同定位中一个很具体但关键的问题：每个机器人不只估计自己，还估计一跳邻居；于是同一个物理机器人状态会同时出现在多个本地滤波器里。问题不是“如何融合更多量测”，而是这些局部滤波器如何在有限成对通信下，对共享状态达成一致，同时不破坏 covariance consistency。
关键矛盾是：中央化滤波能正确维护全局相关性，但不可部署；分布式滤波如果不知道估计器间相关性，就要用 CI 这类保守融合；但如果对 full state 做 CI，会把没有参与 consensus 的 unique states 也一起膨胀，造成不必要保守和信息损失。以前 pseudomeasurement + preintegration 的路线能工作，但信息流组织较粗：传全状态、构造伪量测、再用 CI 保守兜底。D-CLIPSE 试图把 consensus 精确限制在 shared subspace 上。
Motivation
已有方法缺的是一个干净的“局部一致性接口”。多机器人分布式定位中，通信双方真正共同关心的是 shared states，而不是各自完整状态向量；但 shared states 与各自 unique states 又通过滤波过程产生 cross-correlation，不能简单只替换 shared mean/covariance。
作者的核心观察是：可以先把本地联合分布拆成 shared marginal 与 unique-given-shared conditional。通信只用于 shared marginal consensus；然后把新的 shared marginal 通过 conditional distribution 重新注入本地 full state。这样把通信问题、未知相关性问题、局部联合一致性问题拆开了。
passive listening 的动机也不是新传感器，而是利用广播通信的副产物：当一对机器人交换 shared states 时，旁边也维护其中部分状态的机器人可以无额外通信地更新。这补的是低频调度下 neighbour estimates 长时间 dead-reckoning 的缺口。
Core Idea
核心思想可以概括为：只在交集上融合，在全集上重条件化。通信双方先找出它们本地状态中的交集，即 shared states。对这部分状态，两边各自有一个 Lie group Gaussian belief。由于两边估计已经通过 RMI、相对量测、历史通信产生未知相关，论文用 CI 先做 conservative covariance inflation，再在流形上做 weighted least-squares fusion，得到双方一致的 shared-state consensus distribution。
真正改变建模方式的是后半步：它不是把 consensus 当作一个伪量测施加到 full state，而是利用原本本地 joint Gaussian 的条件结构，把 unique states 表示成 shared states 的条件分布。shared marginal 被 consensus distribution 替换后，unique 部分随 shared 的变化通过 cross-covariance 被重条件化。这个 inductive bias 很明确：信息只应该沿着已有统计相关结构传播，而不是通过人为伪量测或 full-state CI 扩散。
本质区别在于信息流粒度。prior 更像“整包状态交换 + 保守融合”；D-CLIPSE 是“共享子空间 consensus + 条件相关传播”。这使它在通信上更 scalable，在 covariance 上也更不容易无意义变保守。
Method
1. RMI sharing：解决邻居状态传播需要高频里程计的问题。机器人不持续转发原始 odometry，而是共享两个时间戳之间的 preintegrated odometry。核心变化是把高频过程信息压缩为低频、按需传播的 motion increment，使每个机器人能在本地 propagate neighbour states。
2. Shared-state consensus distribution：解决多个滤波器对同一物理状态估计不一致的问题。通信双方只交换 shared states 的 belief，而不是 full state。由于估计间相关未知，先用 CI 处理 conservativeness，再在 Lie group 上求融合均值和 covariance。这个机制的必要性在于避免双计数，同时把 consensus 的对象限制在真正重叠的状态子空间。
3. Conditional reconditioning：解决 shared consensus 如何影响本地 unique states 的问题。若只更新 shared states，会断开原本 joint covariance 中 encoded 的相关性；若对 full state 做 CI，会过度保守。论文用 p(X_S, X_U)=p(X_S)p(X_U|X_S)，把新的 consensus marginal 与旧的 conditional 重新组合。这是方法最实质的部分。
4. Passive listening：解决通信 schedule 长、pairwise exchange 稀疏时，非通信邻居更新滞后的问题。旁听机器人从其他两台机器人的 shared-state exchange 中提取自己也估计的子状态，并执行同样的 consensus/reconditioning。它把一次 pairwise exchange 变成局部广播可复用的信息事件。
Key Insight / Why It Works
最核心的有效性来自 conditional reconditioning，而不是 EKF、RMI 或 Lie group 表达。RMI 和流形滤波是合理工程基座；真正的贡献是避免 full-state CI 的副作用。CI 的问题不是保守本身，而是保守作用域太大。D-CLIPSE 把 CI 限定在 shared marginal 上，然后用条件分布恢复 full-state covariance structure，因此在 consistency 和 centralized closeness 上自然会优于对 full state 做 pseudomeasurement/CI 的方法。
这本质上是一种 better inductive bias：只让信息沿“共同估计的物理状态”和“本地 cross-correlation”传播。它不是 scaling law，也不是数据覆盖带来的性能；增益主要来自更正确的信息分解。passive listening 则更像 memory reuse / communication reuse：同一包信息被更多局部滤波器消费，减少等待下次 scheduled consensus 的 dead-reckoning 时间。
最可能的核心贡献排序：第一是 shared-marginal consensus + conditional reconditioning；第二是 passive listening 用在 shared-state exchange 而不只是 RMI；第三才是 Lie group 上的具体推导。Lie group BCH/Jacobian 处理是必要的严谨化，但不是 conceptual novelty。
需要注意的是，实验中 proposed 与 SoTA 的差异部分来自 SoTA baseline 的 full-state CI/pseudomeasurement 设计天然更保守。换句话说，性能提升并不神秘：baseline 把不该保守化的状态也保守化了，D-CLIPSE 没有这么做。这里不存在深层 reasoning 能力，主要是估计理论中的信息结构整理更干净。
Relation To Prior Work
它最接近的是 decentralized state estimation with pseudomeasurements and preintegration [8]，也继承了 RMI sharing 与 passive listening [15] 的思想。与早期 consensus filtering 的差异在于：这里不是静态传感器网络对一个公共动态目标做多轮 all-to-all consensus，而是移动机器人各自维护重叠但不相同的局部状态，并且通信是 pairwise、低频、带未知估计相关性。
与 CI-based decentralized cooperative localization 的关系是：D-CLIPSE 仍然使用 CI 处理未知相关性，所以不是完全摆脱 conservative fusion；真正不同是 CI 的作用域被收缩到 shared states，而不是完整状态。与 pseudomeasurement 路线相比，它少了用户定义伪量测这一层间接建模，直接构造 shared-state consensus distribution。
看似新的部分中，RMI、passive listening、Lie group Gaussian fusion 都有明确前史；实质创新是把这些拼成一个“shared-only fusion + conditional full-state update”的分布式滤波框架。它属于 consistent decentralized estimation / cooperative localization 谱系中的信息结构优化，而不是全新估计范式。
Dataset / Evaluation
评估覆盖了仿真和真机数据，这一点比只做 toy simulation 更有说服力。仿真包含不同团队规模、稀疏通信、GPS 资源不均衡的 2D 场景；真实实验使用 MILUV 三无人机数据，包含 IMU、UWB anchor/inter-robot range，并设置 Robot 1 主要依赖共享状态获得全局信息。核心 claim 是 accuracy 接近 centralized，consistency 明显优于 SoTA；实验指标 RMSE、NEES、2-Wasserstein 基本对应该 claim。
但 evaluation 仍然相对窄：通信拓扑静态、schedule 固定、初始化假定已知，且任务都是定位滤波而非下游 planning/control 闭环。passive listening 的收益在低通信频率下很明显，但其真实网络代价、丢包、异步、带宽冲突没有被系统评估。benchmark 支持“在理想通信假设下更接近 centralized”，但还不能证明复杂部署环境中的 robustness。
文中没有大量 ablation 去彻底分离 shared-only consensus、conditional reconditioning、dynamic CI weight、passive listening 各自贡献。增益方向是可信的，但精确归因不完全清楚。
Limitation
方法的隐含前提比较强。首先，要求 shared states 的定义和通信双方状态交集可明确提取；动态邻域、状态增删、异步初始化时会复杂很多。其次，要求不同机器人对 shared states 有兼容的初始 belief，否则 consensus 可能在错误共同参考下达成一致。第三，RMI 可被通信范围内机器人被动接收这一点在真实无线系统中未必稳定。
scalability 的上限不是完全消失了，只是从 full-state exchange 转为 shared-state exchange。若通信图稠密或每个机器人维护大量邻居，局部状态维度和 covariance block 仍会膨胀。CI 权重优化本身在高维 shared states 下也可能带来代价和数值敏感性。
一致性依赖线性化和 BCH 小扰动近似。若 shared estimates 差异大、相对位姿不确定性强、非高斯误差明显，conditional reconditioning 的近似可能变脆。文中未充分说明在严重非线性、长时间断连后重连、错误数据关联或强 outlier 情况下如何表现。
passive listening 的收益可能主要来自更高有效更新频率，而不是更深层的估计机制。如果用额外主动通信达到同等更新频率，优势会变成通信效率问题，而非估计精度问题。
Takeaway
- 1. 最值得迁移的 insight 是：分布式估计中的 consensus 应该作用在 shared subspace，而不是 full local state；否则 conservativeness 会被错误扩散。
- 2. 把 joint belief 写成 marginal + conditional 是处理局部重叠状态的干净方式。
- 这个思想可迁移到多机器人 SLAM、分布式目标跟踪、协同感知中的 partial state overlap 问题。
- 3. passive listening 的价值在于把通信从 pairwise transaction 变成局部可复用信息事件。
一句话总结
D-CLIPSE 是一篇把分布式协同定位从“全状态保守融合”推进到“共享子空间一致性 + 条件重构”的工作，核心贡献是更精确地组织重叠局部滤波器之间的信息流。