Multi4D:基于多层竞争分配的高保真动态高斯泼溅 Multi4D: High-Fidelity Dynamic Gaussian Splatting via Multi-Level Competitive Allocation
提出三层高斯分解框架,通过竞争分配解决运动一致性与视觉保真度矛盾
前置知识
3D Gaussian Splatting
一种显式的3D场景表示方法,使用各向异性的高斯原语集合来描述静态3D场景。每个高斯原语由均值向量μ、协方差矩阵Σ、不透明度σ和球谐系数Rk定义,通过可微光栅化将这些3D高斯投影到2D图像平面进行渲染。相比NeRF等隐式表示,它具有实时渲染能力和明确的几何解释,是当前3D重建和视图合成的核心技术之一。
本文的核心基础,所有动态扩展都建立在3DGS的显式表示和可微光栅化框架上
4D Gaussian Splatting
3D高斯泼溅到时空域的扩展,将高斯原语表示为4D椭球体,具有4D均值向量μ∈R⁴和4D协方差矩阵Σ4D。在给定时间戳t时,通过沿时间轴切片分析地推导出时间条件下的3D高斯几何:μxyz|t = μ1:3 + Σ1:3,4/Σ4,4(t−μt),Σxyz|t = Σ1:3,1:3 − Σ1:3,4Σ4,1:3/Σ4,4。这允许通过调制时间存在来捕获复杂的外观变化和瞬时几何,但容易导致时间过度参数化。
本文中Transient Gaussians的核心表示,用于建模高频外观残差
Deformation Field
一种建模动态场景的方法,通过时间条件的变形模块对一组固定的标准高斯进行变形。典型的变形场包括神经网络、显式轨迹建模或特征网格(如HexPlane)。对于每个高斯g,其在时间t的变换为(μt, rt) = (μ, r) + Φg(μ, t),其中Φg是变形场。这种方法严格保持时间对应关系,使得高斯身份在时间上得以保持,适合下游任务如语义嵌入和跟踪。
本文中Persistent Dynamic Gaussians的核心机制,基于HexPlane实现刚性运动建模
HexPlane
一种高效的特征网格表示,将3D空间分解为三个正交平面(XY、YZ、ZX),每个平面存储2D特征图。对于空间中的任意点,通过查询三个平面的特征并进行拼接或插值来获得该点的特征表示。在动态场景重建中,HexPlane常被用作时间条件的变形场,通过在每个平面附加时间维度来实现时空特征查询,相比全3D网格大幅降低了参数量和计算开销。
本文变形场Φg的具体实现,用于驱动Persistent Dynamic Gaussians的刚性运动
Spherical Harmonics
球面谐波是定义在球面上的一组正交基函数,用于表示随视角变化的外观属性(如颜色)。在3D高斯泼溅中,每个高斯存储一组球谐系数Rk,在给定观察方向d时,通过评估这些系数来获得该方向的颜色:c(d) = Σk Rk·Yk(d)。球谐系数的数量决定了视角相关性的表达能力,系数越多,可以建模更复杂的光照和视角效应。4DSH进一步扩展了这一概念,引入时间维度来建模时间变化的外观。
本文中静态和持久高斯使用3D球谐系数,而瞬态高斯使用4D球谐系数来捕获时间变化的外观
研究动机
动态3D高斯泼溅面临运动一致性与视觉保真度之间的基本张力。基于变形的方法(如Def-3DGS、4DGaussian、E-D3DGS)保持固定的高斯集合并通过神经变形网络、显式轨迹或特征网格在时间上扭曲它们,虽然保持严格的时间对应关系和高斯身份,适合下游任务,但存在严重的运动过度因子化问题:变形场将附近运动分组,过度平滑高频动态。此外,这些方法往往将复杂的外观变化(如镜面反射或光照变化)解释为物理运动,导致虚假的几何翘曲。更重要的是,计算开销随高斯数量严格缩放,每帧每个高斯都需要查询变形网络,因此增加高斯数量以捕获精细动态细节会直接损害实时渲染能力和内存效率。相反,4D原语方法(如4DGS、STG)将场景动态概念化为4D时空高斯超圆柱体,在任意时间戳沿时间轴切片产生3D高斯,虽然能有效建模复杂外观变化和瞬时几何,但导致严重的时间过度参数化:优化倾向于利用时间缩放来最小化光度误差,产生大量存在极短寿命的幻觉原语,而不是捕获物理运动,导致快速运动区域的几何破碎。缺乏整体建模和标准几何约束也限制了这些方法在稀疏或单目监督下的泛化能力。
本文的目标是本文的目标是同时保持长期运动一致性和精细动态细节,实现高保真动态新颖视图合成,同时显著减少动态原语数量和存储开销,并自然支持高效的下游4D分割任务。具体而言,目标是在没有预分配分解的情况下,通过自适应专业化实现静态结构、持久动态几何和瞬时外观建模的分离,在统一可微渲染器下实现残差驱动的分配,从而解决运动过度因子化和时间过度参数化问题,产生紧凑、高保真的重建。
与已有工作不同的是,本文的独特切入角度在于挑战单一表示必须同时解释物理运动学和瞬时外观的假设。现有方法要么专注于运动建模(变形方法),要么专注于外观建模(4D原语),都存在固有的局限性。相反,本文将动态重建公式化为竞争的多层优化问题,其中具有不同归纳偏置的模型动态竞争来解释光度残差。通过在统一可微渲染器下明确分离静态与动态、几何变形与瞬时外观,实现残差驱动的跨层级分配。这种结构化解耦防止变形场吸收瞬时光度噪声,同时允许高容量4D原语建模不可约的外观变化。本文进一步引入自底向上、自正则化的训练策略,通过速度感知提升和掩模感知剪枝实现结构专业化和紧凑表示。与简单的静态-动态二分法不同,本文的三层设计(静态Gs、持久动态Gd、瞬态Gt)允许更细粒度的功能专业化,而竞争机制确保建模责任在优化过程中自然涌现,而不是预先分配。
核心方法
Multi4D的整体思路是将动态场景表示为三个功能专业化的高斯子集的并集:静态高斯Gs、持久动态高斯Gd和瞬态高斯Gt。静态高斯提供时间不变的结构骨架,使用COLMAP点云密集初始化以捕获稳定的场景结构,防止静态元素在优化期间被错误建模为动态运动。持久动态高斯是基于HexPlane的几何变形场Φg驱动的可变形原语,预测刚性运动(μt, rt) = (μ, r) + Φg(μ, t),保持时间身份而不发生外观漂移,用稀疏随机点初始化以允许在自监督下逐渐的动态几何细化。瞬态高斯是专门用于建模高频外观残差和瞬时几何的短寿命4D原语,初始化为空,仅通过后期训练阶段从Gd的周期性提升实例化,防止过拟合到重建噪声。所有子集在统一的可微光栅化器内联合渲染,共享透射率累积耦合它们的梯度并自然诱导跨子集竞争。一旦稳定几何解释一个区域,其余子集中的残差驱动密集化就被抑制,从而实现自适应专业化而不需要预分配分解。训练采用两阶段策略:第一阶段激活跨集机制(动态-静态分离和速度感知周期性提升)建立子集专业化,第二阶段专注于使用统一Multi4D渲染器进行渲染细化,同时掩模感知剪枝保持活动以移除冗余原语并保持紧凑表示。
Multi4D的核心创新点是多层竞争分配框架,与已有方法的本质区别在于:传统方法要么是单调的变形表示(所有高斯共享变形场),要么是单调的4D原语表示(所有高斯都是4D时空椭球),而Multi4D将场景建模为Gs、Gd、Gt三个功能专业化子集的竞争优化。这种竞争不是通过显式规则或损失项强制,而是通过共享可微渲染器中的透射率耦合自然涌现:当Gs或Gd成功解释一个区域时,光度残差减小,导致Gt的密集化被抑制;反之,当Gd无法捕获高频外观变化时,残差驱动Gt密集化以建模这些细节。速度感知周期性提升进一步增强了这种专业化:通过从活跃的持久高斯中继承速度先验来初始化新的瞬态原语,μ4D^(new) = [μi(t), t+ε]^T,r4D^(new) ← Align(vi),其中vi是通过有限差分估计的瞬时速度。这为高容量瞬态子集提供了强大的运动先验,缓解了稀疏或单目监督下无约束4D优化的不稳定性。掩模感知剪枝基于每个高斯对最终渲染的贡献(wi,I = max_{u∈I}(σi∏j=1^(i−1)(1−σj)·Pj(gj, u))·M(u))移除低效用原语,其中M(u)是前景-背景感知的门控掩模,确保持久和静态原语仅在分配的区域内贡献,防止跨集重叠。与简单的基于不透明度的剪枝不同,这种方法考虑了跨集遮挡推理,能够抑制隐藏在实体几何后面的瞬态噪声。通过这种竞争机制,Multi4D避免了单调表示的运动过度因子化和时间过度参数化,实现了结构持久性与瞬态建模的显式分离。
方法步骤详情
Multi4D的完整方法步骤包括:(1)初始化和自适应缩放:通过逆表达力初始化施加归纳偏置层次结构,约束的静态子集Gs使用COLMAP点密集初始化以捕获稳定场景结构,持久动态子集Gd用稀疏随机生成点初始化,高度表达的瞬态子集Gt初始化为空;然后线性归一化空间和时间域以稳定优化,避免梯度不平衡和病态4D协方差矩阵。(2)统一Multi4D渲染:在时间戳t的单个可微通道中渲染所有原语,每个原语i∈G投影到瞬时3D状态Θt,i = {μt, Σt, σt, ct},其中静态和持久几何显式定义(通过Φg(μ, t) for Gd),而瞬态几何通过4D切片获得;同时提取三个输出:全渲染Cfull(混合所有G用于光度监督)、持久渲染Cp(评估Gs∪Gd)和瞬态贡献Ct(累积Gt使用G的全局透射率),并应用基于SSIM的多样性损失Ldiversity鼓励子集专业化。(3)自监督动态-静态分解:为Gd附加基础掩模logit mi并使用MLP Dm预测时间依赖偏移m′i(t) = mi + Dm(H(μi, t)),通过用m′i(t)替代SH颜色获得连续2D动态掩模Md,然后独立渲染动态和静态子集的彩色图像,计算用于早期光度监督的复合图像Ccomp = Md⊙Cd + (1−Md)⊙Cs;引入空间感知不透明度惩罚Lα,使用推断的掩模Md作为空间模板惩罚投影到静态区域的持久动态高斯。(4)速度感知周期性提升:使用变形掩模logit m′i(t)作为时间戳t的活动分数,从活跃集{gi ∈ Gd | m′i(t) > τ}中采样K候选并提升到Gt;通过动量继承初始化新的4D原语:μ4D^(new) = [μi(t), t+ε]^T,r4D^(new) ← Align(vi),其中vi是通过有限差分估计的瞬时速度vi = (Φg(μi, t+Δt) − Φg(μi, t))/Δt,Align沿时空轨迹[vi^T, 1]^T对齐4D主轴。(5)掩模感知效用剪枝:基于每个高斯对最终渲染的贡献进行剪枝,定义峰值可见贡献wi,I = max_{u∈I}(σi∏j=1^(i−1)(1−σj)·Pj(gj, u))·M(u),其中门控掩模M(u)对Gd应用Md,对Gs应用(1−Md),对Gt应用1;在窗口Is上聚合贡献获得最终分数si = β·max_{I∈Is}(wi,I) + (1−β)·(1/|Is|)ΣI∈Is wi,I,移除si < τprune的原语。(6)训练策略:两阶段训练,第一阶段(子集形成)激活显式跨集机制(动态-静态分离和速度感知周期性提升),第二阶段(渲染细化)禁用动态-静态分解和提升,专注于使用统一Multi4D渲染器进行几何和外观细化,同时掩模感知剪枝保持活动。总损失为Ltotal = Lcolor + λsepLsep + λregLreg + λdivLdiversity。
技术新颖性
Multi4D的技术新颖性体现在多个方面:首先,它提出了第一个用于动态高斯泼溅的竞争多级框架,将场景建模为三个功能专业化子集的优化问题,而不是单调表示。这种竞争机制通过共享可微渲染器中的透射率耦合自然涌现,不需要显式规则或预分配分解。其次,速度感知周期性提升引入了从持久到瞬态原语的受控转换,通过动量继承为瞬态子集提供强运动先验,缓解了稀疏或单目监督下无约束4D优化的不稳定性。第三,掩模感知效用剪枝克服了基于不透明度剪枝的局限性,通过前景-背景感知门控和跨集遮挡推理准确评估每个高斯的实际贡献,能够抑制隐藏在实体几何后面的瞬态噪声。第四,两阶段训练策略和自底向上、自正则化的初始化(逆表达力初始化和自适应时空缩放)确保了子集专业化和紧凑表示。最后,Multi4D自然支持高效的下游4D分割,通过将语义优化限制在持久子集Gp = Gs∪Gd,避免瞬态外观噪声同时保持稳定时间身份,产生紧凑特征渲染、更强运动一致性和最先进的跟踪精度,具有数量级的加速。相比简单的静态-动态二分法,本文的三层设计允许更细粒度的功能专业化,而竞争机制确保建模责任自然涌现而不是预先分配,这是与已有方法的本质区别。
实验结果
Multi4D在三个任务上进行了全面评估:多视图动态新颖视图合成、单目动态新颖视图合成和下游4D分割。在Technicolor数据集上,Multi4D平均PSNR达到34.30,DSSIM为0.037,渲染速度为161 FPS,相比最强的高斯基线方法STG(PSNR 33.35,DSSIM 0.040,FPS 86)PSNR提升0.95 dB,FPS提升87%。在Neu3D数据集上,Multi4D平均PSNR达到32.30,DSSIM为0.026,渲染速度为217 FPS,相比STG(PSNR 32.04,DSSIM 0.026,FPS 140)PSNR提升0.26 dB,FPS提升55%。定性结果显示Multi4D更好地保留高频动态细节,而基于变形的方法表现出时间模糊,4D原语方法产生破碎几何。在单目NeRF-DS数据集上,Multi4D平均PSNR达到23.69,DSSIM为0.077,相比最强基线Def-3DGS(PSNR 23.43,DSSIM 0.086)PSNR提升0.26 dB,DSSIM降低0.009。重要的是,4D原语方法(4DGS、STG)在稀疏监督下显著退化,经常产生浮动伪影,而Multi4D利用持久高斯Gd进行连贯运动建模,利用瞬态高斯Gt进行局部镜面高光,产生一致的重建。在4D分割方面,Multi4D在Neu3D-Mask基准上达到0.9142 mIoU和0.9952 mAcc,相比TRASE(mIoU 0.8932,mAcc 0.9938)mIoU提升2.1%,mAcc提升0.14%。Multi4D仅使用13k动态高斯(相比TRASE的624k),使32维特征渲染能够在204 FPS下进行,几乎是21 FPS基线的10倍加速。消融研究表明,移除持久动态子集Gd降低重建质量(32.78 PSNR),因为运动必须由随机初始化的瞬态原语近似;移除瞬态子集Gt限制高频外观建模,PSNR降低到32.86尽管紧凑表示(25k动态高斯);用随机初始化替换速度感知提升使PSNR降低0.70 dB(33.92→33.22);移除Ldiversity削弱子集专业化,导致跨持久和瞬态集的冗余建模,动态原语增加67%(276k vs 165k);移除掩模感知剪枝导致时间过度参数化重新出现,建模的动态高斯数量增长到729k,存储增加145%。与4DGS相比,Multi4D仅使用165k动态高斯,是4.2M的25倍减少,同时PSNR提高到33.92,模型大小从2.6 GB降至214.7 MB,在单个RTX 4090上的训练收敛时间为1.2小时vs 5.5小时(4.6倍更快)。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| 多视图动态新颖视图合成(Technicolor) | 平均PSNR/DSSIM/FPS | 34.30/0.037/161 | STG: 33.35/0.040/86; E-D3DGS: 32.89/0.049/79; 4DGS: 32.07/0.054/55 | 相比STG PSNR提升0.95 dB,FPS提升87% |
| 多视图动态新颖视图合成(Neu3D) | 平均PSNR/DSSIM/FPS | 32.30/0.026/217 | STG: 32.04/0.026/140; 4DGS: 31.57/0.029/114; DeGauss: 31.52/0.029/157 | 相比STG PSNR提升0.26 dB,FPS提升55% |
| 单目动态新颖视图合成(NeRF-DS) | 平均PSNR/DSSIM | 23.69/0.077 | Def-3DGS: 23.43/0.086; 4DGS: 21.51/0.108; STG: 22.54/0.089 | 相比Def-3DGS PSNR提升0.26 dB,DSSIM降低0.009 |
| 4D语义分割(Neu3D-Mask) | 平均mIoU/mAcc/特征渲染FPS | 0.9142/0.9952/204(13k动态高斯) | TRASE: 0.8932/0.9938/21(624k动态高斯) | mIoU提升2.1%,动态高斯减少48倍,特征渲染FPS提升9.7倍 |
| 存储和训练效率(Neu3D) | 动态高斯数量/存储大小/训练时间 | 165k/214.7MB/1.2小时 | 4DGS: 4.2M/2.6GB/5.5小时 | 动态高斯减少25倍,存储减少92%,训练时间加速4.6倍 |
局限与改进
作者承认的主要局限性是Multi4D目前没有整合显式属性压缩。虽然通过优化驱动的紧凑性大幅减少了动态原语数量,但可以探索后训练变形蒸馏、高斯量化或轻量级变形参数化来进一步将结构紧凑性转化为改进的存储效率。此外,本文的方法在处理极端复杂动态场景(如大量独立运动的密集人群)时可能面临挑战,因为瞬态子集可能需要大量原语来建模复杂的非刚性变形。单目监督下的性能虽然优于4D原语方法,但与多视图监督相比仍有差距,说明稀疏监督下的运动推断仍然是一个开放问题。计算效率虽然显著提升,但在实时应用中可能需要进一步优化,特别是在资源受限的设备上。最后,本文的两阶段训练策略需要仔细调整超参数(如提升频率、剪枝阈值等),在不同的数据集和场景设置下可能需要重新调整,这增加了方法的使用复杂性。
独立分析的弱点
从独立分析的角度看,Multi4D存在几个潜在弱点。首先,两阶段训练策略增加了复杂性,需要仔细调整阶段切换点和相关超参数。在实际应用中,这可能需要针对不同场景类型进行繁琐的参数搜索,降低了方法的易用性。改进方向可以是开发自适应的阶段切换机制,基于子集专业化的收敛指标自动确定何时从第一阶段过渡到第二阶段。其次,虽然Multi4D显著减少了动态高斯数量,但瞬态子集仍然可能在高频外观变化区域产生大量原语,特别是在存在复杂光照效果(如多重镜面反射、焦散等)的场景中。改进方向可以是在瞬态子集中引入更激进的剪枝策略或层次化表示,将瞬态原语组织成空间局部簇以减少冗余。第三,Multi4D对初始化策略(特别是COLMAP点云和随机点)有较强依赖,在COLMAP失败的弱纹理或重复纹理区域,静态子集Gs可能无法捕获稳定结构,导致静态内容被错误建模为动态。改进方向可以引入额外的几何先验(如深度先验、法线先验)或学习式初始化来提高鲁棒性。第四,HexPlane变形场虽然高效,但在建模复杂非线性运动时可能受限,特别是对于大幅非刚性变形(如衣物摆动、流体运动)。改进方向可以是结合显式轨迹建模和神经变形场,或引入层次化变形表示来捕获不同尺度的运动模式。最后,Multi4D目前仅关注RGB重建,没有考虑其他传感器模态(如深度、法线、语义),这在需要多模态约束的应用中可能限制性能。改进方向可以是扩展框架以支持多模态损失和联合优化。
未来方向
作者提出的未来工作方向是探索后训练变形蒸馏、高斯量化或轻量级变形参数化,以进一步将结构紧凑性转化为改进的存储效率。这包括将复杂的HexPlane变形场蒸馏到更简单的表示(如低秩分解、稀疏网格),或将高斯参数量化到低精度格式而不显著损失渲染质量。基于Multi4D的成果可以延伸的另一个方向是扩展到更大规模和更长时长的场景重建。Multi4D当前在数百帧的序列上表现良好,但在电影级别的内容(数万帧)或复杂城市场景(大范围空间)上的应用需要解决内存和计算扩展性问题。可能的改进包括分块处理、层次化表示和渐进式细化策略。另一个有前景的方向是将Multi4D与其他重建技术结合,例如结合神经辐射场进行外观细化,或结合传统几何重建方法(如SfM、MVS)提供更强的几何先验。此外,Multi4D的竞争框架可以扩展到更多模态和任务,例如结合音频进行声学重建,或结合触觉数据进行物理属性推断。在4D分割方面,可以探索更复杂的语义建模,如实例级分割、开放词汇分割或联合3D重建和分割,进一步提高下游任务的性能和实用性。最后,Multi4D的思想可以应用于其他表示和学习范式,如神经隐式表示、点云或网格,将竞争分配的理念扩展到更广泛的重建和建模问题。
复现评估
根据论文描述,Multi4D的实验在单个NVIDIA RTX 4090 GPU上运行,使用标准数据集(Technicolor、Neu3D、NeRF-DS、Neu3D-Mask),这些都是公开可用的基准。论文提供了详细的实验设置和超参数,包括两阶段训练策略的具体配置、初始化策略、剪枝阈值等。然而,论文没有明确说明代码是否开源,这是评估复现性的一个重要因素。如果代码开源,复现难度应该中等,因为方法虽然复杂但论文提供了足够的技术细节。如果代码不开源,复现难度会显著增加,因为需要从零实现多层竞争框架、统一渲染器、速度感知提升和掩模感知剪枝等复杂组件。训练时间在单个RTX 4090上为1.2小时(相比4DGS的5.5小时),这是相对合理的计算需求。数据集大小方面,Technicolor场景为2048×1088分辨率,Neu3D为1352×1014分辨率的300帧序列,这些数据集的大小适中,不需要特殊的存储或处理设施。总体而言,如果代码开源,复现Multi4D的难度为中等,主要挑战在于实现复杂的两阶段训练策略和多层竞争机制;如果代码不开源,复现难度为高,需要深入理解论文并仔细调整超参数才能达到报告的性能。
论文图表
这张图展示了Multi4D的整体概念框架,对比了三类方法:基于变形的方法(如E-D3DGS)、4D原语方法(如4DGS)和本文提出的Multi4D。图中通过具体的数字对比展示了Multi4D的优势:在存储方面,变形方法需要5.1GB,4D原语方法需要243MB,而Multi4D仅用243MB;在动态高斯数量方面,4D原语方法需要637k,Multi4D仅用16k;在特征渲染FPS方面,TRASE为19,Multi4D达到215;在PSNR方面,E-D3DGS为31.0,4DGS为31.2,Multi4D达到33.2;在FPS方面,E-D3DGS为60,4DGS为71,Multi4D达到167。图的右侧还展示了Multi4D在4D分割任务上的优势,相比TRASE(FPS 29),Multi4D达到223 FPS,同时保持更高的mIoU。
这张图对理解论文至关重要,因为它直观地展示了Multi4D的核心贡献:通过竞争多级专业化同时解决存储效率、渲染质量和推理速度的问题。它清楚地对比了三类方法在关键指标上的表现,为读者提供了Multi4D优势的量化概览,是理解论文动机和贡献的起点。