精读笔记
Problem Setting
这篇论文解决的不是“如何估计传感器时间延迟”这个算法问题，而是更底层的“这个延迟在给定运动和观测下是否可辨识”。设定是 aided INS：IMU 提供连续/高频 propagation，单个 aiding sensor 的观测相对 IMU 有未知常数 delay；未知量包括 initial navigation state、delay，以及可选 IMU biases。关键矛盾在于：delay 改变 measurement 对轨迹的取样点，initial condition 改变整条 propagated trajectory 的对齐方式；如果轨迹本身具有时间平移对称性，两者可以互相补偿。以前用 EKF 或滑窗把 delay 加入状态，本质上假设 measurement history 包含足够信息；本文指出在某些 trajectory shape 下这个假设不成立，滤波器再复杂也只能在不可辨识方向上制造伪信息。
Motivation
已有 temporal calibration / aided INS observability 工作大多停在两类层面：一类是直接把 delay augment 到 estimator，关心数值收敛；另一类是基于 Jacobian rank 分析列举若干退化运动。问题是 rank test 能看到 nullspace，但解释不了 nullspace 从哪里来，也很难说明已有退化列表是否完整。作者真正想补的是 geometric cause：不可辨识是否来自 delayed measurement model 的连续对称性。这个动机很合理，因为 delay 本质是 time shift，而 inertial navigation 的状态演化天然有 group structure；如果把 time 也纳入群，delay ambiguity 就可能被写成群作用下的不变性，而不是一堆 case-by-case 的代数条件。
Core Idea
论文的核心思想是把 aided inertial navigation 放到 SGal(3) 上，让 orientation、velocity、position 和 time translation 共同组成一个 Galilean group element。这样 delayed measurement 可以写成 T(τ)X0Φ(t-τ)：T(τ) 是纯时间平移，X0 是初始条件，Φ 是由 IMU history 决定的 state transition。这个表达把 delay 与 initial condition 的耦合暴露得非常直接。
关键变化是：identifiability 不再被看成“堆多少 measurements 才让 Jacobian 满秩”，而是看 trajectory transition Φ(t) 是否允许时间平移被群上的初始条件变换吸收。当 Φ(t)=exp(tξc) 是一参数子群时，改变 delay τ→τ+α，同时把初始条件改成 T(-α)X0Φ(α)，所有 delayed outputs 完全不变。这和 prior 的本质区别是从局部线性 rank deficiency 上升到非线性 exact symmetry；它不是更强的 estimator，而是更正确的问题几何化。
Method
第一，作者把 unknowns 固定为参数 tuple，包括 X0、τ、biases，并用完整 IMU input history 生成 trajectory。这样 observability 问题转化为 structural identifiability：不同参数是否产生相同 output history。这个重写是必要的，因为 delay calibration 的不确定性主要体现在整条历史轨迹如何被重新取样。
第二，引入 SGal(3) 表示导航状态。普通 SE(3) 或 R3×SO(3) 表达也能写运动学，但 SGal(3) 把 time coordinate 和 Galilean boost 显式纳入群，使 delay 可以作为纯时间平移 T(τ) 进入 measurement model。核心变化是 delay 不再是外部 index shift，而成为群作用。
第三，作者先给出一般 continuous symmetry implies unidentifiability 的定理，再证明 constant-generator trajectories 满足该条件。如果 corrected body-frame angular velocity ω(t) 和 body-frame-resolved coordinate acceleration s(t) 恒定，则 Φ(t) 是一参数子群。此时 symmetry orbit 精确存在，delay 与 initial condition 联合不可辨识。
第四，Jacobian 分析被用来连接已有 observability 语言。单个 delayed full-state measurement 的 Jacobian 存在 delay-initial-condition null direction；在 constant-generator 情况下，该 null direction 正是 symmetry orbit 在 α=0 的切向量。这里 Jacobian 不是发现机制的工具，而是把几何结论翻译回传统线性化分析。
Key Insight / Why It Works
最核心的 insight 是：delay 可辨识性由 trajectory shape 决定，而不是由 measurement type 或 measurement count 单独决定。只要轨迹是 SGal(3) 上的一参数子群，沿轨迹移动一小段时间与重新选择初始条件是同一个几何操作；观测只看到 delayed state history，因此无法区分“delay 变了”还是“initial condition 沿轨迹前后挪了”。这就是方法成立的根因。
最可能的实质贡献是 continuous symmetry formulation。它解释了为什么 previously reported degenerate motions 包括 inertial motion、constant acceleration、circular/helical motion 都属于同一个族，并进一步包含更一般的 constant body-frame rotation + constant body-frame acceleration 的 curvilinear motion。这个统一性比列举更多退化 case 更重要。
Jacobian 推导是辅助贡献。它有价值在于对接已有 EKF/SLAM/VIO observability 语言，但真正的信息增量来自 symmetry orbit 的 exact indistinguishability。换句话说，rank deficiency 是症状，Galilean time-shift symmetry 是病因。
这不是 scaling、data coverage、retrieval 或 test-time compute 的工作；它是 representation / inductive bias 层面的理论工作。SGal(3) 的作用不是让算法更快，而是把原来隐藏在 delayed measurement equation 里的不变量显式化。工程上可能的收益不是直接提升 accuracy，而是避免在不可辨识轨迹上相信 estimator 的 delay estimate。
需要注意，论文证明的是一类 sufficient uninformative trajectories。文中未充分说明这类是否穷尽所有非可辨识轨迹，也没有处理 near-symmetry 情况下的 conditioning。实际 estimator 中最常见的问题可能不是 exact constant-generator，而是窗口内近似 constant-generator；这部分才最关系工程，但论文基本没有量化。
Relation To Prior Work
最接近的是 temporal calibration for visual-inertial / aided INS，以及 Yang / Geneva / Huang 系列的 degenerate motion analysis。那些工作通常通过线性化观测 Jacobian 找不可观方向，并报告若干特定退化运动。本文的不同点在于不从传感器模型细节或局部 rank test 出发，而从 delayed measurement map 的 continuous symmetry 出发，给出一个几何生成机制。
它也接近 Martinelli 的 continuous symmetry / observability 路线，但本文的 symmetry 作用在 delayed output history 和 initial-condition-delay 参数空间上，而不是典型无延迟系统里通过 Lie derivatives 识别局部 invariance。新增信息在于把 time delay 作为 Galilean time translation 处理，并用 SGal(3) 的一参数子群性质解释 delay ambiguity。
看似新的部分中，Jacobian nullspace 与 observability rank analysis 本身并不新；真正新的是把这些 null directions 解释成 symmetry orbit tangent，并指出已有退化运动只是 constant-generator family 的子类。SGal(3) 表达也不是凭空发明，但在这个问题上用得比较到位：它让 delay、initial condition、trajectory transition 处于同一个代数对象里。
Dataset / Evaluation
没有传统意义上的 dataset / evaluation。论文没有真机实验、仿真 benchmark、滤波器性能曲线，也没有跨传感器或跨任务验证。它的 evidence 是理论性的：给出 indistinguishability theorem、constant-generator uninformative theorem，并用 Jacobian nullspace 做一致性连接。
这足以支持“存在一大类 trajectory shape 使 delay 与 initial condition 不可联合辨识”的核心 claim，但不足以支持任何 estimator-level claim，例如在线 calibration 在真实噪声下会失败到什么程度、哪些运动规划能恢复 conditioning、现有 EKF bias 有多大。文中 examples 主要是几何示意，不是 evaluation。对于一篇 identifiability paper 这可以接受，但读者不能把它解读成工程系统已经验证。
Limitation
最大限制是结论目前主要是 sufficient characterization：constant Lie algebra generator 轨迹一定 uninformative，但一般轨迹何时 informative / uninformative 没有完整必要充分条件。若真实运动只是近似 constant-generator，理论上的 exact symmetry 变成 ill-conditioning，论文没有给可计算指标或阈值。
第二，measurement model 偏理想化。论文用 full delayed navigation state 作为最强观测来分析，虽然这能证明即使信息最多也会退化，但真实 GNSS、camera、UWB、radar 往往是 partial / relative measurements，并可能带 spatial extrinsics、landmarks、scale、feature association。相对观测下 symmetry 可能扩展、破裂或与 extrinsic gauge 混合，文中未充分说明。
第三，biases 的处理偏干净。作者把 delay-initial symmetry 与 bias 分开，并引用 prior 说明 biases locally weakly observable；但在短窗口、低激励、bias random walk 和噪声存在时，bias-delay-initial condition 的实际耦合可能更严重。这里的增益来源不清：理论上 symmetry 不含 bias，不代表工程估计中 bias 不会污染 delay。
第四，没有 estimator prescription。论文能告诉你什么时候不该相信 delay estimate，但没有告诉你如何设计 consistency-preserving filter、如何 marginalize symmetry direction、如何规划 excitation。实际部署鸿沟仍然存在。
Takeaway
- 第一，delay calibration 的核心不是把 τ 加进状态，而是确认 trajectory 是否破坏了 time-shift symmetry；否则 estimator 只是在 gauge direction 上过拟合。
- 第二，SGal(3) 在这里的价值是把 time、boost、pose 统一起来，使 delayed measurement 的 ambiguity 变成群作用下的不变性；这个 insight 可迁移到其他 Lie-group delayed sensing 问题。
- 第三，退化运动不应再被看成若干离散 bad cases，而应看成 constant-generator / near-constant-generator family。
- 未来更有价值的是做可计算的 near-degeneracy metric 和 observability-aware trajectory design。
一句话总结
这篇论文把 aided INS 时间延迟不可辨识性从 Jacobian 退化现象提升为 SGal(3) 上的连续对称性问题，真正贡献是给出 constant-generator 轨迹下 delay 与 initial condition 可互相吸收的几何机制。