{"id":"48a49399-0ced-4a32-aa5c-6fc08bd1ec89","arxiv_id":"2607.02293","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A half-slope convexity invariant extends mass-conserving existence for the critical coagulation-fragmentation equation from m<1/2 to the full range 0<m≤1, confirming m=1 is critical.","lead":"This paper proves mass-conserving solutions exist for the critical coagulation-fragmentation equation up to mass m=1, closing a gap left by earlier work that only reached m<1/2. The result confirms a 1989 prediction and uses a new one-sided convexity invariant that also appears in Keller-Segel.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The Reader correctly isolates the gradient bound of Lemma 3.7 as the hinge of the new maximum-principle argument, yet that bound is established by a standard comparison that uses only m≤1 (zero is a subsolution precisely then) and the linear-growth control already available from the viscous theory. Once 0≤Fx≤m is in hand, q≥0 and S≥0 make LW≥0, so the localized minimum principle for W+mη goes through without further restrictions on m. The subsequent sharpening Bk≤Mx (instead of the crude 2Mx) removes the artificial 1/2-threshold in the curvature barrier, and Remark 5.2 confirms that the only remaining appeal to m<1/2 in [TV22] is a harmless adjustment of characteristic speeds. Uniqueness and non-existence for m>1 were already settled, so the dichotomy is complete. No load-bearing inconsistency or missing estimate appears; the verdict ACCEPT with high confidence stands.","tokens_in":18281,"tokens_out":539,"duration_ms":6112,"concrete_test":"Independently recompute the combination Wt-(q+1/2)Wx-AWxx+(S/x)Wx+(3/(2x))W from the viscous equation (3.6) and verify that the residual equals (S/x)q with S=2A-xA'≥0 (Lemma 3.5); if the residual identity fails, the maximum-principle argument of Proposition 3.6 collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central existence claim rests on three tightly linked steps: (i) W=2M-xMx≥0 for Bernstein data (Lemma 3.1), (ii) its propagation under the uniformly parabolic scheme (Proposition 3.6) via the gradient bound 0≤Fx≤m of Lemma 3.7, and (iii) the upgraded curvature barrier -1<xFxx≤0 (Theorem 4.1) that feeds the Bernstein-function recovery of Theorem 5.1. Each step is written out with explicit maximum-principle localizations; the only place m≤1 is used is the elementary verification that the zero function is a subsolution of the HJ equation, which is both necessary and correctly flagged in §4.2. No hidden gap appears in the chain.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper studies the critical coagulation–fragmentation equation with multiplicative coagulation kernel a(s,ŝ)=sŝ and constant fragmentation kernel b≡1. Under the Bernstein transform, mass-conserving solutions correspond to viscosity solutions of a singular Hamilton–Jacobi equation previously analyzed by Tran–Van (2022). That work established uniqueness of mass-conserving solutions for all m∈(0,1] and existence only for m<1/2. The present manuscript introduces a one-sided convexity-type quantity W:=2M−xMx (the half-slope invariant) for M=mx−F. It verifies W≥0 for Bernstein-transform initial data, proves that the viscous approximations of [TV22] propagate W≥0 by a genuine maximum principle, and uses the sharpened bound B≤Mx to extend the curvature barrier −1<xFxx≤0 to the full range 0<m≤1. Combined with the Bernstein-function recovery of [TV22], this yields unique global mass-conserving weak solutions for all m∈(0,1] (and non-existence for m>1), confirming that m=1 is the critical mass predicted by Vigil–Ziff.","tokens_in":18455,"tokens_out":827,"duration_ms":6610,"significance":"The result closes a long-standing gap: existence of mass-conserving solutions throughout the critical range 0<m≤1 for the borderline multiplicative/constant kernels. The half-slope invariant is a clean, load-bearing a-priori estimate that is both natural for Bernstein data and propagated by the existing viscous scheme; once available, the remainder of the existence theory imports from [TV22] with only the characteristic-speed adjustment recorded in Remark 5.2. The same invariant appears in the radial partial-mass formulation of 2D Keller–Segel (critical mass 8π), which is a suggestive but non-essential analogy. The paper therefore settles the Vigil–Ziff threshold for this model and supplies a reusable maximum-principle device for related singular HJ equations.","major_comments":[],"minor_comments":[{"comment":"In the abstract and introduction the phrase “half-slope invariant” is introduced without an immediate formula; a parenthetical “W:=2M−xMx” at first occurrence would help the reader.","section":null},{"comment":"Section 6 (Keller–Segel) is explicitly labelled an aside and is not used in the proof. A one-sentence pointer in the introduction that the section is optional would prevent readers from expecting a technical dependence.","section":null},{"comment":"Remark 5.2 carefully documents the only adjustment needed to import the existence machinery of [TV22] (characteristic speeds −3/2≤Ẋ≤−1/2). It would be useful to restate the adjusted bound (3.19) of [TV22] explicitly so that a reader need not open that paper.","section":null},{"comment":"Lemma 3.7 re-proves the gradient bound for the uniformly parabolic problem. The argument is self-contained, but a short cross-reference to the corresponding steps inside the proof of Lemma 3.5 of [TV22] would clarify the relationship.","section":null},{"comment":"Typographical: “re −r ≤ e−1” in (4.4) should read “r e−r ≤ e−1”; the same line appears correctly earlier in the discussion of (A3).","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is a clean, self-contained completion of the program begun in [TV22]. The half-slope invariant is genuinely new and the maximum-principle arguments are written with care. I see no load-bearing gap; the paper is ready for acceptance after the minor presentation fixes listed above."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper finishes the critical-mass story for a(s,ŝ)=sŝ, b=1. Tran–Van already had uniqueness on (0,1] and existence only for m<1/2; Van isolates one a priori bound—the half-slope W=2M−xMx≥0—and uses it to push the curvature barrier xFxx>−1 all the way to m=1. That is the real novelty, and it is not cosmetic: the factor-of-two improvement on the dangerous coefficient B is exactly what the old 1/2 threshold was buying.\n\nWhat works well is the maximum-principle packaging. Lemma 3.1 checks W≥0 for Bernstein data by a one-line positivity of ψ(z)=z−2+(z+2)e−z. Proposition 3.6 propagates it under the uniformly parabolic scheme with careful localization at infinity and at x=0; Corollary 3.8 passes to the degenerate limit by concavity. Theorem 4.1 then upgrades the barrier, and Remark 5.2 honestly lists the only constant adjustments needed to import the Bernstein-recovery machinery of [TV22]. The m≤1 restriction is not hidden: §4.2 notes that zero is a subsolution of the HJ equation precisely when m≤1, so the gradient bound that feeds the maximum principle for W fails for m>1, which is consistent with the known non-existence. The Keller–Segel aside is optional and correctly labeled as such.\n\nSoft spots are minor. The argument still sits inside the viscosity/viscous scheme of [TV22], so a reader who has not absorbed that paper will have to. The localization windows and the characteristic-speed bookkeeping are a bit tedious, but they are written out rather than waved at. No circularity, no free parameters, no data issues.\n\nThis is for people who work on coagulation–fragmentation, aggregation–diffusion, or singular HJ equations. It deserves a serious referee; I would accept it for peer review and would cite the existence dichotomy. Bring it to reading group if the group cares about critical mass thresholds.","headline":"Closes the m in [1/2,1] existence gap for the critical CF model with a clean maximum-principle invariant; the chain looks solid.","tokens_in":19047,"tokens_out":534,"would_cite":true,"duration_ms":5603,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35F21","45K05","35Q92"],"pacs":[],"model":"grok-4.5","headline":"A half-slope invariant proves mass-conserving solutions exist up to the critical mass m=1 for the multiplicative coagulation-fragmentation equation.","keywords":["coagulation-fragmentation","critical mass","Bernstein transform","Hamilton-Jacobi equation","half-slope invariant","viscosity solutions","mass conservation","Keller-Segel"],"falsifier":"Construct an initial measure of mass m=1 with finite zeroth and second moments for which the vanishing-viscosity limit of the singular Hamilton-Jacobi equation fails to stay Bernstein (for example, the curvature barrier x F_xx > -1 is violated at some positive time), or exhibit a mass-conserving global weak solution when m>1.","tokens_in":19172,"feed_emoji":"⚖️","tokens_out":763,"duration_ms":15881,"temperature":0.7,"pith_summary":"This paper settles a long-open existence question for the critical coagulation-fragmentation equation with multiplicative coagulation and constant fragmentation. Mass-conserving solutions were already known to be unique for initial mass m up to 1 and nonexistent above 1, but existence had been proved only for m less than 1/2. The author isolates a one-sided convexity-type bound called the half-slope invariant, shows it holds for Bernstein-transform data, and proves that the viscous approximation scheme preserves it by a maximum principle. That bound sharpens the curvature barrier enough to extend existence all the way to m=1, confirming that 1 is the true critical mass predicted by formal moment balance. The same invariant appears in the radial mass formulation of the two-dimensional Keller-Segel equation, whose critical mass is 8 pi, suggesting a structural parallel between the two models.","feed_headline":"Half-slope invariant settles critical mass m=1","feed_subtitle":"Mass-conserving cluster solutions exist all the way to the predicted threshold, not just below 1/2.","key_machinery":"The half-slope invariant W:=2M-x M_x >=0 (equivalently M/x >= M_x/2) for the transformed unknown M=m x-F. It is automatic for Bernstein data, is preserved by both the inviscid flow and the viscous regularizations as a genuine maximum-principle bound, and replaces the crude coefficient estimate B<=2 M_x by the sharp B<=M_x that removes the artificial 1/2-threshold in the curvature barrier.","core_discovery":"For initial mass m in (0,1] with finite zeroth and second moments, the coagulation-fragmentation equation with a(s,s-hat)=s s-hat and b=1 admits a unique mass-conserving weak solution in the measure sense; for m>1 no global mass-conserving solution exists. Thus m=1 is the critical mass. The missing existence for 1/2 <= m <=1 is obtained by propagating the half-slope invariant W=2M-x M_x >=0, which upgrades the curvature barrier x F_xx > -1 to the full critical range.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Half-slope invariant confirms critical mass m=1","Convexity bound extends mass-conserving CF solutions to m=1","Half-slope max principle settles full critical range m≤1","Invariant proves existence up to Vigil-Ziff threshold m=1","Half-slope barrier reaches critical mass for coagulation"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The maximum-principle argument that keeps the half-slope invariant alive rests on a gradient bound that holds only when the zero function is a subsolution, which is true precisely when the mass is at most 1.","fun_headline_variants_meta":{"raw":{"variants":["Half-slope invariant confirms critical mass m=1","Convexity bound extends mass-conserving CF solutions to m=1","Half-slope max principle settles full critical range m≤1","Invariant proves existence up to Vigil-Ziff threshold m=1","Half-slope barrier reaches critical mass for coagulation"]},"model":"grok-4.5","effort":"low","cost_usd":0.006606,"raw_usage":{"total_tokens":1737,"prompt_tokens":858,"num_sources_used":0,"completion_tokens":87,"cost_in_usd_ticks":66060000,"prompt_tokens_details":{"text_tokens":858,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":792,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":858,"tokens_out":87,"duration_ms":7655,"temperature":1.0,"reasoning_tokens":792,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-12T08:13:20.793878+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Construct an initial measure of mass m=1 with finite zeroth and second moments for which the vanishing-viscosity limit of the singular Hamilton-Jacobi equation fails to stay Bernstein (for example, the curvature barrier x F_xx > -1 is violated at some positive time), or exhibit a mass-conserving global weak solution when m>1.","supporting_citations":[],"review_version":2}