函数协方差估计中的等变性、曲率与对称性
Equivariance, Curvature and Symmetry in Functional Covariance Estimation
- Laboratory of Engineering Applied to Business Management（工程应用与管理实验室）
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
该研究刻画了稀疏观测函数数据局部线性协方差估计的等变性，明确零曲率是统计等变性的边界，同时揭示有限群对称性的正则化作用及方差降低机制，厘清了总体坐标不变性与统计平滑几何阻碍的区别。
AI中文摘要：
函数数据的统计过程通常在时间尺度变换、配准或其他重新参数化之后应用，不过目前通常尚不清楚所得推断何时与所选坐标无关。我们针对稀疏观测函数数据的局部线性协方差估计刻画了这种等变性。在总体层面，协方差算子在每一个微分同胚重新参数化下都是酉共轭的。在估计层面，当且仅当重新参数化为仿射变换时，精确交换性才普遍成立。对于一般的\\(C^{2,1}\\\\)微分同胚，对等变性的偏离由归一化曲率\\\\(κ_ψ=\\\\|ψ''/ψ'\\\\|_\infty\\\\)控制，局部线性偏差为\\(O_P\\\\!\left\{κ_ψ\left(h^2+h n_{\mathrm{loc}}^{-1/2} +h_0^2+h_0 n_{\mathrm{loc},1}^{-1/2}\right)\right\}\\\\)。因此零曲率恰好是统计等变性的边界。我们随后证明，有限群对称性可充当正交投影正则化项：其风险增益恰好等于反不变估计误差减去对称误设的平方。轨道协方差恒等式量化了可实现的方差降低程度，并解释了为何仅群规模无法决定增益大小。这些原理可推广到特征值、特征空间以及截断的PACE预测。研究结果将总体层面的坐标不变性与统计平滑引入的几何阻碍区分开来。
英文摘要：
Statistical procedures for functional data are routinely applied after changes of time scale, registration, or other reparametrisations, although it is generally unclear when the resulting inference is independent of the chosen coordinates. We characterize this equivariance for local-linear covariance estimation from sparsely observed functional data. At the population level, covariance operators are unitarily conjugate under every diffeomorphic reparametrisation. At the estimation level, exact commutation holds universally if and only if the reparametrisation is affine. For a general \(C^{2,1}\) diffeomorphism, departure from equivariance is controlled by the normalized curvature \(κ_ψ=\|ψ''/ψ'\|_\infty\), with local-linear defect \[ O_P\!\left\{κ_ψ\left(h^2+h n_{\mathrm{loc}}^{-1/2} +h_0^2+h_0 n_{\mathrm{loc},1}^{-1/2}\right)\right\}. \] Thus zero curvature is exactly the boundary of statistical equivariance. We then show that finite-group symmetry acts as an orthogonal-projection regularizer: its risk gain is exactly the anti-invariant estimation error minus the squared symmetry misspecification. An orbit-covariance identity quantifies the attainable variance reduction and shows why group size alone does not determine the gain. These principles propagate to eigenvalues, eigenspaces and truncated PACE prediction. The results separate coordinate invariance at the population level from the geometric obstructions introduced by statistical smoothing.
