精读笔记
Problem Setting
《PolyMerge: Compressing 3D Gaussian Splats with Polytope Coverings for Provably Safe Resource-Constrained Navigation》（arXiv preprint / 2026）实际处理的是一个 representation-for-control 问题：给定一个离线重建好的 3DGS 场景，如何生成一个足够小、可在微型无人机上实时用于 CBF safety filtering 的 obstacle representation，同时保证不把原 3DGS 中的 occupied space 漏掉。
真正困难点不在于从 3DGS 提取几何——这件事已有很多 mesh / pruning / surface extraction 方法——而在于安全导航的压缩目标和视觉压缩目标相反。视觉压缩可以删掉对渲染影响小的 Gaussian，也可以用 mesh 近似表面；但安全控制不能接受 false negative occupancy。一个漏掉的小障碍可能比一大片保守 free-space loss 更致命。
因此关键矛盾是：硬件预算要求 primitive 数量极少，CBF evaluation 要快；安全保证要求 representation 必须是原障碍集合的 over-approximation；而过度 over-approximation 又会破坏可达性，尤其是 hoop、doorway、narrow passage 这类拓扑结构。PolyMerge 本质上是在这个三角关系里给出一个可调的离线压缩机制。
Motivation
已有路线的问题很清楚：直接在 3DGS ellipsoids 上做安全约束，primitive 数量百万级，内存和实时评估都不适合 Crazyflie 这类平台；3DGS pruning / compression 多以视觉保真为目标，不关心 occupied-space containment；mesh extraction + convex decomposition 可以变小，但没有“不漏障碍”的语义保证。
作者的核心观察是：对 onboard safe navigation 来说，photorealism 是冗余信息，颜色、SH coefficients、opacity 的大部分细节都不是控制器需要的。控制器真正需要的是一个可快速求 signed/separation-like quantity 的几何集合，并且这个集合必须保守覆盖障碍。
所以关键缺口不是更好的 3DGS，而是一个把 high-fidelity scene model 转译成 safety-compatible low-footprint geometry 的中间层。PolyMerge 的动机可以理解为：把视觉场景表示和控制安全证书之间缺失的 representation alignment 补上。
Core Idea
核心思想是把 3DGS 的 dense ellipsoid cloud 重新组织成 convex polytope cover。这个 cover 的 union 必须包含原始 3DGS unsafe set；然后通过逐步合并 convex hull，把 polytope 数量压到硬件可接受范围。合并越多，计算越便宜，但 hull 会吞进更多 free space，路径越保守。
理论上它成立的原因很简单但有效：cover 的 containment 性质在 voxelization、subcover、convex hull、merge 这些操作下都单调保持。只要初始 occupied voxel set 覆盖了所有 ellipsoid，后续对 voxel cluster 取 convex hull、再把两个 cluster union 后取 hull，都只会扩大 unsafe approximation，不会漏障碍。
和 prior 的本质区别在于 objective 换了。PolyMerge 不再问“哪些 Gaussian 对视觉最重要”，也不问“mesh 表面是否准确”，而是问“在给定 primitive budget 下，怎样用尽量少的额外 free-space 体积换取 obstacle containment”。这是从 rendering-centric compression 到 control-centric conservative abstraction 的转向。
Method
方法中真正必要的机制只有三个。
第一，occupancy voxelization 解决连续 ellipsoid union 难以直接压缩的问题。它把 3DGS 中所有与 ellipsoid 相交的体素标为 occupied，从而得到一个离散 cover。这个步骤引入了第一层保守性，但也把任意 3DGS geometry 变成后续组合优化可处理的对象。AABB pruning 和小 QP 只是工程上减少 voxel-ellipsoid intersection 成本，不是核心贡献。
第二，local subcover construction 解决“每个 occupied voxel 一个 primitive 太多”的问题。作者构造局部 voxel cluster，然后用 weighted set cover 选择一组 cluster 覆盖全部 occupied voxels。权重不是视觉误差，而是 convex hull 包入的未占据体积；这一步把 conservativeness 变成显式优化 proxy。
第三，iterative merging 解决硬件预算不可预知的问题。它不一次性求解带 budget 的全局最优 cover，而是从较细 cover 开始，每次选择合并后额外体积最小的一对 cluster。这个过程产生一条 polytope count vs conservativeness 曲线，用户可以按 MCU 内存/频率选点。这里的贪心策略没有全局最优保证，但工程上有用，因为它提供了 monotone safety-preserving compression path。
下游 CBF 的角色是把 polytope cover 转成实时 safety filter。这里借用了已有 polytope-CBF 构造，本文的创新不是 CBF 本身，而是让 CBF 的 obstacle representation 小到能上微型硬件。
Key Insight / Why It Works
最关键的 insight 是：安全导航的 representation 不需要近似真实障碍边界本身，而需要一个 computationally cheap、可证不漏障碍的 unsafe superset。这个视角允许用 convex hull merging 这种看似粗糙的几何操作，因为粗糙的方向是“变保守”，而不是“变不安全”。
PolyMerge 真正有效的原因是 representation alignment：3DGS 对渲染友好但对 CBF 不友好；convex polytopes 对 CBF 友好，且可以用 half-plane 形式快速计算 barrier。论文的主要贡献不是新的优化算法，而是把 obstacle compression objective 对齐到 CBF evaluation 和 safety containment。
最可能是核心贡献的部分是 safety-preserving compression ladder：从 voxel cover 到 convex cover，再到 greedy merged cover，每一步都保留 containment，并给出 budget-controllability。这比单个压缩结果更重要，因为真实硬件上的可用预算往往是平台相关的。
可能只是辅助或 engineering 的部分包括：AABB 加速 voxel intersection、只考虑 bounding box 相交的 merge candidates、Crazyflie firmware integration、soft-min/soft-max CBF smoothing 参数。这些决定系统能否跑起来，但不是概念上的新东西。
增益主要不是来自 scaling，也不是 learned generalization，而是来自更合适的 inductive bias：把复杂场景抽象成少量凸集合，并接受安全方向的几何偏差。某种意义上，它用 conservativeness 购买了 real-time feasibility。
需要警惕的是，论文中部分 navigation success 提升的归因不完全清楚。作者猜测 PolyMerge 的 over-approximation 会 regularize 由密集 ellipsoid 形成的复杂 unsafe set，使 CBF less trapped；这很合理，但也意味着成功率提升不一定来自更准确表示，而可能来自把环境拓扑“抹平”后的控制更容易。对 narrow passage，这种 regularization 反而会封死通道。
Relation To Prior Work
最接近的技术谱系有三条。
第一条是 3DGS compression / pruning / mesh extraction。PolyMerge 和这些方法都在减少场景复杂度，但目标完全不同：视觉方法优化 render quality 或 surface fidelity，PolyMerge 优化 safety containment under budget。SuGaR+CoACD 看起来也能得到 convex parts，但它从 mesh 表面出发，不保证覆盖原始 3DGS occupied volume，因此在安全语义上不是同一类方法。
第二条是 Gaussian / radiance-field-based safe navigation，如 SaferSplat、Splat-Nav、SOUS VIDE 等。PolyMerge 不挑战这些方法的 high-level planning/control formulation，而是指出直接使用 dense Gaussian map 在小型机器人上不现实。它的新增信息是一个中间几何压缩层，使得 CBF evaluation 的输入从百万 ellipsoids 变成可预算的 polytope set。
第三条是 polytope obstacle CBF。这里 PolyMerge 基本复用了已有 polytope CBF 构造；实质创新不在 barrier 公式，而在如何从 3DGS 生成满足 safety over-approximation 的 polytope obstacles。
所以这篇论文更像是把 computational geometry 的 cover/merge 思想接到 neural/radiance scene representation 与 CBF control 之间。看似新颖的部分有不少是已有工具重组，但重组方向很实在：从视觉地图到嵌入式安全控制。
Dataset / Evaluation
评估覆盖了两类证据：mip-NeRF360 场景上的仿真，以及 Crazyflie 真机实验。前者说明方法在多个 3DGS 场景上能显著降低 computation/memory，并在随机 start-goal 任务中保持或提升 goal-reaching；后者说明压缩后的 polytope cover 确实能在微型飞行器上以较高频率跑 CBF safety filter。
真机实验是本文 claim 的关键支撑，因为论文的卖点不是 SOTA path quality，而是 severe onboard constraints 下可部署。Crazyflie 上不同 hull budget 对通过 hoop 或绕行的影响，也很好地展示了 conservativeness-compute trade-off。
但 evaluation 仍有明显边界。第一，场景是离线静态重建，真机使用 Vicon 提供位姿；因此没有验证完整 onboard perception-localization-navigation pipeline。第二，安全性主要是相对于 3DGS/150-polytope proxy，而不是真实障碍的严格 ground truth。第三，baseline 对比中 SuGaR+CoACD 不具备 coverage guarantee，这能说明安全语义差异，但不能完全说明 PolyMerge 的 hull quality 最优。第四，实验没有充分探索复杂拓扑/narrow passage 下 budget 减少导致通道消失的 failure boundary。
Limitation
最大的隐含前提是：输入 3DGS 本身就是可信的 obstacle oracle。PolyMerge 的 theorem 只保证覆盖 3DGS ellipsoid union，不保证覆盖真实世界障碍；如果 3DGS 漏建、尺度错、动态物体出现，安全保证立即失效。
第二个前提是静态离线场景。整个 pipeline 的重计算成本和数据结构都更适合 precomputed map，不适合机器人边走边更新大场景。作者在 future work 中提到 dynamic scenes 和 map expansion，但当前方法没有给出增量维护 cover/merge hierarchy 的机制。
第三，conservativeness 的上限会直接破坏任务可行性。Convex hull merging 对有孔结构非常危险：hoop、门框、桌腿之间的 free space 都可能被 hull 填掉。论文真机里 10 hull 时 hoop interior 被覆盖正是这个问题。也就是说，安全保证越强、budget 越紧，planner 越可能因为 representation 而不是控制能力失败。
第四，scalability 并非免费。虽然 onboard representation 变小了，但 offline voxelization、weighted set cover、pairwise merging 都可能在大尺度高分辨率场景中变重。文中用 AABB 和 locality 剪枝缓解，但没有给出足够系统的复杂度/大场景评估。
第五，CBF 层仍然是 myopic safety filter。它保证局部 forward invariance，但不解决全局可达性；被保守 hull 或局部几何困住时，CLF+CBF 可能停滞。文中用“stuck”作为终止条件，本质上说明 planner 没有长期状态建模。
第六，floaters 处理暴露了 perception artifact 问题。硬件实验中过滤与少于 30 个 ellipsoids 重叠的 voxels 是手工阈值式修补；如果 filter 误删真实细小障碍，coverage guarantee 相对于原 3DGS 都会被改变。这里文中未充分说明安全证明如何覆盖该 preprocessing。
Takeaway
- 1. 对安全机器人而言，scene compression 的首要目标不应是视觉保真，而应是 false-negative-free occupancy abstraction；这是从 vision-centric map 到 control-centric map 的关键转向。
- 2. Convex over-approximation 是一种非常实用的 inductive bias：它牺牲局部几何细节，但换来可证 containment、低内存、快速 CBF query，以及硬件预算可调性。
- 3. 这篇真正推动的是“neural/radiance scene representation 如何落到嵌入式安全控制”这一中间层，而不是 3DGS 或 CBF 各自的核心算法。
- 4. 未来更值得做的不是继续微调 greedy merge，而是把 reconstruction uncertainty、localization error、dynamic updates 和 global planning 一起纳入 conservative abstraction；否则 safety guarantee 仍停留在离线地图内部。
一句话总结
PolyMerge 是一篇把 3DGS 从 photorealistic representation 转译成 safety-preserving polytope abstraction 的控制导向压缩工作，核心贡献在于用可调保守性换取嵌入式 CBF 导航的可部署性。