{"id":"2f9303c0-2ddc-4225-8143-921ce601ffcd","arxiv_id":"2501.04576","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"For a Darcy free-boundary cell motility model with membrane undercooling and surface tension, the paper claims traveling waves bifurcate from the unstable resting disk.","lead":"This paper proves, or aims to prove, that a fluid-droplet model of a crawling cell has steadily moving shapes once the marker-force parameter crosses a threshold. The result is meant to justify the model's ability to describe persistent cell migration, but the submitted proof has gaps.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 4.1(1) is false as written: substituting ρ=0, V=0, p1=0 into (4.3) yields χ_c fact(c0), not 0, so the Crandall-Rabinowitz trivial branch is not a solution and the bifurcation proof of Theorem 1.6 lacks a valid base point.","rationale":"The reader's core objection is correct and load-bearing: the claimed trivial branch F(χ_c,0,0,0)=0 does not satisfy the functional (4.3) when M>0, because the active marker stress χ_c fact(c0) is not cancelled by any subtracted constant. The resting disk is only a solution at p1 = γ/R0 + χ_c fact(c0), so the bifurcation setup as written is invalid. I agree with the reader that this is a serious gap in the proof of Theorem 1.6. However, I would qualify one detail: the correction does not change the kernel, range, or transversality conditions in Lemma 4.1(2)–(4), since the linearization in (ρ,V,p1) is independent of the constant p1. What changes is the trivial-branch condition itself and the subsequent derivative expansions, where the χ'_c(0) fact(c0) term cancels after the shift, so the paper's conclusion χ'_c(0)=0 is no longer justified. The paper also overclaims the global parameter range χ∈(χ*_c,+∞) from a purely local bifurcation result, but I single out the false trivial branch because it breaks the existence proof at its starting point. The underlying construction may be repairable, so the rejection is appropriate for the submitted version.","tokens_in":19987,"tokens_out":13320,"duration_ms":125696,"concrete_test":"Directly evaluate F(χ_c,0,0,0) from (4.3): with κ=1/R0, c1=c0, and fund(0)=0, the first component is χ_c fact(c0), not 0. If this computation is confirmed, Lemma 4.1(1) fails for M>0 and the Crandall–Rabinowitz theorem cannot be applied at that point as stated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Lemma 4.1(1) is internally contradicted by the definition of F. Substituting ρ=0, V=0, p1=0 into (4.3) gives F_1 = γ/R0 + χ_c fact(c1(0,0)) + χ_u fund(0) − 0 − γ/R0. Since c1(0,0) = M/|B(0,R0)| = c0 and fund(0)=0, this equals χ_c fact(c0), which is nonzero when M>0 because fact is increasing with fact(0)=0. The lemma claims F(χ_c,0,0,0)=0 for all χ_c, and Crandall–Rabinowitz is applied at that point. The actual resting solution has p1 = γ/R0 + χ_c fact(c0), so p1 must be shifted by the resting active stress before the functional has a trivial branch. After such a shift, the linearized operator and the transversality computation in Lemma 4.1(2)–(4) are unchanged, but the parametrization (4.9) and the first-order expansion in Lemma 4.2 are not: the term χ'_c(0)fact(c0) that is used to force χ'_c(0)=0 cancels against the shifted constant, so the pitchfork-direction conclusion is unsupported. Thus the proof of Theorem 1.6 as written has no valid base point for the bifurcation argument.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a two-dimensional incompressible Darcy free-boundary model for cell motility in which the boundary condition involves an undercooling membrane term χ_u f_und(V_n) and an active polarity-marker term χ_c f_act(c). After deriving the traveling-wave formulation and identifying a unique radial resting state, the authors perform a linear stability analysis (Theorem 1.5) and then use a Crandall-Rabinowitz bifurcation argument (Section 4) to claim a one-parameter family of non-trivial traveling waves for every χ_c > χ_c^* (Theorem 1.6).","tokens_in":20360,"tokens_out":12317,"duration_ms":117079,"significance":"If correct, the paper would extend the existence theory for Darcy-type cell motility models beyond the χ_u = 0 case in Alazard et al. (2022), giving a rigorous example of spontaneous persistent motion with membrane undercooling. The stability threshold χ_c^* and the stabilizing role of χ_u are concrete and physically meaningful. The paper also contains useful independent computations, including the traveling-wave characterization in Proposition 1.2 and the spectral decomposition in Section 3. However, the current proof of the main existence theorem is invalid as written: the claimed trivial branch is not a solution of the bifurcation functional, and the global-in-χ statement is not supported by the local bifurcation argument. The linear stability theorem also relies on an explicitly admitted unproved extension.","major_comments":[{"comment":"Lemma 4.1(1) is false as stated. Substituting ρ = 0, V = 0, p1 = 0 into F in (4.3) gives F_1 = γ/R0 + χ_c fact(c0) + χ_u fund(0) + 0 - 0 - γ/R0 = χ_c fact(c0), since κ(0) = 1/R0, c1(0,0) = M/(πR0^2) = c0, and fund(0) = 0. For M > 0 this does not vanish because fact is increasing with fact(0) = 0. Thus F(χ_c,0,0,0) ≠ 0, so the point (χ_c^*,0,0,0) is not on a trivial solution branch and the Crandall-Rabinowitz theorem cannot be applied at that point. The actual resting state in Proposition 1.4 has p1 = γ/R0 + χ_c fact(c0), not p1 = 0. After the necessary shift p1 ↦ p1 + χ_c fact(c0), the parametrization (4.9) and the expansion in Lemma 4.2 change: the term χ'_c(0) fact(c0) that the authors use to force χ'_c(0) = 0 cancels against the shifted constant, so the pitchfork-direction conclusion is not established. The proof of Theorem 1.6 therefore has no valid base point as written.","section":"§4, Eq. (4.3), Lemma 4.1(1)"},{"comment":"The theorem claims a one-parameter family for all χ in (χ_c^*, +∞), but the proof applies the Crandall-Rabinowitz theorem, which yields a local curve near (χ_c^*,0,0,0) for a parameter s in some interval (-ε,ε). This gives χ_c(s) only in a neighborhood of χ_c^*. No continuation argument, global bifurcation theorem, or a priori bound is provided to extend the branch to the entire supercritical half-line. The statement of Theorem 1.6 is therefore not supported by the proof; at most a local bifurcation statement could follow if the base point issue in Lemma 4.1 were repaired.","section":"§4, Theorem 1.6"},{"comment":"Theorem 1.5 asserts linear stability for all χ_c < χ_c^*, but Lemma 3.4 proves non-positive real parts of the eigenvalues only under the stronger restriction χ_c ≤ 1/(a c0 f'_act(c0)). Remark 3.5 explicitly states that the extension to all χ_c < χ_c^* is not proved and is only suggested by the later bifurcation study. Since χ_c^* = (R0 + χ_u f'_und(0))/(R0 a c0 f'_act(c0)) is strictly larger than 1/(a c0 f'_act(c0)) when χ_u > 0, the stability half of Theorem 1.5 rests on an admitted unproved assertion. The authors should either prove the extension or adjust the theorem to state only the interval for which the proof is valid.","section":"§3, Remark 3.5 and Theorem 1.5"}],"minor_comments":[{"comment":"In the displayed formula for c1, the integrand contains a spurious factor c1: it should read c1 = M / ∫_Ω e^{-aV x'} dx' dy'. The current expression is dimensionally inconsistent and appears to be a typographical error.","section":"§2, proof of Proposition 1.2"},{"comment":"In the computation after equation (3.5), the notation f'_act(˜c) appears once with a tilde; this should be f'_act(c0) to match the rest of the argument.","section":"§3, proof of Lemma 3.4"},{"comment":"The word 'Differenciating' should be 'Differentiating'. There are also several misspellings such as 'soution' in the proof of Lemma 4.1 item 3.","section":"§4, Lemma 4.3"},{"comment":"Alazard et al. (2022) is cited as an arXiv preprint throughout. If a peer-reviewed version has appeared, the reference should be updated to the published venue.","section":"References"}],"recommendation":"reject","confidential_remarks":"The paper is built on the structure of Alazard et al. (2022), with which one author overlaps. That overlap is not itself problematic: the earlier paper treats χ_u = 0, while the present paper treats χ_u > 0, so there is no circular dependence on the traveling-wave result. The reason for rejection is internal to the manuscript: the trivial-branch condition in Lemma 4.1(1) is false, and the local bifurcation argument does not deliver the global-in-χ claim of Theorem 1.6. Even if the base point were repaired by shifting p1, the expansion in Lemma 4.2 and the transversality conclusion need to be redone, and the paper would still need a continuation argument for the full supercritical interval. Given the scope of these gaps, I cannot recommend a quick major revision; the current proof does not support the main theorems."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. The paper extends Alazard–Magliocca–Meunier (2022) by adding a membrane undercooling term chi_u fund(Vn), and the added term changes the linear threshold in a natural way. That is a legitimate and useful extension for the cell-motility free-boundary literature. The right scaffolding is there: traveling-wave characterization, Bessel-function eigenvalue computations, and a Crandall–Rabinowitz setup. I checked the main structural concern myself, and the reader's stress-test note holds up.\n\nThe proof as written has a load-bearing defect. Lemma 4.1(1) asserts F(chi_c,0,0,0)=0, but substituting rho=0, V=0, p1=0 into (4.3) gives chi_c fact(c0), not zero, because the resting concentration c0=M/(pi R0^2) is positive and fact(c0)>0 for M>0. The trivial branch is not a solution. The actual resting state has p1=gamma/R0+chi_c fact(c0), so the functional needs a shift; once you shift p1, the parametrization (4.9) and the cancellation forcing chi'_c(0)=0 in Lemma 4.2 are no longer what the paper computes. This is not a typo—it undermines the base point of the bifurcation theorem.\n\nTwo more soft spots, both real but less dramatic. Theorem 1.6 states existence for every chi>chi_c^*, but Crandall–Rabinowitz gives only a local branch near chi_c^*; no global continuation is supplied. And Theorem 1.5's stability claim is not fully proved: the lemma covers chi_c up to 1/(a c0 f'_act), strictly below chi_c^*, and Remark 3.5 explicitly says the full range is not proven. So both main theorems overstate what the proofs deliver.\n\nWhat's good: the extension is natural, the computations are detailed, and the paper is honest about several limitations. The dependence on Alazard et al. is methodological, not circular. The flaws look repairable: shift p1 to the resting pressure, redo the C-R derivatives, add a continuation argument or weaken the theorem, and fill the spectral gap.\n\nBottom line: I wouldn't cite this version, but I'd send it to a referee. The model and the intended results deserve a serious look, and a demanding referee could push the authors to a correct proof.","headline":"A plausible and useful extension with a clean idea, but the bifurcation proof has a false base point and both main theorems outrun the proofs.","tokens_in":91,"tokens_out":3527,"would_cite":false,"duration_ms":97047,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35R35","35B32","35B35","35C07","92C17"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that a Darcy free-boundary cell model with membrane undercooling has fixed-area traveling-wave solutions once marker activity exceeds a threshold.","keywords":["traveling waves","free boundary problem","Darcy flow","cell motility","bifurcation","linear stability","undercooling","surface tension"],"falsifier":"Substitute $\\rho=0$, $V=0$, $p_1=0$ into the first component of $F$ in (4.3): it equals $\\chi_c f_{\\mathrm{act}}(c_0)$, not zero, so the claimed trivial branch does not hold as written. Rerunning the kernel and transversality computations with the resting marker force absorbed into $p_1$ will show whether the one-dimensional kernel and the Crandall–Rabinowitz conditions survive, and a forward simulation of (1.1) just above $\\chi_c^*$ would check whether the predicted translating shape actually appears.","tokens_in":19752,"feed_emoji":"🧫","tokens_out":15177,"duration_ms":137233,"temperature":0.7,"pith_summary":"This paper aims to show that a Darcy free-boundary model of confined cell motility, supplemented by a membrane undercooling force and a marker-driven active force, reproduces spontaneous persistent motion. Below a critical marker strength $\\chi_c^*$ the unique resting disk is claimed to be linearly stable, and above it linearly unstable. The main theorem claims that for every $a\\in(0,1]$, surface tension, radius, and positive membrane strength, a one-parameter family of fixed-area traveling-wave solutions bifurcates from the disk for marker strengths above the threshold. These traveling waves are the mathematical signature of a cell that polarizes and moves without an external cue, so proving their existence is what makes the model biologically relevant.","feed_headline":"Traveling waves emerge above a marker threshold in a cell model","feed_subtitle":"The resting disk loses stability and a fixed-area moving-shape branch appears, linking model to cell motility.","key_machinery":"The load-bearing object is the functional $F:\\mathbb{R}\\times X\\times\\mathbb{R}\\times\\mathbb{R}\\to Y\\times\\mathbb{R}\\times\\mathbb{R}$ defined in (4.3), whose zero set encodes the boundary curvature equation for $x$-symmetric, $2\\pi$-periodic perturbations $\\rho$ of the disk together with the fixed-area and centering constraints. Its derivative at $(\\chi_c^*,0,0,0)$ has kernel $\\mathrm{span}\\{(0,1,0)\\}$, and the Crandall–Rabinowitz transversality condition is verified, so the implicit branch of solutions is produced. The threshold $\\chi_c^*=(R_0+\\chi_u f_{\\mathrm{und}}'(0))/(R_0 a c_0 f_{\\mathrm{act}}'(c_0))$ comes from the linearized eigenvalue calculation, and the undercooling term enters both the threshold and the branch-direction formula in Lemma 4.3.","core_discovery":"On the paper's own terms, the central discovery is a bifurcation result: at $\\chi_c=\\chi_c^*$, the linearization of the traveling-wave equations around the resting disk has a one-dimensional kernel spanned by the translation mode, and the Crandall–Rabinowitz transversality condition holds, so a branch of even, fixed-area perturbation shapes exists. Along the branch the velocity satisfies $V(s)=s+o(s)$, the shape deformation starts at second order, and in the moving frame the pressure and marker fields are explicit: $P=p_1-Vx$ and $c=c_1e^{-aVx}$. The same analysis identifies the stabilizing role of undercooling: the term $\\chi_u f_{\\mathrm{und}}(V_n)$ raises the threshold by $\\chi_u f_{\\mathrm{und}}'(0)/(R_0 a c_0 f_{\\mathrm{act}}'(c_0))$ relative to the model without membrane friction, so the membrane delays the onset of motion rather than preventing it.","pith_inferences":["The sign of $\\chi_c''(0)$ in Lemma 4.3 controls which side of $\\chi_c^*$ the branch lies on; because it depends on the second and third derivatives of $f_{\\mathrm{act}}$ and the third derivative of $f_{\\mathrm{und}}$, evaluating it for natural saturating choices such as $f_{\\mathrm{act}}(u)=\\tanh(u)$ would test the asserted parametrization over $(\\chi_c^*,\\infty)$.","A natural next step, not pursued in the paper, is to use $M$, $R_0$ or $a$ as the bifurcation parameter in the same Crandall–Rabinowitz setup; this would yield analogous thresholds and connect the onset of motion to marker mass or cell size.","In the formal limit $a\\to0$ the threshold $\\chi_c^*$ diverges, suggesting that a nonzero coupling between marker advection and boundary motion is necessary for the instability; the restriction $a\\in(0,1]$ in the theorem may be more than technical.","Stability of the bifurcating traveling-wave branch is not addressed; applying the same spectral machinery along the branch would determine whether the predicted persistent motion is observable in a time-dependent simulation."],"forward_implications":["For $\\chi_c>\\chi_c^*$ the resting disk is linearly unstable, giving a concrete symmetry-breaking mechanism for the onset of cell polarization.","A fixed-area traveling-wave family exists for all $a\\in(0,1]$, $\\gamma>0$, $R_0>0$ and $\\chi_u>0$, so the membrane undercooling term does not eliminate the motility produced by the active marker force; it only shifts the threshold.","In the moving frame $P$ and $c$ are explicit, $P=p_1-Vx$ and $c=c_1e^{-aVx}$, so the full existence problem reduces to solving the scalar curvature equation (1.7) on the boundary.","The threshold formula separates the roles of parameters: larger membrane friction raises the required marker activity, while larger marker adsorption $a$ lowers the threshold."],"supporting_citations":[{"why":"It supplies the base Darcy free-boundary cell-motility model that the paper extends with the membrane undercooling term.","marker":"Lavi et al. (2020)"},{"why":"It provides the linearization and bifurcation strategy, and the appendix-C integral identities used to compute the branch's second derivative.","marker":"Alazard et al. (2022)"},{"why":"It supplies the bifurcation-from-a-simple-eigenvalue theorem whose hypotheses the functional $F$ is set up to satisfy.","marker":"Crandall and Rabinowitz (1971)"}],"fun_headline_variants":["Bifurcation yields traveling waves in cell migration model","Threshold bifurcation gives persistent cell motion","Traveling wave branch found in Darcy cell model","Undercooling shifts threshold for traveling wave"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument presupposes that the resting disk, with zero velocity and zero added pressure, is an exact solution of the bifurcation functional for every marker strength, but substituting it into (4.3) leaves the nonzero marker force $\\chi_c f_{\\mathrm{act}}(c_0)$ unaccounted for unless that force is shifted into the pressure.","fun_headline_variants_meta":{"raw":{"variants":["Bifurcation yields traveling waves in cell migration model","Threshold bifurcation gives persistent cell motion","Traveling wave branch found in Darcy cell model","Undercooling shifts threshold for traveling wave"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000952,"raw_usage":{"total_tokens":4036,"prompt_tokens":894,"completion_tokens":3142,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":510,"completion_tokens_details":{"reasoning_tokens":3083}},"tokens_in":510,"tokens_out":3142,"duration_ms":21722,"temperature":1.0,"reasoning_tokens":3083,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T21:29:43.022912+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Substitute $\\rho=0$, $V=0$, $p_1=0$ into the first component of $F$ in (4.3): it equals $\\chi_c f_{\\mathrm{act}}(c_0)$, not zero, so the claimed trivial branch does not hold as written. Rerunning the kernel and transversality computations with the resting marker force absorbed into $p_1$ will show whether the one-dimensional kernel and the Crandall–Rabinowitz conditions survive, and a forward simulation of (1.1) just above $\\chi_c^*$ would check whether the predicted translating shape actually appears.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It supplies the bifurcation-from-a-simple-eigenvalue theorem whose hypotheses the functional $F$ is set up to satisfy."}],"review_version":1}