REVIEW 4 major objections 3 minor 34 references
1-D Schr\"odinger operator on a star graph with nondefinite weight function
T0 review · 4 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The indefinite Kirchhoff Laplacian on a star graph has a complete explicit point spectrum and its eigenfunctions form a Riesz basis.
desk verdict Worth engaging: the eigen-equation and Riesz-basis result hold up, but Theorem 4.1's printed asymptotics and Remark (ii) are wrong and need fixing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying objects are a boundary triple (a pair of boundary maps satisfying an abstract Green identity) for the maximal operator $T$ and its Weyl function. The boundary maps are $\Gamma_0 f=f(0)$ and $\Gamma_1 f=\sum_{j=1}^n f_j'(0)$, so that the auxiliary operator $A=\ker\Gamma_0$ is the direct sum of edge operators and $B=\ker\Gamma_1$ is the indefinite Kirchhoff Laplacian; both are self-adjoint extensions in the Krein space. The associated Weyl function $M(\lambda)=-\mu(n_+\cot\mu+n_-\coth\mu)$, $\mu^2=\lambda$, enters the rank-one resolvent formula $(A-\lambda)^{-1}-(B-\lambda)^{-1}=-\gamma(\lambda)M(\lambda)^{-1}\gamma(\lambda)^+$, so zeros of $M$ produce the simple interlacing eigenvalues $\eta_k$, while poles of $M$ at $(k\pi)^2$ reduce the multiplicities there. For the similarity result, the paper applies a criterion requiring a bounded, boundedly invertible operator $W$ with $W(D((JB)^{1/2}))\subseteq D((JB)^{1/2})$, and constructs $W=JX$ from a local operator $X=1+Y^*Y$ that makes functions vanish near the central vertex.
What would settle it
On a concrete graph with $n_+=2$, $n_-=2$, compute $\dim\ker(B-\pi^2)$ directly by solving the Dirichlet-and-Kirchhoff boundary-value problem; Theorem 4.1 predicts dimension $1$, so finding dimension $2$ would refute the multiplicity claim. For the similarity claim, one can discretize $B$ on a fine grid, compute its eigenfunctions, and check whether they satisfy uniform Riesz-basis bounds; failure of the domain-invariance condition in Theorem 2.1 would appear as unbounded growth of those bounds.
Extended reading notes
Core claim
The main results are Theorem 4.1 and Theorem 4.5. The operator $B$ is self-adjoint and positive in the Krein space $(L^2(G),[\cdot,\cdot])$, with $0\in\rho(B)$, and its point spectrum is $\sigma(B)=\{\operatorname{sign}(k)(k\pi)^2:k\in\mathbb{Z}\setminus\{0\}\}\cup\{\eta_k:k\in\mathbb{Z}\setminus\{0\}\}$ when both $n_+$ and $n_-$ are at least $2$, while the cases $n_+=1$ and $n_-=1$ omit the positive or negative $(k\pi)^2$ family. Each $\eta_k$ is the unique solution of $\coth\sqrt{\eta_k}=-(n_+/n_-)\cot\sqrt{\eta_k}$ in $(((k-1)\pi)^2,(k\pi)^2)$ for $k\ge 1$, with $n_+$ and $n_-$ interchanged for $k\le -1$; each $\eta_k$ is simple, $-\pi^2<\eta_{-1}<0<\eta_1<\pi^2$, and the eigenvalues satisfy the stated interlacing and asymptotic formulas. Theorem 4.5 shows $B$ is similar to a self-adjoint operator in $L^2(G)$, so its eigenfunctions form a Riesz basis.
Load-bearing premise
The proof borrows a perturbation inequality from [4] to pin down the eigenvalue multiplicities at $\lambda=(k\pi)^2$, but the paper does not verify that the hypotheses of that inequality hold exactly at those spectral points, where the auxiliary Weyl function has poles; if the inequality does not apply there, the asserted multiplicities $n_\pm-1$ and the interlacing count are not established.
Editorial extensions
If this is right
- The full point spectrum is explicit: every eigenvalue is either $\pm(k\pi)^2$ with multiplicity $n_\pm-1$ or one of the simple interlacing roots $\eta_k$ described by the transcendental equation.
- The ratio $n_+/n_-$ can be read off from the first positive eigenvalue as $n_+/n_-=-\coth(\sqrt{\eta_1})\tan(\sqrt{\eta_1})$, so spectral data determine the balance of positive and negative edges.
- The operator is similar to a self-adjoint operator, so its eigenfunctions form a Riesz basis and the indefinite problem is equivalent, up to a bounded similarity, to a standard quantum-graph problem.
- When $n_+=n_-$, the spectrum is symmetric about the origin and the interlacing eigenvalues are $\eta_k=\operatorname{sign}(k)((|k|-\tfrac14)\pi)^2$.
- In the limit $n_-/n_+\to 0$, the positive interlacing eigenvalues approach $(k\pi)^2$, recovering the spectrum of the sign-definite Laplacian on the positive edges.
Reading between the lines
- Editorial extension: since $\eta_1$ fixes $n_+/n_-$ and the total number of edges is known, the same eigenvalue in principle determines $n_+$ and $n_-$ themselves, not only their ratio.
- Editorial extension: the interlacing structure suggests a spectral fingerprinting scheme in which a finite set of low-lying eigenvalues is matched against the predicted formula to identify the sign pattern of a network; this could be tested numerically by comparing the first few roots $\eta_k$ on graphs with different $n_\pm$.
- Editorial extension: the explicit similarity construction $W=JX$ could be pushed to estimate how far the Riesz basis is from orthonormal by bounding the norm of $X$ in terms of the cutoff parameter $\delta$ and the edge counts, quantifying the non-self-adjointness of $B$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the indefinite Kirchhoff Laplacian B on a star graph with n unit edges, with positive sign on n_+ edges and negative sign on n_- edges, Dirichlet conditions at the outer vertices, and a Kirchhoff condition at the central vertex. Working in the Krein space L^2(G) with fundamental symmetry J, the authors construct a boundary triple, compute the associated Weyl function M and γ-field, and use the resolvent relation (3.11) to derive the eigenvalue equation coth(√η_k) = -(n_+/n_-)cot(√η_k). The claimed main results are: a complete description of the point spectrum in Theorem 4.1, recovery of the ratio n_+/n_- from the first positive eigenvalue in Corollary 4.2, and similarity of B to a selfadjoint operator in L^2(G) with a Riesz basis of eigenfunctions in Theorem 4.5.
Significance. If the stated results are correct, the paper gives a transparent and constructive spectral analysis of a non-selfadjoint graph Laplacian in a Krein space: the Weyl-function computation is direct, the eigenvalue equation and interlacing structure are explicit, and the similarity proof via the explicitly constructed operator W=JX is verifiable. The spectral recovery of the sign ratio from the first positive eigenvalue is an appealing consequence. However, the manuscript contains several false statements in the statement of Theorem 4.1 and its remarks, and the proof of the multiplicity claims relies on an external rank-one perturbation estimate without a full verification of its hypotheses. These issues affect the central claim of a complete description of the point spectrum, although the main similarity/Riesz-basis argument appears to be sound.
major comments (4)
- [Theorem 4.1, asymptotic formulas and Remark (ii)] The asymptotic formulas in Theorem 4.1 are inverted. From Eq. (4.3), -cot μ = (n_-/n_+) coth μ, and since coth μ→1, the positive roots satisfy μ_k = kπ - arctan(n_+/n_-) + o(1), not kπ - arctan(n_-/n_+). Consequently, in Remark (ii) the limiting claims are reversed: as n_-/n_+→0, the positive roots tend to ((k-1/2)π)^2, not (kπ)^2, and the negative roots tend to -(|k|π)^2, not -((|k|-1/2)π)^2. The k→-∞ formula in the theorem also places the root outside the stated interval ((|k|-1)π,|k|π).
- [Theorem 4.1, case split for n_+=n_-=1] The displayed case distinction for σ(B) is not correct when n_+=n_-=1. In that situation the first and second cases both apply and assert that -(kπ)^2 and (kπ)^2 belong to σ(B), but the multiplicity statement in the same theorem gives multiplicities n_- -1 = 0 and n_+ -1 = 0. Indeed, for a two-edge graph with one positive and one negative edge, solving Bf=λf for λ=±(kπ)^2 gives no nonzero solution, so the spectrum consists only of the eigenvalues η_k. The cases should be separated as n_+=1 with n_->1, n_-=1 with n_+>1, and n_+≥2 with n_-≥2.
- [Theorem 4.1, Remark (i)] Remark (i) states the exact equality η_k = sign(k)((|k|-1/4)π)^2 when n_+=n_-. This is not exact: for n_+=n_-, Eq. (4.3) becomes -cot μ = coth μ, and at μ=(k-1/4)π one has -cot μ=1 while coth μ>1, so the unique root lies slightly to the right of (k-1/4)π. The equality is only valid asymptotically as k→∞; the statement should be corrected to an asymptotic assertion.
- [Theorem 4.1, proof of multiplicities] The proof of the multiplicity claims applies the inequality m_A(I)-1 ≤ m_B(I) ≤ m_A(I)+1 from [4] to intervals that contain the spectral points λ=(kπ)^2, where the Weyl function M has poles and the rank-one resolvent perturbation in (3.11) is not regular. The paper does not verify that the hypotheses of [4] hold for the pair (A,B) at these points. Please supply this verification, or replace the argument by a direct computation of dim ker(B-λ) at λ=±(kπ)^2.
minor comments (3)
- [Figure 2 caption] The caption states that the figure shows intersections of -cot μ with (n_+/n_-) coth μ, but Eq. (4.3) involves (n_-/n_+) coth μ; the ratio in the caption is inverted relative to the equation.
- [Proof of Theorem 4.1, negative-root paragraph] In the sentence 'Similarly, μ_k ≈ kπ - arctan(n_+/n_-) for k → ∞', the limit should be k→-∞ and the formula should be expressed with |k| rather than k; as written it conflicts with the interval stated for k≤-1.
- [Notation in Theorem 4.1] The interval notation like (((k-1)π)^2, (kπ)^2) is cumbersome and occasionally hard to parse; a reformulation using ν = √|λ| or μ-intervals would improve readability.
Circularity Check
No circularity: the spectral description and the Riesz-basis similarity are derived in-paper from the boundary triple Weyl function and an explicitly constructed transformation; the one co-authored citation ([4]) supports a general external estimate, and the printed asymptotic errors in Theorem 4.1 and Remark (ii) are correctness defects, not circular reductions.
full rationale
The derivation chain is self-contained and does not reduce to its inputs. In Proposition 3.3 the Weyl function M(λ) = −µ(n_+ cot µ + n_− coth µ) and γ-field are computed directly by solving (T−λ)f = 0 with Γ0 f = c for the boundary triple (C, Γ0, Γ1); the spectral equation is the explicit characteristic equation (4.3), n_−/n_+ coth µ = −cot µ, not a restatement of the desired conclusion. Uniqueness of each η_k in its stated interval is proven in-paper by monotonicity of −cot and coth, and Corollary 4.2 inverts the derived map η_1 ↦ n_+/n_−; no parameter is fitted and no known result is renamed. Theorem 4.5 verifies the hypotheses of the external Ćurgus–Najman criterion (Theorem 2.1 in [11], not a present-author citation) using the explicit operator X = 1 + Y*Y constructed and verified in Lemma 4.3 (reproduced in full); the Riesz-basis conclusion therefore rests on a real external theorem. The only present-author citation, [4], supplies the general estimate m_A(I)−1 ≤ m_B(I) ≤ m_A(I)+1, a parameter-free theorem in Krein-space perturbation theory whose assumptions do not include the target spectrum, so per the review rules it is independent support and does not raise the circularity score. Two flagged limitations are correctness issues, not circularity. First, the multiplicity proof in Theorem 4.1 invokes [4] without checking its hypotheses at the pole points λ = (kπ)² where M(λ) is singular; the claimed multiplicities n_+−1 and n_−−1 are in any case directly verifiable by the elementary kernel computation ker(B − (kπ)²) = {(a_j sin(kπx))_{j≤n_+} ⊕ 0 : Σ a_j = 0}, so the assertion does not reduce to the citation. Second, the printed asymptotics in Theorem 4.1 ('η_k ≈ (kπ − arctan(n_−/n_+))²') and Remark (ii) ('If n_−/n_+ → 0 … tend to (kπ)²') contradict the proof's own derivation ('µ is asymptotically the unique solution of tan µ = −n_+/n_−') and Eq. (4.3), which give µ_k ≈ kπ − arctan(n_+/n_−) and η_k → ((k−1/2)π)² as n_−/n_+ → 0: the printed ratio is inverted and the limiting direction reversed. These errors are algebraic misreadings of the paper's own equation; they affect the accuracy of Theorem 4.1 as stated but do not affect the eigen-equation, uniqueness, or similarity arguments, and they are not self-referential reductions.
Assumptions & free parameters
assumptions (6)
- standard math Theorem 2.1 (Čurgus and Najman, via [11]): similarity to a self-adjoint operator is equivalent to existence of a bounded, boundedly invertible, Krein-positive W leaving D((JA)^{1/2}) invariant; with discrete spectrum this is equivalent to a Riesz basis of eigenfunctions.
- standard math Multiplicity estimate (4.4) from [4]: for a rank-one perturbation in a Krein space, algebraic multiplicity counts differ by at most 1 on intervals avoiding 0.
- standard math Second Representation Theorem and the identity D[JB] = D((JB)^{1/2}) (Kato).
- standard math Poincaré inequality on (0,1) for H^1 functions vanishing at 1 with constant at least 1, i.e., ||f'||² ≥ ||f||².
- standard math Spectrum of a non-negative self-adjoint operator in a Krein space with non-empty resolvent set is real (Ando, Langer).
- standard math Boundary triple parametrization of self-adjoint extensions of symmetric operators in Krein spaces (Derkach).
Cite this review
Pith. "Pith review of 1-D Schr\"odinger operator on a star graph with nondefinite weight function." pith.science (2026). https://pith.science/paper/Q2325X6G
@misc{pith2026250522901,
author = {Pith},
title = {Pith review of: 1-D Schr\"odinger operator on a star graph with nondefinite weight function},
year = {2026},
howpublished = {\url{https://pith.science/paper/Q2325X6G}},
note = {Machine review of arXiv:2505.22901}
}
abstract
On a star graph $G$ with $n = n_+ + n_-$ edges of unit length, we study the operator $-\frac{\mathrm{d}^2}{\mathrm{d} x^2}$ on $n_+$ and $\frac{\mathrm{d}^2}{\mathrm{d} x^2}$ on $n_-$ edges equipped with Dirichlet boundary conditions at the outer vertices and a Kirchhoff condition at the central vertex. We study the spectral properties of the corresponding indefinite Kirchhoff Laplacian on $G$ and we show that it is similar to a selfadjoint operator in the Hilbert space $L^2(G)$ and that its eigenfunctions form a Riesz basis. Furthermore, we give a complete description of the point spectrum.
Figures
Reference graph
Works this paper leans on
-
[13]
Currie, S., and W atson, B. A. Indefinite boundary value problems on graphs. Oper. Matrices 5, 4 (2011), 565–584
work page 2011
-
[4]
Sharp eigen- value estimates for rank one perturbations of nonnegative operators in Krein spaces
Behrndt, J., Leben, L., Mart´ınez Per´ıa, F., M ¨ows, R., and Trunk, C. Sharp eigen- value estimates for rank one perturbations of nonnegative operators in Krein spaces. J. Math. Anal. Appl. 439 , 2 (2016), 864–895
work page 2016
-
[1]
Akhiezer, N. I., and Glazman, I. M. Theory of linear operators in Hilbert space . New York, NY: Dover Publications, 1993
work page 1993
-
[2]
Linear operators on Krein spaces
Ando, T. Linear operators on Krein spaces. Sapporo: Hokkaido University, Division of Applied Mathematics. Research Institute of Applied Electricity, 1979
work page 1979
-
[3]
Azizov, T. Y., and Iokhvidov, I. S. Linear operators in space with an indefinite metric . Chichester: John Wiley & Sons Ltd., 1989
work page 1989
-
[5]
Introduction to quantum graphs , vol
Berkolaiko, G., and Kuchment, P. Introduction to quantum graphs , vol. 186 of Mathe- matical Surveys and Monographs . American Mathematical Society, Providence, RI, 2013
work page 2013
-
[6]
Hilbert space operators in quantum physics , 2nd ed
Blank, J., Exner, P., and Havl ´ıˇcek, M. Hilbert space operators in quantum physics , 2nd ed. Theor. Math. Phys. (Cham). New York, NY: AIP Press; Berlin: Springer, 2008
work page 2008
-
[7]
Indefinite inner product spaces
Bognar, J. Indefinite inner product spaces . Springer-Verlag, Berlin, 1974
work page 1974
Show all 34 references
-
[8]
On the regularity of the critical point infinity of definitizable operators
´Curgus, B. On the regularity of the critical point infinity of definitizable operators. Integral Equations Operator Theory 8 , 4 (1985), 462–488. 14 August 13, 2025
1985
-
[9]
Indefinite Sturm-Liouville operators in polar form
´Curgus, B., Derkach, V., and Trunk, C. Indefinite Sturm-Liouville operators in polar form. Integral Equations Oper. Theory 96 , 1 (2024), 58. Id/No 2
2024
-
[10]
A Kre˘in space approach to symmetric ordinary differential operators with an indefinite weight function
´Curgus, B., and Langer, H. A Kre˘in space approach to symmetric ordinary differential operators with an indefinite weight function. J. Differential Equations 79 , 1 (1989), 31–61
1989
-
[11]
A Krein space approach to elliptic eigenvalue problems with indefinite weights
´Curgus, B., and Najman, B. A Krein space approach to elliptic eigenvalue problems with indefinite weights. Differ. Integral Equ. 7 , 5-6 (1994), 1241–1252
1994
-
[12]
The operator (sgn x)d2/dx2 is similar to a selfadjoint operator in L2(R)
´Curgus, B., and Najman, B. The operator (sgn x)d2/dx2 is similar to a selfadjoint operator in L2(R). Proc. Amer. Math. Soc. 123 , 4 (1995), 1125–1128
1995
-
[14]
On Weyl function and generalized resolvents of a Hermitian operator in a Krein space
Derkach, V. On Weyl function and generalized resolvents of a Hermitian operator in a Krein space. Integral Equations Oper. Theory 23 , 4 (1995), 387–415
1995
-
[15]
Derkach, V. A. On generalized resolvents of Hermitian relations in Krein spaces. J. Math. Sci., New York 97 , 5 (1999), 4420–4460
1999
-
[16]
A., and Malamud, M
Derkach, V. A., and Malamud, M. M. Generalized resolvents and the boundary value problems for Hermitian operators with gaps. J. Funct. Anal. 95 , 1 (1991), 1–95
1991
-
[17]
The critical point infinity associated with indefinite Sturm-Liouville problems
Fleige, A. The critical point infinity associated with indefinite Sturm-Liouville problems. In Operator Theory. Basel: Springer, 2015, pp. 395–429
2015
-
[18]
An indefinite excursion in operator theory
Gheondea, A. An indefinite excursion in operator theory. Geometric and spectral treks in Kre ˘ ın spaces. Cambridge: Cambridge University Press, 2022
2022
-
[19]
C., and Krein, M
Gohberg, I. C., and Krein, M. G. Introduction to the theory of linear nonselfadjoint operators. American Mathematical Society, Providence, RI, 1969
1969
-
[20]
I., and Gorbachuk, M
Gorbachuk, V. I., and Gorbachuk, M. L. Boundary value problems for operator differ- ential equations. Math. Appl., Sov. Ser. Dordrecht etc.: Kluwer Academic Publishers, 1991
1991
-
[21]
Non-self-adjoint graphs
Hussein, A., Krej ˇciˇr´ık, D., and Siegl, P. Non-self-adjoint graphs. Trans. Am. Math. Soc. 367, 4 (2015), 2921–2957
2015
-
[22]
S., Krein, M
Iohvidov, I. S., Krein, M. G., and Langer, H. Introduction to the spectral theory of operators in spaces with an indefinite metric , vol. 9 of Math. Res. (Berlin) . Akademie-Verlag, Berlin, 1982
1982
-
[23]
Perturbation theory for linear operators , second ed
Kato, T. Perturbation theory for linear operators , second ed. Springer-Verlag, Berlin, 1976
1976
-
[24]
Kirchhoff’s rule for quantum wires
Kostrykin, V., and Schrader, R. Kirchhoff’s rule for quantum wires. J. Phys. A, Math. Gen. 32 , 4 (1999), 595–630
1999
-
[25]
Krejn, M. G. Introduction to the geometry of indefinite J-spaces and to the theory of operators in those spaces. Transl., Ser. 2, Am. Math. Soc. 93 (1970), 103–176
1970
-
[26]
Spectral geometry of graphs , vol
Kurasov, P. Spectral geometry of graphs , vol. 293 of Oper. Theory: Adv. Appl. Berlin: Birkh¨ auser, 2024. 15 August 13, 2025
2024
-
[27]
Spektralfunktionen einer Klasse J-selbstadjungierter Operatoren
Langer, H. Spektralfunktionen einer Klasse J-selbstadjungierter Operatoren. Math. Nachr. 33 (1967), 107–120
1967
-
[28]
¨Uber eine Klasse polynomialer Scharen selbstadjungierter Operatoren im Hilber- traum
Langer, H. ¨Uber eine Klasse polynomialer Scharen selbstadjungierter Operatoren im Hilber- traum. J. Funct. Anal. 12 (1973), 13–29
1973
-
[29]
¨Uber eine Klasse polynomialer Scharen selbstadjungierter Operatoren im Hilber- traum
Langer, H. ¨Uber eine Klasse polynomialer Scharen selbstadjungierter Operatoren im Hilber- traum. II. J. Funct. Anal. 16 (1974), 221–234
1974
-
[30]
Zur Spektraltheorie polynomialer Scharen selbstadjungierter Operatoren
Langer, H. Zur Spektraltheorie polynomialer Scharen selbstadjungierter Operatoren. Math. Nachr. 65 (1975), 301–319
1975
-
[31]
Spectral functions of definitizable operators in Krein spaces
Langer, H. Spectral functions of definitizable operators in Krein spaces. Functional analysis, Proc. Conf., Dubrovnik/Yugosl. 1981, Lect. Notes Math. 948, 1-46, 1982
1981
-
[32]
Spektraltheorie linearer Operatoren in J-R¨ aumen and einige Anwendungen auf die Schar L(λ) = λ2I + λb + c, Habilitationsschrift, Technische Universit¨ at Dresden, 1965
Langer, H. Spektraltheorie linearer Operatoren in J-R¨ aumen and einige Anwendungen auf die Schar L(λ) = λ2I + λb + c, Habilitationsschrift, Technische Universit¨ at Dresden, 1965
1965
-
[33]
Spectral analysis of second order operators with sign-changing coefficients on general compact graphs, submitted 2024
Nicaise, S. Spectral analysis of second order operators with sign-changing coefficients on general compact graphs, submitted 2024
2024
-
[34]
Quasi-hermitian operators in quantum mechanics and the variational principle
Scholtz, F., Geyer, H., and Hahne, F. Quasi-hermitian operators in quantum mechanics and the variational principle. Ann. Physics 1 , 213 (1992), 74–101. Edison Leguizamon, ej.leguizamon@uniandes.edu.co Monika Winklmeier, mwinklme@uniandes.edu.co Departamento de Matem´ aticas U...
1992
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.