Pith. sign in

REVIEW 3 major objections 4 minor 25 references

This paper proves that stochastic delay equations driven by pure jump Lévy noise are weakly irreducible to zero: from every initial history, each neighborhood of zero is visited with positive probability.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

If the deterministic skeleton converges to zero and small jumps vanish, a symmetric pure-jump SDDE is weakly irreducible to zero.

T0 review reviewed 2026-08-05 challenge →

load-bearing objection A clean one-big-jump proof of weak irreducibility for SDDEs with pure jump noise, undermined by an unsupported stochastic Gronwall step in the only application. the 3 major comments →

arxiv 2509.01519 v1 pith:J5L7WDYR submitted 2025-09-01 math.PR

Weak irreducibility of stochastic delay differential equation driven by pure jump noise

Hao Yang , Jian Wang This is my paper
classification math.PR MSC 34K5060H1060G5137A50
keywords Weak irreducibilityAccessibility to zeroStochastic delay differential equationsPure jump Lévy noiseWeakly dissipative coefficientsDegenerate noiseInvariant measures
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

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 proves a reachability property, weak irreducibility to zero, for stochastic delay differential equations driven by additive pure jump Lévy noise: from any initial history segment, the solution has positive probability of passing through any small neighborhood of the zero history. The proof is a short coupling: wait for a single jump larger than a cutoff; until that jump occurs, the full noise process equals the small-jump-truncated noise, so the solution agrees with a truncated equation that already tracks the deterministic solution. The authors extract two checkable assumptions—the deterministic solution decays to zero, and removing small jumps changes the solution negligibly on finite time horizons—and verify them for weakly dissipative coefficients. This matters because weak irreducibility, paired with a smoothing or contractivity property, is the standard route to uniqueness of invariant measures for Markov processes on infinite-dimensional path spaces. The paper also allows the driving noise to be degenerate, which earlier irreducibility results for pure-jump systems did not.

Core claim

On the Banach space D_r of history paths with exponentially weighted sup-norm, consider d x(t) = f(x_t) dt + dL(t), where L is a pure jump Lévy process with symmetric intensity measure. Theorem 2.1 states: if unique global solutions exist, the deterministic limit dX = f(X_t)dt satisfies ||X_t^ξ||_r → 0, and the small-jump truncations X^{ε,ξ} converge to X^ξ in probability in the path norm for each fixed time, then the family {x^ξ} is weakly irreducible to zero. The proof fixes a neighborhood of zero, chooses T so the deterministic path is inside half the neighborhood, chooses ε so the truncated path stays close to it with probability at least 1/2, and then waits for the first jump of size >

What carries the argument

The load-bearing device is the one-big-jump coupling. One compares the full equation to the truncated equation containing only jumps of size ≤ ε; before the first jump of size > ε, the two paths are identical. The first large-jump time is exponentially distributed and independent of the truncated solution, so the probability of ending in a target neighborhood factorizes into: the deterministic solution near zero (A1-1), the truncated solution near the deterministic one with probability at least 1/2 (A1-2), and the large jump not having happened by time T. Symmetry of the Lévy measure is used so that small jumps enter as a compensated martingale and the large-jump process is an independent Po

Load-bearing premise

The load-bearing premise is that small jumps are negligible in the path norm—deleting all jumps below a cutoff changes the history path by an arbitrarily small amount in probability at each fixed time; if that fails, the one-big-jump coupling cannot confine the solution to a neighborhood of zero.

What would settle it

The claim would be refuted by an SDDE that meets Assumption 2.1 yet has some neighborhood of zero that the solution never enters with positive probability. A concrete place to look is f(φ)=aφ(0)+bφ(-r) with symmetric stable-like noise: solve the linear SDDE explicitly via Fourier or Laplace transforms in the path space and compute P(||x_T||_r≤κ) for large T. If this probability is zero for some κ>0, Theorem 2.1's conclusion fails; equivalently, computing the left side of (3.12) for that example decides whether condition (A1-2) actually holds.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • Weakly dissipative SDDEs driven by additive pure jump Lévy noise are weakly irreducible to zero whenever the two inequalities in Proposition 3.1 hold; the example equation (3.13) is covered.
  • Degenerate symmetric pure jump noise suffices, so delay equations with noise acting through a one-dimensional component or a single direction inherit accessibility to zero.
  • Combined with any uniqueness criterion for invariant measures—asymptotic strong Feller, e-property, or eventual continuity—weak irreducibility yields at most one invariant probability measure for these path-dependent systems.
  • The criterion in Theorem 2.1 is model-independent: any coefficient class for which one can prove deterministic decay and small-jump truncation convergence in the path norm automatically gets weak irreducibility.
  • Releasing condition (A1-3) from the earlier criterion [21] broadens the applicability of accessibility results from SPDEs to delay equations whose coefficients need not satisfy that stronger small-jump condition.

Where Pith is reading between the lines

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

  • Beyond the paper: a natural extension would replace convergence of truncations in probability by a quantitative bound—for instance an L^q estimate as in (3.12)—and use it to estimate the actual hitting probability, giving rates rather than mere positivity.
  • Beyond the paper: the one-big-jump mechanism does not obviously need symmetry of the whole Lévy measure; any decomposition into a compensated small-jump part and an independent large-jump Poisson part with the same pathwise agreement would do, so the result may carry over to asymmetric measures with an appropriate centering term.
  • Beyond the paper: for applications to ergodicity, the missing half is a smoothing or eventual-continuity property; the paper proves only the reachability ingredient, so the next test is whether these same weakly dissipative SDDE semigroups are eventually continuous.
  • Beyond the paper: a stress test for the assumptions is the linear case f(φ)=aφ(0)+bφ(-r), where explicit Laplace-transform formulas for P(||x_T||_r≤κ) could show whether A1-2 is also necessary or merely sufficient.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper studies weak irreducibility (accessibility to zero) for stochastic delay differential equations driven by additive pure-jump Lévy noise on the weighted path space D_r. The main result, Theorem 2.1, gives sufficient conditions: symmetric Lévy measure, unique global solutions to the original/truncated/deterministic equations, deterministic solutions attracted to zero (A1-1), and convergence of small-jump truncations to the untruncated solution in probability (A1-2). The proof couples the original solution with the truncated solution up to the first big jump, using independence of the big-jump process and positivity of the probability of no big jump. Section 3 claims to verify these assumptions for weakly dissipative coefficients satisfying a one-sided Lipschitz-type condition (H2), with an application to a nonlinear delay example.

Significance. If the main theorem and the application were both correct, the paper would provide a short, appealing sufficient condition for weak irreducibility of SDDEs driven by pure jump noise, and would relax condition (A1-3) from earlier work. The coupling idea in Theorem 2.1 is elegant and essentially self-contained: it does not rely on the cited framework for the key step, and it is not circular, since A1-1 and A1-2 are genuine sufficient conditions rather than restatements of weak irreducibility. However, the application in Proposition 3.1 has serious gaps. In particular, the proof of (A1-1) is invalid as written and the stated proposition admits a simple counterexample; a second load-bearing estimate, (3.12), is not justified by the cited stochastic Gronwall lemma. These issues materially affect the advertised application, so the paper cannot be accepted in its current form.

major comments (3)
  1. [Section 3, proof of Proposition 3.1, paragraph after Eq. (3.7)] The verification of (A1-1) is incorrect. The stated bound ||X^ξ_t||_r ≤ e^{-rt} sup_{0≤s≤t}|X(s)| + e^{-rt}||ξ||_r is false; the correct bound is e^{-rt} sup_{0≤s≤t} e^{rs}|X(s)| + e^{-rt}||ξ||_r. Consequently, the argument only proves sup_t |X(t)| < ∞, which does not imply ||X^ξ_t||_r → 0. The issue is load-bearing: take f(φ) = -φ(0)+1, r ≤ 1, and ν = 0. Then (H1) and (H2) hold with λ̄1=0, λ̄2=2, K̄1=K̄2=0, and the stated inequalities are satisfied, but the deterministic solution starting from the constant path ξ≡1 is X(t)=1 for all t, so the family is not weakly irreducible to zero. Thus Proposition 3.1 is false as stated. The proposition needs additional hypotheses (e.g., f(0)=0 and strict dissipativity) and the example, which has f(0)=1, must be reconsidered.
  2. [Eq. (3.11)–(3.12), proof of (A1-2)] The stochastic Gronwall step is not justified. After dropping negative terms, (3.11) has the form Y_t ≤ 2M_t + I_t, with no Y-term in the drift; the cited Lemma 3.7 of [24] is applied without verifying its hypotheses. Controlling E[sup Y^q] requires an additional argument: by BDG, E[sup|M|^q] is controlled by E[[M]_t^{q/2}], and [M]_t ≤ Y^*_t I_t, leading to a quadratic inequality in E[(Y^*)^q]. This is not what is written. As it stands, (3.12) is unsupported, and since (A1-2) is the only verification of a key input to Theorem 2.1, this is a serious gap.
  3. [Eq. (3.6)] The estimate divides by (q1 r - 2r) without excluding q1 r = 2r. Since q1 > 0 is arbitrary, the case q1 = 2 is allowed by the assumptions, and the displayed formula is undefined there. This is repairable by treating q1 = 2 separately, but it shows the proof of the a priori bound is incomplete.
minor comments (4)
  1. [Abstract/Introduction] The word 'irreduciblility' is misspelled in several places. Please proofread throughout.
  2. [Eq. (3.5)] The integration limits in the first line, e.g. ∫_{-s}^{-∞}, should be written as ∫_{-∞}^{-s}; the current notation is confusing.
  3. [Eq. (3.8) and (3.11)] In the stochastic integrals the integrand should be the left limit X^{ε,ξ}(s-) - X^ξ(s-), not X^{ε,ξ}(s) - X^ξ(s). The intended estimate still works with left limits, but the notation should be corrected.
  4. [Theorem 2.1 proof] In the chain of inequalities after Eq. (2.5), on the event τ_ε > T one has x^ξ_T = X^{ε,ξ}_T, so the displayed expression reduces to ||X^{ε,ξ}_T - X^ξ_T + X^ξ_T||; the intermediate form is harmless but should be clarified to avoid confusion.

Circularity Check

0 steps flagged

No significant circularity; Theorem 2.1 is a conditional sufficient-condition result and Proposition 3.1 supplies an independent verification.

full rationale

The derivation is not circular. Theorem 2.1 assumes Assumption 2.1 and proves weak irreducibility; assumptions (A1-1) and (A1-2) are not definitions or consequences of weak irreducibility. (A1-2) is a small-jump approximation property of the solution map, and (A1-1) is deterministic attraction to zero; neither is equivalent to the resolvent positivity that defines weak irreducibility. Proposition 3.1 verifies these assumptions for weakly dissipative coefficients using Itô's formula, the inequalities (H2), and the cited stochastic Gronwall lemma from Xie-Zhang [24] (an external source, not a self-citation). The self-citations [20,21] are used only to position the previous criterion and the removed condition (A1-3); the proof of Theorem 2.1 does not invoke them as a load-bearing ingredient. The asserted positive lower bound P(||x^ξ_T||≤κ) ≥ P(||X^{ε,ξ}_T - X^ξ_T||≤κ/4) P(τ>T)>0 is obtained from the product of two independently justified positive factors, not from a quantity defined in terms of the target. The possible issue raised about the stochastic Gronwall step (3.11)-(3.12) concerns the correctness of the estimate, not whether an output is equivalent to an input; hence it does not affect the circularity score.

Axiom & Free-Parameter Ledger

1 free parameters · 7 axioms · 0 invented entities

No fitted parameters; the only hand-chosen constants are in the illustrative example. The central theorems rest on explicit assumptions A0/A1 and standard stochastic analysis facts. For Proposition 3.1, the dissipativity hypotheses H1/H2 are assumed, not derived. Nothing resembling an invented entity is introduced.

free parameters (1)
  • Example coefficients (lambda_bar1=0, lambda_bar2=3, K_bar1=1, K_bar2=2) = 0, 3, 1, 2
    Chosen by hand in Section 3, Example, to make inequality (H2) hold; they are illustrative and do not affect the general theorems.
axioms (7)
  • domain assumption A0: the Levy measure nu is symmetric
    Assumption 2.1; ensures the large-jump portion can be written with the raw Poisson measure without an extra drift.
  • domain assumption A1-1: the deterministic solution X^xi_t tends to 0 in path norm
    Assumption 2.1; gives T with ||X_T^xi||_r <= kappa/2.
  • domain assumption A1-2: small-jump truncations X^{eps,xi}_t converge to X^xi_t in probability
    Assumption 2.1; gives eps with the truncated solution within kappa/4 with probability at least 1/2. Verified in Section 3 for the dissipative case.
  • standard math Levy-Ito decomposition with small jumps compensated and large jumps raw
    Used in the proof of Theorem 2.1 to express L(t) as the sum of small compensated jumps and large raw jumps.
  • standard math Independence of Poisson random measure counts on disjoint sets
    Used to assert tau_eps and X^{eps,xi} are independent in the proof of Theorem 2.1.
  • standard math Stochastic Gronwall inequality (Lemma 3.7 of [24])
    Used in Section 3 to turn estimate (3.11) into L^q convergence, establishing A1-2.
  • domain assumption Existence and uniqueness for functional SDEs with jumps (Protter V.7 and interlacing)
    Used in the proof of Proposition 3.1 to assert that global solutions to (2.1), (2.2), (2.3) exist.

reviewed 2026-08-05 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Weak irreducibility of stochastic delay differential equation driven by pure jump noise." pith.science (2026). https://pith.science/paper/J5L7WDYR

@misc{pith2026250901519,
  author       = {Pith},
  title        = {Pith review of: Weak irreducibility of stochastic delay differential equation driven by pure jump noise},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/J5L7WDYR}},
  note         = {Machine review of arXiv:2509.01519}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

In this paper, we study the weak irreducibility of stochastic delay differential equations(SDDEs) driven by pure jump noise. The main contribution of this paper is to provide a concise proof of weak irreducibility, releasing condition (A1-3) in Assumption 2.1 from the literature \cite{WYZZ1}. As an application, we derive the weak irreducibility of SDDEs with weakly dissipative coefficients. An important novelty of this paper is to allow the driving noises to be degenerate. This closes the gap of the irreducibility of SDDEs driven by pure jump noise.

discussion (0)

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

Reference graph

Works this paper leans on

25 extracted references · 24 canonical work pages · 1 internal anchor

  1. [1]

    J. Bao, J. Shao, C. Yuan, Invariant probability measures for path-dependent random diffusions, Nonlinear Anal. 2023, 228: 113201

    work page 2023

  2. [2]

    Brze´ zniak, W

    Z. Brze´ zniak, W. Liu, J. Zhu, Strong solutions for SPDE with locally monotone coef- ficients driven by L´ evy noise, Nonlinear Anal. Real World Appl. 17 (2014), 283-310

    work page 2014

  3. [3]

    C. S. Deng, R. Schilling, L. Xu, Singular integrals of subordinators with applications to structural properties of SPDEs, Trans. Amer. Math. Soc. 375 (9) (2022), 6043–6073

    work page 2022

  4. [4]

    C. S. Deng, X. Huang, Harnack inequalities for functional SDEs driven by subordinate Brownian motions, Potential Anal. 56 (2022), 213-226

    work page 2022

  5. [5]

    F. Gong, Y. Liu, Y. Liu, and Z. Liu. Ergodicity for eventually continuous Markov–Feller semigroups on Polish spaces, 2024. Preprint at https://arxiv.org/pdf/2412.19029

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  6. [6]

    F. Gong, Y. Liu, Y. Liu, and Z. Liu. Asymtotic stability for non-equicontinuous Markov semigroups, Commun. Math. Stat. to appear. 10

    work page

  7. [7]

    Hairer, J.C

    M. Hairer, J.C. Mattingly, Ergodicity of the 2D Navier-Stokes equations with degen- erate stochastic forcing, Ann. of Math. 164 (2) (2006), 993-1032

    work page 2006

  8. [8]

    J. K. Hale, S.M. Verduyn Lunel, Introduction to Functional Differential Equations. Springer-Verlag, New York (1993)

    work page 1993

  9. [9]

    Ishikawa, Support theorem for jump process of canonical type

    Y. Ishikawa, Support theorem for jump process of canonical type. 77 (2001), 79-83

    work page 2001

  10. [10]

    Kapica, T

    R. Kapica, T. ´Szarek, M. leczka. On a unique ergodicity of some Markov processes, Potential Anal. 36 (4) (2012), 589-606

    work page 2012

  11. [11]

    Kunita, Canonical Stochastic Differential Equations Based on L´ evy Processes and Their Supports

    H. Kunita, Canonical Stochastic Differential Equations Based on L´ evy Processes and Their Supports. In: Stochastic Dynamics. Springer, Berlin, 283–304 (1999)

    work page 1999

  12. [12]

    Kulyk, Support theorem for L´ evy-driven stochastic differential equations, J

    O. Kulyk, Support theorem for L´ evy-driven stochastic differential equations, J. Theor. Probab. 36 (3) (2023), 1720-1742

    work page 2023

  13. [13]

    Liu, Zi-yu Liu

    Y. Liu, Zi-yu Liu. Relation between the eventual continuity and the e-property for Markov-Feller semigroups, Acta Math. Appl. Sin. Engl. Ser. 40 (2024), no. 1, 1–16

    work page 2024

  14. [14]

    Protter, Stochastic Integration and Differential Equations

    P. Protter, Stochastic Integration and Differential Equations. A New Approach, Springer-Verlag, Berlin, 1990

    work page 1990

  15. [15]

    Peszat, J

    S. Peszat, J. Zabczyk, Stochastic Partial Differential Equations with L´ evy Noise: Evo- lution Equations Approach, Cambridge University Press, Cambridge, 2007

    work page 2007

  16. [16]

    Priola, J

    E. Priola, J. Zabczyk, Structural properties of semilinear SPDEs driven by cylindrical stable process, Probab. Theory Relat. Fields. 149 (2011), 97-137

    work page 2011

  17. [17]

    M. Reiß, M. Riedle, O. Van Gaans, Delay differential equations driven by L´ evy pro- cesses: stationarity and Feller properties, Stochastic Process. Appl. 116 (10) (2006), 1409-1432

    work page 2006

  18. [18]

    Simon, Support theorem for jump processes, Stochastic Process

    T. Simon, Support theorem for jump processes, Stochastic Process. Appl. 89 (2000), 1-30

    work page 2000

  19. [19]

    Simon, Support d’une ´ equation d’Itˆ o avec sauts en dimension 1

    T. Simon, Support d’une ´ equation d’Itˆ o avec sauts en dimension 1. S´ eminaire de prob- abilit´ es de Strasbourg, Tome 36 (2002), 314–330

    work page 2002

  20. [20]

    J. Wang, H. Yang, J. Zhai, T. Zhang, Irreducibility of SPDEs driven by pure jump noise. http://arxiv.org/abs/2207.11488. 11

    Pith/arXiv arXiv

  21. [21]

    J. Wang, H. Yang, J. Zhai, T. Zhang, Accessibility of SPDEs driven by pure jump noise and its applications, Proc. Amer. Math. Soc. 152 (04) (2024), 1755-1767

    work page 2024

  22. [22]

    R. Wang, L. Xu Asymptotics for stochastic reaction-diffusion equation driven by sub- ordinate Brownian motion, Stochastic Process. Appl. 128 (5) (2018), 1772-1796

    work page 2018

  23. [23]

    H. Yang, J. Wang, J. Zhai, Irreducibility of stochastic complex Ginzburg-Landau equa- tions driven by pure jump noise and its applications, Appl. Math. Optim. 89 (2) (2024), 47

    work page 2024

  24. [24]

    L. Xie, X. Zhang, Ergodicity of stochastic differential equations with jumps and sin- gular coefficients, Ann. Inst. Henri Poincar´ e Probab. Stat., 56 (1) (2020), 175-229

    work page 2020

  25. [25]

    Xu, Ergodicity of the stochastic real Ginzburg-Landau equation driven by α-stable noises, Stochastic Process

    L. Xu, Ergodicity of the stochastic real Ginzburg-Landau equation driven by α-stable noises, Stochastic Process. Appl. 123 (2013), 3710-3736. 12

    work page 2013

This paper was first reviewed by deepseek-v4-flash on August 5, 2026.