probability-statistics / Probability, Commutative Algebra

Gaussian Moments Conjecture

The Gaussian Moments Conjecture asks whether, for complex polynomials $P,Q$ in $n$ independent standard real Gaussian variables, $\mathbb{E}(P^m)=0$ for all $m\geq 1$ forces $\mathbb{E}(QP^m)=0$ for all large $m$. Explicit counterexamples with $\mathbb{E}(P^m)=0$ and $\mathbb{E}(QP^m)=m!\neq 0$ exist in three variables (a five-term quartic $P$) and four variables, so the conjecture is false in every dimension $n\geq 3$.

25Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

probability-statisticsJul 20, 2026Significance 25/100Registry: site confirmed

Gaussian Moments Conjecture

Prior state unknowndisproved

Explicit counterexamples in dimensions 3 and 4, so GMC(n) fails for every n >= 3; GMC(1) was already known, and a separate human-authored preprint claims the remaining n = 2 case affirmatively

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

The Gaussian Moments Conjecture asks whether, for complex polynomials $P,Q$ in $n$ independent standard real Gaussian variables, $\mathbb{E}(P^m)=0$ for all $m\geq 1$ forces $\mathbb{E}(QP^m)=0$ for all large $m$. Explicit counterexamples with $\mathbb{E}(P^m)=0$ and $\mathbb{E}(QP^m)=m!\neq 0$ exist in three variables (a five-term quartic $P$) and four variables, so the conjecture is false in every dimension $n\geq 3$.

Explicit counterexamples in dimensions 3 and 4, so GMC(n) fails for every n >= 3; GMC(1) was already known, and a separate human-authored preprint claims the remaining n = 2 case affirmatively

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.