pith. sign in

arxiv: 2606.18654 · v1 · pith:D3CVBZ46new · submitted 2026-06-17 · 🧮 math.PR

Rigidity of infinite exchangeable sequences with Gaussian marginals

Maximillian Newman This is my paper

Pith reviewed 2026-06-26 20:14 UTC · model grok-4.3

classification 🧮 math.PR
keywords exchangeable sequencesGaussian processesde Finetti representationrigidityinfinite divisibilityGaussian marginals
0
0 comments X

The pith

Joint Gaussianity of the first four coordinates forces an infinite exchangeable sequence with Gaussian marginals to be a Gaussian process.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines infinite exchangeable sequences in which each individual term follows a Gaussian distribution. It leaves open the conjecture that pairwise joint Gaussianity of any two coordinates would force the entire sequence to be a Gaussian process. The main result establishes that joint Gaussianity among the first four coordinates is already sufficient to reach this conclusion. A related two-coordinate criterion holds when the directing random measure in the de Finetti representation is almost surely infinitely divisible.

Core claim

For an infinite exchangeable sequence with one-dimensional Gaussian marginals, the joint distribution of the first four coordinates being multivariate Gaussian implies that the whole sequence is a Gaussian process. The two-point version of this rigidity statement is proved when the directing measure is almost surely infinitely divisible.

What carries the argument

The de Finetti directing measure of the exchangeable sequence and its almost-sure infinite divisibility.

If this is right

  • The sequence must be a Gaussian process once the first four coordinates satisfy the joint-Gaussian condition.
  • Under the extra assumption of almost-sure infinite divisibility of the directing measure, the same conclusion follows from any two coordinates being jointly Gaussian.
  • The result supplies a finite-dimensional criterion for an infinite-dimensional property of exchangeable sequences.
  • The open conjecture for a single pair remains consistent with the four-coordinate theorem.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The four-coordinate threshold might be improvable with refined analytic tools on the directing measure.
  • Similar rigidity phenomena could appear in exchangeable sequences with other marginals, such as Poisson or stable laws.
  • Finite-n approximations of such sequences might exhibit a phase transition in the number of coordinates needed for Gaussianity.

Load-bearing premise

The sequence must be infinite and exchangeable with each one-dimensional marginal Gaussian.

What would settle it

An explicit construction of an infinite exchangeable sequence with Gaussian marginals in which the first four coordinates are jointly Gaussian yet some later finite collection fails to be multivariate Gaussian.

read the original abstract

We study infinite exchangeable sequences with Gaussian one-dimensional marginals. We formulate the conjecture that joint Gaussianity of a single pair of coordinates forces the entire sequence to be a Gaussian process. Although this conjecture remains open, we prove that joint Gaussianity of the first four coordinates is sufficient. We also establish the corresponding two-point criterion under the additional assumption that the directing measure is almost surely infinitely divisible.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper studies infinite exchangeable sequences with one-dimensional Gaussian marginals. It proves that joint Gaussianity of the first four coordinates suffices to conclude that the entire sequence is a Gaussian process. A separate result establishes the two-point criterion when the directing measure in the de Finetti representation is almost surely infinitely divisible. The conjecture that joint Gaussianity of any two coordinates forces the Gaussian-process conclusion is left open.

Significance. If the four-coordinate result holds, it supplies a concrete rigidity theorem for exchangeable sequences under Gaussian marginals, showing that local joint Gaussianity propagates to the whole sequence via exchangeability. The separation of the unconditional four-point theorem from the conditional two-point theorem (under infinite divisibility) is cleanly executed and adds precision to the statement. The work sits squarely in the de Finetti–exchangeability literature and offers a falsifiable criterion that can be checked on finite-dimensional distributions.

minor comments (2)
  1. The abstract states the main theorems but supplies no indication of the key lemmas or the precise use of the directing measure; a one-sentence sketch of the proof strategy would improve readability for readers outside the immediate subfield.
  2. Section headings and theorem numbering are not visible in the provided front matter; ensure that the four-coordinate result and the infinitely-divisible two-point result are clearly labeled as Theorem 1 and Theorem 2 (or equivalent) in the body.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of the manuscript, including the distinction between the unconditional four-point result and the conditional two-point result under infinite divisibility, as well as for noting the open conjecture. The recommendation of minor revision is noted; however, no specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; theorem proved from standard de Finetti exchangeability

full rationale

The paper proves that joint Gaussianity of the first four coordinates forces an infinite exchangeable sequence with Gaussian marginals to be a Gaussian process, using the de Finetti directing measure. The two-point case is handled separately under infinite divisibility. No load-bearing steps reduce by construction to inputs, self-citations, or fitted parameters; the result is a non-trivial theorem from standard exchangeability assumptions, with the single-pair conjecture left open. This matches the default expectation of self-contained mathematical derivations.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on classical results in exchangeability (de Finetti representation) and Gaussian process theory without introducing new fitted parameters or postulated entities.

axioms (1)
  • standard math De Finetti's theorem: every infinite exchangeable sequence admits a directing random measure such that the variables are conditionally i.i.d. given the measure.
    Invoked implicitly to represent the sequence via a directing measure whose properties (e.g., infinite divisibility) are used in the two-point result.

pith-pipeline@v0.9.1-grok · 5572 in / 1197 out tokens · 28792 ms · 2026-06-26T20:14:14.657806+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Gaussian rigidity for infinite exchangeable sequences

    math.PR 2026-06 unverdicted novelty 7.0

    Proves Gaussian rigidity for infinite exchangeable sequences: one jointly Gaussian pair implies the whole sequence is Gaussian, via Hardy's uncertainty principle, settling Newman's conjecture.

Reference graph

Works this paper leans on

9 extracted references · 2 canonical work pages · cited by 1 Pith paper

  1. [1]

    Annales de l'Institut Henri Poincar

    de Finetti, Bruno , title =. Annales de l'Institut Henri Poincar

  2. [2]

    Exchangeability and related topics

    Aldous, David J. Exchangeability and related topics. \'E cole d' \'E t \'e de Probabilit \'e s de Saint-Flour XIII --- 1983. 1985

    1983

  3. [3]

    Aldous , keywords =

    David J. Aldous , keywords =. Representations for partially exchangeable arrays of random variables , journal =. 1981 , issn =. doi:https://doi.org/10.1016/0047-259X(81)90099-3 , url =

    work page doi:10.1016/0047-259x(81)90099-3 1981

  4. [4]

    , title =

    Hoover, Douglas N. , title =

  5. [5]

    2005 , doi =

    Kallenberg, Olav , title =. 2005 , doi =

    2005

  6. [6]

    De Finetti's theorem and related results for infinite weighted exchangeable sequences , journal =

    Barber, Rina Foygel and Cand. De Finetti's theorem and related results for infinite weighted exchangeable sequences , journal =. 2024 , doi =

    2024

  7. [7]

    Electronic Communications in Probability , volume =

    Bladt, Martin and Shaiderman, Dimitry , title =. Electronic Communications in Probability , volume =. 2023 , doi =

    2023

  8. [8]

    Statistical Science , volume =

    Ramdas, Aaditya and Manole, Tudor , title =. Statistical Science , volume =. 2026 , doi =

    2026

  9. [9]

    On the representation theorem for exchangeable arrays , journal =

    Olav Kallenberg , keywords =. On the representation theorem for exchangeable arrays , journal =. 1989 , issn =. doi:https://doi.org/10.1016/0047-259X(89)90092-4 , url =

    work page doi:10.1016/0047-259x(89)90092-4 1989