時間に迷う？未知の測定遅延を伴う支援慣性航法における連続対称性と識別可能性

本論文は、複数のセンサを搭載したシステムにおいて、センサ間の未知の相対時間遅延が存在する場合の、支援慣性航法（aided inertial navigation）の問題を扱う。特に、単一の支援センサからの測定が慣性測定ストリームに対して未知だが一定の遅延を持つ場合を考え、システムの識別可能性（identifiability）を研究する。識別可能性は測定の時間構造だけでなく、車両の軌道の形状にも依存し、一部の軌道では遅延と航法状態の一意な回復が可能であるが、他の軌道では不可能であることを示す。特殊ガリレイリー群（special Galilean Lie group）を用いて、ガリレイリー代数の定数要素によって生成される非情報的軌道の広い族を特徴付け、そのような軌道に沿って遅延測定モデルが連続対称性を持ち、遅延と航法状態の一意な回復を妨げることを示す。この対称性に基づく特徴付けを、線形化されたヤコビアンに基づく解析と関連付ける。動機は支援航法であるが、基礎となるアイデアは遅延測定を伴うリー群上の推定問題に一般的に適用できる。

先行研究では、時間遅延の識別可能性は測定の時間構造（例えば、励起条件）に依存することが知られていたが、本論文は軌道の形状が識別可能性に決定的な役割を果たすことを明らかにした点が新しい。特に、特殊ガリレイリー群を用いて、非情報的軌道の広い族を対称性の観点から体系的に特徴付けた。従来の線形化解析（ヤコビアンに基づく）では、局所的な識別可能性を評価するが、本論文は連続対称性の存在を直接示すことで、非線形な設定でも識別不可能性を説明できる。さらに、この対称性の特徴付けは、線形化解析と等価であることを示し、理論的な理解を深めている。

手法の核は、特殊ガリレイリー群（SE(2)やSE(3)の拡張）を用いて、慣性航法システムの状態（位置、速度、姿勢）をリー群の要素として表現し、遅延測定モデルを群作用として定式化すること。非情報的軌道は、ガリレイリー代数の定数要素（つまり、一定の並進速度、回転速度など）によって生成される軌道として特徴付けられる。そのような軌道に沿って、遅延測定モデルが連続対称性（つまり、リー群の1パラメータ部分群による変換）を持つことを示す。この対称性は、遅延と状態の特定の組み合わせを変化させても測定が不変であることを意味し、識別不可能性を引き起こす。さらに、この対称性の存在が、線形化されたシステムのヤコビアンのランク落ちと等価であることを示す。

要旨からは、具体的な実験やシミュレーションによる検証方法は不明である。理論的な証明と解析が中心であり、対称性の特徴付けと線形化解析との等価性を示すことで有効性を主張していると考えられる。

議論としては、識別可能性が軌道に依存するため、実際のシステムでは軌道計画や励起条件を考慮する必要があることが示唆される。また、連続対称性の存在は、遅延が未知である場合に状態推定が本質的に不可能であることを意味し、遅延のオンライン較正には情報的な軌道が必要である。さらに、この結果は支援慣性航法に限らず、遅延測定を伴うリー群上の推定問題一般に適用できるため、他のセンサ融合問題にも拡張可能である。

要旨で参照されている研究は明示されていないが、関連する分野として、慣性航法における時間遅延の較正（time delay calibration in inertial navigation）、リー群上の推定（estimation on Lie groups）、対称性を用いた識別可能性解析（symmetry-based identifiability analysis）などが挙げられる。具体的には、Barfootらのリー群上の状態推定に関する論文や、Kellyらによる時間遅延較正の研究などが関連する。