REVIEW 3 major objections 3 minor 8 references
Remarks on a proof of the absolute continuity of the representing measures for Dunkl's intertwining operator
T0 review · 3 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read A published proof of absolute continuity for Dunkl's representing measures is invalid.
desk verdict A precise, internally sound critique of a published proof; the main risk is whether the authors accurately represent Trimèche's Section 4.1. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the weighted spherical mean $\lambda^f_r(E)=\int_{S^{d-1}} f(r\xi)\mu_{r\xi}(E)\omega_k(r\xi)d\sigma(\xi)$ of the representing measures over a centered sphere. The original proof tries to pass from absolute continuity of this mean off the sphere to absolute continuity everywhere, and then to the vanishing of its singular component; the note shows both steps fail. Equally central is the Lebesgue decomposition $\mu=\mu^a+\mu^s$ and the Dynkin-system argument that fixes a measurability gap.
What would settle it
A close rereading of section 4.1 of the 2010 paper that reveals an additional hypothesis in Theorem 4.6 or Proposition 4.7—for instance a bound excluding singular support on the sphere, or a proof that the spherical mean of the singular parts is singular—would refute the note's conclusion.
Extended reading notes
Core claim
The paper claims that the decisive section of the published proof is not correct. In Theorem 4.6(i), proving absolute continuity away from the sphere $S(0,r)$ does not imply absolute continuity on the whole space, because the measure could still be concentrated on the sphere, which is a null set. In Proposition 4.7, from the total spherical mean being absolutely continuous the author infers that the spherical mean of the singular parts is zero, yet a spherical average of singular measures is not automatically singular, so the inference is invalid. Since these results feed into Theorem 4.8 and Theorem 4.11, the chain of proof collapses. The note additionally supplies a Dynkin-system proof that $x \mapsto \mu^k_x(E)$ is measurable for every Borel set $E$, a fact the original proof uses without justification.
Load-bearing premise
The critique assumes that its quotations and paraphrases accurately represent what the 2010 paper actually proves, so that the identified reading is indeed the proof's intended argument.
Editorial extensions
If this is right
- If the note is right, the absolute continuity theorem of the 2010 paper is unsupported for every choice of the multiplicity parameter, not just in a corner case.
- The general form of Conjecture A, for every $k\ge 0$ with $\{\alpha:k(\alpha)>0\}$ spanning the space, remains open; the known positive result covers only $k>\tfrac12$.
- Any correct proof will have to justify that singular parts of the representing measures cannot survive spherical averaging, or else prove absolute continuity directly without a spherical-mean step.
- The measurability lemma proved in the note is a reusable tool: it legitimizes the spherical mean $\lambda^f_r$ as a genuine Borel measure for all Borel sets $E$.
Reading between the lines
- The same flaws could affect other conclusions in the 2010 paper that build on Theorem 4.8 or 4.11, such as applications to Dunkl-kernel asymptotics; those consequences should be rechecked even if the core conjecture is later proved by different techniques.
- A direct numerical or analytic test in a low-dimensional example where some $\mu_{r\xi}$ has a singular component could show whether the spherical average genuinely retains a singular part or whether cancellations occur.
- The measure-theoretic lesson generalizes: absolute continuity of a mixture of measures is strictly stronger than absolute continuity of the mixture off a null set, and closing that gap requires controlling the singular supports inside the family.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This note claims that the essential proofs in K. Trimèche's paper [T10] on the absolute continuity of the representing measures of Dunkl's intertwining operator are incorrect. The authors focus on Section 4.1 of [T10], presenting two main objections: first, that Theorem 4.6(i) infers global absolute continuity of a spherical mean measure from its absolute continuity on the complement of a null set (the sphere), which is invalid because a singular part could be concentrated on that sphere; second, that Proposition 4.7 infers the vanishing of the spherical mean of the singular parts from the absolute continuity of the sum, which is invalid because singularity of the summands does not imply singularity of their integral. The note also criticizes the hypothesis γ>0 as too weak, mentions measurability gaps, and provides a proof that x↦μ_x^k(E) is measurable for every Borel set E.
Significance. If the critique is accurate, it is significant: it would show that Conjecture A (absolute continuity of Dunkl's representing measures under the spanning condition on R') remains open for general k≥0, and that the published proof in [T10] should not be relied upon. The two central measure-theoretic objections are internally sound and clearly explained. The note also makes a useful, if standard, contribution by proving the measurability of the map x↦μ_x^k(E) for arbitrary Borel sets E. However, the significance of the paper hinges on whether the authors' description of [T10] is faithful and complete, and this is not verifiable from the note alone.
major comments (3)
- [§2, items (2)–(3)] The two central objections are mathematically valid: absolute continuity of λ_f^r on R^d\S(0,r) does not imply absolute continuity on all of R^d, because a singular part could be concentrated on the null set S(0,r); and the absolute continuity of λ_f^r does not imply that the spherical mean of the singular parts μ^s_{rξ} vanishes, since the integral of singular measures need not itself be singular. However, the entire critique rests on the authors' paraphrase of [T10]. The note does not quote the exact statements of Theorem 4.6, Proposition 4.7, Theorem 4.8, or Theorem 4.11, nor the precise lines of proof in which the criticized inferences are made. For a claim that a published proof is incorrect, this is a load-bearing evidentiary gap: without direct quotations, the reader cannot verify that no additional hypotheses or alternative justifications appear in the original. The authors should add the full statements and relevant proof excerpts from [T10].
- [§2(1)] The assertion that the condition k(α)>0 for all α∈R^+ is 'too weak' is not sufficiently justified. If the root system R spans the ambient space, then the positive roots R^+ also span it, so this condition would imply the spanning condition of Conjecture A. To make the objection precise, the authors should either state explicitly that [T10] allows non-spanning root systems or explain why k(α)>0 on R^+ nevertheless fails to ensure the desired conclusion. As written, this part of the critique is ambiguous.
- [§2(3)] The argument that singularity of each μ^s_{rξ} does not imply singularity of their spherical mean is correct in general, but the note should address the possibility that [T10]'s proof makes implicit use of a common null set for the singular parts (for instance, a measurably chosen family of singular supports whose union has measure zero). A sentence explaining why no such structure follows from the stated hypotheses would close this gap and make the critique more conclusive.
minor comments (3)
- [Lemma 3.1] The approximation of a half-open rectangle by a monotonically increasing sequence of compactly supported continuous functions is asserted without proof; a brief justification (e.g., by convolution with a mollifier) would be helpful.
- [Title and §2(2)] There are typographical errors: the title contains 'INTER TWINING' with a space, and §2(2) says 'week condition' instead of 'weak condition.' These should be corrected.
- [§2(3)] The note states that the measurability of ξ↦μ^a_{rξ}(E) and ξ↦μ^s_{rξ}(E) is assumed; the later Lemma 3.1 proves measurability of ξ↦μ_{rξ}(E) for all Borel E, but the authors should explicitly spell out that this also covers the absolutely continuous and singular parts, or point to a standard argument.
Circularity Check
No circularity: the note is an external critique of Trimèche's proof and does not use the target result as an input.
full rationale
This paper is a critical commentary on K. Trimèche's published proof [T10] of absolute continuity of the representing measures for Dunkl's intertwining operator. Its central claim is that the proofs of Theorems 4.6, 4.7, 4.8, and 4.11 in [T10] are incorrect. The argument proceeds by analyzing the logical structure of that proof: it points out that absolute continuity of \lambda_f^r on R^d \setminus S(0,r) does not by itself imply absolute continuity on all of R^d, and that singularity of the measures \mu^s_{r\xi} does not by itself imply singularity of their spherical mean m_f^r. These are standard measure-theoretic inferences that do not presuppose the truth or falsity of the target theorem. The note also supplies a self-contained Dynkin-system proof of measurability of x \mapsto \mu^x_k(E), which is independent of the criticized results. No parameter is fitted, no quantity is renamed as a prediction, and no load-bearing claim is justified solely by a citation to the authors' own prior work. The citations to [R99] and [RJ02] provide supporting context for the conjecture and definition, not premises of the critique. The only external dependence is on the accurate reporting of [T10]'s hypotheses, which is a question of scholarly accuracy, not circularity. Therefore the paper exhibits no circular derivation chain.
Assumptions & free parameters
assumptions (3)
- standard math Standard measure theory: Lebesgue decomposition of measures into absolutely continuous and singular parts.
- standard math Monotone convergence theorem and the Dynkin system lemma for measure measurability.
- standard math Lebesgue differentiation theorem, which holds only almost everywhere.
Cite this review
Pith. "Pith review of Remarks on a proof of the absolute continuity of the representing measures for Dunkl's intertwining operator." pith.science (2026). https://pith.science/paper/HSJMEC46
@misc{pith2026260810821,
author = {Pith},
title = {Pith review of: Remarks on a proof of the absolute continuity of the representing measures for Dunkl's intertwining operator},
year = {2026},
howpublished = {\url{https://pith.science/paper/HSJMEC46}},
note = {Machine review of arXiv:2608.10821}
}
read the original abstract
In the published paper [T10], K. Trim\`eche presented a proof of the statement that for suitable nonnegative multiplicities and regular arguments, the representing measures of Dunkl's intertwining operator and its dual are absolutely continuous with respect to Lebesgue measure. In this note, we argue that the essential proofs of this paper are not correct.
Reference graph
Works this paper leans on
-
[1]
Dunkl, Differential-difference operators associated to reflection groups
C.F. Dunkl, Differential-difference operators associated to reflection groups. Trans. Amer. Math. Soc. 311 (1989), 167--183
work page 1989
-
[2]
Dunkl, Integral kernels with reflection group invariance
C.F. Dunkl, Integral kernels with reflection group invariance. Canad. J. Math. 43 (1991), 1213--1227
work page 1991
-
[3]
Uniform bounds on the Dunkl kernel
L. Langen, Uniform bounds on the Dunkl kernel. ArXiv:2607.02176
-
[4]
R\"osler, Positivity of Dunkl's intertwining operator
M. R\"osler, Positivity of Dunkl's intertwining operator. Duke Math. J. 98 (1999), 445--463
work page 1999
-
[5]
R\"osler, M., de Jeu, M., Asymptotic analysis for the Dunkl kernel. J. Approx. Theory 119 (2002), 110--126
work page 2002
-
[6]
S. Helgason, Groups and Geometric Analysis: Integral Geometry, Invariant Differential Operators, and Spherical Functions. American Mathematical Society, 2000
work page 2000
-
[7]
K. Trim\`eche, The Dunkl intertwining operator on spaces of functions and distributions and integral representations of its dual. Integral Transform. Spec. Funct. 12 (2001), 349--374
work page 2001
-
[8]
K. Trim\`eche, Absolute continuity of the representing measures of the Dunkl intertwining operator and of its dual and applications. Adv. Pure Appl. Math. 1 (2010), 195--222
work page 2010
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.