面向组合图像检索的因子化多模态大语言模型嵌入 Factorized MLLM Embeddings for Composed Image Retrieval
用因子化潜变量先想象目标再构建检索嵌入,解耦查询理解与判别嵌入学习
前置知识
组合图像检索 (CIR)
一种相对检索范式:用户给出一张参考图像和一句修改文本(如“把T恤上的logo换成卡通图案”),系统需在图库中找出编辑后的目标图像。模型必须判断文本修改了参考图的哪些视觉属性、哪些保持不变,并把编辑结果表达为可检索的表示。评测用Recall@N(目标出现在前N结果的比例),CIRR还提供6候选子集内的Recall_subset指标。
全文的问题设定、损失设计与所有实验都围绕CIR展开,不理解任务就无法明白因子分解为何要区分“要改的”与“要保留的”。
InfoNCE 对比损失
对比学习的标准目标:批次内把配对样本(查询-目标)相似度拉高、非配对推低,形式为$-\frac{1}{B}\sum_i \log\frac{\exp(S_{ii}/\tau)}{\sum_j \exp(S_{ij}/\tau)}$,$\tau$为温度。检索模型用它直接优化查询与目标嵌入的相似度,是本文因子级损失$\mathcal{C}(\mathbf{S}^f)$与实例级损失$\mathcal{C}(\mathbf{S}^g)$的公共骨架。
本文两级匹配都是InfoNCE的变体,理解其批次内正负样本结构才能看懂消融实验与“潜变量塌缩”分析。
MLLM 的 [EOS] 嵌入
多模态大语言模型(如Qwen2.5-VL)以因果注意力处理图文序列,取序列末[EOS] token的归一化隐藏态作为整段输入的单一向量嵌入,是VLM2Vec以来MLLM检索的通行做法。[EOS]通过注意力聚合全部图文信息,但单token容量有限,细粒度信息在聚合中难免稀释。
FactEmbed把因子化潜变量前置到[EOS]之前,让[EOS]在已分解的因子之上聚合;理解该机制才能明白“全局嵌入+因子集”双表征的分工设计。
Sinkhorn 最优传输 (OT)
最优传输求两个集合间的最优匹配方案。带熵正则的OT可用Sinkhorn迭代高效求解:给定$K\times K$余弦相似度矩阵$R$,找传输计划$P^\star=\arg\max_{P\in\Pi}\langle P,R\rangle+\varepsilon H(P)$,行列和均为$1/K$,匹配分$\langle P^\star,R\rangle$是可微的柔性对应分数。本文取$\varepsilon=0.1$、迭代30次。
因子化潜变量是无序集合,因子级InfoNCE需要OT在查询因子与目标因子之间建立灵活的一对一对应(附录E)。
DoRA 参数高效微调
权重分解低秩适配(Weight-Decomposed Low-Rank Adaptation):把预训练权重分解为幅度与方向分量,在方向分量上施加低秩更新(本文rank=16、scaling=64)。相比全参微调大幅降低显存与算力需求,同时保持接近全参微调的效果,是当前MLLM检索微调的主流配置。
本文Stage 2/3用DoRA微调Qwen2.5-VL-7B骨干,复现代价与算力评估都建立在这一设置上。
信息瓶颈与可学习潜变量 token
在输入序列前置少量可学习token,迫使信息经其压缩传递,类似Perceiver的latents、DETR的object queries与slot attention的slots。slot attention用潜变量间的归一化竞争诱导分工;本文解码器同样沿潜变量维做softmax归一化(alpha mask),使各潜变量负责不同空间区域,实现因子级专业化。
因子化潜变量正是这类设计;理解“瓶颈促成专业化”的原理是读懂目标想象损失与alpha mask蒸馏的前提。
研究动机
组合图像检索(CIR)要求根据“参考图像+修改文本”在图库中找到编辑后的目标图像。近期方法普遍微调多模态大语言模型(MLLM),把融合后的多模态查询直接压缩为单个检索嵌入(通常取[EOS] token的最后隐藏态),仅用对比损失优化查询-目标相似度(如CIR-LVLM、ReCALL、VLM2Vec)。作者指出该范式的关键缺陷:直接映射到单嵌入不给模型任何显式信号去调用其组合理解能力来解析编辑意图。以“把T恤上的logo换成卡通图案”为例,模型必须分辨哪些属性要改(logo)、哪些必须保留(衣服其余部分与背景),但对比监督只能隐式推断修改后的嵌入,单个token也没有明确职责。评估本身也有问题:原始CIRR/FashionIQ含歧义样本与评估瑕疵,所有方法在原始基准上的表现显著低于refined版本——R@1最多低13.7点(CIRR)、平均R@10低15.6点(FashionIQ),通用SOTA Qwen3-VL-Embedding-8B差距反而最大(15.1/16.7点);宽泛指标如R@5已近饱和(>98%),掩盖了top-1精确检索的真实差距。
本文的目标是本文目标是把“组合查询理解”与“判别嵌入学习”解耦:让模型先在嵌入空间内模拟(想象)文本指定的编辑,再在想象出的目标之上构建判别性检索嵌入。具体拆成四件事:其一,引入$K$个可学习因子化潜变量作为信息瓶颈,把融合的多模态查询分解为因子级组件,让模型有空间在不扭曲其他属性的前提下表达指定修改;其二,用“目标想象”目标函数驱动潜变量在粗布局先验之外重建目标的细粒度残差因子,从而锚定目标语义、隐式区分要修改与要保留的属性,且无需密集标注或显式推理链;其三,通过因子级InfoNCE与注意力蒸馏把这种分解从辅助头传播进骨干网络深层,使检索时真正用得上;其四,推理时保留单[EOS]全局嵌入负责高效召回,同时用同一次前向产生的均值池化潜变量对top-100候选做近零成本重排,兼顾单向量的效率与多向量的细粒度精度。
与已有工作不同的是,本文的独特切入是把“想象”内嵌到判别式嵌入模型内部。与零样本方法用扩散模型生成代理图像(Imagine and Seek)或调用世界模型预测目标不同,FactEmbed的想象只存在于训练期辅助头,推理时零额外开销、无需生成模型;与CCIN、FIRE-CIR在查询时调用外部LLM做属性级分解(推理开销大,FIRE-CIR验证成本随候选数线性增长)不同,分解在单次前向内完成;与MetaEmbed、Bottleneck tokens等“附加可学习token库”的多向量路线不同,本文首次对每个token施加结构化约束——以目标重建作为监督信号,强制每个潜变量锚定目标场景中空间连贯的语义区域。关键技术设计是残差化想象:解码以$2\times2$平均池化的粗布局先验为条件,潜变量只需解释先验覆盖不了的残差细节,避免低频全局布局主导重建目标,因此无需显式推理轨迹或密集标注即可诱导“模拟指定编辑”的行为。
核心方法
直觉上,CIR查询可拆成“改什么”与“保什么”,直接压成单向量会丢失该结构。FactEmbed先让一组因子化潜变量把查询解析成结构化组件并想象目标外观,再在此基础上构建检索嵌入。技术路线:以Qwen2.5-VL-7B-Instruct为骨干(DoRA rank=16),在查询与目标两侧输入序列的[EOS]之前前置$K=8$个可学习潜变量;在中间层(第14/28层)外接轻量解码器(1层自注意力+3层MLP),以潜变量为瓶颈重建目标的DINOv2 patch特征,解码条件是$2\times2$平均池化的粗布局先验,迫使潜变量只编码先验解释不了的残差。训练分三阶段:Stage 1仅用想象损失$\mathcal{L}_{imag}$热身潜变量与解码器;Stage 2用DoRA微调骨干并联合优化$\mathcal{L}_{total}=\mathcal{L}_{NCE}+\lambda_{imag}\mathcal{L}_{imag}+\lambda_{distill}\mathcal{L}_{distill}$;Stage 3用MLLM增强三元组后训练。推理时单次前向同时产出[EOS]全局嵌入$z$与潜变量集合:$z$负责全库召回,均值池化潜变量$\tilde{u}$重排top-100短名单。
核心创新是把“目标想象”作为中间训练目标,通过因子化瓶颈强制查询理解先于判别嵌入。与已有方法的本质区别有三。其一,直接对比映射(CIR-LVLM、ReCALL)对单个token无职责约束:Table 7显示仅加InfoNCE的潜变量实例内余弦相似度高达0.764——塌缩为共享的实例级表征;加入想象+蒸馏后降到0.586(原型移除后0.548对0.841),证明只有重建型结构化监督才能让潜变量真正分工。其二,残差化重建:GT目标DINOv2特征平均池化到$2\times2$再上采样作先验,$\mathcal{L}_{imag}$只对先验覆盖不了的残差敏感,潜变量专注局部可编辑因子(手臂、领口、logo),避免低频全局布局主导;Fig.4显示无先验时潜变量塌缩成粗区域。其三,注意力蒸馏把解码器的alpha mask(沿潜变量维softmax归一化的空间贡献图)用KL散度蒸馏到骨干倒数第3层的latent-to-patch注意力,把辅助头学到的分解迁移进检索真正经过的深层。因子级匹配用熵正则Sinkhorn OT($\varepsilon=0.1$、30次迭代)处理无序集合的柔性对应,且始终优于最大相似度匹配。
方法步骤详情
步骤如下。(1) 输入构造:查询与目标两侧序列均在[EOS]前前置$K=8$个可学习潜变量$U^{(0)}\in\mathbb{R}^{K\times D}$,由共享MLLM因果编码。(2) 目标想象:取中间层$\ell=14$的潜变量隐藏态,广播到2D网格并加可学习位置编码,叠加$2\times2$布局先验(GT DINOv2特征$F$池化后上采样),轻量解码器输出各潜变量的空间logits $\mathcal{M}_k$与重建特征$\hat{F}_k$;alpha mask沿潜变量维softmax归一化为$\bar{\mathcal{M}}_k$,重建特征$\hat{F}=\sum_k\bar{\mathcal{M}}_k\odot\hat{F}_k$,两侧对同一GT算MSE得$\mathcal{L}_{imag}$。(3) 因子级匹配:Sinkhorn OT计算集合匹配分$s_{OT}$,批次内InfoNCE得$\mathcal{C}(\mathbf{S}^f)$;实例级匹配取[EOS]归一化嵌入$z$得$\mathcal{C}(\mathbf{S}^g)$,相加为$\mathcal{L}_{NCE}$。(4) 注意力蒸馏:倒数第3层潜变量对patch的注意力分布与解码器mask分布做KL得$\mathcal{L}_{distill}$,仅目标侧施加。(5) 三阶段训练(CIRR为3000/500/350步)。(6) 后训练:DINOv2过滤与目标余弦>0.99的近重复难负例,GPT-5.6-luna对比描述生成增强三元组再训练。(7) 推理:$z$召回top-100后按$r(q,t)=\cos(z^q,z^t)+\cos(\tilde{u}^q,\tilde{u}^t)$重排。
技术新颖性
技术新颖性五点。(1) 判别式检索器内嵌生成式想象——不同于“Imagine and Seek”等外挂扩散模型生成代理图像的方案,想象只存在于训练期辅助头,推理时零额外成本。(2) 残差化瓶颈设计——$2\times2$布局先验使重建目标天然对齐“文本描述的局部修改”,与slot attention的无先验分解相比以极低成本引导潜变量覆盖语义连贯区域,且保持MLLM前向不变、兼容FlashAttention等核优化。(3) 对抗目标的调和——$\mathcal{L}_{imag}$促因子分化、$\mathcal{L}_{NCE}$促实例内塌缩,作者用分阶段训练化解冲突:直接联合训练收敛显著变慢,Stage 1隔离训练可跳过骨干上层,4×GPU约13小时完成,兼得效率。(4) 单侧蒸馏——空间蒸馏只施加在目标侧(查询侧注意力定义在参考图空间、与目标网格不共享),却通过共享骨干间接让查询侧潜变量在推理时(先验不可用)保持定位语义。(5) 双表征互补——同一次前向产出全局$z$与因子集,重排每图仅增1个向量、每查询仅增0.17ms(<0.05%),在不引入多向量索引成本的前提下回收细粒度证据。
实验结果
主结果(Table 1):Refined-CIRR上R@1 68.99、Rs@1 87.45、Avg 78.22全面第一,超CSMCIR与ReCALL(67.16/67.41),R@1相对提升2.7%/2.3%;Refined-FashionIQ平均R@10 71.13,超两者2.3%/2.4%。原始基准(Table 2/3):CIRR test R@1 56.60(ReCALL 53.76)、Avg 83.37最佳,FashionIQ平均R@10 57.71最佳;所有方法在原始基准显著低于refined版(R@1最多-13.7点)。推理策略(Table 4):OT全因子匹配R@1最高(56.84/69.20)但需8向量/图;高效重排56.60/68.99仅2向量/图,差距0.24/0.21。消融(Table 5):基线51.98→+因子NCE 52.72→+蒸馏53.28→+重排54.75→+后训练56.60;无辅助目标时重排仅-0.37/+0.24,证明收益源于结构化监督而非多一个向量;后训练单独用于基线仅53.69,全模型高出2.91/2.57,组件互补。分析:想象层$\ell=14$最佳;OT匹配优于MS匹配;换Qwen3-VL-8B后R@1 +2.65(ReCALL仅+1.60);仅InfoNCE的潜变量实例内相似度0.764(塌缩),本文0.586;重排延迟仅+0.17ms(<0.05%)。增强:对比描述把ReCALL的27-33%未改写率与10-30%反转率降至7.0%/0.0%,总成本$48.99。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| Refined-CIRR 图像检索 | Recall@1 | 68.99 | ReCALL 67.41 / CSMCIR 67.16 | +1.58 / +1.83(相对 +2.3% / +2.7%) |
| Refined-CIRR 子集检索 | Recall_subset@1 | 87.45 | ReCALL 87.12 / CSMCIR 86.15 | +0.33 / +1.30 |
| Refined-FashionIQ 图像检索 | 平均 Recall@10 | 71.13 | CSMCIR 69.55 / ReCALL 69.48 | +1.58 / +1.65(相对 +2.3% / +2.4%) |
| CIRR 测试集 | Recall@1 | 56.60 | ReCALL 53.76 / CSMCIR 53.88 | +2.84 / +2.72 |
| FashionIQ 验证集 | 平均 Recall@10 | 57.71 | CSMCIR 57.10 / ReCALL 53.89 | +0.61 / +3.82 |
| CIRR 高效推理 | Recall@1(存储开销) | 56.60(2向量/图,+0.17ms/查询) | Full Factor OT 56.84(8向量/图,3.99ms打分) | -0.24 R@1 换取 75% 存储节省与近零延迟开销 |
局限与改进
作者承认的局限:(1) 固定$K=8$忽略输入复杂度,没有监督信号指明语义因子数量,查询自适应潜变量与变长集合匹配留作未来工作;(2) 均值池化重排未榨干细粒度信息,与全因子匹配尚有0.24/0.21的R@1差距;(3) 评估限于CIRR与FashionIQ,作为统一多模态检索器的泛化性待验证。我的补充观察:(4) 目标想象依赖DINOv2特征与$2\times2$布局先验,先验会“吃掉”全局低频变化,对整体风格迁移或大范围场景改写类查询,残差假设可能失效,潜变量无处发力;(5) 训练流程复杂:三阶段、三个损失系数、OT超参($\varepsilon=0.1$、30次Sinkhorn)、解码层与先验分辨率均需调优,复现门槛偏高;(6) 查询编码353ms/查询(bs=1)仍是延迟主体,论文只优化了打分环节,超大规模图库场景下编码成本待解;(7) Stage 3绑定闭源API(GPT-5.6-luna),增强数据质量与可用性受外部模型制约;(8) 蒸馏仅施加于目标侧,查询侧的因子定位靠共享骨干间接迁移,在分布外查询上是否稳固缺乏直接验证。
独立分析的弱点
独立弱点分析:(1) 因子语义不可解释——Table 7只证明潜变量彼此不同,未证明每个潜变量对应人类可理解的属性(如“颜色”“袖长”),想象目标只要求空间连贯;改进方向:引入属性级弱监督或与修改文本成分显式对齐。(2) 想象是模糊重建——Fig.3/5的PCA可视化显示重建远非精确,MSE回归DINOv2特征易学到统计平均而非真实编辑结果;若想象细节系统性偏差,会被OT匹配当作判别证据传播噪声;改进方向:对查询侧与目标侧特征加一致性约束或感知损失。(3) 重排受制于召回——top-100短名单由$z$决定,目标不在短名单内则因子证据完全失效;改进方向:多级级联重排或ColBERT式近似最大相似度索引直接用因子集检索。(4) 固定$2\times2$先验粒度僵硬——对logo级微编辑偏粗、对全局改写则多余有害;改进方向:多尺度金字塔先验或由文本预测先验分辨率。(5) 同查询多难负例间假阴性——作者自述对比描述只相对原目标去歧义;改进方向:条件于全部候选集的集合级描述。
未来方向
作者提出的方向:(1) 查询自适应的潜变量数量及跨不同集合大小的匹配机制;(2) 将Matryoshka表示学习引入因子表示,使全因子匹配的精度接近单向量存储成本;(3) 在更多任务上验证其作为统一多模态检索器的泛化性。基于本文成果可延伸:(4) 把因子化想象目标推广到视频片段检索、可视化文档检索等其他细粒度检索任务,布局先验对应时空网格或版面网格;(5) 用文本条件生成或开放词汇分割图替代固定的$2\times2$平均池化先验,获得语义自适应的结构先验;(6) 构造合成编辑对,为查询侧也提供网格对齐的蒸馏监督,而非仅靠共享骨干间接迁移;(7) 与推理时扩展(潜变量rollout、测试时优化、强化学习驱动的生成式嵌入)结合,让因子集支持迭代式精排;(8) alpha mask天然可视化“模型认为哪里应被修改”,可发展为CIR的可解释性与诊断工具,甚至用于定位数据集标注噪声;(9) 研究增强数据规模、因子塌缩与检索精度三者的关系,探索增强数据与因子化目标的协同缩放规律。
复现评估
复现评估:项目页 https://cvlab-kaist.github.io/FactEmbed/ ,作者承诺公开增强三元组(CIRR 57,476条、FashionIQ 56,499条)。基座Qwen2.5-VL-7B-Instruct、DINOv2、DoRA均开源;Stage 3依赖GPT-5.6-luna批量API(一次性$22.82+$26.17,可复现但需付费;退回ReCALL本地方案则未改写率27-33%、质量更低)。算力:Stage 1只训练解码器+潜变量(跳过骨干上层),4×RTX PRO 5000 Blackwell约13小时;Stage 2/3用2×RTX PRO 6000 Blackwell + PyTorch FSDP。超参齐全:$K=8$、$h=2$、$\ell=14$、$\ell_{top}=-3$、$\lambda_{imag}=1.0$、$\lambda_{distill}=0.5$、DoRA rank16/scale64、AdamW、cosine 10% warmup、batch 512、OT $\varepsilon=0.1$、30次Sinkhorn。综合:代码若随项目页发布,复现难度中等偏高——三阶段流程与多损失耦合需仔细对齐,但关键数字与配置均已披露,refined基准与协议公开可得。
论文图表
开放域CIRR定性对比:查询如“手机翻开、屏幕显示地图”“再加两个注射器”“白色表面上躺着的黑色哈巴狗”,FactEmbed将文本修改精确落地到视觉语境(基线被通用手机图像干扰、缺乏相对计数与关系推理),本文结果R@8/R@5/R@7位置精准命中。
证明方法在开放域(非时尚)查询上的泛化能力,覆盖计数与关系推理等高阶组合理解。
推理开销量化:查询编码353ms/查询(bs=1)、164ms(bs=32)主导总延迟;[EOS]打分仅0.06ms;高效重排增加0.23ms打分、总延迟仅+0.17ms(<0.05%开销,索引2向量/图);全因子打分3.99ms且存储随库规模线性增长。
支撑“近零成本重排”的效率主张,是判断方法能否实际部署的关键数据。