{"id":"6c78ddcc-8faf-41db-8199-f177d9313db7","arxiv_id":"2507.19866","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For the critical flux-limited chemotaxis system in a ball, all radially symmetric solutions exist globally below mass m_c, blow up in finite time above m_c, and aggregate at the center exactly at m_c.","lead":"This mathematics paper proves a sharp mass threshold for a flux-limited chemotaxis PDE at the critical exponent: above a computable constant m_c, every radially symmetric solution blows up in finite time; below it, solutions stay bounded and approach a steady state. The result settles a question raised by recent work of Kohatsu and Senba and generalizes the classical 8π threshold of the Keller-Segel model to all dimensions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Prop. 2.1's local existence is cited, not verified, for the non-Lipschitz flux with N>2; all later results depend on it.","rationale":"The reader identified Proposition 2.1 as the weakest assumption, and I agree. I examined the rest of the argument for internal inconsistency: the moment inequality in Lemma 3.2 is correct; the comparison principle Lemma 5.2 is carefully proved; Lemma 5.4 is stated without proof but for the explicit family φ_ℓ one can choose ℓ close to A so that the slope at 0 dominates any bounded Lipschitz f, so it is a lesser gap; Lemma 6.2's convergence argument is standard, and the use of the maximum principle in Lemma 6.3 can be justified by backward uniqueness for the uniformly parabolic equation satisfied by R=A-U on compact subintervals of (0,1). No parameter fitting or invented entities occur. The central threshold value mc is correctly computed from the explicit steady states. Thus the most load-bearing unresolved point is the local existence theory. Since the reader already conditioned on this, I do not change the verdict.","tokens_in":20097,"tokens_out":28884,"duration_ms":313536,"concrete_test":"Inspect [6, Proposition 2.1] and [13, Theorem 2.1] and list the assumptions on the chemotactic sensitivity S. Check whether S(z)=|z|^{α-2}z with α=N/(N-1) (e.g., α=3/2 for N=3) satisfies them. In particular, determine whether the proofs require S to be C^1 or Lipschitz, and whether they use a Banach fixed-point argument that needs Lipschitz dependence on ∇v. If either theorem does not cover this S, settle the concern by writing out a self-contained local-existence proof for Proposition 2.1 based on the scalar problem (2.8) (or by citing a theorem for power-type sensitivities with exponent in (0,1)).","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 2.1 is the foundation of every subsequent result, but its proof is a citation to [6, Prop. 2.1] and [13, Thm. 2.1] without verifying their hypotheses. For N>2 the sensitivity S(z)=|z|^{α-2}z, α=N/(N-1)∈(1,2), is Hölder continuous of order α-1 and is not C^1 at z=0; its magnitude |z|^{α-1} actually vanishes at the origin, so the weak formulation is not literally singular, but standard fixed-point theorems for chemotaxis typically require a smoother or Lipschitz S. If the cited results require C^1 or Lipschitz regularity of S, then Proposition 2.1 has no proof in the manuscript, and Lemma 2.2 (the scalar equation for U), the blow-up moment estimate, the comparison-based boundedness proof, and the critical-mass exclusion all rest on an unestablished local existence/uniqueness/extensibility theory. The gap is fillable—one can prove local well-posedness directly for the degenerate scalar equation (2.8)—but the paper as written does not supply such a proof.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a parabolic-elliptic chemotaxis system with critical flux limitation α=N/(N−1) in the unit ball, with no-flux for u and Dirichlet for v, and radially symmetric initial data. The main theorem identifies a mass threshold m_c (the mass of the stationary family X_λ) and claims: (1) for m>m_c the solution blows up in finite time with an explicit T* bound; (2) for m<m_c the solution is global, bounded, and converges in L∞ to X_λ; (3) for m=m_c the solution is global and aggregates complete mass at the center in infinite time. The proofs proceed through a reformulation in terms of the accumulated density U, a moment inequality for blow-up, a comparison-based ε-regularity criterion for boundedness, stationary-solution analysis, and Lyapunov-type dissipation functionals for convergence.","tokens_in":20298,"tokens_out":4574,"duration_ms":47358,"significance":"If the results are correct, the paper settles a clean dichotomy for the critical-flux-limited Keller–Segel system under radial symmetry: global existence is completely characterized by a sharp mass threshold, with a computable critical mass and (in the subcritical case) identification of the asymptotic profile X_λ; the critical case exhibits infinite-time collapse. The blow-up argument is a parameter-free moment method, the stationary uniqueness is explicit and verifiable, and the claimed threshold m_c is derived from stationary mass rather than fitted — these are real strengths. The main caveat is that the entire solution theory rests on a cited local well-posedness result, and the non-Lipschitz nature of the critical flux for N>2 makes the citation non-obvious. Because the threshold and the qualitative trichotomy are sharp and mathematically natural but depend on several lemmas that are only sketched as 'minor modifications', the central claim is defensible but not yet fully secure.","major_comments":[{"comment":"If the cited results do not cover the critical flux, the whole theorem chain lacks a foundation; if they do, a short verification would fix the issue.","section":"Section 2, Proposition 2.1"},{"comment":"The statement of Proposition 5.1 says that (5.1) implies a uniform bound on U_ξ, and the last paragraph claims 'the corresponding solution exists globally and remains bounded.' However, the proof of the bound on U_ξ appears to require Lemma 5.4 and the full hypothesis U0∈C0(Ω); please make the logical chain from (5.1) to the global existence explicit, and clarify whether (5.1) must hold for the specific time interval [0,T_max) or on a full neighborhood including T_max.","section":"Section 5.1, Proposition 5.1"}],"minor_comments":[{"comment":"The flux notation is inconsistent: (1.1) writes |∇v|^{α−2}∇v with α=N/(N−1), while (1.6) writes |∇Y|^{1/(N−1)−1}∇Y. Please unify the notation and state the identity |∇v|^{α−2}=|∇v|^{N/(N−1)−2} so the stationary problem matches the main system.","section":"Introduction, equation (1.6)"},{"comment":"The phrase 'aggregates complete mass at the center in infinite time' is used, but the proof of Theorem 6.1 only shows weak-* convergence of u(·,t_k) to m_c δ_0 along subsequences. Please make the formulation precise: does the proof actually show convergence as t→∞, or only along subsequences? If only along subsequences, the theorem statement should be softened or the subsequence issue removed.","section":"Theorem 1.1(3) and Theorem 6.1"},{"comment":"The displayed integral computation after (1.8) contains an awkward dummy-variable step: ∫_0^∞ mc dr/(1+r^{1/(N−1)})^N = mc(N−1)∫_0^∞ ρ^{N−2}/(1+ρ)^N dρ. Please clean up the intermediate equalities; the final value mc is correct.","section":"Introduction, computation of ∫X_λ"},{"comment":"In the proof of Proposition 4.1, the set S is introduced after deriving (4.5). The argument will read better if you state explicitly that local existence of positive solutions of (4.5) near ξ=0 follows by standard ODE theory; currently the derivation of 'f>0 on (0,∞)' and the definition of S skip the local well-posedness at the singular point f=0.","section":"Proposition 4.1"},{"comment":"The notation C is reused with different meanings: in (5.13) it is a sup bound, then in (5.14) it multiplies a different constant, and later the constants C(p) and K appear. Please rename the constants to avoid confusion and make all dependencies explicit.","section":"Lemma 5.3"},{"comment":"The comparison principle is stated for functions U and U (with an underline in the original), but the notation is not explicitly introduced in the text. Please introduce \\(\\underline U\\) and \\(\\overline U\\) explicitly.","section":"Lemma 5.2"},{"comment":"The identity (4.4) from Proposition 4.1 is used for ϕℓ, but the relation between the notation W0 and f in Proposition 4.1 and the definition of ϕℓ in Corollary 4.2 should be stated more clearly; currently the reader must guess that f=W^{1/(N−1)} and that W0 is the normalization in (1.7).","section":"Lemma 5.6"},{"comment":"The boundedness of ψ is given as ψ∈(0, Nm/(2ω_N)); please justify the upper bound explicitly, since ψ is an integral of U over a singular weight and the constant Nm/(2ω_N) is not derived. The bound is true by monotonicity of U and U(1,t)=m/ω_N, but it should be written down.","section":"Proof of Theorem 3.1"}],"recommendation":"major_revision","confidential_remarks":"Given the load-bearing nature of these gaps, I recommend major revision rather than rejection: the core ideas appear sound and the threshold value is natural. However, I would not recommend acceptance until the local well-posedness foundation is verified, the maximum-principle step in Lemma 6.3 is made explicit, the C^2 regularity claim in Lemma 6.2 is justified, and the comparison lemma from the authors' preprint is either proved or replaced. There is also a citation-pattern concern: several key lemmas (Lemma 5.4, and the local existence Proposition 2.1) are cited from sources that either the authors control or whose hypotheses are not shown to match; that is acceptable in a preprint but needs tightening for a journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a genuine result, not a repackaging. The authors identify the exact mass threshold m_c = ω_N (N^2/(N-1))^{N-1} for the critical flux-limited system (1.1), prove finite-time blow-up above it, global boundedness and convergence to the explicit steady state below it, and infinite-time aggregation at the critical mass. The threshold is derived from the explicit stationary solutions, not fitted; the blow-up proof is a clean moment argument with no free parameters, and the steady-state analysis in Section 4 is correct. The subcritical and critical arguments via comparison and ε-regularity are mostly convincing, and the dissipation-functionals for stability are standard but competently handled.\n\nThe main soft spot is Proposition 2.1. The local existence, uniqueness, and extensibility theory is cited from [6,13] without checking hypotheses. For N > 2, the sensitivity S(z) = |z|^{α-2}z is not Lipschitz at z = 0—it is Hölder of order α-1—so the cited fixed-point results, which are stated for smoother sensitivities, do not obviously apply. Since every later statement in the paper starts from Proposition 2.1, this is load-bearing. The gap is probably fillable: the degenerate scalar equation (2.8) for U is simpler than the full system, and one could prove local well-posedness there directly. But as written, the paper does not supply that proof. A referee should push on this point.\n\nTwo smaller issues: Lemma 5.4 is imported from the authors' own preprint [16] rather than proved, and Lemma 6.2's passage to the terminal profile plus the strong-maximum-principle step in Lemma 6.3 are sketched. I do not think these are serious—they look like standard compactness—but they deserve a check. I do not see circularity: the threshold comes from the explicit stationary profile, and the self-citations are auxiliary.\n\nNet: the paper deserves a serious referee. The central claim is likely correct and is new. I would send it to peer review with the request that the local well-posedness foundation either be proved or replaced by a precise statement of which existing theorems apply and why. For anyone working on critical mass phenomena in chemotaxis, this is worth reading and citing.","headline":"Sharp and credible critical-mass result for flux-limited Keller-Segel, with one load-bearing but likely fixable gap in the cited local well-posedness.","tokens_in":20831,"tokens_out":3394,"would_cite":true,"duration_ms":38742,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B40","35B33","35B44","35K65","92C17"],"pacs":[],"model":"deepseek-v4-flash","headline":"At the critical flux-limited exponent α=N/(N−1), radial solutions of the Keller-Segel system in the unit ball are classified by a single mass threshold: supercritical mass gives finite-time blow-up, subcritical mass gives global…","keywords":["chemotaxis","flux limitation","critical mass","finite-time blow-up","global boundedness","radial symmetry","parabolic-elliptic system","stationary bubble"],"falsifier":"One could numerically integrate the scalar equation for U in three dimensions with smooth radial initial data of mass 0.99mc: the paper predicts U(ζ,t)<A=(9/2)^2 for all time and U_ξ bounded uniformly, so observing U ever reach A would contradict the ε-regularity and global boundedness claim.","tokens_in":19880,"feed_emoji":"🧫","tokens_out":6790,"duration_ms":74717,"temperature":0.7,"pith_summary":"This paper studies a Keller-Segel chemotaxis system with flux limitation in the unit ball of R^N at the critical exponent α=N/(N-1). It claims that for radially symmetric cell densities the dynamics are governed entirely by total mass: a number mc=ω_N($N^{2}$/(N-1))^{N-1} separates finite-time blow-up from global existence. Above mc the density blows up in finite time with an explicit time bound; below mc it is globally bounded and converges in L∞ to the stationary profile Xλ carrying the same mass; at exactly mc it exists globally and aggregates all mass at the center as time goes to infinity. The result extends the classical 8π critical-mass phenomenon for two-dimensional Keller-Segel systems to every dimension in this critical flux-limited setting.","feed_headline":"One critical mass decides chemotaxis fate in every dimension","feed_subtitle":"Above it: finite-time blow-up. Below it: convergence. At it: infinite-time collapse.","key_machinery":"The central object is the accumulated radial density U(ξ,t)=∫$_0^{{ξ^{1/N}}$} u(r,t)$r^{{N−1}}$dr, which turns the system into the scalar parabolic equation U_t=$N^{2}$$ξ^{{2−2/N}}$U_{ξξ}+$Nξ^{{1−2/N}}$$U^{{1/(N−1)}}$U_ξ with boundary values U(0,t)=0 and U(1,t)=m/ω_N. Its stationary solutions Wλ are accumulated densities of the explicit profiles Xλ, each carrying total mass mc. Blow-up is detected through the moment ψ(t)=∫$_0^{1}$ $Uξ^{{2/N−1}}$dξ, whose derivative satisfies ψ′(t) ≥ ($N^{2}$m/ω_N)((m/mc)^{1/(N−1)}−1), forcing finite-time singularity when m>mc. Global boundedness for m<mc follows from comparing U with stationary supersolutions and an ε-regularity estimate, while the critical case m=mc is handled by a contradiction argument showing that finite-time blow-up would concentrate at least mass mc, which the strong maximum principle forbids.","core_discovery":"The paper's central claim is a complete mass dichotomy for the critical flux-limited chemotaxis system u_t=Δu−∇·(u|∇v|^{α−2}∇v), 0=Δv+u on the unit ball with no-flux and homogeneous Dirichlet boundary conditions, for radially symmetric initial data. With α=N/(N−1), it proves that the threshold mass is mc=ω_N($N^{2}$/(N−1))^{N−1}: if the initial mass m exceeds mc, the solution blows up in finite time with Tmax ≤ (1/(2N))(((m/mc)^{1/(N−1)}−1)^{-1}); if m<mc, the solution is globally bounded and converges in L∞ to the stationary profile Xλ uniquely determined by mass; if m=mc, the solution exists globally and concentrates the complete mass at the origin as t→∞. The proof reduces the whole dynamics to a scalar parabolic equation for the accumulated radial density, and the threshold emerges because the explicit stationary profiles Xλ each have exactly mass mc.","pith_inferences":["Beyond the paper, the explicit blow-up bound suggests a scaling law Tmax ∼ C(m/mc−1)^{−1/(N−1)} near the threshold; numerical experiments could test whether this bound is sharp.","The scalar reduction uses radial symmetry essentially, so whether the same mass threshold persists for non-radial initial data in the unit ball is a natural open extension that the paper does not address.","If the imported local-existence theory fails for the singular flux at ∇v=0 when N>2, the threshold classification would need to be re-proved from scratch, because every later step starts from Proposition 2.1."],"forward_implications":["For N=2 the critical mass is mc=8π, exactly recovering the classical Keller-Segel threshold from the radial 8π-problem.","For any supercritical radial initial mass, blow-up occurs no later than the explicit time T⋆, so the theorem gives a quantitative universal upper bound on blow-up time.","For any subcritical radial initial mass, the solution not only exists globally but is attracted in L∞ to the unique stationary bubble Xλ with the same mass, so mass selects the asymptotic steady state.","At critical mass the solution is global yet never stationary: it collapses completely to a Dirac mass at the center in infinite time.","The threshold is dimension-dependent and equals the mass of the explicit stationary family Xλ, giving a constructive interpretation of mc rather than merely an abstract constant."],"supporting_citations":[{"why":"Supplies the classical 8π threshold and the radial moment and comparison machinery that the paper extends to all dimensions.","marker":"[5]"},{"why":"Furnishes the explicit stationary self-similar profiles Xλ whose total mass defines mc.","marker":"[11]"},{"why":"Establishes finite-time blow-up for supercritical flux exponents in radial flux-limited chemotaxis, motivating the critical exponent.","marker":"[28]"},{"why":"Identifies α=N/(N−1) as the critical blow-up exponent in a regularized flux-limited Keller-Segel system.","marker":"[33]"},{"why":"Provides the fixed-point local-existence framework quoted in Proposition 2.1 for bounded weak solutions.","marker":"[6]"},{"why":"Provides another local-existence and uniqueness theory cited in Proposition 2.1.","marker":"[13]"},{"why":"Supplies the infinite-time-collapse technique and the concentration-at-least-critical-mass lemma adapted in Section 6.","marker":"[20]"},{"why":"Supplies the comparison principle and grow-up estimates used in Lemma 5.2 and the stability arguments.","marker":"[8]"}],"fun_headline_variants":["Sharp mass threshold for chemotaxis blow-up","Mass below threshold: global bound; above: blow-up","One number sets chemotaxis fate: blow-up or bound","Exact mass that flips chemotaxis from bounded to blow-up","Critical chemotaxis mass: below safe, above blow-up"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire classification rests on Proposition 2.1's imported assertion that bounded weak solutions of the singular flux-limited system exist, are unique, conserve mass, and satisfy the extensibility criterion, even though the flux u|∇v|^{α−2}∇v is singular where ∇v=0 when N>2.","fun_headline_variants_meta":{"raw":{"variants":["Sharp mass threshold for chemotaxis blow-up","Mass below threshold: global bound; above: blow-up","One number sets chemotaxis fate: blow-up or bound","Exact mass that flips chemotaxis from bounded to blow-up","Critical chemotaxis mass: below safe, above blow-up"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000519,"raw_usage":{"total_tokens":2524,"prompt_tokens":965,"completion_tokens":1559,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":581,"completion_tokens_details":{"reasoning_tokens":1475}},"tokens_in":581,"tokens_out":1559,"duration_ms":17732,"temperature":1.0,"reasoning_tokens":1475,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T13:59:17.487817+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"One could numerically integrate the scalar equation for U in three dimensions with smooth radial initial data of mass 0.99mc: the paper predicts U(ζ,t)<A=(9/2)^2 for all time and U_ξ bounded uniformly, so observing U ever reach A would contradict the ε-regularity and global boundedness claim.","supporting_citations":[{"cited_title":"BILER , G","cited_arxiv_id":null,"evidence_quote":"Supplies the classical 8π threshold and the radial moment and comparison machinery that the paper extends to all dimensions."},{"cited_title":"K OHATSU AND T","cited_arxiv_id":null,"evidence_quote":"Furnishes the explicit stationary self-similar profiles Xλ whose total mass defines mc."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes finite-time blow-up for supercritical flux exponents in radial flux-limited chemotaxis, motivating the critical exponent."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Identifies α=N/(N−1) as the critical blow-up exponent in a regularized flux-limited Keller-Segel system."},{"cited_title":"F UHRMANN , J","cited_arxiv_id":null,"evidence_quote":"Provides the fixed-point local-existence framework quoted in Proposition 2.1 for bounded weak solutions."},{"cited_title":"LI AND W","cited_arxiv_id":null,"evidence_quote":"Provides another local-existence and uniqueness theory cited in Proposition 2.1."},{"cited_title":"NAGAI , T","cited_arxiv_id":null,"evidence_quote":"Supplies the infinite-time-collapse technique and the concentration-at-least-critical-mass lemma adapted in Section 6."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the comparison principle and grow-up estimates used in Lemma 5.2 and the stability arguments."}],"review_version":1}