{"id":"3f343391-16c4-4f70-aed5-fcabaa0b0258","arxiv_id":"2504.16296","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors classify global phase portraits of the traveling-wave ODE for a Burgers-Huxley equation, but the classification rests on an unverified assumption and incomplete proofs.","lead":"This paper studies a math model of waves in nerve fibers and liquid crystals and claims a complete list of possible wave shapes. The proof is incomplete: it assumes without proof that no closed loops exist for certain speeds, and several cases are only sketched.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1 is conditional: the paper explicitly assumes, without proof, that no closed orbits exist for 0<c<1, and a single limit cycle would invalidate the classification.","rationale":"The reader's weakest assumption is exactly the 0<c<1 no-limit-cycle premise, and I agree: the manuscript contains an explicit admission that the classification for this range is made without a proof. This is the single most load-bearing weakness because Theorem 1's seven-portrait classification is the paper's central ODE claim and the basis for the geometric interpretation of traveling waves. The authors are honest about the gap, but honesty does not make the theorem proven. I also note a second gap: Cases IV–VII are delegated to 'similar arguments' and no separatrix-connection proof is written out; even with the limit-cycle issue settled, the classification would need those arguments. However, the explicit numerical assumption is the sharper, more checkable defect, so I keep it as the primary concern. The concrete test I propose is the minimal way to see whether the assumption is actually false; if it is not false, the paper still needs the missing proof before the theorem can be accepted as stated. Since the reader already rejected for this reason, my read does not change the verdict.","tokens_in":13017,"tokens_out":10786,"duration_ms":113940,"concrete_test":"Run an interval-arithmetic validated search for a transverse periodic orbit of systems (5) on the Poincaré disk for the representative case n=1, k=1, c=0.5 and scan c=0.1,0.2,...,0.9. A found periodic orbit would immediately falsify Theorem 1 Case I. If no periodic orbit is found within a rigorous enclosure of the region where the divergence changes sign, that supports the authors' numerical premise; the remaining proof gap can then be closed only by an analytic Bendixson–Dulac function or a direct argument, without which Theorem 1 should be stated conditionally.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 2 contains the operative admission: 'numerical simulations suggest that these systems do not present closed orbits if 0<c<1. Thus, the study of the global phase portrait of systems (5) for 0<c<1 will be made without considering the possible existence of limit cycles.' Lemma 1 proves absence of closed orbits only for c≥1. The unproven range 0<c<1 appears in Case I and in the 0<c<1 parts of Cases IV.1, V.1, VI.1 and VII.1, so those portraits are all contingent. Since E0 is a stable focus for 0<c<2 and the nonlinear damping x^k−c changes sign, a Hopf-type or large-amplitude limit cycle around E0 is not excluded by the arguments given. One such cycle would alter the separatrix configuration and falsify Theorem 1 as stated. Section 3 does not repair this: Case I is 'analysed without taking into account the possible existence of limit cycles,' and Cases IV–VII are merely said to follow by similar arguments. Theorem 2 itself is restricted to c≥2 and so is not directly hit by this gap, but the headline global classification of the ODE family is unproved.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies traveling wave solutions of the Burgers-Huxley equation w_t + w^k w_z = w_zz + w^m(1-w^n). For m=1, n in {1,2}, and k in N, the traveling wave ansatz reduces the PDE to the planar polynomial system (5). The authors use Poincaré compactification and quasi-homogeneous blow-ups to analyze the local behavior at finite and infinite equilibria, and then assert in Theorem 1 that systems (5) have seven distinct global phase portraits, with some pairs declared topologically equivalent. In Theorem 2, they claim that for every c>=2, n in {1,2}, and k in N, there is a traveling wave solution connecting (1,0) to (0,0) with prescribed limits. The paper provides detailed blow-up analyses for the infinite equilibria and some explicit separatrix configurations for n=1 and k odd, but the global classification depends on an unproven assumption about the absence of limit cycles for 0<c<1 and on 'similar arguments' for several portrait families.","tokens_in":13275,"tokens_out":8805,"duration_ms":72388,"significance":"If the classification in Theorem 1 were correct, it would give a complete topological description of the ODE family (5) and would identify traveling wave solutions of (1) as heteroclinic orbits in the Poincaré disk. The local analyses of infinite equilibria via polar blow-ups in Lemmas 2 and 3 are detailed and appear to be the main technical contribution. However, the central classification is not proven in the manuscript: the absence of limit cycles for 0<c<1 is assumed rather than established, and four of the seven claimed portrait classes are not analyzed in detail. The existence result in Theorem 2 is also not rigorously demonstrated. The paper does not provide machine-checked proofs or code; its value depends on filling these gaps.","major_comments":[{"comment":"The paper explicitly assumes that systems (5) have no closed orbits for 0<c<1, writing that 'numerical simulations suggest that these systems do not present closed orbits' and that the study 'will be made without considering the possible existence of limit cycles.' This assumption is used in Case I of Section 3 and in the 0<c<1 parts of Cases IV.1, V.1, VI.1, and VII.1 of Theorem 1. Since E0=(0,0) is a hyperbolic stable focus for 0<c<2 and the damping term (x^k-c) changes sign, a limit cycle around E0 is not ruled out by the arguments given; if one exists, the phase portrait in Figure 1(i) and hence the classification in Theorem 1 are false. This is a load-bearing gap that cannot be repaired by a local revision.","section":"Section 2 (paragraph after Lemma 1)"},{"comment":"The proof of Theorem 1 states: 'We will present the explicit proofs for the first three global phase portraits in Figure 1, while the others phase portraits are obtained using similar arguments.' The remaining cases include IV.1, IV.2, V.1, V.2, VI.1, VI.2, VII.1, and VII.2, which involve different parity conditions, the additional finite saddle E2=(-1,0) when n=2, and different configurations of the infinite equilibria. The 'similar arguments' are not supplied, so the claimed classification is incomplete as written.","section":"Section 3 (proof of Theorem 1)"},{"comment":"The proof that systems (5) have no closed orbits for c>=1 is not valid as written. The divergence is x^k-c, which is negative only on the set B1 (k odd) or B2 (k even). The argument states that a closed orbit must cross the boundary of Bi, 'but this is not possible by analyzing the restrictions of the vector fields F on the x-axis and on the boundary of Bi.' The boundary of Bi is a vertical line x=c^{1/k} (or x=-c^{1/k}); the vector field can point inward on part of this line and outward on another part, so a periodic orbit crossing it is not excluded. Thus the non-existence of limit cycles for c>=1 is not established, and the use of this lemma in the proof of Theorem 2 lacks a rigorous foundation.","section":"Lemma 1"},{"comment":"The proof of Theorem 2 asserts that a solution on the unstable curve of the saddle E1=(1,0) with initial value 0<x0<1 has E1 as its alpha-limit set and E0=(0,0) as its omega-limit set and stays in 0<x<1. The local analysis at E1 shows the unstable manifold leaves with positive slope, but it does not prove that this orbit does not cross x=1, escape to infinity, or approach another equilibrium; the statement 'See the red orbits in Figure 1' relies on the unproven portraits of Theorem 1. Consequently, Theorem 2 is not proven independently of the classification.","section":"Section 4 (proof of Theorem 2)"}],"minor_comments":[{"comment":"The preamble says 'seven distinct phase portraits' but the list contains twelve labels (I, II, III.1, III.2, IV.1, IV.2, V.1, V.2, VI.1, VI.2, VII.1, VII.2). The subsequent note that each (-1) portrait is equivalent to the corresponding (-2) portrait reconciles the count, but the wording should be clarified.","section":"Theorem 1"},{"comment":"The phrase 'the dot means derivative means derivative with respect to the variable s' contains a duplicated word and should read 'the dot means derivative with respect to the variable s'.","section":"Section 2 (after Eq. (5))"},{"comment":"The assumption 'z in [0,1]' is inconsistent with the PDE (1) being posed for z in R; likely the intended condition is that the wave profile satisfies 0 < phi(xi) < 1, which is used later in the proof. This should be rephrased.","section":"Theorem 2"},{"comment":"In the blow-up analysis for n=2, k=1, the angles theta^1_4 and theta^1_5 are expressed via arcsin(1 - sqrt(2)), which is negative; the resulting order of the six equilibria on the circle r=0 is not immediately clear. Please define the branches used.","section":"Lemma 3, proof"},{"comment":"The labels I_3^0/I_4^0 and I_3^e/I_4^e (and similarly I_9^0/I_10^0, I_9^e/I_10^e) are introduced only in the proofs of Lemmas 2 and 3; a sentence defining these labels in the captions or text would improve readability.","section":"Figures 3 and 4"},{"comment":"The text says 'If n = 2 there are tree finite equilibrium points'; this should be 'three finite equilibrium points'.","section":"Section 3, first paragraph"},{"comment":"The caption contains the typo 'polar blow-ups whit k >1 even'; it should be 'with k >1 even'.","section":"Figure 3 caption"}],"recommendation":"reject","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the local analysis is the real work here, and it looks mostly reliable, but the paper's main claim is not proven. Theorem 1 asserts a complete seven-portrait classification of systems (5), yet the proof explicitly assumes away limit cycles for 0<c<1 based on numerics, and the portraits in Cases IV–VII are waved through with \"similar arguments.\" That is a load-bearing gap, not a cosmetic one.\n\nWhat is new and good: applying Poincaré compactification and quasi-homogeneous blow-ups to this specific three-parameter ODE family is not something I have seen before. Lemmas 2 and 3, which classify the infinite equilibria for n=1 and n=2, are worked out in enough detail that a patient reader can check the computations. If the classification were complete, the traveling-wave existence in Theorem 2 would follow in the standard way. The paper is also honest about its limitation—it says outright that the 0<c<1 case is handled without considering possible limit cycles.\n\nWhere it falls short: Lemma 1 proves absence of closed orbits only for c≥1. For 0<c<1 the divergence changes sign and there is no argument excluding a limit cycle around the stable focus E0. The authors' own text says \"numerical simulations suggest,\" which is a conjecture, not a proof. Since the 0<c<1 range appears in Case I and in the c<1 portions of the other portrait families, a single such cycle would invalidate Theorem 1 as stated. The proof of Theorem 2 is also not self-contained: it relies on the phase portraits for c≥2, but Cases III.2–VII.2 are not actually proven in the paper, only asserted by analogy. The \"similar arguments\" may be routine for the authors, but for a classification theorem the reader needs either the arguments or a precise separatrix-connection table.\n\nNo circularity, no invented targets. The gap is incomplete proof, not fabrication. Still, as written, the central classification claim is conditional.\n\nRecommendation: this deserves a serious referee—there is enough real technique here and the gaps are plausibly fixable—but I would not accept it in present form. The authors should prove the no-limit-cycle claim for 0<c<1 (perhaps with a Dulac function or a Bendixson–Dulac argument after a suitable change of coordinates) or explicitly downgrade Theorem 1 to a conjecture in that range, and they need to fill in the missing cases. I would not cite it in the next year.","headline":"Solid local blow-up analysis undone by a load-bearing numerical assumption: Theorem 1 is conditional on no limit cycles for 0<c<1, and the remaining portrait cases are only sketched.","tokens_in":13689,"tokens_out":4755,"would_cite":false,"duration_ms":45271,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["34A34","34A26","34D23"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the traveling-wave ODE of the Burgers-Huxley equation with m=1 and n in {1,2} has exactly seven topologically distinct global phase portraits, and that for every speed c ≥ 2 a traveling wave connects the state 1 to…","keywords":["traveling wave solution","Burgers-Huxley equation","Poincaré compactification","global phase portrait","closed orbits","blow-up technique","separatrix configuration","qualitative theory of ODEs"],"falsifier":"Run a high-precision numerical search or a Poincaré return-map computation for a periodic orbit of system (5) in the regime n=1, k odd, 0<c<1—for example c=1/2, k=1. A closed orbit would contradict Case I and hence Theorem 1; proving none exists, for instance with a Dulac function, would remove the numerical assumption on which the proof relies.","tokens_in":12827,"feed_emoji":"🌊","tokens_out":9311,"duration_ms":84990,"temperature":0.7,"pith_summary":"The paper asks what all traveling-wave solutions of the Burgers-Huxley equation look like when the reaction terms are m=1 and n=1 or 2. It reduces the PDE through the traveling-wave ansatz to a planar system of ordinary differential equations, then uses Poincaré compactification to see the whole flow including the equilibria at infinity. Its central claim is Theorem 1: this three-parameter family has exactly seven topologically distinct global phase portraits, with the cases distinguished by the parity of k, by n, and by the thresholds c=1 and c=2. Theorem 2 then shows that for every wave speed c ≥ 2, every k, and n=1 or 2, the system has an orbit running from (1,0) to (0,0) inside the strip 0<x<1, so the PDE has a traveling wave that goes from level 1 at −∞ to level 0 at +∞. The payoff is that a PDE existence question becomes a finite list of phase portraits, with the wave speed and the nonlinearity determining which portrait occurs.","feed_headline":"Burgers-Huxley waves fit seven global phase portraits","feed_subtitle":"For speeds c ≥ 2, a traveling wave always connects level 1 to level 0 for n=1,2.","key_machinery":"The engine is the traveling-wave reduction (5): the ansatz $w(z,t)=\\varphi(z-ct)$ turns the PDE into the planar system $\\dot{x}=y$, $\\dot{y}=-cy+x^k y+x(x^n-1)$. The Poincaré compactification, a standard device that projects the plane onto a disk so equilibria at infinity become ordinary boundary points, gives the global picture; quasi-homogeneous polar blow-ups desingularize the degenerate infinite equilibria; the divergence formula $\\operatorname{div} F=x^k-c$ combined with Bendixson's theorem rules out closed orbits for $c\\ge 1$; and the Markus–Neumann–Peixoto theorem lets the separatrix configuration determine the topological equivalence class. The proof's work is to show that the stable and unstable separatrices connect exactly as in Figure 1 and that the red connection from E1 to E0 lies inside $0<x<1$ when $c\\ge 2$.","core_discovery":"On the paper's own terms, the core discovery is a complete qualitative description of the dynamics behind traveling waves of (1) when m=1 and n∈{1,2}. Theorem 1 states that the planar ODE systems (5), one for each k∈N and c>0, have exactly seven global phase portraits up to topological equivalence: the cases are n=1 with k odd (split at c=1 and c=2), n=1 with k even (split at c=2), n=2 with k=1 (split at c=2), and n=2 with k>1 odd or even (both split at c=2). The proof classifies the finite equilibria E0=(0,0), E1=(1,0), and (when n=2) E2=(−1,0), classifies the infinite equilibria through compactification and blow-ups, and uses Bendixson's theorem to exclude closed orbits for c≥1. Theorem 2 extracts the traveling wave: for any c≥2, n∈{1,2}, and k∈N, the unstable separatrix of E1 lands on the stable node E0 while staying in 0<x<1, giving a solution φ(ξ) of the PDE with lim_{ξ→−∞} φ=1, lim_{ξ→+∞} φ=0, and φ′ tending to 0 at both infinities.","pith_inferences":["A natural next step the paper does not take is to apply the same compactification-and-blow-up analysis to $m>1$ or $n>2$; the number of finite equilibria and the sector structure at infinity change, so the seven-portrait count would not be expected to persist, but the method should still yield a finite classification.","The proof of Theorem 2 relies only on the hyperbolic-node geometry at $E_0$ and the saddle at $E_1$; an analogous heteroclinic argument should transfer to nearby equations with the same local equilibria, a claim the paper does not make.","Because the divergence $x^k-c$ is sign-definite outside a vertical strip, a Dulac function confined to $|x|\\le c^{1/k}$ would be a natural way to turn the numerical no-limit-cycle evidence for $0<c<1$ into a proof; this is an editorial suggestion, not a result of the paper."],"forward_implications":["For every $c\\ge 2$, $n\\in\\{1,2\\}$, and $k\\in\\mathbb{N}$, the Burgers-Huxley equation has a traveling wave joining the homogeneous states $w=1$ and $w=0$, with the wave profile approaching these states and vanishing derivative at both ends.","The global phase portrait depends only on the parity of $k$ and on whether $c<1$, $c=1$, $1<c<2$, or $c\\ge 2$; within each of the seven classes the dynamics is topologically the same.","For $c\\ge 1$ there are no periodic traveling waves, because Lemma 1 rules out closed orbits of the ODE system in that range.","The classification also identifies which equilibrium-to-equilibrium connections do not produce traveling waves: only orbits lying in the strip $0<x<1$ qualify, so several separatrix connections visible in the phase portraits do not correspond to waves of the original PDE."],"supporting_citations":[{"why":"Provides the PDE (1) under the name Burgers-Huxley equation and supplies the starting model.","marker":"[2]"},{"why":"Supplies the quasi-homogeneous polar blow-up technique used to desingularize degenerate infinite equilibria.","marker":"[3]"},{"why":"Provides Poincaré compactification, Bendixson's theorem, and the local classification theorems (2.19 and 3.5) used throughout.","marker":"[4]"},{"why":"Establishes the relation between traveling waves of the parabolic equation and orbits of the ODE tending to equilibrium points.","marker":"[5]"},{"why":"One of the three sources of the Markus–Neumann–Peixoto theorem used to reduce phase-portrait classification to separatrix configurations.","marker":"[7]"},{"why":"Second source of the Markus–Neumann–Peixoto theorem.","marker":"[9]"},{"why":"Third source of the Markus–Neumann–Peixoto theorem.","marker":"[10]"}],"fun_headline_variants":["Seven phase portraits map all Burgers-Huxley waves","Burgers-Huxley: every wave traced to 7 orbits","Traveling waves decoded: 7 global portraits","For c≥2, wave always connects levels 1 to 0","Burgers-Huxley waves: complete portrait in 7 cases"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"For 0<c<1 the paper assumes, on numerical evidence, that systems (5) have no closed orbits; if a limit cycle exists there, the Case I portrait and the seven-portrait classification would be wrong.","fun_headline_variants_meta":{"raw":{"variants":["Seven phase portraits map all Burgers-Huxley waves","Burgers-Huxley: every wave traced to 7 orbits","Traveling waves decoded: 7 global portraits","For c≥2, wave always connects levels 1 to 0","Burgers-Huxley waves: complete portrait in 7 cases"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000166,"raw_usage":{"total_tokens":1234,"prompt_tokens":905,"completion_tokens":329,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":521,"completion_tokens_details":{"reasoning_tokens":241}},"tokens_in":521,"tokens_out":329,"duration_ms":3160,"temperature":1.0,"reasoning_tokens":241,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:06:09.440495+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run a high-precision numerical search or a Poincaré return-map computation for a periodic orbit of system (5) in the regime n=1, k odd, 0<c<1—for example c=1/2, k=1. A closed orbit would contradict Case I and hence Theorem 1; proving none exists, for instance with a Dulac function, would remove the numerical assumption on which the proof relies.","supporting_citations":[{"cited_title":"Achouri , Traveling wave solutions, dissertation of Master of Sci- ence, School of Mathematics, The University of Manchester, 201 6","cited_arxiv_id":null,"evidence_quote":"Provides the PDE (1) under the name Burgers-Huxley equation and supplies the starting model."},{"cited_title":"´Alvarez, A","cited_arxiv_id":null,"evidence_quote":"Supplies the quasi-homogeneous polar blow-up technique used to desingularize degenerate infinite equilibria."},{"cited_title":"Dumortier, J","cited_arxiv_id":null,"evidence_quote":"Provides Poincaré compactification, Bendixson's theorem, and the local classification theorems (2.19 and 3.5) used throughout."},{"cited_title":"Ichida, T.O","cited_arxiv_id":null,"evidence_quote":"Establishes the relation between traveling waves of the parabolic equation and orbits of the ODE tending to equilibrium points."},{"cited_title":"Markus , Global structure of ordinary differential equations in the p lane, Trans","cited_arxiv_id":null,"evidence_quote":"One of the three sources of the Markus–Neumann–Peixoto theorem used to reduce phase-portrait classification to separatrix configurations."},{"cited_title":"Neumann , Classification of continuous flows on 2-manifolds , Proc","cited_arxiv_id":null,"evidence_quote":"Second source of the Markus–Neumann–Peixoto theorem."},{"cited_title":"Peixoto , On the classification of flows on 2-manifolds , Dynamical Systems (Proc","cited_arxiv_id":null,"evidence_quote":"Third source of the Markus–Neumann–Peixoto theorem."}],"review_version":1}