pith. sign in

arxiv: 2607.02176 · v1 · pith:C5ROHQXKnew · submitted 2026-07-02 · 🧮 math.CA

Uniform bounds on the Dunkl kernel

Lukas Langen This is my paper

Pith reviewed 2026-07-03 02:55 UTC · model grok-4.3

classification 🧮 math.CA
keywords Dunkl kerneluniform boundsintertwining operatorabsolute continuityreduced root systemsBessel functionsmultiplicity parameterspectral parameter
0
0 comments X

The pith

The Dunkl kernel admits uniform upper bounds for regular spectral parameters, independent of the spatial variable, on any reduced root system.

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

The paper proves uniform upper bounds on the Dunkl kernel with regular spectral parameter and on its derivatives. The bounds do not depend on the spatial variable and apply to arbitrary reduced root systems. They extend classical sharp bounds known for one-variable Bessel functions and for spherical functions on Cartan motion groups. As a direct consequence the representing measure of Dunkl's intertwining operator is shown to be absolutely continuous with respect to Lebesgue measure whenever the multiplicity exceeds 1/2 and the spectral parameter is generic. This confirms a conjecture posed earlier, at least in the range k greater than 1/2.

Core claim

For an arbitrary reduced root system, the Dunkl kernel with regular spectral parameter satisfies upper bounds that are uniform in the spatial variable, together with corresponding bounds on its derivatives. These estimates generalize the known sharp upper bounds for classical one-variable Bessel functions and for spherical functions of Cartan motion groups. Consequently, the representing measure of Dunkl's intertwining operator is absolutely continuous with respect to Lebesgue measure for multiplicities k greater than 1/2 and generic spectral parameter, settling the conjecture in that range.

What carries the argument

Uniform upper bounds on the Dunkl kernel and its derivatives for regular spectral parameters, independent of the spatial variable.

If this is right

  • The bounds hold simultaneously for the kernel and all its derivatives.
  • The estimates apply to every reduced root system without further restrictions.
  • Absolute continuity of the representing measure follows directly for k > 1/2 and generic spectral parameter.
  • The result resolves the conjecture of RdJ02 at least when the multiplicity exceeds 1/2.

Where Pith is reading between the lines

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

  • The same uniformity may permit passage to the limit in integral representations involving the kernel.
  • The technique could be tested on non-reduced root systems or on singular spectral parameters to see where the bounds break.
  • Absolute continuity for smaller multiplicities might follow from a refined analysis of the same estimates.

Load-bearing premise

The spectral parameter must be regular and the multiplicity parameter must exceed 1/2.

What would settle it

A concrete counter-example in which the Dunkl kernel or one of its derivatives exceeds the claimed uniform bound for some regular spectral parameter and some reduced root system, or a case where the representing measure fails to be absolutely continuous for k greater than 1/2 and generic spectral parameter.

Figures

Figures reproduced from arXiv: 2607.02176 by Lukas Langen.

Figure 1
Figure 1. Figure 1: The sets a i for A2 ⊆ R 3 0 We now construct the first-order system (3.4) with respect to our fixed Hi ∈ a+ and spectral parameter iλ ∈ iareg ⊆ aC. By definition of Hi , we see that I = {αj+1, . . . , αn} ⊆ ∆+ is the simple positive system generating the root system RI = {α ∈ R : α(Hi) = 0} and thus the parabolic subgroup WI = {w ∈ W : wHi = Hi} ⊆ W. We hence consider the system ∂HiΦ(x) = A(x)Φ(x) (x ∈ a I… view at source ↗
read the original abstract

For an arbitrary reduced root system, we give upper bounds for the Dunkl kernel with regular spectral parameter and its derivatives, which are uniform in the spatial variable. These estimates generalize well-known sharp upper bounds for classical one-variable Bessel functions and for spherical functions of Cartan motion groups. As a consequence, we prove that the representing measure of Dunkl's intertwining operator is absolutely continuous with respect to the Lebesgue measure for multiplicities $k> 1/2$ and generic spectral parameter. This settles a conjecture posed in [RdJ02] at least for $k>1/2$.

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 / 3 minor

Summary. The paper establishes uniform upper bounds on the Dunkl kernel (and its derivatives) for regular spectral parameters, uniform with respect to the spatial variable, for arbitrary reduced root systems. These generalize the classical sharp bounds for one-variable Bessel functions and spherical functions on Cartan motion groups. As a consequence, the representing measure of Dunkl's intertwining operator is shown to be absolutely continuous with respect to Lebesgue measure when the multiplicity k > 1/2 and the spectral parameter is generic, thereby settling the conjecture of [RdJ02] in this range.

Significance. If the stated bounds hold, the work supplies a useful extension of classical estimates to the Dunkl setting and yields a concrete advance on the absolute-continuity question for the intertwining operator. The uniformity in the spatial variable and the generality over reduced root systems are the main strengths; the absolute-continuity corollary directly addresses an open conjecture for the indicated range of k.

minor comments (3)
  1. [Abstract / §1] The abstract and introduction should explicitly state the precise definition of 'regular spectral parameter' used throughout the proofs (e.g., distance to the walls of the Weyl chambers).
  2. [§2] Notation for the multiplicity function k and the root system should be fixed once at the beginning and used consistently; several passages appear to switch between k and the vector-valued multiplicity without comment.
  3. [Theorem on absolute continuity] The statement of the absolute-continuity result (Theorem X.Y) should include the precise genericity condition on the spectral parameter; the current wording 'generic' is informal.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work on uniform bounds for the Dunkl kernel and the resulting absolute-continuity result for the intertwining operator when k > 1/2. We are pleased that the uniformity in the spatial variable and the generality over reduced root systems are recognized as strengths, and that the corollary is seen as settling the conjecture of [RdJ02] in the indicated range. The recommendation for minor revision is noted.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper states uniform bounds on the Dunkl kernel (and derivatives) for regular spectral parameters, uniform in the spatial variable, for arbitrary reduced root systems. These are presented as generalizations of classical Bessel and spherical-function bounds, followed by an application to absolute continuity of the intertwining-operator measure for k>1/2. No equations or steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the cited conjecture [RdJ02] is external and the result is derived rather than presupposed. The derivation chain is independent of the target conclusion.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard background theory of reduced root systems and Dunkl operators; no free parameters, new entities, or ad-hoc axioms are indicated in the abstract.

axioms (1)
  • standard math Standard properties of reduced root systems and Dunkl operators as background theory
    Invoked implicitly to define the Dunkl kernel and intertwining operator.

pith-pipeline@v0.9.1-grok · 5610 in / 1188 out tokens · 40216 ms · 2026-07-03T02:55:18.980280+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

40 extracted references

  1. [1]

    Amri and A

    B. Amri and A. Gasmi. On the estimates of the D unkl K ernel. Anal. Math. , 47:1--12, 2021

    2021

  2. [2]

    Anker and B

    J.-P. Anker and B. Trojan. Optimal bounds for the D unkl kernel in the dihedral case. J. Funct. Anal. , 288(3):110743, 2025

    2025

  3. [3]

    Barlet and J.-L

    D. Barlet and J.-L. Clerc. Le comportement à l'infini des fonctions de B essel généralisées, I . Adv. Math. , 61(2):165--183, 1986

    1986

  4. [4]

    Bodine and D

    S. Bodine and D. A. Lutz. Asymptotic I ntegration of D ifferential and D ifference E quations . Lecture Notes in Mathematics : 2129. Cham : Springer International Publishing, 2015

    2015

  5. [5]

    Chevalley

    C. Chevalley. Invariants of F inite G roups G enerated by R eflections. Amer. J. Math. , 77(4):778--782, 1955

    1955

  6. [6]

    Cherednik

    I. Cherednik. A unification of K nizhnik- Z amolodchikov and D unkl operators via affine H ecke algebras. Invent. Math. , 106(2):411--432, 1991

    1991

  7. [7]

    J.-L. Clerc. Le comportement à l'infini des fonctions de B essel généralisées, II . Adv. Math. , 66(1):31--61, 1987

    1987

  8. [8]

    Casselman and D

    W. Casselman and D. Miličić. Asymptotic behavior of matrix coefficients of admissible representations . Duke Math. J. , 49(4):869 -- 930, 1982

    1982

  9. [9]

    J. J. Duistermaat and G. J. Heckman. On the variation in the cohomology of the symplectic form of the reduced phase space. Invent. Math. , 69(2):259--268, 1982

    1982

  10. [10]

    Dziuba \'n ski and A

    J. Dziuba \'n ski and A. Hejna. Upper and lower bounds for the D unkl heat kernel. Calc. Var. Partial Differ. Equ. , 62(1):25, 2023

    2023

  11. [11]

    M. F. E. de Jeu. The D unkl transform. Invent. Math. , 113(1):147--162, 1993

    1993

  12. [12]

    M. F. E. de Jeu. Paley-- W iener theorems for the D unkl transform. Trans. Amer. Math. Soc. , 358(10):4225--4250, 2006

    2006

  13. [13]

    C. F. Dunkl. Differential- D ifference O perators A ssociated to R eflection G roups. Trans. Amer. Math. Soc. , 311:167--183, 1989

    1989

  14. [14]

    C. F. Dunkl. Operators commuting with C oxeter group actions on polynomials. In D. Stanton, editor, Invariant T heory and T ableaux , pages 107--117. Springer, 1990

    1990

  15. [15]

    C. F. Dunkl. Integral K ernels with R eflection G roup I nvariance. Canad. J. Math. , 43(6):1213–1227, 1991

    1991

  16. [16]

    C. F. Dunkl. Hankel transforms associated to finite reflection groups. Contemp. Math. , 138:123--138, 1992

    1992

  17. [17]

    M. S. P. Eastham. The A symptotic S olution of L inear D ifferential S ystems: A pplications of the L evinson theorem. London Mathematical Society monographs : NS,4, Oxford science publications. Clarendon Press, 1989

    1989

  18. [18]

    Etingof and E

    P. Etingof and E. Rains. Bounds for asymptotic characters of simple L ie groups. Indag. Math. , 36(6):1572--1591, 2025. Special Issue: Dedicated to Tom Koornwinder on the occasion of his 80th birthday

    2025

  19. [19]

    Guillemin, E

    V. Guillemin, E. Lerman, and S. Sternberg. Symplectic fibrations and multiplicity diagrams . Cambridge University Press, 1996

    1996

  20. [20]

    Graczyk and P

    P. Graczyk and P. Sawyer. The product formula for the spherical functions on symmetric spaces in the complex case. Pacific J. Math. , 204(2):377--393, 2002

    2002

  21. [21]

    Graczyk and P

    P. Graczyk and P. Sawyer. Sharp estimates for W -invariant D unkl and heat kernels in the A _ n case. Bull. Sci. Math. , 186:103271, 2023

    2023

  22. [22]

    Graczyk and P

    P. Graczyk and P. Sawyer. A F ormula and S harp E stimates for the D unkl K ernel for the R oot S ystem A _ 2 . J. Lie Theory , 34(3):577--594, 2024

    2024

  23. [23]

    Gangolli and V

    R. Gangolli and V. S. Varadarajan. Harmonic A nalysis of S pherical F unctions on R eal R eductive G roups . Ergebnisse der Mathematik und ihrer Grenzgebiete : B,101. Berlin [u.a.] : Springer, 1988

    1988

  24. [24]

    D ifferential O perators on a S emisimple L ie A lgebra

    Harish-Chandra. D ifferential O perators on a S emisimple L ie A lgebra. Amer. J. Math. , 79(1):87--120, 1957

    1957

  25. [25]

    Spherical F unctions on a S emisimple L ie G roup I

    Harish-Chandra. Spherical F unctions on a S emisimple L ie G roup I . Amer. J. Math. , 80(3):241--310, 1958

    1958

  26. [26]

    Spherical F unctions on a S emisimple L ie G roup II

    Harish-Chandra. Spherical F unctions on a S emisimple L ie G roup II . Amer. J. Math. , 80(3):553--613, 1958

    1958

  27. [27]

    G. J. Heckman. Projections of orbits and asymptotic behavior of multiplicities for compact connected L ie groups. Invent. Math. , 67:333--356, 1982

    1982

  28. [28]

    G. J. Heckman. Root S ystems and H ypergeometric F unctions. II . Compos. Math. , 64(3):353--373, 1987

    1987

  29. [29]

    G. J. Heckman. A remark on the D unkl differential-difference operators. In Harmonic analysis on reductive groups , volume 101 of Progr. Math. , pages 181--191. Birkhäuser, 1989

    1989

  30. [30]

    Helgason

    S. Helgason. Groups and Geometric Analysis: Integral Geometry, Invariant Differential Operators, and Spherical Functions . Mathematical surveys and monographs. American Mathematical Society, 2000

    2000

  31. [31]

    G. J. Heckman and E. M. Opdam. Root S ystems and H ypergeometric F unctions. I . Compos. Math. , 64(3):329--352, 1987

    1987

  32. [32]

    E. K. Narayanan, A. Pasquale, and S. Pusti. Asymptotics of H arish- C handra expansions, bounded hypergeometric functions associated with root systems, and applications. Adv. Math. , 252:227--259, 2014

    2014

  33. [33]

    E. M. Opdam. Dunkl operators, Bessel functions and the discriminant of a finite Coxeter group. Compos. Math. , 85(3):333--373, 1993

    1993

  34. [34]

    Rösler and M

    M. Rösler and M. F. E. de Jeu. Asymptotic analysis for the D unkl kernel. J. Approx. Theory , 119(1):110--126, 2002

    2002

  35. [35]

    M. Rösler. Positivity of D unkl's I ntertwining O perator. Duke Math. J. , 98(3):445--463, 1999

    1999

  36. [36]

    P. Sawyer. A L aplace-type representation of the generalized spherical functions associated with the root systems of type A . Mediterr. J. Math. , 14(4):147, 2017

    2017

  37. [37]

    Schapira

    B. Schapira. Contributions to the hypergeometric function theory of H eckman and O pdam: sharp estimates, S chwartz space, heat kernel. Geom. Funct. Anal. , 18(1):222--250, 2008

    2008

  38. [38]

    E. C. Titchmarsh. The theory of functions . Oxford Univ. Press, London, 2nd edition, 1939

    1939

  39. [39]

    F. Treves. Topological V ector S paces, D istributions and K ernels . Pure and Applied Mathematics. Academic Press, 1967

    1967

  40. [40]

    P. C. Trombi and V. S. Varadarajan. Spherical T ransforms on S emisimple L ie G roups. Ann. of Math. , 94(2):246--303, 1971

    1971