REVIEW 4 minor 11 references
Protecting points from operator pencils
T0 review · 0 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The protected set of any pencil A+tB with B non-negative and non-zero is a discrete subset of the real line, and every discrete set arises this way.
desk verdict A clean, correct classification of protected points for A+tB with nonnegative bounded B: the union's complement is exactly a discrete set, and every discrete set is realized. 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 load-bearing mechanism is the equivalence in Proposition 2.1: a real point $\lambda$ lies outside every spectrum of the pencil exactly when $\lambda\in\rho(A)$ and $B(A-\lambda)^{-1}B=0$. This reduces the protected set to the real zeros of the analytic function $f(z)=\langle y,(A-z)^{-1}y\rangle$ for any $y=Bx$ with $Bx\neq 0$. Because $f$ is strictly monotone on each connected component of $\rho(A)\cap\mathbb{R}$, it has at most one zero per spectral gap of $A$, which yields that the protected set is at most countable; a separate argument (Lemma 2.8) shows it cannot have an accumulation point. For the converse, the proof constructs, for any discrete $P$, a diagonal operator $K$ with simple spectrum $P$ and a cyclic vector $v$, then sets $A=\begin{pmatrix} K & v \\ \langle v,\cdot\rangle & 0 \end{pmatrix}$ and $B=\begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix}$ on $H\oplus\mathbb{C}$, so that the resulting pencil has spectrum exactly $R\setminus P$.
What would settle it
Try to realize a non-discrete protected set, for instance $P=\{1/n:n\in\mathbb{N}\}\cup\{0\}$, with self-adjoint $A$ and non-negative, bounded $B$; the theorem says this is impossible. A more direct check: for any candidate protected point $\lambda$, verify numerically whether $B(A-\lambda)^{-1}B=0$ holds, since a violation would contradict Proposition 2.1 and hence the classification.
Extended reading notes
Core claim
The central discovery is that the protected set $R \setminus \bigcup_{t\in\mathbb{R}} \operatorname{spec}(A+tB)$ has no structure beyond being discrete. Theorem 1.1 states that for every self-adjoint $A$ and bounded, non-negative, non-zero $B$, this complement is at most countable and contains none of its accumulation points; and, in the converse direction, that for every discrete $P \subset \mathbb{R}$ there exist self-adjoint $A$ and such a $B$ with $P$ exactly equal to the complement. In particular, no interval can be protected when $B$ is non-negative, and the union of the pencil's spectra is dense. The paper also derives Corollary 1.2: if $\operatorname{spec}(A+tB)$ is independent of $t$, then $B=0$ or $\operatorname{spec}(A)=\mathbb{R}$.
Load-bearing premise
The classification depends crucially on $B$ being non-negative; if $B$ is allowed to be indefinite, intervals can be protected and the discrete-set result fails.
Editorial extensions
If this is right
- The union of spectra $\bigcup_{t\in\mathbb{R}}\operatorname{spec}(A+tB)$ is dense in $\mathbb{R}$ whenever $B\neq 0$.
- Each connected component of $\rho(A)\cap\mathbb{R}$ can contain at most one protected point, so a spectral gap of $A$ shields at most one real number from the whole pencil.
- If $\operatorname{spec}(A+tB)$ is the same for all $t$, then either $B=0$ or $\operatorname{spec}(A)=\mathbb{R}$ (Corollary 1.2).
- Every finite or countably infinite discrete set of real numbers can be realized as the protected set, so the classification is exhaustive.
- The sign-definiteness of $B$ is essential: for indefinite $B$, intervals can be protected, as shown by the example $A=\operatorname{diag}(1,-1)$, $B=\begin{pmatrix}0&1\\1&0\end{pmatrix}$.
Reading between the lines
- The resolvent test $B(A-\lambda)^{-1}B=0$ suggests a computational way to certify protected points without forming the full pencil spectrum.
- The converse construction might generalize to prescribed multiplicities or to more general pencils by trading the single extra dimension for a finite-rank perturbation.
- For indefinite $B$, protected intervals appear; classifying exactly which subsets of $\mathbb{R}$ arise in the indefinite case would be a natural next problem.
- The same resolvent condition appears in the theory of pseudo-resolvents; one could ask whether the discreteness conclusion persists under weaker sign conditions on $B$.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper classifies the possible sets of protected points for real linear operator pencils A + tB, where A and B are self-adjoint, B is bounded, non-negative, and non-zero. Theorem 1.1 states that the complement of the union over t of spec(A+tB) is always a discrete subset of R (at most countable and without accumulation points), and conversely every discrete set P can be realized by suitable A and B. The proof is elementary and self-contained: Proposition 2.1 characterizes when 0 is protected via the condition 0 in rho(A) and BA^{-1}B=0; Lemma 2.7 proves countability by strict monotonicity of a suitable function; Lemma 2.8 excludes accumulation points via analyticity; Lemma 2.10 gives a constructive realization by a cyclic-vector construction. Corollary 1.2 then shows that if spec(A+tB) is independent of t, then B=0 or spec(A)=R.
Significance. If the main result is correct, it gives a complete and surprisingly clean characterization of all possible protected sets, and it strengthens the intuition that sign-definite perturbations cannot create protected intervals. The proof is a model of concision: the key condition BA^{-1}B=0 is derived from first principles, and the converse construction is explicit. The paper also carefully notes that the sign-definiteness of B is essential, with a 2x2 indefinite example showing that protected intervals can occur. The main theorem and corollary are supported by complete proofs; I found no circularity, hidden assumptions, or fitted parameters. The paper is a valuable short contribution to the spectral theory of operator pencils.
minor comments (4)
- [2, Example 2.4] The displayed eigenvalue formula has a sign error: the eigenvalues of A+tB are t/2 ± sqrt(t^2/4 + 1), not -t/2 ± sqrt(t^2/4 + 1). Since t ranges over all real numbers, the equality of the union with R\{0} is unaffected, but the formula as printed is incorrect and should be fixed.
- [2, Lemma 2.10] In the line after equation (2.6), the identity should read <v,x> = overline{beta_lambda} <psi_lambda, x> (or equivalently note that beta_lambda != 0 and <psi_lambda,x> = 0 force x=0). The current notation is slightly imprecise, though the conclusion is correct.
- [2, Remark 2.2] The remark is terse: it states that BA^{-1}B=0 holds if and only if a certain map defines a pseudo-resolvent. Since this notion is not defined in the paper, a one-sentence explanation or a more precise pointer to [5] would improve readability.
- [References, [11]] Reference [11] is cited as 'in preparation'. Since it is only mentioned in a 'See also' remark and is not used in any proof, the authors may wish to update its status or omit the citation if it remains unpublished.
Circularity Check
No circular derivation: Theorem 1.1 is proven by self-contained lemmas and the sole self-citation [11] is a non-load-bearing 'see also'.
full rationale
The derivation is self-contained and no claim reduces to its inputs. The forward direction of Theorem 1.1 is built from Proposition 2.1, where the equivalence 0 belongs to every resolvent set of A+tB iff BA^{-1}B=0 is proven algebraically from the square root B^{1/2}, the factorization A+zB = z(z^{-1}I+BA^{-1})A, and self-adjointness; it does not presuppose the classification. Lemma 2.7 obtains countability of protected points by showing that every protected point must be a real zero of a strictly monotone function f on each spectral-gap interval, and Lemma 2.8 rules out accumulation points by analytic continuation together with Corollary 2.6's density statement, which itself follows from Proposition 2.1 and the resolvent estimate in Corollary 2.3. The converse is constructive: given any discrete P, Lemma 2.10 builds explicit operators A and B as in equation (2.5) and verifies directly via kernel conditions and Proposition 2.1 that the union of spectra is exactly R\P; no parameter is fitted from the target set. Corollary 1.2 is a direct consequence of Theorem 1.1 plus closedness of spectra. The only reference to [11] is a non-load-bearing 'See also' tag on Corollary 1.2 and a motivating application in the introduction; no proof cites [11]. The paper explicitly flags the sign-definiteness assumption and shows it is necessary by an indefinite example, so no assumption is smuggled in. The only defect noticed is a harmless sign typo in Example 2.4's eigenvalue formula, which does not affect the theorem or the stated union R\{0}; typos are correctness risks, not circularity. Hence there is no circular step.
Assumptions & free parameters
assumptions (4)
- domain assumption B is bounded, non-negative, and non-zero (Theorem 1.1).
- standard math For a self-adjoint operator K with simple spectrum, there exists a cyclic vector v (cited from Schmüdgen [8, Proposition 5.20]).
- standard math Finite-rank perturbations preserve essential spectrum; spectrum is essential spectrum plus isolated finite-multiplicity eigenvalues (Weyl's theorem).
- standard math The identity theorem for analytic operator-valued functions applies to z mapped to B(Ã - z)^{-1}B.
Cite this review
Pith. "Pith review of Protecting points from operator pencils." pith.science (2026). https://pith.science/paper/TJURMLZS
@misc{pith2026190808897,
author = {Pith},
title = {Pith review of: Protecting points from operator pencils},
year = {2026},
howpublished = {\url{https://pith.science/paper/TJURMLZS}},
note = {Machine review of arXiv:1908.08897}
}
abstract
We classify all sets of the form $\bigcup_{t\in\mathbb{R}}\mathrm{spec}(A+tB)$ where $A$ and $B$ are self-adjoint operators and $B$ is bounded, non-negative, and non-zero. We show that these sets are exactly the complements of discrete subsets of $\mathbb{R}$, that is, of at most countable subsets of $\mathbb{R}$ that contain none of their accumulation points.
Reference graph
Works this paper leans on
-
[4]
F. Gesztesy, S. N. Naboko, R. Nichols, On a problem in eigenvalue perturbation theory, J. Math. Anal. Appl. 428 (2015), 295–305
work page 2015
- [7]
-
[11]
Veseli´ c,On critical behaviour of some relativistic Hamiltonians , in preparation
K. Veseli´ c,On critical behaviour of some relativistic Hamiltonians , in preparation. A. Seelmann, F akult¨at f ¨ur Mathematik, Technische Universit ¨at Dortmund, D-44221 Dortmund, Germany E-mail address : albrecht.seelmann@mathematik.tu-dortmund.de M. T ¨aufer, School of Mathematical Sciences, Queen Mary Univers ity of London, London, E1 4NS, United Kin...
-
[1]
V. M. Adamjan, H. Langer, Spectral properties of a class of rational operator valued functions, J. Operator Theory 33 (1995), 259–277
work page 1995
- [2]
-
[3]
V. Enss, K. Veseli´ c, Bound states and propagating states for time-dependent Ham il- tonians, Ann. Inst. H. Poincare, XXXIX (1983), 159–191
work page 1983
- [5]
-
[6]
A. S. Marcus, Introduction to the spectral theory of polynomial operator pencils, Trans. Math. Monogr., vol. 71, Amer. Math. Soc., Providence , RI, 1988
work page 1988
Show all 11 references
-
[8]
Schm¨ udgen,Unbounded Self-Adjoint Operators on Hilbert Space , Grad
K. Schm¨ udgen,Unbounded Self-Adjoint Operators on Hilbert Space , Grad. Texts in Math., vol. 265, Springer, Dordrecht, 2012
2012
-
[9]
Tomˇ siˇ c,Homogeneous operators, Studia Math
G. Tomˇ siˇ c,Homogeneous operators, Studia Math. 51 (1974), 1–5
1974
-
[10]
Veseli´ c, Damped Oscillations of Linear Systems , Lecture Notes in Math., vol
K. Veseli´ c, Damped Oscillations of Linear Systems , Lecture Notes in Math., vol. 2023, Springer, Heidelberg, 2011
2023
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.