{"id":"fecf82d6-c0c3-4742-8480-42d9d50f93df","arxiv_id":"2608.12226","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":5,"one_line_summary":"Explicit families of entropy-admissible stationary and traveling wave solutions are constructed and classified for the 1D hyperbolic Keller-Segel system with quorum sensitivity.","lead":"This paper constructs explicit stationary and traveling wave solutions for a one-dimensional hyperbolic Keller-Segel chemotaxis model with density-dependent sensitivity. It shows that entropy conditions alone do not select a unique solution, because several families of piecewise-smooth and continuous traveling fronts exist for the same system.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The non-vacuum half of Theorem 1.2 rests on the false comparison estimate (5.36); as printed, Propositions 5.7–5.10 and the claimed non-vacuum existence and asymptotics are unproved.","rationale":"I focused on which defect most directly blocks the central claim. The one-sided far-field convention is a scope assumption and is explicitly part of the problem statement, so it is not an internal error. Lemma 4.3's misstated negation and Proposition 2.1's reversed implication are real but less central: the explicit vacuum profiles are constructed and can be checked independently, so the existence half of the vacuum case survives even if some classification wording is loose. The false inequality (5.36) is different: it is used in the only proof offered for the non-vacuum existence and asymptotics, and it is algebraically wrong for generic positive R_c,T_c. The reader's rationale already identifies (5.36) as load-bearing, though the stated weakest assumption was the far-field convention, hence partial agreement. I still recommend a conditional verdict rather than rejection because the vacuum and stationary constructions are explicit, the non-vacuum ODE construction may be repairable with a corrected comparison estimate, and there is no indication that the main theorem is false. The revision must fix (5.36), re-prove any exponential bounds that are retained, and correct Lemma 4.3 and Proposition 2.1 before the non-vacuum classification can be accepted.","tokens_in":20712,"tokens_out":16067,"duration_ms":144320,"concrete_test":"Analytical check of the implication (5.35) ⇒ (5.36): fix c=0.1, σ∞=1/2, and take R_c=1, T_c=0.01, values compatible with (5.35). Both inequalities in (5.35) hold, but the lower inequality in (5.36) reads 13.53 ≤ 1.025 and fails, isolating the algebraic invalidity. To settle whether the non-vacuum existence claim can be repaired, re-derive Proposition 5.7 with a comparison quantity V=T+λ(c)R and determine whether a constant λ(c) exists such that ∂ξV ≤ μ(c)V and a matching lower bound. If no such bound holds uniformly along the constructed integral curve, the exponential-growth statements in Propositions 5.7–5.10 must be weakened or the global-existence argument replaced.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing defect is in §5.3.1, where the non-vacuum traveling-wave construction is completed. Equation (5.35) gives ∂ξV = R_c + αT_c with V = T_c + (1/(2c))R_c and α = 1/(2c) − σ_c(1−σ_c)/c ∈ [1/(4c), 1/(2c)). The paper then asserts (5.36), namely (1/(4c)+2c)V ≤ ∂ξV < (1/(2c)+2c)V. This does not follow from (5.35) and positivity of R_c,T_c: the lower bound would require R_c + (1/(4c))T_c ≥ (1/(4c)+2c)(T_c + (1/(2c))R_c), which is false for typical positive values. For instance c=0.1, R_c=1, T_c=0.01 satisfies (5.35), but the claimed lower bound gives 2.7·(5.01) ≈ 13.5 while ∂ξV is only about 1.025. Hence the exponential bounds (5.37) and the asymptotic statements in Propositions 5.7–5.10 are unsupported. Because Theorem 1.2's non-vacuum clause is proved by those propositions, the central claim is not established as written. This is a concrete algebraic error, not a matter of convention; the comparison function V is not coercive for the lower direction, so a different c-dependent estimate is required.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs stationary and traveling wave solutions for the one-dimensional hyperbolic Keller-Segel system with quorum sensitivity, under one-sided far-field conditions. For the vacuum far-field case it classifies stationary profiles and builds both continuous and single-jump traveling waves for c>0 and c<0. For the non-vacuum far-field case, after reducing σ∞=1 by symmetry, it claims that all nontrivial traveling profiles are continuous and characterizes them by four families. The intended contribution is to exhibit explicit entropy-admissible weak solutions and thereby show that the entropy condition alone does not select uniqueness. The stationary and vacuum sections are largely self-contained and explicit, with jump conditions checked by hand. The non-vacuum construction, however, rests on a comparison estimate, Eq. (5.36), that is algebraically false, and the claimed global exponential bounds in Propositions 5.7–5.10 are therefore unsupported. The proof of the entropy jump condition in Proposition 2.1 is also circular as written.","tokens_in":20984,"tokens_out":20373,"duration_ms":193879,"significance":"If the non-vacuum part were correctly proved, the paper would give a valuable explicit family of entropy-admissible weak solutions, including piecewise smooth profiles, and would provide a clean demonstration that the entropy inequality (2.4) is not a uniqueness selection criterion. The stationary and vacuum traveling-wave constructions are explicit, parameterized by A0, c, and σ∞, and the entropy checks for those jumps are concrete and verifiable. These parts represent a solid contribution. However, the main theorem’s non-vacuum clause is load-bearing for the paper’s central claim, and that clause is not established as printed because Eq. (5.36) is false and because the proof of Proposition 2.1 is circular. The defect is local and appears fixable in principle, but it is not a presentational issue: it directly invalidates the derivation of (5.37) and hence the asserted asymptotics and global existence in Propositions 5.7–5.10.","major_comments":[{"comment":"Equation (5.36) is false. With V=Tc+Rc/(2c), equation (5.35) gives ∂ξV=Rc+αTc with α=1/(2c)−σc(1−σc)/c ∈ [1/(4c), 1/(2c)). The claimed lower bound (1/(4c)+2c)V ≤ ∂ξV would require Rc(1−(1/(4c)+2c)/(2c)) + Tc(α−(1/(4c)+2c)) ≥ 0. Since (1/(4c)+2c)/(2c) = 1/(8c^2)+1 > 1, the coefficient of Rc is negative, so the inequality fails whenever Rc is large relative to Tc. For example, c=0.1, Rc=1, Tc=0.01 satisfy (5.35) but give ∂ξV ≈ 1.025–1.05, whereas (1/(4c)+2c)V ≈ 13.5. Consequently the exponential bounds (5.37) are unsupported. Since Proposition 5.7 items 2–3 use (5.37) for global existence and asymptotics, and since Propositions 5.8–5.10 say the proof follows by analogous comparison arguments, the non-vacuum half of Theorem 1.2 is not proved as written. A correct lower comparison coefficient would have to be of the form min(2c, 1/(4c)) (or arise from a different c-dependent estimate), not the sum 2c+1/(4c).","section":"§5.3.1, Eq. (5.36)"},{"comment":"The proof of Proposition 2.1 is circular. After deriving the Rankine–Hugoniot relations (2.14)–(2.16), the authors introduce Kružkov entropies and, in the case σ−≤σ0≤σ+, write “Thus (2.10) implies (2.19)” and similarly in the reverse case. But (2.10) is exactly the statement being proved. The entropy inequality (2.16) should be used to derive (2.19) and its counterpart; as printed, the key jump condition (2.10), which is used throughout Sections 3–5 to rule out discontinuities, is not established. This is a local but load-bearing gap in the admissibility verification.","section":"§2, Proposition 2.1"},{"comment":"The construction of the integral curve for (5.38) through (R++,Y++)=(0,0) is not fully justified. The right-hand side of (5.38) is not Lipschitz in Y at Y=0, because σc(√Y) has the expansion σ∞+c1√Y+o(√Y) with c1>0 by (5.39), so the Picard–Lindelöf theorem does not apply at the origin. The ε→0 limit and bootstrap give a solution, but the sentence “Thus one can conclude that (R++,Y++,0(R++)) is the unique integral curve for (5.38) passing through (R++,Y++)=(0,0)” does not follow from the displayed estimates; multiple tangent directions at the origin are not excluded. Since Proposition 5.7 item 1 asserts uniqueness of this curve, the non-vacuum classification needs an additional argument here.","section":"§5.3.1, integral curve construction"}],"minor_comments":[{"comment":"In Propositions 5.9 and 5.10, item 2 says the ODE system is “with (5.46)”, but for those cases the correct formulas are (5.51) and (5.56), respectively.","section":"§5.3.3 and §5.3.4"},{"comment":"The sentence “for some 0<−2c<c1” is unclear; presumably a positive lower bound comparable to |c| was intended, and the notation should be made precise.","section":"§4.3.1, after (4.67)"},{"comment":"The phrase “provided that the solution to (5.30)” is an incomplete sentence; it should read “provided that the solution to (5.30) exists.”","section":"§5.3.1, after (5.37)"},{"comment":"The argument that ξ2=∞ should state explicitly that continuity of Sc and Yc at ξ2 follows from (2.8); as written the contradiction in (4.53) is compressed and easy to misread.","section":"§4.2.2, paragraph before Proposition 4.7"},{"comment":"The phrase “complete classification” overstates what is proved: the theorems establish existence of explicit families, and for the non-vacuum case the classification claim is conditional on Definition 4.1 and on the repairs described above. The wording of the conclusion should be aligned with the precise statements of Theorems 1.1–1.2.","section":"§6 Conclusion"}],"recommendation":"major_revision","confidential_remarks":"The non-vacuum half is the novel part of the paper, and the false inequality in Eq. (5.36) is an algebraic error that should be correctable in revision. I do not see circularity in the overall project, only in the local proof of Proposition 2.1. If the authors can supply a correct c-dependent comparison estimate and close the uniqueness gap for the integral curve at the origin, the paper would be publishable. The stationary and vacuum sections appear sound on their own."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the paper has two halves. The vacuum half (Sections 3–4) is a clean, genuinely new construction: explicit piecewise-smooth stationary waves and continuous/discontinuous traveling waves with entropy admissibility, plus a nice classification of admissible jumps for c ≠ 0. The ODE reductions are standard, but the entropy analysis is careful and the exponential bounds in Lemmas 4.5–4.6 appear correct. That part I would trust after a normal referee pass.\n\nThe non-vacuum half (Section 5) is where the load-bearing problem sits. The paper asserts (5.36), a two-sided linear comparison for V = T_c + (1/(2c))R_c. The upper bound is fine; the lower bound is not. From (5.35) you get ∂ξV = R_c + αT_c with α ∈ [1/(4c), 1/(2c)). To get (1/(4c)+2c)V as a lower bound you need R_c + αT_c ≥ (1/(4c)+2c)T_c + (1+1/(8c^2))R_c, which forces αT_c to dominate a positive multiple of R_c. That can't hold when R_c/T_c is large; the stress-test example c=0.1, R=1, T=0.01 kills it with margin. The correct uniform lower coefficient is min(2c, 1/(4c)), not the sum. Because the exponential bounds (5.37) come from this comparison, the global existence and asymptotic statements in Propositions 5.7–5.10 are unsupported as written. The classification might still be true and repairable, but the present proof does not close.\n\nTwo smaller issues are worth fixing. In Lemma 4.3, the negation of 'eventually vacuum to the left' is not 'positive on a left half-line'; you need a sequence ξ_n → −∞ with σ(ξ_n)>0. The conclusion still goes through, but the proof as written makes a false claim. In Proposition 2.1, after deriving the Kružkov inequality the text says the target condition (2.10) implies the intermediate (2.19); that direction is true but irrelevant. The proof needs the entropy inequality to yield (2.19), which then yields (2.10). Both are wording/logic fixes, not conceptual.\n\nOne caveat: the one-sided far-field convention is imposed, so this is a classification of semi-waves, not all bounded traveling fronts. That's a stated assumption, not an error.\n\nBottom line: the vacuum half is worth publishing; the non-vacuum half is plausible but unproved. I'd send it to a careful referee, with a clear request to fix (5.36). If the repair works, this is a useful paper for PDE folks working on chemotaxis and entropy selection.","headline":"The vacuum half of this paper is new and sound; the non-vacuum half, as written, rests on a false inequality that leaves Theorem 1.2's main clause unproved, though the flaw is local and fixable.","tokens_in":21560,"tokens_out":7557,"would_cite":false,"duration_ms":59797,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35D30","35L03","35Q92"],"pacs":[],"model":"deepseek-v4-flash","headline":"The 1D hyperbolic Keller-Segel system admits entropy-admissible traveling waves for every speed; non-vacuum profiles are necessarily continuous.","keywords":["hyperbolic Keller-Segel equations","traveling wave solutions","quorum sensitivity","entropy weak solutions","Rankine-Hugoniot jump conditions","vacuum far field","non-vacuum far field","non-uniqueness"],"falsifier":"Numerically shoot the non-vacuum profile equations with far-field data $\\sigma(-\\infty)=\\sigma_\\infty$, $S(-\\infty)=\\sigma_\\infty$, but $\\partial_\\xi S(-\\infty)=\\delta\\neq 0$: any bounded entropy-admissible solution of (1.1) found this way would lie outside the four families of Propositions 5.7-5.10 and would refute exhaustiveness of the classification.","tokens_in":20425,"feed_emoji":"🦠","tokens_out":8216,"duration_ms":83372,"temperature":0.7,"pith_summary":"This paper proves that the one-dimensional hyperbolic Keller-Segel system with quorum sensitivity admits traveling wave solutions for every wave speed, under a one-sided far-field condition. The waves are piecewise smooth in the moving frame and satisfy the entropy inequality at any discontinuity. In the vacuum far-field case the profiles may be continuous or contain exactly one jump, with the jump direction fixed by the sign of the speed. In the non-vacuum case all traveling profiles are continuous and split into four families according to the sign of the speed and whether the density lies above or below the far-field value. The construction matters because it supplies explicit global weak solutions and shows that the entropy inequality alone does not select a unique solution.","feed_headline":"Every speed has a traveling wave in the hyperbolic Keller-Segel model","feed_subtitle":"Vacuum fronts may jump; non-vacuum entropy-admissible waves must stay continuous.","key_machinery":"The organizing object is the reduced profile system obtained in the moving frame $\\xi=x-ct$. Integrating the first PDE once and using the far-field condition fixes a flux constant: in the vacuum case the zero-flux relation $-c\\sigma_c+\\sigma_c(1-\\sigma_c)\\partial_\\xi S_c=0$, and in the non-vacuum case equation (5.13). On any interval where $\\sigma_c>0$ this relation expresses $\\sigma_c$ algebraically in terms of $\\partial_\\xi S_c$, converting the PDE pair into a two-dimensional ODE system for $(S_c,\\partial_\\xi S_c)$; the entropy inequality supplies Rankine-Hugoniot conditions (2.8)-(2.10) that select admissible jumps. For the non-vacuum case the algebraic relation is a quadratic, $p(x)=0$, and the proof of continuity rests on the fact that $p(\\sigma_\\infty)<0$, so the two possible values at a jump would straddle $\\sigma_\\infty$ and force a sign change in $\\partial_\\xi S_c$, violating the entropy condition.","core_discovery":"The paper's central claim is Theorem 1.2: for every $c\\in\\mathbb{R}$ there exist traveling wave solutions $\\sigma(t,x)=\\sigma_c(x-ct)$, $S(t,x)=S_c(x-ct)$ of system (1.1) satisfying the entropy inequality (2.4), with either vacuum far field (1.2) or non-vacuum far field (1.3). In the vacuum case the classification gives continuous right-going and left-going profiles as well as profiles with a single jump, with the entropy condition permitting a jump only between a vacuum state and a non-vacuum state and fixing the required sign of the speed. In the non-vacuum case, for $\\sigma_\\infty\\in(0,1)$, Propositions 5.6 through 5.10 show that every non-trivial traveling profile is continuous, never touches the far-field value except at infinity, and belongs to one of four families determined by the sign of $c$ and whether $\\sigma_c$ stays above or below $\\sigma_\\infty$. A companion classification of stationary solutions gives one-parameter families with a single jump. The paper's stated conclusion is that these results provide explicit examples of the non-uniqueness of entropy-admissible weak solutions and highlight the limitations of the entropy condition as a selection criterion.","pith_inferences":["If the one-sided semi-wave convention were replaced by a two-sided far-field condition, the integration constant in the flux relation would generally be nonzero; the classification would likely become a family parameterized by that constant, and shocks connecting non-vacuum states might reappear.","The non-vacuum no-jump result suggests that, for initial data near a non-vacuum equilibrium, shocks formed dynamically by the Burgers-type nonlinearity cannot asymptotically persist as traveling discontinuities; they must either be smoothed out or leave the observable profile.","A natural next step is a stability analysis of these explicit profiles; the exponential asymptotics in Propositions 5.7-5.10 give concrete linearized operators for such a study.","One could test exhaustiveness numerically by shooting from the far field with a modified boundary condition on $\\partial_\\xi S_c$; a bounded entropy-admissible profile found there would lie outside the stated classification."],"forward_implications":["For every speed $c$ there is an explicit global weak solution to (1.1), so the entropy-admissible solution set is non-empty beyond the stationary states.","With vacuum far field, entropy permits both continuous and single-jump traveling waves; the jump must connect vacuum to a non-vacuum state, with $c<0$ for a vacuum-to-active jump and $c>0$ for an active-to-vacuum jump.","With non-vacuum far field in $(0,1)$, no entropy-admissible traveling wave can carry a shock; any moving discontinuity would have to connect states on opposite sides of $\\sigma_\\infty$, which contradicts the jump sign condition.","The stationary classification includes one-parameter families of piecewise smooth solutions, giving further concrete instances where the entropy inequality fails to single out a unique weak solution.","The saturated case $\\sigma_\\infty=1$ is reduced to the vacuum case by the change of variables $\\eta=1-\\sigma$, $Q=1-S$."],"supporting_citations":[{"why":"Provides the global entropy weak solution framework and the entropy inequality (2.4) that the traveling waves are required to satisfy.","marker":"[24]"},{"why":"Supplies the Kruzhkov absolute-value entropies used to derive the shock admissibility sign condition (2.10).","marker":"[16]"},{"why":"Establishes finite-time shock formation in the hyperbolic Keller-Segel model, motivating the study of admissible traveling discontinuities.","marker":"[17]"}],"fun_headline_variants":["Every speed yields a traveling wave in hyperbolic Keller-Segel","Traveling waves for all speeds, with entropy picking jump type","Entropy condition allows jumps only from vacuum in Keller-Segel","All c in R: piece-wise smooth waves in 1D Keller-Segel"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing assumption is that the profile reaches its far-field equilibrium with $\\partial_\\xi S_c\\to 0$, because that is what fixes the integration constant; if a bounded front approaches infinity with a non-vanishing or oscillatory derivative, the classification need not be exhaustive.","fun_headline_variants_meta":{"raw":{"variants":["Every speed yields a traveling wave in hyperbolic Keller-Segel","Traveling waves for all speeds, with entropy picking jump type","Entropy condition allows jumps only from vacuum in Keller-Segel","All c in R: piece-wise smooth waves in 1D Keller-Segel"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000351,"raw_usage":{"total_tokens":1861,"prompt_tokens":836,"completion_tokens":1025,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":452,"completion_tokens_details":{"reasoning_tokens":948}},"tokens_in":452,"tokens_out":1025,"duration_ms":9725,"temperature":1.0,"reasoning_tokens":948,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:15:17.137524+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically shoot the non-vacuum profile equations with far-field data $\\sigma(-\\infty)=\\sigma_\\infty$, $S(-\\infty)=\\sigma_\\infty$, but $\\partial_\\xi S(-\\infty)=\\delta\\neq 0$: any bounded entropy-admissible solution of (1.1) found this way would lie outside the four families of Propositions 5.7-5.10 and would refute exhaustiveness of the classification.","supporting_citations":[{"cited_title":"Existence of Solutions of the Hyperbolic Keller-Segel Model.Transactions of the American Mathematical Society, 361(5):2319– 2335, 2009","cited_arxiv_id":null,"evidence_quote":"Provides the global entropy weak solution framework and the entropy inequality (2.4) that the traveling waves are required to satisfy."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Kruzhkov absolute-value entropies used to derive the shock admissibility sign condition (2.10)."},{"cited_title":"Threshold for shock formation in the hyperbolic Keller–Segel model.Applied Mathematics Letters, 50:56–63, December 2015","cited_arxiv_id":null,"evidence_quote":"Establishes finite-time shock formation in the hyperbolic Keller-Segel model, motivating the study of admissible traveling discontinuities."}],"review_version":1}