Source · Paper

Small Counterexamples to the Gaussian Moments Conjecture

PreprintPublication date Jul 20, 2026
Open paper ↗

Overview

Gives a cubic four-variable witness and a quartic three-variable witness, both with zero pure moments and nonzero mixed moments of every order.

Source publication and attributed assessments are distinct from independent OpenMath review.

Passages

The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.

Passage 1 · OpenMath paraphrasePermalink

Proposition 4.1, Theorem 5.1, Corollary 5.2, Section 7 and AI disclosure

Gives a cubic four-variable witness and a quartic three-variable witness, both with zero pure moments and nonzero mixed moments of every order.

Passage details

Passage ID: gaussian-moments:entry:long:v1

Source item: long

Source record: gaussian-moments:source:long:v1

Used in

Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.

Gaussian moments conjecture →

Problem publication v6

The same witness works in every higher dimension →

Source assessment

Proved

Witness extends to every higher dimension

Use the same polynomial in its first three coordinates, independent of all extra Gaussian coordinates.

Source date Jul 20, 2026 · Observed Oct 13, 2026

A cubic witness in four real variables →

Source assessment

Proved

Moment identities proved in the cited paper

Exact coefficient identities for the three- and four-variable polynomials, not a finite numerical moment test.

Source date Jul 20, 2026 · Observed Oct 13, 2026

Eventual mixed-moment vanishing in every dimension →

Source assessment

Disproved

Universal conjecture refuted by an explicit polynomial

Three independent real Gaussian coordinates suffice; the construction extends to every higher dimension.

Source date Jul 20, 2026 · Observed Oct 13, 2026

The remaining two-variable question →

Source assessment

Open

Two-variable case remains open in the cited survey

The three-variable counterexample does not settle dimension two.

Source date Jul 20, 2026 · Observed Oct 13, 2026

A quartic witness in three real variables →

Source assessment

Proved

Moment identities proved in the cited paper

Exact coefficient identities for the three- and four-variable polynomials, not a finite numerical moment test.

Source date Jul 20, 2026 · Observed Oct 13, 2026

Problem context · 4 citations

Research activity

Explore the remaining dimension

The source leaves GMC(2) as the nearest unresolved restriction.

Higher-dimensional counterexamples cannot be projected down while preserving their moment identities.

Further reading

Read the mathematical argument; inspect its Claim for assessment and scope.

Credits

Recorded authorship

Christopher D. Long

AI involvement reported by the source

Long credits ChatGPT 5.6 Sol Pro with the four-variable polynomial, Claude Fable 5 with the three-variable reduction and checks, and ChatGPT with editing. Long is the paper’s author and responsible for its mathematical claims.

Versions

OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.

  1. 2026-07-20 · selectedObserved Oct 13, 2026 · used in current publications

    Small Counterexamples to the Gaussian Moments Conjecture

Record details
Source ID
gaussian-moments-long
Record ID
gaussian-moments:source:long:v1
Recorded title
Small Counterexamples to the Gaussian Moments Conjecture
Revision
2026-07-20
Observed
Oct 13, 2026
Source updated
Not recorded
Content SHA-256
d568de4b8568f627548eaacb7c65b1b852a52f1017aa5402150250e3d5cf6738
Update method
Compare the exact source and publish a new immutable curation revision.
Identifier policy
Stable source identity with exact versioned passages.
Check interval
90 days
Rights
metadata-link
License
Original source license and document rights apply.

OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.

Source terms ↗