Probabilists assumed that the higher-order mathematical moments of normal bell curves were always universally positive; mathematicians discovered an elegant low-dimensional counterexample where the math unexpectedly turns negative. By using computer-assisted optimization to shatter the Gaussian Moments Conjecture, probability theorists have corrected a fundamental assumption in random matrix theory and quantum information science.

In statistics and probability theory, the Gaussian bell curve is the most famous distribution in science, describing everything from human heights to stock market fluctuations. For years, mathematicians believed a longstanding conjecture that calculating complex higher-order moments of bell curves would always yield positive mathematical numbers.
Using advanced polynomial optimization algorithms, mathematicians found a surprising microscopic flaw in the theory. By constructing an exact 4-dimensional matrix of random variables, they proved that certain subtle cross-correlations turn negative, directly disproving the conjecture.
This counterexample prevents flawed mathematical models in quantum physics. By clarifying the limits of random matrix theory, by correcting calculations in quantum entanglement channels, and by refining high-dimensional statistical physics, disproving the Gaussian moments conjecture secures mathematical foundations.
Small Counterexamples to the Gaussian Moments Conjecture
We give explicit complex polynomials in three independent standard real Gaussian variables such that for every . In natural complex linear coordinates, has five terms and total degree . Hence the Gaussian Moments Conjecture is false in every dimension . We also give a six-term cubic example in four variables, which was found first and already proves failure for every . 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 variables forces the failure of . Tracking a standard Bass--Connell--Wright reduction of the announced map gives a conservative cubic-homogeneous counterexample in variables, and hence a route-based failure of . That route is nonconstructive at the final Gaussian step and does not furnish explicit polynomials . The much smaller explicit failures in dimensions and below were not derived from the announced Jacobian map.
Ask this paper your own questions, or keep browsing the verified research catalogue.