编排动态物体世界:从视频生成模型蒸馏4D场景运动 Choreographing a World of Dynamic Objects
提出CHORD方法,通过蒸馏视频生成模型生成多物体交互的4D场景运动
前置知识
Score Distillation Sampling (SDS)
一种从2D扩散模型蒸馏3D资产的技术。核心思想是在每次迭代中渲染图像,添加噪声,通过扩散模型预测噪声,然后使用预测结果优化3D参数。梯度公式为∇θLSDS = Eτ,ϵ w(τ)(ˆε - ε)∂z/∂θ,其中τ是噪声级别,w(τ)是权重函数。这种方法避免了需要大规模3D训练数据,通过利用预训练的2D扩散模型的先验知识来指导3D生成过程。
本文将SDS扩展到4D生成,并通过针对Rectified Flow模型的改进来从视频生成模型中提取运动指导信号,这是理解本文方法基础的关键技术
Rectified Flow (RF)
一种现代生成模型架构,通过将数据分布和噪声分布之间的路径拉直来生成样本。与传统的扩散模型不同,RF使用线性插值zτ = (1-τ)z + τε,其中τ是噪声级别。训练目标是学习速度场ˆv来预测ε - z。这种架构使得生成过程更加直接和高效,已经成为许多最新图像和视频生成模型的基础架构。
现代视频生成模型如Wan 2.2基于RF架构,传统的SDS算法不兼容,需要推导新的蒸馏目标,这是本文的重要技术创新点
Fenwick Tree
一种在算法设计中经典的树状数据结构,用于高效处理累积频率表。本文将其创新性地用于表示时间序列形变:每个节点存储一个时间范围上的累积形变,使得相邻帧可以共享参数,隐式强制时间连贯性。通过BIT(t)查询操作可以高效地获取所有相关节点的形变并组合成最终形变,这种基于范围的分解大大降低了参数维度。
解决了4D形变序列中后期帧难以学习的问题,通过参数共享和时间连贯性约束,使长时运动更容易学习,这是本文时间表示的核心创新
3D Gaussian Splatting (3D-GS)
一种显式的3D场景表示方法,使用一系列3D高斯函数来表示场景。每个高斯由中心位置μ、协方差矩阵Σ、球谐系数C、不透明度o等参数定义,通过可微渲染实现高效的前向渲染和梯度反向传播。相比隐式表示如NeRF,3D-GS具有更高的渲染速度和更直接的优化梯度,特别适合需要大量迭代的生成任务。
作为本文4D表示的几何基础,3D-GS提供了可微的渲染机制,使得从视频模型的梯度信号能够有效优化4D形变,这是实现蒸馏优化的基础
Linear Blend Skinning (LBS)
一种在计算机图形学中广泛使用的形变技术,通过线性混合骨骼或控制点的变换来驱动网格顶点。公式为μt = Σk∈N βk(Rtk(μ - pk) + pk + Tkt),其中βk是混合权重,由顶点到控制点的距离决定。LBS的优点是计算效率高,能够实现平滑的形变过渡,是角色动画和物体形变的标准技术。
本文使用LBS来融合层次化控制点的变换,实现粗粒度和细粒度形变的解耦与组合,这是空间层次化表示的核心机制
研究动机
传统方法存在三大核心问题。第一,基于规则的图形学流水线依赖类别特定的启发式规则,如人脸3D形变模型需要预先定义骨骼结构,手工建模成本高昂且无法扩展到新类别。这意味着每当需要为新物体类型生成运动时,都需要专家重新设计规则和参数,大大限制了方法的通用性和可扩展性。第二,现有的基于学习的4D生成方法需要大规模4D数据集,但现有数据集主要关注单个物体的内部形变,几乎没有物体间交互的场景级4D数据。这种数据稀缺性使得学习场景级多物体交互变得极其困难。第三,现有蒸馏方法主要在物体层面操作,生成的运动幅度小且存在明显伪影,无法处理场景级的多物体交互。实验数据显示,在用户研究中,基线方法Animate3D和AnimateAnyMesh在提示对齐上分别仅有0.34%和1.01%的投票率,MotionDreamer在运动真实性上仅获得0.84%的投票率,这些数字清楚地表明现有方法在实际应用中效果不佳。
本文的目标是本文的目标是提出一个通用、多功能、类别无关的生成流水线CHORD,能够从静态3D场景快照和文本提示生成包含多个交互物体的4D场景运动。该流水线应该不依赖类别特定的运动学先验,不需要大规模4D训练数据,能够生成符合物理常识的拉格朗日形变轨迹,并能应用于下游的机器人操作任务。具体而言,方法需要处理多种类型的物体交互,包括刚体碰撞、铰接物体运动、可变形物体形变等复杂场景。实验目标是在用户研究中达到提示对齐和运动真实性都超过85%的投票率,同时在与现有方法的比较中展现出显著优势。为了实现这一目标,方法必须解决4D表示的高维性和时间不规则性挑战,以及与现代视频生成模型架构的兼容性问题。
与已有工作不同的是,本文的独特切入角度是从视频生成模型中蒸馏场景级4D运动,与现有方法有本质区别。现有4D生成方法要么依赖类别特定的骨骼绑定如SMPL人体模型或动物形变模型,这限制了方法的通用性;要么从视频中重建4D场景但结果主要是2.5D表示不支持360度视图合成,无法提供完整的3D几何信息。本文的创新在于将视频生成模型作为高层的编排者,通过迭代优化每个物体的低层拉格朗日形变,使它们相互协调一致。另一个独特角度是针对现代Rectified Flow视频模型架构推导了新的蒸馏目标W-RFSDS,并分析了噪声模式,提出了基于权重函数的退火噪声采样策略。这种策略根据观测到的大形变倾向于在高噪声级别产生的特性,设计了非均匀噪声采样方案。通过这两个创新,CHORD能够在不依赖任何类别特定先验或大规模4D数据的情况下,生成高质量的场景级4D运动,这是现有方法无法实现的。
核心方法
CHORD方法的核心思想是将视频生成模型作为编排者来指导4D场景运动生成。整体流程是:给定静态3D场景网格和文本提示,首先将网格转换为3D Gaussian Splatting表示以实现平滑梯度计算;然后初始化一个层次化4D运动表示,包括空间上的双级控制点结构和时间上的Fenwick树结构;接着在每次迭代中,采样相机姿态,渲染视频帧,添加噪声后输入视频生成模型Wan 2.2,通过改进的W-RFSDS目标获取梯度更新4D表示;同时计算时间和空间正则化损失来稳定优化过程。整个优化过程持续2000次迭代,每批次4个视频,在NVIDIA H200 GPU上约需20小时。关键创新是让视频模型判断形变是否合理,通过蒸馏提取其隐含的运动知识。这种方法避免了传统方法需要大量4D训练数据的问题,通过利用预训练视频模型的丰富先验来指导4D生成。层次化表示的设计使得优化过程更加稳定,能够处理复杂的多物体交互场景。
核心创新点有两个。第一个是针对Rectified Flow视频模型推导的新的SDS目标W-RFSDS,解决了架构不兼容问题。传统SDS针对扩散模型,梯度公式为∇θLSDS = Eτ,ϵ w(τ)(ˆε - ε)∂z/∂θ,但RF模型预测的是速度ˆv而非噪声。本文通过将RF训练损失LRF = Eτ,ϵ w(τ)||ˆv(zτ) - (ε - z)||²对z求导,并忽略反向传播通过RF模型的项,得到RF-SDS梯度∇θLRFSDS = Eτ,ϵ w(τ)(ˆv(zτ) - ε + z)∂z/∂θ。进一步通过非均匀采样τ ∼ ˆw(τ)消除了权重项,得到W-RFSDS。第二个核心创新是设计了层次化4D表示。在空间上用双级控制点,粗粒度控制点控制大尺度变形,细粒度控制点添加细节,这种解耦使得优化过程更加稳定。在时间上用Fenwick树,每个节点存储时间范围上的累积形变,通过BIT(t)查询活动节点并组合形变。这种设计极大地提高了优化稳定性和运动质量,使得长时序列的学习成为可能。
方法步骤详情
方法步骤完整描述如下。步骤1是输入预处理。给定N个网格输入,使用3D-GS直接在网格渲染的多视角图像上优化,转换为3D-GS模型S = {Gi}ᵢ₌₁ᴺ,其中Gi是转换后的3D-GS模型。这个过程确保了几何表示的可微性,为后续优化提供了平滑的梯度。步骤2是4D表示初始化。计算每个网格的符号距离场ϕᵢ(x),提取体素中心Iᵢ = {x | ϕᵢ(x) ≤ 0},通过最远点采样和K-means聚类确定控制点位置pₖ。初始化协方差矩阵Σₖ为到最近三个邻居的平均距离,旋转初始化为单位矩阵。步骤3是迭代优化。对于每次迭代i(共2000次):首先根据退火噪声调度设置噪声级别τᵢ,通过求解h(τᵢ) = i/(I+1)获得,其中h(τ) = ∫⁻∞_τ ˆw(t)dt是累积分布函数;然后采样4个相机姿态,渲染41帧的视频;接着添加噪声zτ = (1-τᵢ)z + τᵢε,其中ε ∼ N(0, I);再输入Wan 2.2模型获取预测速度ˆv(zτ);之后计算W-RFSDS梯度∇θLW-RFSDS = Eτ∼ˆw(τ),ε (ˆv(zτ) - ε + z)∂z/∂θ;同时计算时间正则化Ltemp = ΣₜΣₚ||Fₜᵖ||²,其中Fₜᵖ是渲染的3D流图,以及空间正则化LARAP = Σᵢ,ₜ,x∈Sᵢ,ʸ∈Nₓ ||x - y - R̂ₓ(xₜ - yₜ)||²₂;最后更新4D表示参数。步骤4是粗到细训练。在前100次迭代只优化粗级控制点,之后引入细级控制点添加残余变形,最终变形为μₜᶠⁱⁿᵃˡ = Δμₜ + μₜ,qₜᶠⁱⁿᵃˡ = Δqₜ ⊗ qₜ。步骤5是网格变形。将学习到的变形应用到原始网格,用顶点位置替换高斯均值μ,使用相同的LBS公式,这样可以得到最终的变形网格。
技术新颖性
技术新颖性体现在三个方面。第一,首次将Fenwick树数据结构引入4D表示,这是一种来自经典算法设计的数据结构,但本文创新性地用于时间序列形变建模。Fenwick树通过基于范围的分解使不同帧的形变共享参数,相邻帧查询到的活动节点集重叠度高,自然强制时间连贯性。消融实验显示,去除Fenwick树会导致后期帧出现严重伪影,因为独立建模每个变形时,后期参数初始化为零且难以学习。这种时间表示方法不仅提高了学习效率,还保证了生成运动的平滑性和连贯性。第二,针对RF模型推导的W-RFSDS目标及其噪声采样策略是重要的技术创新。实验表明,去除采样策略会导致不自然运动,因为均匀采样无法覆盖注入运动所需的噪声级别。退火噪声调度根据优化进程动态调整噪声级别,使得早期优化能够产生大幅运动,后期优化能够添加细节。第三,粗到细的双级控制点结构配合退火噪声调度,在τ较大时优化粗控制点产生大幅运动,τ较小时优化细控制点添加细节,这种设计符合SDS优化过程的固有特性,即高噪声时梯度噪声大但能产生大幅运动,低噪声时梯度稳定但变形能力弱。这种层次化设计使得优化过程更加稳定和高效。
实验结果
实验包含三个主要发现。首先,在场景级4D运动生成任务上,CHORD在用户研究中显著优于四个基线方法。99名参与者对6个场景动画进行评估,CHORD在提示对齐上获得87.71%的投票率,在运动真实性上获得87.37%的投票率,而最佳基线TrajectoryCrafter分别为9.60%和10.44%,其他基线如Animate3D、AnimateAnyMesh、MotionDreamer均低于1%。这种巨大的性能差距清楚地证明了CHORD方法的有效性。其次,使用VideoPhy-2自动评估显示,CHORD在语义对齐上得分4.33(满分5分),物理常识上得分4.25,均高于所有基线。值得注意的是,AnimateAnyMesh在物理常识上得4.5分,但其常见失败模式是物体保持静止,这虽然符合物理常识但不遵循提示,说明单一指标可能产生误导。第三,在单物体网格动画任务上,50名参与者对5个提示的评估显示,CHORD在提示对齐上获得89.6%的投票率,在运动真实性上获得84%的投票率,进一步验证了方法的通用性。这个结果表明CHORD不仅在复杂的多物体交互场景上表现优异,在传统的单物体动画任务上也显著优于现有方法,证明了其作为通用4D生成流水线的定位。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| 场景级4D运动生成-提示对齐 | 用户研究投票率 | 87.71% | TrajectoryCrafter 9.60% | 78.11个百分点 |
| 场景级4D运动生成-运动真实性 | 用户研究投票率 | 87.37% | TrajectoryCrafter 10.44% | 76.93个百分点 |
| 场景级4D运动生成-语义对齐 | VideoPhy-2 SA分数(1-5) | 4.33 | TrajectoryCrafter 4.17 | 0.16 |
| 场景级4D运动生成-物理常识 | VideoPhy-2 PC分数(1-5) | 4.25 | AnimateAnyMesh 4.5 | 略低但符合提示 |
| 单物体4D动画-提示对齐 | 用户研究投票率 | 89.6% | 最佳基线约10% | 约80个百分点 |
| 单物体4D动画-运动真实性 | 用户研究投票率 | 84% | 最佳基线约8% | 约76个百分点 |
局限与改进
作者承认的局限性主要包括三个方面。第一,方法受限于底层视频生成模型的能力。如果视频生成器无法合成与提示对齐的视频,4D优化会收到误导性梯度,导致错误运动。这意味着CHORD的性能上限由其使用的视频模型决定,如果底层模型在特定类型的运动或物体上表现不佳,CHORD也无法弥补这一缺陷。第二,无法处理初始静态快照中不存在的物体。本文4D表示只能变形初始存在的几何,无法在序列中生成新物体。当提示涉及新物体进入场景时,系统无法生成这些物体,导致优化忽略请求效果或产生不完整运动。这限制了方法在需要拓扑变化或物体生成的场景中的应用。第三,训练时间长,每个资产需2000次迭代,在NVIDIA H200上约需20小时,运行时主要消耗在通过VAE反向传播。这使得方法在实际应用中的部署变得困难,特别是对于需要快速生成结果的场景。作者观察到的其他局限性包括:控制点位置在训练期间固定,只优化协方差矩阵,这可能限制表示能力;采用分割训练调度在迭代30后重新初始化变形,虽然提高稳定性但增加了超参数敏感性;各种超参数需要仔细调优,如CFG scale从25线性衰减到12,时间正则权重从9.6衰减到1.6,空间正则权重从3000衰减到300,这些参数的选择对最终结果有显著影响。
独立分析的弱点
独立分析的弱点及改进方向包括五个方面。第一是对视频生成模型的依赖导致质量上限受限。改进方向是开发多模型集成策略,结合多个视频生成模型的预测,或设计模型选择机制自动选择最适合当前提示的模型。这样可以减少对单一模型性能的依赖,提高方法在各种场景下的鲁棒性。第二是计算效率低,每个资产需20小时训练。改进方向是作者提出的避免通过VAE反向传播,因为生成运动而非RGB外观可能不需要完整VAE梯度;另一个方向是设计更高效的4D表示,如使用低秩分解或稀疏激活;还可以采用知识蒸馏,将训练好的CHORD模型蒸馏到轻量级网络,实现快速推理。第三是无法处理拓扑变化和新物体生成。改进方向是引入动态几何生成模块,在优化过程中根据提示生成新物体的初始网格,然后进行变形;或者将CHORD与文本到3D生成模型结合,先检测需要的新物体,生成后再整合到场景中。这样可以扩展方法的应用范围,处理更复杂的场景变化。第四是控制点位置固定限制表示能力。改进方向是允许控制点位置在训练后期微调,或设计自适应控制点初始化策略,根据物体几何复杂度动态调整控制点数量和位置。这样可以提高表示的灵活性和准确性。第五是超参数敏感且场景相关。改进方向是设计超参数自动调优机制,使用强化学习或贝叶斯优化为不同场景类型选择最优超参数;或者设计自适应权重调度,根据优化过程中的损失变化动态调整正则化权重。
未来方向
作者提出的未来方向包括三个方面。首先,随着视频生成技术的进步,由视频生成模型局限性引起的失败情况可能会得到缓解。更好的视频模型将提供更准确的运动指导信号,从而提高CHORD的生成质量。其次,对于由初始静态场景中不存在的新物体引起的失败,潜在解决方案是集成一个能够在优化过程中生成新几何的模块。这可能需要结合文本到3D生成技术或场景理解技术来识别和生成需要的新物体。第三,另一个局限性是训练时间长,作者认为有前景的方向是开发完全避免通过VAE反向传播的蒸馏策略。基于本文成果可延伸的未来研究方向包括:一是将CHORD扩展到更多下游应用,如VR/AR内容创作、电影预可视化、游戏动态场景生成;二是与物理引擎结合,引入更精确的物理约束如碰撞检测、摩擦力、重力,生成更符合物理规律的交互;三是支持声音生成,与视觉运动同步生成相应音效,创造更沉浸的体验;四是支持用户交互式编辑,允许用户在生成过程中实时调整参数或关键帧,提高方法的可用性;五是跨模态扩展,支持从图像、音频、动作描述等多模态输入生成4D运动;六是模型压缩与部署,将训练好的CHORD模型压缩到实时可运行的规模,部署到移动设备或边缘设备,扩大应用范围。
复现评估
复现评估显示:代码和模型开源情况未明确说明,但论文提供了详细的实现细节和超参数设置。数据方面,3D资产来自Sketchfab和BlenderKit,静态场景快照在Blender中构建,这些是公开可获取的资源,便于其他研究者复现实验。训练使用Wan 2.2 (14B)图像到视频模型,分辨率832×464,生成41帧变形序列。硬件需求高,每个资产在NVIDIA H200 GPU上训练约20小时,这对研究团队来说是相当高的门槛,可能限制了一些研究者对方法的复现和验证。实现细节完整,包括控制点初始化基于SDF的体素中心提取、最远点采样和K-means聚类,学习率调度(变形学习率从0.006衰减到0.00006,旋转从0.003到0.00003,尺度从0.006到0.00006),CFG scale线性衰减(25到12),正则化权重调度(时间正则9.6到1.6,空间正则3000到300),体素大小s通过二分查找自动确定使得|Sᵢ|≈7500。基线实现细节也提供了:Animate3D和AnimateAnyMesh将场景所有物体合并为单一网格输入;MotionDreamer使用Neural Jacobian Fields作为动画模型,每个物体训练独立的NJF;TrajectoryCrafter使用粗控制点加Fenwick树表示并应用时空正则化。用户研究模板和界面截图也提供了,包括参与者选择最佳、第二佳、第三佳结果的流程。总体而言,论文提供了相当充分的复现信息,但硬件需求高,代码开源情况不明确,复现难度中等到高。如果作者能够开源代码并提供预训练模型,将大大降低复现难度,促进方法的进一步发展和应用。
论文图表
图12展示了失败案例。第一行:输入是一个盒子,采样视频显示视频生成模型无法生成与提示对齐的视频,CHORD结果也无法生成正确的折叠运动。第二行:输入是一个罐子和碗,采样视频显示液体倒入碗中的运动,但CHORD结果没有液体出现,因为初始静态场景中没有液体。这两个失败案例分别说明了方法的两个局限性:依赖视频生成模型能力,无法处理初始场景不存在的物体。
这张图对理解方法的局限性很重要。它诚实地展示了CHORD的失败案例,帮助读者全面评估方法的适用范围和边界。这两个失败案例分别对应论文中讨论的两个主要局限性,增加了论文的可信度和透明度,也为未来工作指明了方向。展示失败案例是负责任的研究态度的体现。