基于掩码位建模的自回归图像生成 Autoregressive Image Generation with Masked Bit Modeling
提出BAR框架,通过掩码位建模实现离散图像生成新SOTA,gFID达0.99
前置知识
视觉标记化(Visual Tokenization)
视觉标记化是将高维像素图像压缩为低维潜在表示的过程,类似于自然语言处理中的分词。它包含三个核心组件:编码器(将图像映射到特征空间)、瓶颈模块(施加信息约束)和解码器(从潜在表示重建图像)。根据瓶颈模块的设计,可分为离散标记化(使用码本量化)和连续标记化(使用维度缩减和正则化)两种范式。离散标记器将特征映射到有限码本中的条目,而连续标记器通常采用KL散度等正则化约束潜在空间。
本文的核心贡献之一是统一比较了这两种范式,理解视觉标记化的基本原理是理解论文技术路线的基础。
码本大小(Codebook Size)
码本大小是离散标记器中码本包含的离散条目数量,通常表示为 $C = 2^k$,其中 $k$ 是比特数。例如,码本大小 $C = 16384$ 对应 $k = 14$ 比特。码本大小直接影响潜在空间的表达能力:较大的码本能表示更多样的视觉模式,但会增加生成模型的计算复杂度。传统离散生成方法通常将码本大小限制在 $2^{18}$(262144)以内,因为更大的词汇表会使训练变得不可行。
本文的关键发现是离散标记器性能差距主要源于码本大小不足,理解码本大小的概念对把握论文核心论点至关重要。
比特预算(Bit Budget)
比特预算是本文提出的统一比较指标,量化了潜在空间分配的总信息容量。对于离散标记器,比特预算计算为 $B_{\text{discrete}} = \frac{H}{f} \times \frac{W}{f} \times \lceil \log_2 C \rceil$,其中 $f$ 是空间下采样因子,$C$ 是码本大小。对于连续标记器,比特预算为 $B_{\text{continuous}} = \frac{H}{f} \times \frac{W}{f} \times 16D$,其中 $D$ 是潜在通道维度,16位精度是混合精度训练的标准配置。这个指标使得离散和连续标记器的公平比较成为可能。
比特预算是本文分析框架的核心,它揭示了离散标记器性能差距的根本原因,而非简单的量化损失。
自回归生成(Autoregressive Generation)
自回归生成是一种序列生成方法,模型根据已生成的标记预测下一个标记。在图像生成中,图像被表示为标记序列,模型通过因果注意力机制逐步生成。与扩散模型不同,自回归模型不需要迭代去噪过程,因此采样速度更快。然而,传统自回归模型在处理大词汇表时面临计算瓶颈:线性预测头需要将隐藏状态投影到整个词汇表,当词汇表大小达到数百万时,内存和计算成本变得不可承受。
本文提出的掩码位建模头正是为了解决自回归模型在大词汇表下的可扩展性问题,理解这一背景对理解方法创新至关重要。
掩码图像建模(Masked Image Modeling, MIM)
掩码图像建模是一种自监督学习技术,通过随机遮盖图像的部分区域或标记,训练模型预测被遮盖的内容。在生成任务中,MIM被用于训练生成模型,例如MaskGIT通过迭代解码生成图像。MIM的核心思想是将生成过程分解为多个步骤,每步预测部分被遮盖的标记,这比一次性预测整个图像更容易学习。掩码比率的采样策略(如均匀分布、arccos分布)会影响模型的训练动态。
本文的掩码位建模头借鉴了MIM的思想,但将其应用于比特级别而非标记级别,理解MIM有助于理解这一创新设计。
研究动机
当前视觉生成领域,连续标记器(通常配合扩散模型)占据主导地位,而离散标记器被认为在重建保真度上存在固有劣势。具体而言,在ImageNet-256基准测试上,基于连续标记器的扩散方法(如RAE、xAR)在gFID指标上持续优于离散方法(如VAR、LlamaGen)。这种性能差距被广泛归因于连续潜在空间具有更高的信息容量,能够保留更多细粒度视觉细节。然而,这种比较存在根本性缺陷:离散和连续标记器通常使用不同的压缩率,导致信息容量的比较并不公平。例如,常用的离散标记器LlamaGen-VQ使用16384个码本条目,比特预算仅为3584位;而连续标记器MAR-VAE使用16维潜在空间,比特预算高达65536位。这种18倍的比特预算差异被忽视,导致离散标记器被错误地认为存在固有劣势。
本文的目标是本文的目标是通过系统性的实验研究,揭示离散和连续标记器性能差距的根本原因,并建立一个能够匹敌甚至超越连续方法的离散生成框架。具体目标包括:首先,建立统一的比较框架,使用比特预算作为共同指标,公平评估两种范式的重建和生成质量;其次,通过扩大码本大小,验证离散标记器能否匹配连续标记器的重建保真度;第三,解决大词汇表离散生成的可扩展性问题,使模型能够有效利用扩大后的码本;第四,在ImageNet-256基准上实现新的最先进性能,同时保持或提升采样效率。
与已有工作不同的是,本文的独特切入角度在于,它没有盲目追求更大的模型或更多的数据,而是从信息论视角重新审视离散和连续标记器的比较。作者发现,性能差距的根源并非量化本身的损失,而是实践中使用的压缩率差异。这一洞察引导作者提出了比特预算指标,将两种范式置于同一尺度下比较。此外,本文识别出扩大码本大小后的新挑战——词汇表问题,并提出了创新的掩码位建模头来解决这一瓶颈。与已有工作相比,本文的贡献不仅在于提出新方法,更在于提供了新的分析框架,挑战了'连续标记器固有优于离散标记器'的传统观念。
核心方法
本文提出了BAR(masked Bit AutoRegressive modeling)框架,其核心思想可以类比为'用乐高积木搭建图像'。传统离散生成方法试图一次性预测整个积木块(码本条目),当积木种类(码本大小)增加时,预测变得极其困难。BAR则将每个积木块分解为其组成部件(比特),通过逐步揭示这些部件来构建最终的积木块。技术路线分为两个阶段:首先,自回归变换器通过因果注意力机制建模全局结构,生成潜在条件;其次,掩码位建模头通过迭代解码过程,从被遮盖的比特序列中逐步恢复目标离散标记。这种设计将预测复杂度从 $O(C)$ 降低到 $O(\log_2 C)$,使得模型能够处理任意大小的码本。
本文的核心创新点是将离散标记的预测任务从'分类问题'重新定义为'条件生成问题'。传统方法将预测下一个标记视为在巨大词汇表上的分类任务,需要计算所有码本条目的概率分布,这导致了计算和统计上的双重困难。BAR则将每个离散标记表示为其组成比特的序列,通过掩码位建模头逐步生成这些比特。这种方法有两大优势:第一,在可扩展性方面,分解标记为比特绕过了对整个词汇表的softmax计算,将内存复杂度从 $O(C)$ 降低到 $O(\log_2 C)$;第二,在鲁棒性方面,比特级掩码机制作为一种强正则化器,持续提升生成质量。与已有方法的本质区别在于:MaskBit虽然使用比特标记器,但仍然预测码本索引;Infinity虽然直接从比特生成图像,但依赖于VAR生成器和外部比特校正器。BAR则是完全自包含的框架,兼容任意自回归公式。
方法步骤详情
BAR方法包含以下关键步骤:首先,构建离散标记器,使用FSQ(有限标量量化)将图像编码为离散潜在表示。具体而言,编码器将图像 $I \in \mathbb{R}^{H \times W \times 3}$ 映射到特征图 $L$,然后通过FSQ量化得到离散潜在表示 $X$,每个标记由 $k$ 比特二进制码表示。其次,训练自回归变换器,给定前缀标记序列 $\{x_1, x_2, \ldots, x_{i-1}\}$,变换器生成潜在条件序列 $\{z_1, z_2, \ldots, z_{i-1}\}$,其中 $z_{i-1} = F(\{x_1, x_2, \ldots, x_{i-1}\})$。第三,设计掩码位建模头,该头以 $z_{i-1}$ 为条件,通过迭代解码预测下一个标记 $x_i$。训练时,随机遮盖 $x_i$ 的部分比特,优化比特级交叉熵损失 $\mathcal{L} = \frac{1}{n} \sum_{i=1}^{n} \text{CrossEntropy}_{\text{bit}}(x_i, \hat{x}_i)$。推理时,通过渐进式比特解掩码调度生成标记。最后,采用标记重排技术实现高效生成,通过调整 patch size 平衡序列长度和每标记比特数。
技术新颖性
BAR的技术新颖性体现在三个层面:首先,在分析框架上,本文首次提出比特预算指标,统一比较离散和连续标记器,揭示了性能差距的根本原因是比特分配不足而非量化损失。其次,在预测机制上,本文将离散标记预测从分类任务转变为条件生成任务,通过掩码位建模头实现了对任意码本大小的可扩展性。第三,在系统设计上,BAR是完全自包含的框架,不依赖外部生成器或后处理模块,兼容任意自回归公式。与MaskBit相比,BAR预测比特而非码本索引;与Infinity相比,BAR无需VAR生成器或比特校正器。这种设计使得BAR在保持生成质量的同时,显著提升了采样效率。
实验结果
本文在ImageNet-256基准上进行了全面的实验验证,取得了多项突破性成果。首先,在重建质量方面,BAR-FSQ离散标记器随着码本大小增加,重建FID从1.25(码本大小 $2^{10}$)持续改善到0.33(码本大小 $2^{16}$),超越了SD-VAE连续标记器的0.62。这证明了离散标记器在足够比特预算下能够匹配甚至超越连续标记器的重建保真度。其次,在生成质量方面,BAR-B(415M参数)在无分类器引导下达到gFID 1.64,有引导下达到1.13,显著优于所有离散基线方法(RAR 1.48、VAR 1.92、LlamaGen 2.18),并超越了多个强大的连续扩散方法(xAR 1.24、DDT 1.26、VA-VAE 1.35、MAR 1.55)。第三,BAR-L(1.1B参数)进一步刷新记录,无引导gFID 1.42,有引导gFID 0.99,成为新的最先进水平。第四,在采样效率方面,BAR-B/2(下采样2倍)达到150.52 img/s,比MAR快16.11倍,比VA-VAE快15.02倍,比xAR快3.68倍。BAR-B/4(下采样4倍)达到445.48 img/s,比MeanFlow快2.94倍,同时生成质量相当(gFID 2.34 vs 2.20)。这些结果表明,离散生成方法不仅能够匹配连续方法的质量,还能在采样效率上取得显著优势。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| ImageNet-256图像生成 | gFID(有分类器引导) | BAR-L: 0.99, BAR-B: 1.13 | RAE: 1.13, xAR: 1.24, DDT: 1.26, VA-VAE: 1.35 | BAR-L相比RAE提升12.4%,相比xAR提升20.2% |
| ImageNet-256图像生成 | gFID(无分类器引导) | BAR-L: 1.42, BAR-B: 1.64 | RAE: 1.51, MAR: 2.35, DDT: 6.27 | BAR-L相比RAE提升6.0%,相比MAR提升39.6% |
| 采样吞吐量 | images/sec | BAR-B/4: 445.48, BAR-B/2: 150.52, BAR-B: 24.33 | MeanFlow: 151.48, RAE: 6.62, xAR: 2.03, MAR: 1.19 | BAR-B/2与MeanFlow速度相当,但gFID提升38.6% |
| 重建质量 | rFID | BAR-FSQ(码本大小 $2^{16}$): 0.33 | SD-VAE: 0.62, MAR-VAE: 0.43 | 相比SD-VAE提升46.8%,相比MAR-VAE提升23.3% |
局限与改进
尽管BAR取得了显著成果,但仍存在一些局限性。首先,本文的实验主要集中在ImageNet-256和512基准上,对于更高分辨率(如1024×1024)或更复杂数据集(如COCO、LAION)的泛化能力尚未验证。其次,BAR的训练成本较高:BAR-B需要16块H200 GPU训练20小时,BAR-L需要32块H200 GPU训练32小时,这对资源有限的研究者构成挑战。第三,虽然掩码位建模头提升了可扩展性,但随着码本大小进一步增加(如 $2^{64}$ 或 $2^{128}$),训练和推理的计算成本仍会显著增长。第四,本文主要关注类别条件生成,对于文本条件生成或无条件生成的适用性需要进一步研究。第五,BAR的采样过程涉及多步比特解掩码,虽然比扩散模型步骤少,但仍比单步生成方法(如GAN)复杂。作者也承认,当前的离散标记器在预算利用效率上仍有提升空间,特别是在极高比特预算下。
独立分析的弱点
经过独立分析,我认为BAR存在以下弱点:首先,在极端压缩场景下,BAR-B/4的生成质量明显下降(gFID 2.34 vs BAR-B的1.13),这表明在追求极致采样速度时,质量损失较为显著。改进方向可以是设计自适应压缩策略,根据生成内容复杂度动态调整下采样率。其次,掩码位建模头虽然轻量,但仍增加了每标记的计算开销。对于简单标记(如均匀区域),可能不需要完整的多步解码。可以引入早期退出机制,当预测置信度足够高时提前终止解码。第三,当前方法使用固定的比特解掩码调度(如[4,4,4,4]或[2,2,5,7]),不同内容可能需要不同的调度策略。可以探索学习自适应调度,根据当前生成状态动态调整每步解掩码的比特数。第四,BAR的自回归变换器使用因果注意力,无法利用未来信息。对于某些需要全局一致性的生成任务,可以考虑混合架构,在早期层使用双向注意力建模全局结构。
未来方向
基于本文成果,未来研究可以从多个方向展开。首先,多模态扩展是重要方向:BAR的离散生成范式天然适合与语言模型结合,可以探索构建统一的视觉-语言自回归模型。其次,视频生成扩展:将BAR扩展到视频领域,利用时间维度的自回归性生成连贯视频序列。第三,更高分辨率生成:研究BAR在1024×1024、2048×2048等高分辨率下的表现,可能需要多尺度生成策略。第四,可控生成:结合文本提示、风格参考、布局控制等条件,实现更精细的生成控制。第五,效率优化:探索更高效的注意力机制(如线性注意力、稀疏注意力)进一步提升采样速度。第六,标记器改进:研究如何设计更高效的离散标记器,在相同比特预算下获得更好的重建质量。作者也提到,未来工作可以探索将BAR与扩散模型结合,取两者之长。
复现评估
从复现角度来看,BAR的复现条件相对明确但要求较高。开源方面,论文提供了项目页面(https://bar-gen.github.io/),但代码和预训练模型的开源状态需要确认。数据集方面,实验使用标准的ImageNet-1K,数据获取无难度。算力需求方面,复现最终模型需要显著资源:BAR-B需要16块H200 GPU训练20小时,BAR-L需要32块H200 GPU训练32小时。对于消融研究,BAR-FSQ需要8块H200 GPU训练13小时。这种算力需求对大多数学术实验室构成挑战,但低于一些大型扩散模型。复现难度方面,BAR基于RAR架构,使用标准的FSQ量化器和ViT骨干,技术栈较为成熟。关键挑战在于超参数调优:掩码比率采样策略、比特解掩码调度、预测头大小等都需要仔细调整。论文提供了详细的超参数表格(Table 5-7),有助于复现。总体而言,BAR的复现难度中等偏高,主要瓶颈在于算力需求而非技术复杂度。
论文图表
该图对比了两种标记器的信息容量。左侧展示了离散标记器LlamaGen-VQ的示意图,码本大小 $C = 16384$,比特预算为3584位,重建FID为2.19。右侧展示了连续标记器MAR-VAE的示意图,通道维度 $D = 16$,比特预算为65536位,重建FID为0.53。图中清晰地显示了连续标记器使用了18倍的比特预算,这直接解释了其更好的重建质量。
这张图是理解论文核心论点的关键。它直观地展示了离散和连续标记器性能差距的根源——比特预算差异,而非量化本身的损失。这是作者挑战传统观念的基础证据。