{"id":"57c0ab17-aeb0-4be5-b316-540aa4e60407","arxiv_id":"2608.10821","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper demonstrates that the main proof in Trimèche's [T10], claiming absolute continuity of Dunkl representing measures, is not correct, and shows the conjecture remains open for general k.","lead":"This note argues that Trimèche's published proof of absolute continuity for Dunkl intertwining operator measures contains fatal flaws. It identifies specific invalid logical steps and provides a useful measurability lemma.","discovery_kind":"replication","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The stability of the central claim rests on whether §2 accurately and completely reports [T10]; the proof-gap objections are internally valid but need verification against the original.","rationale":"The note's internal mathematical reasoning is coherent: the two named proof gaps are real logical gaps in the described version of the argument. The sole genuinely load-bearing soft spot is the unverified fidelity of the description of [T10]. The reader already identified this exact concern as the weakest assumption and set confidence to MODERATE, so no verdict change is warranted. The proposed check against the original paper is straightforward and would settle the issue; if the original contains additional hypotheses or alternative justifications, the note's fatal-error conclusion might fail, but if it matches the note's account, the critique should stand.","tokens_in":3526,"tokens_out":11917,"duration_ms":125416,"concrete_test":"Obtain [T10] (Adv. Pure Appl. Math. 1 (2010) 195–222) and verify the quotations and inferences: (1) Read Theorem 4.6 and its proof: does it include a statement or argument that λ_f^r({S(0,r)})=0 or that λ_f^r is absolutely continuous on all of R^d, beyond the stated absolute continuity on R^d\\S(0,r)? (2) Read Proposition 4.7: does the author infer m_f^r=0 only from the singularity of each μ^s_{rξ}, or is there an additional argument establishing that the spherical mean m_f^r is itself singular? (3) Check the hypotheses of Theorems 4.8 and 4.11: do they include only γ>0, or also the conditions that R' spans a and x∈R^d_reg? If the original text contains extra hypotheses or alternative justifications, re-evaluate whether the note's fatal-error claim survives; if it matches the note's description exactly, the critique is confirmed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The note's central claim is that the essential proofs of Section 4.1 of [T10] are incorrect. The two main mathematical objections are individually valid: absolute continuity of λ_f^r on R^d \\ S(0,r) does not rule out a singular part concentrated on the sphere, and singularity of each measure μ^s_{rξ} does not by itself imply singularity of the spherical mean m_f^r. However, both objections target inferences whose exact form in [T10] is not verifiable from the note, because the note paraphrases rather than quotes the original. If Theorem 4.6(i) is accompanied by a separate argument that λ_f^r({S(0,r)})=0, the inference to global absolute continuity would be justified. If Proposition 4.7 uses an additional structural fact—for instance that the singular supports N_ξ are chosen measurably with a union of Lebesgue measure zero—the conclusion m_f^r=0 could be valid. Similarly, §2(1) asserts that only γ>0 appears in Section 4.1; if Theorems 4.8 and 4.11 actually include the conditions that R' spans a and x∈R^d_reg, then the 'too weak condition' objection would not directly refute those theorems, although the proof-gap objections could still be decisive. The note's reliability therefore depends on an external check that cannot be performed from the preprint alone.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":3748,"tokens_out":8484,"duration_ms":83806,"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":[{"comment":"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].","section":"§2, items (2)–(3)"},{"comment":"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.","section":"§2(1)"},{"comment":"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.","section":"§2(3)"}],"minor_comments":[{"comment":"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.","section":"Lemma 3.1"},{"comment":"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.","section":"Title and §2(2)"},{"comment":"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.","section":"§2(3)"}],"recommendation":"major_revision","confidential_remarks":"The mathematical content of the note is sound and the two main objections are convincing. However, the central claim that [T10] is incorrect cannot be fully evaluated from the preprint because it quotes no direct text from [T10]. I recommend that the editor obtain a copy of [T10] and have the referee (or a second referee) verify the faithfulness of the paraphrases in Section 2. If the paraphrase is accurate, the note makes a significant contribution; if not, the paper's conclusion is unsupported."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a short, sharp critique of Trimèche's 2010 proof of Conjecture A on absolute continuity of Dunkl representing measures. The main claim is that the proof in [T10] has essential gaps, and the note identifies two specific logical errors that are real: (i) absolute continuity on the complement of a sphere does not rule out a singular component supported on that sphere, and (ii) singularity of each measure in a spherical average does not make the average singular. Both objections are valid inferences about measure theory, and they land on the exact steps in the proof. The note also provides a measurability lemma for x↦µ_x(E) that seems genuinely missing from the literature; the proof is standard but useful.\n\nWhat the paper does well: it locates the alleged errors precisely, quotes/paraphrases the relevant statements, and distinguishes between repairable issues (an estimate, a case exclusion) and the fatal one. It does not overclaim: it admits that λ_f^r may still be absolutely continuous, just not by that argument. That is honest.\n\nThe soft spot is the one you cannot fully check from the preprint: the note paraphrases [T10] rather than quoting it. If Trimèche's Section 4.1 actually contains an extra argument showing λ_f^r has no mass on the sphere, or uses additional structural facts about the singular supports, then the 'fatal' conclusion might not stand. The stress-test note lays this out clearly; I agree that this is the load-bearing assumption. That said, the note's internal logic is coherent, and the errors it describes are exactly the kind that would be visible in a real proof. This is not a fabricated critique.\n\nVerdict: this deserves a serious referee, because it claims to overturn a published proof of a conjecture. The referee's job is to check the fidelity of the reporting and the validity of the two objections. If those check out, this is a valuable correction. If not, it is still a useful precis of where a correct proof would need to be careful. I would not cite it myself in the next year, but I'd want someone in the Dunkl world to read it.","headline":"A precise, internally sound critique of a published proof; the main risk is whether the authors accurately represent Trimèche's Section 4.1.","tokens_in":4266,"tokens_out":2206,"would_cite":false,"duration_ms":22080,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["33C52"],"pacs":[],"model":"deepseek-v4-flash","headline":"A published proof of absolute continuity for Dunkl's representing measures is invalid.","keywords":["Dunkl operators","intertwining operator","representing measures","absolute continuity","singular measures","spherical means","Lebesgue decomposition","Conjecture A"],"falsifier":"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.","tokens_in":3304,"feed_emoji":"🧮","tokens_out":6910,"duration_ms":63198,"temperature":0.7,"pith_summary":"This note argues that a 2010 proof of the absolute continuity of the representing measures for Dunkl's intertwining operator contains essential gaps. The authors isolate two flaws: the condition used in the proof is too weak to rule out singular parts sitting on a sphere, and the deduction that the singular parts vanish after spherical averaging does not follow. If the critique is correct, the main theorems of that proof, including the absolute continuity of the dual intertwiner's representing measures, are not established, and the general case of Conjecture A remains open.","feed_headline":"A 2010 proof of Dunkl measure absolute continuity is invalid","feed_subtitle":"Two gaps in the key theorem leave the general case of Conjecture A open.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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$."],"supporting_citations":[{"why":"The published proof under examination; the note quotes its theorems and locates the gaps.","marker":"[T10]"},{"why":"Establishes the existence and uniqueness of the representing probability measures $\\mu^k_x$ that the whole discussion concerns.","marker":"[R99]"},{"why":"Formulates Conjecture A, the statement whose general case the note says remains open.","marker":"[RJ02]"},{"why":"Provides the current best positive result for $k>\\tfrac12$, against which the note measures what is still unknown.","marker":"[L26]"},{"why":"Introduces Dunkl's intertwining operator and its integral representation, the object under study.","marker":"[D91]"}],"fun_headline_variants":["Dunkl measure continuity proof is invalid","Two gaps sink Dunkl intertwining proof","Dunkl measure proof collapses on null sphere","Conjecture A open after proof critique","Dunkl absolute continuity proof does not stand"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Dunkl measure continuity proof is invalid","Two gaps sink Dunkl intertwining proof","Dunkl measure proof collapses on null sphere","Conjecture A open after proof critique","Dunkl absolute continuity proof does not stand"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000677,"raw_usage":{"total_tokens":2986,"prompt_tokens":760,"completion_tokens":2226,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":376,"completion_tokens_details":{"reasoning_tokens":2158}},"tokens_in":376,"tokens_out":2226,"duration_ms":18417,"temperature":1.0,"reasoning_tokens":2158,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T16:40:00.756716+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}