A Kolmogorov fourth-moment bound on Poisson chaos via a martingale core

Guangqu Zheng

A Kolmogorov fourth-moment bound on Poisson chaos via a martingale core

T0 review · 0 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read This paper proves a Kolmogorov fourth-moment bound on Poisson chaos by constructing a finite-count martingale core, eliminating the regularity assumptions that earlier bounds required.

desk verdict A clean, correct removal of the regularity assumptions in the Kolmogorov fourth-moment bound on Poisson chaos, with a new martingale-core construction worth knowing. read the letter →

arxiv 2607.28742 v1 pith:TQQ6ORRG submitted 2026-07-30 math.PR

Guangqu Zheng This is my paper · ORCID

classification math.PR MSC 60F0560H0760G5560H05

keywords PoissonchaosfourthmomenttheoremKolmogorovdistancemartingalecoremultipleWiener-Itôintegralsadd-onecostoperatorL4estimatesStein'smethod

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

The paper establishes that a Poisson multiple integral with unit variance and finite fourth moment is close to a standard normal in Kolmogorov distance, with the distance bounded by a universal constant times the square root of the fourth moment minus 3. This removes the smoothness and integrability conditions that earlier Kolmogorov bounds on Poisson chaos required. The key is a new approximation: any finite family of Poisson multiple integrals can be conditioned on finitely many exact Poisson cell counts so that the conditional expectations stay in the same chaos, have bounded step kernels with finite-measure support, and converge in L^p. That makes it possible to pass regular fixed-chaos estimates to the general L^4 setting.

What carries the argument

Finite-count martingale core: for any finite family of Poisson multiple integrals and p ≥ 2, there is an increasing family of σ-algebras generated by the exact counts of finitely many disjoint cells, such that the conditional expectations preserve each element's chaos order, regularize kernels to bounded step functions with finite-measure support, and converge in L^p. The core works through the Fock-space isometry: conditioning on the cell count σ-algebra acts as the second quantization of an orthogonal projection in the one-particle space, so each chaos is mapped to symmetric tensor powers of the span of cell indicators.

What would settle it

Find a Poisson multiple integral F with E[F^2]=1 and E[F^4] finite such that d_Kol(F,N) > 15.6√(E[F^4]−3). Numerically, take a double Poisson integral with a simple two-point kernel and compute the bound; if the inequality fails for some kernel, the constant or the statement is wrong.

Watch

Extended reading notes

Core claim

For any q ≥ 1 and any F in the q-th Poisson chaos with E[F^2]=1 and finite fourth moment, the paper proves d_Kol(F,N) ≤ 15.6 √(E[F^4] − 3). The proof works by approximating F by regular elements F_n in the same chaos via conditional expectations on counts of finitely many disjoint measurable cells. These F_n have bounded step kernels supported on finite measure, so the previously known Kolmogorov bound for regular kernels applies; since F_n → F in L^4 and Kolmogorov distance is lower semicontinuous, the bound transfers to F. The same approximation also yields quantitative L^4 estimates for all iterated add-one-cost derivatives and shows that finite fourth moment of F forces L^4-integrability

Load-bearing premise

The argument relies on bringing an earlier bound for smooth, bounded-kernel elements over to all elements with finite fourth moment; if that earlier bound did not apply uniformly to the approximants, the transfer would fail.

Editorial extensions

If this is right

If F is in a Poisson chaos and has finite fourth moment, the Kolmogorov distance to a standard normal is at most 15.6√(E[F^4]−3); no further integrability of derivatives is required.
A finite fourth moment for a Poisson multiple integral forces its kernel to be L^4 in the product measure, with explicit constants in the bound.
All iterated add-one-cost derivatives up to the chaos order have finite L^4 moments under the fourth moment assumption.
The product of two L^4 Poisson chaos elements lies in the finite sum of chaoses, and the carré-du-champ operator is approximated in L^2 by the regular approximants.
The fourth moment theorem on Poisson space now holds in Kolmogorov distance under the same condition of finite fourth moment that suffices for Wasserstein distance.

Reading between the lines

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

The proof's dependence on the earlier regular-bound constant suggests the 15.6 factor may not be optimal; optimizing the underlying regular bound or the approximation constant could tighten it.
Because the martingale core preserves chaos order and converges in L^p, the same conditioning scheme may transfer other fixed-chaos estimates that previously required bounded kernels, such as concentration inequalities or multivariate normal approximation bounds.
The finite-count core could be used to extend the fourth moment theorem to functionals of Poisson random measures with a finite chaos decomposition beyond a single chaos, as the approach handles finite families.
A natural testable extension is to replace the Kolmogorov distance by total variation or bounded-Lipschitz metrics; the discontinuity of indicator functions is the main obstacle, so the method may not give the same rate there without smoothing.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Christian — quick take: this is a solid, genuinely useful paper. The headline result is Theorem 1.9, the Kolmogorov fourth-moment bound dKol(F,N) ≤ 15.6√(E[F^4]−3) for F in a Poisson chaos with E[F^2]=1 and only F∈L^4. That removes Assumptions A and A_loc from Döbler–Peccati, which they themselves flagged as artifacts. The proof is clean: build a finite-count martingale core (Theorem 1.7) whose conditional expectations stay in the same chaos, regularize kernels to bounded step functions with finite support, apply the existing DP18a Kolmogorov bound to the normalized approximants, and pass to the limit via lower semicontinuity of Kolmogorov distance. I couldn't find a gap. The two examples showing why naive approximations fail are instructive and justify the construction.

What's genuinely new: the martingale-core construction itself, and the L^4 consequences — Theorem 1.8 and Corollary 2.1, including that F∈L^4 forces L^4-integrability of the kernel. The paper also gives a nice graph-norm density statement. These are useful tools beyond the main theorem.

Soft spots are minor. The argument inherits the external DP18a bound; if that bound had hidden assumptions beyond condition (1.6), the limit passage would fail. But on inspection the approximants do satisfy (1.6), so this is a genuine dependency rather than a flaw. The constant 15.6 is not improved and is not optimal — the Wasserstein bound in DVZ18 has a slightly better constant — but the paper's goal is removal of assumptions, not constant sharpening. The proof of Proposition 1.10 relies on L^4 convergence plus spectral arguments; it is correct but not central.

One thing I checked: the claim that fourth moment forces kernel integrability (1.12) follows from Theorem 1.8 with r=q; the constant product is right. No circularity: DVZ18 is cited only as context and isn't used in the proof of Theorem 1.9.

Who this is for: specialists in Malliavin–Stein methods on Poisson space and anyone using fourth-moment theorems. It deserves a serious referee; the main risk is just checking the martingale-core details and the DP18a dependence, both of which look sound.

Referee Report

0 major / 4 minor

Summary. The paper constructs, for any finite family of Poisson multiple integrals and any finite p ≥ 2, an increasing filtration generated by finitely many exact Poisson counts such that the conditional expectations converge in L^p, remain in their original Poisson chaoses, and have bounded step kernels with finite-measure support (Theorem 1.7). This 'finite-count martingale core' is then used to transfer the Döbler–Peccati Kolmogorov bound from regular Poisson chaoses to arbitrary L^4 elements of a fixed chaos. The main result, Theorem 1.9, states that if F ∈ C^η_q with E[F^2]=1 and E[F^4]<∞, then d_Kol(F,N) ≤ 15.6 √(E[F^4]-3), thereby removing Assumptions A and A_loc from the earlier DP18a Kolmogorov bound. The paper also proves L^4 estimates for all iterated Malliavin derivatives (Theorem 1.8) and uses the martingale core to establish graph-norm density and a carré-du-champ closure result (Corollary 2.1, Proposition 1.10).

Significance. The main result resolves a recognized gap in the Poisson fourth-moment literature: the Kolmogorov distance bound of Döbler and Peccati previously required extra integrability and regularity assumptions beyond finite fourth moment. The paper removes these assumptions by an intrinsic approximation argument. The martingale-core construction is elegant and appears to be a genuinely useful tool: conditioning on exact cell counts preserves the chaos order, regularizes kernels, and gives L^p convergence simultaneously. The proof is rigorous and self-contained except for the legitimate invocation of the external DP18a bound on the regular approximating class, which satisfies condition (1.6). The L^4 derivative estimates and the corollary that finite fourth moment forces kernel L^4-integrability are also valuable. I found no load-bearing gaps or circularities.

minor comments (4)

[Theorem 1.7 and §2.2] The symbol P_n is used both for the partition {A_{n,1},...,A_{n,m_n}} and for the orthogonal projection onto H_n. This overloading is confusing, especially in the proof of Theorem 1.7. I suggest denoting the partition by, e.g., 𝒫_n or π_n, and reserving P_n for the orthogonal projection.
[§2.2, Eq. (2.11)] In the identity C_α(N_n) = I_{|α|}(⊗_{k=1}^{m_n} 1_{A_{n,k}}^{⊗α_k}), the kernel on the right-hand side is not symmetric in general unless the tensor product is understood as the canonical symmetrization. Since I_{|α|} is defined on symmetric kernels, the symmetrization should be made explicit. This is a presentation issue; the subsequent spanning statement for H_n^{⊙r} is correct once this is understood.
[Corollary 2.1] The sentence 'Using (2.16), we deduce from Theorem 1.8 that M_r(R_n) ≤ a_{q,r}κ_4(R_n)' is slightly confusing: (2.16) is a recursion for the approximating sequence F_n, while the desired bound for R_n is exactly the content of Theorem 1.8 applied to R_n. Rephrasing to cite Theorem 1.8 directly would improve readability.
[§2.2, proof of Theorem 1.7] The proof that H_n ⊆ H_{n+1} is compressed into the sentence 'The refinement property implies H_n ⊆ H_{n+1}.' Since this monotonicity is essential for the martingale property, a brief explanation that each atom of P_n is a union of atoms of P_{n+1} (and hence each indicator in H_n lies in H_{n+1}) would be helpful.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 1.9 transfers an external bound to a self-contained approximating sequence.

full rationale

The central derivation is not circular. Theorem 1.9 is proved by constructing approximants F_n in the regular class C*_q via Theorem 1.7, then applying the published Döbler–Peccati Kolmogorov bound (1.5) to each F_n, and passing to the limit using L^4 convergence and lower semicontinuity of Kolmogorov distance. The external theorem [DP18a] is not authored by the present author and is invoked with its explicit assumptions satisfied by the regular approximants; it is therefore independent support rather than a self-citation chain. The author's own work [DVZ18] appears only as context for Wasserstein bounds and is not used in the proof of Theorem 1.9. No parameter is fitted and later renamed as a prediction, and no definition encodes the target result. The constant 15.6 is inherited from the external theorem, not manufactured from the paper's own assumptions. The only external dependency is a published theorem valid on the approximating class, and the approximation argument itself is self-contained. Hence the paper exhibits no significant circularity.

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

The paper introduces no free parameters or invented entities. The central proof rests on standard Poisson/Fock-space machinery and on external theorems from DP18a. The only non-elementary ingredient is the Fock-space conditional-expectation identity (2.12), cited to standard references.

assumptions (5)

standard math η is a proper Poisson random measure on (Z,Z) with σ-finite control measure μ; standard Poisson chaos framework.
Assumed throughout (Section 2.1); defines I_q, Cη_q, D+, etc.
standard math Finite linear combinations of indicators of finite-measure rectangles are dense in L2_s(μ^q) for σ-finite μ; symmetrization is an L2 contraction.
Used in Theorem 1.7 proof to choose kernels u_{j,n} approximating f_j.
standard math The second-quantized projection identity Exp(P_n) = E[· | G_n] for finite-partition count σ-algebras (Eq. (2.12)).
Key identity enabling chaos-preserving conditioning; quoted from [Sur84]/[Pri09].
standard math Doob's Lp martingale convergence theorem for p ≥ 2.
Gives convergence F_{j,n} → E[F_j | G∞] in Lp.
domain assumption Döbler–Peccati Theorem 1.2(ii) and Lemma 3.2 hold as stated, including the constant 15.6 Kolmogorov bound for regular C*_q elements.
The entire proof of Theorem 1.9 passes this bound from regular approximants to general L4 chaos; if these external results were not valid, the main theorem would fail.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A Kolmogorov fourth-moment bound on Poisson chaos via a martingale core." pith.science (2026). https://pith.science/paper/TQQ6ORRG

@misc{pith2026260728742,
  author       = {Pith},
  title        = {Pith review of: A Kolmogorov fourth-moment bound on Poisson chaos via a martingale core},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TQQ6ORRG}},
  note         = {Machine review of arXiv:2607.28742}
}

abstract

For any finite family of Poisson multiple integrals and any finite $p\geq2$, we construct a common increasing filtration generated by finitely many exact Poisson counts such that the associated conditional expectations converge in $L^p$, remain in their original chaoses, and have bounded step kernels with finite-measure support. This finite-count martingale core allows regular fixed-chaos identities and estimates to be extended under the sole assumption of a finite fourth moment. In particular, if $F$ lives in a Poisson chaos with unit variance and finite fourth moment, we prove that the Kolmogorov distance between $F$ and a standard normal is bounded by $15.6(\mathbb{E}[F^4]-3)^{1/2}$. This removes Assumptions $\mathbf A$ and $\mathbf A^{\textbf{loc}}$ from the Kolmogorov bound of D\"obler and Peccati (Ann. Probab., 2018). We also obtain quantitative $L^4$ estimates for all iterated Malliavin derivatives and, for $F$ in a Poisson chaos, the fourth moment assumption of $F$ forces the $L^4$-integrability of its kernel.

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

Four-moment criteria for Poisson convergence on Poisson and Rademacher chaoses
math.PR 2026-08 accept novelty 8.0 of 10

A quantitative four-moment theorem characterizes Poisson convergence for shifted Poisson and Rademacher chaos variables, with a necessary maximal-influence condition in the Rademacher case.

Reference graph

Works this paper leans on

24 extracted references · 1 linked inside Pith · cited by 1 Pith paper

[1]

and Peccati, G.: The Malliavin--Stein method on the Poisson space

Bourguin, S. and Peccati, G.: The Malliavin--Stein method on the Poisson space. In: G. Peccati and M. Reitzner (eds.), Stochastic Analysis for Poisson Point Processes, Bocconi & Springer Series, vol. 7, pp. 185--228, Springer, Cham, 2016

2016
[2]

and Shao, Q.-M.: Normal Approximation by Stein's Method

Chen, L.H.Y., Goldstein, L. and Shao, Q.-M.: Normal Approximation by Stein's Method. Probability and Its Applications, Springer, Heidelberg, 2011

2011
[3]

and Peccati, G.: The Poisson multiplication formula

Cristofaro, L. and Peccati, G.: The Poisson multiplication formula. arXiv:2505.11389

arXiv
[4]

and Peccati, G.: The fourth moment theorem on the Poisson space

D\"obler, C. and Peccati, G.: The fourth moment theorem on the Poisson space. Ann. Probab. 46, no. 4, (2018), 1878--1916

2018
[5]

and Peccati, G.: Fourth moment theorems on the Poisson space: analytic statements via product formulae

D\"obler, C. and Peccati, G.: Fourth moment theorems on the Poisson space: analytic statements via product formulae. Electron. Commun. Probab. 23 (2018), no. 91, 12 pp

2018
[6]

and Zheng, G.: Fourth moment theorems on the Poisson space in any dimension

D\"obler, C., Vidotto, A. and Zheng, G.: Fourth moment theorems on the Poisson space in any dimension. Electron. J. Probab. 23 (2018), no. 36, 27 pp

2018
[7]

and Th\"ale, C.: New Berry--Esseen bounds for non-linear functionals of Poisson random measures

Eichelsbacher, P. and Th\"ale, C.: New Berry--Esseen bounds for non-linear functionals of Poisson random measures. Electron. J. Probab. 19 (2014), no. 102, 25 pp

2014
[8]

and Peccati, G.: Fine Gaussian fluctuations on the Poisson space, I: contractions, cumulants and geometric random graphs

Lachi\`eze-Rey, R. and Peccati, G.: Fine Gaussian fluctuations on the Poisson space, I: contractions, cumulants and geometric random graphs. Electron. J. Probab. 18 (2013), no. 32, 32 pp

2013

Show all 24 references

[9]

Last, G.: Stochastic analysis for Poisson processes. In: G. Peccati and M. Reitzner (eds.), Stochastic Analysis for Poisson Point Processes, Bocconi & Springer Series, vol. 7, pp. 1--36, Springer, Cham, 2016

2016
[10]

and Penrose, M.D.: Poisson process Fock space representation, chaos expansion and covariance inequalities

Last, G. and Penrose, M.D.: Poisson process Fock space representation, chaos expansion and covariance inequalities. Probab. Theory Related Fields 150 (2011), 663--690

2011
[11]

and Penrose, M.: Lectures on the Poisson Process

Last, G. and Penrose, M.: Lectures on the Poisson Process. Institute of Mathematical Statistics Textbooks, vol. 7, Cambridge University Press, Cambridge, 2018

2018
[12]

Ledoux, M.: Chaos of a Markov operator and the fourth moment condition , Ann. Probab. 40 (2012), no. 6, 2439--2459

2012
[13]

and Peccati, G.: Stein's method on Wiener chaos

Nourdin, I. and Peccati, G.: Stein's method on Wiener chaos. Probab. Theory Related Fields 145, nos. 1--2, (2009), 75--118

2009
[14]

and Peccati, G.: Normal Approximations with Malliavin Calculus: From Stein's Method to Universality

Nourdin, I. and Peccati, G.: Normal Approximations with Malliavin Calculus: From Stein's Method to Universality. Cambridge Tracts in Mathematics, vol. 192, Cambridge University Press, Cambridge, 2012

2012
[15]

and Peccati, G.: Central limit theorems for sequences of multiple stochastic integrals

Nualart, D. and Peccati, G.: Central limit theorems for sequences of multiple stochastic integrals. Ann. Probab. 33, no. 1, (2005), 177--193

2005
[16]

and Utzet, F.: Stein's method and normal approximation of Poisson functionals

Peccati, G., Sol\'e, J.L., Taqqu, M.S. and Utzet, F.: Stein's method and normal approximation of Poisson functionals. Ann. Probab. 38, no. 2, (2010), 443--478

2010
[17]

and Taqqu, M.S.: Central limit theorems for double Poisson integrals

Peccati, G. and Taqqu, M.S.: Central limit theorems for double Poisson integrals. Bernoulli 14, no. 3, (2008), 791--821

2008
[18]

and Tudor, C.A.: Gaussian limits for vector-valued multiple stochastic integrals

Peccati, G. and Tudor, C.A.: Gaussian limits for vector-valued multiple stochastic integrals. In: S\'eminaire de Probabilit\'es XXXVIII, Lecture Notes in Mathematics, vol. 1857, pp. 247--262, Springer, Berlin, 2005

2005
[19]

and Zheng, C.: Multi-dimensional Gaussian fluctuations on the Poisson space

Peccati, G. and Zheng, C.: Multi-dimensional Gaussian fluctuations on the Poisson space. Electron. J. Probab. 15 (2010), no. 48, 1487--1527

2010
[20]

and Zheng, C.: Universal Gaussian fluctuations on the discrete Poisson chaos

Peccati, G. and Zheng, C.: Universal Gaussian fluctuations on the discrete Poisson chaos. Bernoulli 20, no. 2, (2014), 697--715

2014
[21]

Lecture Notes in Mathematics 1982, Springer, Berlin, 2009

Privault, N.: Stochastic Analysis in Discrete and Continuous Settings: With Normal Martingales. Lecture Notes in Mathematics 1982, Springer, Berlin, 2009

1982
[22]

Schulte, M.: Normal approximation of Poisson functionals in Kolmogorov distance. J. Theoret. Probab. 29 (2016), 96--117

2016
[23]

Surgailis, D.: On multiple Poisson stochastic integrals and associated Markov semigroups. Probab. Math. Statist. 3, no. 2, (1984), 217--239

1984
[24]

Zheng, G.: Recent Developments Around the Malliavin--Stein Approach---Fourth Moment Phenomena via Exchangeable Pairs. Ph.D. thesis, Universit\'e du Luxembourg, 2018

2018

Pith tools

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

[1] [1]

and Peccati, G.: The Malliavin--Stein method on the Poisson space

Bourguin, S. and Peccati, G.: The Malliavin--Stein method on the Poisson space. In: G. Peccati and M. Reitzner (eds.), Stochastic Analysis for Poisson Point Processes, Bocconi & Springer Series, vol. 7, pp. 185--228, Springer, Cham, 2016

2016

[2] [2]

and Shao, Q.-M.: Normal Approximation by Stein's Method

Chen, L.H.Y., Goldstein, L. and Shao, Q.-M.: Normal Approximation by Stein's Method. Probability and Its Applications, Springer, Heidelberg, 2011

2011

[3] [3]

and Peccati, G.: The Poisson multiplication formula

Cristofaro, L. and Peccati, G.: The Poisson multiplication formula. arXiv:2505.11389

arXiv

[4] [4]

and Peccati, G.: The fourth moment theorem on the Poisson space

D\"obler, C. and Peccati, G.: The fourth moment theorem on the Poisson space. Ann. Probab. 46, no. 4, (2018), 1878--1916

2018

[5] [5]

and Peccati, G.: Fourth moment theorems on the Poisson space: analytic statements via product formulae

D\"obler, C. and Peccati, G.: Fourth moment theorems on the Poisson space: analytic statements via product formulae. Electron. Commun. Probab. 23 (2018), no. 91, 12 pp

2018

[6] [6]

and Zheng, G.: Fourth moment theorems on the Poisson space in any dimension

D\"obler, C., Vidotto, A. and Zheng, G.: Fourth moment theorems on the Poisson space in any dimension. Electron. J. Probab. 23 (2018), no. 36, 27 pp

2018

[7] [7]

and Th\"ale, C.: New Berry--Esseen bounds for non-linear functionals of Poisson random measures

Eichelsbacher, P. and Th\"ale, C.: New Berry--Esseen bounds for non-linear functionals of Poisson random measures. Electron. J. Probab. 19 (2014), no. 102, 25 pp

2014

[8] [8]

and Peccati, G.: Fine Gaussian fluctuations on the Poisson space, I: contractions, cumulants and geometric random graphs

Lachi\`eze-Rey, R. and Peccati, G.: Fine Gaussian fluctuations on the Poisson space, I: contractions, cumulants and geometric random graphs. Electron. J. Probab. 18 (2013), no. 32, 32 pp

2013