Spectral comparison results for Laplacians on discrete graphs

Christian Rose; Joachim Kerner; Patrizio Bifulco

REVIEW 2 major objections 4 minor 22 references

Spectral comparison results for Laplacians on discrete graphs

T0 review · 2 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For discrete graphs, the summed eigenvalue shift from adding a potential equals the weighted total of the potential, and the formula stays exact on infinite graphs.

desk verdict Correct main theorem for infinite discrete graph Laplacians with a repairable gap in the local Weyl law proof and a typo in Example 7 — worth refereeing. read the letter →

arxiv 2412.15937 v2 pith:KJXH7EX6 submitted 2024-12-20 math.SP math-phmath.MP

Patrizio Bifulco , Joachim Kerner , Christian Rose This is my paper · ORCID

classification math.SPmath-phmath.MP MSC 47B2505C5034L2081Q10

keywords discretegraphLaplacianspectralcomparisonlocalWeyllaweigenvaluedifferencesAmbarzumiantheoremcompactembeddingheatkernelSchrödingeroperatorongraphs

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves a spectral comparison formula for Laplacians on discrete graphs: for any realization $L_0$ whose form domain is compactly embedded in $\ell^2(X,m)$, and any nonnegative potential $c$, the induced operator $L_c$ satisfies $\sum_n (\lambda_n(c)-\lambda_n(0)) = \sum_x c(x)/m(x)$, with the right-hand side understood as $+\infty$ when $c/m$ is not summable. Because the right-hand side is just a weighted total of the potential, the result turns a spectral question into an explicit arithmetic sum, even on infinite graphs. The proof passes through a discrete local Weyl law, $\sum_n |f_n^c(x)|^2 = 1/m(x)$ at every vertex, which is derived directly from the heat kernel and Mercer's theorem without any Tauberian or Weyl-law input. As a corollary, if adding $c$ changes no eigenvalue, then $c$ must be zero.

What carries the argument

The load-bearing identity is the discrete local Weyl law, $\sum_{n=1}^{\dim \ell^2(X,m)} |f_n^c(x)|^2 = 1/m(x)$ for each vertex $x$. It is obtained from Mercer's theorem applied to the heat kernel $p_t^c(x,x)$, together with the strong continuity of the semigroup and Fatou's lemma. A second mechanism is the Hadamard-type formula $\frac{d}{d\tau}\lambda_n(\tau c) = \sum_x c(x)|f_n^{\tau c}(x)|^2$, which lets the spectral shift be written as an integral over $\tau$. Assumption 2 — compact embedding of the form domain — guarantees the purely discrete spectrum needed for both identities; the truncation argument $\{c_M\}$ then extends the formula to potentials with $c/m\notin\ell^1$.

What would settle it

Take the infinite path graph of Example 4, with $m(n)=n^{-4}$, edge weights $b(n,n+1)=n^2$, and $c(n)=n^2$. The theorem predicts $\sum_n(\lambda_n(c)-\lambda_n(0))=\sum_n 1/n^2=\pi^2/6$; computing the first $N$ eigenvalue differences numerically and checking whether their partial sums converge to $\pi^2/6$ while the summands go to zero would settle it. On any finite graph, exact diagonalization can test the same identity in closed form: the sum of all eigenvalue shifts must equal $\sum_x c(x)/m(x)$.

Watch

Extended reading notes

Core claim

The paper's central claim is that the spectral shift induced by a nonnegative potential $c$ is exactly additive over the full spectrum: writing $\lambda_n(c)$ and $\lambda_n(0)$ for the eigenvalues of the induced and base realizations, one has $\sum_n (\lambda_n(c)-\lambda_n(0)) = \sum_x c(x)/m(x)$, where the right-hand side is $+\infty$ precisely when $c/m\notin\ell^1(X,1)$. The same statement holds for finite and infinite graphs, provided the base form domain is compactly embedded in $\ell^2(X,m)$ (Assumption 2). The key intermediate is the local Weyl law $\sum_n |f_n^c(x)|^2 = 1/m(x)$, valid at every vertex; combined with a Hadamard-type formula for the derivative of $\lambda_n(\tau c)$ along the linear path $\tau\mapsto \tau c$, it yields the formula by integrating over $\tau$ and applying dominated convergence. The non-summable case follows by truncating $c$ and using the min-max principle.

Load-bearing premise

The whole argument stands on a compactness assumption: the energy space of the base operator must be squeezed inside the square-summable functions tightly enough that the spectrum is purely discrete, which is automatic on finite graphs but a genuine restriction on infinite ones.

Editorial extensions

If this is right

If $c/m\in\ell^1(X,1)$, the eigenvalue differences $\lambda_n(c)-\lambda_n(0)$ form a null sequence, so the two operators are asymptotically isospectral.
If $c/m\notin\ell^1(X,1)$, the summed eigenvalue shift is $+\infty$; the spectrum is still purely discrete, but there is no finite comparison.
Adding a potential that leaves every eigenvalue unchanged forces $c=0$; this is the Ambarzumian-type theorem for discrete graphs.
The discrete local Weyl law holds for every realization satisfying Assumption 2, giving a pointwise completeness relation for the eigenfunction system at each vertex.
For finite graphs the formula is an exact trace identity, since both sides are finite and the eigenvalue shift sums to $\sum_x c(x)/m(x)$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The formula ties the full eigenvalue sequence to only one scalar per graph, the weighted total of the potential; recovering the potential pointwise from spectra would therefore require additional data such as eigenfunction intensities or a family of perturbations.
Because the local Weyl law does not depend on the edge weights $b$, the summed spectral shift is insensitive to the graph's connectivity; this suggests using the identity as a normalization constraint when matching graph models to spectral measurements.
A natural testable extension is to signed potentials $c$: the same heat-kernel and Hadamard mechanism should yield the identity whenever $c/m$ is summable, although the truncation argument would need modification since the min-max monotonicity is lost.
One could probe the necessity of Assumption 2 by looking for realizations without compact embedding where the pointwise identity $\sum_n |f_n^c(x)|^2 = 1/m(x)$ still holds; if any exist, the spectral comparison formula may extend beyond the stated class.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Here's my read of arXiv:2412.15937. The headline: the main spectral comparison result for infinite discrete graphs is correct, and the proof strategy is cleaner than the continuous analogues, but Proposition 8 is proved via Mercer's theorem without checking trace class, and Example 7 has a numerical inconsistency. Both are fixable.

What's actually new: Theorem 5 gives the exact identity sum_n (lambda_n(c) - lambda_n(0)) = sum_x c(x)/m(x) for a broad class of infinite discrete graph Laplacians, with divergence when c/m is not summable. The finite-graph version was already in [BK23]; the infinite extension is new. Corollary 11's Ambarzumian-type statement follows immediately and is a nice touch. The paper does not rely on Tauberian arguments or Weyl asymptotics, and the proof is mostly self-contained.

What it does well: the Hadamard-formula-plus-partial-sums argument is genuinely simple. The normalization by m(x) is the right one, and the statement that the eigenvalue differences form a null sequence when c/m is summable is a clean asymptotic-isospectrality remark.

Soft spots, in proportion: First, Proposition 8's proof invokes Mercer's theorem for e^{-tL_c}. Under Assumption 2 the semigroup need not be trace class, so Mercer's hypotheses are not verified. The identity itself is just Parseval: expanding the normalized delta function gives sum_n |f_n^c(x)|^2 = 1/m(x). So the gap is real but repairable with a two-line proof. Second, Example 7 says the RHS is pi^2/6, but with m(n)=n^{-4} and c(n)=n^2, c/m = n^6, which diverges; the theorem would give +infinity. That's a typo in the example data, not in the theorem. Third, the label "local Weyl law" is generous — it is an elementary complete-basis identity — but they do correctly flag that no Tauberian theorem is involved.

The citation pattern is fine: the authors' prior work is the natural antecedent, and the finite case is explicitly recovered rather than assumed.

Net: the mathematics is sound once Prop 8 is patched. This deserves a serious referee, and with minor revision it should be publishable. I'd bring it to a spectral-graph-theory reading group as a neat example of exact comparison identities; I'd cite it if I worked on discrete Laplacians.

Referee Report

2 major / 4 minor

Summary. The paper proves a spectral comparison result for self-adjoint Laplacians on discrete graphs. Under Assumption 2, which requires the form domain of the unperturbed realization to be compactly embedded in ℓ²(X,m), the induced realization with a potential c ≥ 0 has purely discrete spectrum. The main theorem (Theorem 5) states that the sum over all eigenvalue differences λ_n(c) - λ_n(0) equals the weighted sum ∑_{x∈X} c(x)/m(x), with value +∞ when c/m ∉ ℓ¹(X,1). The proof uses a local Weyl law (Proposition 8), a Hadamard-type formula (Proposition 10), and a truncation argument for the non-ℓ¹ case. A corollary gives an Ambarzumian-type theorem, and an explicit infinite path graph example is provided.

Significance. If the proof issues are repaired, this is a clean and striking result: unlike the continuous and quantum-graph settings, where spectral comparison yields averaged or mean eigenvalue distances, here the full sum of all eigenvalue differences has an exact, simple formula. The local Weyl law identity is also presented without Tauberian arguments. The paper correctly recovers earlier finite-graph results and yields a null-sequence asymptotic isospectrality statement. The main theorem is falsifiable and the argument is largely self-contained. However, the current proof of Proposition 8 relies on an unverified trace-class condition, and Example 7 as stated contradicts the theorem; both issues are repairable.

major comments (2)

[§3, Proposition 8] The proof of Proposition 8 invokes Mercer's theorem to write p_t^c(x,x) = ∑_{n} e^{-tλ_n(c)} |f_n^c(x)|², but it does not verify that e^{-tL_c} is trace class. Under Assumption 2 the eigenvalues of L_c need only tend to infinity with no prescribed rate (for instance, λ_n = log n is compatible with purely discrete spectrum), so e^{-tλ_n} need not be summable and Mercer's theorem is not applicable. Since Theorem 5 uses Proposition 8 for every L_{τc}, this is a gap in the main proof. The identity is elementary and can be proved by expanding δ_x/√m(x) in the orthonormal eigenbasis, which gives m(x)∑_n |f_n^c(x)|² = 1 without any trace-class assumption; please replace or supplement the Mercer argument with this direct Parseval argument.
[§2, Example 7] Example 7 is inconsistent with Theorem 5: with m(n) = n^{-4} and c(n) = n², the ratio c(n)/m(n) equals n⁶, whose sum over n∈N diverges, so Theorem 5 predicts +∞, not π²/6. If the intent was to illustrate a finite value, a different potential or weight is needed (e.g., c(n) = n^{-6} would give ∑ n^{-2} = π²/6). Please correct the example.

minor comments (4)

[Theorem 5] The phrase 'where the right-hand side equals +∞' should be read as referring to the sum ∑_{x∈X} c(x)/m(x); consider rewording for clarity.
[References] In the reference list, the entry [KL W21] contains a spurious space; it should be [KLW21].
[Notation] Using dim ℓ²(X,m) as the upper summation limit is unconventional; it would help to define it explicitly as ∞ when the space is infinite-dimensional.
[§3, Proposition 8] After the eigenfunction expansion is established, the argument using Fatou's lemma is unnecessarily indirect; a monotone-convergence or direct Parseval argument would be clearer.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the main spectral comparison theorem is derived from standard spectral theory, with self-citations used only as context or as reproducible proof techniques.

full rationale

The paper derives Theorem 5 by combining a Hadamard-type formula (Proposition 10) with a discrete local Weyl law (Proposition 8). Neither ingredient is assumed equal to the target: Proposition 8 is proved from Mercer's theorem and the strong continuity of the semigroup, and Proposition 10 is cited to external work [LS24, Kat66]. The local Weyl identity sum_n |f_n^c(x)|^2 = 1/m(x) is an instance of Parseval's identity for the orthonormal eigenbasis, not an input assumption. The self-citations are not load-bearing: [BK23] is only mentioned as a finite-graph special case recovered by the theorem, [BM25, Lemma 2.6] is used to verify that Example 4 satisfies Assumption 2, and [BK24d] is cited for a truncation argument that the proof actually reproduces via min-max and the already-proved l^1 case. No parameter is fitted to eigenvalues and no prediction is equivalent by construction to an input. Two non-circular issues are noted: Proposition 8 invokes Mercer's theorem without explicitly verifying trace-class hypotheses, though the identity admits an elementary Parseval proof; and Example 7's claimed value pi^2/6 is inconsistent with Theorem 5 as stated, since c(n)/m(n) = n^6 is not summable. These affect correctness, not circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no free parameters or new entities. Its assumptions are standard spectral-theoretic conditions; the only non-obvious auxiliary assumption is the implicit trace-class and Mercer step in Proposition 8, which is not needed for the truth of the claim.

assumptions (5)

domain assumption Assumption 2: D(Q0) is compactly embedded in l^2(X,m).
Stated as the central standing hypothesis; guarantees purely discrete spectrum and completeness of eigenfunctions used throughout.
ad hoc to paper e^{-tL_c} is trace class and Mercer's theorem applies (implicit in proof of Proposition 8).
The proof of the local Weyl law invokes Mercer's series without deriving trace class from Assumption 2. The identity is independently true via Parseval, so this axiom is removable.
standard math Hadamard-type eigenvalue differentiability (Proposition 10, after [LS24, Kat66]).
Used in Theorem 5 to write lambda_n(c)-lambda_n(0) as an integral of <c f_n, f_n>. Standard first-order perturbation theory.
standard math Spectral theorem and completeness of eigenfunctions for operators with purely discrete spectrum.
Implied by Assumption 2; needed for the local Weyl law identity sum_n |f_n(x)|^2 = 1/m(x).
standard math D(Qc) is compactly embedded in l^2 when D(Q0) is (Lemma 3).
Derived from the definition of compact embedding; used to ensure Lc has discrete spectrum.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Spectral comparison results for Laplacians on discrete graphs." pith.science (2026). https://pith.science/paper/KJXH7EX6

@misc{pith2026241215937,
  author       = {Pith},
  title        = {Pith review of: Spectral comparison results for Laplacians on discrete graphs},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KJXH7EX6}},
  note         = {Machine review of arXiv:2412.15937}
}

read the original abstract

In the recent literature, various authors have studied spectral comparison results for Schr\"odinger operators with discrete spectrum in different settings including Euclidean domains and quantum graphs. In this note we derive such spectral comparison results in a rather general framework for general and possibly infinite discrete graphs. Along the way, we establish a discrete version of the local Weyl law whose proof does neither involve any Tauberian theorem nor the Weyl law as used in the continuous case.

Figures

Figures reproduced from arXiv: 2412.15937 by the authors.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

[1]

Ambarzumian

V. Ambarzumian. Über eine F rage der E igenwerttheorie. Z. Phys. , 53:690--695, 1929

work page 1929
[2]

Borthwick, E

D. Borthwick, E. M. Harrell II , and K. Jones. The heat kernel on the diagonal for a compact metric graph. Ann. Henri Poincaré , 24:1661–1680, 2022

work page 2022
[3]

Bifulco and J

P. Bifulco and J. Kerner. On the surface area of graphs, related connectivity measures and spectral estimates . arXiv:2305.06290, 2023

work page arXiv 2023
[4]

A modified local Weyl law and spectral comparison results for $\delta'$-coupling conditions

P. Bifulco and J. Kerner. A modified local Weyl law and spectral comparison results for ^ -coupling conditions . arXiv:2407.21719, 2024

work page Pith review arXiv 2024
[5]

Bifulco and J

P. Bifulco and J. Kerner. A note on Ambarzumian's theorem for quantum graphs . Arch. Math. , 123:95--102, 2024

work page 2024
[6]

Bifulco and J

P. Bifulco and J. Kerner. Comparing the spectrum of S chrödinger operators on quantum graphs . Proc. Amer. Math. Soc. , 152:295--306, 2024

work page 2024
[7]

Bifulco and J

P. Bifulco and J. Kerner. Some spectral comparison results on infinite quantum graphs . J. Math. Phys. , 65(7):073502, 07 2024

work page 2024
[8]

Boman, P

J. Boman, P. Kurasov, and R. Suhr. Schr\" o dinger operators on graphs and geometry II . S pectral estimates for L_1 -potentials and an A mbartsumian theorem. Integral Equ. Oper. Theory , 90(3):Paper No. 40, 24, 2018

work page 2018

Show all 22 references

[9]

Bifulco and D

P. Bifulco and D. Mugnolo. On the p -torsional rigidity of combinatorial graphs . Nonlinear Anal. TMA , 251:113694, 2025

2025
[10]

G. Borg. Eine Umkehrung der S turm- L iouvilleschen Eigenwertaufgabe: Bestimmung der Differentialgleichung durch die Eigenwerte . Acta Math. , 78:1 -- 96, 1946

1946
[11]

E. B. Davies. An inverse spectral theorem. J. Oper. Theory , 69(1):195--208, 2013

2013
[12]

Frank and S

R. Frank and S. Larson. Spectral asymptotics for Robin Laplacians on Lipschitz sets . arXiv:2410.22238, 2024

2024 arXiv
[13]

B. Hua, M. Keller, M. Schwarz, and M. Wirth. Sobolev-type inequalities and eigenvalue growth on graphs with finite measure. Proc. Amer. Math. Soc. , 151:3041--3414, 2023

2023
[14]

T. Kato. Perturbation theory for linear operators . Springer, 1966

1966
[15]

Keller, D

M. Keller, D. Lenz, M. Schmidt, and M. Schwarz. Boundary representation of Dirichlet forms on discrete spaces . J. Math. Pures Appl. , 125:109-- 143, 2019

2019
[16]

Keller, D

M. Keller, D. Lenz, and R. K. Wojciechowski. Graphs and D iscrete D irichlet S paces . Springer Nature Switzerland AG, 2021

2021
[17]

Kurasov and R

P. Kurasov and R. Suhr. Asymptotically isospectral quantum graphs and generalised trigonometric polynomials. J. Math. Anal. Appl. , 488(1):124049,15, 2020

2020
[18]

P. Kurasov. Spectral geometry of graphs . Birkhäuser Berlin, Heidelberg, 2023

2023
[19]

Latushkin and S

Y. Latushkin and S. Sukhtaiev. First-order asymptotic perturbation theory for extensions of symmetric operators. J. Lond. Math. Soc. , 110:e13005, 2024

2024
[20]

Schanz R

H. Schanz R. Band and G. Sofer. Differences between R obin and N eumann eigenvalues on metric graphs. Ann. Henri Poincaré , 25:3859–3898, 2024

2024
[21]

Rudnick, I

Z. Rudnick, I. Wigman, and N. Yesha. Differences between R obin and N eumann eigenvalues. Commun. Math. Phys. , 388:1603–1635, 2021

2021
[22]

Schm \"u dgen

K. Schm \"u dgen. Unbounded self-adjoint operators on H ilbert space , volume 265. Springer Science & Business Media, 2012

2012

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.

[1] [1]

Ambarzumian

V. Ambarzumian. Über eine F rage der E igenwerttheorie. Z. Phys. , 53:690--695, 1929

work page 1929

[2] [2]

Borthwick, E

D. Borthwick, E. M. Harrell II , and K. Jones. The heat kernel on the diagonal for a compact metric graph. Ann. Henri Poincaré , 24:1661–1680, 2022

work page 2022

[3] [3]

Bifulco and J

P. Bifulco and J. Kerner. On the surface area of graphs, related connectivity measures and spectral estimates . arXiv:2305.06290, 2023

work page arXiv 2023

[4] [4]

A modified local Weyl law and spectral comparison results for $\delta'$-coupling conditions

P. Bifulco and J. Kerner. A modified local Weyl law and spectral comparison results for ^ -coupling conditions . arXiv:2407.21719, 2024

work page Pith review arXiv 2024

[5] [5]

Bifulco and J

P. Bifulco and J. Kerner. A note on Ambarzumian's theorem for quantum graphs . Arch. Math. , 123:95--102, 2024

work page 2024

[6] [6]

Bifulco and J

P. Bifulco and J. Kerner. Comparing the spectrum of S chrödinger operators on quantum graphs . Proc. Amer. Math. Soc. , 152:295--306, 2024

work page 2024

[7] [7]

Bifulco and J

P. Bifulco and J. Kerner. Some spectral comparison results on infinite quantum graphs . J. Math. Phys. , 65(7):073502, 07 2024

work page 2024

[8] [8]

Boman, P

J. Boman, P. Kurasov, and R. Suhr. Schr\" o dinger operators on graphs and geometry II . S pectral estimates for L_1 -potentials and an A mbartsumian theorem. Integral Equ. Oper. Theory , 90(3):Paper No. 40, 24, 2018

work page 2018