Pith. sign in

REVIEW 3 major objections 6 minor 1 cited by

Fourth-Moment Theorems for Sums of Multiple Integrals

T0 review · 3 major / 6 minor · reviewed 2026-08-09 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A fourth-moment theorem holds for sums of two multiple Wiener integrals of different parity orders: vanishing fourth cumulant is equivalent to convergence in distribution to a Gaussian, with quantitative rate bounds.

desk verdict Genuine extension of the fourth-moment theorem to sums of two chaoses, but the quantitative chain as printed has a dimensional error (missing squares on contraction norms) that must be fixed. read the letter →

arxiv 2502.03596 v2 pith:44IO5KIA submitted 2025-02-05 math.PR

Andreas Basse-O'Connor , David Kramer-Bang , Clement Svendsen This is my paper · ORCID
classification math.PR MSC 60F0560H0733C45
keywords fourth-momenttheoremWienerchaosmultiplestochasticintegralsMalliavincalculuscentrallimittheoremsWassersteindistancetotalvariationOrnstein-Uhlenbeckoperator
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that the fourth-moment theorem—the phenomenon in which convergence of just the fourth moment to the Gaussian value forces an entire sequence to converge in distribution to a Gaussian—holds for random variables that are sums of two multiple Wiener integrals of different parity orders. For such sums, vanishing of the fourth cumulant is equivalent to weak convergence to a Gaussian, and the equivalence is quantitatively controlled: the 1-Wasserstein and total variation distances are bounded by a constant times the square root of the fourth cumulant. The paper also shows that a non-degenerate sum of two different-parity chaos components can never itself be Gaussian, because its fourth cumulant is strictly positive. Finally, it demonstrates that a fourth-moment theorem holds for infinite chaos expansions with independent terms under a mild regularity condition, and that the result can fail when the two orders share the same parity, via an explicit counterexample.

What carries the argument

The load-bearing object is the fourth cumulant decomposition of Lemma 1.7: for $X = Y+Z$ with $Y \in H_p$, $Z \in H_q$ and $p,q$ of different parities, $\kappa_4(X) = \kappa_4(Y) + \kappa_4(Z) + 6\mathrm{Cov}(Y^2, Z^2)$, and the covariance term is nonnegative, so $\kappa_4(Y), \kappa_4(Z) \leq \kappa_4(X)$. This lemma converts the hard question of weak convergence of the sum into separate questions about the individual components, and it is what makes the quantitative bound $d \leq C \sqrt{\kappa_4(X)}$ possible. The proof of the lemma uses the product formula for multiple integrals to kill the mixed moments $E[Y^3 Z]$ and $E[Y Z^3]$ by parity, and the nonnegativity of $\mathrm{Cov}(Y^2,Z^2)$ is imported from a known result on independence and conditioning on Wiener space.

What would settle it

Compute $\mathrm{Cov}(I_p(u)^2, I_q(v)^2)$ for concrete different-parity kernels, for instance $p=1$ and $q=2$; one negative value would refute Lemma 1.7 and the quantitative theorem. Alternatively, exhibit a sequence $X_n = I_p(u_n)+I_q(v_n)$ with $p,q$ of different parities such that $\kappa_4(X_n) \to 0$ but $X_n$ does not converge in distribution to a centered Gaussian.

Watch

Extended reading notes

Core claim

The central discovery is that the fourth-moment theorem for a single Wiener chaos is not a special feature of that setting: it extends to sums of two multiple integrals of orders $p$ and $q$ whenever $p$ and $q$ have different parities. In this setting, convergence of the fourth cumulant to zero is equivalent to convergence in distribution to a centered Gaussian, to vanishing of the Malliavin-covariance quantity $\mathrm{Var}\langle DX_n, DL^{-1}X_n\rangle_H$, and to convergence of all contraction norms of the two kernels. Moreover, the paper supplies a quantitative chain of bounds, $d(X_n,N) \leq C_{p,q,\sigma} \sqrt{\kappa_4(X_n)}$, for the 1-Wasserstein and total variation distances. A complementary result shows that such two-term sums cannot themselves be Gaussian: their fourth cumulant is strictly positive. The paper also provides the first genuine counterexample to the fourth-moment theorem outside a fixed chaos—a sum of first- and third-order chaos terms with vanishing fourth cumulant that is not Gaussian—and shows that a fourth-moment theorem does hold for infinite expansions of independent chaos terms under a boundedness condition on the Ornstein–Uhlenbeck operator.

Load-bearing premise

The proof of the quantitative fourth-moment bound depends on the nonnegativity of the covariance between the squared components of the two different-parity chaos terms; if that covariance could be negative, the fourth cumulant of the sum could be smaller than either component's and the rate bound would fail.

Editorial extensions

If this is right

  • For any sequence of two-term chaos sums with different parity orders, weak convergence to a Gaussian is now certified by checking that the fourth cumulant vanishes, and the paper's explicit constants give Wasserstein and total-variation distances bounded by a constant times the square root of that cumulant.
  • A non-degenerate sum of two multiple integrals of different parity has strictly positive fourth cumulant, so no such random variable is Gaussian, generalizing the fixed-chaos non-Gaussianity result.
  • The $p = 1$, $q = 3$ counterexample shows that the same-parity case can break the fourth-moment theorem, so parity of the chaos orders marks a genuine boundary of the phenomenon.
  • For infinite chaos expansions with independent terms and a uniform bound on the Ornstein–Uhlenbeck operator, convergence of the fourth moment to the Gaussian value still forces Gaussianity, giving a fourth-moment theorem outside the two-term framework.
  • The quantitative bounds are of the same shape as the optimal fourth-moment theorem in a single chaos, so the rate theory is preserved when a second component is added.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • One testable extension is whether same-parity failures require both orders to be odd; the paper's Proposition 1.4 already excludes the simplest $H_1 + H_5$ construction, so the true boundary may be a combinatorial condition on the pair of orders.
  • The nonnegativity of $\mathrm{Cov}(Y^2,Z^2)$ for different parities suggests a positive association between the squared magnitudes of the two components; if that association generalizes, Lemma 1.7 could potentially be iterated to prove fourth-moment theorems for sums of more than two chaos terms whose orders split into two parity classes.
  • The paper leaves open whether fourth-moment theorems hold for any same-parity pairs; a concrete next step would be to search for zero-fourth-cumulant non-Gaussian examples with $p = 1$ and $q = 5$ using polynomial transforms of a bivariate normal vector, going beyond the single construction used here.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 6 minor

Summary. The paper extends the Nualart-Peccati fourth-moment theorem from a fixed Wiener chaos to random variables that are sums of two multiple integrals of orders p and q. The main result, Theorem 1.1, states that when p and q have different parities, weak convergence to a Gaussian, vanishing of the Malliavin--Stein variance, vanishing of all contraction norms, and convergence of the fourth cumulant to zero are equivalent, and it gives quantitative bounds in Wasserstein and total variation distance proportional to the square root of the fourth cumulant. The paper also gives a counterexample for p=1, q=3 showing that the fourth-moment theorem fails for same-parity orders, proves strict positivity of the fourth cumulant for certain sums in different-parity chaoses (Theorem 1.3), and establishes a fourth-moment theorem for infinite independent chaos expansions under an Ornstein--Uhlenbeck regularity condition (Theorem 1.5). The proofs use a new decomposition of the fourth cumulant (Lemma 1.7), Stein's method, hypercontractivity, and standard Malliavin calculus estimates.

Significance. If the results are correct, this is a natural and nontrivial extension of a central result in Gaussian analysis, and the explicit quantitative rates are useful. The paper's main technical contribution, Lemma 1.7, gives a clean decomposition of the fourth cumulant into two nonnegative parts plus a nonnegative covariance term, and the explicit p=1,q=3 counterexample is concrete and computable. The paper contains no fitted parameters and does not rely on circular reasoning; the counterexample is supported by exact calculations with a verified numerical root. However, the manuscript as presented contains load-bearing missing squares in the key contraction estimates, and Theorem 1.3 is false as stated, so the paper needs substantive correction before the results can be accepted.

major comments (3)
  1. [Section 3, Eqs. (3.8)-(3.11)] The displayed inequalities are dimensionally inconsistent because they bound unsquared contraction norms by the fourth cumulant. Lemma 5.2.4 of [8] controls the second moment of the score by a sum of squared contraction norms, so (3.8) should read E[(p^{-1}||D I_p(u_n)||^2 - sigma_n^2)^2] ≤ R_{p,q} max_{r1} ||u_n ⊗_{r1} u_n||^2, and (3.11) should have max ||u_n ⊗_{r1} u_n||^2 + max ||v_n ⊗_{r2} v_n||^2 on the left. The printed version fails already for p=2, q=3, v_n=0, u_n = d^{-1/2} sum_{i=1}^d e_i^{⊗2}: the left side of (3.11) is (1+σ^2) d^{-1/2}, while κ4(I_2 u_n) = 12/d, and d^{-1/2} > 12/d for large d. This is load-bearing because (3.11) is used to prove (d)⇒(c) and to obtain the rate bound (1.5), and the statement of Theorem 1.1 should be adjusted accordingly, e.g. by placing the square inside the maxima and adjusting the outer power in (1.4).
  2. [Theorem 1.3] Theorem 1.3 is false as stated under the standard meaning of non-degenerate (Var X > 0). Let h ∈ H with ||h|| = 1 and set X = I_1(h), Z = 0 ∈ H_2. Then X has a chaos decomposition X = Y + Z with Y ∈ H_1 and Z ∈ H_2, which have different parities, X is non-degenerate, but κ4(X) = 0 and X is Gaussian. The proof invokes [8, Cor. 5.2.11], which gives strict positivity of the fourth cumulant only for chaos order at least 2. The statement needs an additional hypothesis, for example both summands nonzero and max(p,q) ≥ 2, or the claim must be revised to exclude the pure H_1 case.
  3. [Section 3, Eq. (3.17)] The equality of double limits in (3.17) is not justified as written. Since κ4(F_{p,n}) ≥ 0, the interchange lim_k lim_M Σ_{p=1}^M = lim_k Σ_{p=1}^∞ can be justified by monotone convergence or by the fact that κ4(X_n) = Σ_p κ4(F_{p,n}) exactly in L4; the authors should state this. Also, the normalization F_{p,n_k}/σ_p requires handling the case σ_p = 0 separately. This is not an obstruction to the theorem, but it needs to be made precise.
minor comments (6)
  1. [Lemma 1.7, Eq. (3.1)] The second term in (3.1) should be κ4(I_q(v)), not κ4(I_p(v)).
  2. [Section 2, norm convention] The definition ||·||_{H_d^p} = ||·||_{H^{bp}}/√p! appears inconsistent with the claim that I_p is an isometry; with this definition E I_p(u)^2 = p! ||u||^2_{H^{bp}}. The proof later uses ||u_n||^2_{H^{bp}} ≤ σ^2, which is consistent with E I_p(u)^2 = p! ||u||^2_{H^{bp}}. Please harmonize the convention.
  3. [Eq. (3.3)] The codomain of h(r_1,r_2,r_3,u,v) should be H_d^{3p+q-2(r_1+r_2+r_3)}; the displayed expression '$p3p-q$' appears to be a typographical error.
  4. [Proof of Theorem 1.1, hypercontractivity step] After applying hypercontractivity, the bound should be ≤ c_p (E I_p(u_n)^2)^{1/2} ≤ c_p σ, not ≤ c_p σ^2 as printed.
  5. [Theorem 1.1, empty maxima] When p = 1 or q = 1, the maxima over r_1 ∈ {1,...,p-1} or r_2 ∈ {1,...,q-1} are over empty sets; the paper should state explicitly that such maxima are taken to be 0.
  6. [Lemma 1.7, use of [17]] The nonnegativity of Cov(I_p(u)^2, I_q(v)^2) from [17, Eqs. (6) and (12)] is load-bearing for the inequality κ4(Y)+κ4(Z) ≤ κ4(X); please state the precise result being cited so the reader can verify the hypotheses.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation uses external standard results and does not reduce to its inputs.

full rationale

The derivation is self-contained in the relevant sense. Theorem 1.1 concerns sequences X_n = I_p(u_n) + I_q(v_n); the contraction norms, the derivative inner product, and the fourth cumulant are all quantities computed from the same X_n, but the theorem is a quantitative implication among those quantities, and no parameter is fitted to a target or renamed as a prediction. Lemma 1.7 is proved by expanding E[X^4] using the binomial theorem and the product formula, and the non-negativity of Cov(Y^2, Z^2) for different-parity Wiener chaoses is imported from Ustünel and Zakai [17], an external result whose stated assumptions are exactly the standing different-parity hypothesis and do not include the paper's conclusion. The Malliavin–Stein bounds (3.5) and (3.8) come from the external monograph [8], and no load-bearing premise is justified by a citation to the present authors' own work. The apparent missing squares on the contraction norms in (3.11) noted by the skeptic would, if present in the published version, be a serious internal correctness or typographical issue affecting the quantitative rate (1.5), but it is not a circularity: it does not make the claim equivalent to its inputs by construction. Since no circular step can be exhibited with a specific reduction, the honest verdict is a score of 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

All inputs are standard Malliavin calculus background; the paper introduces no fitted constants and no new entities. The core new step is the parity-based cumulant decomposition in Lemma 1.7, which is proved from the product formula and then combined with a nonnegativity result cited from Ustunel-Zakai. The load-bearing external inputs are listed above; none is an ad hoc assumption invented for this paper.

assumptions (5)
  • standard math Product formula for multiple integrals (Nourdin-Peccati [8, Thm 2.7.10])
    Used to expand products of multiple integrals in Lemma 1.7 and to show E[Y^3Z] = E[YZ^3] = 0 under different parity.
  • standard math Fixed-chaos fourth moment theorem and positive cumulants (Nourdin-Peccati [8, Cor. 5.2.11])
    Used in Theorem 1.3 to get kappa4 > 0 and in Theorem 1.5 to apply the fourth-moment theorem to each independent chaos term.
  • standard math Nonnegativity of Cov(I_p(u)^2, I_q(v)^2) for p,q of different parity (Ustunel-Zakai [17, Eqs. (6) and (12)])
    Load-bearing sign condition in Lemma 1.7; without it the chain kappa4(X) >= kappa4(Y)+kappa4(Z) would fail.
  • standard math Stein-type distance bounds and Malliavin derivative representations (Nourdin-Peccati [8, Prop. 5.1.3, Lem. 5.2.4, Lem. 6.2.1])
    Core quantitative bounds in Theorem 1.1(i): link Wasserstein/TV distance to the variance of <DX, DL^{-1}X> and control that variance by contractions.
  • standard math Hypercontractivity of multiple integrals (Nourdin-Peccati [8, Thm 2.7.2])
    Used to establish uniform L6 boundedness, hence uniform integrability of fourth powers, in the proof of (a) implies (d).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Fourth-Moment Theorems for Sums of Multiple Integrals." pith.science (2026). https://pith.science/paper/44IO5KIA

@misc{pith2026250203596,
  author       = {Pith},
  title        = {Pith review of: Fourth-Moment Theorems for Sums of Multiple Integrals},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/44IO5KIA}},
  note         = {Machine review of arXiv:2502.03596}
}
abstract

Nualart & Pecatti ([Nualart and Peccati, 2005, Thm 1]) established the first fourth-moment theorem for random variables in a fixed Wiener chaos, i.e. they showed that convergence of the sequence of fourth moments to the fourth moment of the standard Gaussian distribution is sufficient for weak convergence to the standard Gaussian. In this paper, we provide what we believe to be the first generalization to chaos expansions with more than a single term. Specifically, we show that a fourth-moment theorem holds for random variables consisting of sums of two multiple integrals of orders $p, q \in N$, where $p, q$ have different parities. Furthermore, we show that such random variables cannot themselves be Gaussian, again generalizing what is known for the fixed Wiener chaos setting. Finally, we show a fourth-moment theorem for variables with infinite Wiener chaos expansions when the terms in the expansions are independent and satisfy an additional regularity condition in terms of the Ornstein-Uhlenbeck operator.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Mathematical research with GPT-5: a Malliavin-Stein experiment

    math.PR 2025-09 conditional novelty 5.0 of 10

    A human-supervised GPT-5 session yields a quantitative fourth-moment bound for sums of Wiener-Ito integrals of different parities, and a conditional Poisson analogue with a counterexample.

Reference graph

Works this paper leans on

19 extracted references · 14 canonical work pages · cited by 1 Pith paper

  1. [8]

    Nourdin and G

    I. Nourdin and G. Peccati, Normal approximations with Malliavin calculus (Cambridge Tracts in Mathematics). Cambridge University Press, Cambridge, 2012, vol. 192, pp. xiv+239, From Stein’s method to universality, isbn: 978-1-107-01777-1. doi: 10 . 1017 / CBO9781139084659. [Online]. Available: https://doi.org/10.1017/CBO9781139084659

    doi:10.1017/cbo9781139084659 2012

  2. [1]

    Convergence of the fourth moment and infinite divisibility: quantitative estimates.,

    O. Arizmendi and A. Jaramillo, “Convergence of the fourth moment and infinite divisibility: quantitative estimates.,” Electronic Communications in Probability, vol. 19, no. none, pp. 1–12,

    work page

  3. [2]

    Generalization of the Nualart-Peccati criterion,

    E. Azmoodeh, D. Malicet, G. Mijoule, and G. Poly, “Generalization of the Nualart-Peccati criterion,” Ann. Probab., vol. 44, no. 2, pp. 924–954, 2016, issn: 0091-1798. doi: 10.1214/14- AOP992. [Online]. Available: https://doi.org/10.1214/14-AOP992

    doi:10.1214/14- 2016

  4. [3]

    Billingsley, Probability and measure (A Wiley-Interscience publication), 3

    P. Billingsley, Probability and measure (A Wiley-Interscience publication), 3. ed. New York [u.a.]: Wiley, 1995, XII, 593, isbn: 0471007102. [Online]. Available: http://gso.gbv.de/DB=2.1/CMD? ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+164761632&sourceid=fbw_bibsonomy

    work page 1995

  5. [4]

    Billingsley, Convergence of probability measures (Wiley Series in Probability and Statistics: Probability and Statistics), Second

    P. Billingsley, Convergence of probability measures (Wiley Series in Probability and Statistics: Probability and Statistics), Second. New York: John Wiley & Sons Inc., 1999, pp. x+277, A Wiley-Interscience Publication, isbn: 0-471-19745-9

    work page 1999

  6. [5]

    A quantitative fourth moment theorem in free probability theory,

    G. C´ ebron, “A quantitative fourth moment theorem in free probability theory,” Advances in Mathematics, vol. 380, p. 107 579, 2021, issn: 0001-8708. doi: https://doi.org/10.1016/j. aim.2021.107579. [Online]. Available: https://www.sciencedirect.com/science/article/ pii/S0001870821000177

    work page arXiv 2021

  7. [6]

    On the fourth moment condition for rademacher chaos,

    C. Dobler and K. Krokowski, “On the fourth moment condition for rademacher chaos,” Annales de l’Institut Henri Poincar´ e, Probabilit´ es et Statistiques, 2017. [Online]. Available: https : / / api.semanticscholar.org/CorpusID:13686829

    work page 2017

  8. [7]

    The fourth moment theorem on the Poisson space,

    C. D¨ obler and G. Peccati, “The fourth moment theorem on the Poisson space,” The Annals of Probability, vol. 46, no. 4, pp. 1878–1916, 2018. doi: 10.1214/17-AOP1215 . [Online]. Available: https://doi.org/10.1214/17-AOP1215

    work page doi:10.1214/17-aop1215 1916

Show all 19 references
  1. [9]

    The optimal fourth moment theorem,

    I. Nourdin and G. Peccati, “The optimal fourth moment theorem,” Proceedings of the American Mathematical Society, vol. 143, no. 7, pp. 3123–3133, 2015

    2015

  2. [10]

    Classical and free fourth moment theorems: Universality and thresholds,

    I. Nourdin, G. Peccati, G. Poly, and R. Simone, “Classical and free fourth moment theorems: Universality and thresholds,” J. Theoret. Probab., vol. 29, no. 2, pp. 653–680, 2016, issn: 0894-

    2016

  3. [11]

    Multidimensional limit theorems for homoge- neous sums: A survey and a general transfer principle,

    I. Nourdin, G. Peccati, G. Poly, and R. Simone, “Multidimensional limit theorems for homoge- neous sums: A survey and a general transfer principle,” ESAIM Probab. Stat. , vol. 20, pp. 293– 308, 2016, issn: 1292-8100. doi: 10.1051/ps/2016014. [Online]. Available: https://doi.or...

    2016

  4. [12]

    Entropy and the fourth moment phenomenon,

    I. Nourdin, G. Peccati, and Y. Swan, “Entropy and the fourth moment phenomenon,” J. Funct. Anal., vol. 266, no. 5, pp. 3170–3207, 2014, issn: 0022-1236. doi: 10.1016/j.jfa.2013.09.017. [Online]. Available: https://doi.org/10.1016/j.jfa.2013.09.017

    2014 doi

  5. [13]

    Central limit theorems for sequences of multiple stochastic integrals,

    D. Nualart and G. Peccati, “Central limit theorems for sequences of multiple stochastic integrals,” The Annals of Probability, vol. 33, no. 1, pp. 177–193, 2005. doi: 10.1214/009117904000000621. [Online]. Available: https://doi.org/10.1214/009117904000000621

    2005 doi

  6. [14]

    Quantitative CLTs on a Gaussian space: A survey of recent developments,

    G. Peccati, “Quantitative CLTs on a Gaussian space: A survey of recent developments,” Journ´ ees MAS 2012, ser. ESAIM Proc. Vol. 44, EDP Sci., Les Ulis, 2014, pp. 61–78. doi: 10.1051/proc/ 201444003. [Online]. Available: https://doi.org/10.1051/proc/201444003

    2012

  7. [15]

    Gaussian limits for vector-valued multiple stochastic integrals,

    G. Peccati and C. A. Tudor, “Gaussian limits for vector-valued multiple stochastic integrals,” S´ eminaire de Probabilit´ es XXXVIII, ser. Lecture Notes in Math. Vol. 1857, Springer, Berlin, 2005, pp. 247–262. doi: 10 . 1007 / 978 - 3 - 540 - 31449 - 3 \ _17. [Online]. Availab...

    2005 doi

  8. [16]

    Rudin, Principles of Mathematical Analysis (International series in pure and applied math- ematics), Third

    W. Rudin, Principles of Mathematical Analysis (International series in pure and applied math- ematics), Third. McGraw-Hill, 1976, isbn: 9780070856134. [Online]. Available: https://books. google.dk/books?id=kwqzPAAACAAJ

    1976

  9. [17]

    On independence and conditioning on Wiener space,

    A. S. ¨Ust¨ unel and M. Zakai, “On independence and conditioning on Wiener space,”Ann. Probab., vol. 17, no. 4, pp. 1441–1453, 1989, issn: 0091-1798. [Online]. Available: http://links.jstor. org/sici?sici=0091-1798(198910)17:4%3C1441:OIACOW%3E2.0.CO;2-5&origin=MSN

    1989

  10. [2014]

    [Online]

    doi: 10.1214/ECP.v19-3354 . [Online]. Available: https://doi.org/10.1214/ECP.v19- 3354

    doi

  11. [9840]

    [Online]

    doi: 10.1007/s10959- 014- 0590- 8. [Online]. Available: https://doi.org/10.1007/ s10959-014-0590-8

    doi

Pith tools

Reviewed August 9, 2026 · model on record in the stance chip above.