{"id":"522d41a6-7774-40fe-bc1f-177dbc768c17","arxiv_id":"2608.11106","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":3.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"RG transformations are conditional expectations with respect to a scale filtration, so the RG flow is a martingale exploration process, a viewpoint previously developed by Bauerschmidt and Bodineau and by the author and Bauer.","lead":"This paper interprets the Renormalization Group as a stochastic exploration process: a filtration of sigma-algebras and conditional expectations replace the usual scale-by-scale averaging of small fluctuations. The perspective links RG to martingales, SLE, and stochastic quantization, and is presented as a lecture note for probabilists.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The formal conditional-expectation claim is sound, but the load-bearing step is the unproved closure/locality assumption Eq. (6.9): without it, the RG flow is not a flow on coupling constants.","rationale":"The paper is best read as an expository reinterpretation. The formal identities in Sections 3-5 are correct: conditional expectations compose by the tower property, and the Gaussian construction in Section 5 gives a concrete filtration where the martingale and Polchinski derivations are sound. The 1D Ising example verifies closure in one exactly solvable case. I therefore do not object to the formalism itself. The place where the argument is least secure is the passage from a general F_p-measurable effective action to a flow on coupling constants, and the parallel passage for observables via Eq. (6.9). The author flags these as physically expected and requiring case-by-case analysis, so this is not an internal inconsistency; it is a real, load-bearing gap in the physical translation. The reader's weakest_assumption includes this locality assumption, so I partially agree. A concrete perturbative check can determine whether the assumption holds in the simplest nontrivial setting. Since the paper is transparent about the gap and the verdict is already CONDITIONAL, I leave the verdict unchanged.","tokens_in":14859,"tokens_out":15518,"duration_ms":143881,"concrete_test":"Compute the first nontrivial RG step for a super-renormalizable scalar field, e.g. phi^4_3 with V_Lambda = lambda * integral phi^4, by explicitly evaluating S_p = -log E_p[e^{-V_Lambda}] to second order in lambda and decomposing the result into local monomials plus a remainder kernel. If the remainder kernel decays slower than exponentially (or fails to vanish) at distances much larger than 1/p, then Eq. (6.9) and the closure of S[g] fail in the simplest perturbative case, and the conditional-expectation flow does not reduce to a flow on coupling constants.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3's tower-property argument is internally consistent: for any filtration, E_p[E_q[e^{-S}]] = E_p[e^{-S}] makes R_{p;q} a semigroup and e^{-S_p} a martingale. The load-bearing step is the transition from these general F_p-measurable functions to a flow on a parameter space of actions S[g]. Eq. (3.6) and the beta-function vector field only make sense if S_p = -log E_p[e^{-S_q}] remains in the chosen family S[g]. The paper gives no general criterion for this closure. Section 4 calls the analogous property 'tautological' only after enlarging the action space to the most general functional, and Section 6 assumes the corresponding property for observables, Eq. (6.9) (local observables renormalize into local observables), as a 'physically reasonable' formal hypothesis. If Eq. (6.9) fails, the mixing matrix Gamma has no finite local basis, the dressed field (6.12) and the scaling limit (6.14) are not justified, and the Callan-Symanzik covariance (6.15) does not follow. Thus the physical content of the central claim rests on a closure property that is plausible but unverified beyond the exactly solvable 1D Ising example.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a probabilistic reformulation of the Renormalization Group: given a filtration F_p of σ-algebras on field configuration space, integrating out short-scale fluctuations is identified with conditional expectation, so that the effective action is defined by e^{-S_p} = E_p[e^{-S_Λ}] and RG transformations become conditional expectations. The paper first illustrates the same conditioning idea with SLE and CFT martingales, then treats block spins (including the 1D Ising model) and Gaussian-measure perturbations, deriving Polchinski's equation from the martingale property. The final section sketches how coupling-constant flow, mixing matrices, renormalized fields, and Callan-Symanzik covariance emerge, explicitly labeling the needed assumptions as 'physically expected hypothesis' and noting that rigorous control is case-by-case.","tokens_in":15015,"tokens_out":7715,"duration_ms":65850,"significance":"If read as a formal reinterpretation rather than a new theorem, the paper is a useful pedagogical bridge between probability and statistical field theory. The framework is internally consistent: the semi-group property (3.5) and the martingale property of e^{-S_p} follow directly from the tower property of conditional expectations, the 1D Ising block-spin calculation is standard and correct, and the derivation of Polchinski's equation (5.8) from the martingale property is a clean observation. The paper is also commendably explicit about where its arguments are formal, particularly around Eq. (6.9). The main limitation is that the physically substantive claims—renormalizability, existence of the scaling limit, and Callan-Symanzik covariance—are conditional on closure and locality assumptions that are not proved; the paper does not claim new predictions, and its value lies in the unifying viewpoint rather than in new results.","major_comments":[{"comment":"The semi-group property and the martingale property hold by construction for the maps R_{p;q} defined on the space of all F_p-measurable functions. However, the step from this general statement to a flow on coupling constants g_p = R_{p;q}(g_q) and to the beta-function vector field (3.6) requires that S_p = -log E_p[e^{-S_q}] remain in the chosen parametrized family S[g]. The paper gives no criterion for this closure; Section 4 calls the analogous property 'tautological' only after passing to the most general energy functional, while the subsequent truncation to finitely many couplings is an approximation rather than a proof. This closure condition is load-bearing for the physical interpretation of the RG flow, and it should be stated explicitly as a hypothesis, with examples where it provably holds and where it fails.","section":"Section 3, Eqs. (3.2)-(3.6)"},{"comment":"The assumption that local observables renormalize into local observables, expressed by the existence of the mixing matrix Γ in (6.9), is the key input for the definition of renormalized fields (6.12), the renormalized expectation values (6.14), and the Callan-Symanzik covariance (6.15). The paper labels this assumption 'physically reasonable' and 'formal,' but without a proof or a nontrivial example, the scaling-limit claims remain conditional. This is not a logical inconsistency, but the manuscript should sharply separate the unconditional formal framework from the heuristic renormalization section, and the abstract and conclusion should not imply that the scaling-limit conclusions have actually been derived.","section":"Section 6, Eq. (6.9)"},{"comment":"The whole construction presupposes a filtration F_p of σ-algebras on configuration space such that F_p-measurable functions precisely test field information at length scales ≥1/p. For lattice models (Section 4) and the Gaussian construction (Section 5) this filtration is explicit, but for a general interacting field theory the existence of such a filtration, compatible with the singular nature of continuum fields and with a renormalization prescription, is a nontrivial condition. Because this filtration is the foundation on which Eqs. (3.2)-(3.6) rest, it should be listed as a hypothesis in the statement of the main framework, together with an indication of what would be needed to verify it in a concrete model.","section":"Section 3, first bullet"}],"minor_comments":[{"comment":"The text contains several typos: 'Randon-Nicodim' should be 'Radon-Nikodym', and 'correspondance' should be 'correspondence' in the heading 'The SLE/CFT correspondance'.","section":"Section 2, near Eq. (2.1)"},{"comment":"'Fonctions measurable w.r.t. to F_p' should be 'Functions measurable with respect to F_p'.","section":"Section 4, paragraph on filtration"},{"comment":"Please correct typographical errors: 'Itˆ o' should be 'Itô', 'reparaterization' should be 'reparametrization', and 'exercice' should be 'exercise'.","section":"Section 5, Eqs. (5.2)-(5.8)"},{"comment":"The normalization condition E[e^{-V_Λ}] = 1 is stated immediately after Eq. (5.3); it would be helpful to note explicitly that this is a normalization choice for V_Λ rather than a restriction on the physical model.","section":"Section 5, after Eq. (5.3)"},{"comment":"The symbol \\hat Γ_a is defined in Eq. (6.12) as Γ^{[g_a]}_{ℓ_R/a}, but its inverse is used immediately afterward; a brief reminder that \\hat Γ_a^{-1} denotes the inverse matrix would improve readability.","section":"Section 6, Eq. (6.12)"}],"recommendation":"major_revision","confidential_remarks":"The paper is written in the style of an expository lecture note. The editor may wish to consider whether this level of formal rigor matches the journal's expectations for a research article. The author acknowledges prior related work by Bauerschmidt-Bodineau-Dagallier and by Bailleul-Chevyrev-Gubinelli; given that the conditional-expectation viewpoint is already partially developed in those works, the novelty is primarily the SLE analogy and the unifying presentation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Honest take: this is a well-written lecture note, not a research paper. The author openly says in the added note that the RG-as-exploration viewpoint was understood with Michel Bauer in 2002-2006 and later developed by Bauerschmidt and Bodineau, so don't expect new results. What it does well is give a clean probabilistic formulation: RG transformations as conditional expectations, the semigroup and martingale properties, and a neat derivation of Polchinski's equation from the martingale property. The 1D Ising block spin calculation is careful and the SLE analogy is explained clearly. The exposition is genuinely useful for probabilists and for physicists who want the martingale perspective.\n\nThe soft spots are where the paper leaves the formal level. As your reader's take notes, the semigroup and martingale properties are almost tautological once the RG is defined as conditional expectation. The real content is whether the effective action stays in the chosen family S[g]. For the most general functional this is true by definition, but for any truncation it is an approximation. Section 6 goes further: the scaling limit, the mixing matrix, and the Callan-Symanzik equation all rest on the assumption (Eq. 6.9) that local observables renormalize into local observables. The author labels this 'physically reasonable' and says rigor requires case-by-case analysis. That is honest, but it means the central claim about renormalized fields is a conjecture. The 1D Ising example is exactly solvable and gives no evidence for the general closure. Also, Section 5 leaves a key identity as an exercise, which is fine for a lecture note but is a small gap.\n\nI agree with the reader's conditional verdict: accept as a lecture note, not as a research contribution. Who is it for: probabilists new to RG, and physicists who want a martingale viewpoint. If the venue publishes expository reviews, it deserves a referee; if it only takes original research, desk reject. I would cite it for the clean exposition, but not for the scaling-limit conclusions.","headline":"A clean, honest lecture note that repackages known RG-as-conditional-expectation ideas; its real physical content rests on unproved closure assumptions in the scaling-limit section.","tokens_in":15638,"tokens_out":2342,"would_cite":true,"duration_ms":21433,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82B28","60G44","60H10","81T17"],"pacs":[],"model":"deepseek-v4-flash","headline":"Renormalization group transformations are conditional expectation values, turning the RG flow into a flow of conditional expectations with a martingale structure.","keywords":["renormalization group","conditional expectation","martingale","filtration","effective action","Polchinski equation","Schramm-Loewner evolution","stochastic quantization"],"falsifier":"Take a lattice model with long-range interactions and compute the effective action obtained by averaging blocks of spins; if for some block size the result cannot be written as the original local form with renormalized couplings, then the RG map is not a conditional expectation onto a scale filtration and the martingale description fails.","tokens_in":14557,"feed_emoji":"🎲","tokens_out":14806,"duration_ms":111144,"temperature":0.7,"pith_summary":"This paper reinterprets the renormalization group as a stochastic exploration process. It claims that RG transformations are conditioned expectation values: as a scale parameter $p$ grows, a nested family of $\\sigma$-algebras reveals progressively finer details of field configurations, and the operation of integrating out fluctuations below scale $1/p$ is exactly conditioning on that filtration. The effective action at scale $p$ is $S_p=-\\log\\mathbb{E}_p[e^{-S_\\Lambda}]$, which makes $e^{-S_p}$ a martingale and turns the semi-group property of RG transformations into the nested property of conditional expectations. From these probabilistic facts the paper derives the Polchinski equation and the Callan-Symanzik equation, and it connects RG to SLE and to stochastic quantization. The author notes that the continuum construction relies on 'physically expected' hypotheses—the existence of the filtration and the locality of renormalized observables—that need case-by-case mathematical confirmation.","feed_headline":"Renormalization group is a flow of conditional expectations","feed_subtitle":"A scale filtration turns coarse-graining into conditioning, making effective actions martingales and deriving the Polchinski equation.","key_machinery":"The carrying object is the scale filtration $\\mathcal{F}_p$, a nested sequence of increasingly fine views of the field configuration space, together with the conditional-expectation martingale $Z_p=\\mathbb{E}_p[e^{-S_\\Lambda}]$. The filtration makes 'integrating out small-scale fluctuations' precise: $\\mathcal{F}_p$-measurable functions test only length scales $\\ge 1/p$, and conditioning on $\\mathcal{F}_p$ removes all shorter fluctuations. Two properties do the work: the nesting $\\mathbb{E}_p\\mathbb{E}_q=\\mathbb{E}_p$ for $p<q$, which gives the RG semi-group $R_{p_1;p_2}\\circ R_{p_2;q}=R_{p_1;q}$, and the martingale identity $\\mathbb{E}[\\mathbb{E}_p[O]|\\mathcal{F}_s]=\\mathbb{E}_s[O]$ for $s<p$, which makes $Z_p$ and the renormalized observables martingales. From the martingale property the paper derives the Polchinski equation, and from the cocycle property of the mixing matrices it derives the Callan-Symanzik equation.","core_discovery":"The paper's central claim is that RG transformations are conditional expectation values. Given a filtration $\\mathcal{F}_p$ of $\\sigma$-algebras on the configuration space, with $\\mathcal{F}_p$ encoding exactly the field information at length scales $\\ge 1/p$, the effective action at scale $p$ is defined by $S_p=-\\log\\mathbb{E}_p[e^{-S_\\Lambda}]$, where $\\mathbb{E}_p$ is conditioning on $\\mathcal{F}_p$. The nested property of conditional expectations, $\\mathbb{E}_p\\mathbb{E}_q=\\mathbb{E}_p$ for $p<q$, yields the semi-group composition law for RG transformations; the fact that $Z_p=e^{-S_p}$ is a conditional expectation makes it a martingale; and the vanishing drift of this martingale gives the Polchinski equation for the effective action. Renormalized observables are likewise conditional expectations, their mixing matrices satisfy a cocycle relation, and the scaling limit of renormalized correlation functions is invariant under the RG flow, which is the Callan-Symanzik equation. The paper therefore presents standard RG facts as consequences of probabilistic relationships involving conditional expectations, and frames the RG as an exploration process in the same spirit as SLE.","pith_inferences":["The martingale structure suggests a convergence tool the paper leaves implicit: under suitable integrability, martingale convergence theorems could give a unified proof of existence of scaling limits for renormalized observables.","Because the filtration, not the action, is the primary object, two microscopic theories sharing the same filtration differ only in the initial condition of the RG flow; this may provide a sharper formulation of universality.","The stochastic-quantization stochastic differential equation (5.9) points to a practical algorithmic extension: simulate the interacting measure by running the scale-parameter SDE, using the effective-action gradient as drift, instead of the usual fixed-scale Langevin dynamics.","The analogy with SLE raises the question of whether other physically meaningful exploration processes—random walks in configuration space, for instance—also give rise to filtrations whose conditional expectations reproduce known statistical-mechanics operations."],"forward_implications":["The effective action is a conditional expectation at every scale, so $e^{-S_p}$ is a martingale and the partition function is exactly preserved: $Z=\\mathbb{E}[e^{-S_p}]$ for all $p$.","RG transformations form a semi-group, $R_{p_1;p_2}\\circ R_{p_2;q}=R_{p_1;q}$, so iterated coarse-graining depends only on the scale ratio and the flow is generated by the beta-function vector field.","The martingale property directly yields the Polchinski equation for the effective action: $\\partial_p S_p = \\frac{1}{2}\\int dx\\,dy\\,\\dot{G}_p(x,y)\\big(\\delta_x S_p\\,\\delta_y S_p-\\delta_x\\delta_y S_p\\big)$.","Renormalized observables are conditional expectations with mixing matrices obeying the cocycle relation $\\Gamma^{[g]}_\\delta\\,\\Gamma^{[R_\\delta(g)]}_{\\delta'}=\\Gamma^{[g]}_{\\delta\\delta'}$, and the resulting scale invariance of renormalized correlation functions is the Callan-Symanzik equation.","In the Gaussian perturbation setting, the interacting measure is a twisting of the Gaussian measure by the martingale $Z_p$, and Girsanov's theorem yields a stochastic differential equation for the field, connecting the RG flow to stochastic quantization."],"supporting_citations":[{"why":"Supplies the recent derivation of the Polchinski equation from the martingale property, which Section 5 reproduces and extends.","marker":"[7]"},{"why":"Provides the block-spin transformation construction used in Section 4 to define the scale filtration.","marker":"[15]"},{"why":"Defines the effective-action flow equation (the Polchinski equation) that the paper derives from the martingale condition.","marker":"[20]"},{"why":"Introduces SLE and the domain Markov property that motivate the exploration-process reading of RG.","marker":"[22]"},{"why":"Supplies the pedagogical 1D Ising RG calculation used in Section 4 as the first illustration of block-spin conditioning.","marker":"[11]"},{"why":"Advocates a stochastic-quantization viewpoint for the interacting measure that the paper connects to its martingale representation.","marker":"[3]"},{"why":"Introduces the broken-scale-invariance equation whose infinitesimal form Section 6 derives from RG covariance.","marker":"[10]"},{"why":"Formulates the short-distance Callan-Symanzik equation that Section 6 obtains from the cocycle property of renormalized observables.","marker":"[23]"}],"fun_headline_variants":["RG as stochastic exploration: coarse-graining is conditioning","Effective actions are martingales: RG as conditional expectations","Scale-by-scale RG: exploration process touches SLE","Renormalization group is a martingale flow on scales","Polchinski equation from martingale drift: RG exploration"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a nested sequence of coarse-grained views exists for the field configurations of the theory, in such a way that integrating out short-scale fluctuations is exactly the same thing as conditioning on the coarse view; if that sequence does not exist, or if renormalized local observables fail to remain local, the paper's central claims do not follow.","fun_headline_variants_meta":{"raw":{"variants":["RG as stochastic exploration: coarse-graining is conditioning","Effective actions are martingales: RG as conditional expectations","Scale-by-scale RG: exploration process touches SLE","Renormalization group is a martingale flow on scales","Polchinski equation from martingale drift: RG exploration"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001098,"raw_usage":{"total_tokens":4550,"prompt_tokens":883,"completion_tokens":3667,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":499,"completion_tokens_details":{"reasoning_tokens":3589}},"tokens_in":499,"tokens_out":3667,"duration_ms":22113,"temperature":1.0,"reasoning_tokens":3589,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T10:05:28.844813+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a lattice model with long-range interactions and compute the effective action obtained by averaging blocks of spins; if for some block size the result cannot be written as the original local form with renormalized couplings, then the RG map is not a conditional expectation onto a scale filtration and the martingale description fails.","supporting_citations":[{"cited_title":"Stochastic dynamics and the polchinski equation: An introduction.Probability Surveys, 21, 2024","cited_arxiv_id":null,"evidence_quote":"Supplies the recent derivation of the Polchinski equation from the martingale property, which Section 5 reproduces and extends."},{"cited_title":"Kadanoff","cited_arxiv_id":null,"evidence_quote":"Provides the block-spin transformation construction used in Section 4 to define the scale filtration."},{"cited_title":"Renormalization and Effective Lagrangians.Nucl","cited_arxiv_id":null,"evidence_quote":"Defines the effective-action flow equation (the Polchinski equation) that the paper derives from the martingale condition."},{"cited_title":"Scaling limits of loop-erased random walks and uniform spanning trees","cited_arxiv_id":null,"evidence_quote":"Introduces SLE and the domain Markov property that motivate the exploration-process reading of RG."},{"cited_title":"Cambridge University Press, 1996","cited_arxiv_id":null,"evidence_quote":"Supplies the pedagogical 1D Ising RG calculation used in Section 4 as the first illustration of block-spin conditioning."},{"cited_title":"Wilson-It\\^o diffusions","cited_arxiv_id":"2307.11580","evidence_quote":"Advocates a stochastic-quantization viewpoint for the interacting measure that the paper connects to its martingale representation."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the broken-scale-invariance equation whose infinitesimal form Section 6 derives from RG covariance."},{"cited_title":"Symanzik","cited_arxiv_id":null,"evidence_quote":"Formulates the short-distance Callan-Symanzik equation that Section 6 obtains from the cocycle property of renormalized observables."}],"review_version":1}