谐波状态空间模型的高效 Kalman 平滑

基于摘要分析。本文研究信号分析中的谐波概率模型，主要应用背景是声学建模；核心贡献是在其线性高斯状态空间表示下，为 Rauch-Tung-Striebel 平滑器的反向过程提出 rotation-corrected（旋转校正）低秩近似，以降低平滑推断的计算成本。 作者给出的常规平滑推断复杂度为 O(TH²)，其中 T 为时间序列长度，H 为模型频率数量的两倍。近似方法以 S 表示近似秩，摘要将其复杂度记为“Q(TSH)”；该符号是否为排版问题尚未验证，不能直接改写为 O(TSH)。作者称该近似有效，但摘要未提供误差指标、运行时间、频率设置或对照实验，实验协议、消融及统计信息尚未验证。全文需重点核对旋转校正的具体形式、秩的选择方式及精度与计算量的权衡。 平台推测（待验证）：若 EEG 分析任务使用显式谐波组成的线性高斯状态空间模型，该反向低秩近似可能用于降低长序列、多频率条件下的离线平滑开销；这一假设并不等于已证实的 EEG 或 BCI 效果。可复用部分是平滑器反向近似机制，需适配 EEG 观测矩阵、噪声模型及频率设置。低信噪比、非平稳频率和跨被试或通道差异可能影响模型适配；小数据下噪声与动力学参数估计的不稳定也需评估。一个可检验的小实验是在固定频率与参数的合成含噪谐波序列上，对比完整平滑器与不同秩近似的后验均值误差、运行时间及内存，再以固定协议的 EEG 片段检验适配性。已有 EEG 相关工作尚未检索确认。