{"id":"0b818e07-7d9a-40d2-8ffd-0fbca85b97c9","arxiv_id":"2607.10105","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":1,"one_line_summary":"For small weak coupling λ|log ε|^{-1/2}, the renormalized Green's function of the 4D elliptic Anderson model converges to a centered Gaussian field with explicit covariance.","lead":"The paper proves that a weakly coupled 4D Anderson model with white noise, after renormalization, has a Green's function that converges to a Gaussian field. It develops high-order multiscale tools meant as a template for other critical SPDEs.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified beyond the abstract-only information limit already flagged by the reader.","rationale":"The reader correctly identified the small-λ controllability of the truncated renormalized parametrix remainder as the weakest assumption and correctly set the verdict to UNVERDICTED with low confidence because only the abstract is present. No further load-bearing technical concern can be isolated without the proofs. The abstract describes a standard (if technically demanding) strategy for critical SPDEs; the claimed balance between log losses and factorial gains is the precise mechanism needed for the expansion to order |log ε|, and nothing in the abstract contradicts itself. Hence the stress-test leaves the reader’s verdict, confidence, and weakest-assumption assessment unchanged. The concrete test simply operationalizes the natural next step: inspect the actual remainder bounds once the full text is available.","tokens_in":2040,"tokens_out":493,"duration_ms":5124,"concrete_test":"Obtain the full arXiv PDF (or the relevant sections on the truncated parametrix remainder and the Hepp-tree bounds). Verify that the induction closing the high-order remainder estimates produces an explicit positive radius of λ for which the factorial growth is dominated by the logarithmic gains up to order |log ε|; if no such radius is exhibited or the combinatorial constants grow faster than claimed, the Gaussian-limit statement is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"With only the abstract available, the central claim cannot be stress-tested for an internal soft spot. The strategy (truncated renormalized parametrix + multiscale Hepp-tree analysis + permutation-summation estimates that balance log losses against factorial gains from primitive pairings) is coherent on its face for a critical 4D model that requires expansion to order |log ε|. The small-λ threshold is the natural place where the high-order remainder bounds could fail to close, but that is precisely the assumption the paper states it controls; without the proofs, equations, or error estimates one cannot locate a concrete gap (e.g., a missing combinatorial factor, an uncontrolled scale-sum, or a non-closing induction). Manufacturing a more specific concern would violate good-faith reading. The load-bearing issue therefore remains the absence of the full argument rather than a demonstrated flaw inside it.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript studies the weakly coupled elliptic Anderson model driven by spatial white noise on the four-dimensional torus, a basic critical SPDE that requires renormalization at arbitrarily high orders. For coupling of the form λ|log ε|^{-1/2} with λ>0 sufficiently small, it claims that the Green's function of the associated random Schrödinger operator, after suitable centering and rescaling, converges to a centered Gaussian random field with an explicit covariance. The announced strategy is constructive and analytic: a truncated renormalized parametrix is built, its remainder is controlled by sharp high-order bounds, and the multiscale analysis is organized by a new version of Hepp trees together with combinatorial estimates on summations over permutations that balance logarithmic scale losses against factorial gains from primitive pairings. The methods are presented as a first step toward a general theory of critical SPDEs with weak couplings.","tokens_in":2207,"tokens_out":1026,"duration_ms":13357,"significance":"If the argument holds, the result is a genuine advance for critical SPDEs. The 4D Anderson model forces an expansion up to order |log ε| with factorially many pairings and a growing number of renormalization counterterms; a controlled Gaussian limit with explicit covariance under weak coupling would therefore be a substantial benchmark. The toolkit advertised—truncated renormalized parametrix, refined Hepp-tree multiscale analysis, and permutation-summation estimates—is potentially transferable and is explicitly framed as infrastructure for a broader theory. The constructive, non-black-box character of the approach (analytic bounds rather than soft compactness) is a strength if the estimates close as claimed.","major_comments":[{"comment":"Only the abstract is available for this review; the full text, proofs, error estimates, and the explicit covariance formula are not accessible. Consequently the central claim—that the truncated renormalized parametrix remainder is controllable at all orders up to |log ε| for sufficiently small λ, and that the multiscale Hepp-tree and permutation estimates close—cannot be verified. Without those arguments the soundness of the Gaussian limit cannot be assessed, and no load-bearing technical gap inside the derivation can be confirmed or ruled out.","section":null},{"comment":"Abstract: the smallness threshold on λ is load-bearing. The abstract asserts that λ>0 is 'sufficiently small' so that high-order remainder bounds close despite factorial growth of pairings. This is precisely the point at which the argument could fail (factorial growth overwhelming logarithmic gains). The manuscript must supply an explicit, checkable smallness condition and a closed induction or scale-sum estimate; until that is inspected, the claim remains conditional on an unverified threshold.","section":null},{"comment":"Abstract: the covariance of the limiting Gaussian field is described as 'explicit' but is not stated. For the result to be usable and falsifiable, the covariance kernel (or its Fourier/spectral representation) must appear in the main theorem and be derived from the parametrix expansion rather than postulated. Absence of the formula from the abstract already makes independent checking of the limit impossible.","section":null}],"minor_comments":[{"comment":"Abstract: the phrase 'a new version of Hepp trees' is left undefined. Even in an abstract, a one-line indication of how the trees differ from the classical Hepp sector decomposition (e.g., truncation rule, scale assignment, or handling of renormalization subtractions) would help the reader locate the novelty.","section":null},{"comment":"Abstract: 'suitably centered and rescaled' should be made slightly more precise (e.g., centering by the expectation of the truncated parametrix and rescaling by a power of |log ε| or by the L^2 variance), so that the statement of the limit is self-contained.","section":null},{"comment":"Abstract: the torus setting is natural for avoiding infrared issues, but a brief remark on whether the methods extend to R^4 (or what additional infrared renormalization would be needed) would clarify the scope of the 'first step toward a general theory'.","section":null}],"recommendation":"uncertain","confidential_remarks":"This is an abstract-only review: the full arXiv PDF was not supplied. Under those constraints the only honest recommendation is 'uncertain'. I see no internal contradiction or circularity in the announced strategy; the plan is coherent for a critical 4D model. Once the full text is available, the review should focus on (i) whether the small-λ remainder bounds actually close at order |log ε|, (ii) the precise combinatorial factor in the permutation estimates, and (iii) the derivation of the claimed explicit covariance. If those three points check out, the paper would likely merit serious consideration (minor or major revision depending on presentation). Fit for a strong probability/SPDE journal seems plausible on the basis of the abstract alone."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The one thing to know: Deng–Shen claim that for the weakly coupled 4D elliptic Anderson model on the torus, with coupling λ|log ε|^{-1/2} and λ small enough, the suitably centered and rescaled Green’s function converges to a centered Gaussian field with explicit covariance. That is a concrete continuum-limit theorem for a genuinely critical model that needs renormalization at arbitrarily high orders.\n\nWhat looks new and useful is the toolkit they advertise: a truncated renormalized parametrix with sharp high-order remainder bounds, a multiscale analysis built on a refined version of Hepp trees, and permutation-summation estimates that trade log losses against factorial gains from primitive pairings. Those are the right obstacles for critical weak-coupling SPDEs, and the abstract positions the work as a template rather than a one-off. Circularity burden is low on the face of it—constructive analytic expansion, not data-fitting.\n\nThe soft spot is simply that we only have the abstract. The small-λ threshold is load-bearing: if the remainder bounds fail to close at order |log ε|, the factorial growth of pairings can overwhelm the log gains. That is exactly the assumption they say they control, but without proofs, error estimates, or the explicit covariance formula we cannot check whether the induction closes or whether a combinatorial factor is missing. No other internal red flag is visible; manufacturing one would be dishonest.\n\nThis is for people who work on critical SPDEs, random Schrödinger operators, or constructive renormalization. A serious referee in that circle should see the full paper. I would not cite it yet (no proofs in hand), but I would accept it for peer review rather than desk-reject: the problem is real, the strategy is coherent, and the claimed technical ingredients are non-routine. If the bounds hold, it is a solid contribution to the subfield; if they do not, the referee will find it. Worth a careful look once the manuscript is available.","headline":"Abstract-only claim of a Gaussian continuum limit for the 4D critical elliptic Anderson model via truncated renormalized parametrix and refined Hepp trees; strategy looks coherent, proofs unavailable.","tokens_in":2838,"tokens_out":502,"would_cite":false,"duration_ms":5349,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60H15","35R60","82B28"],"pacs":[],"model":"grok-4.5","headline":"At weak coupling, the 4D Anderson Green's function converges to a Gaussian field after centering and rescaling.","keywords":["Anderson model","critical SPDE","renormalization","Green's function","parametrix","Hepp trees","multiscale analysis","Gaussian limit"],"falsifier":"Compute or simulate the centered and rescaled Green's function for a sequence of cutoffs ε with coupling λ|log ε|^{-1/2} and check whether its finite-dimensional distributions approach the claimed Gaussian covariance; a clear mismatch for arbitrarily small λ would refute the limit.","tokens_in":2865,"feed_emoji":"🎲","tokens_out":678,"duration_ms":4571,"temperature":0.7,"pith_summary":"This paper studies the weakly coupled elliptic Anderson model with spatial white noise on the four-dimensional torus. That model is a basic example of a critical stochastic PDE that needs renormalization at every order. With a coupling that shrinks like the inverse square root of the logarithm of the ultraviolet cutoff, and for sufficiently small fixed strength, the authors prove that the Green's function of the associated random Schrödinger operator, after centering and rescaling, converges to a centered Gaussian random field whose covariance is given explicitly. The technical obstacle is that one must expand the resolvent up to an order that itself grows with the logarithm of the cutoff; the expansion then contains factorially many pairings and a growing number of counterterms. The authors overcome this by building a truncated renormalized parametrix and obtaining sharp high-order bounds on its remainder. The bounds rest on a multiscale analysis that uses a new form of Hepp trees together with new estimates on sums over permutations; those estimates exhibit a precise cancellation between logarithmic losses from summing scales and factorial gains from the structure of primitive pairings. The methods are presented as a first step toward a general theory of critical SPDEs with weak couplings.","feed_headline":"4D Anderson Green's function converges to Gaussian at weak coupling","feed_subtitle":"After centering and rescaling, the limit has an explicit covariance when the coupling shrinks like |log ε|^{-1/2}.","key_machinery":"A truncated renormalized parametrix whose remainder is controlled by multiscale estimates based on a new version of Hepp trees and by new bounds on sums over permutations that balance logarithmic losses against factorial gains from primitive pairings.","core_discovery":"For the weakly coupled elliptic Anderson model with spatial white noise on the four-dimensional torus, with coupling strength λ times the inverse square root of the log of the ultraviolet cutoff and λ small enough, the Green's function of the random Schrödinger operator, suitably centered and rescaled, converges to a centered Gaussian random field with an explicit covariance.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["4D Anderson Green's function hits Gaussian limit under weak log-coupling","Critical 4D Anderson model: centered Green's converges to explicit Gaussian","Weakly coupled 4D Anderson SPDE Green's function becomes Gaussian after rescale","High-order renormalization gives Gaussian Green's limit for 4D Anderson","Log-scale weak coupling drives 4D Anderson Green's to centered Gaussian field"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The fixed coupling strength λ must be small enough that the high-order multiscale remainder bounds close all the way up to the logarithmic number of expansion terms; if that smallness fails, factorial growth of pairings can overwhelm the logarithmic gains.","fun_headline_variants_meta":{"raw":{"variants":["4D Anderson Green's function hits Gaussian limit under weak log-coupling","Critical 4D Anderson model: centered Green's converges to explicit Gaussian","Weakly coupled 4D Anderson SPDE Green's function becomes Gaussian after rescale","High-order renormalization gives Gaussian Green's limit for 4D Anderson","Log-scale weak coupling drives 4D Anderson Green's to centered Gaussian field"]},"model":"grok-4.5","effort":"low","cost_usd":0.008704,"raw_usage":{"total_tokens":1984,"prompt_tokens":752,"num_sources_used":0,"completion_tokens":98,"cost_in_usd_ticks":87040000,"prompt_tokens_details":{"text_tokens":752,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1134,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":752,"tokens_out":98,"duration_ms":8315,"temperature":1.0,"reasoning_tokens":1134,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T00:22:41.561792+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Compute or simulate the centered and rescaled Green's function for a sequence of cutoffs ε with coupling λ|log ε|^{-1/2} and check whether its finite-dimensional distributions approach the claimed Gaussian covariance; a clear mismatch for arbitrarily small λ would refute the limit.","supporting_citations":[],"review_version":1}