pith. sign in

arxiv: 1907.00778 · v1 · pith:SPBMEW26new · submitted 2019-06-28 · 🧮 math.PR

L{\'e}vy processes: concentration function and heat kernel bounds

Pith reviewed 2026-05-25 13:54 UTC · model grok-4.3

classification 🧮 math.PR
keywords Lévy processescharacteristic exponentheat kernel boundsconcentration functionconvolution semigroupsdensity estimatesjump measures
0
0 comments X

The pith

Many standard conditions on the characteristic exponent are equivalent to how the maximum density of a Lévy process changes with time.

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

The paper studies densities of vaguely continuous convolution semigroups of probability measures on Euclidean space. It establishes that numerous conditions on the characteristic exponent commonly appearing in the literature are equivalent to the time dependence of the supremum of the density. This equivalence links analytic assumptions directly to the peak behavior of transition probabilities. The authors also derive qualitative lower bounds on the densities from mild assumptions on the jump measure and the exponent.

Core claim

We expose that many typical conditions on the characteristic exponent repeatedly used in the literature of the subject are equivalent to the behaviour of the maximum of the density as a function of time variable. We also prove qualitative lower estimates under mild assumptions on the corresponding jump measure and the characteristic exponent.

What carries the argument

The maximum value of the density as a function of time, shown to carry exactly the same information as standard conditions on the characteristic exponent.

If this is right

  • Standard conditions on the exponent can be checked or applied by tracking only the time evolution of the density maximum.
  • Qualitative lower estimates for the densities follow from the mild assumptions on jumps and the exponent.
  • Heat kernel upper and lower bounds become interchangeable with exponent conditions via this equivalence.
  • Results apply uniformly across dimensions for the convolution semigroups considered.

Where Pith is reading between the lines

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

  • The equivalence may allow replacing analytic estimates with probabilistic peak-tracking arguments in related settings.
  • Numerical simulation of density maxima for specific processes could provide direct verification of the equivalences.
  • Similar peak-density behavior might characterize other Markov semigroups beyond the Lévy case.

Load-bearing premise

The objects under study are vaguely continuous convolution semigroups of probability measures on R^d.

What would settle it

A concrete Lévy process in which one of the standard conditions on the characteristic exponent holds but the maximum density fails to follow the claimed time dependence, or the reverse.

read the original abstract

We investigate densities of vaguely continuous convolution semigroups of probability measures on $\mathbb{R}^d$. We expose that many typical conditions on the characteristic exponent repeatedly used in the literature of the subject are equivalent to the behaviour of the maximum of the density as a function of time variable. We also prove qualitative lower estimates under mild assumptions on the corresponding jump measure and the characteristic exponent.

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 manuscript establishes that several standard conditions on the characteristic exponent ψ of a vaguely continuous convolution semigroup on R^d (e.g., growth and regularity assumptions common in the Lévy literature) are equivalent to specific time-asymptotics of ||p_t||_∞, the supremum norm of the transition density. It further derives qualitative lower bounds on p_t under mild assumptions on the Lévy measure and on ψ, with both directions of the equivalences obtained via Fourier inversion and direct integral comparisons.

Significance. If the equivalences hold, the work unifies a collection of frequently invoked hypotheses in the Lévy-process literature by tying them directly to the L^∞ behavior of the heat kernel. The Fourier-analytic approach and the absence of hidden regularity assumptions strengthen the result; the lower estimates under mild jump-measure conditions are a useful addition for applications.

minor comments (2)
  1. The abstract and introduction should explicitly list the precise mild assumptions on the Lévy measure that are used for the lower estimates, rather than referring to them generically.
  2. Notation for the characteristic exponent and the density should be introduced once in a dedicated preliminary section to avoid repeated re-definition across statements.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of the manuscript, including the recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper establishes equivalences between standard conditions on the characteristic exponent of vaguely continuous convolution semigroups and the time-asymptotics of the L^∞ norm of the density via Fourier inversion and direct integral comparisons. Both directions of each equivalence are derived from the stated mild assumptions on the Lévy measure and exponent without reducing any claimed result to a fitted parameter, self-referential definition, or load-bearing self-citation. The central claims remain independent of the paper's own inputs and are presented as mathematical equivalences under explicitly listed conditions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The abstract invokes the standard setting of vaguely continuous convolution semigroups on R^d and mild assumptions on the jump measure and characteristic exponent; no free parameters, new entities, or ad-hoc axioms are introduced in the provided text.

axioms (1)
  • domain assumption The objects are vaguely continuous convolution semigroups of probability measures on R^d
    Opening sentence of the abstract defines the setting under investigation.

pith-pipeline@v0.9.0 · 5578 in / 1178 out tokens · 37108 ms · 2026-05-25T13:54:09.894938+00:00 · methodology

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

43 extracted references · 43 canonical work pages · 1 internal anchor

  1. [1]

    M. T. Barlow, A. Grigor’yan, and T. Kumagai. Heat kernel upper b ounds for jump processes and the first exit time. J. Reine Angew. Math. , 626:135–157, 2009

  2. [2]

    Bendikov, T

    A. Bendikov, T. Coulhon, and L. Saloff-Coste. Ultracontractivit y and embedding into L∞. Math. Ann. , 337(4):817–853, 2007

  3. [3]

    Berg and G

    C. Berg and G. Forst. Potential theory on locally compact abelian groups . Springer-Verlag, New York- Heidelberg, 1975. Ergebnisse der Mathematik und ihrer Grenzgebie te, Band 87

  4. [4]

    R. M. Blumenthal and R. K. Getoor. Some theorems on stable pro cesses. Trans. Amer. Math. Soc. , 95:263– 273, 1960

  5. [5]

    Bogdan, T

    K. Bogdan, T. Grzywny, and M. Ryznar. Density and tails of unimo dal convolution semigroups. J. Funct. Anal., 266(6):3543–3571, 2014

  6. [6]

    Bogdan, T

    K. Bogdan, T. Grzywny, and M. Ryznar. Barriers, exit time and s urvival probability for unimodal L´ evy processes. Probab. Theory Related Fields , 162(1-2):155–198, 2015

  7. [7]

    P. L. Brockett. Supports of infinitely divisible measures on Hilbert space. Ann. Probability, 5(6):1012–1017, 1977

  8. [8]

    E. A. Carlen, S. Kusuoka, and D. W. Stroock. Upper bounds for symmetric Markov transition functions. Ann. Inst. H. Poincar´ e Probab. Statist., 23(2, suppl.):245–287, 1987

  9. [9]

    Chavel and E

    I. Chavel and E. A. Feldman. Modified isoperimetric constants, a nd large time heat diffusion in Riemannian manifolds. Duke Math. J. , 64(3):473–499, 1991

  10. [10]

    Z.-Q. Chen, P. Kim, and T. Kumagai. Weighted Poincar´ e inequality and heat kernel estimates for finite range jump processes. Math. Ann. , 342(4):833–883, 2008

  11. [11]

    Coulhon and L

    T. Coulhon and L. Saloff-Coste. Isop´ erim´ etrie pour les group es et les vari´ et´ es.Rev. Mat. Iberoamericana, 9(2):293–314, 1993

  12. [12]

    Cygan, T

    W. Cygan, T. Grzywny, and B. Trojan. Asymptotic behavior of densities of unimodal convolution semi- groups. Trans. Amer. Math. Soc. , 369(8):5623–5644, 2017

  13. [13]

    E. B. Davies and M. M. H. Pang. Sharp heat kernel bounds for s ome Laplace operators. Quart. J. Math. Oxford Ser. (2) , 40(159):281–290, 1989

  14. [14]

    R. A. Doney. Small-time behaviour of L´ evy processes. Electron. J. Probab., 9:no. 8, 209–229, 2004

  15. [15]

    Dziuba´ nski

    J. Dziuba´ nski. Asymptotic behaviour of densities of stable sem igroups of measures. Probab. Theory Related Fields, 87(4):459–467, 1991

  16. [16]

    T. Grzywny. On Harnack inequality and H¨ older regularity for iso tropic unimodal L´ evy processes.Potential Anal., 41(1):1–29, 2014

  17. [17]

    Asymptotic behaviour and estimates of slowly varying convolution semigroups

    T. Grzywny, M. Ryznar, and B. Trojan. Asymptotic behaviour and estimates of slowly varying convolution semigroups. arXiv:1606.04178

  18. [18]

    J. Hawkes. A lower Lipschitz condition for the stable subordinat or. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete, 17:23–32, 1971

  19. [19]

    S. Hiraba. Asymptotic behaviour of densities of multi-dimensiona l stable distributions. Tsukuba J. Math. , 18(1):223–246, 1994

  20. [20]

    S. Hiraba. Asymptotic estimates for densities of multi-dimension al stable distributions. Tsukuba J. Math. , 27(2):261–287, 2003

  21. [21]

    Houdr´ e and R

    C. Houdr´ e and R. Kawai. On layered stable processes. Bernoulli, 13(1):252–278, 2007

  22. [22]

    Jacob, V

    N. Jacob, V. Knopova, S. Landwehr, and R. L. Schilling. A geome tric interpretation of the transition density of a symmetric L´ evy process. Sci. China Math. , 55(6):1099–1126, 2012. L´EVY PROCESSES: CONCENTRATION FUNCTION AND HEAT KERNEL BOUN DS 25

  23. [23]

    Kaleta and P

    K. Kaleta and P. Sztonyk. Upper estimates of transition densit ies for stable-dominated semigroups. J. Evol. Equ., 13(3):633–650, 2013

  24. [24]

    Kaleta and P

    K. Kaleta and P. Sztonyk. Estimates of transition densities and their derivatives for jump L´ evy processes. J. Math. Anal. Appl. , 431(1):260–282, 2015

  25. [25]

    Kaleta and P

    K. Kaleta and P. Sztonyk. Small-time sharp bounds for kernels o f convolution semigroups. J. Anal. Math. , 132:355–394, 2017

  26. [26]

    Kang and Y

    J. Kang and Y. Tang. Asymptotical behavior of partial integra l-differential equation on nonsymmetric layered stable processes. Asymptot. Anal. , 102(1-2):55–70, 2017

  27. [27]

    V. Knopova. Compound kernel estimates for the transition pr obability density of a L´ evy process in Rn. Teor. ˘ Imov ¯ ır. Mat. Stat., 89:51–63, 2013

  28. [28]

    Knopova and A

    V. Knopova and A. Kulik. Intrinsic small time estimates for distrib ution densities of L´ evy processes. Random Oper. Stoch. Equ. , 21(4):321–344, 2013

  29. [29]

    Knopova and R

    V. Knopova and R. L. Schilling. Transition density estimates for a class of L´ evy and L´ evy-type processes. J. Theoret. Probab. , 25(1):144–170, 2012

  30. [30]

    Knopova and R

    V. Knopova and R. L. Schilling. A note on the existence of transit ion probability densities of L´ evy processes. Forum Math., 25(1):125–149, 2013

  31. [31]

    L´ eandre

    R. L´ eandre. Densit´ e en temps petit d’un processus de sauts . In S´ eminaire de Probabilit´ es, XXI, volume 1247 of Lecture Notes in Math. , pages 81–99. Springer, Berlin, 1987

  32. [32]

    J. Picard. Density in small time for L´ evy processes. ESAIM Probab. Statist. , 1:357–389, 1997

  33. [33]

    W. E. Pruitt. The growth of random walks and L´ evy processes . Ann. Probab., 9(6):948–956, 1981

  34. [34]

    K.-i. Sato. L´ evy processes and infinitely divisible distributions, volume 68 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1999. Translated from t he 1990 Japanese original, Revised by the author

  35. [35]

    R. L. Schilling, P. Sztonyk, and J. Wang. Coupling property and g radient estimates of L´ evy processes via the symbol. Bernoulli, 18(4):1128–1149, 2012

  36. [36]

    T. Simon. Petites d´ eviations et support d’un processus de L´ e vy. C. R. Acad. Sci. Paris S´ er. I Math. , 329(4):331–334, 1999

  37. [37]

    P. Sztonyk. Estimates of tempered stable densities. J. Theoret. Probab., 23(1):127–147, 2010

  38. [38]

    P. Sztonyk. Transition density estimates for jump L´ evy proc esses. Stochastic Process. Appl. , 121(6):1245– 1265, 2011

  39. [39]

    P. Sztonyk. Estimates of densities for L´ evy processes with lo wer intensity of large jumps. Math. Nachr. , 290(1):120–141, 2017

  40. [40]

    A. Tortrat. Le support des lois ind´ efiniment divisibles dans un gr oupe ab´ elien localement compact. Math. Z., 197(2):231–250, 1988

  41. [41]

    Watanabe

    T. Watanabe. The isoperimetric inequality for isotropic unimodal L´ evy processes. Z. Wahrsch. Verw. Gebiete, 63(4):487–499, 1983

  42. [42]

    Zaigraev

    A. Zaigraev. On asymptotic properties of multidimensional α-stable densities. Math. Nachr., 279(16):1835– 1854, 2006

  43. [43]

    V. M. Zolotarev. One-dimensional stable distributions , volume 65 of Translations of Mathematical Mono- graphs. American Mathematical Society, Providence, RI, 1986. Translat ed from the Russian by H. H. McFaden, Translation edited by Ben Silver. Wydzia/suppress l Matematyki, Politechnika Wroc/suppress lawska, Wyb. Wyspia´nskiego 27, 50-370 Wroc/suppress l...