{"id":"db49b2e1-c56d-4fdc-b248-93aa548cc7dc","arxiv_id":"2412.10377","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The JEFT is the Poisson transform of the Helgason Fourier transform, making it a joint eigenfunction of every invariant differential operator on the symmetric space.","lead":"This paper defines the Joint-Eigenspace Fourier Transform on a noncompact symmetric space and shows it is the Poisson transform of the Helgason Fourier transform. It argues this object is the natural complete Fourier transform for such spaces because it satisfies the same joint-eigenfunction equations as the classical transform on flat space.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Quoted Paley-Wiener theorem is not just unproved; the fixed-λ JEFT cannot be injective, so the central claim that the JEFT is the Fourier transform is unsupported.","rationale":"The reader correctly identifies the Paley-Wiener theorem as the load-bearing premise. I agree and offer a specific reason to think it is false: for fixed λ, the map f ↦ f^△(λ,·) factors through the fixed-λ Helgason transform, which is not injective on C_c^∞(X). For K-invariant functions it reduces to the spherical transform at a point, which has nontrivial kernel by the Paley-Wiener theorem for the spherical transform. Therefore the quoted bijection cannot hold, and the paper's conclusion 'we are now certain that the Fourier transform... is the JEFT' fails. The definitional identity f^△(λ,x) = P_λ(\\tilde{f}(λ,·))(x) is a sound Fubini consequence, but it does not establish a Fourier transform without injectivity, surjectivity, and Plancherel. Since the quoted theorem is demonstrably false as stated, the verdict should be REJECT, not merely CONDITIONAL. Some independent support exists: the Poisson-completion interpretation is coherent and the Plancherel formula in [6] may hold, but the paper's central claim is not supported by its cited results.","tokens_in":5289,"tokens_out":15487,"duration_ms":139338,"concrete_test":"Take X = SL(2,R)/SO(2). Fix a simple λ0 in a*_C. Using the Paley-Wiener theorem for the spherical transform, choose a nonzero even entire function h of exponential type with h(λ0)=0; let f ∈ C_c^∞(K\\G/K) be its inverse spherical transform. Then f is nonzero, but for all b, \\tilde{f}(λ0,b)=h(λ0)=0, so f^△(λ0,x)=P_{λ0}(0)=0 for all x. This contradicts the bijection (indeed injectivity) claim of the quoted theorem. Run this construction numerically for H^2 to confirm the counterexample.","verdict_should_be":"REJECT","load_bearing_attack":"The paper's decisive claim, 'we are now certain that the Fourier transform on a noncompact symmetric space is the JEFT,' rests on the Paley-Wiener theorem quoted from [5] (p.19) without proof: 'Let λ ∈ a*_C be simple. The Joint-Eigenspace Fourier transform on X is a bijection of C_c^∞(X) onto the Hilbert space H_λ^∞(X).' This theorem is not established in the paper and, as stated, appears impossible. The JEFT for a fixed λ is f^△(λ,·) = P_λ( \\tilde{f}(λ,·) ). Since \\tilde{f}(λ,b) is real-analytic in b (the integral kernel e^{(-iλ+ρ)A(y,b)} is real-analytic in b and f has compact support), the map factors through real-analytic boundary functions. More seriously, the fixed-λ Helgason transform is generally not injective: in the Euclidean model, compactly supported f can have \\hat{f}(ξ)=0 for all |ξ|=r, giving f^△(λ,·)=0 for nonzero f. For X = SL(2,R)/SO(2), using the spherical transform for K-invariant functions, one can construct a nonzero f ∈ C_c^∞(X) with \\tilde{f}(λ0,b)=0 for all b at a fixed simple λ0. Thus the map f ↦ f^△(λ0,·) has a nontrivial kernel and cannot be a bijection. Consequently, the central claim that the JEFT is the genuine Fourier transform for noncompact symmetric spaces is not merely unproved; the quoted theorem is false as written. The paper needs a precise definition of H_λ^∞(X) and a correct theorem; citing [5] is insufficient.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces the Joint-Eigenspace Fourier Transform (JEFT) on a noncompact symmetric space X = G/K, defined for f in C_c^∞(X) by f^△(λ,x) = (f × φ_λ)(x), and derives by a Fubini argument that f^△(λ,x) = P_λ(\\tilde{f}(λ,·))(x), i.e., the JEFT is the Poisson transform of the Helgason Fourier transform. The paper claims that this Poisson completion yields a genuine Fourier transform, quotes a Paley-Wiener theorem from the author's preprint [5] asserting that for a simple parameter λ the JEFT is a bijection of C_c^∞(X) onto a Hilbert space H_λ^∞(X), and concludes that the Fourier transform on a noncompact symmetric space is the JEFT. The presentation is informal: the central Paley-Wiener theorem is quoted without proof, the space H_λ^∞(X) is not defined, and the paper is largely a research announcement that relies on the author's preprints [5] and [6].","tokens_in":5650,"tokens_out":8420,"duration_ms":77495,"significance":"If the main claim were correct, the JEFT would be a self-dual, joint-eigenfunction Fourier transform with Plancherel and Paley-Wiener theorems, and it would unify the Helgason Fourier transform and the Poisson transform. The Fubini identity in Lemma 2 is a clean observation, and the paper correctly notes that the Poisson transform makes the JEFT a joint eigenfunction of the invariant differential operators. These are useful insights. However, the central claim is not established in this manuscript: it depends entirely on a quoted theorem that, as stated, is false, and the paper gives no proof or precise statement of the necessary hypotheses. The paper also highlights a genuine structural relationship between the Helgason transform and Poisson transform that could be valuable if a correct Paley-Wiener theorem for the full transform (in λ and x) is supplied.","major_comments":[{"comment":"The manuscript's central conclusion — 'we are now certain that the Fourier transform on a noncompact symmetric space is the Joint-Eigenspace Fourier transform' — rests on the quoted Paley-Wiener theorem from [5], which asserts that for a fixed simple λ, f ↦ f^△(λ,·) is a bijection of C_c^∞(X) onto a Hilbert space H_λ^∞(X). This theorem is not proved in the paper, and it cannot be true as stated. By Lemma 2, f^△(λ,x) = P_λ(\\tilde{f}(λ,·))(x). The inner map f ↦ \\tilde{f}(λ,·) has a nontrivial kernel at any fixed λ: in the Euclidean model X = R^n, a nonzero compactly supported f whose Euclidean Fourier transform vanishes on the sphere |ξ| = |λ| gives \\tilde{f}(λ,·) ≡ 0; for X = SL(2,R)/SO(2), a nonzero K-invariant f whose spherical transform vanishes at the fixed parameter λ0 gives \\tilde{f}(λ0,·) ≡ 0 on B. Hence the fixed-λ JEFT has a nontrivial kernel and cannot be a bijection. The paper's stated derivation of the theorem, 'from that of Helgason Fourier transform and the injectivity of the Poisson transform,' is insufficient: the injectivity of P_λ cannot repair the loss of information caused by the fixed-λ Helgason projection. A correct statement would need to treat the full transform on a*_C × X, as in Helgason's Paley-Wiener theorem; the fixed-λ version is false.","section":"Theorem ([5], p. 19)"},{"comment":"The space H_λ^∞(X) is never defined in the manuscript. It is described once as a Hilbert space, but the notation suggests smooth functions; it is not stated whether it is a subspace of the joint-eigenspace E_λ(X), what norm or topology it carries, or how the support condition supp(f) ⊂ Cl(B_R(0)) translates into a property of ψ = f^△(λ,·). Without a precise definition, the quoted theorem is not checkable, and the claimed bijection is not meaningful. This must be fixed before the result can be evaluated.","section":"Theorem ([5], p. 19)"}],"minor_comments":[{"comment":"Typo: 'Harish-C handra' should be 'Harish-Chandra'.","section":"Abstract"},{"comment":"The convolution f × φ_λ on X is not defined; the double integral displayed as the 'explication' of the convolution should be stated as the definition, since no prior convolution formula for general f on X is given.","section":"Definition and subsequent paragraph"},{"comment":"The parameters λ and μ in Lemma 3 are not distinguished; specify which is the spectral parameter of the Helgason transform applied to f^△(λ,·) and which is the JEFT parameter, and define the set S(μ) accordingly.","section":"Lemma 3 and Lemma 4"},{"comment":"The displayed sequence C_c^∞(X) → \\hat{f}(λ,b) → H(a*×B)^W → P_λ → E_λ(X) is not a commutative diagram; the maps and their domains/codomains should be labeled precisely, and H(a*×B)^W should be defined.","section":"Commutative diagram after the theorem"},{"comment":"The expression (x−b)^n for x ∈ X and b ∈ B is not meaningful on a general symmetric space; if this is only heuristic, it should be labeled as such.","section":"Taylor-like power series paragraph"},{"comment":"There are several typos: 'Tr ombi' should be 'Trombi', 'Helgas on' should be 'Helgason', and 'Moharty' is likely 'Mohanty'.","section":"References"}],"recommendation":"reject","confidential_remarks":"The paper is essentially a short announcement that delegates the main theorem to the author's own preprints [5] and [6]. The quoted Paley-Wiener theorem appears false as stated, and the failure is central: the fixed-λ transform is not injective. This is not a local presentation issue; it undermines the main claim. The paper would need a substantially correct statement and proof of a Paley-Wiener theorem, or a reframing of what the JEFT is claimed to achieve, before it could be considered for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The useful part is the definition of f^△(λ,x) = (f × φ_λ)(x) and Lemma 2, which identifies it with P_λ(f~ (λ,·))(x) by a clean Fubini argument. The Euclidean comparison with the Radon transform is pedagogically nice, and the paper is honest about attributing Plancherel and Paley-Wiener results to the author's preprints [5] and [6].\n\nThe soft spot is large. The quoted Paley-Wiener theorem ([5], p.19) says that for a fixed simple λ, the map f ↦ f^△(λ,·) is a bijection of C_c^∞(X) onto a Hilbert space H_λ^∞(X). As stated, that cannot be true. The map factors through the fixed-λ Helgason transform, which is not injective for a single λ: in the Euclidean model, any compactly supported f with Fourier transform vanishing on the sphere of radius |λ| gives f^△(λ,·)=0; on a noncompact symmetric space, a K-invariant function with spherical transform vanishing at λ0 gives the same. So the bijection claim fails. The space H_λ^∞(X) is never defined, and the support-control statement is not derived. This quoted theorem carries the weight of the final assertion that the JEFT is the Fourier transform on noncompact symmetric spaces, so that conclusion is unsupported.\n\nThe genuinely new mathematics here is minimal: Lemmas 2 and 3 are restatements from [5], and Lemma 4 is a soft inclusion. The definition and identity are fine, but they do not justify the grandeur of the conclusion without a correctly stated Paley-Wiener and Plancherel theory for the full two-variable transform.\n\nIf this crosses your desk, send it to a referee who knows the Helgason Paley-Wiener theorem; a competent referee will catch the fixed-λ injectivity problem. The paper should be revised to state a correct theorem or reduced to a short note on the Poisson-transform identity.","headline":"A well-motivated definition and a valid Poisson-transform identity, but the paper's central claim rests on a quoted Paley-Wiener theorem that is false as stated, so the 'JEFT is the Fourier transform' conclusion does not hold up.","tokens_in":6183,"tokens_out":3618,"would_cite":false,"duration_ms":41731,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["43A85","43A90","22E30"],"pacs":[],"model":"deepseek-v4-flash","headline":"JEFT completes the Helgason Fourier transform on symmetric spaces.","keywords":["Joint-Eigenspace Fourier transform","noncompact symmetric spaces","Helgason Fourier transform","Poisson transform","Harish-Chandra spherical transform","joint eigenfunctions","Paley-Wiener theorem","Plancherel formula"],"falsifier":"Take $X=SL(2,\\mathbb{R})/SO(2)$, choose a compactly supported smooth $f$, and numerically compute $D f^\\triangle(\\lambda,\\cdot)$ and $\\Gamma(D)(i\\lambda) f^\\triangle(\\lambda,\\cdot)$ for a non-scalar invariant differential operator $D$; equality of these two functions for every such $f$ is necessary for the joint-eigenfunction claim, and one counterexample would refute it. Alternatively, a direct check that two different $f,g\\in C_c^\\infty(X)$ have the same JEFT for a simple $\\lambda$ would contradict the quoted bijection.","tokens_in":5037,"feed_emoji":"","tokens_out":8375,"duration_ms":67820,"temperature":0.7,"pith_summary":"This paper claims that the Joint-Eigenspace Fourier transform (JEFT), defined on a noncompact symmetric space $X=G/K$ by convolution with elementary spherical functions, is the genuine Fourier transform of $X$, completing the classical Helgason Fourier transform. The key mechanism is the identity $f^\\triangle(\\lambda,x)=P_\\lambda(\\tilde f(\\lambda, \\cdot))(x)$, which shows the JEFT is the Poisson transform image of the Helgason transform, restoring the joint-eigenfunction property that the Fourier transform on $\\mathbb{R}^n$ has but the Helgason transform generally lacks. The paper further concludes, from a companion Paley-Wiener theorem, that the Fourier transform on a noncompact symmetric space is the JEFT. A sympathetic reader would care because, if correct, the JEFT unifies the Helgason, Harish-Chandra spherical, and Poisson transforms into a single self-dual Fourier transform with Plancherel and Paley-Wiener theorems.","feed_headline":"JEFT completes the Helgason Fourier transform","feed_subtitle":"Convolution with spherical functions yields a self-dual joint-eigenfunction transform.","key_machinery":"The carrying object is the Joint-Eigenspace Fourier transform itself, $f^\\triangle(\\lambda,x):=(f \\times \\varphi_\\lambda)(x)$, where $\\varphi_\\lambda$ is the elementary spherical function on $X$. The identity $f^\\triangle(\\lambda,x)=P_\\lambda(\\tilde f(\\lambda, \\cdot))(x)$, the result of interchanging the integrations in the defining convolution, is the mechanism: it identifies the JEFT as the Poisson transform image of the Helgason transform and transfers the joint-eigenfunction property of the Poisson transform to the JEFT. The support of the argument is the companion Paley-Wiener theorem, quoted as a bijection of $C_c^\\infty(X)$ onto $H_\\lambda^\\infty(X)$ for simple $\\lambda$ under the same identity.","core_discovery":"The central claim is that the map $f\\mapsto f^\\triangle(\\lambda,x) := (f \\times \\varphi_\\lambda)(x)$ from $C_c^\\infty(X)$ to $C(\\mathfrak{a}_{\\mathbb{C}}^*\\times X)$ is a genuine Fourier transform on $X$ and that it is distinct from, yet a completion of, the Helgason Fourier transform. The paper's decisive identity is $f^\\triangle(\\lambda,x)=P_\\lambda(\\tilde f(\\lambda, \\cdot))(x)$, obtained by a Fubini argument; it says that the JEFT is the Poisson transform $P_\\lambda$ applied to the Helgason transform in the boundary variable. Since $P_\\lambda$ maps $C(B)$ into the joint eigenspace $E_\\lambda(X)$, the JEFT satisfies $D f^\\triangle(\\lambda,\\cdot)=\\Gamma(D)(i\\lambda) f^\\triangle(\\lambda,\\cdot)$ for every invariant differential operator $D$, and because it is a function of both $\\lambda$ and $x$ it makes $X$ self-dual. The paper therefore concludes that the Fourier transform on a noncompact symmetric space is the Joint-Eigenspace Fourier transform.","pith_inferences":["Extending beyond the paper: if the JEFT identification is right, the invertibility of the transform should reduce to separate inversions of the Helgason transform and the Poisson transform; a concrete check is to derive the inversion formula for $X=SL(2,\\mathbb{R})/SO(2)$ and confirm it reproduces $f$ from $f^\\triangle$.","Extending beyond the paper: the author leaves implicit that the JEFT might be iterated; computing the JEFT of the JEFT and testing whether the formal power series $\\sum_{n=0}^\\infty \\frac{(j^n f)(b)}{n!}(x-b)^n$ converges to $f$ would give an explicit Taylor-like expansion tied to the geometry of $X$.","Extending beyond the paper: a natural test is whether Lemma 4's inclusion is equality; finding a Paley-Wiener function in $H(\\mathfrak{a}_{\\mathbb{C}}^*\\times B)^w \\cdot S(\\mu)$ not in $\\widetilde{(C_c^\\infty(X)^\\triangle)}$ would show the JEFT image needs finer boundary data than the Helgason range supplies.","Extending beyond the paper: one could probe the claim by restricting the JEFT to bi-$K$-invariant functions; if it collapses to the Harish-Chandra spherical transform, then the JEFT is a true extension of that theory rather than a parallel construction."],"forward_implications":["The JEFT inherits a Paley-Wiener theorem: for simple $\\lambda$ it is a bijection of $C_c^\\infty(X)$ onto $H_\\lambda^\\infty(X)$, with support of $f$ encoded in the range, so the image is fully characterized.","The JEFT's joint-eigenfunction equations $D f^\\triangle(\\lambda,\\cdot)=\\Gamma(D)(i\\lambda) f^\\triangle(\\lambda,\\cdot)$ hold for all invariant differential operators, matching the classical $\\mathbb{R}^n$ behavior and enabling the range $H_\\lambda^\\infty(X)$ to be used as a spectral description.","Because the JEFT is a function on $\\mathfrak{a}_{\\mathbb{C}}^* \\times X$, the symmetric space $X$ is self-dual under it, and restricting to $x=b\\in K/M$ gives a starting point for a Fourier transform theory on the compact symmetric space $K/M$.","The identity for the Helgason transform of the JEFT, $\\widetilde{f^\\triangle}(\\lambda,b)=\\tilde f(\\lambda,b)\\,\\widehat{\\varphi}_\\mu(\\lambda)$, shows the JEFT image splits into Helgason data times spherical-transform multipliers, connecting the range to Harish-Chandra spherical transform theory."],"supporting_citations":[{"why":"Supplies the Paley-Wiener theorem for the JEFT, the quoted bijection of $C_c^\\infty(X)$ onto $H_\\lambda^\\infty(X)$, and the identity $f^\\triangle=P_\\lambda(\\tilde f)$ used as Lemma 2.","marker":"[5]"},{"why":"Supplies the Fubini identity used to rewrite the JEFT convolution as the Poisson transform image of the Helgason transform.","marker":"[2]"},{"why":"Defines the Helgason Fourier transform, the Poisson transform, spherical functions, and the classical Radon-transform completion analogy that motivate the JEFT.","marker":"[3]"},{"why":"Establishes the $L^2$ isometry and Plancherel formula for the Helgason transform that the JEFT is meant to complete.","marker":"[4]"},{"why":"Provides the companion $L^2$-harmonic analysis for the JEFT, including its Plancherel formula.","marker":"[6]"}],"fun_headline_variants":["JEFT: completion of Helgason's Fourier transform","JEFT makes symmetric spaces self-dual","Joint-eigenspace Fourier transform: Helgason completed","Self-dual Fourier transform via joint eigenspaces"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper assumes, without proving it here, that the Paley-Wiener theorem from its companion paper [5] is correct: for simple $\\lambda$ the JEFT is a bijection from $C_c^\\infty(X)$ onto $H_\\lambda^\\infty(X)$ with the stated support control.","fun_headline_variants_meta":{"raw":{"variants":["JEFT: completion of Helgason's Fourier transform","JEFT makes symmetric spaces self-dual","Joint-eigenspace Fourier transform: Helgason completed","Self-dual Fourier transform via joint eigenspaces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000662,"raw_usage":{"total_tokens":2965,"prompt_tokens":827,"completion_tokens":2138,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":443,"completion_tokens_details":{"reasoning_tokens":2075}},"tokens_in":443,"tokens_out":2138,"duration_ms":14797,"temperature":1.0,"reasoning_tokens":2075,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:06:11.753267+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $X=SL(2,\\mathbb{R})/SO(2)$, choose a compactly supported smooth $f$, and numerically compute $D f^\\triangle(\\lambda,\\cdot)$ and $\\Gamma(D)(i\\lambda) f^\\triangle(\\lambda,\\cdot)$ for a non-scalar invariant differential operator $D$; equality of these two functions for every such $f$ is necessary for the joint-eigenfunction claim, and one counterexample would refute it. Alternatively, a direct check that two different $f,g\\in C_c^\\infty(X)$ have the same JEFT for a simple $\\lambda$ would contradict the quoted bijection.","supporting_citations":[],"review_version":1}