两变量高斯矩猜想的一个面隔离证明
A face-isolation proof of the two-variable Gaussian Moments Conjecture
浏览论文内容
中文总结 AI 辅助
研究两变量高斯矩猜想，利用复坐标及牛顿多边形暴露面的素隔离定理等方法，证明\(P(X,Y)\)单项式支撑严格单侧，得出当\(m>°Q\)时\(\mathbb E\left(Q(X,Y)P(X,Y)^m\right)=0\)，确定了该猜想成立的维度。
中文摘要 AI 辅助
设\((X,Y)\)为独立标准实高斯随机变量，\((P\in\mathbb C[X,Y])\)满足对每个\((m\ge1)\)有\(\mathbb E\left(P(X,Y)^m\right)=0\)。利用复坐标\(Z=\frac{X+iY}{\sqrt2}\)，\(W=\frac{X - iY}{\sqrt2}\)，证明\((P)\)的单项式支撑关于权重\(\operatorname{wt}(Z^aW^b)=a - b\)严格单侧。由此得出对每个\((Q\in\mathbb C[X,Y])\)，当\((m>°Q)\)时\(\mathbb E\left(Q(X,Y)P(X,Y)^m\right)=0\)，证明了两变量高斯矩猜想并给出明确阈值\(m\ge°Q + 1\)。主要成分是关于\((P)\)的牛顿多边形暴露面的素隔离定理。通过\((p)\)-adic赋值论证分离选定面的贡献，弗罗贝尼乌斯约化使相关单变量洛朗多项式所有正幂的常数项消失。杜伊斯特马特和范德卡伦定理表明面具有一种严格符号的权重，平面凸几何论证排除了包含两种符号权重的支撑。结合已知单变量情形和\((n\ge3)\)维的反例，确定了高斯矩猜想成立的维度。
英文摘要
Let $(X,Y)$ be independent standard real Gaussian random variables, and let $(P\in\mathbb C[X,Y])$ satisfy $\mathbb E!\left(P(X,Y)^m\right)=0$ for every $(m\ge1)$. Using the complex coordinates $Z=\frac{X+iY}{\sqrt2}, \qquad W=\frac{X-iY}{\sqrt2},$ we prove that the monomial support of $(P)$ is strictly one-sided with respect to the weight $\operatorname{wt}(Z^aW^b)=a-b$. Thus either every monomial occurring in $(P)$ has positive weight, or every monomial has negative weight. It follows that, for every $(Q\in\mathbb C[X,Y])$, $\mathbb E!\left(Q(X,Y)P(X,Y)^m\right)=0$ whenever $(m>°Q)$. This proves the two-variable Gaussian Moments Conjecture with the explicit threshold $m\ge°Q+1$. The main ingredient is a prime-isolation theorem for exposed faces of the Newton polygon of $(P)$. A $(p)$-adic valuation argument at moment indices of the form $(m=qp)$ separates the contribution of a chosen face from all remaining multinomial strata. Frobenius reduction then forces the constant terms of all positive powers of the associated one-variable Laurent polynomial to vanish. The theorem of Duistermaat and van der Kallen implies that the face has weights of one strict sign, while a planar convex-geometric argument rules out support containing weights of both signs. Combined with the known one-variable case and counterexamples in dimensions $(n\ge3)$, this determines the dimensions in which the Gaussian Moments Conjecture holds.
