English translation pending — this page shows the Chinese original.
Current view
Image Generation
研究如何把生成底座、条件控制、数据与评测接成可靠图像系统,并判断统一生成—编辑、少步部署和组合控制中仍有价值的问题。
Reading path
- ProblemDefine task and evidence boundary
- MethodsCompare families and design choices
- EvidenceReturn to papers and searchable text
- Open questionsTrack unresolved tensions
Method family map
From problem definition to verifiable system capability
三分钟摘要
- 任务已经从“给文字出图”扩展为系统问题。 现代图像生成同时受表示空间、去噪主干、条件接口、训练数据、推理预算和评测协议约束。
- 成熟底座不等于完整答案。 LDM 与 DiT 已把潜空间和可扩展主干做成平台,但精确布局、多个条件冲突、文字与细节、数据许可、真实延迟和可靠人评仍未被一个指标解决。
- 统一生成—编辑正在形成,但证据多为系统覆盖而非严格胜出。 OmniGen、DreamOmni 与 UniReal 说明共享接口和联合训练可行;它们没有完成同数据、同参数、同算力下对全部专用模型的受控替代实验。
- 适合研究生的机会更偏“可证伪的系统问题”。 例如组合控制失效、同预算质量—延迟比较、中文或专业领域数据、统一与模块化的受控比较,而不是只换一个更大的主干。
先懂这几个词
| 术语 | 白话解释 |
|---|---|
| 扩散模型(diffusion model) | 从噪声一步步“去噪”生成图像,是当前主流方法 |
| 潜空间(latent space) | 先把图像压缩成小尺寸的特征,在上面生成,省计算 |
| 主干(backbone):U-Net / DiT | 负责去噪的核心网络;DiT 是 Transformer 版本,更容易扩大规模 |
| 条件控制(conditioning) | 除文字外,用布局、姿态、边缘图、参考主体等指定生成内容 |
| 无分类器引导(CFG) | 放大“有条件”和“无条件”预测的差,让图更贴合文字;太强会失真,还多一次计算 |
| NFE | 去噪网络实际运行的次数,比“步数”更接近真实计算量 |
| 蒸馏 / 少步生成 | 把几十步的模型压到几步甚至一步,换取速度 |
| GAN(生成对抗网络) | 一次前向就出图的另一类生成模型 |
指标怎么读
| 指标 | 含义 | 方向 |
|---|---|---|
| FID | 生成图整体分布和真实图有多接近 | ↓ 越低越好;只看分布,不看是否符合文字 |
| CLIP 分数 / CLIPScore | 图像和文字描述的匹配程度 | ↑ 越高越好 |
| 组合正确率 | 计数、关系、多物体等是否画对 | ↑ 越高越好 |
| 人评胜率 | 人类在两种结果中选某方法的比例 | ↑ 越高越好;自动“代理胜率”不等于人投票 |
| 延迟 / 显存 | 生成一张图的时间和资源 | ↓ 越低越好;要看端到端,而非只看主干 |
任务或系统流程
一个现代图像生成系统中,哪些环节分别决定语义、构图、细节和成本?
条件编码决定模型能“听懂”什么,生成主干决定怎样形成视觉样本,解码器决定可恢复的细节上限,评测层决定我们是否真的知道系统变好了。
- 用户条件文本、参考图、主体、边缘、深度、姿态或布局
- 条件表示与路由文本编码、视觉 token、交叉注意力或专用控制分支
- 生成主干在像素或潜空间中用扩散、流或自回归过程形成样本
- 解码与后处理从潜变量恢复分辨率、纹理、文字与局部细节
- 联合验收同时检查感知质量、条件一致、空间控制、多样性、延迟和失败模式
用户条件先编码为语义与空间约束,再进入迭代或少步生成主干,潜变量被解码为图像,最后用质量、对齐、控制与成本联合验收。
阅读论文时先标注每项工作改的是哪一环。只报告生成主干 FID 的论文,不能自动支持控制、数据合规或端到端延迟结论。
当前综合判断
1. 生成底座已经成熟,竞争转向整个系统
为什么重要:再证明“扩散能生成图像”或“Transformer 能去噪”价值已经很低,新手应把注意力放在系统层面的问题上。
| 工作 | 奠定了什么 |
|---|---|
| 潜空间扩散(LDM) | 在压缩后的潜空间生成,降低高分辨率的计算量 |
| DiT | 可扩展的 Transformer 去噪主干 |
| GLIGEN、ControlNet | 把布局、边缘等空间条件接到预训练模型上 |
2. 真正还在变化的是四个“接口”
为什么重要:这四个接口是判断一篇新论文改了什么的坐标轴。
| 接口 | 要回答的问题 |
|---|---|
| 任务接口 | 生成、编辑、参考图和多条件是否由同一个模型处理 |
| 控制接口 | 文字、主体身份、局部布局和像素级结构怎样组合,冲突时听谁的 |
| 成本接口 | 训练预算、NFE、单步成本、CFG、解码器和硬件怎样共同决定真实延迟 |
| 证据接口 | 自动指标、人评、空间遵循、文字细节、安全和数据来源怎样形成可复核结论 |
怎么读:统一模型是重要平台路线,模块化条件器仍有明确价值;少步模型在特定配置下已能做到亚秒级,但训练成本、质量退化和适用范围要单独核算。
3. 多条件统一接口:能组合使用,但冲突时容易出错
为什么重要:同时给文字、布局、参考图时,信息更丰富的结构或图像条件常会“压过”文字,这是需要单独验收的控制失败。
- Composer 用八种条件和一个统一 U-Net 证明组合使用可行。
- 但不同训练策略下,总体偏好和逐任务偏好不一致。
- 附录尝试过“只用单/双条件训练、再处理更多条件”,但没有严格的留出清单,所以不能当作严格的组合泛化证明。
4. 一步出图的 GAN 仍是值得保留的对照
为什么重要:扩散模型并非在所有方面都胜出。比较时要看同任务、同质量和完整成本,单一 FID 或“单步”不能决定胜负。
| 方法 | COCO FID ↓ | 512px 生成时间 ↓ |
|---|---|---|
| GigaGAN | 9.09 | 0.13 秒 |
| Stable Diffusion v1.5 | 9.62 | 2.9 秒 |
怎么读:GigaGAN 更快、FID 略好。注意:Imagen(7.27)等模型的 FID 更低;作者也承认 GigaGAN 的真实感和组合能力不如 DALL·E 2,而且没有系统人评。
5. 引导方法的“提升”要先和调好的基线比
为什么重要:很多新引导方法的提升,其实来自隐式加大了引导强度。
| 方法 | 对固定 CFG 的代理胜率 | 对校准后 CFG 的代理胜率 |
|---|---|---|
| TDG | 56% | 48% |
| Z-Sampling | 70% | 62% |
条件:SDXL、HPD 提示集,五种自动指标平均。来源:Guidance Matters。怎么读:把基线的 CFG 调好后,TDG 的优势消失,Z-Sampling 仍有优势。注意:这是自动指标的平均,不是人类投票;比较时还要同时匹配引导强度和步数。
近五年演化(2022—2026)
近五年图像生成的研究重心怎样移动?
时间线强调问题变化而非穷举模型。2026 表示截至本库复核时间的综合状态,不暗示每个节点都有同年论文。
- 2022 · 可扩展底座LDM 把高分辨率扩散搬入压缩潜空间
- 2023 · 主干与控制DiT、DreamBooth、GLIGEN、ControlNet 分别推进扩展、个性化与空间接口
- 2024 · 数据与评测开放许可数据、快速评测和可验证人评开始补齐系统证据
- 2025 · 统一与少步统一生成—编辑接口、动态主干和一步/少步部署并行推进
- 2026 · 受控系统比较研究价值转向同预算、跨域、失败模式和统一—模块化边界的可复现实验
2022 年潜空间扩散建立底座;2023 年主干、个性化与空间控制成形;2024 年开放数据和评测加强;2025 年统一生成编辑与少步系统发展;2026 年关注受控比较与可靠部署。
这条演化不等于旧方法被线性淘汰。DreamBooth 显示高保真个性化仍可能需要逐主体适配;DiffuSSM 则构成“注意力是唯一可扩展主干”的反证。平台越统一,越需要说明哪些能力来自共享先验、哪些仍来自专用数据与模块。
方法家族与成熟阶段
常被放在同一排行榜的方法,实际分别解决什么?
底座、主干、个性化、空间控制、统一接口和部署优化并非可互换路线。比较前必须先对齐任务、数据、预算与输出约束。
- 表示与基础生成像素或潜空间决定细节上限和计算尺度
- 主干与扩展U-Net、DiT、SSM 或混合网络决定单步表示与硬件特性
- 个性化与主体保持少样本适配、视觉提示或检索增强解决特定主体一致性
- 空间与组合控制box、mask、pose、depth、layout 和多条件冲突需要显式接口
- 统一生成—编辑共享模型与任务路由减少工作流割裂,但可能发生任务干扰
- 效率与部署蒸馏、求解器、缓存、量化和解码器共同形成端到端成本
方法地图列出潜空间底座、可扩展主干、个性化、空间控制、统一生成编辑、效率与部署六个分支。
方法家族的成熟度
潜空间扩散与基础生成
LDM 已用固定预算比较像素与多个压缩率;现代系统广泛复用这层表示,但精细文字和几何仍受解码上限影响。
价值不在重复证明潜空间更省,而在可测量地改进压缩—细节—延迟取舍。
可扩展去噪主干
同 FLOPs、显存和真实硬件下比较混合主干,避免只以参数量或单数据集 FID 排名。
个性化与主体驱动生成
DreamBooth 建立少样本主体适配基线,AnyDoor 与 CosmicMan 扩展对象与人物专门能力。
身份保持、组合多个主体、版权/记忆审计和低存储适配仍可形成明确问题。
空间与多条件控制
GLIGEN 与 ControlNet 证明专用接口有效,但复杂冲突条件、多模态组合和跨主干迁移证据不足。
建立冲突条件诊断集、控制强度校准与局部证据指标,比再加一个条件器更有辨识度。
统一生成—编辑系统
测量任务干扰、路由、数据混合和模块化补偿,回答“统一到哪一层最划算”。
少步生成、数据与可靠评测
SANA-Sprint 展示特定硬件上的一步端到端延迟;CommonCanvas 与 可验证人评 分别暴露数据来源和评测协议的重要性。
把训练预算、真实延迟、偏好、组合遵循和数据许可放进同一可复现实验账本。
前馈GAN与模块化超分
GigaGAN扩展到约1.0B生成参数,基础生成与超分可分工;这不是扩散蒸馏,也不是整个系统只有一次网络调用。
测量前馈/少步扩散在相同质量阈值、截断或CFG强度、结构失败率与真实延迟上的Pareto边界。其作者扩展版消融显示多尺度改善CLIP却略损FID,Vision-Aided改善FID却损CLIP;不能把所有模块写成无代价进步。
哪些方向拥挤,哪些方向仍值得做
成熟度描述的是“证据与基础设施到了哪里”,不是给方向贴好坏标签。底座成熟后,研究需要更窄、更可证伪的问题定义。
拥挤方向与研究机会
相对拥挤、需要更强差异化的方向:
- 只在通用文本到图像上替换主干,并只报告单个 FID/CLIP 指标;
- 只把采样步数从若干步减到更少,却不报告单步成本、训练预算、CFG 与端到端延迟;
- 新增一个条件注入模块,但没有冲突条件、跨域或强基线消融;
- 用若干漂亮样例宣称统一模型已替代专用系统。
仍有清晰研究价值的方向:
- 可靠组合控制:关系、计数、文字、多个主体与空间条件同时出现时,定位失败发生在编码、路由、去噪还是评测层;
- 同预算生成系统比较:固定数据、参数/训练算力、分辨率、NFE 与硬件,比较 U-Net、DiT、SSM、蒸馏和求解器;
- 中文与专业领域生成:建立许可清楚、术语准确、含困难负例的数据和人评协议,而不只是翻译英文 prompt;
- 统一—模块化边界:量化联合训练的迁移收益与任务干扰,寻找“共享底座 + 专用轻模块”的最小系统;
- 评测可靠性:自动指标、人评、数据重叠、记忆和安全失败共同进入版本化评测。
先看结论
Recommended
从可证伪的系统问题开始
先选 A,定位多个条件冲突时模型在哪一层出错。
选 B,在同一预算下拆清主干、步数和 CFG 的贡献。
再考虑 C。
才考虑 D,统一模型与模块化系统的受控比较。
Avoid first
只换更大的主干、只报一个 FID
替换主干网络,只报告 FID 或 CLIP 分数;或只减少采样步数。
单一指标看不出组合失败;减步不报训练成本、CFG 和端到端延迟,结论不完整。
固定数据和预算,同时报告质量、组合正确率和真实延迟,并分析失败样例。
四个研究入口怎么选
多条件冲突的诊断
文字、布局、姿态和参考主体冲突时,找出模型在哪一层失效。
算力有限,想先做出清晰的诊断结果。
冻结一个公开底座,比较纯文本、ControlNet/GLIGEN 类条件器和简单组合。
失败能定位到具体环节,而不只是模型不会画这个概念。
同预算下的主干与少步方法对比
在同一硬件和预算下,量化主干、步数、CFG、解码器各自贡献多少质量和延迟。
偏工程,重视可复现。
选 2–3 个公开模型,统一分辨率、prompt 和测量脚本。
模型间的数据和规模差异能被控制或说明。
中文或专业领域的数据与人评
找出专业术语、文字渲染和文化实体的失败,是数据、文本编码还是生成器的问题。
能拿到许可清晰的中文或专业领域数据。
先建评测集,比较零样本、轻量适配和检索增强三组。
专家标注的一致性足够高。
统一模型与模块化系统的边界
统一训练在哪些任务互相帮助,在哪些任务互相干扰。
有可比的训练预算。
只选 2–3 个互补任务,固定样本数和训练步数做三组对比。
能保证各组训练预算可比。
对“能否作为研究生方向”的修订结论
图像生成可以作为研究生方向,前提是研究系统问题。建议顺序 A → B → C → D:A 最容易形成“数据集 + 诊断指标 + 方法”的连续成果,B 最容易复现,C 需要真实领域资源,D 的训练预算和因果控制风险最高。
反方证据、局限与可证伪条件
- 速度与指标可能共同遮蔽失败。 GigaGAN正式主表有低延迟与较低FID,作者失败案例仍有组合/几何缺陷;扩展版超分的感知指标与PSNR/SSIM也反向。4783 A100 GPU-days的训练账本不能被0.13s推理覆盖。若同质量点下优势消失,只能保留特定配置的低延迟结论。
- 先固定评测输入完整性,再比较分数。 GigaGAN公开loader的合成审计发现位置zip可静默截断/错配,CLIP样本上限不约束FID目录。它提示复现应断言图片—caption一一对应和统一分母,并非证明作者真实数据包或原榜单已经错误。正式PDF、作者扩展版、评测代码的表号、encoder与resize需分开登记。
- 反方 1:主干并未收敛为唯一答案。 DiffuSSM 在受限设置中以更低训练计算接近 DiT;若后续同预算跨任务结果持续成立,“标准注意力 DiT 是唯一可扩展主干”应被否定。
- 反方 2:统一覆盖不等于全面优越。 DreamBooth、GLIGEN 与 ControlNet 都显示专用适配仍能提供统一文本接口缺失的能力。若同数据、同规模评测中统一模型在多个关键任务持续落后,强“统一替代”结论应撤回。
- 反方 3:少步不自动等于低成本。 SANA-Sprint 的推理很快,但依赖大规模蒸馏训练;若完整生命周期成本或质量—多样性下降抵消收益,就只能称部署优化而非全面效率胜出。
- 反方 4:单一自动指标可能反向排序。 可验证人评 发现 FID/CLIPScore 与人类判断可能冲突。任何“全面更好”结论都应至少覆盖质量、条件遵循、多样性和成本。
- 共同局限:训练数据许可、记忆、偏差、深度伪造、文字/手部/细几何失败及模型更新后的不可复现性,不能由更低 FID 自动消除。
- 条件数不等于控制可靠性。 Composer的COCO FID9.2只测caption-only质量;文本被结构压制、上色改变背景、style/semantics纠缠均有正式附录反例。必须以逐条件遵循和冲突优先级补充总分,且README的代码/权重TODO不能当作可复现模型。
- 反证本身也要审计。 Guidance Matters没有新的独立盲评;表5两个数据集整块重复,SD3.5部分配置又出现校准后胜率上升。可采纳的是更严格的基线/预算协议,不是“所有引导方法无效”的全称结论。
研究生可行的研究入口
候选课题 A:多条件冲突的可解释诊断优先推荐
Expand research designCollapse research design
当文本、布局、姿态与参考主体冲突时,系统在哪一层失效,能否用局部证据定位并校准控制强度?
冻结同一个公开底座,对比纯文本、ControlNet/GLIGEN 类条件器与简单组合。
先构造 300–1000 组可程序生成的冲突/非冲突条件,人工核验一小部分。
全局语义、局部区域命中、关系/计数正确率、身份相似度、延迟与失败类型。
借鉴Composer,固定底座、曝光和数据,比较独立dropout、仅单/双条件训练、专用控制器;分别测试seen/unseen组合阶数,并按原始来源图聚类人评区间。若拿不到原模型,则只复用协议,不声称复现Composer。
若错误主要来自基础模型无法生成目标概念,先收窄为单一专业域;不要把概念缺失误判为控制器失败。
候选课题 B:同预算主干与少步方法账本稳健
Expand research designCollapse research design
在固定训练/推理预算和硬件上,主干、NFE、CFG、解码器分别贡献多少质量与延迟?
选择 2–3 个公开 checkpoint,不从头训练超大模型;统一分辨率、prompt、样本数和测量脚本。
先比较从 1 步到 50 步的四档步数、开启和关闭 CFG、端到端与仅主干延迟,再决定是否训练轻量蒸馏模型。
质量、文本/组合遵循、显存、吞吐、P50/P95 延迟和能耗代理。
若 checkpoint 数据与规模差异无法控制,就把结论限定为系统测量,不声称架构因果。
对比原CFG、CFG扫描、仅有效强度匹配、强度加NFE匹配;保留相同prompt/seed、独立盲评与prompt聚类区间。若优势只来自额外计算或代理偏置,停止宣称真实质量改进(依据Guidance Matters形成的实验建议,尚未执行)。
依据GigaGAN同时扫描GAN截断和扩散CFG,记录结构/计数失败、同质量延迟与训练成本;先校验图像manifest、caption ID、CLIP/FID同一集合和版本。若无官方生成器权重,仅能复查预生成样本评测,不能声称完成GigaGAN推理速度复现。
候选课题 C:中文或专业领域的许可数据与可靠人评应用驱动
Expand research designCollapse research design
领域术语、文字渲染、关系和文化实体的失败来自数据覆盖、文本编码还是生成器?
公开模型零样本、轻量适配和检索增强三组;数据许可与来源逐条记录。
500–3000 条高信息 prompt,包含对照、改写和困难负例;先做评测集再决定训练集。
专家正确率、可验证属性、文字 OCR、人评一致性、数据重叠与成本。
若专家标注一致性不足,先修订任务定义,不用模型分数掩盖标签歧义。
候选课题 D:统一模型与模块化系统的受控边界高风险
Expand research designCollapse research design
统一训练在哪些任务产生正迁移,在哪些任务发生干扰;轻量路由或 adapter 能否恢复?
共享底座 + 独立适配、联合训练统一模型、带路由统一模型三组。
只选 2–3 个互补任务,固定总样本与更新步数,避免“大而全”。
每任务质量、最差任务退化、参数/存储、训练算力与任务扩展成本。
若无法获得可比训练预算,退回表征/梯度冲突的小模型实验,不外推到基础模型。
推荐排序与止损条件
优先级建议为 A → B → C → D。A 最容易形成“数据集 + 诊断指标 + 方法”连续成果;B 最可复现;C 需要真实领域资源;D 的训练预算与因果控制风险最高。任何入口都先用小规模数据证明测量可靠,再扩大模型或训练量。
证据基础
- 前馈反例、感知—保真取舍与版本/输入审计:GigaGAN:Scaling Up GANs for Text-to-Image Synthesis。
- 统一条件、组合暴露与任务取舍:Composer:Creative and Controllable Image Synthesis with Composable Conditions。
- 引导校准与指标捷径:Guidance Matters:Rethinking the Evaluation Pitfall for Text-to-Image Generation。
- 底座与主干:Latent Diffusion Models:高分辨率图像合成的潜空间扩散框架、Scalable Diffusion Models with Transformers:DiT 把 Transformer 真正坐实为可扩展扩散主干、Diffusion Models Without Attention:不用注意力也能做高分辨率扩散。
- 个性化与控制:DreamBooth:以少样本全模型微调实现主体驱动生成、GLIGEN:以冻结基础模型和门控适配器实现开放集合 grounded 生成、Adding Conditional Control to Text-to-Image Diffusion Models:冻结 U-Net 主干的空间条件侧支、AnyDoor:训练一次的零样本对象级图像定制。
- 统一生成—编辑:OmniGen:统一图像生成、DreamOmni:统一图像生成与编辑、UniReal:通过学习真实世界动态实现通用图像生成与编辑、AnyEdit:面向任意创意的统一高质量图像编辑。
- 效率:SANA-Sprint:连续时间一致性与对抗蒸馏的一步线性 DiT、On Distillation of Guided Diffusion Models:把 CFG 与采样轨迹联合蒸馏到极少步。
- 个性化、训练目标与表示效率补充:Attention Calibration for Disentangled Text-to-Image Personalization:解耦式个性化注意力校准、CONFORM:以对比式注意力优化提升文本生成忠实度、Domain Expansion of Image Generators:图像生成器的领域扩展、Specialist Diffusion:少样本艺术风格扩散微调工具箱、Wavelet Diffusion Models:在小波空间压缩少步扩散 GAN。
- 数据与评测:CommonCanvas:Creative Commons 数据上的开放 T2I 扩散训练、文本到图像生成的可验证与可复现人工评测、FlashEval:用代表性 prompt 子集加速文本到图像模型评测。
开放问题
- 数据与架构怎样共同决定生成—编辑上限?
- 统一图像模型能否在长期维持优势?
- 如何在不依赖闭源评估器的情况下,稳定测量关系、计数、文字与局部控制?
- 少步模型的训练生命周期成本怎样与部署收益统一核算?
- 训练数据来源、删除请求与模型记忆怎样进入公开 benchmark?