面向高效运动学生成的长时运动嵌入学习 Learning Long-term Motion Embeddings for Efficient Kinematics Generation
通过两阶段框架学习 64× 时间压缩的稠密运动潜空间,使目标条件运动生成比视频模型快 4 个数量级。
前置知识
变分自编码器 (VAE)
变分自编码器是一类生成模型,由编码器将输入映射到潜空间中的概率分布(通常为高斯),再由解码器从采样得到的潜变量重建输入。训练时通过重构损失(如 L1)配合 KL 散度正则化约束潜空间接近先验分布 $p(z)$,从而得到既紧凑又语义化的连续潜空间。本文的运动 VAE 就是用稀疏轨迹作为输入,学习稠密、可查询的运动潜网格。
本文第一阶段就是一个 $\beta$-VAE,把不规则的稀疏轨迹压缩成规则网格状的潜表征,这是后续流匹配生成和稠密解码的几何基础。
流匹配 (Flow Matching)
流匹配是一类连续时间的生成建模方法,通过训练一个神经网络向量场 $v_\phi(z_t, c, t)$ 沿一条从简单先验分布 $p_0(z) = \mathcal{N}(0, I)$ 到数据分布 $p_1(z)$ 的直线轨迹 $z_t = (1-t)z_0 + t z_1$ 来传递样本。损失函数为 $\mathcal{L}_{FM} = \mathbb{E}_t\|v_\phi(z_t, c, t) - (z_1 - z_0)\|_2^2$,目标向量场 $v^*_t = z_1 - z_0$。相比扩散模型,流匹配训练目标更直接,采样时 ODE 求解的步数可以很少。
本文第二阶段正是在压缩后的运动潜空间上训练流匹配模型,并表明用 10 步采样即可获得不错的运动质量,这是高效推理的关键。
目标条件生成 (Goal-Conditioned Generation)
目标条件生成指生成过程被一个描述「希望达到的状态」的条件信号 $c$ 所控制,$c$ 可以是文本、目标图像或空间 pokes(如「这里应在 $t$ 时刻到达该位置」)。本文支持两种条件:自由文本(通过 BERT 嵌入)和空间 pokes(任意时空位置的起点和终点约束)。
本文核心应用是可控的运动合成:用户用文字或点击指定「让某物体到某位置」,模型要给出多模态、物理合理的整段轨迹。
RoPE 旋转位置编码
Rotary Position Embedding(RoPE)通过对查询/键向量施加与位置相关的旋转矩阵 $\mathbf{R}(\cdot)$ 来注入位置信息,使注意力分数天然编码相对位置。本文对轨迹 token 使用 3D RoPE(起点 $x_0, y_0$ 与时间 $t$ 各占 $\frac{d_k}{4}$ 维度),对潜网格 token 使用部分 RoPE(空间位置占 $\frac{d_k}{4}$,其余维度留空以促使模型依赖语义)。
本文的轨迹和潜网格都依赖位置编码来保持空间与时间的结构,3D RoPE 的设计直接决定了模型能否区分「同一物体在不同时间的运动」与「不同物体在同一时间的运动」。
点追踪 (Point Tracking)
点追踪是从视频第一帧采样若干像素位置,然后在后续帧中跟踪这些点的 $(x, y)$ 坐标,得到一条轨迹 $\mathbf{x}_i = ([x_0, y_0], \ldots, [x_{T-1}, y_{T-1}])$。本文使用 TAPNext 提取 1024 条轨迹,每条 64 帧,再用 CoTracker3 做评估。
点追踪提供了比视频帧更紧凑的运动监督信号,是本文「运动学」抽象的物理基础——它把「场景中如何运动」从外观信息中剥离出来。
研究动机
理解并预测场景运动是视觉智能的核心,但当前学习方法存在两类瓶颈。第一类专注于低级运动信号(光流或稀疏点轨迹),如 Track2Act、ATM 等方法只在机器人设定下工作,缺乏开放域的可推广性。第二类将运动与外观混在视频生成模型里训练,如 Wan、Veo 3 等潜视频自编码器通常只使用 4×–8× 的时间压缩,更高压缩会严重损失视觉细节;因此生成一段 64 帧的运动需要高昂算力且运动与纹理纠缠,难以做运动学推理与控制。具体来说,Wan(14B 参数)生成一段视频约需 1 小时、平均仅 0.2 timesteps/s,而本文方法在 Pexels 上达到 2500 timesteps/s——速度差距超过 10000×。此外,多模态未来探索(同一场景多种合理解释)通过穷举视频采样更是难上加难,因为视频模型每次采样只能产出「一种未来」。
本文的目标是本文目标是学习一种长时、稠密、语义化的运动潜嵌入,把场景级运动结构聚合到一个紧凑潜空间中,使得:(1) 时间维度可以 64× 压缩而不丢失语义;(2) 任意空间位置都可以从潜空间查询出稠密运动(不限于追踪器原始采样点);(3) 可以用文本或空间 pokes 作为条件,对运动潜变量做高效、可控的生成。该潜空间的目标不是重建像素,而是显式建模「场景中事物如何运动」这一更高层抽象。
与已有工作不同的是,已有工作要么把运动学限制在追踪器采样的稀疏点(无法外推、未聚合场景级上下文),要么把运动隐式混在视频像素里(高维、计算昂贵、缺乏可解释性与可控性)。本文的独特切入点是构建一个显式的「运动作为生成域」的潜空间——比光流长(光流只刻画瞬时位移)、比点轨迹稠密与可泛化(可在任意空间查询)、比视频紧凑数万倍(64× 时间压缩 + 极小空间开销),并在这个潜空间上直接训练条件流匹配模型实现运动推理。这是一种新的表征抽象层级,让运动学成为可独立操作的「一等公民」。
核心方法
ZipMo 是一个两阶段的运动生成框架。直觉上,我们希望把「场景中物体如何运动」这一抽象先从视频像素里剥离出来压缩到一个小而紧凑的潜空间中,然后再在这个潜空间上做可控生成,避开视频像素的高维复杂结构。技术路线上,第一阶段训练一个 $\beta$-VAE $F_\theta = (E_\theta, D_\theta)$:编码器 $E_\theta$ 把 TAPNext 提取的稀疏轨迹集 $\{\mathbf{x}_i\}$ 与起始帧 DINOv2 特征 $\mathbf{f}_0$ 作为输入,输出一个 $H\times W \times D$ 的潜网格 $\mathbf{z}$($16\times 16$ 网格、16 通道、64× 时间压缩);解码器 $D_\theta$ 接收任意查询点 $\mathbf{x}_{j,0}$,通过交叉注意力从 $\mathbf{z}$ 和 $\mathbf{f}_0$ 重建完整轨迹,从而支持稀疏编码、稠密解码。第二阶段训练一个 24 层 Transformer 流匹配模型,在该潜网格空间上学习条件向量场 $v_\phi(\mathbf{z}_t, c, t)$,条件 $c$ 包括起始帧特征、可选的文本(BERT 嵌入)或空间 pokes。模型规模分别为 340M(VAE)和 530M(Planner),最终在 LIBERO 机器人仿真与 Pexels 开放域视频上均显著超越任务专用轨迹模型和大型视频模型。
本文的核心创新是把运动建模从「像素空间重建」彻底推向「运动潜空间生成」,并通过 64× 时间压缩让潜空间既紧凑又语义化。与已有方法的本质区别有三点:(1) 不同于 Track2Act/ATM/WHN 等只在原始轨迹空间预测的方法,本文把轨迹先编码进规则化的潜网格,使运动具有「场景级聚合」和「任意位置可查询」的能力——追踪器只在若干点采样,但潜空间可以稠密重建所有像素的运动。(2) 不同于 MoFA/Motion-I2V 用光流作为中间表征再引导视频生成,本文不再依赖像素渲染,运动本身就是生成目标,从而避免与外观纠缠。(3) 不同于 Wan/Veo 这类把运动隐式混在像素中的大型视频模型,本文在 $16\times 16 \times 16$ 的潜网格上做流匹配,参数小两个数量级、速度快上万倍,但分布质量反而更好(见 Time-Matched 设置下 Min MSE 21.29 vs 64.20)。
方法步骤详情
训练分两阶段。第一阶段(VAE):(a) 输入:TAPNext 在每个视频片段提取 1024 条随机采样轨迹,每条 64 帧坐标,归一化到 $[-1, 1]$;起始帧用冻结的 DINOv2 ViT-B/14 提取 $224\times 224$ 的 patch token 作为 $\mathbf{f}_0$。(b) 编码器 $E_\theta$:每条轨迹的 $(x_t, y_t)$ 用 Fourier feature + MLP 映射为 token,再用 3D RoPE 编码起点 $(x_0, y_0)$、时间 $t$ 和轨迹身份;与潜网格的可学习 embedding 一起做 12 层全局自注意力,并在每层插入与 $\mathbf{f}_0$ 的交叉注意力;最终输出潜网格 $\mathbf{z} \in \mathbb{R}^{H\times W\times D}$ 的均值与对数方差。(c) 解码器 $D_\theta$:查询点 $\mathbf{x}_{j,0}$ 也 Fourier 嵌入后通过 RoPE 编码起点的 $(x_q, y_q)$ 与查询时间 $t_q$,再用交叉注意力从 $\mathbf{z}$ 和 $\mathbf{f}_0$ 读取信息,经小 MLP 投影回 $(x, y)$ 坐标,从而在任意时空位置重建轨迹。(d) 损失:$\mathcal{L} = \underbrace{\frac{1}{|\mathcal{I}|}\sum_{i\in\mathcal{I}}\|D_\theta(\mathbf{x}_{i,0}; \mathbf{z}, \mathbf{f}_0) - \mathbf{x}_i\|_1}_{\text{autoencoding}} + \underbrace{\frac{1}{|\mathcal{J}_{mae}|}\sum_{j\in\mathcal{J}_{mae}}\|D_\theta - \mathbf{x}_j\|_1}_{\text{masked MAE}} + \beta\underbrace{D_{KL}[q_\theta(\mathbf{z}|\cdot)\|p(\mathbf{z})]}_{\text{KL}}$,其中 $\beta=1.0\times 10^{-7}$、重建损失为 L1。第二阶段(Motion Planner):(a) 编码后的真实运动网格 $\mathbf{z}_1 \sim p_1$ 与噪声 $\mathbf{z}_0 \sim \mathcal{N}(0, I)$ 沿 $z_t = (1-t)z_0 + tz_1$ 线性插值。(b) 24 层 Transformer 预测向量场 $v_\phi(\mathbf{z}_t, c, t)$,条件 $c$ 通过交叉注意力注入——pokes 用 Fourier + RoPE 编码,文本用 BERT 嵌入。(c) 损失 $\mathcal{L}_{FM}=\mathbb{E}_{t, z_0, z_1}\|v_\phi(\mathbf{z}_t, c, t) - (z_1 - z_0)\|_2^2$。(d) 推理时只需 10 步 ODE 求解即可从 $c$ 采样得到潜网格,再经 VAE 解码得到任意查询点的轨迹。
技术新颖性
技术新颖性体现在三个层面。第一,表征层面:提出 $H\times W\times D$ 的规则化运动潜网格——把稀疏、长度不均、空间不规则的追踪轨迹映射成结构化、可全局自注意力处理的二维栅格,从而既保留「逐位置」的精细运动又聚合场景级上下文,这一点是 ATM/Traj-MoE 这类逐轨迹预测模型做不到的。第二,压缩与语义化的权衡:通过实验明确证明强时间压缩(如 64×)不仅不损质量,反而提升运动质量与训练效率(图 4 显示 $t_c=64$ 的生成质量与 kNN 检索精度均单调上升),并把这一现象归因于「更少 token + 更语义化的潜空间」,这是一个少有人系统研究的发现。第三,生成范式层面:让运动本身成为生成域而非视频的中间变量,因此可以脱离任何图像渲染自由探索多模态未来(一次生成可采样上千条不同轨迹),同时与任意下游视频模型解耦——ZipMo 输出的运动可独立用于机器人动作预测或 Pexels 视频评估,体现了「运动学即通用接口」的设计哲学。
实验结果
本文实验围绕四个层面展开,每层都给出了明确数字证据。第一,时间压缩分析(图 4)显示:在固定计算预算下,$t_c=64$ 相比 $t_c=2$ 的运动生成质量(Min MSE)从约 8 降到约 3,推理吞吐(timesteps/s)从约 250 升到约 2500,kNN 检索准确率从 0.2 升到 0.6+;重建保真度仅小幅下降,说明强压缩换来的是效率与语义化双重提升。第二,Poked 运动生成(表 1):在 Pexels 子集上,ZipMo 以 2500 timesteps/s 达到 1-poke 设置 Min MSE 41.0、Mean MSE 57.9、EPE 0.5,相比 Motion-I2V(21 timesteps/s、Min MSE 135.7、EPE 19.7)速度快 119×、误差降 39×;在 Dense 设置下 ZipMo Min MSE 30.4 / Mean 44.1 / EPE 1.1,仍大幅优于 Track2Act(Min 138.7 / Mean 156.1 / EPE 20.9)。第三,LIBERO 机器人任务(表 2):按 ATM 协议平均成功率 ATM 60.4 → ZipMo 77.5(+17.1),按 Tra-MoE 协议 Tra-MoE 61.4 → ZipMo 80.3(+18.9),其中 Object 类任务达到 98.0%,远超 Amplify 85.0%。第四,与 SOTA 视频模型的对比(表 3、4):Sample-Matched 下 Wan 需 1 小时、Min MSE 28.67、Mean 57.02、EPE 4.68,而 ZipMo 仅 1 秒、Min 27.08、Mean 39.53、EPE 1.17;Time-Matched 下 ZipMo 可生成 $>10000$ 个样本、Min MSE 21.29、Mean 40.33、EPE 1.17,Wan 仅能生成 1 个样本且 Min MSE 64.20——这说明在同等算力下,ZipMo 不仅快四万倍还更准。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| Poked Motion Generation (Pexels, 1 poke) | Min MSE / Mean MSE / EPE (越低越好) | ZipMo: 41.0 / 57.9 / 0.5,2500 timesteps/s | Motion-I2V: 135.7 / 429.7 / 19.7,21 timesteps/s | Min MSE 降 70%、Mean MSE 降 86%、EPE 降 39×,速度提升 119× |
| Poked Motion Generation (Pexels, Dense) | Min MSE / Mean MSE / EPE | ZipMo: 30.4 / 44.1 / 1.1 | Track2Act: 138.7 / 156.1 / 20.9 | Min MSE 降 78%、Mean MSE 降 72%、EPE 降 19× |
| LIBERO 机器人动作预测(ATM 协议) | 任务成功率(%) | ZipMo: 平均 77.5(10: 66.3, 90: 62.3, Spatial: 91.3, Goal: 69.7, Object: 98.0) | ATM 60.4;Amplify 71.4 | 相比 ATM 提升 +17.1 个百分点,Object 任务达到 98% |
| LIBERO 机器人动作预测(Tra-MoE 协议) | 任务成功率(%) | ZipMo: 平均 80.3(10: 61.0, Spatial: 85.7, Goal: 82.3, Object: 92.0) | Tra-MoE: 平均 61.4 | 相比 Tra-MoE 提升 +18.9 个百分点 |
| Time-Matched 与 SOTA 视频模型对比(Pexels) | Min MSE / Mean MSE / EPE + 采样数 | ZipMo: 21.29 / 40.33 / 1.17,可生成 >10000 个样本 | Wan: 64.20 / 64.20 / 5.23,仅 1 个样本;Veo 3: 65.99 / 65.99 / 5.84,仅 1 个 | Min MSE 降 67%、EPE 降 4.5×,且采样数多 10000× |
| DAVIS 视频运动生成(Dense poke) | Min MSE / Mean MSE / EPE | ZipMo: 155.1 / 233.0 / 0.83 | Motion-I2V: 222.2 / 307.0 / 16.37 | Min MSE 降 30%、EPE 降 19.7× |
| PhysicsIQ 物理推理(Dense poke) | Min MSE / Mean MSE / EPE | ZipMo: 90.60 / 143.65 / 0.76 | Motion-I2V: 177.8 / 225.1 / 12.4 | Min MSE 降 49%、EPE 降 16× |
局限与改进
作者承认并可观察到的局限性有四点。(1) 追踪器质量上限:性能理论上受限于 TAPNext 的追踪质量,但跨追踪器实验(表 H)显示 TapNext 与 CoTracker3 的重建 PCK 仅差 0.5(96.8 vs 96.3),表明模型对追踪器选择并不敏感。(2) 场景限制:评估主要在静态相机 Pexels 视频和 LIBERO 仿真上完成,重相机运动场景会污染指标,作者明确避开此类数据。(3) 视频模型的不可控条件:Pexels 子集对 Wan/Veo 未必是 held-out,且 Wan 至少生成 81 帧,导致对视频模型可能不公平,但 Time-Matched 设置下差异显著到几乎不受此影响。(4) 多物体交互建模粒度:尽管 VAE 可以聚合多物体运动,但当前 planner 主要在「起始帧 + 多个终点 pokes」层面工作,未显式建模物体间接触、碰撞等物理约束,在 PhysicsIQ 这类需要精细物理推理的任务上仍有差距(Min MSE 90.60 仍不低)。此外,第二阶段依赖第一阶段的潜空间质量——若 VAE 训练不稳定,planner 的多模态分布会受影响。
独立分析的弱点
独立分析可发现三个可改进的弱点。(1) KL 正则化权重过小:$\beta=1.0\times 10^{-7}$ 几乎不施加正则化,可能导致潜空间结构不够「先验可采样」,从而流匹配时需要更多采样步数。建议在保持重建质量前提下增大 $\beta$ 或采用更结构化的先验(如离散潜码),以进一步压缩表征和加速推理。(2) 缺乏显式物理约束:模型纯粹从数据中学习运动合理性,但在 PhysicsIQ 上仍有提升空间。建议在损失中加入物理守恒律(如速度平滑、加速度有界)或用物理仿真器做后处理。(3) 长程一致性未显式建模:尽管时间压缩 64× 让模型天然聚焦长程结构,但解码器是逐查询点独立输出,可能在远距离时序上出现抖动。可引入轨迹级别的平滑正则(如对相邻帧差分加 L1 惩罚)或在潜空间加时间自回归约束。(4) 条件融合方式简单:文本和 pokes 都通过交叉注意力注入,没有显式校验它们之间的一致性;当用户给出「物理上不可能」的组合(pokes 自相矛盾)时,模型仍可能产出不合理轨迹,建议加入一致性校验头。
未来方向
作者提出的方向是评估视频模型条件子集可能的数据污染以及扩展到更长视频。基于成果可延伸的方向有四点。(1) 把运动潜空间用作通用世界模型接口:与 DINO-WM 类似,可把本文潜网格接到 VLA 模型上做零样本机器人规划,已在 LIBERO 验证,但推广到真实机器人是自然下一步。(2) 多视角与 3D 一致性:当前潜网格是 2D 像素空间,未来可加入相机位姿约束扩展到 3D 场景运动场。(3) 与视频模型双向耦合:ZipMo 可输出运动先验指导视频模型,反过来视频模型可提供外观监督细化运动,形成「运动—外观」协同训练闭环。(4) 交互式编辑:利用潜网格的稠密可查询性,开发「画一条轨迹作为提示」的人机协作编辑工具,把 motion inpainting(已在图 L 中演示)做成产品级功能。(5) 离散化潜空间以适配自回归生成或语言模型融合,探索「运动 token」作为新的多模态接口。
复现评估
复现评估总体较好但有一定门槛。开源方面,论文明确提供了项目页(compvis.github.io/long-term-motion)和代码,附录表 G 列出了完整超参数(VAE 340M、Planner 530M、学习率 $1.0\times 10^{-4}$、WSD 调度、bfloat16 精度等)。数据集:开放域使用 KOALA-36M 的 10M 视频片段加 TAPNext 追踪轨迹,封闭域使用 LIBERO+CoTracker3,评估用 68 段精选 Pexels 视频——这些数据均为公开。算力需求较高:完整训练需 16–64 块 NVIDIA H200 各跑 3 天(VAE 与 Planner 各 3 天),消融实验也需 4×H200×24 小时,这超出了多数实验室的可承受范围。复现难度中等偏上:作者提供了端到端的训练与评估脚本,但 (a) H200 大集群门槛、(b) TAPNext 追踪 10M 视频片段的预处理耗时、(c) Wan 14B 模型本地推理也是难点。建议先用 4×H200 跑小规模消融验证方法有效性,再决定是否投入完整训练。
论文图表
顶部展示本文方法 (ZipMo, 2026) 与视频模型 (Wan) 的采样时间对比:ZipMo 用约 2500 timesteps/s,Wan 仅约 0.2 timesteps/s,速度提升超过 10000×。下方示意 ZipMo 在固定计算预算下可以采样大量「可能的运动」(Sampling Possible Motions),而视频模型刚开始生成第一帧。
这张图是论文最具冲击力的「卖点」图,直接把方法核心优势(数量级加速 + 多模态采样)可视化,决定读者是否继续往下读。
展示如何把稀疏追踪点转换为 pokes 条件,从而生成稠密的运动场;可视化呈现全局一致的「流向终点」效果。
演示「稀疏追踪 → 稠密预测」这一附加能力,是 motion inpainting 与下游视频/仿真任务衔接的桥梁。
横轴为流匹配推理步数 NFE,纵轴为 Min MSE,展示模型在不同采样步数下的表现——仅 10 步即可得到较好质量。
支撑「10 步即可实用」的结论,是评估推理成本可调性的关键消融。
固定 wall-clock 时间:Wan 和 Veo 3 各只能生成 1 个样本(Min MSE 64.20/65.99),ZipMo 可生成 >10000 个样本且 Min MSE 21.29、EPE 1.17。
这是「速度优势放大质量优势」的关键表——展示在真实算力约束下 ZipMo 的统治力。
在 LIBERO-10/90 上对比 WHN 和 ZipMo 的 MSE(Single/Min/Mean 三个指标),ZipMo 在所有设定下都优于 WHN,如 LIBERO-90 Effector Single: WHN 57.64 vs ZipMo 45.23。
补充表,定量展示文本条件下轨迹预测精度,强化「运动潜空间适合语言条件生成」的结论。
训练用 TapNext、CoTracker3 互相测试的 PCK:96.8/97.0、96.3/97.3,几乎无差异,证明模型对追踪器选择不敏感。
说明方法的鲁棒性——不依赖于某个特定追踪器,对实际部署很重要。
详细列出 VAE 和 Planner 的所有超参数:参数规模(340M/530M)、层数(12/24)、宽度(768/1024)、学习率($1.0\times 10^{-4}$)、调度、batch size(64→256 / 512→2048)、训练步数(800k/700k)等。
复现所需的关键参考表,对想要跟进本工作的研究者至关重要。