{"id":"380b6a2d-d896-4eee-8d97-d2a72b71283a","arxiv_id":"2411.16058","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A general deconvolution theorem on R^d yields |x|^{-(d-2)} decay, and it is used to prove the critical two-point function of self-repellent Brownian motion is asymptotic to a constant times |x|^{-(d-2)}.","lead":"This paper proves a Gaussian deconvolution theorem on R^d: under moment and infrared conditions, the solution of (δ - J)*G = g decays as |x|^{-(d-2)}. The theorem is applied to self-repellent Brownian motion in d>4, giving the first asymptotic formula for its critical two-point function.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.1's moment bound for E is asserted without proof; for |x|^(d-2) moments near L^(d/4), Young's inequality does not give the required integrability, so Proposition 1.6—and hence Theorem 1.3—is not fully established.","rationale":"The reader's weakest assumption—the infrared bound and the smallness of α in the application—is a condition explicitly stated in Theorem 1.4, and it is not an internal defect. My concern targets a different, more central place: the proof of Proposition 1.6, which is the backbone of Theorem 1.3. The proof of Lemma 3.1 asserts, without demonstration, that the convolution E inherits the strict moment condition |x|^(d−2)E ∈ L^p with p < d/4. A direct application of Young's inequality to the term g∗J does not yield this bound when p lies in the upper part of the allowed range; the necessary cancellation from the second-moment matching (1.27) is not analyzed. This is a technical but load-bearing gap because if it cannot be filled, the asymptotic expansion (1.11) is not proven under the stated assumptions. I do not claim the theorem is false: the cancellation likely does improve the tail, and in the application the stronger pointwise decay (4.3) makes the moment condition trivial. Hence the right verdict is CONDITIONAL: accept the paper provided the moment bound for E is rigorously established (or Lemma 3.1 is proved by the alternative product-rule route), with the application section unaffected. I partially agree with the reader because both concerns involve hypotheses needed for the deconvolution argument, but I regard the unproven moment bound as the more immediate correctness risk in the central theorem.","tokens_in":12678,"tokens_out":33392,"duration_ms":269808,"concrete_test":"Independently re-derive the case 3 ≤ |γ| ≤ d−2 of Lemma 3.1 without passing through a moment bound on E: differentiate the product form Ê = ĝ Ĵ(1−D̂) − ĝ(0)D̂²(1−Ĵ) directly, and estimate each resulting term by combining Lemma 2.2(ii) for the factors involving Ĵ and D̂ with the smallness of 1−D̂ and 1−Ĵ near k = 0. If this yields the local L^p bound (3.2) with the claimed exponent d/(|γ|+2−ε′), the gap is fillable and Theorem 1.3 stands. If the resulting integrability exponent is strictly worse, Proposition 1.6 fails for some data satisfying Assumption 1.1, and the theorem must be weakened or Assumption 1.1 strengthened.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The proof of Theorem 1.3 hinges on Proposition 1.6, whose key input is Lemma 3.1. In the case 3 ≤ |γ| ≤ d−2 (d > 4), Lemma 3.1 applies Lemma 2.2(i) with h = E, requiring that |x|^(d−2)E(x) lies in L^p for some p < d/4. The paper states (Section 3, Lemma 3.1 proof) that this follows from Assumption 1.1 and Young's convolution inequality. This is not immediate. If |x|^(d−2)J, |x|^(d−2)g ∈ L^p with p close to d/4, Young gives |x|^(d−2)(g∗J) ∈ L^r with 1/r = 2/p − 1, i.e. r = p/(2−p), which can exceed d/4. For example, d = 5 and p = 1.2 gives r = 1.5 > 1.25. The cancellation in E = (g∗J − g∗J∗D) − ĝ(0)(D∗D − D∗D∗J) relies on the matching second moments in the choice of Σ, and might improve the tail, but no argument is provided; Young alone does not capture this. Since Lemma 3.1 is essential for the local integrability of the derivative terms (3.1), the proof of Proposition 1.6 has a genuine gap for the full range of Assumption 1.1. The application to self-repellent Brownian motion uses the stronger decay (4.3), which places |x|^(d−2)J and |x|^(d−2)g in L^1 for d > 4, so Theorem 1.4 is likely safe, but Theorem 1.3 as stated lacks a fully justified proof.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a continuum, anisotropic analogue of the authors' lattice deconvolution theorem. Under Assumption 1.1 (evenness, L^1∩L^2 and moment conditions on J and g, plus an infrared lower bound on 1−Ĵ), the Fourier-integral solution H of (δ−J)∗H=J∗g is shown to satisfy the asymptotic H(x)=a_d(∫g)/√detΣ (x·Σ^{-1}x)^{-(d-2)/2}+o(|x|^{-(d-2)}), where Σ is the diagonal matrix of second moments of J. The proof decomposes Ĥ as ĝ(0) times the Gaussian random-walk two-point function plus a remainder, and uses weak-derivative estimates in Fourier space to show the remainder decays faster. The paper then verifies Assumption 1.1 for the self-repellent Brownian motion in d>4 using the lace-expansion bounds of [2], yielding G_{α,λ_c(α)}(x)∼c_d|x|^{-(d-2)} with c_d=a_d(1+O(α)).","tokens_in":13108,"tokens_out":37195,"duration_ms":321060,"significance":"This is a clean and useful extension of deconvolution theory from Z^d to R^d. It removes lattice symmetry, permits anisotropic decay through a J-dependent covariance matrix, and states hypotheses in moment form, which is convenient for lace-expansion applications. The proof is elementary Fourier analysis and is mostly self-contained; no parameter is fitted to the target decay, and the asymptotic constant is explicit. The application to self-repellent Brownian motion is honest: it relies on the external model-specific bounds of [2], not on the theorem being proved. I also checked the delicate moment estimate for E in Lemma 3.1: the concern that Young's inequality alone gives too weak an exponent does not land, because using the unweighted L^1 factor in each convolution gives |x|^{d−2}(f∗g)∈L^p whenever |x|^{d−2}f and |x|^{d−2}g lie in L^p and f,g∈L^1. The proof would nonetheless benefit from spelling this out.","major_comments":[],"minor_comments":[{"comment":"The sentence 'The required moment conditions on E follow from Assumption 1.1 and Young's convolution inequality' is terse: a naive Young bound with both factors weighted gives |x|^{d−2}(g∗J)∈L^r with 1/r=2/p−1, which can exceed d/4 within Assumption 1.1. Please add the standard weighted-convolution argument using an unweighted L^1 factor, i.e. |x|^A(f∗g) is controlled by (|x|^A f)∗g + f∗(|x|^A g). This is a clarity issue, not a mathematical error.","section":"Section 3, Lemma 3.1, case 3≤|γ|≤d−2"},{"comment":"The sentence 'we always have at least two factors of derivatives of ĝ, Ĵ, or D̂' is not literally true: if all of α_2 falls on ĝ, the expanded term has only one differentiated factor, with the other factors undifferentiated. The subsequent use of Lemma 2.3 remains valid with zero-derivative indices, so please rephrase to avoid confusion.","section":"Section 3, proof of Proposition 1.6, sentence before (3.13)"},{"comment":"There is a typo in the lemma statement: 'Assumpton 1.1' should be 'Assumption 1.1'.","section":"Section 3, Lemma 3.1"},{"comment":"To help the reader, spell out the cancellation from det Σ=σ^{2d} and (x·Σ^{-1}x)^{-(d-2)/2}=σ^{d-2}|x|^{-(d-2)} that yields the constant a_d/σ^2 in (4.7).","section":"Section 4, around (4.7)"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper proves a genuinely useful deconvolution theorem on R^d: under moment and infrared-bound conditions, the solution to (δ−J)*G = g decays like the Green's function, with an anisotropic diagonal covariance Σ. This extends the Liu–Slade Z^d result to the continuum, weakens decay to moments, and handles anisotropy. The application to self-repellent Brownian motion in d>4 gives the first sharp asymptotic for the critical two-point function, |x|^{-(d-2)}. That application is the real payoff and looks solid, since the inputs from Bolthausen–Koenig–Mukherjee provide far stronger decay than Assumption 1.1 requires.\n\nI agree with your accept-leaning read. The Fourier strategy is standard and the proof is detailed. The main soft spot is exactly what your stress-test flagged: Lemma 3.1. For the case 3 ≤ |γ| ≤ d−2, the paper needs |x|^{d−2}E ∈ L^p with p < d/4 to get the strict improvement in Lemma 2.2, then the ε' in the denominator. It says this follows from Assumption 1.1 and Young, but Young alone, applied to the given p near d/4, can give a convolution exponent r > d/4 (e.g., d=5, p=1.2 gives r=1.5). That is a genuine gap in the written proof.\n\nThat said, the gap is easily closed: L^p moment bounds imply the same bound in L^{p'} for any p' ≤ p, and one may choose p' small enough that 2/p' − 1 > 4/d, so the convolution lands in L^r with r < d/4. The paper should spell this out. As written, the proof of Theorem 1.3 is incomplete for the full range of Assumption 1.1, but the missing step is short, not a counterexample, and Theorem 1.4 is unaffected because the application uses (4.3).\n\nMinor note: the paper leans on a very recent preprint [2] for the application, but that is appropriate and not a circularity.\n\nWho is this for? Anyone working with lace expansion on continuous space—random connection models, self-repellent Brownian motion, possibly torus models. It deserves a serious referee. I would send it out and ask for a revision that fixes Lemma 3.1's crowding step. The central idea is sound and the application is a nice step forward.","headline":"Clean R^d deconvolution theorem with a real application; one proof step in Lemma 3.1 is under-justified but patchable.","tokens_in":13603,"tokens_out":7755,"would_cite":false,"duration_ms":66883,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60K35","42B10","60J65","82B41"],"pacs":[],"model":"deepseek-v4-flash","headline":"A general deconvolution theorem on R^d yields the Laplacian Green function decay |x|^{-(d-2)}, and the result pins down the critical two-point function of self-repellent Brownian motion in d>4.","keywords":["Gaussian deconvolution","critical two-point function","self-repellent Brownian motion","lace expansion","infrared bound","Fourier transform","anisotropic Green function decay"],"falsifier":"Choose $d=3$, an even compactly supported $J$ with $\\hat J(0)=1$, the infrared bound (1.7), and nondegenerate covariance matrix $\\Sigma$, and an even Schwartz $g$ with $\\int g=1$; evaluate the Fourier integral (1.10) along a ray. If $|x|H(x)$ does not converge to $a_3/\\sqrt{\\det\\Sigma}$, the asymptotic (1.11) fails, and one such pair would refute the theorem.","tokens_in":12494,"feed_emoji":"📐","tokens_out":10522,"duration_ms":88391,"temperature":0.7,"pith_summary":"The paper proves a deconvolution theorem for the continuum equation $(\\delta-J)*G=g$ on $\\mathbb R^d$, $d>2$. If $J$ and $g$ are even, decay fast enough, and the Fourier transform of $J$ satisfies an infrared bound with $\\hat J(0)=1$, then the solution $H=G-g$ decays at infinity like $(x\\cdot\\Sigma^{-1}x)^{-(d-2)/2}$ up to an explicit constant, with $\\Sigma$ the second-moment matrix of $J$. This is the same power law as the Green function of the Laplace operator, extended from the lattice to the continuum and to anisotropic kernels. The paper applies the theorem to self-repellent Brownian motion in $d>4$, upgrading a previously known upper bound to the asymptotic formula $G_{\\alpha,\\lambda_c(\\alpha)}(x)\\sim c_d|x|^{-(d-2)}$ with $c_d=a_d(1+O(\\alpha))$.","feed_headline":"Fourier deconvolution forces Laplacian decay on R^d","feed_subtitle":"The theorem also pins the self-repellent Brownian motion two-point function to Laplacian-type decay for d>4.","key_machinery":"The argument compares the true solution with the critical two-point function $C$ of a Gaussian random walk. Let $D$ be the centered Gaussian density with covariance matrix $\\Sigma$; the covariance matrix is chosen to match the second moments of $J$, and the decomposition $H=\\hat g(0)C+f$ isolates the leading decay. In Fourier space the remainder is $\\hat f=\\hat E/((1-\\hat D)(1-\\hat J))$, with $E=(g*J-g*J*D)-\\hat g(0)(D*D-D*D*J)$; matching $\\Sigma$ to $J$'s second moments makes the second derivatives of $\\hat E$ vanish at the origin, softening the singularity of $\\hat f$ compared with $\\hat C$. Infrared bounds on $\\hat D$ and $\\hat J$ control the denominators, and weak derivatives combined with a standard integrability inequality show that $\\hat f$ is $d-2$ times weakly differentiable and integrable, so the Riemann-Lebesgue lemma forces $f(x)=o(|x|^{-(d-2)})$.","core_discovery":"The central claim is Theorem 1.3: under Assumption 1.1, the Fourier-integral solution $H$ to $(\\delta-J)*H=J*g$ obeys $H(x)=a_d(\\int g)(\\sqrt{\\det\\Sigma})^{-1}(x\\cdot\\Sigma^{-1}x)^{-(d-2)/2}+o(|x|^{-(d-2)})$, where $a_d=\\Gamma((d-2)/2)/(2\\pi^{d/2})$ and $\\Sigma=\\mathrm{diag}(\\int x_i^2J(x)\\,dx)$. If $g$ itself is $o(|x|^{-(d-2)})$, the solution $G=H+g$ of the original equation shares the same asymptotics. The theorem is then applied to self-repellent Brownian motion: in $d>4$ and for sufficiently small repulsion $\\alpha$, the critical two-point function satisfies $G_{\\alpha,\\lambda_c(\\alpha)}(x)\\sim c_d|x|^{-(d-2)}$ with $c_d=a_d(1+O(\\alpha))$, matching the Laplace Green function. The proof extends a recent lattice deconvolution theorem to the continuum, requiring only even symmetry rather than lattice symmetry, and formulates hypotheses as moment conditions.","pith_inferences":["A natural next target is the subcritical case $\\hat J(0)<1$, where the same Fourier estimates should produce exponential decay with a rate depending on $J$; this would matter for finite-size scaling of continuum models on a torus.","The anisotropic conclusion suggests that for the random connection model with a connection function lacking lattice symmetry, the critical connection probability should decay as $(x\\cdot\\Sigma^{-1}x)^{-(d-2)/2}$ with the anisotropy carried by $\\Sigma$; a direct comparison with simulations would test this.","The proof hints at a bootstrap: starting from a rough upper bound and iterating the deconvolution statement could reach the asymptotic without relying on an external Gaussian-domination bound, making the smallness condition on $\\alpha$ quantitative.","Because only evenness and moment conditions are used, any candidate continuum model reduces to a check of the infrared bound (1.7); that single inequality is the practical bottleneck for new applications."],"forward_implications":["Any continuum model whose lace-expansion kernel satisfies Assumption 1.1 inherits $|x|^{-(d-2)}$ decay of its critical two-point function, with anisotropy encoded in $\\Sigma$.","For self-repellent Brownian motion in $d>4$ with $\\alpha$ small, the critical two-point function is asymptotic to $a_d(1+O(\\alpha))|x|^{-(d-2)}$, upgrading the Gaussian-domination upper bound to a two-sided exact asymptote.","Because the assumptions allow signed $J$, the theorem covers lace-expansion kernels that are not probability distributions.","If also $g=o(|x|^{-(d-2)})$, the solution $G$ of the original convolution equation inherits the same asymptotic as the auxiliary solution $H$.","The moment-based hypotheses are weaker and often easier to verify than the polynomial-decay hypotheses used in earlier lattice deconvolution theorems."],"supporting_citations":[{"why":"The discrete deconvolution theorem whose Fourier-analysis and weak-derivative strategy is extended here to the continuum.","marker":"[22]"},{"why":"Introduced the idea of isolating the leading decay of a two-point function using a random-walk comparison, which the decomposition $H=\\hat g(0)C+f$ follows.","marker":"[10]"},{"why":"Supplies the lace expansion equation and Gaussian domination bound for self-repellent Brownian motion that Theorem 1.4 verifies.","marker":"[2]"},{"why":"Motivates the elementary Fourier-analysis route to simple deconvolution theorems.","marker":"[26]"},{"why":"Provides the asymptotic of the Gaussian random walk's Green function used in Lemma 1.5.","marker":"[19]"},{"why":"Supplies the weak-derivative framework used in the regularity estimates behind Proposition 1.6.","marker":"[6]"}],"fun_headline_variants":["Deconvolution on R^d forces Laplacian power-law decay","Self-repellent Brownian motion matches Laplace Green function","Theorem: deconvolution yields Green-function asymptotics","Gaussian deconvolution pins the critical two-point decay","Deconvolution extends to continuum with Laplacian tail"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire proof rests on the kernel $J$ having Fourier transform equal to $1$ at zero and dipping quadratically near zero; in the Brownian-motion application this property is established only when the repulsion strength $\\alpha$ is sufficiently small.","fun_headline_variants_meta":{"raw":{"variants":["Deconvolution on R^d forces Laplacian power-law decay","Self-repellent Brownian motion matches Laplace Green function","Theorem: deconvolution yields Green-function asymptotics","Gaussian deconvolution pins the critical two-point decay","Deconvolution extends to continuum with Laplacian tail"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000615,"raw_usage":{"total_tokens":2893,"prompt_tokens":1015,"completion_tokens":1878,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":631,"completion_tokens_details":{"reasoning_tokens":1809}},"tokens_in":631,"tokens_out":1878,"duration_ms":15725,"temperature":1.0,"reasoning_tokens":1809,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T13:35:14.470135+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose $d=3$, an even compactly supported $J$ with $\\hat J(0)=1$, the infrared bound (1.7), and nondegenerate covariance matrix $\\Sigma$, and an even Schwartz $g$ with $\\int g=1$; evaluate the Fourier integral (1.10) along a ray. If $|x|H(x)$ does not converge to $a_3/\\sqrt{\\det\\Sigma}$, the asymptotic (1.11) fails, and one such pair would refute the theorem.","supporting_citations":[{"cited_title":"Gaussian deconvolution and the lace expansion","cited_arxiv_id":"2310.07635","evidence_quote":"The discrete deconvolution theorem whose Fourier-analysis and weak-derivative strategy is extended here to the continuum."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduced the idea of isolating the leading decay of a two-point function using a random-walk comparison, which the decomposition $H=\\hat g(0)C+f$ follows."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Motivates the elementary Fourier-analysis route to simple deconvolution theorems."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the weak-derivative framework used in the regularity estimates behind Proposition 1.6."}],"review_version":1}