{"id":"7b9bd97f-856e-4764-8f79-69442d198d00","arxiv_id":"1908.05998","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Weak L^p bounds on all integer powers of the Laplacian on a homogeneous tree force the function to be a Laplacian eigenfunction.","lead":"This paper proves versions of Roe and Strichartz's theorem for Laplace operators on homogeneous trees. It shows that weak L^p bounds on all powers of the Laplacian force a function to be an eigenfunction, and it gives counterexamples showing the endpoint conditions are sharp.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Deferred nilpotent-removal step in Lemmas A and B1 is the load-bearing gap: without it, the proof only yields generalized eigenfunctions, not the claimed Lf=γ(z)f.","rationale":"The reader's weakest_assumption pointed to the spherical Fourier isomorphism (Theorem 5.1). I agree that gap is worth attention, but the appendix provides a proof, and the map is a standard Paley–Wiener type result; the main unresolved risk is the nilpotency removal. Without N=0, Lemmas A and B1 would only imply generalized eigenfunctions, and the main theorems' conclusion 'Lf≡γ(z)f' would not follow. The paper's own text flags the step as deferred twice, and the cited reference is for symmetric spaces, not trees. Thus this omitted proof is the most load-bearing single concern. My proposed check—prove or disprove absence of Jordan-block solutions under the tree's Schwartz seminorms—would settle it. I therefore keep the reader's CONDITIONAL verdict: the result is plausible and likely correct, but the paper should be revised to include the nilpotency-removal argument or to state it as a lemma with full proof.","tokens_in":14304,"tokens_out":20013,"duration_ms":176473,"concrete_test":"Verify the deferred step directly: for q=2 and α=0, determine whether there exists a nonzero radial L2-tempered distribution T on the tree satisfying (L−γ(0))^2T=0 and the seminorm bound |⟨T,φ⟩|≤Mν(φ) for all φ∈S2(X). If such T exists, Lemma A part (a) is false and Theorem A fails; if one proves that no such T can exist (e.g., by showing the inverse Abel transform of (d/ds)δ_0 violates the S2 decay), then the omitted step is valid and should be written out in the paper.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After the spectral-support argument, Lemma A establishes only (L−γ(α))^{N+1}T0=0 (Eq. 3.10–3.11). The passage to the actual eigenfunction identity is deferred: \"Using the same argument given in [12] one can easily prove that (L−γ(α))T0=0\" (Section 3, Lemma A), and Lemma B1 similarly ends with \"one can easily prove that N=0.\" This step is essential, not cosmetic: the hypotheses permit superpositions of spherical functions with equal |γ| (as the counterexamples in Section 4 show), and the spectral-support argument alone cannot distinguish a generalized eigenfunction from an eigenfunction. The cited [12] treats Laplace–Beltrami operators on symmetric spaces; no argument is supplied that the nilpotency removal transfers to the discrete tree setting, where the spherical function γ has a different local structure and the Paley–Wiener space is different. The isomorphism theorem (Thm 5.1) is at least proved in the appendix; the nilpotency step is simply omitted, making it the least secured link in the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a Roe-Strichartz theorem for homogeneous trees. Theorem A states that if f is measurable on a homogeneous tree and the scaled iterates |γ(z)|^{-k}L^k f are uniformly bounded in weak L^2 for every k∈Z, with z real and not in (τ/2)Z, then Lf=γ(z)f and f is a Poisson transform of an L^2 boundary function. Theorem B gives the analogous one-sided conclusions at the two boundary points of the L^{p'} spectrum for 1<p<2, using weak L^{p'} bounds for positive (or negative) k. Section 4 discusses sharpness, including counterexamples built from superpositions of spherical functions of equal modulus, and a separate statement for the integer line Z. An appendix proves the Paley-Wiener isomorphism between the p-Schwartz space of radial functions and the holomorphic space H(S_p)#.","tokens_in":14514,"tokens_out":15715,"duration_ms":145327,"significance":"If the proof is completed, the result is a genuine and structurally interesting discrete analogue of the Roe-Strichartz theorem, complementing the earlier symmetric-space results of [12] and [13]. The paper has two clear strengths: explicit sharpness counterexamples showing why L∞ boundedness must be replaced by weak L^p bounds, and a self-contained appendix proving the spherical Fourier transform isomorphism for p∈(1,2]. The main defect is that the central proof defers a load-bearing step to an earlier paper on symmetric spaces, without supplying the tree-specific argument; as written, the proof does not rule out generalized eigenfunctions. The overall claim is plausible and the gap appears fixable, but it is substantive rather than cosmetic.","major_comments":[{"comment":"The proof of part (a) for radial distributions establishes only the nilpotent equation (L−γ(α))^{N+1}T0=0, displayed as (3.10)-(3.11). The sentence 'Using the same argument given in [12] one can easily prove that (L−γ(α))T0=0' is exactly the point where the proof must rule out Jordan blocks, and no argument is supplied. This step is load-bearing: the boundedness hypotheses are compatible with superpositions of spherical functions having equal modulus, as the counterexamples in Section 4 and Lemma B1(c) show, so the spectral-support argument by itself cannot distinguish a generalized eigenfunction from an eigenfunction. The displayed estimate (3.12) is used only with N=10m+1; it does not provide a bound for N=0. The paper needs a complete proof, in the homogeneous-tree setting, that (L−γ(α))^{N+1}T0=0 together with the stated distribution bounds implies (L−γ(α))T0=0; citing the symmetric-space result is not sufficient because the local structure of the spherical function and the Paley-Wiener space differ.","section":"Section 3, Lemma A (after Eq. (3.11))"},{"comment":"The same deferred step occurs in the proof of Lemma B1: after showing that sup_{z∈S_p^+} F_k(z) tends to 0, the proof states 'Using the same argument given in [12] one can easily prove that N=0.' This is the only passage from (γ(z0)−γ(z))^{N+1}\\hat T0=0 to the eigenfunction identity LT0=|λ|T0, and it is essential for Theorem B. In addition, the derivative estimates labelled (i) and (ii) after (3.14) are asserted without proof; the limiting argument needs those bounds to be uniform in k and z, with constants independent of k. Please supply the missing nilpotency-removal argument and prove or properly reference the derivative estimates.","section":"Section 3, Lemma B1"},{"comment":"The set V_k is defined as {z∈S_p^+ : |Re z|<(k^{1/4}log q)^{-1}, δ_p−log(1+1/k^{1/6})(log q)^{-1}<Im z≤δ_p}. Since δ_p=1/p−1/2 is negative for 1<p<2, this set is empty as written, and the following case distinction 'if 0≤Im z≤δ_p−...' is impossible. The intended quantity is evidently δ_{p'}=−δ_p, the upper boundary of S_p^+. This is a substantive notation error in the proof of the main p-dependent lemma; please correct it and verify that the estimates (3.15)-(3.16) hold on the intended set.","section":"Section 3, Lemma B1, definition of V_k"}],"minor_comments":[{"comment":"In the statement of Roe's theorem, 'for all n and x' should be 'for all k and x'; the sequence is indexed by k.","section":"Abstract and Section 1"},{"comment":"The sharpness claim for z∈(τ/2)Z is not fully established: the argument shows that an eigenfunction at such z cannot lie in L^{2,∞}, but it does not by itself produce a function satisfying the boundedness hypothesis that fails to be an eigenfunction. Please state the intended logical role of this observation.","section":"Section 4, item (1)"},{"comment":"Theorem 4.1 for the integer line is stated without proof; if it is included as a result, a proof or a precise reference should be provided rather than the remark that it can be proved by the similar argument of Roe.","section":"Section 4.1, Theorem 4.1"},{"comment":"Because λ may have a nonzero argument, the proof silently removes a phase by replacing T_k with e^{-ikθ}T_k, where λ=|λ|e^{iθ}; this reduction should be made explicit, since the displayed Fourier relations otherwise appear to assume λ=γ(iδ_{p'}).","section":"Section 3, Lemma B1"}],"recommendation":"major_revision","confidential_remarks":"The central proof depends on [12] and [11], both involving the present first author; this is not improper in itself, but the deferred nilpotency-removal step and the Poisson representation result from [11] place a heavy burden on those references. The authors should be asked to provide the missing argument in the tree setting, not merely a citation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know. First, this is the first Roe/Strichartz-type characterization on homogeneous trees, and the sharpness examples in Section 4 are genuinely useful. Second, the proof as written has a real gap: Lemma A establishes only (L−γ(α))^{N+1}T0=0, and the passage to (L−γ(α))T0=0 is dismissed with “using the same argument given in [12] one can easily prove”. That step is load-bearing, not cosmetic. The stress-test note is right on target. The hypotheses permit superpositions of spherical functions with equal |γ|, as the paper's own counterexamples show, so the spectral-support argument alone cannot rule out generalized eigenfunctions. You need the uniform bound in k plus the finite-order support to force N=0, and the authors do not supply that argument for the discrete tree setting. Lemma B1 has the same omission. This is the main soft spot, and it is serious enough that the main theorems are not fully proved as written.\n\nWhat the paper does well: the overall strategy is smart and the right one; the endpoint statements in Theorems A and B are new; the weak-Lp spaces are the natural scale here; and Section 4 gives concrete counterexamples showing the endpoint assumptions cannot simply be weakened. The appendix proves the Paley-Wiener isomorphism for Sp(X)# onto H(Sp)#, which is a real piece of work and is more than many papers in this area include.\n\nThe other soft spots are real but secondary. In Lemma B1, some of the displayed estimates look shaky—especially the first case in the V_k^c argument, where |γ(z)| is compared to the imaginary-axis value without properly accounting for the real part. The notation around δ_r and q^{1/r} is also loose. These may be fixable, but they need a careful rewrite. The final Poisson-representation conclusion is imported from the authors' own [11]; citing yourself is not a flaw, but a referee needs to verify that [11] actually contains the required theorem and is in a usable form. If [11] already proves the main Theorems A and B, the novelty here would shrink; from this text alone I cannot tell.\n\nOverall: this is a paper worth engaging with, not a desk reject. The core idea is right, the sharpness section is good, and the gaps look repairable. Send it to peer review with a request for major revision: the authors should either prove the nilpotency-removal step in full or state it as a separate lemma with a complete proof, and they should clean up the estimates in Lemma B1. Once that is done, I would expect the main results to hold up.","headline":"A plausible and genuinely new tree analogue of Roe/Strichartz, with valuable sharpness examples, but the central nilpotency-removal step is deferred to a previous paper and must be spelled out before the main theorems are proved.","tokens_in":15049,"tokens_out":8202,"would_cite":false,"duration_ms":81870,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["43A85","39A12","20E08"],"pacs":[],"model":"deepseek-v4-flash","headline":"A weak-$L^2$ bound on every Laplacian iterate forces a homogeneous-tree function to be an eigenfunction.","keywords":["homogeneous trees","Laplacian spectrum","eigenfunction characterization","weak Lp spaces","spherical Fourier transform","Poisson transform","Roe-Strichartz theorem"],"falsifier":"On a tree with a fixed $q\\ge 2$, compute the two-sided sequence $\\|L^k\\varphi_s\\|_{L^{2,\\infty}}$ for two real spectral parameters $s$ with $\\gamma(s)\\neq\\gamma(z)$, and check whether any such sequence is bounded by $M|\\gamma(z)|^k$ for all $k\\in\\mathbb{Z}$; Theorem A predicts that the ratio $|\\gamma(s)/\\gamma(z)|^k$ eventually destroys the bound, so an explicit counterexample would refute the theorem.","tokens_in":14083,"feed_emoji":"🌳","tokens_out":13836,"duration_ms":124138,"temperature":0.7,"pith_summary":"On a homogeneous tree, the natural Laplacian has an elliptic spectrum, and the classical boundedness test for eigenfunctions---uniformly bounded iterates---fails: sums of two spherical eigenfunctions with equal eigenvalue modulus satisfy the uniform bound without being eigenfunctions. The paper proves that the correct substitute is weak-$L^2$ boundedness. If a measurable function $f$ on the tree satisfies $\\|L^k f\\|_{L^{2,\\infty}(X)}\\le M|\\gamma(z)|^k$ for every integer $k$, for some spectral parameter $z\\in\\mathbb{R}\\setminus(\\tau/2)\\mathbb{Z}$, then $Lf=\\gamma(z)f$, and $f$ is the Poisson transform of an $L^2$ function on the boundary. For $1<p<2$, the same conclusion holds with weak-$L^{p'}$ bounds and one-sided iterates, at the two boundary points of the $L^{p'}$ spectrum. The result gives a precise discrete analogue of the Euclidean theorem and explains why weak-type, not uniform, bounds are the natural hypothesis.","feed_headline":"Weak-L2 bounds force tree eigenfunctions","feed_subtitle":"On homogeneous trees, uniform boundedness is too weak; weak-L2 control of all iterates pins down the eigenfunction.","key_machinery":"The load-bearing object is the spherical Fourier transform on the tree, which turns radial rapidly decreasing functions into even, $\\tau$-periodic holomorphic functions on the spectral strip $S_p=\\{z:|\\Im z|\\le|\\delta_p|\\}$. The paper proves, in an appendix, that this transform is a topological isomorphism from $S_p(X)^\\#$ onto $H(S_p)^\\#$, using the Abel-transform isomorphism for radial Schwartz spaces. Through this dictionary, the distributional equation $LT_k=\\lambda T_{k+1}$ becomes a pointwise identity $\\widehat T_0=e^{ik\\theta}(\\gamma(\\alpha)/\\gamma(\\cdot))^k\\widehat T_k$; letting $k\\to\\pm\\infty$ forces the Fourier transform of $T_0$ to vanish away from the eigenvalue $\\pm\\alpha$, and a local estimate on $(\\gamma(\\alpha)-\\gamma(s))^{N+1}\\varphi$ reduces the eigen-distribution claim to $N=0$. This is what converts boundedness of Laplacian iterates into exact eigenfunctionhood.","core_discovery":"The paper's central claim is Theorem A: for a measurable function $f$ on a homogeneous tree $X$ and $z\\in\\mathbb{R}\\setminus(\\tau/2)\\mathbb{Z}$, if $\\|L^k f\\|_{L^{2,\\infty}(X)}\\le M|\\gamma(z)|^k$ for all $k\\in\\mathbb{Z}$, then $Lf\\equiv\\gamma(z)f$; moreover $f\\equiv P_zF$ for some $F\\in L^2(\\Omega)$, where $P_z$ is the Poisson transform and $\\Omega$ is the boundary. Theorem B is the $L^{p'}$ analogue: for $1<p<2$, weak-$L^{p'}$ boundedness of the forward Laplacian iterates at $z=n\\tau+i\\delta_{p'}$ forces $Lf=\\gamma(z)f$, and weak-$L^{p'}$ boundedness of the inverse iterates at $z=(2n+1)\\tau/2+i\\delta_{p'}$ does the same. The paper also shows these statements are sharp: at the excluded boundary points $\\tau/2\\mathbb{Z}$ no nonzero $L^{2,\\infty}$ eigenfunction exists, the weak-type norms cannot be replaced by stronger Lorentz norms, and both-sided iteration is essential in Theorem A. The same boundedness criterion is worked out on $\\mathbb{Z}$, where it yields polynomial-times-exponential eigenfunctions.","pith_inferences":["The same two-sided spectral-support argument should transfer to other graphs with a spherical Fourier transform and a Paley-Wiener theorem, such as distance-regular graphs; the key estimate would again be the decay of $|\\gamma(\\alpha)/\\gamma(\\cdot)|^k$ outside the eigenvalue.","Because homogeneous trees are discrete models of hyperbolic space, the paper suggests that the correct Roe-Strichartz statement on hyperbolic spaces is weak-$L^2$ rather than uniform boundedness, and that the known failure there reflects the elliptic spectrum rather than an incidental pathology.","One testable extension is to finite truncations of trees: if the constant $M$ in Theorem A can be chosen independent of truncation size, the characterization would pass to limits of finite graphs and yield a spectral gap criterion.","The $\\mathbb{Z}$ result suggests an analogous statement for $\\mathbb{Z}^d$ with sublinear growth of the constants, completing the discrete Euclidean side of the analogy."],"forward_implications":["Every function satisfying the two-sided weak-$L^2$ growth condition is automatically a Laplacian eigenfunction and, in particular, a Poisson transform of an $L^2$ boundary function.","The uniform $L^\\infty$ version of the theorem is false on homogeneous trees; the obstruction is exactly the part of the elliptic spectrum lying on the unit circle, so weak-type bounds are the correct replacement for uniform boundedness.","The excluded boundary parameters $\\tau/2\\mathbb{Z}$ cannot be added to Theorem A: no nonzero $L^{2,\\infty}$ eigenfunction exists there.","For $1<p<2$, one-sided weak-$L^{p'}$ bounds characterize eigenfunctions precisely at the two boundary points of the $L^{p'}$ spectrum; inside the spectrum, explicit non-eigenfunction solutions exist.","On $\\mathbb{Z}$, the same boundedness philosophy yields polynomial-times-exponential eigenfunctions, matching the original sine-function characterization in the continuous limit."],"supporting_citations":[{"why":"introduces the original boundedness characterization of the sine function that the paper generalizes.","marker":"[14]"},{"why":"supplies the Euclidean Laplacian version whose uniform boundedness hypothesis is replaced by weak-type bounds here.","marker":"[15]"},{"why":"provides the spherical Fourier transform isomorphism for the $L^2$ case that the appendix extends to $1<p<2$.","marker":"[1]"},{"why":"gives the Abel-transform isomorphism between radial Schwartz spaces and weighted even sequences, the foundation of Theorem 5.1.","marker":"[2]"},{"why":"supplies the tempered-distribution method and the almost-$L^p$ eigenfunction characterization that the proof adapts.","marker":"[12]"},{"why":"establishes that weak-$L^p$ eigenfunctions are Poisson transforms of boundary functions, yielding the representation conclusion.","marker":"[11]"},{"why":"gives the explicit spherical function formula and the $L^{p,\\infty}$ norm estimates used in the sharpness arguments.","marker":"[6]"}],"fun_headline_variants":["Tree eigenfunctions forced by weak-L2 iterate bounds","Weak-type control of Laplacian iterates pins tree eigenfunctions","Roe-Strichartz theorem extended to homogeneous trees","Weak-L2 bounds on all iterates force tree eigenfunction","Weak-Lp' control forces eigenfunctions on trees"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof depends on the assumption that the dictionary between radial functions on the tree and analytic functions on the spectral strip is exact all the way to the strip's boundary; if that dictionary loses information at the boundary, the estimates that single out one eigenvalue no longer follow.","fun_headline_variants_meta":{"raw":{"variants":["Tree eigenfunctions forced by weak-L2 iterate bounds","Weak-type control of Laplacian iterates pins tree eigenfunctions","Roe-Strichartz theorem extended to homogeneous trees","Weak-L2 bounds on all iterates force tree eigenfunction","Weak-Lp' control forces eigenfunctions on trees"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000365,"raw_usage":{"total_tokens":1950,"prompt_tokens":919,"completion_tokens":1031,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":535,"completion_tokens_details":{"reasoning_tokens":950}},"tokens_in":535,"tokens_out":1031,"duration_ms":8701,"temperature":1.0,"reasoning_tokens":950,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:58:53.490785+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"On a tree with a fixed $q\\ge 2$, compute the two-sided sequence $\\|L^k\\varphi_s\\|_{L^{2,\\infty}}$ for two real spectral parameters $s$ with $\\gamma(s)\\neq\\gamma(z)$, and check whether any such sequence is bounded by $M|\\gamma(z)|^k$ for all $k\\in\\mathbb{Z}$; Theorem A predicts that the ratio $|\\gamma(s)/\\gamma(z)|^k$ eventually destroys the bound, so an explicit counterexample would refute the theorem.","supporting_citations":[{"cited_title":"Roe, A characterization of the sine function , Math","cited_arxiv_id":null,"evidence_quote":"introduces the original boundedness characterization of the sine function that the paper generalizes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the Euclidean Laplacian version whose uniform boundedness hypothesis is replaced by weak-type bounds here."},{"cited_title":"Betori, J","cited_arxiv_id":null,"evidence_quote":"provides the spherical Fourier transform isomorphism for the $L^2$ case that the appendix extends to $1<p<2$."},{"cited_title":"Cowling, S","cited_arxiv_id":null,"evidence_quote":"gives the Abel-transform isomorphism between radial Schwartz spaces and weighted even sequences, the foundation of Theorem 5.1."},{"cited_title":"Kumar, S","cited_arxiv_id":null,"evidence_quote":"supplies the tempered-distribution method and the almost-$L^p$ eigenfunction characterization that the proof adapts."},{"cited_title":"Analysis of $L^p$-type estimates of Poisson transform on Homogeneous Trees","cited_arxiv_id":"1808.09659","evidence_quote":"establishes that weak-$L^p$ eigenfunctions are Poisson transforms of boundary functions, yielding the representation conclusion."},{"cited_title":"Fig` a-Talamanca and M","cited_arxiv_id":null,"evidence_quote":"gives the explicit spherical function formula and the $L^{p,\\infty}$ norm estimates used in the sharpness arguments."}],"review_version":1}