精读笔记
Problem Setting
这篇论文真正处理的是 mixture-model indoor occupancy prediction 的表示效率失效问题。已有 Gaussian / superquadric occupancy 方法的初衷是用少量连续 primitives 替代 dense voxel grid，但训练目标仍沿用 voxel classification，导致 primitives 的分布优化是局部的、被 voxel grid 驱动的，而不是被场景 occupied distribution 驱动的。
困难点在于 primitive 是 unordered、continuous、global 的表示，而 supervision 是离散 voxel label。voxel-wise CE 只告诉模型某个 voxel 当前预测对不对，并不会显式惩罚“有 primitive 待在空区域但不影响分类结果”这一表示浪费。只要 occupied voxel 已被某些附近 primitive 覆盖，远处 primitive 就几乎拿不到有效梯度。
因此 prior 卡住的地方不是 architecture 不够复杂，而是目标函数与表示形式不匹配。任务的关键矛盾是：希望得到 object-centric、compact、可大幅减少 primitive 数量的表示，但训练过程实际鼓励的是局部响应和冗余覆盖。
Motivation
作者的出发点很明确：spurious primitives 不是偶然 artifact，而是 voxel classification objective 的系统性后果。GaussianFormer、GaussianFormer-2、SplatSSC 等方法通过均匀初始化、ray / depth-guided initialization 或局部 refinement 来缓解问题，但本质上仍依赖把 primitives 一开始放得离 object 足够近。
核心观察是 voxel CE 的梯度结构会屏蔽全局 relocation：当某个 occupied voxel 已经被邻近 primitive 解释时，它不会继续对其他 primitives 产生有效吸引。这解释了为什么 prior 需要大量 primitives 或 depth prior，也解释了为什么空区域 primitive 会长期残留。
所以关键缺口不是更好的 voxel decoder，而是一个直接优化 primitive distribution 的训练目标。作者选择 MLE 是自然的：如果 primitives 本来就是 mixture model，那么监督它们拟合 occupied voxel set 比监督它们通过 voxelization 后的分类结果更直接。
Core Idea
FLM 的核心思想是把 occupancy prediction 改写成 occupied voxel distribution estimation。网络不再被训练成输出一个分类 voxel grid，而是被训练成前向预测一个 mixture model，使该 mixture model 对 ground-truth occupied voxels 的 joint likelihood 最大。这一步改变了建模对象：从 dense grid 上的 label fitting 变成 continuous primitives 对 occupied point set 的概率解释。
这个改写引入了一个很强的 inductive bias：每个 primitive 都应该贡献概率质量去解释 occupied regions，否则它只会增加总体 volume 而得不到 density reward。相比 prior 的 voxel CE，FLM 的监督信号天然是全局的；任意 occupied voxel 都可以通过 density sum 影响所有 primitives，从而允许远距离 relocation。
本质区别不是“用 MLE 这个术语”，而是信息流重组：prior 是 primitive → voxelization → local CE；FLM 是 occupied set → global likelihood → primitive distribution。后者更适合 unordered mixture primitives，也更 scalable 于低 primitive regime，因为它主动压缩冗余体积，而不是被动等待 voxel loss 惩罚空区域误检。
Method
方法中最关键的是 FLM loss。把 mixture weight 设为 normalized primitive volume 后，负 log likelihood 变成两部分：log total volume 和 occupied voxels 上的 log density sum。volume term 负责压缩总体占据质量，抑制空区域无用 primitives；density term 负责把 primitives 拉向 occupied voxels。这个 loss 同时解决“要覆盖物体”和“不要在空处浪费容量”两个问题。
normalized volume weight 是一个重要但带有假设的 reparameterization。它解决 simplex constraint，使 end-to-end training 简化；同时把 primitive 的概率权重和几何尺度绑定，迫使大 primitive 承担大结构，小 primitive 负责局部细节。这个设计避免了一些 mixture model 的退化解，但也隐含假设：几何体积与该 primitive 应承担的概率质量大体一致。
voxelization 公式也随之改变：occupancy density 直接取所有 kernel density 之和，semantic 用 density-weighted aggregation。这让 inference 时的 occupancy grid 更接近训练时的概率密度，而不是 prior 那种为 voxel CE 特制的乘法 occupancy 或 opacity aggregation。density regularization 主要是校准项，用来让固定 threshold 可工作；它重要，但不像 FLM loss 那样是概念核心。
FLM-Occ architecture 本身相对次要。随机 / learnable primitives、DAv2 feature guidance、refinement blocks、deformable aggregation 都是承载该 loss 的实现选择。论文真正的机制变化是允许 unconstrained primitive update，并依靠 FLM loss 提供稳定的远距离迁移信号。
Key Insight / Why It Works
最核心的 insight 是：mixture primitive 的训练不能继续使用 voxel classifier 的局部监督。只要监督经过 voxelization 后的 CE，模型优化的是“某个 voxel 是否被当前附近 primitive 解释”，而不是“所有 primitives 是否以最小冗余解释整个 occupied distribution”。FLM 把监督从局部分类误差提升到全局分布拟合，因此直接作用在表示效率上。
为什么有效，可以从梯度结构理解。voxel CE 下，已被解释的 occupied voxel 会让其他 primitives 的梯度消失；FLM 下，density sum 的分母不会因为某个 primitive 覆盖得好就完全屏蔽其他 primitives，所有 occupied samples 都能给所有 primitives 提供吸引信号。这个变化是论文最可能的实质贡献。
FLM 也可以看作一种 representation alignment：训练目标与表示形式对齐。primitives 是 mixture components，loss 就按 mixture likelihood 训练；而不是把 mixture 先转换成 voxel logits 再做 CE。这比单纯 scaling backbone 或增加 primitives 更本质。
哪些可能只是辅助：superquadric 优于 Gaussian，尤其低 primitive count 下明显，这主要是 primitive expressiveness；DAv2 fine-tuning 和 ViT-L 提升则很可能是 backbone scaling / data adaptation；density regularization 是 threshold calibration 和 overlap suppression。它们增强最终结果，但不构成论文最核心的新机制。
需要保持怀疑的是 benchmark 归因。Occ-ScanNet 的 indoor layout、物体类别、标注粒度较固定，强 DAv2 fine-tuning 可能学习到大量 scene prior；在 monocular setting 下，不可见区域的 occupancy completion 很可能部分依赖 dataset-level memorization，而不完全是 FLM 带来的几何推断。论文没有充分拆分“loss 带来的 primitive relocation”和“encoder / data prior 带来的语义补全”各自贡献。
Relation To Prior Work
它最接近 GaussianFormer / GaussianFormer-2 / SplatSSC / QuadricFormer 这条 mixture-model occupancy 路线，也和 feed-forward 3D Gaussian splatting 共享“网络直接预测 primitives”的范式。但 FLM-Occ 的关键差异在训练目标，而不是 primitive 类型或 refinement block。
相对 GaussianFormer，FLM 不再把 empty 当作一个普通 semantic class 去分类；相对 GaussianFormer-2 / SplatSSC，它不依赖 depth-guided initialization 来保证 primitives 靠近 object；相对 QuadricFormer，它不是只把 Gaussian 换成 superquadric，而是改变了 primitive distribution 的优化信号。
看似新的部分里，MLE 本身不是新思想，volume-normalized mixture weight 也可看作概率模型约束的工程化 reparameterization；真正新增的信息是把 MLE 放到 feed-forward occupancy primitive prediction 中，并指出 voxel CE 对远距离 relocation 的梯度屏蔽机制。
从技术谱系看，它属于“显式 3D primitive representation + feed-forward amortized inference + likelihood-based distribution supervision”。它不是 dense occupancy network 的延续，而更像把 occupancy prediction 拉回到 probabilistic shape fitting / mixture fitting 的框架中。
Dataset / Evaluation
评估主要覆盖 Occ-ScanNet 和 Occ-ScanNet-mini2，属于 indoor monocular semantic occupancy completion。它验证了论文最直接的 claim：在相同 indoor benchmark 上，用更少 primitives 可以得到更高精度和更快推理，并且 primitives 的平均迁移距离明显大于 prior。
但 evaluation 对泛化 claim 的支撑有限。没有跨数据集、跨传感器、真实机器人在线部署、动态场景或 outdoor large-scale 测试。Occ-ScanNet 的 voxel resolution 和 annotation granularity 较粗，且 indoor geometry 相对规则，这对少量大 primitives 尤其友好。
benchmark 确实支持“FLM 更适合当前 mixture occupancy benchmark”，但不足以证明它已解决通用 occupancy prediction 的 scaling 问题。特别是 loss 的 bilinear complexity 在 occupied voxel 数量上升后是否仍可接受，文中只在 limitation 中承认，没有实验验证。
实验中 loss 与 architecture / backbone scaling 的归因还可以更干净。DAv2 fine-tuning 带来很大增益，ViT-L 继续提升；因此最终 SOTA 数字不能完全归因于 FLM。更有说服力的证据是低 primitive count 下仍超过 prior，以及 relocation distance / qualitative primitive distribution 的变化。
Limitation
FLM 成立依赖一个关键前提：occupied voxel set 可以被相对少量、可积分的 smooth primitives 高效解释。对于 clutter 极强、拓扑复杂、细长结构密集或多尺度差异极大的场景，固定数量 primitives 可能仍会出现 capacity bottleneck，只是从 voxel grid 的问题转移为 mixture allocation 问题。
scalability 上限很明确：FLM loss 需要对 occupied voxels 和 primitives 做 pairwise density aggregation。indoor 数据占据率低时这是优势；但 outdoor driving、large-scale building、multi-frame dense map 中 occupied samples 数量会显著增加，必须引入 hierarchical / local aggregation，否则全局 likelihood 会成为瓶颈。
固定 primitive count 是另一个硬限制。它让模型无法根据场景复杂度自适应分配表示容量。primitive count 改变需要重训，说明该方法还不是一个真正 flexible 的 object / part discovery system。
泛化没有被充分证明。monocular occupancy 中不可见区域本身强依赖 dataset prior；FLM 主要优化 primitives 如何表达预测结果，而不是解决从单图像推断隐藏几何的不确定性。所谓更好的 completion 可能部分来自 DAv2 fine-tuning 和 indoor data coverage。
density threshold 也是一个隐藏假设。论文通过 regularization 把 occupied density 推向 1，并经验选择 0.5 threshold，但这个 calibration 是否跨数据集、跨 primitive count、跨 scene scale 稳定，文中未充分说明。这里可能存在较强 benchmark-specific tuning。
Takeaway
- 第一，mixture-model occupancy 的核心问题不应只看 primitive 类型或初始化，而要看 loss 是否真正监督 primitive distribution。
- FLM 的价值在于把目标函数和表示形式对齐。
- 第二，远距离 primitive relocation 不是 architecture 自动学出来的，而需要全局监督信号。
- 只靠 local voxel CE、depth initialization 或更多 primitives，会自然走向冗余表示。
一句话总结
FLM-Occ 是 mixture-model occupancy prediction 从 voxel-level classification supervision 转向 primitive-level likelihood supervision 的一次实质推进，真正贡献在于用全局 MLE 信号解决 primitive relocation 与表示冗余，而不是单纯换 backbone 或换 primitive。