Small Counterexamples to the Gaussian Moments Conjecture

Abstract

We give explicit complex polynomials $P,Q$ in three independent standard real Gaussian variables such that \[ {\mathbb E}(P^m)=0,\qquad {\mathbb E}(QP^m)=m!\neq0 \] for every $m\geq1$. In natural complex linear coordinates, $P$ has five terms and total degree $4$. Hence the Gaussian Moments Conjecture is false in every dimension $n\geq3$. We also give a six-term cubic example in four variables, which was found first and already proves failure for every $n\geq4$. Both examples follow from the same coefficient identity. The search was prompted by Levent Alpöge's public announcement of an explicit three-dimensional counterexample to the Jacobian Conjecture. Although the main theorem of Derksen, van den Essen, and Zhao is stated globally in dimension, its proof has fixed-dimensional content: a noninvertible cubic-homogeneous Keller map in $r$ variables forces the failure of ${\mathrm GMC}(2r)$. Tracking a standard Bass--Connell--Wright reduction of the announced map gives a conservative cubic-homogeneous counterexample in $79$ variables, and hence a route-based failure of ${\mathrm GMC}(158)$. That route is nonconstructive at the final Gaussian step and does not furnish explicit polynomials $P,Q$. The much smaller explicit failures in dimensions $4$ and $3$ below were not derived from the announced Jacobian map.

Disclosure

“weights. Thus any counterexample to GMC(2) would require a richer inhomogeneous mixture of positive and negative weights. We do not settle this case. AI provenance and author responsibility The four-variable construction was produced by ChatGPT 5.6 Sol Pro, without human interven- tion after the initial prompt, after it was told that the Jacobian Conjecture had been disproved and asked whether a small counterexample to the Gaussian Moments Conjecture might therefore exist. After”

PDF page 8

Classification

Substantial mathematical content or result generation

Multiplier

10

Verified

2026-08-23T18:59:13.385970Z

Structural counts