REVIEW 3 major objections 3 minor
On finiteness of spectral radius order
T0 review · 3 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read The paper fully characterizes which quadratic algebraic integers and which real numbers at most 2 have finite spectral radius order, and it computes exact values for two infinite families.
desk verdict If the proofs hold, this gives the first full characterizations of finite spectral radius order in two natural classes, but the abstract leaves edge-case conventions unstated. 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 central object is the spectral radius order of a real number ρ: the largest number of vertices in a graph whose spectral radius equals ρ. The paper's argument rests on translating the finiteness of this order into an algebraic condition on ρ. For quadratic algebraic integers the translation uses the arithmetic of quadratic number fields; for numbers at most 2 it uses the known classification of connected graphs with spectral radius bounded by 2, which supplies the structural boundary at 2. The exact values for the two infinite families are obtained by identifying which graph orders are realized for each member and sharpening the bound to a precise maximum.
What would settle it
For either of the two infinite families, take a member and directly search all graphs on more than the claimed maximum number of vertices with that spectral radius; finding such a graph would falsify the exact-value claim. More broadly, a single quadratic algebraic integer that satisfies the paper's finiteness criterion yet admits graphs of arbitrarily large order would disprove the classification.
Extended reading notes
Core claim
The central claim is that the finiteness of the spectral radius order can be characterized explicitly in two settings: within the set of quadratic algebraic integers, and within the real numbers at most 2. In both classes the paper proves an 'if and only if' criterion, so that a number belongs to the finite-order class exactly when it satisfies a stated algebraic condition. Beyond the classification, the paper determines the exact spectral radius order—not just whether it is finite—for two infinite families of quadratic algebraic integers. These classifications cover the entire respective classes, and the exact values for the two families are new results.
Load-bearing premise
Both 'characterize' claims are complete if-and-only-if statements, so the proof must cover every quadratic algebraic integer and every real number at most 2 without an unstated extra condition.
Editorial extensions
If this is right
- Within quadratic algebraic integers, deciding whether a number has finite spectral radius order becomes a direct algebraic test rather than an open search.
- For every real number at most 2, the criterion separates a finite set of allowable graph orders from an unbounded set, so the finiteness question in that range is settled completely.
- The two infinite families give explicit maximum graph orders, providing concrete data points for the behavior of the spectral radius order.
- These classifications constrain the possible spectral radii of finite-order configurations, which is directly relevant to equiangular-line constructions.
- If a number in either class fails the criterion, there exist graphs of arbitrarily large order with that spectral radius.
Reading between the lines
- The boundary at 2 in the second classification suggests that the finite-order numbers below 2 form a thin algebraic set; one could test whether similar boundaries appear for other thresholds.
- For equiangular lines, the exact values for the two families could combine with known bounds to improve estimates of maximal line counts for the corresponding angles.
- The algebraic criterion for quadratic integers may generalize to algebraic integers of higher degree, though the paper does not claim this; the same reasoning could be tested on cubic integers.
- One could try to translate the finiteness criterion into an algorithm that, given a quadratic algebraic integer, computes its spectral radius order directly instead of only deciding finiteness.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper (arXiv:2508.09947) claims to characterize numbers with finite spectral radius order in two special classes: quadratic algebraic integers and numbers no larger than 2. It also claims to derive the exact spectral radius order for two infinite families of quadratic algebraic integers. The concept of spectral radius order is imported from the Jiang–Tidor–Yao–Zhang–Zhao work on equiangular lines. This report is based on the abstract only; the full text was not supplied, so I assess the clarity and completeness of the claims rather than the correctness of proofs.
Significance. If the characterizations are correct, they give a useful decidability criterion for finiteness of spectral radius order in two natural classes and supply exact values for two infinite families. The strength of the claims lies in their completeness: the abstract states 'characterize numbers with finite spectral radius orders,' which imposes a high proof burden. No fitted parameters or circular definitions are apparent from the abstract. However, because no derivation, lemmas, or proof sketch are available for inspection, the significance can only be conditional.
major comments (3)
- [Abstract, first sentence] The term 'spectral radius order' is not defined in the abstract, yet the classification is an 'if and only if' claim. The exact convention matters: what is the order of a number that is not the spectral radius of any finite graph? If it is set to 0 or left undefined, the meaning of 'finite spectral radius order' changes. The manuscript should state the definition or precisely identify the convention inherited from Jiang–Tidor–Yao–Zhang–Zhao.
- [Abstract, claim for numbers no larger than 2] The boundary case λ=2 must be addressed: cycles give infinitely many finite graphs with spectral radius 2, so under the standard definition the spectral radius order of 2 is infinite. The abstract also does not state whether the claimed classification covers all real numbers ≤2 (including negative and non-algebraic reals) or only a subinterval such as [0,2]. Without these conventions, the completeness of the classification is not well-formed.
- [Abstract, claim for quadratic algebraic integers] Quadratic algebraic integers include non-real complex numbers, whereas spectral radius order is naturally a notion for real numbers. If the theorem is intended only for real quadratic integers, that restriction must be explicit; otherwise the phrase 'quadratic algebraic integers' is ambiguous and the completeness claim is ill-posed.
minor comments (3)
- [Abstract, first line] Typo: 'an crucial role' should be 'a crucial role'.
- [Abstract, second claim] The phrase 'numbers no larger than 2' should specify the domain explicitly, e.g., 'all real numbers ≤ 2' or 'all real numbers in [0,2]'.
- [Abstract, scope] The two classes are not disjoint; it would help to clarify whether the quadratic-integer result includes real quadratic integers ≤2 or whether the small-number result is meant to be independent.
Circularity Check
No circularity detected: abstract-only review shows an externally defined concept applied to new characterization results.
full rationale
The review is based solely on the abstract, which contains no derivation chain, equations, or fitted parameters to inspect. The central term 'spectral radius order' is explicitly attributed to prior work by Jiang, Tidor, Yao, Zhang, and Zhao, and the paper's contribution is to characterize numbers with finite spectral radius order in two classes and to compute values for two families. This is a direct application of an external definition to new mathematical claims, not a reorganization or renaming of the input. There are no self-citations by the present authors in the abstract, no parameter fitted to data being called a prediction, and no theorem whose conclusion is identical to its premise by construction. Any concerns about unstated scope conventions for 'quadratic algebraic integers' or 'numbers no larger than 2' are matters of completeness or correctness, not circularity. With no accessible proof text and no exhibited reduction, the appropriate finding is no significant circularity, score 0.
Assumptions & free parameters
assumptions (2)
- domain assumption The definition and framework of spectral radius order from Jiang, Tidor, Yao, Zhang, Zhao (2021) are taken as background.
- standard math Standard facts about quadratic algebraic integers and spectral graph theory are assumed.
Cite this review
Pith. "Pith review of On finiteness of spectral radius order." pith.science (2026). https://pith.science/paper/XRMZLXJ5
@misc{pith2026250809947,
author = {Pith},
title = {Pith review of: On finiteness of spectral radius order},
year = {2026},
howpublished = {\url{https://pith.science/paper/XRMZLXJ5}},
note = {Machine review of arXiv:2508.09947}
}
read the original abstract
The concept of spectral radius order plays an crucial role in the breakthrough work on equiangular lines due to Jiang, Tidor, Yao, Zhang, and Zhao [Ann. of Math. (2) 194 (2021), no. 3, 729-743]. However, it is difficult to calculate the spectral radius order explicitly in general, or even to characterize numbers with finite spectral radius order. In this paper, we characterize numbers with finite spectral radius orders in two special classes: quadratic algebraic integers and the numbers no larger than 2. Additionally, we derive precise values of the spectral radius order of two infinite families of quadratic algebraic integers.
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.