技術的概要：実験からの線形ダイナミクスの学習の限界

1. 問題定義

本論文は、観測された状態 - 入力軌道から、未知の連続時間線形時不変（LTI）システムのパラメータ $(A, B)$ を同定するという根本的な問題に取り組む。このシステムは以下の常微分方程式によって支配される：
$$\dot{x}(t) = Ax(t) + Bu(t), \quad x(0) = x_0$$
ここで、$x(t) \in \mathbb{R}^n$ は状態、$u(t) \in \mathbb{R}^m$ は制御入力、$(A, B)$ は未知のパラメータである。

制御付き LTI システムに関する古典的な同定可能性理論は、システムの制御可能性と持続的に励起（PE）入力が、単一の実験から $(A, B)$ を一意に復元するための十分条件であることを確立している。しかし、多くの実用的な設定、特に疎で高次元なシステムにおいては、制御可能性がしばしば成立しない。制御可能性が欠如している場合、単一の実験によってシステム全体を一意に決定できるのか、それともシステムの一部分のみが復元可能なのかは依然として不明である。さらに、既存の文献には、制御可能性を仮定しない非自律 LTI システムの同定可能性を閉形式で特徴づけるものが存在しない。

核心的な問題は、実験条件付き同定可能性を特徴づけることである。すなわち、特定の実験設定（初期状態 $x_0$ と制御入力 $u$ によって定義される）によってシステムのどの部分が一意に決定され、どの部分が曖昧なまま残るかを決定することである。

2. 手法と理論的枠組み

著者らは、単一の実験 $e = (x_0, u)$ から復元可能な情報の限界を分析するための幾何学的かつ代数的な枠組みを開発した。

2.1 可視部分空間

導入された中心的な概念は可視部分空間、記号 $\mathcal{V}(x_0)$ である。これは、初期状態 $x_0$ と入力行列 $B$ の像（すなわち $\text{Im}(B)$）を含む最小の $A$-不変部分空間として定義される。形式的には、クリロフ部分空間である：
$$\mathcal{V}(x_0) := \mathcal{K}_n(A, [x_0 \ B]) = \text{span}\left\{ [x_0 \ B], A[x_0 \ B], \dots, A^{n-1}[x_0 \ B] \right\}$$
著者らは軌道閉じ込め補題を証明した。すなわち、入力 $u$ の複雑さに関わらず、結果として生じる状態軌道 $\phi(t)$ は厳密に $\mathcal{V}(x_0)$ に閉じ込められる。したがって、この部分空間の外側（「盲点」補空間）におけるシステムダイナミクスは、観測された軌道に影響を与えることができない。

2.2 実験整合集合と設計整合集合

本論文は、観測と整合するシステムの集合を 2 つに区別する：

1. 設計整合集合 $[A, B]_E$：実験クラス（すべての可能な入力 $u \in U$）と整合するすべてのシステムの集合。これは、初期状態と入力の能力に基づいた情報の構造的限界を表す。
2. 実験整合集合 $[A, B]_e$：単一の実現された実験 $(x_0, u)$ と整合するすべてのシステムの集合。

著者らは「ブリッジ」定理を確立した。実現された軌道が情報豊富である場合（投影された状態と入力の結合回帰行列のグラム行列がフルランクであること）、単一実験集合は設計整合集合に収束する（$[A, B]_e = [A, B]_E$）。十分な次数の持続的に励起入力が、この情報豊富さを保証することを示した。

2.3 同定可能性の特性化

情報豊富な実験の下で、著者らはデータと整合するすべてのシステムの閉形式のパラメータ化を導出した。可視部分空間 $\mathcal{V}(x_0)$ とその補空間 $\mathcal{W}$ を分離する座標変換 $T$ を用いると、任意の整合システム $(\tilde{A}, \tilde{B})$ は以下の条件を満たさなければならない：

• $\tilde{B} = B$
• 可視部分空間への $\tilde{A}$ の制限は、$A$ の制限に等しい：$\tilde{A}|_{\mathcal{V}(x_0)} = A|_{\mathcal{V}(x_0)}$
• 補空間 $\mathcal{W}$ 上のダイナミクスと相互結合項は任意であり得る。

したがって、システムが完全に同定可能であるための必要十分条件は、$\mathcal{V}(x_0) = \mathbb{R}^n$（すなわち、可視部分空間が状態空間全体を張る）であることである。そうでない場合、可視部分空間上の制限されたダイナミクスのみが一意に決定される。

2.4 代数的基準

非同定可能性への近接性を定量化するために、本論文は拡張ペア $(A, [x_0 \ B])$ に基づく 2 つの代数的テストを提案する：

1. 左固有ベクトルテスト：$A$ の左固有ベクトル $w$ であって、$w^\top x_0 = 0$ かつ $w^\top B = 0$ となるものが存在する場合、完全な同定可能性は失敗する。固有ベクトルと励起源の整列を測定するマージン $\mu_{\min}$ が定義される。
2. 固定実験 PBH テスト：固定された $x_0$ を与えられた同定可能性の喪失までの距離を測定する、修正されたポポフ・ベレヴィッチ・ハウトス（PBH）マージン $d_{\text{PBH}}(A, B | x_0)$ が導出される。

3. 主要な貢献

1. 部分同定可能性定理：システム全体が同定可能でなくても、可視部分空間 $\mathcal{V}(x_0)$ に制限されたダイナミクスは、単一の情報豊富実験によって一意に決定されることを証明した。
2. 閉形式パラメータ化：特定の実験と整合するすべてのシステムの集合の明示的な記述を提供し、同定不可能な部分空間における自由度を特徴づけた。
3. 同定可能性のための代数的基準：完全な同定可能性をテストし、同定問題の頑健性を定量化するための計算可能な指標（$\mu_{\min}$ および $d_{\text{PBH}}$）を導入した。
4. 制御システムへの拡張：自律システムに焦点を当てた先行研究とは異なり、この枠組みは制御付き LTI システムにおいて、初期状態と制御入力の役割を明示的に分離する。

4. 実験結果

著者らは、制御可能性の失敗を起こしやすい合成された疎 LTI システム上で、理論的知見を検証した。

• 制御可能性と同定可能性：実験により、疎性が強まるにつれて制御可能システムの割合が著しく低下することが示された。しかし、同定可能性は実験条件付きであることが示された。密な初期状態は制御不可能なシステムを完全に同定可能にする一方、疎な初期状態は部分同定可能性をもたらす可能性がある。
• サブシステム復元：本論文は、疎システムに対して 4 つの同定手法（DMDc、MOESP、SINDy、およびニューラル ODE）をベンチマークした。
  • 結果：すべての手法は、システム全体が同定可能でなくても、可視サブシステム（$\mathcal{V}(x_0)$ への制限）をほぼゼロの誤差で正常に復元した。
  • 対比：システム全体の復元誤差（$REE_{\text{full}}$）はゼロから離れて有界であり、励起されていない部分空間における構造的曖昧さを反映している。
  • ノイズ耐性：観測ノイズが増加しても、可視サブシステムの誤差はシステム全体の誤差よりも低く維持されるが、閉形式推定器に比べて最適化の課題により、ニューラル ODE（NODEs）は全体的により高い誤差を示した。

5. 意義と主張

本論文は、制御可能性を仮定しない非自律 LTI システムの同定可能性に関する文献のギャップを解消したと主張する。その主な意義は、「システムは同定可能か？」という視点から、「この特定の実験を前提とした場合、何が同定可能か？」という視点への転換にある。

著者らは以下を主張する：

• 古典的な保証（制御可能性 + PE）は、疎で高次元なシステムに対してはしばしば過度に制限的である。
• 実務家は、実験デザインによって誘起される可視部分空間に対して、機械論的な結論を解釈すべきである。
• 可視部分空間の外側のダイナミクスに関するいかなる主張も、モデルが訓練データにどの程度適合しているかに関わらず、根拠がない。
• 提案された代数的基準により、実務家は実験の実行前または実行後に、同定タスクの「認識論的不確実性」を定量化できる。

この研究は新しい推定アルゴリズムを提案するものではなく、既存の手法の限界と実験データの根本的な情報内容を理解するための理論的なレンズを提供するものである。