{"id":"45c88473-7c66-4c45-aacf-e0e4ddeb8051","arxiv_id":"2412.16376","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a new 1D boundary-layer model of the porous media equation with nonlocal velocity, smooth even data that vanish at the origin and increase toward the edge lose smoothness in finite time.","lead":"The authors propose a one-dimensional boundary-layer model for the 2D incompressible porous media equation and prove that certain smooth, even initial data lose smoothness in finite time. The work provides a new rigorously analyzed testbed for the open question of whether smooth IPM solutions can blow up.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 4.3 depends on three hand-verified monotonicity/sign claims; a single failure would break the J(t) Gronwall argument behind Theorem 1.2.","rationale":"The reader's weakest-assumption analysis and my stress-test identify the same load-bearing point: Proposition 4.3 is the crux of Theorem 1.2, and its proof defers the decisive monotonicity and sign computations to 'by hand' verifications. I checked the structure of the argument and the displayed formulas; the reduction J' >= c J^2 is clean, Lemma 4.2 and the use of the BKM-type criterion are standard, and the cited inequality from [26] is external and legitimate. The only place where a hidden error could kill the central claim is the unshown verification inside Proposition 4.3. I do not see evidence that the claim is false: the displayed formulas are plausible, and quick numerical sampling of Ga at representative parameters is consistent with the stated monotonicity. However, because the proof of Theorem 1.2 has no fallback if any of these assertions fails, and because the manuscript does not display the required derivative estimates, a conditional verdict is appropriate pending independent verification. This does not move the reader's verdict, so I recommend UNCHANGED.","tokens_in":16225,"tokens_out":21112,"duration_ms":169831,"concrete_test":"Use a computer algebra system to symbolically differentiate the logarithm defining Ga in (4.3) and check: (i) sign of partial_y Ga(x,y) on [0,x) and (x,2x]; (ii) sign of d/dx [Ga(x,qx)-Ga(x,x/q)] on (0, 2pi/(q-1)); (iii) sign of d/dx [-Ga(x,qx)] on (0, 2pi/q). Then evaluate the resulting expressions on a dense grid of parameters, e.g. a in [1e-2, 1e2], q in (1.01, 1.99), and x in the stated intervals, to confirm no counterexample hides in a corner of parameter space.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.2 is reduced to the ODE J'(t) >= c J(t)^2, and the only input that produces this inequality is Proposition 4.3, specifically the weighted estimate (4.2). The proof of Proposition 4.3 in Section 4 contains the least secure step of the paper: after Lemma 4.5, the argument relies on three assertions that are said to follow by 'elementary (if somewhat lengthy) estimates' and 'one can verify by hand': (a) Ga(x, .) is increasing on (x, 2x] and decreasing on [0, x), with zeros at 0 and 2x; (b) Ga(x, qx) - Ga(x, x/q) is strictly decreasing in x on (0, 2pi/(q-1)) and has a zero at x* = 2pi q/((q+1)(q-1)); (c) -Ga(x, qx) is strictly decreasing in x on [0, 2pi/q] and vanishes at x = 2pi/q. These three checks are exactly what converts the kernel bound of Lemma 4.5 into the positive lower bound (4.2). If any sign or monotonicity statement fails for some a > 0 or q in (1,2), the lower bound on J'(t) collapses and the finite-time blow-up conclusion no longer follows. This is a verification gap rather than an inconsistency with known results; the local well-posedness and BKM parts are standard. The concern is concrete and can be settled by direct computation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a one-dimensional transport equation, (1.2), with nonlocal velocity u = gH_aρ, as a model for the boundary trace of the 2D incompressible porous media (IPM) equation on the periodic half-plane. The kernel K_a interpolates between zero and the Hilbert kernel, and the authors argue that the resulting equation is a natural analogue of the Córdoba-Córdoba-Fontelos (CCF) model. The main results are local well-posedness in C^∞(T) (Theorem 1.1) and finite-time blow-up for smooth, even, nonnegative initial data with ρ0(0)=0 and ρ0′≥0 on [0,π) (Theorem 1.2). The blow-up proof combines a Beale-Kato-Majda type criterion, preservation of monotonicity, and a weighted inequality for H_a (Proposition 4.3) to derive a Gronwall-type lower bound on J(t)=∫_0^{π/2} ρ(x,t)x^{-1-δ}dx.","tokens_in":16533,"tokens_out":22744,"duration_ms":189905,"significance":"If Proposition 4.3 is fully justified, the paper provides a clean and interesting finite-time blow-up result for a new 1D model related to IPM. The model derivation is transparent, the local well-posedness argument is standard but competently executed, and the blow-up mechanism is elegant: a weighted functional naturally yields J′ ≥ cJ². The paper also gives an honest discussion of the heuristic nature of the boundary-layer ansatz and of the formal connection to the CCF equation. These are strengths. The main weakness is that the central weighted inequality rests on several monotonicity computations that are only described as hand-verified; moreover, one step in the proof of Theorem 1.2 appears not to follow from the stated hypotheses. Both issues are fixable but are load-bearing for the advertised result.","major_comments":[{"comment":"The line \"As J(0) > 0\" is not a consequence of the hypotheses. For example, take a smooth, even, 2π-periodic, nonnegative function ρ0 that vanishes on [0,π/2], is strictly increasing on (π/2,π−ε), and is constant on a small neighborhood of π. Then ρ0 is non-identically zero, ρ0(0)=0, and ρ0′≥0 on [0,π), but J(0)=∫_0^{π/2} ρ0(x)x^{-1-δ}dx = 0. The Gronwall argument therefore cannot start for this admissible initial datum. Either add a hypothesis such as ρ0 positive on a set of positive measure in (0,π/2], or prove that J(t)>0 for every t>0 by exploiting the leftward drift of the flow; as written, the proof has a gap.","section":"§4, proof of Theorem 1.2"},{"comment":"The proof of the weighted inequality (4.2) is incomplete. After Lemma 4.5, the argument depends on three assertions that are verified only through phrases like \"by hand\", \"elementary (if somewhat lengthy) estimates\", and \"one can verify by hand\": (i) G_a(x,·) is increasing on (x,2x] and decreasing on [0,x); (ii) G_a(x,qx)−G_a(x,x/q) is strictly decreasing on (0,2π/(q−1)) and has a zero at x*; and (iii) −G_a(x,qx) is strictly decreasing on [0,2π/q] and vanishes at 2π/q. These statements are exactly what converts Lemma 4.5 into the positive lower bound (4.2); if any sign or monotonicity assertion fails, the lower bound on J′(t) collapses. The manuscript should supply the full computations, or provide a documented computer-assisted verification, for these claims.","section":"§4, Proposition 4.3"}],"minor_comments":[{"comment":"The assertion u(π,t)=0 should be justified explicitly by evenness and periodicity; the current sentence states it without explaining why H_aρ(π,t)=0 for even ρ.","section":"§4, Lemma 4.2"},{"comment":"The estimate taken from the proof of Proposition 6.4 in [26] should be stated as a self-contained lemma with its precise hypotheses and constant, since the present application uses f on [0,π/2] while evaluating f(qx) and f(x/q), and the reader should be able to check that the conditions are met.","section":"§4, Proposition 4.3"},{"comment":"The boundary-layer ansatz ρ(x,t)=ρ(x1,0,t)χ_[0,a](x2) is only heuristic, and Remark 2.1 acknowledges this; still, the introduction should state more prominently that the model is derived under a formal ansatz, not as an exact reduction of IPM.","section":"§2.1 and Remark 2.1"},{"comment":"The passage a→∞ is purely formal; since H_a converges to H in L² operator norm but not in norms relevant to the pointwise inequality, the sentence about obtaining a blow-up solution of CCF should be labeled explicitly as a heuristic.","section":"§2.3"},{"comment":"There are minor typos: \"well-possedness\" in Remark 2.1, \"maximal principle\" should be \"maximum principle\" in Section 2.3, and \"propogation\" should be \"propagation\" in Remark 4.6.","section":"Various"},{"comment":"The axes of Figure 1 are not labeled; adding labels for x1 and the boundary trace would improve readability.","section":"Figure 1"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of the journal and the overall strategy is sound. The main concern is the unverified computational core of Proposition 4.3; if the authors provide complete computations or a rigorous computer-assisted check, and also fix the J(0)>0 gap in Theorem 1.2, I would be willing to support publication. The novelty is incremental but the model and blow-up mechanism are of interest to the community."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper to know: Kiselev and Sarsam introduce the first 1D model for the IPM boundary-layer evolution and prove finite-time blow-up for a natural class of initial data. The model (1.2) with kernel K_a is new; it interpolates between the zero operator and the Hilbert transform as a varies. The blow-up proof follows the CCF template but required real work: a new weighted inequality (4.2) for H_a, obtained through kernel analysis in Lemma 4.5 and Proposition 4.3. If the estimates hold, Theorem 1.2 is solid and the paper gives the field a useful testbed for IPM singularity formation.\n\nThe local well-posedness and BKM criterion parts are standard and clean. The discussion connecting the model to CCF and to the IPM boundary layer is thoughtful, and Remark 4.6 about the real line is a nice addition.\n\nThe soft spot is exactly where the stress-test note lands: Proposition 4.3. The decisive step is the assertion that G_a(x,qx) − G_a(x,x/q) is strictly decreasing and −G_a(x,qx) is strictly decreasing, with the latter vanishing at 2π/q. These are described as 'elementary (if somewhat lengthy) estimates' and 'one can verify by hand.' They are load-bearing: if any sign or monotonicity claim fails for some a > 0 or q ∈ (1,2), the lower bound on J'(t) collapses and the blow-up proof fails. This is a real verification gap, not a manufactured one. It is likely fixable with more detailed estimates or a computer-assisted check, but as written the proof is incomplete. The sign analysis in Lemma 4.5 has a similar flavor, though less severe.\n\nProp 4.1 is delegated to an 'immediate adaptation' of [18]; minor. No circularity or data fitting; the parameter a is not tuned. Citation pattern is proper; the borrowing from [26] is credited.\n\nOverall, this is a well-motivated paper with a plausible core argument and an honestly stated limitation. It deserves a serious referee, not a desk reject. My recommendation: send it to peer review, and the referee should demand a complete proof of the monotonicity claims in Prop 4.3 before acceptance. For a reading group, it is a maybe — the architecture is instructive, but the hand-verified estimates make evaluation awkward without doing the computations yourself.","headline":"A new 1D IPM boundary-layer model with a plausible finite-time blow-up proof, held back only by hand-verified monotonicity estimates that need to be made rigorous.","tokens_in":17068,"tokens_out":2482,"would_cite":true,"duration_ms":21415,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["76B03","35Q35","76S05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that smooth, bounded, even, nonnegative periodic data with a zero at the origin and monotone increase toward the boundary lose smoothness in finite time in a proposed 1D model of the incompressible porous media equation.","keywords":["one-dimensional fluid model","singularity formation","IPM equation","finite-time blow-up","active scalar","nonlocal velocity","Córdoba-Córdoba-Fontelos equation","boundary layer"],"falsifier":"A numerical evaluation of $G_a(x,qx)-G_a(x,x/q)$ and $-G_a(x,qx)$ for a fixed $a>0$ and $10$, if the initial density $\\rho_0$ is smooth, bounded, nonnegative, even, non-identically zero on the circle, with $\\rho_0(0)=0$ and $\\rho_0'(x)\\ge 0$ on $[0,\\pi)$, then the unique local smooth solution to (1.2) satisfies $\\lim_{t\\to T^*}\\int_0^t \\|\\partial_x \\rho(\\cdot,s)\\|_\\infty\\, ds = \\infty$ for some finite $T^*$, so $\\rho$ cannot remain in $C^\\infty(\\mathbb{T})$ for all time. The proof couples a Beale-Kato-Majda type criterion (Proposition 4.1) with a weighted inequality for $H_a$ (Proposition 4.3) that gives $J'(t) \\ge cJ(t)^2$ for $J(t)=\\int_0^{\\pi/2} \\rho(x,t)/x^{1+\\delta}\\, dx$, forcing finite-time blow-up of this functional and hence of the derivative norm.","pith_inferences":["Quantitative versions of the constant $C_{a,\\sigma}$ in Proposition 4.3 would yield an explicit upper bound on the blow-up time, $T^* \\le (g\\,C_{a,\\delta}\\,J(0))^{-1}$, which numerical simulations of (1.2) could check directly.","The same weighted-inequality strategy may adapt to the finite periodic channel $\\mathbb{T}\\times(0,1)$, where the Green's function is more involved but approximates the half-plane Green's function near the boundary; proving the analogue would turn the authors' suspicion about a more confined geometry into a theorem.","Because the model keeps the $L^\\infty$ norm of the density constant while derivatives blow up, it predicts that singularities in the physical IPM boundary layer can form without unbounded density—an observation that could guide numerical searches for blow-up in the two-dimensional IPM equation.","The formal limit $a\\to\\infty$ suggests a program to prove blow-up for the nonlocal transport equation with Hilbert kernel directly from a limiting version of the weighted inequality, removing the regularization parameter."],"forward_implications":["For the class of initial data in Theorem 1.2, the model (1.2) exhibits finite-time loss of smoothness for every choice of $a,g>0$, with the density remaining nonnegative and bounded up to the blow-up time.","Since $H_a$ approaches the Hilbert transform as $a\\to\\infty$, the blow-up result formally suggests finite-time blow-up for the CCF equation with the same initial-data profile (modulo a sign change).","A Beale-Kato-Majda type criterion holds for the model: the first blow-up time is characterized by divergence of $\\int_0^t \\|\\partial_x \\rho\\|_\\infty\\, ds$, so singularity formation is driven purely by the derivative.","The same construction on the real line gives finite-time blow-up for smooth nonnegative even bounded data, and compactly supported modifications of such data should still blow up in finite time because the equation has finite speed of propagation.","The model preserves the symmetry class: evenness, nonnegativity, the zero at the origin, and monotonicity on the half-period all persist until blow-up, so the singularity forms within the same monotone boundary-layer profile."],"supporting_citations":[{"why":"Supplies the monotonicity-based integral inequality (Proposition 6.4) used to complete Proposition 4.3, the key weighted estimate.","marker":"[26]"},{"why":"Provides the Beale-Kato-Majda type criterion (Proposition 5.2) adapted as Proposition 4.1 to turn derivative blow-up into loss of smoothness.","marker":"[18]"},{"why":"Introduces the CCF equation whose blow-up analysis and symmetry properties motivate the model (1.2) and the choice of initial data.","marker":"[13]"}],"fun_headline_variants":["1D porous media model blows up in finite time","Finite-time singularity in a 1D IPM boundary model","Simplified porous media equation has finite-time blow-up","Proof: 1D analog of porous media develops singularity","Blow-up proven for one-dimensional porous media model"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The blow-up proof hinges on a hand-verified claim about the kernel comparison function $G_a$: the difference $G_a(x,qx)-G_a(x,x/q)$ is strictly decreasing and $-G_a(x,qx)$ is strictly decreasing with $-G_a(2\\pi/q,2\\pi)=0$; if any of these monotonicity or sign assertions fails, the weighted lower bound collapses.","fun_headline_variants_meta":{"raw":{"variants":["1D porous media model blows up in finite time","Finite-time singularity in a 1D IPM boundary model","Simplified porous media equation has finite-time blow-up","Proof: 1D analog of porous media develops singularity","Blow-up proven for one-dimensional porous media model"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000222,"raw_usage":{"total_tokens":1430,"prompt_tokens":900,"completion_tokens":530,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":516,"completion_tokens_details":{"reasoning_tokens":450}},"tokens_in":516,"tokens_out":530,"duration_ms":4775,"temperature":1.0,"reasoning_tokens":450,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T10:38:23.617422+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A numerical evaluation of $G_a(x,qx)-G_a(x,x/q)$ and $-G_a(x,qx)$ for a fixed $a>0$ and $1