{"id":"1181203e-8e15-4e41-85f8-516f0d268410","arxiv_id":"2608.05998","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"For a second-order mean-field truncation of the four-dimensional phi^4 Wilson-Polchinski hierarchy, solutions exist for any positive bare coupling, and both the constant and quadratic momentum sectors vanish in the ultraviolet limit.","lead":"This paper proves a mathematical result about an approximate version of the phi-fourth renormalization group flow in four dimensions: a second-order mean-field closure retains momentum dependence and still flows to the free Gaussian theory in the ultraviolet limit. A generalist might care because it extends rigorous nonperturbative evidence for the triviality of phi-fourth theory into the wave-function sector, though the full theory remains out of reach.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 6's proof uses a false uniform bound (121) for r=1, leaving the key bilinear estimate behind Theorem 3 unproven.","rationale":"The central claim is Theorem 2: existence of smooth solutions to the mean-field hierarchy that vanish in the ultraviolet limit. The reader's weakest assumption concerned the physical interpretation, specifically the uncontrolled remainder R_n and the lack of uniqueness. The paper explicitly disclaims any assertion about R_n, so that concern does not challenge the theorem's proof. My concern is internal to the proof of the theorem itself: Proposition 6's estimate for the bilinear operators relies on a uniform bound (121) for r=1 that is false for small m. Without Proposition 6, the coefficient recursion in Theorem 3 cannot be controlled, and the smooth realization in Proposition 9 lacks a rigorous foundation. The issue is concrete and checkable, not a stylistic or interpretive objection. I therefore recommend keeping the reader's CONDITIONAL verdict: the paper's main construction is plausible and likely repairable, but the proof as written has a genuine gap that should be fixed before acceptance. Agreement with the reader is set to 'disagree' because the load-bearing concern identified here is a technical error in the proof, not the interpretive limitation emphasized by the reader.","tokens_in":40643,"tokens_out":33820,"duration_ms":265150,"concrete_test":"Check (121) for r=1 and m=12 using definition (63): the defining bound gives |u_{12,1}| <= K^{9/2} * 144 * (1 + 6K), while (121) would require |u_{12,1}| <= K^{11/2}. For K=2 this is 144*1440 versus 2^{5.5} ~ 45, so the bound fails. Then re-run the proof of Proposition 6 treating the j=1 and j=i+1 terms with the actual S_m(K) bound; if the extra polynomial factor is absorbed into the constant C0 in Corollary 1 without K-dependence, the proof can be repaired, and otherwise Theorem 3 is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 2 asserts existence of smooth solutions to the second-order mean-field hierarchy. The proof depends on Theorem 3, which constructs the coefficient family via the weighted-class estimates. Theorem 3 invokes Proposition 6 for every higher-point bilinear term. In the proof of Proposition 6, for n1 >= 12, the bound (121) is claimed for every r in N0. For r=1, the definition of S_m(K) gives |u_{m,1}| <= K^{m/2 - 3/2} m^2 (1 + mK/2), whereas (121) would require |u_{m,1}| <= K^{m/2 - 1/2} (m/4 - 2)!. For m=12, the needed inequality is 144(1 + 6K) <= K, which fails for all K > 1. The paper's justification, 'K>1 gives 1/(m^2K) + 1/(2m) <= (m/4 - 2)!', does not imply the required inequality (it would need m^2/K + m^3/2 <= (m/4 - 2)!, which is false for small m). Since the convolution terms with j=1 and j=i+1 fall into this case, the estimates (122)-(123) are not justified, and Proposition 6 is unproven. Consequently, the induction in Theorem 3 has a gap, and the central existence theorem is not fully demonstrated as written. This concern is distinct from the paper's explicit limitation that nothing is proved about the remainder R_n.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a second-order mean-field reduction of the Wilson–Polchinski flow equations for four-dimensional Euclidean φ^4 theory. It restricts the connected amputated Schwinger functions to the alternating momentum configurations (p,-p,...,p,-p), decomposes them as A_n + n p^2 B_n + R_n, and chooses the families A_n and B_n to satisfy a closed nonlinear hierarchy. The main result, Theorem 2, asserts that for arbitrary finite bare coupling there exist smooth solutions f_n and h_n of the dimensionless hierarchy whose two-point sector is realized by rational functions (156)-(157), and that all these functions, together with all derivatives, vanish as the ultraviolet cutoff is removed. A reconstruction theorem (Theorem 1) shows that the ansatz together with an exact error equation reproduces the restricted Wilson–Polchinski hierarchy. The paper explicitly states that no properties of the remainder R_n are established.","tokens_in":41009,"tokens_out":14945,"duration_ms":131325,"significance":"If the proof is completed, the paper would provide a rigorous nonperturbative existence and triviality result for a momentum-dependent mean-field hierarchy, extending the Kopper–Wang construction to a quadratic momentum sector. The structural parts are careful: the derivation of the restricted flow equation in Proposition 1, the combinatorial identities (36)-(41), and the reconstruction argument in Theorem 1 are presented in detail. The paper is also commendably transparent about its scope: it does not claim triviality for the full φ^4_4 model, no uniqueness is asserted, and the ultraviolet decay of the two-point sector is built into the chosen realization (156)-(157). The value of the paper rests on the nonperturbative control of the full coefficient hierarchy, which is exactly where the technical gap below occurs.","major_comments":[{"comment":"Equation (121) is not a consequence of the defining bounds (63) for r=0 and r=1. For r=1, (63) gives |u_{m,1}| ≤ K^{m/2-3/2} m^2(1+mK/2), whereas (121) would require m^2(1+mK/2) ≤ K(m/4-2)!, i.e. m^2/K + m^3/2 ≤ (m/4-2)!. This fails for m=12, where the left-hand side is at least 864 and the right-hand side is 1; it fails for all 12≤m≤36. For r=0, the displayed justification 1/(2m^2) ≤ (m/4-3)! has the wrong direction: the needed inequality is 2m^2 ≤ (m/4-3)!, which also fails for 12≤m≤36. Because the n1≥12 block in the proof of Proposition 6 applies (121) uniformly in the convolution index j, including j=0 and j=1, the estimates (122)-(123) are not justified. Since Proposition 6 is the key bilinear estimate used in the induction in Theorem 3, the central existence theorem is not fully demonstrated as written. The gap appears reparable by treating the finite range 12≤m≤36 separately and absorbing bounded factors into the constant C_B, but this repair is not present in the manuscript.","section":"Section V.D, Proposition 6"}],"minor_comments":[{"comment":"The proof of Proposition 6 says the needed combinatorial estimates are collected in 'Appendix VI', but the appendix is unnumbered and the relevant results are Lemma 2 and Corollary 1; please make the cross-reference precise.","section":"Section V.D"},{"comment":"The paper invokes [7, Proposition 3.4] without reproducing its statement; since the proof of Proposition 9 depends on the exact form of the bound (154), please state the proposition or give a precise quoted version.","section":"Section VI, Proposition 10"},{"comment":"The theorem statement should explicitly mention that the smooth two-point functions f_2 and h_2 are constructed through the rational realization (156)-(157); the proof uses this realization, and the ultraviolet decay is a property of the constructed solution rather than of the hierarchy alone.","section":"Theorem 2"},{"comment":"There are minor language and typographical issues, including 'Univeristy' on the title page and 'the flow equations verified by ... is given by' in Section II.A; these should be corrected.","section":"Title page and Section II.A"},{"comment":"The symbol T_n is used both for the restricted correlator in (14) and for the general momentum-dependent function in (15); the switch between the two conventions is understandable but should be flagged to avoid confusion.","section":"Section II.B"}],"recommendation":"major_revision","confidential_remarks":"The main concern is the false estimate in Proposition 6. I believe it is repairable, so I recommend major revision rather than rejection. The author should also re-check the Gamma-ratio bounds in Proposition 7 and the Appendix, as I did not verify every constant. The paper's scope is appropriately modest; it does not claim triviality for the full φ^4_4 model, and its explicit limitations on R_n and uniqueness should not be counted against it."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper extends the Kopper–Wang mean-field triviality program to a quadratic momentum sector, and the first half is genuinely good. The restricted Wilson–Polchinski flow equation on symmetric configurations, the decomposition into A, B, and R, and the closed hierarchy (18)–(19) are derived carefully. The combinatorial identities in Proposition 1 and the reconstruction theorem are solid. The weighted sequence classes and the operator formalism are a reasonable framework, and the writing is clear about what is and is not claimed.\n\nThe soft spot is real and load-bearing. The stress-test note is correct: in Proposition 6, the estimate (121) for r=1 is false. The definition of S_m(K) gives |u_{m,1}| ≤ K^{m/2−3/2} m^2(1 + mK/2), which does not imply the claimed K^{m/2−1/2}(m/4−2)!. For m=12 the needed inequality 144(1+6K) ≤ K fails for all K>1. Since the proof of Proposition 6 applies (121) to both factors in the convolution, the terms with j=1 and j=i+1 are not controlled, so the bounds (122)–(123) are unjustified. That leaves Theorem 3, and therefore the main existence theorem, without a complete proof.\n\nThere is also the explicitly acknowledged limitation that the remainder R_n is never controlled, so even a correct proof would only give triviality for the truncated mean-field hierarchy, not for the full φ^4_4 theory. The paper is honest about this, and it is not a flaw in itself, but it caps the significance.\n\nThe gap in Proposition 6 may be patchable — the overall strategy is plausible and the machinery is well chosen — but as written the central theorem is not proved. This is exactly the kind of paper that deserves a serious referee: the idea is worth taking seriously, but the proof needs real repair before it can be accepted.\n\nI would send it to peer review, with the expectation of a major revision. I wouldn't cite the main theorem myself until the estimate is fixed, but the hierarchy and the combinatorial setup are worth knowing.","headline":"A serious extension of the Kopper–Wang mean-field program, but the proof of the key bilinear estimate is wrong as written, so the main theorem is not established.","tokens_in":41479,"tokens_out":2779,"would_cite":false,"duration_ms":26023,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T17","81T08"],"pacs":[],"model":"deepseek-v4-flash","headline":"A second-order mean-field hierarchy for $\\phi^4_4$ has smooth non-perturbative solutions for any positive bare coupling, and both retained momentum sectors approach the Gaussian fixed point as the ultraviolet cutoff is removed.","keywords":["phi^4_4 triviality","Wilson-Polchinski renormalization group","second-order mean-field hierarchy","non-perturbative flow solutions","wave-function renormalization","symmetric momentum configurations","weighted sequence spaces","ultraviolet Gaussian fixed point"],"falsifier":"Solve or bound the exact remainder equation (22) at fixed infrared scale and check whether $R_n^{\\alpha,\\alpha_0}$ stays bounded and, in particular, whether its zero-momentum value $R_2^{\\alpha,\\alpha_0}(0)$ tends to zero as $\\alpha_0\\downarrow0$; an unbounded or nonvanishing remainder would show that the full restricted two-point correlator $T_2^{\\alpha,\\alpha_0}(0)=A_2^{\\alpha,\\alpha_0}+2p^2B_2^{\\alpha,\\alpha_0}+R_2^{\\alpha,\\alpha_0}(0)$ need not approach the Gaussian value even though the mean-field sectors do. Alternatively, numerically integrate the dimensionless hierarchy (52)–(53) with the boundary data (59)–(60) for a sequence of decreasing $\\alpha_0$; observing any nonzero limit or growth of $f_n,h_n$ would contradict the theorem's conclusion.","tokens_in":40422,"feed_emoji":"🧮","tokens_out":9286,"duration_ms":78467,"temperature":0.7,"pith_summary":"This paper asks what happens to the four-dimensional Euclidean $\\phi^4$ model when the exact renormalization-group flow is truncated to symmetric momentum configurations $(p,-p,\\ldots,p,-p)$ and to momentum-independent plus quadratic momentum parts. The author constructs a closed nonlinear hierarchy for the two retained components, $A_n$ and $B_n$, and proves that for any finite positive bare coupling this hierarchy has smooth solutions whose mass, coupling, and wave-function sectors all vanish as the ultraviolet cutoff is removed. The interest is that this is a non-perturbative statement: it is obtained without expanding in the coupling, and it extends earlier zero-momentum mean-field constructions by retaining the momentum-squared sector associated with wave-function renormalization. The paper is careful to say that this is a theorem about the reduced hierarchy, not about the full theory: the exact remainder $R_n$ obeys its own flow equation, and no property of that remainder is proved here.","feed_headline":"Phi^4_4 mean-field flow has trivial UV solutions for any coupling","feed_subtitle":"A non-perturbative second-order hierarchy drives mass, coupling, and wave-function sectors to the Gaussian fixed point.","key_machinery":"The load-bearing object is the decomposition of the restricted connected amputated Schwinger function on the symmetric momentum configuration, $T_n^{\\alpha,\\alpha_0}(p)=A_n^{\\alpha,\\alpha_0}+n p^2 B_n^{\\alpha,\\alpha_0}+R_n^{\\alpha,\\alpha_0}(p)$, together with the autonomous hierarchy (18)–(19) chosen for $A_n$ and $B_n$. After rescaling, this hierarchy becomes the dimensionless system (52)–(53), whose triangular structure lets the two-point sector drive all higher sectors. The proof machinery consists of weighted sequence spaces $S_n(K)$ that control every Taylor coefficient by factorial bounds, linear multiplication and shift operators with uniform mapping properties, bilinear convolution operators whose admissibility mirrors the tree combinatorics of the Wilson–Polchinski equation, and an explicit smooth realization of the two-point functions via $f_2(\\mu)=\\sum_n b_n (n\\mu)^{n-1}/(1+(n\\mu)^n)$ and the analogous formula for $h_2$. These pieces assemble the non-perturbative solution and provide the uniform-in-$n$ estimates that make the ultraviolet limit of every sector vanish. The exact remainder $R_n$ plays no role in the triviality proof; it is defined by its own exact evolution equation (22).","core_discovery":"The central discovery is Theorem 2: after rescaling to dimensionless variables, the second-order mean-field hierarchy (55)–(58) admits smooth solutions $f_n,h_n\\in C^\\infty([0,\\mu_{\\max}])$, $n\\ge 2$ even, satisfying the boundary conditions (59)–(60) for arbitrary finite coupling data $0<c_4<\\infty$, $|c_2|<\\infty$, $|c_2'|<\\infty$, and obeying $\\lim_{\\mu_{\\max}\\to\\infty} f_n(\\mu_{\\max})=\\lim_{\\mu_{\\max}\\to\\infty} h_n(\\mu_{\\max})=0$ for every $n$. In the original variables this means that both the momentum-independent families $A_n$ and the quadratic momentum families $B_n$ of the closed hierarchy converge to zero when the ultraviolet cutoff $\\alpha_0$ is removed, so the Gaussian fixed point controls the mass, coupling, and wave-function sectors of the closure. The proof constructs the full Taylor hierarchy in weighted sequence spaces, realizes the two-point jets by explicit smooth functions, and propagates smoothness and ultraviolet decay to all higher sectors by the triangular structure of the equations. The paper states explicitly that $A_n$ and $B_n$ need not be the Taylor coefficients of the exact correlators and that no uniqueness of the constructed solution is claimed.","pith_inferences":["If the same weighted-sequence estimates can be extended to the remainder flow (22), the natural next step would be to prove that $R_n$ also vanishes as $\\alpha_0\\downarrow0$; that would promote the present statement from triviality of the closure to triviality of the full restricted correlators, a step the paper explicitly leaves open.","The closure ansatz suggests a concrete numerical test: integrate (52)–(53) from the boundary data (59)–(60) for decreasing $\\alpha_0$ and compare the resulting $A_n,B_n$ with the projection of a lattice $\\phi^4_4$ simulation onto symmetric momentum configurations; agreement would support the ansatz's physical relevance.","Because uniqueness is not proved, there may be other solutions of the same hierarchy with the same boundary data; if one of those failed to vanish in the ultraviolet limit, the physical selection mechanism would matter, and the present theorem would still be true but would not by itself identify the selected solution.","The structural similarity to earlier mean-field treatments suggests the massive case and $O(N)$ extensions should behave the same way, but the paper does not claim this, and the explicit flow coefficients would need to be re-derived."],"forward_implications":["For every finite positive bare coupling, a non-perturbative solution of the second-order mean-field hierarchy exists, so no small-coupling expansion is needed to see the ultraviolet triviality in this closure.","The quadratic momentum sector, which the closure associates with wave-function renormalization through $B_2$ and $h_2$, is asymptotically trivial along with the mass and coupling sectors.","By Theorem 1, combining the constructed $A_n,B_n$ with any solution of the remainder equation (22) reconstructs a solution of the full Wilson–Polchinski flow restricted to the symmetric momentum configurations.","The uniform bounds on Taylor coefficients imply that not just the functions but all their derivatives vanish in the ultraviolet limit, so the triviality is not an artifact of a single momentum slice.","The mass, coupling, and wave-function parameters are determined as part of the non-perturbative solution rather than prescribed order by order in perturbation theory."],"supporting_citations":[{"why":"It introduces the momentum-independent mean-field hierarchy and zero-momentum closure that this paper extends to quadratic momentum dependence.","marker":"[6]"},{"why":"It supplies the non-perturbative construction for arbitrary positive bare coupling, the smooth two-point realization ansatz, and the analytic estimates (Proposition 3.4 and Lemma 3.4) reused in the proof.","marker":"[7]"},{"why":"It gives the exact Wilson–Polchinski flow equation from which the restricted hierarchy and the remainder equation are derived.","marker":"[10]"},{"why":"It provides the Gamma-function inequalities (Gautschi-type estimates) used to prove the mapping properties of the multiplication and convolution operators.","marker":"[9]"}],"fun_headline_variants":["For any coupling, phi^4_4 mean-field flow hits Gaussian fixed point","Mean-field phi^4_4 always ends up trivial in the UV","Trivial UV for all couplings in second-order mean-field phi^4_4","Non-perturbative proof: phi^4_4 mean-field flow is trivial"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the true connected amputated Schwinger functions on the symmetric momentum configurations are captured by the second-order mean-field ansatz $T_n=A_n+n p^2 B_n+R_n$ with $A_n,B_n$ obeying the imposed hierarchy; the paper proves no bounds on the remainder $R_n$ and no uniqueness of the trivial solution, so if the exact correlators are far from this ansatz, or if another solution of the same hierarchy is the physically selected one, the triviality conclusion does not transfer to the full theory.","fun_headline_variants_meta":{"raw":{"variants":["For any coupling, phi^4_4 mean-field flow hits Gaussian fixed point","Mean-field phi^4_4 always ends up trivial in the UV","Trivial UV for all couplings in second-order mean-field phi^4_4","Non-perturbative proof: phi^4_4 mean-field flow is trivial"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000545,"raw_usage":{"total_tokens":2612,"prompt_tokens":953,"completion_tokens":1659,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":569,"completion_tokens_details":{"reasoning_tokens":1573}},"tokens_in":569,"tokens_out":1659,"duration_ms":9965,"temperature":1.0,"reasoning_tokens":1573,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T04:14:48.662106+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve or bound the exact remainder equation (22) at fixed infrared scale and check whether $R_n^{\\alpha,\\alpha_0}$ stays bounded and, in particular, whether its zero-momentum value $R_2^{\\alpha,\\alpha_0}(0)$ tends to zero as $\\alpha_0\\downarrow0$; an unbounded or nonvanishing remainder would show that the full restricted two-point correlator $T_2^{\\alpha,\\alpha_0}(0)=A_2^{\\alpha,\\alpha_0}+2p^2B_2^{\\alpha,\\alpha_0}+R_2^{\\alpha,\\alpha_0}(0)$ need not approach the Gaussian value even though the mean-field sectors do. Alternatively, numerically integrate the dimensionless hierarchy (52)–(53) with the boundary data (59)–(60) for a sequence of decreasing $\\alpha_0$; observing any nonzero limit or growth of $f_n,h_n$ would contradict the theorem's conclusion.","supporting_citations":[{"cited_title":"Triviality proof for mean-field $\\varphi_4^4$-theories","cited_arxiv_id":"2407.01309","evidence_quote":"It gives the exact Wilson–Polchinski flow equation from which the restricted hierarchy and the remainder equation are derived."},{"cited_title":"Mean field flow equations and asymptotically free scalar fields","cited_arxiv_id":"1912.08183","evidence_quote":"It provides the Gamma-function inequalities (Gautschi-type estimates) used to prove the mapping properties of the multiplication and convolution operators."}],"review_version":2}