基于最优传输的在线增量学习潜空间培育方法 An Optimal Transport-driven Approach for Cultivating Latent Space in Online Incremental Learning
用OT理论在线学多中心GMM,缓解OCIL中数据多模态与灾难遗忘问题
前置知识
在线类增量学习 (OCIL)
OCIL 是持续学习中最具挑战性的设定:数据以小批量方式在线到达,模型只能做单次迭代更新,推理时无法获得任务 ID,且任务之间的数据分布会持续变化。模型既要学习新类,又要防止对已学旧类产生灾难性遗忘。常用的应对策略包括正则化(如 EWC)、参数隔离(如子网络)和基于记忆回放(如经验回放、生成式回放)三类。
本文针对的就是 OCIL 中数据多模态导致的潜空间漂移问题,需要先理解 OCIL 的设定(单遍、有限回放、无任务 ID)才能看懂 MMOT 为何要做'在线 GMM 拟合'。
Wasserstein 距离与最优传输 (OT)
Wasserstein 距离 $W_d(P, Q) = \min_{\gamma \in \Gamma(P,Q)} \mathbb{E}_{(x,y)\sim\gamma}[d(x,y)]$ 度量两个分布之间的'搬运代价',对支撑集是否重叠不敏感,是一个连续可微的度量。熵正则化 OT 进一步加入 KL 散度项 $\varepsilon D_{KL}(\gamma\|P\otimes Q)$,可由 Fenchel-Rockafellar 定理导出对偶形式 $\max_\phi \mathbb{E}_P[\tilde\phi(x)] + \mathbb{E}_Q[\phi(y)]$,其中 $\tilde\phi(x) = -\varepsilon \log \mathbb{E}_P[\exp\frac{-d(x,y)+\phi(y)}{\varepsilon}]$,便于用随机梯度优化。
本文核心是把 OT 当作损失去学 GMM 参数,要看懂对偶形式怎么变成可微的期望形式以及为何选 WS 而不是 KL。
高斯混合模型 (GMM) 与重参数化采样
GMM 形如 $Q = \sum_{k=1}^K \pi_k \mathcal{N}(\mu_k, \Sigma_k)$,通常用 EM 算法做最大似然拟合,但 EM 在 OCIL 中代价昂贵且需要多轮迭代。Gumbel-Softmax 重参数化让离散采样 $\text{Cat}(\pi)$ 变成连续可微的 $y_k = \frac{\exp((\log\pi_k + G_k)/\tau)}{\sum_j \exp((\log\pi_j + G_j)/\tau)}$,配合 $\tilde z = \mu_k + \epsilon_k \sigma_k$(其中 $\epsilon_k\sim\mathcal{N}(0,I)$)就能用梯度下降直接优化 $\{\pi, \mu, \sigma\}$。
MMOT 用 Gumbel-Softmax + 重参数化代替 EM,是本文能够'在线、单步'更新 GMM 的关键。
研究动机
在线类增量学习 (OCIL) 中,数据以小批量方式持续到达,分布不断漂移,并且每个小批量只能做单次迭代更新。早期的代表性方法(如 ER、CoPE、OCM)通常在潜空间里为每个类维护一个可学习原型 (prototype),靠对比式的损失把同类特征拉近、异类特征推远。然而现实数据天然具有多模态结构——同一个类往往包含多个语义子簇,仅靠一个质心无法刻画这种复杂性。更糟糕的是,骨干网络 $f_\theta$ 为了适应新数据会不断改变表征,但质心却只能被冻结或者用很慢的 EM 重新估计,于是训练端和测试端之间会出现明显的'特征漂移',最终在测试集上把同一类错误分到不同子簇里。Figure 1 的 t-SNE 可视化非常直观:左侧用 1 个自适应质心时,每个类的测试特征被错误地压扁成几个孤立的小团块;右侧 OTC 用 4 个质心则能形成与训练分布更贴合的紧凑结构。此外,现有的 GMM 类方法(如 LMC)虽然引入了多质心,但都用 EM 一次性估计后冻结,对持续漂移的潜空间毫无适应能力。
本文的目标是本文的目标是设计一种'在线多质心类表示'机制,使得每个类都能用一组可在线更新的高斯分量来描述其复杂分布,从而在 OCIL 这种单遍、有限记忆的极端设定下,同时解决两个问题:(1) 缓解因数据多模态造成的 train/test 特征不匹配;(2) 通过多质心提供更细粒度的类内/类间约束以抑制灾难性遗忘。作者希望新方法能在标准 OCIL 基准上全面超越 ER、ASER、CoPE、OCM、GSA、OnPro、MOSE、SBS、BiC+AC 等 9 个基线,并且在记忆预算最小(最严苛)时仍然保持优势。
与已有工作不同的是,现有工作存在三个明显空白:第一,几乎没有方法把 OT 理论用在 OCIL 上去'学' GMM,而不是去'度量'两个给定 GMM 的距离;第二,既有的 GMM 路线(LMC 等)无法在线更新质心;第三,对比学习方法只用一个 prototype 描述一个类,丢失了多模态信息。本文的核心切入点是:把 OT 的熵正则对偶形式改写为可微的期望形式,让 $\phi$、$\pi$、$\mu$、$\sigma$ 都可以用梯度下降在线更新——这是把 OT 真正接入 OCIL 训练循环的第一次系统尝试,也因此得名 OTC (Optimal Transport for Cultivating latent space)。
核心方法
OTC 的整体思路分四步:先用交叉熵 (CE) loss 做一次粗粒度训练,让同类特征初步聚合、异类特征初步分开;然后运行 MMOT 在线为每个类拟合一个 GMM,得到 $K$ 个可微的质心 $\mu_{k,c}$、协方差 $\Sigma_{k,c}$ 和混合权重 $\pi_{k,c}$;接着用这些质心构造 Dynamic Preservation 损失 $\mathcal{L}_{DP}$,继续微调骨干网络;最后用质心做记忆回放样本选择和测试时的分类决策。直觉上,MMOT 让每个类获得一组'会动的代表点',Dynamic Preservation 把这些代表点用作更细的类内吸引和类间排斥锚点,二者协同既缓解了多模态刻画不足的问题,又在潜空间层面直接抑制了遗忘。
MMOT 是本文的核心创新。它把'用 OT 度量两个 GMM'这一前向问题,转化为'用 OT 的对偶形式作为损失来学 GMM 参数'这一反向问题。给定类的潜空间经验分布 $P_c$ 和 GMM $Q_c = \sum_{k=1}^K \pi_{k,c}\mathcal{N}(\mu_{k,c}, \Sigma_{k,c})$,作者最小化熵正则 WS 距离 $\min_{\pi,\mu,\sigma} W_\epsilon^d(P_c, Q_c)$,并通过 Gumbel-Softmax + 重参数化技巧将对偶式改写为 $\min_{\pi,\mu,\sigma}\max_\phi \mathbb{E}_{P_c}[\phi(z)] + \mathbb{E}_{Q_c}[\tilde\phi(\tilde z)]$。这个'极小极大 + 期望'的结构天然适合 OCIL:每来一个小批量 $X_c$,先对 Kantorovich 网络 $\phi$ 做 $T_\phi$ 步梯度上升,再对 $\{\pi,\mu,\sigma\}$ 做若干步梯度下降。相对传统 EM 而言,MMOT 不用维护 $B\times K$ 的响应度矩阵,单遍小批量就能更新;相对单质心方法,MMOT 提供了 $K$ 个能在线微调的代表点,从而把 train/test 表征之间的漂移降到最低。
方法步骤详情
完整训练流程如 Algorithm 1 所示。对每个到来的小批量 $(X, \bar X)$($X$ 是新类,$\bar X$ 是从记忆缓冲 $M$ 中抽出的旧类),依次执行四步:(1) Step 0:用交叉熵损失做初始训练,让模型具备基本分类能力;(2) Step 1:调用 MMOT(Algorithm 2),对每个类 $c$ 独立地先用对偶损失更新 Kantorovich 网络 $\phi$(通常 $T_\phi$ 步),再用重参数化样本 $\tilde z_c^k = \mu_{k,c} + \epsilon_k\,\text{diag}(\sigma_{k,c})$(其中 $\epsilon_k\sim\mathcal{N}(0,I)$,混合权重 $y_k$ 由 Gumbel-Softmax 给出)反向更新 $\pi_{k,c}, \mu_{k,c}, \sigma_{k,c}$,每类并行处理,互不干扰;(3) Step 2:用 Step 1 得到的质心构造 Dynamic Preservation 损失 $\mathcal{L}_{DP} = \mathbb{E}_c\mathbb{E}_{x\sim X_c} \log \frac{g_c^{cen}}{\sum_{c'\neq c} g_{c'}^{cen} + g_{c'}^{fea}}$,其中 $g_{c'}^{cen} = \sum_k \exp(f_\theta(x)\cdot \mu_{k,c'}/\tau)$,$g_{c'}^{fea} = \exp(f_\theta(x)\cdot f_\theta(x_{c'})/\tau)$,同时间接训练 $\phi$;(4) Step 3:基于质心选记忆样本——对每个类的每个质心挑当前小批量里离它最近的若干样本进入回放缓冲 $M$;若缓冲已满则随机替换旧样本,迫使缓冲持续覆盖最具代表性的旧数据。测试时(Section 4.3)作者直接用 Mahalanobis 距离 $\hat y = \arg\min_c \min_k d_{MH}(f_\theta(x), \mathcal{N}(\mu_{k,c}, \Sigma_{k,c}))$ 做最近邻分类,不再依赖一个全局线性分类头。
技术新颖性
本文有三层技术新颖性:第一,**OT 用于 GMM 反向学习**——把 WS 对偶式变成可微期望后做端到端梯度优化,这是与传统 OT-for-GMM 路线(如 Chen et al. 2018 算两个给定 GMM 之间的距离)的根本区别,也是首次将之引入 OCIL 场景;第二,**Gumbel-Softmax 替代 EM**——线性于 $K$ 和 $d$ 的复杂度使 GMM 拟合可在小批量单遍训练中完成,相比 EM 节省了 $I_{EM}$ 次内循环;第三,**多质心驱动的动态保持**——$\mathcal{L}_{DP}$ 把类内吸引锚点从 1 个扩展到 $K$ 个,相当于用 $K$ 个软聚类中心同时约束表示学习,对类别边界的强化比单一 prototype 更细致,也为测试阶段提供了基于 Mahalanobis 距离的天然多模态分类器。三者结合使得 OTC 既是表征学习器、又是聚类器、还是分类器,且三者权重共享。复杂度上 MMOT 单步时间为 $O(T_\phi B + BKd + SBd)$,内存 $O(Bd + Kd)$,当 $I_{EM}$ 较大时显著优于 EM 的 $O(I_{EM} BKd)/O(BK + Kd)$。
实验结果
Table 1 报告了 CIFAR-10、CIFAR-100、Tiny-ImageNet 三个基准共 9 个 (数据集, 缓冲大小) 组合下的最终平均准确率 (FAA),所有数字都是 5 次运行的均值 ± 标准差。在 9 个组合中 OTC 全部排名第一或第二,平均超越最强基线约 1.4–2%。最显著的提升出现在 Tiny-ImageNet:当 $M=2k$ 时 OTC 取得 $19.5\%$,比第二名 MOSE ($18.2\%$) 高 $1.3$ 个百分点;当 $M=5k$ 时 OTC 拿到 $31.6\%$,超过 BiC+AC ($22.6\%$) 近 9 个百分点;当 $M=10k$ 时为 $39.5\%$,接近 MOSE 的 $38.7\%$ 但仍更稳。Table 2 的平均遗忘 (FFM) 同样说明问题:在 CIFAR-10 上 OTC 为 $23.2/13.5/9.8\%$,与 BiC+AC 的 $23.4/16.4/12.8\%$ 相当甚至更低;在 CIFAR-100 上为 $11.3/10.0/6.3\%$,全面优于 GSA、OnPro 等强基线;在 Tiny-ImageNet 上虽然 $23.5/19.8/16.5\%$ 落后于 CoPE 的 $10.9/9.0/8.2\%$,作者通过 Figure 3 的逐任务曲线揭示了原因:CoPE 起步就非常低($4$–$5\%$ 左右),最终增量小才显得遗忘小,并不是真正在学习长任务序列。Figure 4 的 t-SNE 进一步证明,OTC 用 4 个质心时的类内紧凑度和类间分离度均明显优于 CoPE 的单质心。Figure 5 的 #centroids 消融显示:在 CIFAR-10 上,$M=200$ 时最佳 $K=3$,$M=1k$ 时最佳 $K=4$,超过后性能会因记忆容量不足而下降,验证了 $K$ 与缓冲大小需要匹配。Table 3 的记忆回放消融对比了用质心挑选样本和随机挑选样本的差异:在 $K=4$ 时质心挑选达到 $75.9\%$,比随机挑选 ($73.4\%$) 高 2.5 个百分点,说明质心不仅能描述类分布,还能指导更具代表性的记忆回放。Table 4 把场景延伸到 MNIST:$M=0.5k$ 时 OTC 取得 $93.6\%$ 的准确率与 $2.4\%$ 的遗忘,$M=1.5k$ 时提升到 $97.7\%/1.1\%$,均高于 GSA、MOSE、BiC+AC。Table 5 进一步展示 OTC 在离线 CIL 设定下也具有竞争力:在 CIFAR-10 ($M=200$) 上拿到 $67.05\%$,比 Co2L ($65.57\%$) 高 $1.5$ 个百分点;在 CIFAR-100 ($M=500$) 上拿到 $33.18\%$,领先 DER++ ($28.70\%$) 近 4.5 个百分点。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| CIFAR-10 在线类增量学习 (5 个任务, 每任务 2 类) | Final Average Accuracy (越高越好, %) | OTC: 64.8 / 72.0 / 76.1 (M=0.2k/0.5k/1k) | BiC+AC (最强基线): 63.5 / 71.2 / 75.8; OnPro: 62.7 / 70.5 / 74.7 | M=0.2k 时比 BiC+AC 高 +1.3 pp, 比 OnPro 高 +2.1 pp |
| CIFAR-100 在线类增量学习 (10 个任务, 每任务 10 类) | Final Average Accuracy (%) | OTC: 36.8 / 48.5 / 56.5 (M=1k/2k/5k) | BiC+AC: 36.1 / 47.3 / 54.2; MOSE: 35.1 / 45.1 / 54.5 | M=2k 时领先第二名 +1.2 pp (48.5 vs 47.3); M=5k 时领先 BiC+AC +2.3 pp |
| Tiny-ImageNet 在线类增量学习 (100 个任务, 每任务 2 类) | Final Average Accuracy (%) | OTC: 19.5 / 31.6 / 39.5 (M=2k/5k/10k) | MOSE: 18.2 / 30.9 / 38.7; BiC+AC: 17.6 / 22.6 / 26.5 | M=5k 时对比 BiC+AC 提升 +9.0 pp, 对比 OnPro 提升 +10.5 pp |
| CIFAR-10 (M=1k) - 记忆回放消融 | Average Accuracy (%) - 基于质心选 vs 随机选 | 基于质心: 71.6 / 73.8 / 75.3 / 75.9 / 75.8 / 74.5 (K=1/2/3/4/5/8) | 随机选: 68.7 / 71.6 / 73.6 / 73.4 / 73.1 / 72.6 | K=4 时质心挑选比随机挑选高 +2.5 pp (75.9 vs 73.4) |
| CIFAR-10 (M=200) - 离线 CIL 设定 | Average Accuracy (%) | OTC: 67.05 (M=200) / 76.45 (M=500) / 87.03 (M=5120) | Co2L: 65.57 / 74.26 / 84.27; DER++: 64.88 / 72.70 / 85.24 | M=200 时领先 Co2L +1.48 pp; M=500 时领先 DER++ +3.75 pp |
局限与改进
作者在正文中坦率指出了一个主要局限:在 Tiny-ImageNet 上,OTC 的最终平均遗忘 (FFM) 显著高于 CoPE($23.5/19.8/16.5\%$ 对 $10.9/9.0/8.2\%$)。他们通过 Figure 3 的逐任务准确率曲线解释:CoPE 起始准确率极低(接近 $5\%$),后段增量小,因而 forgetting 的差分 $f_i$ 天然偏小,并不代表它能更好地学新任务;OTC 起点更高($>40\%$),学习新任务增量大,因此 forgetting 的绝对值更高。换言之 OTC 是在'学得更多'的代价下被这个指标惩罚了。但从 Figure 3 也能看到 CoPE 的整体准确率在 Tiny-ImageNet 上始终低于 OTC/GSA/MOSE,所以作者强调 forgetting 指标需要配合 accuracy 一起看。从我们自己的观察,还有几点潜在问题:(1) 算法的超参数比单质心方法多:每个类需要 $K$、温度 $\tau$、$\phi$ 网络结构及其 $T_\phi$ 更新步数等,且 Table 3 显示 $K$ 过大反而因小样本过拟合而退化,这意味着在不同数据集/缓冲大小下需要重新搜索;(2) 对角协方差虽然计算友好但限制了对特征相关性的建模,对高维数据可能不够;(3) Kantorovich 网络 $\phi$ 引入额外参数和算力,文中未报告具体训练耗时;(4) 对 $K$ 较大(如 5、8)且 $M$ 较小(200)时性能下降明显,说明算法在严苛预算下的稳定性仍有提升空间。
独立分析的弱点
**弱点 1:K 和 $\tau$ 的敏感性**:Figure 5 和 Table 3 表明 $K$ 必须根据记忆大小调优——$M=200$ 时 $K>3$ 就退化,$M=1k$ 时最佳为 $K=4$,再大也会回落。这说明当前 MMOT 缺乏自适应 $K$ 的机制,且 $K$ 固定时遇到流分布变化大 (如 Tiny-ImageNet 100 任务) 时容易过拟合或欠拟合。**改进方向**:可以引入 $\pi_k$ 的稀疏性正则(如 KL($\pi\|$Uniform))让不必要的高斯分量自动衰减,或者用贝叶斯非参数 GMM(DP-GMM)让 $K$ 在训练中自适应。**弱点 2:对角协方差表达力不足**:用 $\text{diag}(\sigma^2)$ 限制了不同维度之间的相关性,特别在 Tiny-ImageNet 这种高维 ($d=512$) 特征空间里会损失结构信息。**改进方向**:可改用低秩协方差 $\Sigma_k = U_k U_k^\top + \text{diag}(\sigma^2_k)$,复杂度仍近似线性;或者对 $\phi$ 网络的输入做 PCA 降维后再算 Mahalanobis。**弱点 3:Kantorovich 网络 $\phi$ 引入额外超参数和算力开销**:$\phi$ 是一个小 MLP,但需要 $T_\phi$ 次内循环更新才能逼近最优对偶变量,文章没给出 $T_\phi$ 的消融以及训练时长对比。**改进方向**:可以借鉴 GAN 的经验,用交替更新比或自适应 $\phi$ 学习率,避免 $T_\phi$ 的手工调节。**弱点 4:测试时 Mahalanobis 距离假设每个高斯都是同方差尺度的类代表,对类别间的尺度差异敏感**。**改进方向**:可改用标准化余弦相似度或可学习的温度参数,让分类决策更鲁棒。**弱点 5:Dynamic Preservation 的负样本选择是 batch 内随机配对**,没有显式的难负样本挖掘。**改进方向**:可结合 OCM 的互信息最大化或 MOSE 的反向蒸馏构造难负样本。
未来方向
**作者在文末及补充材料中暗示的方向**:(1) 把 MMOT 推广到离线 CIL(如 Table 5 所示 OTC 在离线设定下同样领先,可以进一步研究多轮训练时 $K$ 的最优选择);(2) 把 OTC 与其他 SOTA(如 BiC+AC 的辅助分类器、OnPro 的在线原型学习)做集成;(3) 在更长的任务序列(>100 任务)和更复杂的数据流(多模态数据如图像-文本)上验证扩展性。**基于成果自然延伸的方向**:(a) **在线非参数 GMM**:用 DP-GMM 或 Chinese Restaurant Process 让 $K$ 自适应,避免手动调参;(b) **OT 与自监督/对比预训练结合**:在骨干 $f_\theta$ 初始化阶段就用 OT 约束潜空间拓扑,可能让 OTC 在第一阶段就获得更优的初始质心;(c) **跨域/跨任务 OT**:当前 MMOT 是 per-class 独立拟合,理论上可以加一个全局 OT 项让所有类的质心共同正则化,进一步抑制语义混淆;(d) **流形上的 OT**:把潜空间距离 $d$ 从欧氏改为流形度量(如双曲距离),可能在类别层次结构明显的任务上带来增益;(e) **理论分析**:本文给出了复杂度对比,但对收敛性和对小批量噪声的稳定性没有理论刻画,未来可以用随机近似理论分析 $T_\phi$ 和学习率的依赖。
复现评估
**开源情况**:作者补充材料承诺会公开实现,但 arXiv v4 中尚未给出代码链接。**数据**:使用的是公开基准 (MNIST, CIFAR-10/100, Tiny-ImageNet),无需额外数据获取。**算力**:从实验规模看,骨干网络是 MLP (MNIST) 和 ResNet-18 (其余),单卡 GPU 即可复现;Kantorovich 网络 $\phi$ 是小 MLP,$K=4$、$T_\phi$ 较小的情况下训练耗时与传统 OCIL 方法同量级。**复现难度**:中等偏低。**可能障碍**:(1) 超参数较多:每个类一个 GMM、$K$、温度 $\tau$、$\phi$ 结构与 $T_\phi$、Mahalanobis 距离是否带温度等都需调优;(2) Gumbel-Softmax 的温度 schedule、$\phi$ 与 $\pi/\mu/\sigma$ 的学习率比会显著影响稳定性;(3) 论文没有公开随机种子的设置细节,5 次运行的方差在某些配置下达到 ±2.0(如 Tiny-ImageNet $M=2k$ 为 $19.5\pm2.0$),需要跑多次取平均才能稳定对比;(4) 数据增强策略引用了 Wang et al. 2024 的方法,需要自己实现。总体来说,复现 OTC 的实验本身门槛不高,但要复现到论文报告的精度需要仔细对齐上述实现细节。
论文图表
在 MNIST 测试集上对两种方法的潜空间做 t-SNE 投影。左侧是传统'单自适应质心'方法的表征:同一个数字类(如'1'或'7')被错误地压缩成几个分离的小团块,说明单个质心无法覆盖多模态分布;右侧是 OTC 用 4 个质心后的表征:每个数字类形成 4 个清晰、紧凑、与训练分布更一致的子聚类,类内更紧密、类间更分散。这张图直观说明了数据天然的多模态性以及为什么需要'多质心'。
是论文动机的核心视觉证据,让读者一眼看懂单质心方案的缺陷和 OTC 多质心的必要性;放在 motivation 部分最合适。
在 MNIST 上比较 OTC 与 GSA、MOSE、BiC+AC。$M=0.5k$ 时 OTC 取得 93.6%/2.4%(准确率/遗忘),$M=1.5k$ 时 97.7%/1.1%,在 4 个数字上均优于三个强基线。
补充材料中的额外实验,证明 OTC 在更简单的数据集上同样有效。