CaTok:用 MeanFlow 驯服一维因果图像分词 CaTok: Taming Mean Flows for One-Dimensional Causal Image Tokenization
提出带 MeanFlow 解码器的 1D 因果图像分词器,平衡令牌因果性与解码效率。
前置知识
自回归视觉生成 (AR Visual Generation)
借鉴语言模型中下一词预测的范式,把图像压缩成 1D 令牌序列后用自回归模型逐个预测令牌,再用解码器还原图像。与扩散模型路线相比,AR 视觉生成在可扩展性、与 LLM 架构统一性方面有天然优势,但高度依赖分词器是否学习到因果结构。
本文整篇工作就是围绕'如何让 AR 视觉生成跑得通'展开的,分词器的因果性直接决定了 AR 模型能否有效学习下一令牌预测。
扩散自编码器 (Diffusion Autoencoder)
一种把图像编码为若干 1D 连续令牌、再以这些令牌为条件通过扩散/整流流过程重建图像的自监督架构。代表性工作如 FlowMo、DiTo。与 VAE/VQ-VAE 相比,解码端拟合的是去噪速度场,可获得更高重建质量,但通常需多步采样。
CaTok 本身就是一种扩散自编码器,但通过引入 MeanFlow 目标同时实现了一步采样与因果性,所以必须先理解这个范式。
MeanFlow 与平均速度场
传统整流流 (Rectified Flow) 学习瞬时速度 $v(z_t,t)$,少步采样会引入误差。MeanFlow [16] 直接学习区间 $[r,t]$ 上的平均速度 $u(z_t,r,t) = \frac{1}{t-r}\int_r^t v(z_\tau,\tau)d\tau$,并通过恒等式用瞬时速度的 Jacobian-vector 积近似平均速度,从而天然支持一步生成 $z_0 = \epsilon - u_\theta(\epsilon,0,1)$。
这是本文核心数学工具:MeanFlow 既给了一步采样能力,又允许我们把 $[r,t]$ 区间作为语义绑定信号,去连接令牌位置与去噪时间。
嵌套 Dropout (Nested Dropout) 与一致性解码器
在解码端对 1D 令牌按某种顺序随机丢掉靠后的令牌,只用前 $k$ 个做条件,迫使每个位置的令牌都学到独立语义。FlexTok 用随机采样、DDT/Selftok 用时间步绑定来决定 $k$。这是给扩散自编码器注入因果性的主流做法,但会让早期令牌被过度采样,造成不平衡。
本文的关键对照实验 (Tab. 3b) 直接比较了'选 [r,t] 区间'与'选前 k 个',读者必须理解后者的'不平衡'问题才能体会 CaTok 的贡献。
REPA 与视觉基础模型对齐
REPA [71] 把扩散模型中间层特征与冻结的视觉基础模型 (如 DINOv2) 的 patch 表征做余弦对齐,从而加速 DiT 训练并提升生成质量。本文提出的 REPA-A 把这一思路搬到扩散自编码器的编码器端。
REPA-A 是 CaTok 的第二个创新点,理解它对阅读消融实验 (Fig. 6) 和训练曲线非常关键。
研究动机
AR 语言模型依赖因果分词——文本有天然阅读顺序,1D 令牌之间存在'前件决定后件'的依赖关系。但视觉领域缺乏这种天然顺序:VQGAN 类 2D 分词器把网格 patch 拉平成 1D 序列后,相邻 patch 在语义上其实是对等关系而非因果关系;VAR 类多尺度 2D 分词器虽然建立了粗到细顺序,却放弃了与 LLM 完全一致的'下一令牌预测'范式。扩散自编码器 (如 FlowMo) 用 1D 寄存器令牌做条件时,又会让解码器看到全部令牌,因果性被彻底抹除。试图修补这个问题的一致性解码器 (FlexTok、Semanticist、DDT、Selftok) 引入嵌套 dropout 只用前 $k$ 个令牌,导致早期令牌被高频采样、后期令牌欠训练,论文 Tab. 3b 显式验证了这种'不平衡'会让 AR gFID 从 4.91 退化到 9.21 (256 令牌) 甚至 7.49 (只用前 128 令牌)。除此之外,整流流少步采样会带来较大误差,传统扩散自编码器通常需要多步才能获得高质量重建。
本文的目标是本文的目标是设计一个 1D 因果图像分词器,使其同时满足三个性质:(1) 1D 令牌之间具备严格的因果依赖;(2) 不同位置的令牌被均衡训练,没有偏向早期;(3) 解码器在保持高质量重建的前提下支持一步采样,从而使 AR 图像生成能够真正复用 LLM 的下一令牌预测流程。论文把这一目标具象化为 CaTok——一个用 MeanFlow 解码器驯服的因果图像分词器,并在 ImageNet 256×256 上以更少训练 epoch 达到 0.75 rFID、22.53 PSNR、0.674 SSIM 的 SOTA 重建性能,同时让基于其令牌的 AR 生成达到 2.95 gFID。
与已有工作不同的是,已有方法都在'因果性 vs. 平衡 vs. 采样效率'三者间做取舍:FlowMo 牺牲因果性换质量;一致性解码器牺牲平衡换因果性;离散 VQ 分词 (LlamaGen、MaskBit) 则牺牲重建质量换简单 AR 训练。CaTok 的独特切入角度是把这三个目标解耦到 MeanFlow 的数学结构里——令牌的'位置'与去噪路径的'时间区间'做自然绑定:用整流流的时间间隔 $[r,t]$ 来选对应的令牌子序列 $V_{r:t}$,并把这个子序列作为 MeanFlow 区间目标的解码条件。这既让每个位置都对应一段合法去噪子路径 (保证因果),又让所有区间被均匀采样 (解决不平衡),还顺带继承了 MeanFlow 一步采样的能力。
核心方法
CaTok 的整体思路可以先用一个直觉描述:把图像分词的过程想象成'看一张照片并写一段话'——越往后写需要补充的细节越多。在 CaTok 中,编码器是一个带 registers 的因果 ViT,输入是图像 patch + K 个可学习寄存器,因果注意力掩码保证寄存器之间只能看到自己之前的寄存器 (但能看到全部 patch);输出是 K 个连续 1D 令牌 $V_K$。解码器是 MeanFlow DiT,工作时先在 $[0,1]$ 区间采两个时间步 $r<t$,把图像线性插值为 $z_t = (1-t)x + t\epsilon$,然后只把位置在 $[r\cdot K, t\cdot K]$ 区间内的令牌 $V_{r:t}$ 作为解码条件,让 DiT 预测 $[r,t]$ 区间上的平均速度 $u_\theta$。训练时同时优化 MeanFlow 目标 $\mathcal{L}_{MF}$、一个 $r=t$ 时的整流流目标 $\mathcal{L}_{RF}$ (75% 比例)、REPA 对齐 $\mathcal{L}_{REPA}$,以及本文新提的 REPA-A 对齐 $\mathcal{L}_{REPA-A}$ (把编码器图像特征 $H_e$ 与 DINOv2 表征对齐)。推理时,冻结编码器后这些 1D 令牌可直接喂给 LlamaGen 式 AR 模型,配合 diffusion loss 训练;采样时 AR 模型从类别 token 开始逐个预测令牌,再用 MeanFlow 一步解码 $\hat{x} = \epsilon - D_\theta(\epsilon,0,1,\hat{V}_K)$。
CaTok 的核心创新是用 MeanFlow 区间目标取代'选前 k 个令牌'的嵌套 dropout,从而在数学层面同时实现因果性与平衡性。与一致性解码器的本质区别在于:后者选令牌用的是'位置前 k'这个与去噪过程无关的人为规则,导致早期位置被高估;CaTok 用的是'时间区间 [r,t]'这个与去噪子路径严格对应的物理量,且 $r,t$ 在 $[0,1]$ 上均匀采样,因此每个位置 $i$ 出现在某次解码条件中的概率为 1/K,所有位置被等概率训练。这相当于把令牌-时间对齐作为一种隐式的语义排序:早期令牌学粗粒度 (对应大 $t$,几乎纯噪声),后期令牌学细粒度 (对应小 $t$,接近干净图像),从而获得论文 Fig. 1 中展示的'fine-to-coarse 因果解码'与'概念解码'现象——只保留前面 16 个令牌重建出整体语义,只用后面 16 个令牌重建出截然不同的视觉概念。第二个关键创新是 REPA-A,它把表征对齐从解码器中间层 (REPA) 移到编码器输出,使编码器输出本身就更适合作为 AR 模型的监督目标。
方法步骤详情
完整训练流水线分为四个阶段。第一阶段是编码器前向:将图像 patch $x$ 与 K 个 register 拼接输入因果 ViT 编码器 $E_\delta$,得到图像特征 $H_e$ 与 1D 令牌 $V_K = [V_1,...,V_K]$。因果掩码规则是:图像 patch 之间全连接,patch 可以被后续 register 看到,但 register 之间严格只看到之前的 register 与全部 patch。第二阶段是解码条件构造:在 $[0,1]$ 上均匀采样 $r<t$,令 $z_t=(1-t)x+t\epsilon$,并把区间 $[r\cdot K, t\cdot K]$ 内的 register 切片 $V_{r:t}$ 作为 DiT 的 cross-attention 条件;同时按比例 $q=75\%$ 把 $r$ 重置为 $t$,此时区间退化为单点 $V_K$,DiT 拟合瞬时速度 $v_\theta$ 用于稳定训练。第三阶段是四个损失联合优化:(a) MeanFlow 目标 $\mathcal{L}_{MF}=\mathbb{E}\|u_\theta - (\epsilon-x) - \text{sg}[(t-r)((\epsilon-x)\partial_z u_\theta+\partial_t u_\theta)]\|^2$,其中 $u_\theta = D_\theta(z_t,r,t,V_{r:t})$,sg 表示停止梯度;(b) Rectified Flow 目标 $\mathcal{L}_{RF}=\mathbb{E}\|v_\theta - (\epsilon-x)\|^2$,只在 $r=t$ 时启用;(c) REPA 把 DiT 中间层 patch 特征投影后与 DINOv2 patch 表征做余弦相似度 $\mathcal{L}_{REPA}$;(d) 本文新加的 REPA-A 把编码器输出 $H_e$ 直接与 DINOv2 patch 表征做对齐 $\mathcal{L}_{REPA-A}=-\mathbb{E}[\frac{1}{N}\sum_n \text{sim}(H^n_{vfm}, H^n_e)]$。总损失为四项加权和,$c=10^{-3}$、$w=1.0$ 用于自适应 L2。第四阶段是 AR 训练与采样:冻结 CaTok 编码器,用 ϵLlamaGen-L (343M 参数) 配合 MAR [29] 的 diffusion loss 训练 400 epoch;采样时以类别 token 为起点自回归预测连续令牌,再用 MeanFlow 一步解码器生成图像。
技术新颖性
技术新颖性体现在三个层面。第一是范式层面:首次把扩散自编码器从'无条件 + 多步'推向'有条件区间 + 一步',用 $[r,t]$ 这个与去噪过程同构的物理量替代人为的'前 k 个'选择,使因果性、平衡性、采样效率三个目标首次在统一框架下达成。第二是数学层面:把 MeanFlow 平均速度 $u(z_t,r,t)$ 的两个时间参数与令牌索引 $r\cdot K$、$t\cdot K$ 做精确绑定,这种'时间-令牌'同构映射是新颖设计;论文也展示了在 $r=t$ 退化情形下自然退化为普通整流流,从而保留了训练稳定性。第三是表征对齐层面:与 REPA [71] 对齐 DiT 中间层、REPA-E [26] 对齐 VAE 不同,REPA-A 直接对齐编码器 patch 输出,这要求作者从'对齐潜在变量'转向'对齐条件信号源',对应了一类新的正则化设计。整体上,CaTok 没有引入全新的网络结构 (仍然是 ViT + DiT + registers),其新颖性主要来自于把多个已有组件重新组装为更自洽的因果分词框架。
实验结果
实验在 ImageNet-1K 256×256 上分四组进行。重建方面 (Tab. 1):CaTok-L-256 (552M 参数,160 epoch) 取得 rFID 0.75、PSNR 22.53、SSIM 0.674,全面超过 Semanticist-L-256 (400 epoch 训出的 rFID 0.78/PSNR 21.61/SSIM 0.626) 与 FlowMo-Lo-256 (945M、rFID 0.95、SSIM 0.649),且训练 epoch 不到后者一半。CaTok-B-256 在仅 80 epoch 下就达到 rFID 1.17/PSNR 22.10/SSIM 0.666,展示极高的训练效率。CaTok-L-256† (一步采样) 取得 PSNR 20.99/SSIM 0.630,rFID 4.63,超过一步 1D 分词器 One-D-Piece-B-256 (PSNR 18.77) 与 SpectralAR-64 (rFID 4.03),验证了一步解码的可行性。AR 生成方面 (Tab. 2):CaTok-L-128 + ϵLlamaGen-L (343M、128 步) 取得 gFID 2.95 / IS 269.2,与 VAR-d16 (gFID 3.30) 及 Semanticist-L-256 (gFID 2.57) 同处第一梯队。CaTok-L-32 以更少令牌取得 gFID 3.40/IS 288.6 (CaTok-L-32 的 IS 是表中所有 AR 模型最高),说明学到的早期令牌已捕获足够语义。消融方面 (Tab. 3a) 验证了逐项叠加效果:基础 $\mathcal{L}_{RF}$ 的 rFID@1 高达 183.69,几乎不可用;加 $\mathcal{L}_{MF}$ 后 rFID@1 降到 4.71,一步可行;再加 $\mathcal{L}_{REPA}$ (rFID@25 从 1.90→1.71、gFID 24.39→17.92) 和 $\mathcal{L}_{REPA-A}$ (gFID 17.92→13.54) 持续改善;最后启用 [r,t] 区间选择把 gFID 拉到 4.91。Tab. 3b 的关键实验说明:'选 [r,t]' 给出 gFID 4.91,'选全部' (无因果) 给出 13.54,'选前 k' (不平衡) 给出 9.21 (256 token) 与 7.49 (128 token)——这是支撑论文核心论点的关键证据。扩展性方面:无 CFG 对比中 CaTok-L-256 取得 gFID 5.52,超过同条件 Semanticist 7.60;COCO-val-5K 上 rFID 4.78,验证跨数据集泛化;512 分辨率训练可得 rFID 1.07,训练免费的 patchwise diffuse-and-blend 可降到 rFID 0.60;用 FSQ 替换连续令牌的 CaTok-VQ 在 AR 上 gFID 3.35 优于 LlamaGen 3.80,进一步说明因果结构的价值。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| ImageNet 256×256 重建 (256 令牌, 完整多步采样) | rFID ↓ / PSNR ↑ / SSIM ↑ | CaTok-L-256: 0.75 / 22.53 / 0.674 | Semanticist-L-256: 0.78 / 21.61 / 0.626;FlowMo-Lo-256: 0.95 / 22.07 / 0.649 | rFID 比 Semanticist 低 0.03 (略优),PSNR/SSIM 显著领先;SSIM 比 FlowMo 高 0.025,且参数量仅其 58% |
| ImageNet 256×256 一步重建 (256 令牌) | rFID ↓ / PSNR ↑ / SSIM ↑ | CaTok-L-256†: 4.63 / 20.99 / 0.630 | One-D-Piece-B-256: rFID 1.11 / PSNR 18.77;TiTok-L-32: PSNR 15.60 / SSIM 0.359 | 在保持一步采样的前提下 PSNR/SSIM 远超 One-D-Piece 与 TiTok,验证区间选择 + MeanFlow 的优势 |
| ImageNet 256×256 类条件 AR 生成 (128 令牌) | gFID ↓ / IS ↑ | CaTok-L-128 + ϵLlamaGen-L: 2.95 / 269.2 | LlamaGen-L (2D): 3.80 / 248.3;Semanticist-L-256: 2.57 / 260.9;VAR-d16: 3.30 / 274.4 | gFID 优于 LlamaGen 0.85、优于 VAR 0.35;与 Semanticist 仅差 0.38,但训练 tokenization epoch 减少一半以上 |
| ImageNet 256×256 AR 生成 (32 令牌) | gFID ↓ / IS ↑ | CaTok-L-32: 3.40 / 288.6 | TiTok-L-32 + MaskGiT-L: 2.77 / 194.0;SpectralAR-64: 3.02 / 282.2 | IS 达 288.6 为表中 AR 模型最高;gFID 略逊于 TiTok 但 IS 显著领先 |
| 消融:因果性 + 平衡性对 AR 的影响 | gFID ↓ | 选 [r,t] 区间 (本文): 4.91 | 选全部 (无因果): 13.54;选前 k 256 token: 9.21;选前 k 128 token: 7.49 | gFID 比无因果低 8.63,比前 k 256 token 低 4.30,验证因果 + 平衡设计的必要性 |
| 无 CFG 公平对比 | gFID ↓ / IS ↑ | CaTok-L-256 (256 令牌): 5.52 / 153.9 | Semanticist-L-256 (256 令牌): 7.60 / 121.5 | 无 CFG 条件下 gFID 低 2.08、IS 高 32.4 |
| 跨数据集泛化 (COCO-val-5K) | rFID ↓ / PSNR ↑ / SSIM ↑ | CaTok-L-256: 4.78 / 22.43 / 0.690 | LlamaGen-16×16: 8.11 / 20.42 / 0.678;Semanticist-L-256: 5.64 / 21.36 / 0.640 | 三项指标全部领先,验证非 ImageNet 数据上同样有效 |
| VQ 变体对比 | rFID ↓ / gFID ↓ | CaTok-VQ (256 令牌): rFID 3.81 / gFID 3.35 | LlamaGen (256 令牌): rFID 2.19 / gFID 3.80 | 重建略逊但 AR 生成 gFID 比 LlamaGen 低 0.45,体现因果分词对 AR 的价值 |
局限与改进
作者在第 5.3 节末尾明确指出几条局限:(1) CaTok 的 1D 令牌是连续的 (16 维),训练 AR 时必须用 diffusion loss 而非 cross-entropy,这比 VQ 方案更复杂且在长序列下误差累积更明显 (Tab. 5 显示 CaTok-VQ 的 rFID 3.81 显著差于 LlamaGen 2.19);(2) 实验只在 ImageNet-1K 上做,没有扩展到更大规模预训练,论文承认'training on larger datasets and evaluation on a broader range of tasks'留作未来工作;(3) 一步采样虽可行,但 rFID 4.63 仍差于多步的 0.75,与现代一步 2D 分词器 (MaskBit 1.37、OpenMagViT-V2 1.17) 差距明显,作者归因于没专门为一步优化 GAN 损失等复杂训练技巧;(4) AR 生成在 256 令牌设置下未报告,可能因为连续令牌 + diffusion loss 在长序列下误差累积严重。从观察者视角看,还有几个隐含局限:编码器使用 ViT-B/8 与 DINOv2-B/16 作为教师,规模都不大,能否扩展到 ViT-L 甚至更大教师尚未验证;MeanFlow 的 Jacobian-vector 积训练对显存要求较高 (参数量 552M),且作者未给出完整训练成本;论文对不同 $[r,t]$ 采样策略 (均匀 vs. 重要性采样) 没有消融;最后,CaTok 在分类以外的条件 (文本、布局) 上的适用性仍未探索。
独立分析的弱点
独立分析几个具体弱点。第一,连续令牌 + diffusion loss 的组合让 AR 训练本身比 VQ 方案慢且更难调,作者在 Tab. 5 中承认 CaTok-VQ 的 rFID 3.81 远不如 LlamaGen 2.19,说明如果不专门为 VQ 调训练超参、加入感知损失或后训练技巧,离散化版本质量损失很大。改进方向:可以借鉴 MAR-VAE 的微调策略或加入 perceptual loss + GAN loss 来缩小这一差距。第二,论文主要实验在 256×256 完成,512 分辨率要么依赖 SD-VAE + 训练 (rFID 1.07) 要么用训练免费的 patchwise 策略 (rFID 0.60),但前者性能下降、后者依赖额外的 blend 步骤,不够干净。改进方向:在更高分辨率上重新训练 DiT 与 MeanFlow 联合目标,并验证不依赖 patchwise 技巧的高分辨率能力。第三,MeanFlow 的 Jacobian-vector 积实现限制了 batch size 与分辨率,论文未充分讨论显存与吞吐。改进方向:可以借鉴 SiT 中的 gradient checkpointing 或分段 JVP 进一步降低开销。第四,论文的 [r,t] 采样采用均匀策略,缺乏对不同采样分布的消融;当 AR 模型仅用前 32 个令牌时 (gFID 4.91 vs. CaTok-L-32 3.40),性能反而比用前 128 更好,暗示令牌排序与训练分布并不完全对齐——这值得进一步探索自适应采样或课程式调度。第五,CaTok 的 AR 生成 gFID 2.95 (128 令牌) 仍略输 Semanticist 2.57 (256 令牌),论文没有给出用 256 令牌做 AR 的结果,可能存在长序列退化。
未来方向
作者在结论与附录中点明了几个未来方向:在更大规模数据集 (如 LAION、ImageNet-21K) 上做 tokenization 预训练;将 CaTok 用于文本到图像、图像编辑、视频等更广泛的任务;探索 REPA-A 与不同 VFM 教师 (DINOv3、SigLIP2 等已在 Tab. 中展示 1.16/1.12 的 rFID) 的组合。基于论文成果还可以延伸:第一,'时间-令牌'同构思想可以推广到音频、视频等多模态分词,把时间维度天然作为令牌顺序;第二,REPA-A 的思路可以泛化为'对齐编码器而非解码器'的正则化族,用于其他条件生成模型;第三,论文附录显示 CaTok 与非自回归生成器 (MaskGiT-L, 8 步) 也兼容 (gFID 2.69 vs. TiTok 2.77),说明该分词器是生成范式无关的,可以与任何 token-wise 模型组合;第四,MeanFlow 一步采样与一步 AR 结合后,端到端推理只需 AR 自回归 + 一步解码,对部署极其友好,可在边缘设备上做进一步优化;第五,结合 LLM 的 instruction tuning 范式,CaTok 的语义可解释性 (论文 Fig. 1 第 7-10 列的'概念解码') 有望支持可控图像编辑——给定一段语义描述,仅替换对应区间的令牌即可。
复现评估
复现评估整体较好但有一定门槛。论文提供了项目主页 https://sharelab-sii.github.io/catok-web,附录 Tab. 4 给出了完整的训练超参:CaTok-B 与 CaTok-L 的优化器 (AdamW)、峰值学习率 (1e-4 tokenization、5e-5 AR)、batch size (1024/2048)、weight decay (0.05)、EMA (0.999)、gradient clipping (3.0)、warmup (96 epoch for AR) 全部公开。训练 epoch 80 (CaTok-B) / 160 (CaTok-L) tokenization 与 400 epoch AR,论文也明确指出 MeanFlow 目标在 epoch 10/20 引入、选 [r,t] 机制在 epoch 40/80 引入。开源方面,论文提到 Semanticist 用官方代码库复现,但 CaTok 代码未在论文中给出明确 GitHub 链接 (仅项目主页),需要读者自行访问网站确认。算力上,CaTok-L-256 用 552M 参数 + 1024 batch + 160 epoch,单卡 H100/A100 (80G) 大约需要数天到一周,AR 模型 343M × 400 epoch × 2048 batch 显著更贵。复现难度属于中等偏上:(a) MeanFlow 的 JVP 实现需要自定义 autograd 函数;(b) 因果 ViT 掩码与 register 索引映射容易出错;(c) REPA-A 要求把 DINOv2-B/16 的 patch 表征与编码器 patch 对齐,patch 网格尺寸需对齐 (ViT-B/8 输出与 DINOv2-B/16 输出均为 32×32,所以 OK),但若换不同 teacher 需要重新检查;(d) AR 模型使用 MAR [29] 的 diffusion loss,需理解其连续令牌的高斯噪声建模。整体而言,读者有 DiT/ViT/LlamaGen 经验的话可以基于公开 Semanticist/MAR 代码做迁移。
论文图表
10 列重建对比:原图、第 2 列是 CaTok 用 MeanFlow 一步重建、第 3 列是 25 步多步高质量重建;第 4-7 列将令牌从 256 逐步减到 16,可以看到重建从细节丰富逐渐退化为粗粒度语义,验证了 1D 令牌的'fine-to-coarse 因果性';第 7-10 列是只用 16 令牌但选取不同区间 (即不同位置) 的重建,得到的视觉概念明显不同 (比如动物头部、身体、背景等),说明每个区间学到了不同的视觉概念。
这是论文的 'teaser' 图,把所有核心论点 (一步采样、因果性、概念可分) 用一张可视化一次性展示,对理解 CaTok 的设计动机至关重要。