{"id":"d27ecdb3-49a4-420c-8824-adb5de04d79e","arxiv_id":"1908.02137","paper_version":2,"verdict":"REJECT","confidence":"HIGH","novelty_score":3.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The wave equation on a finite weighted graph does have a unique solution, but the paper's explicit solution formula is wrong and its infinite propagation speed theorem rests on an impossible eigenfunction assumption.","lead":"This paper proves that a wave equation with Dirichlet boundary conditions on a finite weighted graph has a unique solution, using Rothe's method. It also gives an explicit eigenfunction solution and an infinite propagation speed result, but both contain mathematical errors.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.1 proof assumes connectedness and a Poincare inequality not stated in the theorem; the gap is repairable, so rejection rests on the false Theorems 1.2 and 1.3.","rationale":"I read Theorem 1.1 as the central claim. The existence argument is essentially a finite-dimensional linear ODE/Rothe scheme, and the stated Holder condition is more than enough to pass piecewise-constant forcing to the limit. The uniqueness energy calculation is formally correct for classical solutions. The only real gap relative to the theorem statement is connectedness: the text uses it explicitly in uniqueness and implicitly through the Poincare inequality (2.11). Both uses are unnecessary in substance—the zero-Cauchy homogeneous problem is unique on each component, and the Rothe functionals are coercive in the full W^{1,2} norm even without Poincare. Thus I do not regard the connectedness issue as a counterexample; it is a repairable proof gap. The reader's verdict of REJECT remains correct, but for a different reason: Theorem 1.2's explicit solution is wrong, changing the initial velocity, and Theorem 1.3 rests on an eigenfunction condition (1.4) that cannot hold on a nondegenerate graph. Those secondary theorems are not used in the proof of Theorem 1.1, so my stress-test does not overturn the rejection but clarifies that the central existence statement is likely sound.","tokens_in":20391,"tokens_out":16970,"duration_ms":197861,"concrete_test":"Construct a two-component domain Ω: one closed vertex with no neighbors outside Ω and one component that touches ∂Ω, then solve the finite-dimensional linear system ∂²u − ΔΩu = 0 with zero initial data. If the only solution is zero, the reader's claimed uniqueness failure does not land and Theorem 1.1 survives as a true but under-proven statement; the connectedness assumption can be removed in a revision by treating components separately.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is Theorem 1.1. As stated it covers every bounded domain with nonempty interior, but the proof silently requires the domain to be connected. Uniqueness explicitly invokes 'since ∇u(t,x) ≡ 0 and Ω is connected' to conclude u is constant, and the existence proof invokes the Poincare-type inequality (2.11) of Theorem 2.2, which fails if Ω has a closed component with no boundary: a nonzero constant supported on that component has zero gradient. Thus the submitted proof does not establish the theorem in the stated generality. This is a genuine proof gap, but not a counterexample to the theorem: for the homogeneous equation with zero initial displacement and velocity, each component mode satisfies a''(t) + λa(t) = 0 with a(0) = a'(0) = 0, so it vanishes identically even when λ = 0; moreover ∂tu ≡ 0 on every interior vertex forces u(t,x) = u(0,x) = 0 there, and boundary vertices are zero by the boundary condition. The Rothe existence step can be repaired by using coercivity of ||∇u||² + ℓ^{-2}||u||² instead of (2.11). The decisive defects are elsewhere: Theorem 1.2's explicit solution contains an erroneous −b_k(0)/√λ_k · sin(√λ_k t) term, so its time derivative at 0 is h − b(0) rather than h, and Theorem 1.3's assumption (1.4) is impossible for a graph with edges. These errors do not affect Theorem 1.1 but justify rejection.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the initial-boundary value problem for the wave equation ∂t²u−ΔΩu=f on a finite weighted graph with Dirichlet boundary data, and claims three results: Theorem 1.1 establishes existence and uniqueness by Rothe's method; Theorem 1.2 gives an explicit solution formula in an eigenfunction basis; Theorem 1.3 claims infinite propagation speed when f(0,·)<0 and the initial data vanish. The existence/uniqueness argument is a plausible finite-dimensional time-discretization, but the paper contains several errors: the explicit formula in Theorem 1.2 does not satisfy the prescribed initial velocity, Theorem 1.3 relies on an eigenfunction condition that cannot hold for a graph with edges, and the proof of Theorem 1.1 uses connectedness and a Poincaré inequality that are not part of the theorem's hypotheses.","tokens_in":20633,"tokens_out":13023,"duration_ms":128652,"significance":"If Theorem 1.1 were correct as stated, it would provide a useful Rothe-method proof of well-posedness for a discrete wave equation; the approach is self-contained and does not fit parameters or rely circularly on the existence results it cites. This part of the paper is likely salvageable after correcting hypotheses and estimates. However, the explicit eigenfunction formula and the infinite-propagation-speed theorem are advertised as main results and are not correct; since the paper's contribution is centered on those claims, the manuscript cannot be published in its present form.","major_comments":[{"comment":"The displayed solution does not satisfy the initial velocity condition. Differentiating the formula gives ∂tu(0,x)=Σ h_kφ_k(x) − Σ b_k(0)φ_k(x), because the two convolution terms involving the integrands cancel at t=0 and the term (1/√λ_k)(h_k−b_k(0)) sin(√λ_k t) contributes h_k−b_k(0). The manuscript instead states ∂tu(0)=Σ(b_k(0)+i(c_k−c̃_k)√λ_k)φ_k and concludes c_k−c̃_k=−i(h_k−b_k(0))/√λ_k; that step imports an erroneous b_k(0) into the initial velocity. The correct last term should be (1/√λ_k)h_k sin(√λ_k t). This is a load-bearing error because Theorem 1.3 is derived from the incorrect formula.","section":"§4, Theorem 1.2"},{"comment":"Condition (1.4) cannot be satisfied by eigenfunctions of −ΔΩ on a graph with at least one edge. If φ_k(x_j)=δ_{kj}, then at a neighbor y of x_k with y≠x_k the eigenvalue equation −ΔΩφ_k(y)=λ_kφ_k(y) gives 0 = λ_k·0 = −(1/μ(y))ω_{yx_k}(1−0) < 0 (all other φ_k(z) vanish), a contradiction. Thus Theorem 1.3 is vacuous for every nontrivial graph. Independently, its proof of ∂tu(t,x)=−Σcos(√λ_k t)b_k(0)φ_k(x) relies on the erroneous b_k(0) term of Theorem 1.2 and on the unsupported a priori bound λ_k∈(0,2).","section":"§4, Theorem 1.3, assumption (1.4)"},{"comment":"The proof of Theorem 1.1 assumes facts not stated in the theorem. Uniqueness concludes u(t,x) is constant from ∇u≡0 using 'Ω is connected', but Theorem 1.1 only assumes Ω is a bounded domain with Ω°≠∅. Existence at Step 1 invokes the Poincaré-type inequality (2.11) from Theorem 2.2, which fails if Ω has a closed component with no boundary vertices: a nonzero function constant on that component and zero elsewhere has zero gradient but nonzero L² norm. These gaps are repairable by adding a connectedness hypothesis or by arguing componentwise, but as written the theorem is broader than its proof.","section":"§3, uniqueness paragraph and Theorem 2.2"},{"comment":"The written bound for ‖∇u^{(n)}(t,·)‖² is not an estimate of the Rothe interpolant. In the displayed computation, the argument u_{i−1}(y)+(t−t_{i−1})u_{i−1}(y) appears instead of u_{i−1}(y)+(t−t_{i−1})δu_i(y), so the bound obtained is for ∇((1+(t−t_{i−1}))u_{i−1}) rather than for ∇(u_{i−1}+(t−t_{i−1})δu_i). The estimate can be recovered using (3.24), since ‖δu_i‖_{L²}≤√C₀, but the proof as printed does not contain that argument.","section":"§3, Step 4, estimate (3.25)"},{"comment":"There is a regularity gap between the theorem and the paper's own definition of solution. Definition 2.6 requires ∂²_t u(t,x) to exist pointwise for (t,x)∈(0,∞)×Ω°, while Step 5 only proves ∂²_t u∈L²([0,T];L²(Ω)) and Step 6 obtains the equation in integrated/L² form. To match Definition 2.6 the authors need to show continuous differentiability in time, for example by using the finite-dimensional ODE structure or a time-regularity argument; as written, the existence claim is only for a weak solution.","section":"§3, Step 6 and Definition 2.6"}],"minor_comments":[{"comment":"The title and several headings contain typos: 'PROPER TIES', 'W A VE EQUA TION', and 'Infinite propagation speed' should be corrected.","section":"Title and headings"},{"comment":"After stating δu^{(n_k)}(t,x)−h(x)=∫..., the next displayed identity writes (δu^{(n_k)},v)−(g,v); it should be (h,v), since the initial value of δu^{(n)} is h.","section":"§3, Step 5"},{"comment":"The proof asserts λ_k∈(0,2) from [4, Theorem 4.3]; for the general weighted graphs admitted by (2.5), eigenvalues of the Dirichlet Laplacian can exceed 2 when edge weights are large, so this bound needs an explicit normalization assumption.","section":"§4, Theorem 1.3 proof"},{"comment":"Reference [12] is a preprint without a stable identifier and [17] lacks full publication data; both should be completed.","section":"References"},{"comment":"The Hölder condition is written 'for all x∈Ω°' although the norm already integrates over x; it should be stated as a condition on t↦f(t,·) in L²(Ω°).","section":"Theorem 1.1 statement"}],"recommendation":"reject","confidential_remarks":"I agree with the reader's assessment. Theorems 1.2 and 1.3 are false as stated; these are not presentation issues but invalidate two of the three main claims. The existence theorem may be salvageable, but the current manuscript needs substantial revision; if the authors restrict the paper to a corrected Theorem 1.1, it could be reconsidered. I do not see a circularity problem: inequality (2.11) is a standard cited result, and the Rothe construction is independent of the cited existence theorems."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper's main business is a Rothe-method existence proof for a linear wave equation on a finite weighted graph, followed by an explicit eigenfunction formula and a propagation-speed claim. The existence theorem is essentially standard finite-dimensional ODE well-posedness, and the proof has real gaps, but it is likely repairable. The other two theorems are wrong as stated.\n\nCredit where it is due: the Rothe discretization is a legitimate technique, the energy estimates in Steps 3–5 are recognizable and mostly standard, and the weak-convergence argument is coherent. The literature is cited fairly, including the co-author's Poincaré inequality; self-citation is not an issue here. That part of the paper shows real effort.\n\nThe soft spots are serious, however. Theorem 1.1 is stated for any bounded domain with nonempty interior, but the uniqueness proof invokes connectedness and the existence proof uses (2.11), which fails for a component with no boundary. These are genuine proof gaps, though repairable via coercivity of the full gradient-plus-L2 form. I agree with the stress-test note here.\n\nTheorem 1.2 is not correct: the explicit formula contains an extra term, so differentiating at t = 0 gives ∂tu(0) = h − b(0) rather than h. The derivation in Section 4 indeed arrives at ck − c̃k = −i(hk − bk(0))/√λk instead of −i hk/√λk. That is not a minor typo; it changes the solution. Theorem 1.3 then builds on that formula and also assumes an orthonormal basis of delta-type eigenfunctions (1.4), which cannot exist for a graph with edges. The sign of the propagation claim is also suspect: with g = h = 0 and f(0) < 0, the solution initially decreases, not increases. These errors are load-bearing and make the paper unacceptable in its current form.\n\nThe novelty is thin in any case: existence for a finite linear ODE system is standard, the solution formula is textbook Duhamel, and infinite propagation speed for a nonlocal graph Laplacian is immediate. For a reader working on PDE on graphs, the Rothe proof may offer some pedagogical value, but the false claims outweigh it.\n\nRecommendation: send it to a serious referee rather than desk-reject, because the Rothe argument is substantive and the errors are identifiable and fixable in principle. But the expected outcome is rejection or major revision: Theorem 1.2 and Theorem 1.3 cannot stand as written, and Theorem 1.1 needs a corrected statement and repaired proof.","headline":"A routine existence theorem with a repairable gap, plus two incorrect main claims; reject as is, but not a waste of a referee's time.","tokens_in":21215,"tokens_out":2956,"would_cite":false,"duration_ms":31910,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35L05","35R02","58J45"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the initial-boundary wave equation on a bounded domain of a locally finite weighted graph has a unique solution, and it gives an explicit eigenfunction formula for that solution.","keywords":["Rothe's method","wave equation on graphs","Dirichlet Laplacian","initial boundary value problem","weighted graph","infinite propagation speed","existence and uniqueness"],"falsifier":"On the smallest graph where the issue is visible, take $\\Omega^\\circ=\\{x_1,x_2\\}$ with an edge between $x_1$ and $x_2$, each also connected to a boundary vertex, set $g=h=0$ and $f(t,x)=t\\cdot\\mathbf{1}_{x=x_1}$, and solve the resulting $2\\times 2$ linear system exactly. Compare the exact solution with the eigenfunction formula of Theorem 1.2 and with the limit of Rothe's method on successively finer time meshes; any disagreement among the three would falsify the existence or uniqueness claim, while agreement on this domain would confirm it.","tokens_in":20105,"feed_emoji":"🌊","tokens_out":13287,"duration_ms":138673,"temperature":0.7,"pith_summary":"On a bounded piece of a locally finite weighted graph, the second-order wave equation with zero Dirichlet data is well-posed: once the interior, the boundary, and the initial position and velocity are fixed, the motion is uniquely determined. The paper proves this for forcing terms $f(t,x)$ that are Hölder continuous in time and uniformly bounded in $L^2(\\Omega^\\circ)$, using Rothe's method—divide time into steps, solve an elliptic problem at each step, and show that the piecewise-linear interpolants converge. The same construction leads to an explicit solution in the Dirichlet eigenbasis and to a direct consequence about speed: if the forcing is negative everywhere on the interior at time zero, the wave reaches every interior vertex immediately, so the graph wave equation has infinite propagation speed.","feed_headline":"Wave equation on graphs has a unique solution","feed_subtitle":"Hölder-in-time forcing ensures existence and uniqueness; a negative initial forcing sends the wave everywhere instantly.","key_machinery":"The load-bearing mechanism is Rothe's method on a finite-dimensional state space. The time axis is split into intervals of length $\\ell=T/n$; at each grid time $t_i$ one minimizes a quadratic functional whose Euler-Lagrange equation is the implicit time step $(-\\Delta_\\Omega u_i,v)+\\ell^{-2}(u_i-2u_{i-1}+u_{i-2},v)=(f(t_i,\\cdot),v)$. The piecewise-linear interpolants of the sequence $\\{u_i\\}$ are uniformly bounded and equi-continuous in time, so a weak limit exists and satisfies the original equation in integrated form. Uniqueness comes from the energy identity $e(t)=\\int_\\Omega|\\nabla u|^2\\,d\\mu+\\int_{\\Omega^\\circ}|\\partial_t u|^2\\,d\\mu$, whose derivative vanishes along solutions. The eigenfunction formula uses the Dirichlet basis and the strict positivity of the eigenvalues of $-\\Delta_\\Omega$.","core_discovery":"The paper's central claim is Theorem 1.1: if $\\|f(t,\\cdot)-f(s,\\cdot)\\|_{L^2(\\Omega^\\circ)}\\le c|t-s|^\\alpha$ and $\\sup_{t\\in[0,T]}\\|f(t,\\cdot)\\|_{L^2(\\Omega^\\circ)}^2\\le \\tilde c(T)$, then the initial-boundary value problem $\\partial_t^2 u-\\Delta_\\Omega u=f$ on $(0,\\infty)\\times\\Omega^\\circ$, with $u=0$ on the boundary and $u(0,\\cdot)=g$, $\\partial_t u(0,\\cdot)=h$, has a unique solution: $u\\in L^2([0,T];W^{1,2}_0(\\Omega))$ and $\\partial_t u,\\partial_t^2 u\\in L^2([0,T];L^2(\\Omega))$ for every $T>0$. Theorem 1.2 writes that solution as a finite sum over Dirichlet eigenfunctions, with the coefficients given by sine and cosine convolutions of the forcing plus the initial modes. Theorem 1.3 reads off from the same formula that if $g=h=0$ and $f(0,x)<0$ on $\\Omega^\\circ$, then $u(t,x)>0$ for every interior vertex and all sufficiently small $t>0$; in other words, the wave has infinite propagation speed.","pith_inferences":["Because $\\Omega^\\circ$ is finite, the equation is a finite system of ordinary differential equations; the spectral theorem should already give well-posedness, so the Rothe proof and the eigenfunction formula can be checked against each other on any small graph.","The connectedness gap in the uniqueness proof is probably repairable: on a disconnected domain one can apply the constancy argument componentwise and use the zero boundary and zero initial data to kill every component's constant, but the theorem as stated would need the extra assumption or a revised proof.","The infinite-speed argument assumes the Dirichlet eigenfunctions are nonnegative on $\\Omega^\\circ$; the paper cites positivity of eigenvalues but does not prove nonnegativity of eigenfunctions. A sign-changing eigenfunction on some graph would not necessarily disprove infinite speed, but it would force a different proof of Theorem 1.3."],"forward_implications":["For every forcing term satisfying the stated $\\alpha$-Hölder condition and uniform $L^2$ bound, the graph wave equation has exactly one solution, so the initial-boundary value problem is well-posed on bounded domains of locally finite weighted graphs.","The Rothe construction gives a computable time-stepping approximation that converges to the true solution without diagonalizing the Laplacian, so it works directly from graph data such as weights and the measure $\\mu$.","With zero initial data and a negative initial forcing, the solution is positive at every interior vertex for arbitrarily small positive times, so the discrete wave equation does not obey finite propagation speed.","The explicit eigenfunction formula makes the graph wave equation as explicit as the classical one: sine and cosine Duhamel integrals replace the continuum fundamental solution, and the finite sum is directly evaluable because $\\Omega^\\circ$ is finite."],"supporting_citations":[{"why":"Supplies the Dirichlet Laplacian as a positive self-adjoint operator, Green's formula, and the spectral facts $\\lambda_k>0$ and $\\lambda_k\\in(0,2)$ used in Theorems 1.2 and 1.3.","marker":"[4]"},{"why":"Provides the Sobolev embedding and pre-compactness theorem on bounded graph domains that yields uniform $L^2$ bounds and strong convergence of minimizing sequences.","marker":"[5]"},{"why":"Gives the equivalence between $D_\\mu<\\infty$ and boundedness of the $\\mu$-Laplacian on $\\ell^q$, used in the energy and bound estimates.","marker":"[8]"},{"why":"Is the prior application of Rothe's method to perturbed linear hyperbolic equations and variational inequalities that this paper adapts to graphs.","marker":"[10]"},{"why":"Is Rothe's original time-discretization method, the template for the semidiscrete scheme used here.","marker":"[16]"},{"why":"Provides the comparison setting of infinite propagation speed for waves on p.c.f. fractals that Theorem 1.3 extends to weighted graphs.","marker":"[12]"}],"fun_headline_variants":["Unique solution proven for wave equation on graphs","Graph wave equation: existence and uniqueness established","Rothe's method yields unique graph wave solution","Wave on finite graphs: solution exists and is unique","Negative initial force means infinite wave speed on graphs"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof's uniqueness step assumes that the domain $\\Omega$ is connected in order to infer that $\\nabla u\\equiv 0$ forces $u$ to be constant on $\\Omega$, but Theorem 1.1 states only that $\\Omega$ is a bounded domain; on a disconnected domain that inference is not justified as written, so the theorem's proof depends on an unstated connectedness hypothesis.","fun_headline_variants_meta":{"raw":{"variants":["Unique solution proven for wave equation on graphs","Graph wave equation: existence and uniqueness established","Rothe's method yields unique graph wave solution","Wave on finite graphs: solution exists and is unique","Negative initial force means infinite wave speed on graphs"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00075,"raw_usage":{"total_tokens":3378,"prompt_tokens":1019,"completion_tokens":2359,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":635,"completion_tokens_details":{"reasoning_tokens":2289}},"tokens_in":635,"tokens_out":2359,"duration_ms":18207,"temperature":1.0,"reasoning_tokens":2289,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:54:39.493711+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"On the smallest graph where the issue is visible, take $\\Omega^\\circ=\\{x_1,x_2\\}$ with an edge between $x_1$ and $x_2$, each also connected to a boundary vertex, set $g=h=0$ and $f(t,x)=t\\cdot\\mathbf{1}_{x=x_1}$, and solve the resulting $2\\times 2$ linear system exactly. Compare the exact solution with the eigenfunction formula of Theorem 1.2 and with the limit of Rothe's method on successively finer time meshes; any disagreement among the three would falsify the existence or uniqueness claim, while agreement on this domain would confirm it.","supporting_citations":[{"cited_title":"Lecture notes at Univ ersity of Bielefeld (2009)","cited_arxiv_id":null,"evidence_quote":"Supplies the Dirichlet Laplacian as a positive self-adjoint operator, Green's formula, and the spectral facts $\\lambda_k>0$ and $\\lambda_k\\in(0,2)$ used in Theorems 1.2 and 1.3."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the Sobolev embedding and pre-compactness theorem on bounded graph domains that yields uniform $L^2$ bounds and strong convergence of minimizing sequences."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the equivalence between $D_\\mu<\\infty$ and boundedness of the $\\mu$-Laplacian on $\\ell^q$, used in the energy and bound estimates."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Is the prior application of Rothe's method to perturbed linear hyperbolic equations and variational inequalities that this paper adapts to graphs."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Is Rothe's original time-discretization method, the template for the semidiscrete scheme used here."},{"cited_title":"Infinite Propagation Speed For Wave Solutions on Some P.C.F. Fractals","cited_arxiv_id":"1111.2938","evidence_quote":"Provides the comparison setting of infinite propagation speed for waves on p.c.f. fractals that Theorem 1.3 extends to weighted graphs."}],"review_version":1}