精读笔记

Problem Setting

[论文标题] Inverse Problems for Costs and Controls in LQG MFGs via Mean Field Trajectories（arXiv preprint / 2026-06-09）。

这篇论文实际处理的不是一般 inverse MFG，而是一个被 LQG 结构强约束后的可辨识性问题：已知线性动力学 A,B,σ，只观察 equilibrium 下 population mean 和 covariance 的连续时间轨迹，问能恢复什么。这里“恢复”被拆成三个层级：观测初始化上的控制、任意初始化上的控制、以及一组能复现观测轨迹的 cost parameters。

真正困难点是 parameter-to-trajectory map 天然非单射。即使 forward LQG-MFG 是良定的，inverse side 也不可能唯一恢复 R,Q,Q_T,\bar Q,\bar Q_T。原因很结构性：equilibrium dynamics 只通过若干组合量进入，例如 BR^{-1}B^\top、R^{-1}B^\top P、R^{-1}B^\top r，而不是单独通过 R 或 Q。换句话说，轨迹只携带 feedback-equivalence class 的信息，不携带原始 cost 的唯一坐标。

以前方法通常依赖 value function 或更丰富的 microscopic/control observations，这会绕开一部分不可辨识性；本文的任务关键矛盾是：只看宏观均值-协方差，信息量天然不足，但 LQG 的代数结构又使得一部分控制相关量可以被精确抽取。论文的贡献就在于把“不可恢复真参数”与“仍可恢复一致控制/一致模型”分开。

Motivation

已有 inverse MFG 路线的问题不是缺一个更强 solver，而是观测假设太强：value function、costate、Hamiltonian 或 individual-level behavior 在实际场景中往往不可得。对 LQG-MFG 来说，population distribution 是 Gaussian，mean-covariance trajectory 是最自然、也最可能被估计到的统计量。因此一个更现实的问题是：如果只给这些宏观轨迹，逆问题的边界在哪里。

作者的核心观察是，LQG-MFG 的 forward equilibrium 虽然由 Riccati + mean/covariance ODE 描述，但这些方程中有些 unknown 以线性方式出现。特别是 covariance equation 对 transformed feedback gain \tilde P 是线性的，而 mean equation 在 \tilde P 已知后对 \tilde r 也是直接可解的。这给了一个非常干净的切入点：先不试图恢复 cost，而是恢复控制中真正作用于轨迹的 transformed quantities。

关键缺口是 prior work 没有系统地区分三类目标：真参数识别、控制识别、等价参数构造。本文的动机可以理解为把 inverse LQG-MFG 从 ill-posed parameter recovery 改写成 well-posed equivalence-class recovery。

Core Idea

论文真正的核心思想是：不要把观测轨迹解释为原始 cost 的直接函数，而是解释为 transformed feedback variables 的函数。原始 cost parameters 处在一个 gauge-like redundancy 里；轨迹只对某些组合量敏感。于是作者先识别轨迹可见的不变量，再在这些不变量对应的可行集合里选一个 admissible representative。

这在理论上成立，是因为 LQG-MFG 的 equilibrium system 有强分离结构：Riccati 方程决定 P，covariance 只依赖 feedback gain A-B\tilde P，mean 进一步依赖 affine term \tilde r。对 observed initialization，\tilde P 和 \tilde r 足够给出控制；对 unobserved initialization，则还需要恢复生成 \tilde r 的 boundary value structure，即 mean-field coupling costs 的 transformed form。

和 prior 的本质区别在于，本文不是增加观测量来强行恢复 cost，也不是假设 value function 可见，而是接受 non-identifiability，并把目标改成 consistent reconstruction。这是一种建模方式的改变：从 parameter estimation 转成 equivalence-class identification。引入的 inductive bias 是 LQG 的代数等价结构，而不是数据驱动拟合或统计学习。

Method

1. Forward well-posedness：论文先证明给定 admissible parameters 时 Riccati 方程和 coupled mean-costate BVP 有唯一解。这不是主要创新，但它保证 trajectory map 定义良好，否则逆问题无从谈起。其作用是把后面的 identifiability 讨论建立在唯一 equilibrium 上。

2. Non-injectivity characterization：作者展示 B,R 的规范化等价，例如可将 B 归一到 I 并调整 R 而保持 BR^{-1}B^\top 不变；同时给出 cost parameters 在 transformed quantities 相同且满足结构条件时的一致性。这一步解决的是“为什么不能恢复真参数”。核心变化是把逆问题从寻找 ground truth 改成寻找 consistent representative。

3. Local control recovery：利用 covariance dynamics \dot\Sigma=(A-B\tilde P)\Sigma+\Sigma(A-B\tilde P)^\top+2\nu 构造关于 Vec(B\tilde P) 的线性系统。单条协方差轨迹在 n>1 时只给出对称部分信息，存在 skew-symmetric kernel，因此需要至少两条足够多样的 covariance trajectories 使 rank 条件满秩。恢复 \tilde P 后，mean dynamics 直接给出 observed trajectories 上的 \tilde r。这一步回答 Q1。

4. Global control via structural recovery：对新初始化，\tilde P 是通用的，但 \tilde r 依赖新的 mean trajectory 和 terminal coupling，不能只靠 observed \tilde r 插值。作者因此从 transformed Riccati equation 中进一步识别 \mathcal A,\tilde Q,\tilde Q_T；再用 n 条线性独立 mean trajectories 识别 \tilde{\bar Q},\tilde{\bar Q}_T。核心变化是从“沿轨迹恢复控制”升级到“恢复生成控制的 BVP 结构”。

5. SDP consistent cost construction：可辨识的是 transformed costs，不一定直接对应 admissible symmetric PSD costs。SDP 在 kernel constraints 中寻找 R'\succ 0，使得 (B^\top)^{-1}R'\tilde Q 等矩阵 PSD。它解决的是可行代表选择问题，而不是统计估计问题。

Key Insight / Why It Works

最重要的 insight 是：LQG-MFG inverse problem 的可辨识对象不是 cost，而是 feedback-equivalence invariants。\tilde P 和 \tilde r 是控制中真正进入 state dynamics 的对象，因此它们比 R,Q 等原始参数更接近 observables。本文最核心贡献就是明确了这个层级关系：trajectory → transformed feedback → transformed costs / structural matrix → one admissible cost representative。

方法有效的原因不是 scaling、不是 data coverage，也不是更强的 numerical solver，而是 LQG 结构带来的 algebraic observability。covariance dynamics 对 \tilde P 的依赖是线性的，这是局部控制识别的关键；mean dynamics 对 \tilde r 的依赖也是线性的，这是 observed initialization 控制恢复的关键；Riccati equation 的时间导数消去 \tilde Q，使 \mathcal A 可从 \tilde P 的曲率中识别，这是全局化的关键。

其中最实质的理论贡献是两点：第一，明确 non-injectivity 并给出 equivalence sufficient conditions；第二，把 consistent cost recovery 写成一个 SDP feasibility/selection 问题。相比之下，existence uniqueness 更像必要铺垫；数值实验主要是 sanity check，不是主要贡献。

需要直接指出的是，全局识别部分对连续光滑轨迹和导数估计非常敏感。尤其 \mathcal A 的代数识别依赖 \dot{\tilde P},\ddot{\tilde P} 的信息，实际 noisy data 下很容易崩。实验中作者也没有真的使用最直接公式，而改用 trajectory-level MSE 优化，这说明理论公式和数值实现之间存在明显 gap。这里的增益不是来自 robust engineering，而是来自 noiseless setting 下的结构可辨识性。

Relation To Prior Work

这篇论文最接近三条谱系：inverse LQR / inverse optimal control、inverse differential games、以及 inverse MFG。和 classical inverse LQR 类似，它面对 cost non-identifiability；和 inverse differential games 类似，它关心多个 cost matrices 的等价解集；和 inverse MFG 不同的是，它只使用 population mean-covariance，而非 value function 或 PDE 解的完整信息。

真正不同点在于观测层级和目标重定义。已有 inverse MFG 工作若假设 value function 可见，实际上给了非常强的 dual information；本文只看 primal aggregate trajectories，因此必须正视不可辨识性。它不是试图证明更多参数可恢复，而是证明哪些组合量可恢复，以及如何从组合量构造一致成本。

看似新的部分中，Riccati 结构、LQ 等价缩放、SDP PSD 约束都不是全新思想；它们来自控制理论和 inverse LQR 的标准工具。但实质创新在于把这些工具组织到 LQG-MFG 的 mean-covariance inverse setting 里，并给出从局部控制识别到全局控制识别的逻辑分界。这个分界比具体 SDP 本身更有价值。

Dataset / Evaluation

实验是二维 synthetic LQG-MFG，随机采样 SPD costs，生成 forward equilibrium，再执行 inverse recovery。它验证的是理论 pipeline 在 clean、低维、模型完全匹配条件下能闭环：恢复的参数虽然不等于 ground truth，但生成的 mean-covariance trajectories 和 controls 接近观测。

这个 evaluation 支持的 claim 是有限的：它支持“consistent reconstruction 比 exact parameter recovery 更合理”，也暴露了代数识别对导数和矩阵反演敏感。但它没有验证真实场景、finite-agent sampling、partial observation、unknown dynamics、高维 scalability 或 noisy robustness。

因此实验更像 proof-of-concept，而不是实证强支撑。它没有展示该方法在实际数据上能稳定工作，也没有比较不同观测覆盖、rank 条件失败、噪声水平或维度增长下的性能边界。文中未充分说明 SDP 在高维下的数值可扩展性。

Limitation

最大限制是 observability assumptions 很强。论文默认 A,B,σ 已知且 B 可逆；这在很多 inverse control/MFG 场景中并不自然。如果 dynamics 也未知，当前分解会失效或至少变成更严重的 gauge ambiguity。

第二，方法依赖完整连续轨迹及其导数。\tilde P 的恢复需要 \dot\Sigma，\mathcal A 的恢复理论上需要 \ddot{\tilde P}。这在 finite population empirical covariance 下会非常不稳定。实验中作者绕开直接二阶导数，说明实际可用版本已经不是纯代数识别，而是带约束拟合；其统计性质文中未充分说明。

第三，多初始化条件不是小细节，而是 identifiability 的核心资源。协方差轨迹要满足满秩条件，mean 初始化要构成基，\tilde P 轨迹还要有足够时间变化。若系统接近 stationary、成本退化、P 变化弱，global identification 可能失败。泛化到 arbitrary initialization 本质上依赖这些 observed initializations 覆盖了线性结构，而不是数据驱动意义上的泛化。

第四，SDP 只是选择一个 consistent cost representative，不提供 ground-truth interpretability。若实际应用关心经济学含义或偏好参数解释，这个方法只能说“行为等价”，不能说“偏好恢复”。

第五，scalability 上限不清晰。矩阵变量维度随 n^2 增长，rank 条件、Kronecker 系统和 SDP kernel 计算都会在高维变重。文中没有系统分析高维复杂度或 conditioning。

Takeaway

• 1. 对 inverse LQG-MFG，正确目标不是恢复真 cost，而是恢复 trajectory-visible invariants；consistent reconstruction 是比 parameter recovery 更合理的 formulation。
• 2. mean-covariance trajectories 比看起来更有信息：covariance 识别 feedback gain，mean 识别 affine term，多个初始化提供缺失的方向信息。
• 这个“用 distribution dynamics 反推 feedback structure”的思路可以迁移到其他 structured stochastic games/control。
• 3. 全局控制识别不是局部控制识别的简单外推；它需要恢复生成 costate/affine term 的结构。

一句话总结

这篇论文把 LQG-MFG 的 inverse problem 从不可实现的真 cost recovery 改写为基于 mean-covariance trajectories 的等价类不变量识别与 SDP 一致参数构造，是一篇偏结构可辨识性而非数据驱动学习的理论型工作。