摘要
当前多模态生成系统面临一个根本性的架构碎片化问题:文本使用自回归 token 预测、图像使用扩散模型去噪、音频使用编解码器重建------每个模态使用完全不同的数学框架和训练目标,导致多模态模型必须通过复杂的适配层(cross-attention、Q-Former 等)进行拼接。本文提出,精度扩散(Precision Diffusion, PD) 能够从根本上解决这一问题。精度扩散将扩散模型的前向过程从"加高斯噪声"重新定义为"逐级降低量化精度",使得所有模态都可以统一描述为同一量化空间中的不同精度级别 。我们设计了一个最小化的双模态验证实验:两个不同的二维高斯混合分布模拟两种"模态"(分别代表图像和文本),共享同一个精度扩散预测器、同一条损失函数、同一套前向过程,仅通过一个 modality_id 标签进行区分。实验结果表明:(1)统一预测器在两个模态上的表现与各自独立的模态专用预测器几乎相同(差距 < 2%);(2)同一输入在不同模态标签下产生的梯度方向差异可达 4.8 倍,证明预测器是真正的模态感知;(3)通过切换模态标签,预测器能够将一种模态的粗精度表示精炼为另一种模态的分布(跨模态精度桥)。我们论证了,精度扩散为统一多模态生成提供了第一个数学上一致、无需适配层的框架。
1. 引言
1.1 多模态系统的碎片化困境
当前最先进的多模态生成系统的架构可以用一个词概括:拼接。
- Stable Diffusion 1:文本编码器(CLIP 2)+ 扩散模型。文本用 transformer 的自回归 loss 训练,图像用扩散模型的 denoising loss 训练。两者通过 cross-attention 强行连接。
- DALL-E 3 3:类似结构,额外加了一个图像 captioner 来提升文本-图像对齐。
- Sora 4:视频 patch 化 + 扩散 transformer,文本条件通过 adaptive layer norm 注入。
- GPT-4o / Gemini 5, 6:多模态 tokenizer + 自回归 transformer。不同模态的 token 序列拼接后统一用 next-token prediction 训练------但 tokenizer 本身仍然是为每个模态单独设计的。
所有这些系统的共同特征:每个模态有自己的编码方式、自己的训练目标、自己的损失函数 。模态之间的交互完全依赖注意力机制或适配器网络在隐空间中进行。这些适配层是可训练的,但它们不是从第一性原理推导出来的------它们是工程上的权宜之计。
1.2 碎片化的根源:扩散模型的高斯假设
这个碎片化的根源可以追溯到扩散模型的数学基础。DDPM 7 的前向过程定义为:
xt=αˉtx0+1−αˉtϵ,ϵ∼N(0,I) x_t = \sqrt{\bar{\alpha}_t} x_0 + \sqrt{1 - \bar{\alpha}_t} \epsilon, \quad \epsilon \sim \mathcal{N}(0, I) xt=αˉt x0+1−αˉt ϵ,ϵ∼N(0,I)
这个公式隐含了一个关键假设:数据 x0x_0x0 是连续向量,前向过程通过加高斯噪声来破坏信息。
这个假设对图像 latent 是合理的(VQ-VAE 或 VAE 的连续 latent),但对文本完全不适用。文本 token 是离散的,其嵌入向量上添加的各向同性高斯噪声在语义上没有意义------"猫"和"狗"之间的高斯插值与这两个 token 的语义关系毫无关联。因此,文本必须使用完全不同的框架(自回归或 BERT 式的 masked prediction)进行建模。
1.3 本文的核心主张
我们提出一个根本性的替代方案:将扩散模型的前向过程从高斯加噪改为精度递减的量化。
具体而言,我们不问"如何向数据加噪声",而是问"如何降低数据的表示精度"。对于任何模态,这个问题的答案都是统一的:
- 对图像:逐级降低 VQ latent 的量化位宽(256-bin → 64-bin → 16-bin → 4-bin)
- 对文本:逐级降低 token embedding 的量化精度(相同的位宽衰减)
- 对音频:同理
不同模态的区别仅在于它们的量化码本不同 (图像码本和文本码本是不同的 centroid 集合),但前向过程的数学形式完全相同 :xt=Qt(x0)x_t = Q_t(x_0)xt=Qt(x0),其中 QtQ_tQt 是 2bt2^{b_t}2bt 级别的量化器。
由此,我们得到精度扩散(Precision Diffusion, PD)框架。本文的目的是:
- 形式化精度扩散作为统一多模态生成的数学基础。
- 实验验证:通过一个最小化的双模态探针实验,证明一个预测器、一条损失函数、一个前向过程可以同时处理两种不同的模态。
- 论证精度扩散消除多模态碎片化的理论路径。
2. 相关工作的局限性
2.1 多模态架构的演进
多模态大模型的发展大致经历了三个阶段:
阶段一:双塔 + 适配器(2018--2021)。CLIP 2 训练独立的文本和图像编码器,通过对比学习对齐。ALBEF 8、BLIP 9 在此基础上加跨模态注意力。
阶段二:统一自回归(2021--2024)。DALL-E 10、Parti 11 将图像 token 化后与文本 token 拼接,统一用自回归 transformer 生成。这个方案在形式上统一了生成过程,但不同模态的 tokenizer(文本的 BPE tokenizer vs 图像的 VQ tokenizer)仍然是完全独立的。
阶段三:原生多模态(2024--)。GPT-4o 5、Gemini 6、Chameleon 12 试图从 token 层面统一多模态。然而,它们仍然依赖 VQ-VAE 13 进行图像 token 化------VQ-VAE 的训练依赖直通估计器(STE),其梯度是非法的近似。
2.2 直通估计器的问题
STE 14 是 VQ-VAE 训练中的核心近似技巧:量化操作 z^=argminc∈C∥z−c∥\hat{z} = \text{argmin}_{c \in C} \|z - c\|z^=argminc∈C∥z−c∥ 不可微,因此反向传播时直接将梯度复制过来------∂z^/∂z≈I\partial \hat{z} / \partial z \approx I∂z^/∂z≈I。
STE 的问题在单模态 VQ-VAE 中已被充分讨论 15:它引入梯度偏置,尤其在训练早期。在多模态场景中,这个问题被放大------因为不同模态的量化器需要在联合隐空间中被统一训练,而 STE 的噪声传播使得对齐变得更加困难。
精度扩散通过用可微预测器的梯度替代 STE,从根本上消除了这个问题。
2.3 精度扩散与 DDPM 的本质区别
我们在先前的工作中已经严格证明了 16,精度扩散的前向过程与 DDPM 在统计意义上完全不同:二维 Kolmogorov--Smirnov 检验在所有扩散步骤上给出 p≈0p \approx 0p≈0,PD 的残差是有结构的量化误差(2D 中 t=4t=4t=4 时 ρ=0.988\rho = 0.988ρ=0.988),而 DDPM 的残差是各向同性高斯噪声(ρ≈0\rho \approx 0ρ≈0)。
本文在前序工作之上,首次将精度扩散推广到多模态场景。
3. 方法:精度扩散作为统一多模态框架
3.1 精度扩散的前向过程
给定来自任意模态的数据 x0∈Rdx_0 \in \mathbb{R}^dx0∈Rd,以及一个递减的位宽序列 b0>b1>⋯>bTb_0 > b_1 > \cdots > b_Tb0>b1>⋯>bT(对应码本大小 Kt=2btK_t = 2^{b_t}Kt=2bt),精度扩散的前向过程定义为:
xt=Qt(x0)=argminc∈Ct∥x0−c∥2 x_t = Q_t(x_0) = \text{argmin}_{c \in \mathcal{C}_t} \|x_0 - c\|^2 xt=Qt(x0)=argminc∈Ct∥x0−c∥2
其中 Ct\mathcal{C}_tCt 是精度级别 ttt 处的码本(包含 KtK_tKt 个 centroid)。
注意:Ct\mathcal{C}_tCt 是模态相关的 (不同模态的码本不同),但前向过程的数学形式是模态无关的。
3.2 多模态精度扩散预测器
核心创新:训练一个统一的、模态感知的预测器 fθf_\thetafθ:
fθ:Rd×0,1×{0,1}M→Rd f_\theta: \mathbb{R}^d \times 0, 1 \times \{0, 1\}^M \to \mathbb{R}^d fθ:Rd×0,1×{0,1}M→Rd
其中输入包括:
- xtx_txt:当前精度级别的量化表示
- t/Tt/Tt/T:归一化时间步
- modm\text{mod}_mmodm:模态标识(one-hot 或整数标签)
输出是预测的累积量化残差 R^=fθ(xt,t/T,mod)\hat{R} = f_\theta(x_t, t/T, \text{mod})R^=fθ(xt,t/T,mod)。
训练损失为统一的 MSE:
L(θ)=Ex0,t,mod∥fθ(xt,t/T,mod)−(x0−xt)∥2 \mathcal{L}(\theta) = \mathbb{E}_{x_0, t, \text{mod}}\left\\\|f_\\theta(x_t, t/T, \\text{mod}) - (x_0 - x_t)\\\|\^2\\right L(θ)=Ex0,t,mod∥fθ(xt,t/T,mod)−(x0−xt)∥2
关键要点:
- 一个预测器覆盖所有模态------无需每模态一个网络。
- 一条损失函数覆盖所有模态------无需对比学习、交叉熵、去噪 loss 的混合。
- 模态标签仅是一个输入维度------类似于扩散模型中的条件信号。
3.3 跨模态精度桥
在精度扩散框架下,跨模态生成(如 text → image)被自然地解释为精度精炼过程:
- 取源模态的粗精度量化表示 xTsrcx_T^{\text{src}}xTsrc。
- 从 t=Tt = Tt=T 到 t=0t = 0t=0,使用目标模态标签 modtgt\text{mod}{\text{tgt}}modtgt 进行逐步精炼:
xt−1=xt+η⋅fθ(xt,t/T,modtgt) x{t-1} = x_t + \eta \cdot f_\theta(x_t, t/T, \text{mod}_{\text{tgt}}) xt−1=xt+η⋅fθ(xt,t/T,modtgt) - 最终的 x0x_0x0 即目标模态的生成结果。
这个过程不需要任何跨模态适配层。模态的"翻译"完全由预测器在联合训练中学到的模态感知能力驱动。
3.4 与现有框架的对比
| 特性 | 现有方案(扩散+适配器) | 精度扩散框架 |
|---|---|---|
| 文本建模 | 自回归 / BERT | 精度扩散(量化退化) |
| 图像建模 | DDPM / DDIM 去噪 | 精度扩散(量化精炼) |
| 模态交互 | Cross-attention / Q-Former | 模态标签切换 |
| 损失函数 | 每个模态独立 | 统一的 MSE |
| 梯度 | STE(近似) | 可微预测器(真梯度) |
| 推理 | 不同模态不同流程 | 统一的精度精炼过程 |
4. 实验:双模态精度扩散探针
为隔离精度扩散在统一多模态方面的核心机制,我们设计了一个最小化控制实验:
4.1 实验设计
模态定义:两个不同的二维高斯混合分布模拟两种"模态":
- 模态 A(模拟"图像") :五个分量,分布广泛(σ≈2.2\sigma \approx 2.2σ≈2.2),分量中心覆盖 −3,3×−3,4-3, 3 \times -3, 4−3,3×−3,4。
- 模态 B(模拟"文本") :三个分量,分布紧凑(σ≈0.8\sigma \approx 0.8σ≈0.8),分量中心集中在 −1,1.5×0,1.5-1, 1.5 \times 0, 1.5−1,1.5×0,1.5。
量化层次 :T=4T = 4T=4 步,码本大小 256,64,16,4,2256, 64, 16, 4, 2256,64,16,4,2。每个模态分别用 K-means 拟合自己的量化码本。
预测器:3 层 MLP(128 隐层)。模态专用版本:4 输入 → 128 → 128 → 2。统一版本:5 输入(增加 modality_id)→ 128 → 128 → 2。
训练数据:每模态 15,000 个训练点 × 5 个精度级别 = 75,000 样本/模态。统一训练集 = 150,000 样本。
4.2 评估指标
- 统一质量:统一预测器 vs 模态专用预测器在各精度级别上的 MSE 对比。
- 模态感知:同一点在不同模态标签下预测残差的差异。
- 跨模态精度桥:从模态 A 的粗精度表示出发,使用模态 B 标签精炼后是否向 B 的分布靠拢。
- 统一损失:验证同一 MSE 损失函数对两个模态同时有效。
5. 实验结果
5.1 统一预测器质量 = 模态专用预测器质量
表 1:统一预测器 vs 模态专用预测器的 MSE 对比
| 精度级别 (K) | A-专用 | 统一(A) | 差距 | B-专用 | 统一(B) | 差距 |
|---|---|---|---|---|---|---|
| 256 | 0.0107 | 0.0108 | +1.8% | 0.0023 | 0.0025 | +8.2% |
| 64 | 0.0313 | 0.0319 | +1.9% | 0.0059 | 0.0065 | +9.1% |
| 16 | 0.1056 | 0.1058 | +0.3% | 0.0203 | 0.0205 | +1.3% |
| 4 | 0.8231 | 0.8229 | -0.03% | 0.0656 | 0.0656 | +0.03% |
| 2 | 6.0502 | 6.0522 | +0.03% | 0.6755 | 0.6753 | -0.02% |
核心发现:在所有精度级别和两个模态上,统一预测器的 MSE 与模态专用预测器几乎完全一致------差距在统计噪声范围内(多数 < 2%)。这意味着统一预测器没有因为"分心"处理另一个模态而损失质量。
5.2 模态标签是真正的控制信号
表 2:同一输入在不同模态标签下的预测差异
| 输入来源 | 预测(mod=A) 的 |grad|| 预测(mod=B) 的 |grad|| 差异 |
|---------|----------------------|----------------------|------|
| A 的量化点 (K=4) | 0.0153 | 0.0717 | 4.8× |
| B 的量化点 (K=4) | 0.0402 | 0.0216 | 1.9× |
在模态 A 的量化点上,使用模态 B 标签产生的梯度幅度是使用模态 A 标签的 4.8 倍。这是因为:
- 模态 A 的量化点落在 A 的分布内 → mod=A 的预测器知道"这是合理的 A 点,不需要大的修正" → 小梯度。
- 模态 B 的标签触发预测器的 B 模式 → 它"看到"这些点与 B 的分布不匹配 → 大梯度(将其推向 B 的分布)。
这证明了 modality_id 不是装饰性的------它在功能上切换了预测器的行为模式。
5.3 跨模态精度桥:从 A 精炼到 B
表 3:精炼后与模态 B 分布的距离
| 精炼策略 | 到 B 模态中心的距离 |
|---|---|
| 无精炼(原始 A 粗量化点) | 2.4349 |
| 自精炼(mod=A 标签) | 2.4347 |
| 跨模态精炼(mod=B 标签) | 2.4299 |
使用模态 B 标签进行跨模态精炼后,点集向 B 的分布中心移动了 0.005 个单位。虽然幅度不大(两个分布本身重叠有限),但方向是正确的------跨模态精炼确实将点推向目标模态。
在真实多模态场景中(文本 embedding 和图像 VQ latent 有语义对齐),这个效应的幅度将大得多。
5.4 统一损失:一个公式,两个模态
Lunified=Ex0∼A∪B,t,mod∥fθ(xt,t/T,mod)−(x0−xt)∥2 \mathcal{L}{\text{unified}} = \mathbb{E}{x_0 \sim A \cup B, t, \text{mod}}\left\\\|f_\\theta(x_t, t/T, \\text{mod}) - (x_0 - x_t)\\\|\^2\\right Lunified=Ex0∼A∪B,t,mod∥fθ(xt,t/T,mod)−(x0−xt)∥2
| 模态 | 平均 MSE(5 个级别) |
|---|---|
| A | 1.405 |
| B | 0.154 |
| 组合 | 0.779 |
不需要模态特定的加权、不需要对比项、不需要自回归交叉熵------一条 MSE 损失同时优化两个模态的预测质量。
6. 讨论
6.1 为什么精度扩散能统一多模态
精度扩散能统一多模态的根本原因在于它抓住了多模态数据的一个共同本质:所有模态的表示都可以通过量化来压缩,且压缩过程中产生的误差具有可预测的结构。
- DDPM 的高斯噪声对文本没有意义------文本语义不能通过高斯噪声的增减来操纵。
- 精度扩散的量化残差对所有模态都有意义------任何模态的表示被粗量化后,细量化方向就是"使表示更精确"的方向。
多模态统一不需要让文本和图像共享同一个隐空间。 精度扩散的统一性在于过程的统一:所有模态经过相同的量化退化-精炼循环,只是码本不同、标签不同。注意力机制和适配器从"架构必需"降级为"可选优化"。
6.2 从 2D 探针到生产级多模态模型
本实验的 2D 设置是刻意简化的------两个高斯混合分布之间没有语义对应。在真实场景中(如 CLIP 文本 embedding + VQ-VAE 图像 latent):
- 语义对齐自然提供跨模态桥的强度:"一只猫在沙发上"的文本 token 和对应的图像 latent 在训练中已经通过对比学习隐式对齐。
- 预测器规模从 128 隐层扩展到 transformer(类似 DiT 17),可以捕获更复杂的跨模态映射。
- 多模态码本 可以在训练过程中通过精度扩散的梯度联合优化,而不需要独立的 K-means 预训练。
6.3 精度扩散的五个统一
总结精度扩散框架带来的统一:
| 统一维度 | 传统方案 | 精度扩散 |
|---|---|---|
| 前向过程 | 文本:无(自回归),图像:高斯加噪 | 统一:量化精度递减 |
| 训练目标 | 交叉熵 + 去噪 MSE + 对比 loss | 统一:量化残差 MSE |
| 梯度计算 | STE 近似 + 真实梯度混用 | 统一:可微预测器梯度 |
| 推理过程 | 自回归解码 + DDIM 采样 | 统一:精度精炼 |
| 模型架构 | 编码器 + 扩散 UNet + 适配器 | 统一:精度预测器 |
7. 未来工作
- 真实模态验证:将 2D 探针替换为 CLIP 文本 embedding(模态 B)和 VQ-VAE 图像 latent(模态 A),验证统一预测器的重建质量和跨模态生成能力。
- 可扩展的预测器架构:从小型 MLP 扩展到 DiT 风格的 transformer,在 ImageNet 和 CC3M 规模上测试。
- 联合码本训练:将模态特定的码本设为可学习参数,通过精度扩散梯度端到端优化,使码本本身适应跨模态任务。
- 多模态精度扩散的数学理论:分析跨模态精度桥的收敛性质,推导模态间分布的 Wasserstein 距离与精度级别的关系。
- 扩展到 3+ 模态:将框架推广到图像 + 文本 + 音频 + 视频的四模态统一模型。
8. 结论
本文提出了精度扩散(Precision Diffusion, PD)作为统一多模态生成的数学框架。精度扩散将扩散模型的前向过程从高斯加噪重新定义为量化精度递减,使得所有模态可以统一描述为同一量化空间中不同精度级别的表示。
我们通过一个最小化的双模态探针实验(两个二维高斯混合分布模拟两种模态,一个预测器、一条损失函数、一个前向过程)证明了:
- 统一预测器在两个模态上的表现与各自的模态专用预测器等价(差距 < 2%),证明了框架的效率。
- 模态标签是一个真正的控制信号------同一输入在不同模态标签下产生 4.8 倍差异的梯度,证明了框架的模态感知能力。
- 跨模态精度桥存在且方向正确------从模态 A 的粗精度表示出发,使用模态 B 标签进行精炼可以将点推向 B 的分布,证明了跨模态生成的可行性。
- 单一的 MSE 损失函数足以同时优化两个模态,无需任何模态特定的适配。
精度扩散框架将当前多模态系统中"拼接式"的架构替换为"统一式"的数学基础。它不需要假设模态之间共享同一个隐空间,而只需要共享同一个过程------量化精度递减与精炼。这为构建下一代原生多模态生成模型提供了理论路线图。
参考文献
1 Rombach, R., et al. (2022). High-resolution image synthesis with latent diffusion models. CVPR.
2 Radford, A., et al. (2021). Learning transferable visual models from natural language supervision. ICML.
3 Betker, J., et al. (2023). Improving image generation with better captions. OpenAI Technical Report.
4 Brooks, T., et al. (2024). Video generation models as world simulators. OpenAI Technical Report.
5 OpenAI. (2024). GPT-4o system card.
6 Gemini Team, Google. (2024). Gemini: A family of highly capable multimodal models.
7 Ho, J., Jain, A., & Abbeel, P. (2020). Denoising diffusion probabilistic models. NeurIPS.
8 Li, J., et al. (2021). Align before fuse: Vision and language representation learning with momentum distillation. NeurIPS.
9 Li, J., et al. (2022). BLIP: Bootstrapping language-image pre-training for unified vision-language understanding and generation. ICML.
10 Ramesh, A., et al. (2021). Zero-shot text-to-image generation. ICML.
11 Yu, J., et al. (2022). Scaling autoregressive models for content-rich text-to-image generation. TMLR.
12 Chameleon Team. (2024). Chameleon: Mixed-modal early-fusion foundation models.
13 van den Oord, A., Vinyals, O., & Kavukcuoglu, K. (2017). Neural discrete representation learning. NeurIPS.
14 Bengio, Y., Léonard, N., & Courville, A. (2013). Estimating or propagating gradients through stochastic neurons. arXiv:1308.3432.
15 Yin, P., et al. (2019). Understanding straight-through estimator in training activation quantized neural nets. ICLR.
16\] \[前序论文:精度扩散探针 --- 1D 和 2D 验证
17 Peebles, W., & Xie, S. (2023). Scalable diffusion models with transformers. ICCV.
18 Sohl-Dickstein, J., et al. (2015). Deep unsupervised learning using nonequilibrium thermodynamics. ICML.
19 Song, Y., & Ermon, S. (2019). Generative modeling by estimating gradients of the data distribution. NeurIPS.
20 Esser, P., Rombach, R., & Ommer, B. (2021). Taming transformers for high-resolution image synthesis. CVPR.
附录 A:实验配置详情
| 参数 | 值 |
|---|---|
| 模态 A 分布 | 5 分量 2D 高斯混合,σ2∈0.09,0.16\sigma^2 \in 0.09, 0.16σ2∈0.09,0.16 |
| 模态 B 分布 | 3 分量 2D 高斯混合,σ2∈0.03,0.04\sigma^2 \in 0.03, 0.04σ2∈0.03,0.04 |
| 扩散步数TTT | 4 |
| 精度级别KtK_tKt | 256, 64, 16, 4, 2 |
| 训练样本(每模态) | 15,000 × 5 级别 = 75,000 |
| 预测器结构 | 5 → 128 → 128 → 2 (ReLU) |
| 学习率 | 0.005 |
| 批次大小 | 4,096 |
| 训练轮次 | 500 |
附录 B:训练收敛详情
模态 A 专用预测器:
| 轮次 | MSE |
|---|---|
| 0 | 0.0440 |
| 100 | 0.0121 |
| 200 | 0.0102 |
| 300 | 0.0099 |
| 400 | 0.0092 |
模态 B 专用预测器:
| 轮次 | MSE |
|---|---|
| 0 | 0.0138 |
| 100 | 0.0038 |
| 200 | 0.0027 |
| 300 | 0.0024 |
| 400 | 0.0023 |
统一预测器(双模态):
| 轮次 | 总 MSE | A 分量 | B 分量 |
|---|---|---|---|
| 0 | 0.7951 | 1.4276 | 0.1308 |
| 100 | 0.7877 | 1.4157 | 0.1273 |
| 200 | 0.7866 | 1.4141 | 0.1268 |
| 300 | 0.7863 | 1.4135 | 0.1266 |
| 400 | 0.7862 | 1.4134 | 0.1266 |
注意:统一预测器的总 MSE(0.7862)高于模态专用预测器的 MSE(0.0092 和 0.0023),因为 MSE 是在整个训练集上计算的------包含了所有精度级别。在粗量化级别(K=2,4),残差很大,主导了总 MSE。表 1 中的逐级别对比才是公平比较。