矩估计

方法依次完成四步：选择存在且能区分参数的理论矩；计算其模型表达；用样本平均替换期望；在参数空间内求解并规定多解规则。大数定律理路强大数定律Law of large numbers · Strong law of large numbers · SLLN独立同分布且可积时，样本均值沿几乎每条无限样本路径收敛到共同期望。只负责第三步收敛，参数一致性还需要 $m$ 在真值处可识别且逆映射连续。

低阶矩容易计算却可能浪费信息，高阶矩可能更能区分参数却对尾部和异常值敏感。矩的选择是估计设计的一部分，不由定义自动决定。

设 $X_i\sim \mathrm{Gamma}(a,b)$，采用形状 $a>0$、尺度 $b>0$ 参数化。理论均值与方差为

用样本一阶、二阶中心矩 $\overline{X}$ 与

匹配，解得

前提是 $\overline{X}>0$ 且 $M_{2,n}>0$。状态轨迹是：数据先压成 $(\overline{X},M_{2,n})$，再通过理论矩映射的逆恢复 $(a,b)$。

对 Uniform$(0,\theta )$，均值为 $\theta /2$，故矩估计 $\hat{\theta }=2\overline{X}$。它与最大似然理路最大似然估计Maximum likelihood estimation · MLE在参数空间内选择使已观测数据似然达到上确界的参数估计方法。的样本最大值不同，展示同一模型可有不同构造原则。

该估计量有限样本方差为 $4\mathrm{Var}(X)/n={\theta }^2/(3n)$，且无偏。相比之下，样本最大值的 MLE 有偏但误差尺度为 $1/n$，快于矩估计的 $1/\sqrt{n}$。所以“矩估计解出了正确期望方程”不意味着它利用了模型中所有可用信息。

边界与失败情形 ​

矩可能不存在。Cauchy 位置族没有有限一阶矩，用样本均值“匹配理论均值”没有定义；样本均值仍可算，但不存在它声称匹配的总体量。

矩映射可能不可识别。若只用 $\mathbb{E}[X^2]={\theta }^2+1$ 估计正态均值 $\theta$，则 $\theta$ 与 $-\theta$ 给出同一矩，方程有两个解；添加一阶矩或限制参数空间才可区分。

有限样本矩可能落在 $m(\mathrm{\Theta })$ 之外。例如由均值、方差反解某些受约束分布时会得到负形状参数。必须说明投影、边界解或失败，而不能输出不属于参数空间的数字。

多解规则必须可重复且不能窥视未知参数。选择“最接近真值的根”不是估计量；可以规定最小非负根、由独立初值决定的局部根，或把整个解集作为输出，再分别分析其统计性质。

矩估计不自动无偏、有效或唯一。大数定律给样本矩收敛，也只有在所需绝对矩有限时成立；高阶矩估计在重尾下可能波动巨大。

若输入直接给定准确矩，而不把它们视作抽样估计，任务又会不同。平坦矩证书理路平坦 Hankel 矩的正测度证书Flat Hankel moment certificate · Univariate flat moment certificate · 一元平坦矩证书以前一阶矩阵正定和最后Schur余量为零，构造唯一的有限正原子测度；给出循环自伴证明、全部正测度中的唯一性及半正定和噪声边界。判断全部正测度中的存在与唯一；Christoffel平方证书理路Christoffel 函数与矩约束原子上界Christoffel function moment bound · Christoffel variational principle · 克里斯托费尔函数以固定点取值为一的最小平方多项式定义Christoffel函数，从有限矩认证原子质量上界，并区分等号测度、不达上确界、支撑限制及矩误差。只界定某点可能有的原子质量。将样本矩直接当成准确总体矩，可能错误宣布低秩或原子数。带误差时应先给联合矩误差合同，再把固定多项式的系数转成明确预算；本页的一致性或渐近正态性不自动提供这样的有限样本合同。

若 ${\hat{m}}_n\to m({\theta }_0)$ 依概率，$m$ 在 ${\theta }_0$ 附近有连续的局部逆，并且估计量使用的正是这个分支，则连续映射定理理路连续映射定理Continuous mapping theorem · Mann–Wald theorem当可测映射的不连续点不承载极限概率时，沿它推前保留弱收敛；阈值映射说明边界质量为何决定成败。给出一致性理路估计量的一致性Consistency of estimators · Consistent estimator估计误差随实验规模增长而消失的点态、统一、弱与强收敛性质及其证明边界。 ${\hat{\theta }}_n\to {\theta }_0$。这里要求样本矩以趋于一的概率进入该局部逆的定义域，域外可预先规定一个可测输出。只知局部可逆却选择另一个远处的根，并不能推出一致性。进一步的渐近正态性理路估计量的渐近正态性Asymptotic normality of estimators估计误差在明确中心、速率与协方差下趋于正态律，以及线性化、标准化和边界失效机制。需要矩向量中心极限定理和逆映射 Jacobian 非奇异。

对上述局部逆分支，标量情形若 $m^{\prime }({\theta }_0)\ne 0$ 且 ${\mathrm{Var}}_{{\theta }_0}(h(X))=v<\mathrm{\infty }$，Delta 方法理路Delta 方法Delta method用可微映射的一阶 Taylor 展开传播估计量的渐近分布与协方差。给 $\sqrt{n}({\hat{\theta }}_n-{\theta }_0)\Rightarrow N(0,v/m^{\prime }({\theta }_0{)}^2)$。导数接近零会放大样本矩噪声；等于零时常规 $\sqrt{n}$ 正态近似失效，即使矩方程仍有唯一解。

当精确矩方程有解时，其加权平方差为零，因此也是该非负随机准则的全局极小点；无解时，上面的广义矩估计直接最小化同一准则。这把这些构造放入M-估计理路M-估计M-estimation · M-estimator通过随机准则的精确或近似极值选择参数，并把样本准则与总体识别目标分开。框架，但不自动带来额外的渐近保证。

矩估计常提供封闭形式初值，再交给似然优化精化。它的价值是计算透明，不是普遍最优。