流形(Manifold) JiT 中的和 mHC 中的是一个意思吗
“流形”并不是一个单一对象。不同的论文里用它指代完全不同的东西,但它们共享一种“用几何结构缩小有效学习空间”的思想。本笔记把几个常见的“流形”概念拆开记录。
一、核心思想(共同点)
无论是哪一种用法,背后都反对一种无结构的高维学习方式:
- 完全无约束的高维空间太大、太自由,优化困难,泛化也差。
- 真正有意义的学习应当被限制到某种更稳定、更有结构、更容易泛化的集合上。
- 用“流形”一词表达的就是这种“有结构的低维约束空间”。
但在不同的论文里,这个集合的对象、所在位置和作用机制完全不同。下面把几个常见用法拆开。
二、DeepSeek mHC 里的“流形”:参数/变换空间里的约束集合
mHC(Manifold-Constrained Hyper-Connections,DeepSeek 提出的残差连接扩展)把残差映射矩阵 (B_l) 约束到一个特殊集合里,也就是 doubly stochastic matrices(双随机矩阵),其几何对象对应 Birkhoff polytope。
直觉上,这个集合里的矩阵满足:
- 每行和为 1
- 每列和为 1
- 元素非负
DeepSeek 这么做的目的不是说“真实语言数据在这个流形上”,而是说:
- 残差映射矩阵落在这个受约束的集合里时,谱性质更稳定;
- 多层堆叠时不容易把信号放大到失控;
- 前向和反向传播都会更稳。
所以这里的“流形”更准确的含义是:
对模型内部变换施加几何约束,让参数更新和层间映射待在一个好地方。
严格来讲,Birkhoff polytope 是一个受约束的几何集合/凸多面体。论文里用 manifold 一词,是机器学习论文里常见的较宽泛用法,重点是“有结构的约束空间”,并不严格强调光滑流形的拓扑定义。
关注的问题
- 优化稳定性:什么样的残差映射矩阵是稳定的?
- 多层堆叠下信号是否能保持有界。
- 反向传播梯度是否可控。
三、模型生成里的“流形”:数据分布所在的低维数据流形
另一类“流形”出现在生成模型里,典型代表是 JiT(Just image Transformer)这类工作。这里用的是更经典的 manifold assumption(流形假设):
- 自然图像虽然存在于很高维的像素空间里;
- 但真实可见的图像并不会充满整个高维空间;
- 它们实际上集中在一个低维结构上,也就是所谓的数据流形。
以扩散模型为例:
- 预测噪声、预测 (x_t) 这类“被污染后的量”,它们离真实数据流形更远;
- 这些 noised quantity 在高维空间里更“散”、更难学;
- 如果直接预测 clean image,相当于直接回到数据流形附近;
- 网络即使容量没那么夸张,也更容易在高维像素空间里工作。
这里的“流形”是:
真实数据分布所在的低维子结构。
这是“数据几何”的概念,不是“参数约束”的概念。
关注的问题
- 表示与生成目标:模型应该去预测什么,才更贴近真实数据结构?
- 训练目标是否落在数据流形附近。
- 容量需求与可学性。
四、VAE 等隐空间里的“流形”:隐变量空间
VAE 及其衍生工作里还有一个常见的“流形”概念:隐空间(latent space)。它和上面两者又不一样:
- 数据点被认为落在某个低维流形上;
- 通过编码器把这个流形“摊平”或“映射”到隐空间;
- 隐空间本身在设计上就被约束为接近标准正态。
它的关注点是:
- 流形到隐空间的映射是否可逆;
- 隐空间是否平滑、是否可采样;
- 生成时能否从隐空间走回数据流形。
和 mHC / JiT 相比,VAE 的“流形”是数据侧的,但同时引入了对隐空间分布的强约束。
五、对比
| 视角 | 流形是什么 | 关注点 | 典型工作 |
|---|---|---|---|
| 参数/变换约束 | 模型内部变换所在的受约束集合(如 Birkhoff polytope) | 优化稳定性、信号传播 | DeepSeek mHC |
| 数据分布 | 真实数据所在的低维数据流形 | 表示、生成目标、可学性 | 扩散模型、JiT、VAE |
| 隐空间 | 编码器学到的低维流形映射 | 映射可逆性、采样平滑性 | VAE 及其衍生 |
六、为什么你会觉得它们像
它们的相似性是“哲学上的相似”,不是“数学对象上的相同”:
- mHC 回答:“什么样的残差映射矩阵是稳定的?” → 偏优化稳定性
- JiT 回答:“模型应该去预测什么,才更贴近真实数据结构?” → 偏表示与生成目标
- VAE 回答:“数据流形如何被映射到一个可采样的隐空间?” → 偏表示与生成
共同思想可以一句话概括:
好的学习,不该在整个高维空间里瞎找,而该回到一个更有结构的集合上。
七、一句话总结
DeepSeek mHC 里的“流形”是模型内部残差映射的约束集合(doubly stochastic / Birkhoff polytope),JiT 里的“流形”是自然图像分布所在的数据流形,它们共享“用几何结构缩小有效学习空间”的思想,但不是同一个数学对象。
评论(0)