1. 从一次“认错”说起
1.1 机器人眼里的那个杯子
把自己代入一台具身智能机器人的视角:你面前有一张桌面,桌面上放着一个马克杯。第一次,杯子正面对着你,左侧灯光把杯把的影子拉得很长;第二次,杯子转了大约30度,环境光也暗了一档;第三次,你后退了半步,杯子边缘几乎和背景墙融在一起。这三张图像在像素级别上完全是三张不同的图,如果按像素算欧氏距离,它们可能比“杯子”和“一个完全不同的螺丝刀”的距离还要大。
但你的视觉编码网络必须做一件事:把这三点映射到向量空间里相近甚至相同的位置上。无论杯子怎么转、光照怎么变、距离怎么换,只要它还是“可抓取的杯子”,网络在特征空间生成的向量就应当落在同一个区域里。
这就是标题里那句话的意思。神经网络的本质,并不只是“拟合一个函数”,而是在做一种多对一的映射:在高维输入空间里,那些语义相同、任务相关特征一致的点,经过层层非线性变换之后,被压到低维特征向量空间中的同一片区域。关键词不是“多”,也不是“一”,而是“相近但不同”。正因为允许不同的输入点投影到相近位置,网络才拥有泛化能力;正因为那片区域内部还有细微差别,模型才没有彻底丢失信息。
1.2 为什么“多对一”值得单独拎出来聊
很多讲深度学习的资料会把网络描述成“非线性函数拟合器”,这个说法没有錯,但抓错了重点。网络的大部分容量并不是用来拟合某个具体输出值的,而是用来建立一类输入之间的等价关系。分类网络把同一类别的不同图片输出为同一个类标,这是等价;检索系统把同一物体的不同照片映射到同一个特征向量附近,这也是等价;在具身智能里,一个状态编码器把不同视角、不同光照下的观测压缩成相似的潜在变量,本质上还是等价。
模型泛化得好,说明等价关系建得合理;模型表现崩坏,往往是等价关系建错了。我在一个模拟项目X里遇到过这样的问题:机械臂抓取模型的感知部分,面对同一种形状的杯子,无论颜色怎么变都能正确识别;但只要换了材质,从光滑陶瓷换成磨砂塑料,特征向量立即飘到十万八千里外。这说明网络建立的多对一映射抓住了“颜色”这个维度,却没有把“形状”和“可抓取性”这些真正影响抓取成败的特征吸收进来。所以,研究多对一映射怎么建立、怎么控制,就是在研究泛化本身。
这篇笔记想把这件事掰开讲透:为什么它是本质而不是bug,它在具身智能的感知、决策、表征训练里如何体现,以及我们该怎样有意识地设计这种映射,而不是指望它自己冒出来。适合正在跑具身智能实验的人,也适合想真正理解“表征学习”在学什么的同学。
需要模型API调用? 免费领10W Token,多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 先搭一个不算太数学的理解框架
2.1 信息压缩天然就是“多对一”的
先说一个绕不开的事实:输入是高维的。一张256乘256的RGB图像有接近20万个维度,就算缩小到96乘96,也还有近3万个维度。而常用的输出特征通常是128维、256维,顶多512维。把几万维压到几百维,信息论的账摆在那里——必然有海量细节被丢弃。这个压缩过程天然就造成“多个输入点对应同一个输出点”。
如果某个模型不做这种压缩,它记住的是一张张具体的图片,而不是“杯子”这个概念。那它在机器人上就会表现得非常脆弱:换个角度就失效,换个光照就懵,稍微遇到遮挡就完全无法工作。具身智能又恰恰活在无穷多变化的环境里,不可能把每个视角都拍下来存一遍。所以,多对一映射不是某种可选的设计,而是把无穷输入归纳为有限概念的必然手段。
生活里有个很贴切的类比:档案室给一个人建档时,不会记录他每天穿什么衣服、梳什么发型,只会留下姓名、职业、兴趣这几项。同一个人每天有无数种外在状态,但都归到同一个档案盒里。神经网络的特征维度就是这个档案盒的容量——如果只有两个格子,不同人会被硬塞到一起;如果格子太多,档案室又失去了归纳的意义。
2.2 数学上怎么描述这件事
严谨一点来看,我们学的是一个从输入空间X到特征空间Z的映射f:X → Z。对任意两个输入x1、x2,如果它们语义相关,就希望||f(x1) - f(x2)||这个欧氏距离足够小;如果它们语义不同,就希望距离足够大。严格说,这不是集合论里那种“必然等于同一个点”的满射,而是“近似落到同一区域”。但在工程实践里,这点近似已经够了——特征空间里那段小小的距离,恰好可以保留物体颜色、材质等对任务仍有影响的细节。
更精炼的表述是:神经网络在隐式地学习输入空间上的一个等价关系。所有被映射到同一片特征区域的输入点,组成了一个等价类。这个等价类不是人工定义的,而是由数据分布、损失函数和网络结构共同雕刻出来的。谁和谁等价,谁和谁必须分开,恰恰就是模型真正学到的“世界模型”。
这里不得不提流形假说。真实世界的高维数据并不是均匀分布在空间里的,而是集中在某些低维流形附近。同一个物体在不同视角下的照片,在这个流形上是互相连通的邻域。神经网络学到的多对一映射,本质上是把高维观测中的流形结构“折叠”到低维特征空间里。流形上相邻的点,映射后依然相邻;“相同特征的不同点”,其实就是同一个流形区域里那些互相连通的观测。
2.3 为什么需要非线性,而线性压缩做不到
如果只用一个线性层做降维,比如PCA,那输出特征和输入之间就是简单的线性投影。这种方案能压缩维度,但没法把光照变化、视角变化这类“伪差异”折叠掉。因为在线性变换下,如果两个点在输入空间里距离很远,它们在输出空间里的距离也一定很远,没有“让它们聚拢”的自由度。
神经网络强就强在中间堆了多层非线性。ReLU这类激活函数把空间切成很多分段线性区域,层与层组合起来,相当于可以做一种受控的折叠:对无关差异,让它们沿着流形方向被压缩;对关键差异,则通过多个区域的拉伸保持可分。所以网络可以做到一方面把几万维压到几百维,另一方面同类之间不混淆、异类之间不粘连。这也是神经网络降维相比传统线性方法的本质优势。
3. 训练过程是怎么把点“挤”成多对一的
3.1 分类损失,最朴素的多对一压力
训练神经网络时,最常用的分类损失是softmax加交叉熵。以图像分类为例,标签本身就把所有“同一类物体”的照片归成了一个目标。网络的倒数第二层特征会向每个类别的类中心聚拢,因为softmax函数鼓励每个类对应一个线性可分的区域。
在具身智能里,这个分类损失可以是物体种类识别,也可以是场景类别判断,甚至是动作类别。它能给模型一个很强的先验:同一标签下的所有输入,输出特征必须足够相近,否则softmax无法同时满足正确分类。不过分类损失有个局限,它只要求同类特征落在同一个线性可分区域内,并不强制特征形成紧凑的簇。有时候你会发现类内距离还是很大,只是网络强行用边界把它们切开。所以实际项目里,我一般不会只靠分类损失来压特征。
3.2 对比损失,把“拉近”和“推开”写成显式目标
对比学习把这个过程做得更直接。以InfoNCE风格的目标为例,我们构造一批正样本对和负样本对,然后最小化这样一个损失:正样本对的特征距离越小越好,负样本对的特征距离越大越好。训练时把温度系数设为0.1左右,相当于对所有负样本做一次softmax惩罚,距离越远的负样本受到的推力越强。
温度系数很有意思。温度越低,模型越“苛刻”,稍微跟正样本特征靠偏一点就得到很大惩罚,这会促使映射区域变得非常紧缩。温度越高,约束越平滑,特征分布更松弛。调温度本质上就是在调“多对一”的力度:温度太低,容易把同类内的细微差异也抹掉,丢信息;温度太高,不同类又分不开。用0.07到0.2这个区间起步,一般不会犯大错。
3.3 重建损失,防止压缩压过头
多对一映射听上去很好,但如果没有约束,网络最省事的做法是把所有输入都映射到同一个点,反正损失里只要求“正样本靠近”,万一所有样本都挤在一起,正样本必然零距离,但负样本也分不开了。对比学习历史上最臭名昭著的失败模式就是表示塌缩,而对抗它的方法之一就是重建损失。
比如变分自编码器,或者像掩码自编码器那样重建被遮住的输入,都迫使特征空间保留足够信息,才能从特征里恢复出观测细节。重建损失和对比损失组合在一起,等于给多对一映射上了一道保险:允许同类输入共享一片区域,但不允许这片区域变成什么都没有的点。在实际工程里,我看到很多团队在具身智能的预训练中,会用“对比损失为主、重建损失为辅”的组合,特征质量明显好于单用其中任何一种。
3.4 不同损失产生的特征形态对比
| 损失类型 | 对多对一映射的作用 | 主要风险 | 适用场景 |
|---|---|---|---|
| 分类损失 | 把同标签输入压到类可分区域 | 类内不够紧凑,边界依赖强 | 下游任务明确,标签够用 |
| 对比损失 | 主动拉近正样本对、推开负样本对 | 容易表示塌缩,训练不稳定 | 自监督预训练,数据量大 |
| 重建损失 | 保留信息,防止压缩过度 | 可能保留太多无关细节 | 需要强泛化、跨域迁移 |
| 三者组合 | 兼顾紧凑、可分、信息完整 | 调参复杂,需要实验验证 | 具身智能感知骨干训练 |
我从实践里的体会是,分类损失给出底线,重建损失兜住信息,对比损失负责把“多对一”压实。三者的权重需要按任务调,但通常对比损失的权重不必设得太大,0.1到1.0之间就能看到明显效果。
4. 具身智能里,多对一映射到底用在哪
4.1 感知侧:从像素到物体实体的关键跳跃
具身智能的感知模块每天都在做多对一映射。一个物体检测模型,既要把同一物体不同角度的图片识别成同一个目标,又要在实例分割时把同一个目标的像素聚成一片。这里的特征空间,需要做到“同物靠近、异物远离”。
在抓取任务中,这个映射尤其关键。视觉骨干输出物体特征后,抓取位姿估计模块通常基于这些特征预测可抓取区域。如果视觉特征不具备多对一的稳定性,那么稍微加个遮挡,机械臂的抓取点就会抖动,实际表现就是时而抓住、时而抓空。反过来,只要特征空间够稳,旋转桌面上的物体、调整光源方向,抓取仍能保持一致的输出。
4.2 决策侧:不同状态映射到同一动作倾向
具身智能里不只有视觉编码,策略网络同样在做多对一映射。强化学习或者模仿学习里,策略是从状态到动作分布的映射。状态空间极其庞大,机械臂每个关节角度、每个物体的位置姿态组合起来,几乎是无限多的。但很多状态下,最优动作是相似的:无论杯子在桌面偏左两厘米还是偏右两厘米,抓取它的动作轨迹基本一致,只需要末端位置微调。
一个训练良好的策略网络,会在状态特征空间里把“从左边接近抓杯”和“从右边接近抓杯”这两类状态压缩到相近的表示上,然后输出相似的动作分布。如果策略网络把每个状态都当成完全独立的情况来处理,它就会在训练集以外的地方彻底失去泛化能力。换句话说,策略的本质就是“把无穷状态归纳成有限行为模式”,这和特征空间的多对一映射是同一个原理。
4.3 跨模态:让不同输入空间共用同一个语义区
具身智能系统往往要同时处理语言、视觉、触觉、力觉等多模态信息。拿语言和视觉举例,“把红色杯子拿过来”这句话和一张包含红色杯子的图片,在原始空间中毫无共同之处,但要让机器人理解这句话并执行抓取,就需要把两者的特征映射到相近的语义区域。
最近流行的具身智能大模型,核心工作之一就是做这种跨模态对齐。对齐的本质就是多对一:文字的“红色杯子”、图像的红色杯子、甚至触觉反馈中握持杯子的感觉,都被压到同一个语义向量附近。只有这种对齐在某一个共享特征空间里成立,机器人才能根据语言指令定位目标、根据视觉反馈调整抓取力度。跨模态的“多”比单模态更多,因为它要同时折叠语言多义性、视觉外观差异和传感器噪声。
4.4 世界模型里的潜在状态
世界模型也是多对一映射的受益者。世界模型从历史观测中学习一个潜在状态空间,把大量低层观测压缩成少量抽象状态变量。比如一个杯子从左边挪到右边,摄像机拍到连续几十帧完全不同的画面,但潜在状态可以概括为“杯子位置在逐渐变化”,而不是一串像素级变化序列。
有了这种多对一的压缩,模型才能在潜在空间里做预测和规划。否则,在高维像素空间里直接预测未来帧,既浪费算力又难以抓住重点。世界模型真正拟合的是“抽象状态演化的规律”,而这个抽象状态正是多对一映射创造出来的产物。
5. 两个坑,比收益更值得警惕
5.1 等价关系建错:过拟合的根源
多对一映射如果建得不对,最典型的问题就是过拟合。一个模型如果把某个特定视角、特定光照下的杯子记住了一个独立特征点,而不去跟其他视角归并,那它在训练集里的表现可以很好,但换个新环境就会崩溃。这其实就是网络把等价关系建在了错误的维度上:它没有建立起“同一杯子”的等价类,而是建立了“这个角度、这个光照下的杯子”的等价类。
具身智能任务里数据往往来自仿真和真实场景的混合。仿真里渲染的材质、光照分布可能和现实差异很大。如果网络只针对仿真数据的特定分布建立了多对一映射,而没有覆盖到真实场景的变化,它就会出现“仿真里准、真机上废”的典型症状。这个症状的实质,就是多对一映射的覆盖范围太窄,没能把真实世界的输入点映射到预先学习的特征簇里。
5.2 映射过头:表示塌缩
另一个极端更隐蔽。当所有输入都被映射到同一个特征点时,从形式上看也是多对一,但这是最无意义的多对一,因为所有信息都被抹平了。这就是表示塌缩。对比学习早期非常容易崩到这个状态:特征向量几乎全等,损失降得很低,但没有任何区分能力。
我在调试一个视觉语言对齐模型时,遇到过这种诡异的情况:训练损失非常平稳,验证集上的对比准确率也不错,但一到真实场景,机器人就无法区分“红色杯子”和“蓝色螺丝刀”。检查特征后发现,所有文本特征和所有图像特征都聚在一个直径不到0.01的球里。模型做的事情就是“无论输入是什么,都输出几乎相同的向量”。这种情况比过拟合更难察觉,因为训练指标是正常的。
5.3 具身智能场景里的具体症状
| 症状 | 可能的映射问题 | 危害 |
|---|---|---|
| 固定角度下很准,换视角就乱 | 等价类只覆盖特定视角 | 无法部署到真实场景 |
| 相似形状的物体总是混淆 | 等价类建在次要特征上 | 误抓、碰撞 |
| 所有特征聚合到一点 | 表示塌缩 | 完全丧失判别力 |
| 跨模态对齐后语义错乱 | 共享空间没有正确折叠多模态差异 | 语言指令无法闭环 |
| 在线训练时特征越跑越散 | 损失约束不足或学习率过大 | 策略不稳定、难以收敛 |
如果你发现自己训练的模型有上表任何一种症状,第一步不是加数据,而是先可视化特征空间,看多对一映射到底建立到了什么程度。
6. 实操:如何有意识地训练多对一映射
6.1 制造“同特征的不同点”比模型更重要
很多人以为多对一映射是模型结构带来的,实际上最大的来源是训练数据里的正样本对。要让网络学会“同一物体、不同外观观测都映射到一处”,你必须在训练时给它大量的这种成对数据。在具身智能里,这就是数据增强和域随机化的价值。
具体做法包括:对图像做随机裁剪、颜色抖动、亮度扰动,在仿真环境里随机更换材质、光照、相机视角,在真实场景里刻意加入遮挡、移动物体位置。这些操作的共同目的,是构造出标题里说的“向量空间相同特征的不同点”。网络学到的多对一映射,本质上是从这些被强化的“等价样本对”里压出来的。
6.2 用对比损失把正负样本的边界立起来
训练一个感知骨干时,最直接的方式是用对比学习。下面这个最小示例可以用作起点:
python复制import torch
import torch.nn.functional as F
def info_nce_loss(feats, labels, temperature=0.1):
feats = F.normalize(feats, dim=1)
sim = feats @ feats.T / temperature
# 同一标签下的样本都视为正样本
mask_positive = labels[:, None] == labels[None, :]
mask_positive.fill_diagonal_(False) # 去掉自己和自己对比
# 负样本是除了正样本之外的所有样本
mask_negative = ~mask_positive
exp_sim = torch.exp(sim)
neg_sum = (exp_sim * mask_negative.float()).sum(dim=1)
pos_sum = (exp_sim * mask_positive.float()).sum(dim=1)
loss = -torch.log(pos_sum / (pos_sum + neg_sum + 1e-8))
return loss.mean()
注意两点。第一,batch size要足够大,最好在128以上,否则负样本数量太少,模型很难推开所有不相关的东西。第二,温度系数0.1是个常见起步值,运行时可以记录特征距离的分布来辅助调参。如果发现正样本距离仍然很高,调低温度;如果发现表示塌缩,调高温度。
6.3 防止表示塌缩的工程技巧
除了调温度,还有几个工程手段能让多对一映射保持在一个健康的“多而不塌”区间。
第一个是stop-gradient。在对比学习里,对其中一个分支的特征梯度置零,能破坏“所有特征同时坍缩”的捷径,经典论文里特别强调这一点。第二个是EMA教师网络,用一个缓慢更新的教师网络为目标网络生成目标特征,学生网络不断向教师看齐,能显著提升训练的稳定性。第三个是加入聚类约束,比如用可学习的类中心参与损失计算,也可以兜住特征分布。
我自己常用的配置是:对比损失为主,重建损失为辅,再用一个很轻的线性分类头做监督冻结阶段。
6.4 推理阶段的拒绝判断
多对一映射训练好之后,不要在推理时直接相信特征向量的绝对位置。我习惯的做法是在每个类别的特征簇中心,然后算测试样本到最近的类中心的Mahalanobis距离。如果距离超过训练集分布的分位数,就让机器人输出“不确定”,而不是强行给出一个抓取目标。
这在具身智能里非常重要。机器人一旦基于一个离群的错误特征去做抓取,轻则抓空,重则撞坏东西。宁可停下来请求人类帮助,也不要硬来。“多对一”映射好的模型,其实天然会给出一个可解释的置信度:样本落在哪个簇里、离簇中心多远。善用这个信号,比直接在logits上套一个softmax的虚拟置信度靠谱得多。
7. 常见失败模式与排查清单
7.1 特征漂移
特征漂移表现为训练过程中特征分布逐渐偏移,比如本来聚好的簇慢慢散开,或者整个簇集体平移。常见原因是学习率太高,损失函数里各项权重不平衡。我曾经在一个多模态对齐任务里,发现视觉编码器已经收敛,但文本编码器的学习率设得过大,导致文本特征不断把视觉特征“拉”走。最后统一学习率,并引入EMA更新目标网络才稳住。
排查方法很简单:固定一批验证样本,每几百步记录它们的特征向量,算两两间的平均距离。如果距离持续变大,说明特征稳定性的约束不够。
7.2 同类不紧、异类不分
这类问题最常出现在标签噪声较大的场景。具身智能数据集往往靠自动标注生成,某些“同类”标签本身对应着截然不同的语义。如果对这类数据强行施加对比损失,模型会把本来不同的东西拉到一起。
这时可以先用聚类算法检查标签内部是否真的只有一个语义簇。如果发现标签内部有两个明显的子簇,及时修正数据,别指望模型能消化错误的等价关系。
7.3 表示塌缩的快速判断
判断表示是否塌缩,最直接的手段是计算特征矩阵的有效秩。把一批验证集特征拼成一个矩阵,做奇异值分解,看有多少个奇异值明显大于零。如果远小于特征维度,比如256维特征只有两三个有效奇异值,那大概率已经塌缩。
也可以用t-SNE或者UMAP可视化,如果所有样本在图上挤成一个点团,没有可分辨的纹理,那基本就是塌缩。还可以跑一个线性探测:拿特征向量训练一个浅层分类器,如果验证准确率接近随机水平,那特征里就没有保留什么类别的信息。
7.4 排查速查表
| 现象 | 先看什么 | 可能的修正 |
|---|---|---|
| 特征只有一个簇 | 奇异值分布、t-SNE | 提高温度、加重建损失、增大特征维度 |
| 同类点分散 | 类内距离分布 | 加强数据增强、增加正样本对、降低温度 |
| 训练acc高但换场景失效 | 等价类覆盖范围 | 加域随机化,扩大正样本覆盖 |
| 跨模态特征漂移 | 各模态特征缩放比例 | 统一学习率,加梯度裁剪 |
| 置信度总接近1 | 特征到类中心距离 | 改用Mahalanobis距离做拒绝判断 |
7.5 一个可以长期使用的评估流程
我在每次训练完感知骨干后,都会固定一组验证集,把特征向量全部缓存到本地。然后统计三个指标:类内平均距离、类间最小距离、特征矩阵有效秩。这三个指标能让我在几秒内判断多对一映射建得好不好,比只看loss曲线有用得多。
如果类内平均距离明显小于类间最小距离,说明映射有良好的区分度和紧凑度;如果两者接近,就要回头检查数据增强和损失权重。把这三个指标作为训练质量的门禁,可以有效避免带着有缺陷的特征进入后面的强化学习或模仿学习阶段。
还有一个经验:在具身智能项目里,我不会直接拿图像分类预训练模型来用。先用自己的正负样本对做对比学习,让映射在机器人视角下建立,再接入策略网络,收敛速度通常会快很多。这个“先对齐视角、再学习动作”的顺序,本质上是先造好多对一映射的地基,再做上层建筑。
8. 聊到最后一个体会
我干了这么多年,越来越觉得“多对一”不只是神经网络的性质,更是我们设计系统时应有意识地使用的一个归纳偏置。具身智能里,真正的特征不只是“像什么”,更应该是“能做什么”。不同外观、不同颜色,但抓取方式相同的物体,在特征空间里应当靠近;外观相似但抓取方式截然不同的物体,应当被拉开。这个等价类,应该由任务来定义,而不是由像素相似度来定义。
在之前调试过的模拟项目X里,我踩过不少坑,也总结出一个很朴素的方法:先把多对一映射的目标写清楚——哪些输入点应当等价、哪些应当分离,再决定用什么损失、什么增强手段去实现它。脑子里有了这张等价关系表,很多训练问题都能提前避免。
最后再分享一个小技巧:训练过程中不要只看平均loss,隔一段时间把验证集的特征投影出来看看。如果发现某个簇里混进了不应该进来的点,别急着加正则,先去检查那条数据对应的标签和增强方式。多对一映射的本质问题是“谁的邻居应该成为谁”,搞清楚这个,剩下的参数调优都是水到渠成的事。
