[论文解读] Many physical laws are ridge functions

Paul G. Constantine, Zachary del Rosario+1 more|arXiv (Cornell University)|May 25, 2016

Sparse and Compressive Sensing Techniques参考文献 11被引用 10

一句话总结

本文通过将经典量纲分析（基于Buckingham Pi定理）与低维结构联系起来，证明了众多物理定律本质上是岭函数——即沿某些方向保持不变的函数。研究显示，通过量纲分析确定的子空间恰好包含由数据驱动降维方法得出的主动子空间，从而验证了物理定律天然具有岭结构特征。

ABSTRACT

A ridge function is a function of several variables that is constant along certain directions in its domain. Using classical dimensional analysis, we show that many physical laws are ridge functions; this fact yields insight into the structure of physical laws and motivates further study into ridge functions and their properties. We also connect dimensional analysis to modern subspace-based techniques for dimension reduction, including active subspaces in deterministic approximation and sufficient dimension reduction in statistical regression.

研究动机与目标

• 建立经典量纲分析与现代降维技术之间的理论联系。
• 探究物理定律是否本质上表现出低维结构，特别是岭函数形式。
• 验证通过数值积分与基于梯度的降维方法得出的主动子空间是否包含于量纲分析所确定的子空间中。
• 证明岭函数通过量纲不变性在物理系统中自然出现。
• 统一经典物理原理与当代计算方法在降维中的应用。

提出的方法

• 使用线性代数将物理量表示为量纲向量，建立m个物理变量的量纲矩阵D。
• 应用Buckingham Pi定理推导无量纲量组，形成k维独立量纲子空间（k ≤ m）。
• 定义岭函数f(x) = g(Aᵀx)，其中A张成量纲矩阵Dᵀ的零空间，确保f在与A正交的方向上为常数。
• 通过数值积分与有限差分方法计算协方差矩阵C = ∫∇f(x)∇f(x)ᵀp(x)dx，以估计主动子空间。
• 通过检验每个主动子空间基向量是否能被量纲分析子空间基向量线性表示，验证子空间包含关系。
• 采用高斯求积与有限差分格式，并进行误差分析，验证残差范数收敛至零。

实验结果

研究问题

• RQ1 由于量纲不变性，物理定律是否本质上表现出岭函数结构？
• RQ2 通过量纲分析确定的子空间是否能包含由基于梯度的降维方法得出的主动子空间？
• RQ3 通过物理模型梯度数值积分得出的主动子空间在多大程度上与量纲分析子空间一致？
• RQ4 数值微分与积分中的误差如何影响子空间包含关系的验证？
• RQ5 经典量纲分析与现代方法（如主动子空间或充分降维）之间存在何种关系？

主要发现

• 通过量纲分析推导出的物理定律在数学上等价于岭函数，其函数值仅依赖于输入变量的低维投影。
• 由量纲矩阵Dᵀ的零空间导出的量纲分析子空间，恰好包含通过物理模型梯度数值积分识别出的主动子空间。
• 数值实验表明，衡量子空间包含误差的残差范数r²随有限差分步长h减小以O(h)阶收敛至零，证实其收敛于理论子空间。
• 在层流与湍流流动情况下，主动子空间均为量纲分析子空间的真子空间，且在广泛输入参数范围内均得到验证。
• 结果证实，岭结构并非建模的产物，而是物理定律因量纲不变性而固有的基本属性。
• 本研究建立了经典物理（量纲分析）与现代计算方法（主动子空间）之间的严格联系，表明物理定律在结构上天然具有低维性。