{"id":"d7dfe211-3067-485a-bc30-2ac1a4f2a61b","arxiv_id":"2502.08361","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For semilinear parabolic equations on metric graphs, ordered initial data yield ordered solutions, and solutions between ordered stationary sub/supersolutions converge monotonically to stationary limits.","lead":"This paper proves comparison and monotonicity theorems for a class of nonlinear heat-type equations on networks, where space is a graph made of line segments glued at vertices. The results let researchers order solutions by their starting values and show that solutions between ordered steady states settle down monotonically to steady limits.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Comparison proof for Theorem 3.2 relies on existence of the backward adjoint problem with only locally bounded coefficient a; no justification is given on infinite graphs.","rationale":"The reader's weakest_assumption identifies exactly the same load-bearing concern: existence of the backward adjoint solution with only locally bounded coefficient a. My reading of the proof confirms that all subsequent estimates in Theorem 3.2 depend on solving (BP) with φ ≥ 0 and enough regularity to justify integration by parts. On an infinite graph, L∞_loc alone does not make Δ+a a generator of a C0 or evolution family on L2, and the paper gives no additional argument. The conclusion of Theorem 3.2 is plausible and the bounded case in Theorem 3.4 is handled by a different approximation scheme, but the unbounded L2 comparison result is not fully established. The issue is localized and potentially repairable by adding a growth or boundedness hypothesis on a, or by proving an H1-to-L∞ embedding for the admissible function class; therefore the appropriate verdict remains CONDITIONAL, not REJECT.","tokens_in":25253,"tokens_out":22809,"duration_ms":305670,"concrete_test":"Construct an admissible pair of sub/supersolutions for which a = (f(\\bar u)-f(u))/(\\bar u-u) is unbounded in space, e.g., on a locally finite graph with suitable edge lengths and f(s)=s^2, with u≡0 and \\bar u a stationary supersolution. Then check whether the reversed forward problem ψ_t = Δψ + aψ, ψ(0)=ζ ∈ C_c^∞(G), has a global L2 solution on [0,τ]. If a compactly supported nonnegative initial datum blows up in finite time, the backward problem (BP) has no solution for some τ and the proof of Theorem 3.2 collapses as stated. Alternatively, prove a global L∞ bound for admissible sub/supersolutions on the relevant time interval; then a becomes bounded and the standard semigroup argument is valid.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Theorem 3.2's proof hinges on the assertion that the backward problem (BP) has a unique nonnegative solution φ ∈ C([0,τ];L2) with Δφ ∈ C([0,τ);L2) for the coefficient a defined in (4.5). The paper only shows a ∈ L∞_loc(Ω_T) via (4.1), so on an infinite metric graph the multiplication operator a is not a bounded perturbation of the Laplacian. No growth, decay, or relative-boundedness condition on a is stated or proved, and the cited 'standard results' from analytic semigroup theory do not cover such a coefficient. The functions u and \\bar u are only known to lie in H1 on each time slice, and the paper merely records H1⊂C(G), not H1⊂L∞(G); hence a may be unbounded in space. Without a solution φ, the integration by parts inequalities (4.4)-(4.12) have no justification and the comparison conclusion u≤\\bar u is unsupported. This gap is load-bearing because Theorem 3.3, including global existence and convergence to minimal and maximal stationary solutions, is a direct corollary. Theorem 3.4 sidesteps the issue by finite-graph approximation and bounded sub/supersolutions, but the L2 statement in Theorem 3.2 is not covered.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves monotonicity and comparison results for the semilinear parabolic problem (1.1) on locally finite connected metric graphs, with Neumann or Dirichlet Laplacian. The main results are: a comparison principle for sub- and supersolutions in the L2 framework (Theorem 3.2); a consequence giving global existence, monotone convergence, and minimal/maximal stationary solutions between ordered stationary sub- and supersolutions (Theorem 3.3); and an analogous comparison for bounded sub- and supersolutions under an additional structural assumption (H2) on the graph (Theorem 3.4). The proof of Theorem 3.4 uses a finite truncation of the graph and an explicit barrier function. Section 5 applies the results to regular metric trees.","tokens_in":25498,"tokens_out":8095,"duration_ms":93840,"significance":"If the main comparison principle is valid, the paper provides a useful extension of monotonicity methods from Euclidean domains to infinite metric graphs, and it identifies geometric conditions under which bounded comparison holds. The proof of Theorem 3.4 contains a concrete, checkable barrier construction and a detailed finite-graph approximation argument, which are strengths. The results are deterministic and involve no fitted parameters. The principal weakness is the unsupported existence assertion for the backward adjoint problem with locally bounded coefficient, on which Theorem 3.2 and hence Theorem 3.3 rest. Theorem 3.4 appears to be independent of that gap and is the most solid part of the paper.","major_comments":[{"comment":"The existence assertion for the backward problem (BP) is not supported by the stated hypotheses. The coefficient a defined in (4.5) is only shown to belong to L∞_loc(Ω_T) by (4.1), because u and \\bar u lie in C((0,T];H^1(G)) and H^1(G) embeds into C(G), not into L∞(G) on an infinite graph. Multiplication by such a is not a bounded perturbation of the Laplacian on L2(G), and no growth, decay, or relative-boundedness condition on a is stated. Thus the phrase 'by standard results' from analytic semigroup theory does not cover this case. Since the integration-by-parts argument (4.4)-(4.12) requires a global solution φ of (BP), the comparison conclusion u ≤ \\bar u is not established. This gap is load-bearing because Theorem 3.3 is an immediate corollary of Theorem 3.2.","section":"Section 4, proof of Theorem 3.2, paragraph after (BP)"},{"comment":"The proof identifies \\hat u2 as a stationary solution from the edgewise equation (4.17) and the vertex condition (4.18), but it does not verify that \\hat u2 belongs to H^1(G) or that ∑_e ||\\hat u2''_e||^2_{L2(Ie)} < ∞, both of which are required by Definition 2.2 and (2.4a). A pointwise monotone limit of H^1 functions need not lie in H^1(G), and the pointwise bounds q ≤ \\hat u2 ≤ \\bar q with q,\\bar q ∈ H^1(G) do not imply H^1 regularity. Therefore the statement that \\hat u1 and \\hat u2 are stationary solutions in the sense of the paper is not fully proven.","section":"Section 4, proof of Theorem 3.3, part (iii)"},{"comment":"The proof of Lemma 4.1 invokes a comparison principle for the finite backward problem (4.38) at the step 'then by comparison results there holds φ_n ≤ h' and again in the proof of the Claim. On a finite graph this is standard, but since the estimate (4.41) is the core of the lemma, a precise statement or reference for the comparison principle used here should be supplied.","section":"Section 4, proof of Lemma 4.1"}],"minor_comments":[{"comment":"The manuscript contains numerous typographical and OCR-style artifacts (for example, 'conditon', 'P ARABOLIC', and repeated ' /uni2295.big' symbols); a careful proofreading pass is needed.","section":"Throughout"},{"comment":"The definition of the star Σ_v uses 'lj, j=1,...,d_v' without specifying which edges are meant; it should say that Σ_v is the union of the d_v edges incident at v.","section":"Appendix A.1, Definition A.2"},{"comment":"Dini's theorem is invoked to assert uniform convergence on compact subsets, but the continuity of the limit function \\hat u_i is not established at that point in the exposition; the argument should be reordered or justified after the stationarity of \\hat u_i is proved.","section":"Remark 3.1"},{"comment":"The approximation of χ_{w(⋅,τ)>0} by C∞_0 functions ζ_k is used without stating the precise convergence mode; a sentence indicating dominated convergence in L2(G) would make the limiting argument fully explicit.","section":"Section 4, Theorem 3.2"}],"recommendation":"major_revision","confidential_remarks":"The main obstacle is the unsupported existence assertion for the backward problem in Theorem 3.2. If the authors can either prove that existence under the current hypotheses, add a natural hypothesis such as global boundedness of a or a growth condition on f, or restrict Theorem 3.2 to finite graphs or bounded solutions, the comparison result would be on much firmer ground. The finite-truncation part, Theorem 3.4 and Lemma 4.1, appears to be the most solid contribution and should be highlighted after revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe paper is worth taking seriously, and I would not desk-reject it. But the main L2 comparison theorem has a real gap. The proof of Theorem 3.2 assumes, \"by standard results,\" a unique nonnegative solution to the backward problem (BP) with coefficient a in L∞_loc(Ω_T). On an infinite metric graph, H^1 is not contained in L∞, so u and \\bar u (and hence a) can be unbounded in space. Multiplication by a is not a bounded perturbation of the Laplacian, and no growth, decay, or relative-boundedness condition is stated. That existence claim is load-bearing: Theorem 3.3, including global existence and convergence to extremal stationary solutions, is a direct corollary. The stress-test note lands.\n\nWhat the paper does well: it gives the first comparison and monotonicity results for semilinear parabolic problems on infinite metric graphs, not just finite ones, under explicit structural assumptions. The bounded-case Theorem 3.4 and Lemma 4.1 are the substantial part: finite truncation, boundary terms, and the exponential barrier under (H2) are real work and look plausible. The writing is clear, there are no fitted parameters or data, and the self-citations are methodological rather than load-bearing.\n\nThe soft spots follow from the same gap. Even if a solution φ of (BP) existed, the proof integrates a w φ over infinitely many edges; since a can be unbounded and w, φ are only L2/H1, global integrability is not automatic. The limit interchanges in Theorem 3.3 (including the l'Hopital argument) are sketched and need more care. These are localized, repairable issues—probably by adding a boundedness or growth assumption on the sub/supersolutions, or by proving existence of φ via approximation on nested finite graphs. They do not sink Theorem 3.4.\n\nThis paper is for PDE analysts working on metric graphs and anyone using comparison or monotone iteration for semilinear parabolic equations on unbounded networks. It deserves a serious referee. My recommendation: send it to review, but require a repaired proof of Theorem 3.2, or alternatively a restricted statement for bounded sub/supersolutions. With either fix, the paper becomes a solid contribution.","headline":"Worth refereeing: the bounded-case comparison theorem and barrier estimates are solid, but the L2 comparison principle rests on an unproved existence claim for a backward problem with only locally bounded coefficient.","tokens_in":26021,"tokens_out":4751,"would_cite":true,"duration_ms":58006,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35K55","35C07","35R02"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves a comparison principle for semilinear parabolic equations on locally finite connected metric graphs, yielding global existence and monotone convergence to minimal and maximal stationary solutions.","keywords":["metric graphs","semilinear parabolic equations","comparison principle","monotone convergence","stationary solutions","regular metric trees","Kirchhoff condition","duality method"],"falsifier":"Take an infinite locally finite metric graph and a locally Lipschitz f for which the quotient a = (f(u) − f(u))/(u − u) grows in space faster than any admissible potential, for example a(x) = exp(ρ(x)^2) on a regular tree, and check whether the backward problem φ_t = −Δφ − aφ with terminal data ζ ∈ C_c^∞(G) has a nonnegative solution in $L^{2}$(0, τ; $L^{2}$(G)) for τ > 0. If no such solution exists, the integration-by-parts step in Theorem 3.2 cannot be carried out, and the comparison conclusion would require extra growth assumptions on a.","tokens_in":25007,"feed_emoji":"🕸️","tokens_out":8367,"duration_ms":83891,"temperature":0.7,"pith_summary":"This paper extends the classical monotonicity method for semilinear parabolic equations from Euclidean domains to locally finite connected metric graphs. The central result is a comparison principle: any subsolution stays pointwise below any supersolution over the whole time cylinder, in both the L2 and the bounded L∞ solution frameworks. From this ordering the authors obtain global existence and monotone convergence of solutions to the minimal and maximal stationary solutions trapped between ordered stationary sub- and supersolutions. As an application, symmetric sub- and supersolutions on regular metric trees reduce to one-dimensional problems with jump conditions, yielding global confinement of solutions between the zero solution and a stationary supersolution.","feed_headline":"Subsolutions stay below supersolutions on infinite metric graphs","feed_subtitle":"Semilinear parabolic comparison on metric graphs yields global existence and stationary limits.","key_machinery":"The central object is the backward problem (BP) with terminal data ζ, whose solution φ is the test function in the duality integration. The key mechanism is that φ satisfies the adjoint equation and the Kirchhoff condition, so when the subsolution inequality for w is multiplied by φ and integrated over each edge, the edge terms cancel and the vertex terms have the correct sign by the inequalities (4.2d), (4.2e) and the nonnegativity of φ. In the L∞ proof, the machinery is the family of finite truncated graphs G_n with Dirichlet condition on the artificial boundary S_n, together with the explicit barrier h in (4.30)–(4.33) that controls the normal flux of the approximate backward solutions; assumption (H2), which requires in-degree not exceeding out-degree at every vertex and at most exponential growth of the number of edges crossing spheres, is exactly what makes the flux vanish.","core_discovery":"The paper's core discovery is that the duality method used for comparison in Euclidean space can be carried over to graphs if the vertex conditions of the backward test function are chosen to match the Kirchhoff condition. Writing w = u − u and a = (f(u) − f(u))/w (zero where w = 0), the inequality wt − wxx − aw ≤ 0 is tested against the nonnegative solution φ of the backward problem φt = −Δφ − aφ with terminal data ζ. Integration by parts on every edge, together with the Kirchhoff and boundary conditions, makes all vertex terms conspire to the correct sign, leaving ∫_G w(x, τ) ζ(x) dx ≤ 0 for arbitrary ζ ∈ C_c^∞(G); choosing ζ to approximate the indicator of {w(·, τ) > 0} forces w ≤ 0. For bounded solutions the same conclusion is obtained on finite exhausting subgraphs G_n, where an explicit supersolution h controls the flux across the artificial boundary S_n and assumption (H2) makes that flux vanish as n → ∞.","pith_inferences":["The same duality scheme should extend to other self-adjoint vertex conditions, such as δ-couplings with a potential, as long as the backward test functions satisfy the adjoint vertex condition; this would carry comparison to quantum graph models.","The symmetry reduction on regular trees gives a practical recipe: any one-dimensional profile Q satisfying Q'' + f(Q) ≤ 0 with the jump conditions Q'(ρ_n^−) ≥ b_n Q'(ρ_n^+) produces a stationary supersolution, and hence a global bound for smaller solutions.","Assumption (H2) is used only to make the artificial-boundary flux vanish, so a natural test is whether comparison can fail or require a different barrier on trees with branching numbers growing faster than exponentially, such as b_n growing like exp(exp(n)).","The L2 comparison proof does not need global growth of f, and it would be informative to check whether the bounded comparison theorem could also be obtained without (H2) when the reaction coefficient a happens to be globally bounded."],"forward_implications":["Global existence follows for every solution whose initial data lies between an ordered stationary subsolution and an ordered stationary supersolution, and the solution remains in that interval for all time.","The solutions starting from the stationary subsolution and supersolution converge monotonically to the minimal and maximal stationary solutions in that order interval.","Every stationary solution lying between the two stationary bounds is bracketed by those minimal and maximal limits, so the method locates the full stationary order interval.","On regular metric trees, a symmetric stationary supersolution built from a one-dimensional profile Q gives global bounds for all solutions with smaller nonnegative initial data.","For bounded sub- and supersolutions on infinite graphs satisfying (H2), the comparison principle holds with merely continuous bounded initial data, not just L2 data."],"supporting_citations":[{"why":"Supplies the duality method for comparison of sub- and supersolutions that the proof of Theorem 3.2 adapts to metric graphs.","marker":"[1]"},{"why":"Provides the monotonicity and attractivity framework that yields Theorem 3.3's convergence to stationary solutions.","marker":"[6]"},{"why":"Gives the finite-graph maximum principle for semilinear parabolic network equations that the present infinite-graph comparison extends.","marker":"[12]"},{"why":"Underwrites well-posedness of the forward problem and the asserted existence of a unique solution to the backward problem (BP).","marker":"[13]"},{"why":"Establishes the positivity-preserving Lp heat semigroup used for bounded solutions and test functions.","marker":"[4]"},{"why":"Models the duality method in the L∞/manifold setting, cited for the bounded comparison theorem.","marker":"[5]"},{"why":"Another duality-method reference for parabolic equations on manifolds used in the L∞ case.","marker":"[9]"},{"why":"Supplies the notion of sub- and supersolutions for impulsive problems that Definition 2.4 adapts.","marker":"[7]"},{"why":"Companion source for that sub- and supersolution notion from impulsive differential equations.","marker":"[11]"}],"fun_headline_variants":["Comparison principle holds for heat on infinite metric graphs","Kirchhoff conditions yield comparison for semilinear heat","Duality method extends comparison to metric graphs","Parabolic monotonicity holds on infinite graphs","Semilinear heat comparison on metric graphs proved"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of the main L2 comparison principle assumes that the backward problem (BP) with coefficient a ∈ L^∞_loc has a unique nonnegative solution on the whole, possibly infinite, graph; this existence is asserted by standard semigroup results, but a can be unbounded in space and no global growth or decay condition on a is given.","fun_headline_variants_meta":{"raw":{"variants":["Comparison principle holds for heat on infinite metric graphs","Kirchhoff conditions yield comparison for semilinear heat","Duality method extends comparison to metric graphs","Parabolic monotonicity holds on infinite graphs","Semilinear heat comparison on metric graphs proved"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001748,"raw_usage":{"total_tokens":6808,"prompt_tokens":755,"completion_tokens":6053,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":371,"completion_tokens_details":{"reasoning_tokens":5983}},"tokens_in":371,"tokens_out":6053,"duration_ms":39421,"temperature":1.0,"reasoning_tokens":5983,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T05:24:15.602861+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take an infinite locally finite metric graph and a locally Lipschitz f for which the quotient a = (f(u) − f(u))/(u − u) grows in space faster than any admissible potential, for example a(x) = exp(ρ(x)^2) on a regular tree, and check whether the backward problem φ_t = −Δφ − aφ with terminal data ζ ∈ C_c^∞(G) has a nonnegative solution in $L^{2}$(0, τ; $L^{2}$(G)) for τ > 0. If no such solution exists, the integration-by-parts step in Theorem 3.2 cannot be carried out, and the comparison conclusion would require extra growth assumptions on a.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the duality method for comparison of sub- and supersolutions that the proof of Theorem 3.2 adapts to metric graphs."},{"cited_title":"de Mottoni, A","cited_arxiv_id":null,"evidence_quote":"Provides the monotonicity and attractivity framework that yields Theorem 3.3's convergence to stationary solutions."},{"cited_title":"von Below, A maximum principle for semilinear parabolic network equat ions","cited_arxiv_id":null,"evidence_quote":"Gives the finite-graph maximum principle for semilinear parabolic network equations that the present infinite-graph comparison extends."},{"cited_title":"G. Castelnuovo","cited_arxiv_id":null,"evidence_quote":"Underwrites well-posedness of the forward problem and the asserted existence of a unique solution to the backward problem (BP)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the positivity-preserving Lp heat semigroup used for bounded solutions and test functions."},{"cited_title":"Grillo, M","cited_arxiv_id":null,"evidence_quote":"Models the duality method in the L∞/manifold setting, cited for the bounded comparison theorem."},{"cited_title":"Muratori, F","cited_arxiv_id":null,"evidence_quote":"Another duality-method reference for parabolic equations on manifolds used in the L∞ case."},{"cited_title":"Lakshmikantham, D","cited_arxiv_id":null,"evidence_quote":"Supplies the notion of sub- and supersolutions for impulsive problems that Definition 2.4 adapts."},{"cited_title":"Rach˘ unkov´ a & J","cited_arxiv_id":null,"evidence_quote":"Companion source for that sub- and supersolution notion from impulsive differential equations."}],"review_version":1}