{"id":"d753f0a1-4a34-4576-a163-aa7ce2c80017","arxiv_id":"2507.20918","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Existence of vertically traveling waves is proven for both linear and nonlinear Frankel-Sivashinsky flame front models via Crandall-Rabinowitz bifurcation, with numerical branches ending at self-intersection or curvature singularities.","lead":"This paper proves that vertically traveling wave solutions exist in a coordinate-free model of flame fronts and computes these waves numerically. The result matters because it gives a rigorous existence theorem for a model whose analytic study has previously focused on well-posedness and weakly nonlinear limits.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3 is proved only in the odd-function space H^3_odd, but the theorem statement and abstract omit this qualifier, so the central claim is broader than the proof supports.","rationale":"The reader's weakest assumption is on target. I checked the Crandall-Rabinowitz verification: the kernel/cokernel computation, Fredholm index, and transversality are correct up to a harmless sign in L_α(α0)φ0 and an algebraic slip in the discriminant (stated as 4k^2(−18k^2−27k+1); correct is 4k^2(−27k^4−18k^2+1), still negative for k≥1). Neither error changes the conclusion. The real gap is scope: the proof works only in H^3_odd, while the central claim is worded without this restriction. Because the full kernel is two-dimensional, the local bifurcation problem in the full space is not covered, and the paper supplies no argument that all nearby solutions are odd up to translation. This warrants a conditional acceptance: the existence of an odd-wave branch is established, but the advertised 'vertical traveling waves' result should be explicitly qualified. No deeper flaw in the existence argument was found.","tokens_in":15683,"tokens_out":19911,"duration_ms":232392,"concrete_test":"Perform a Lyapunov-Schmidt reduction in the full periodic spaces H^3_per × R → L^2_per for k0 = 1 at α0 ≈ −3.383, keeping both sin σ and cos σ in the kernel. If the reduced bifurcation equation has a nontrivial branch with a nonzero cos σ component, then non-odd traveling waves exist and the unqualified theorem/abstract is incomplete; if the reduced zero set contains only translations of the odd branch, the odd restriction is harmless and only the wording needs adjustment.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The existence proof in Section 3 applies Crandall-Rabinowitz with X = H^3_odd × R and Z = L^2_even, restricting θ to odd periodic functions. In the full periodic space the linearized operator L(α0) has a two-dimensional kernel spanned by sin(k0σ) and cos(k0σ), so the simple-eigenvalue hypothesis fails; the theorem as stated (\"has infinitely many traveling solutions\") and the abstract's \"waves of permanent form which are traveling in the vertical direction\" do not carry the oddness qualifier. The odd restriction is not merely a phase convention: for a multi-mode wave, no translation generally makes all cosine coefficients vanish, so even/mixed-parity branches are neither proven nor ruled out. The numerical section's assertion that the nonlinear model \"cannot have even θ\" is unsupported. Thus the advertised central claim is narrower than proven; the proof is sound for odd waves, but the statement needs qualification.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies traveling-wave solutions of the Frankel–Sivashinsky coordinate-free flame-front model in a horizontally periodic, vertically unbounded geometry. Using the arclength-parametrization framework of Akers–Ambrose–Wright, the authors formulate the traveling-wave problem as a nonlinear equation F(θ, β; α)=0 for the tangent angle θ, the vertical speed β, and the parameter α. For the nonlinear curvature model (2), Theorem 3 proves, by Crandall–Rabinowitz bifurcation from the flat state, that for every integer k0≥1 there is a branch of nontrivial solutions bifurcating from θ=0, β=1, α=α0, where α0 is the unique real root of q(α)=(α−1)−α²(α+3)k0²; this value lies below −3, outside the well-posedness range of the initial-value problem. Theorem 4 gives the analogous result for the linear curvature model (1), with bifurcation values α1=4k0²+1. The paper also presents numerical continuation results for branches of these waves, including eigenvalue estimates for the linear model and a discussion of apparent curvature-singularity limits in the nonlinear model.","tokens_in":15788,"tokens_out":7961,"duration_ms":96170,"significance":"If read with the correct symmetry qualifier, the paper provides a rigorous existence proof for nontrivial periodic vertically traveling waves in a coordinate-free flame-front model, including the nonlinear model in the ill-posed regime α<−3. The proof is largely self-contained: the linearization, kernel/cokernel computation, unique-root argument, and transversality resultant are all given explicitly, and the use of Crandall–Rabinowitz is appropriate. The numerical computations illustrate the branches and supply stability information for the well-posed linear model. The main weakness is that the theorem statements and abstract omit the oddness restriction under which the simple-eigenvalue hypothesis actually holds, so the claims are broader than the proof supports. There is also an unsupported assertion in the numerical section about even solutions. These issues are fixable, but they affect the precision of the central claims.","major_comments":[{"comment":"The abstract and the statements of Theorems 3 and 4 assert unqualified existence of vertically traveling waves, but the proof applies Crandall–Rabinowitz only on the space X=H^3_odd × R with range space Z=L^2_even. In the full periodic space the kernel of L(α0) is two-dimensional, spanned by both sin(k0σ) and cos(k0σ), so the simple-eigenvalue hypothesis fails there. Consequently the theorems as proved establish only the odd branch, and even or mixed-parity branches are neither established nor excluded. The theorem statements and abstract should explicitly say that the solutions are odd in the tangent angle, or otherwise clarify that only the odd-symmetry class is treated.","section":"Abstract; §3, Theorems 3 and 4"},{"comment":"The sentence 'Brief inspection of (16) reveals that it could support odd θ, but cannot have even θ' is not justified. For even θ, the odd part of (16) simplifies to an equation for y=θσ of the form (α−1)(2π/L)y + α²(α+3)(2π/L)³y'' + ((2α+5α²−α³)/3)(2π/L)³y³ = 0. For α<−3 this is a nonlinear oscillator equation that can admit nontrivial 2π-periodic odd solutions, which would correspond to even θ. The assertion should be removed or replaced by a proof.","section":"§4.0.2, near Eq. (16)"}],"minor_comments":[{"comment":"In the transversality computation, the coefficient of cos(k0x) in Lα(α0)(sin(k0σ),0) has the opposite sign: it should be k0(1 − 3k0²α0(α0+2)), not k0(−1 + 3k0²α0(α0+2)). The sign does not affect the conclusion, but the displayed formula should be corrected.","section":"§3, Theorem 3 proof"},{"comment":"The numerical sections do not report the number of Fourier modes N_x, the tolerances for the quasi-Newton iteration, or any resolution/convergence study. Since the stability estimates and branch-termination criteria depend on these computations, a brief convergence check would substantially strengthen the numerical claims.","section":"§4, Figures 1–8"},{"comment":"The captions refer to 'the standing wave', but the waves are traveling vertically; using 'vertically traveling wave' consistently would avoid confusion, especially because 'standing wave' usually denotes a nontraveling oscillation.","section":"Figure captions, Figures 1–3"},{"comment":"In the proof of Theorem 4 there is a missing closing parenthesis in 'range(L(α1)'; this is a typographical error but should be fixed.","section":"§4, Theorem 4 proof"},{"comment":"The symbol L denotes both the length of the interface and the linearized operator; the authors acknowledge the collision in §3, but renaming one of the two would improve readability.","section":"§2, §3"},{"comment":"The remark that no waves with nontrivial horizontal speed c were 'found' is anecdotal; either label it explicitly as a numerical observation or remove it, since it is not a proven statement.","section":"§1, Remark 1"}],"recommendation":"major_revision","confidential_remarks":"The mathematical core of the manuscript is sound, and the paper fits the journal's scope. The main required changes are to align the abstract and theorem statements with the odd-function space actually used in the proof, and to remove or prove the unsupported claim about even θ in the numerical section. These are load-bearing precision issues rather than fatal errors, so major revision rather than rejection seems appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper proves existence of vertically traveling waves in Frankel-Sivashinsky coordinate-free flame fronts using Crandall-Rabinowitz bifurcation. What is actually new: this is the first application of the arclength-parameterization traveling-wave framework of Akers-Ambrose-Wright to flame fronts, and the bifurcation analysis for both linear and nonlinear velocity closures is new. The existence proof for odd periodic waves is sound: linearization, kernel/cokernel computation, unique real root of the cubic, and transversality via resultant all check out. I would accept the existence theorem for odd waves as correct.\n\nThe soft spot is exactly what the stress-test note says. Theorems 3 and 4 are stated for \"traveling solutions\" without the oddness qualifier, and the abstract says \"waves of permanent form traveling in the vertical direction\" without it. But the proof works in H^3_odd × R mapping to L^2_even, because in the full periodic space the kernel is two-dimensional (sin k0σ and cos k0σ), so the simple-eigenvalue hypothesis fails. Oddness is not a phase convention: for a general multi-mode wave, no translation kills all cosine coefficients. So the paper proves existence only of odd waves, and neither proves nor rules out even or mixed-parity branches. The numerical claim that the nonlinear model \"cannot have even θ\" is unsupported—maybe true, but not shown. The overstatement is the main flaw, and it is fixable by qualifying the theorems and abstract.\n\nOther issues are minor: typos (\"DA VID\", α0=35 vs 37, sin(α) for sin(σ)), no error bars or convergence study on the eigenvalue estimates, and an ad hoc branch-termination criterion. The sign discrepancy in the transversality coefficient is harmless because the coefficient is nonzero.\n\nThe central existence argument for odd waves holds up. This paper deserves a serious referee; it needs revision, not desk rejection. The referee should insist on the oddness qualification and on either proving or removing the \"cannot have even θ\" claim. For researchers in flame front dynamics or bifurcation theory for geometric interface models, this is worth engaging with.","headline":"A correct existence proof for odd periodic traveling waves, with theorem statements and abstract that overclaim by omitting the oddness qualifier.","tokens_in":16382,"tokens_out":3486,"would_cite":true,"duration_ms":38410,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35C07","35B32","80A25","80M22"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the nonlinear coordinate-free flame front model has infinitely many vertically traveling periodic wave solutions, bifurcating from the flat front at parameter values below $-3$, where the evolution is ill-posed.","keywords":["coherent structures","traveling waves","flame fronts","coordinate-free model","bifurcation theory","quasi-Newton method"],"falsifier":"Compute the linearized traveling-wave operator on the full periodic space without the oddness restriction at $\\alpha=\\alpha_0$; if the kernel is two-dimensional and the transversality condition fails there, then the odd-only branch is an artifact of the subspace choice. A numerical continuation started from a $\\cos(k_0\\sigma)$ perturbation of the flat front would provide a direct check for an even-parity branch.","tokens_in":15411,"feed_emoji":"🔥","tokens_out":14603,"duration_ms":146074,"temperature":0.7,"pith_summary":"The paper establishes that a coordinate-free model of a flame front—where the interface between burnt and unburnt gas moves according to its normal velocity—admits periodic traveling waves that propagate vertically without changing shape. For each integer wavenumber $k_0 \\ge 1$, the nonlinear model has a branch of nontrivial odd wave profiles bifurcating from the flat front at a unique parameter value $\\alpha_0 < -3$, which is exactly the regime where the initial-value problem is ill-posed. The linear-in-curvature model has analogous branches at $\\alpha_1 = 4k_0^2+1$, in the well-posed regime. The authors also compute these branches numerically and, for the linear model, measure the stability of the waves under the time-dependent evolution. The results show that these coherent structures exist outside the parameter range where the Kuramoto-Sivashinsky equation is a valid weakly nonlinear approximation.","feed_headline":"Flame front model admits traveling waves even where it breaks down","feed_subtitle":"These are coherent structures that appear exactly where the weakly nonlinear Kuramoto-Sivashinsky approximation cannot reach.","key_machinery":"The central object is the tangent-angle formulation of the front: the interface is parametrized so that arclength is uniform, the unknown is the tangent angle $\\theta(\\sigma)$, and the curvature is $\\theta_\\sigma/s_\\sigma$. The traveling wave ansatz $(x,y)_t=(0,-\\beta)$ combined with $U=-\\beta\\cos(\\theta)$ turns the model into a single bifurcation equation $F(\\theta,\\beta;\\alpha)=0$. The carrying mechanism is Crandall-Rabinowitz bifurcation from a simple eigenvalue: the linearized operator $L(\\alpha)(v,\\gamma)=(\\alpha-1)v_\\sigma+\\alpha^2(\\alpha+3)v_{\\sigma\\sigma\\sigma}-\\gamma$ is Fredholm of index zero on $H^3_{\\mathrm{odd}}\\times\\mathbb{R} \\to L^2_{\\mathrm{even}}$, with kernel spanned by $(\\sin(k_0\\sigma),0)$ precisely when $\\alpha$ is the unique real root $\\alpha_0$ of the cubic $q(\\alpha)$; a resultant computation verifies the transversality condition that moves the branch off the flat state.","core_discovery":"Using the tangent angle $\\theta$ of the front in a normalized arclength parameterization, the traveling wave condition $U = -\\beta \\cos(\\theta)$ becomes a nonlinear equation $F(\\theta,\\beta;\\alpha)=0$, with $\\beta$ the vertical speed and $\\alpha$ the front-instability parameter. The main existence theorem verifies the Crandall-Rabinowitz hypotheses at $\\alpha_0$, the unique real root of $q(\\alpha)=(\\alpha-1)-\\alpha^2(\\alpha+3)k_0^2$, which lies below $-3$: the linearized operator has one-dimensional kernel spanned by $(\\sin(k_0\\sigma),0)$ in $H^3_{\\mathrm{odd}} \\times \\mathbb{R}$, has index zero, and satisfies the transversality condition because a resultant of two polynomials is nonzero. Hence a nontrivial curve of odd, vertically traveling, $2\\pi$-periodic solutions bifurcates from the flat front $(\\theta=0,\\beta=1)$. The companion linear model is treated similarly, with branch points $\\alpha_1=4k_0^2+1$. Numerical continuation from small-amplitude asymptotics computes large-amplitude branches; the nonlinear branches approach a curvature singularity as $\\alpha$ tends to the well-posedness threshold $-3$, and the linear branches terminate near self-intersecting profiles.","pith_inferences":["The existence proof restricts the profile to odd periodic functions; on the full periodic space the linearized kernel at $\\alpha_0$ would also contain $\\cos(k_0\\sigma)$, so the paper leaves open whether even or mixed-parity vertically traveling waves exist.","Because the nonlinear branches live in the ill-posed regime, a natural next question is whether they appear as transient coherent structures in a regularized evolution or are recovered by the weakly nonlinear Kuramoto-Sivashinsky dynamics before it fails.","The same arclength-parameterization bifurcation framework could be applied to the two-dimensional coordinate-free flame front model, whose well-posedness is known, to search for analogous vertical traveling waves."],"forward_implications":["For the nonlinear model, each integer wavenumber $k_0 \\ge 1$ produces a distinct branch of odd, vertically traveling, $2\\pi$-periodic waves, so the model has infinitely many coherent structures.","These nonlinear branches exist at $\\alpha < -3$, where the time-dependent problem is linearly ill-posed; consequently they cannot be asymptotically stable in the original evolution, a point the paper makes explicitly.","For the linear model, the computed branches at $\\alpha_1=4k_0^2+1$ permit numerical stability tests: the $k_0=2,3$ branches are unstable, while the $k_0=1$ branch shows small-amplitude instability and a narrow amplitude window with no observed instability.","As $\\alpha$ approaches $-3$ from below, the computed nonlinear wave profiles develop a curvature singularity, and the continuation branches do not cross into the well-posed regime.","The computed waves can overhang, with tangent angle beyond $\\pi/2$, so they are outside the reach of weakly nonlinear models such as the Kuramoto-Sivashinsky equation."],"supporting_citations":[{"why":"Introduces the coordinate-free flame front model whose normal-velocity closures are the object of study.","marker":"[30]"},{"why":"Supplies the arclength-parameterization traveling-wave framework and the vertical-traveling ansatz used throughout.","marker":"[1]"},{"why":"States the Crandall-Rabinowitz bifurcation theorem that yields the existence branches.","marker":"[40]"},{"why":"Establishes the well-posedness regime and the Kuramoto-Sivashinsky asymptotic derivation that the paper contrasts with the new branches.","marker":"[16]"},{"why":"Provides the non-stiff numerical evolution scheme used to test the stability of the computed linear-model waves.","marker":"[6]"},{"why":"Supplies the resultant criterion used in the transversality check for the nonlinear model.","marker":"[32]"}],"fun_headline_variants":["Flame fronts yield traveling waves where approximations fail","Beyond weakly nonlinear: traveling waves in flame fronts","Bifurcation gives traveling waves in flame front model","Coherent flame waves emerge near curvature singularity","Flame fronts support traveling waves at breakdown"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the wave profile is an odd periodic function, a restriction that makes the linearized operator have a one-dimensional kernel; in the full periodic setting the kernel would also contain $\\cos(k_0\\sigma)$, and the existence argument would not apply.","fun_headline_variants_meta":{"raw":{"variants":["Flame fronts yield traveling waves where approximations fail","Beyond weakly nonlinear: traveling waves in flame fronts","Bifurcation gives traveling waves in flame front model","Coherent flame waves emerge near curvature singularity","Flame fronts support traveling waves at breakdown"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000467,"raw_usage":{"total_tokens":2309,"prompt_tokens":903,"completion_tokens":1406,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":519,"completion_tokens_details":{"reasoning_tokens":1335}},"tokens_in":519,"tokens_out":1406,"duration_ms":16652,"temperature":1.0,"reasoning_tokens":1335,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T13:09:40.363863+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the linearized traveling-wave operator on the full periodic space without the oddness restriction at $\\alpha=\\alpha_0$; if the kernel is two-dimensional and the transversality condition fails there, then the odd-only branch is an artifact of the subspace choice. A numerical continuation started from a $\\cos(k_0\\sigma)$ perturbation of the flat front would provide a direct check for an even-parity branch.","supporting_citations":[{"cited_title":"Frankel and G.I","cited_arxiv_id":null,"evidence_quote":"Introduces the coordinate-free flame front model whose normal-velocity closures are the object of study."},{"cited_title":"Akers, D.M","cited_arxiv_id":null,"evidence_quote":"Supplies the arclength-parameterization traveling-wave framework and the vertical-traveling ansatz used throughout."},{"cited_title":"Kielh¨ ofer.Bifurcation theory: An introduction with applications to P DEs, volume 156 of Applied Mathematical Sciences","cited_arxiv_id":null,"evidence_quote":"States the Crandall-Rabinowitz bifurcation theorem that yields the existence branches."},{"cited_title":"Ambrose, F","cited_arxiv_id":null,"evidence_quote":"Establishes the well-posedness regime and the Kuramoto-Sivashinsky asymptotic derivation that the paper contrasts with the new branches."},{"cited_title":"Akers and D.M","cited_arxiv_id":null,"evidence_quote":"Provides the non-stiff numerical evolution scheme used to test the stability of the computed linear-model waves."},{"cited_title":"Gelfand, M.M","cited_arxiv_id":null,"evidence_quote":"Supplies the resultant criterion used in the transversality check for the nonlinear model."}],"review_version":1}