{"id":"7597a5f7-f5df-441c-9521-0628dfed64d6","arxiv_id":"2508.09947","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Finite spectral radius order is characterized for quadratic algebraic integers and for numbers at most 2, with exact orders computed for two infinite families.","lead":"This math paper characterizes which numbers have finite 'spectral radius order' for two large classes: quadratic algebraic integers and numbers no larger than 2, and it computes exact orders for two infinite families. The result extends the algebraic toolbox behind recent progress on equiangular lines and spherical two-distance sets.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified from the abstract; completeness claims rest on unstated edge-case conventions.","rationale":"The reader's verdict is UNVERDICTED with low confidence because the review is abstract-only. I agree with the reader's weakest_assumption: the completeness of the two classifications hinges on the correct import of the definition of spectral radius order and the handling of boundary cases. My stress-test adds a sharper focus on specific edge-case ambiguities (λ=2, negative/non-algebraic numbers, non-real quadratic integers) that would need to be resolved in the full text. However, since no actual mathematical error is detectable from the abstract, I cannot justify moving the verdict to REJECT or even CONDITIONAL; the appropriate status is unchanged: the claims should remain unverified until the full proof is examined. The proposed concrete test—checking the definition and boundary treatment—would settle whether the concern lands.","tokens_in":778,"tokens_out":9996,"duration_ms":114213,"concrete_test":"Obtain the full text and verify three points: (1) the definition of spectral radius order is explicitly imported from Jiang-Tidor-Yao-Zhang-Zhao and applied to all real numbers, with a stated convention for numbers that are not spectral radii; (2) the proof for numbers no larger than 2 explicitly treats λ=2, negative numbers, and non-algebraic reals in [0,2]; (3) the quadratic integer theorem states 'real quadratic algebraic integers' or otherwise justifies the restriction. If any of these is missing, the classification claim is incomplete; if all are present, the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that the paper characterizes all numbers with finite spectral radius order in two classes: quadratic algebraic integers and numbers no larger than 2. The weakest load-bearing point is that the abstract does not state the exact definition of spectral radius order or the precise scope of these classes. For the 'numbers no larger than 2' classification, the proof must handle the boundary λ=2 (where cycles give infinitely many graphs with spectral radius 2, so the order is infinite), negative numbers, and non-algebraic reals in [0,2]; if the order of a number that is not a spectral radius is set to 0 or left undefined, the 'if and only if' statement changes meaning. For the quadratic integer classification, the term 'quadratic algebraic integers' includes non-real numbers; if the theorem does not explicitly restrict to real quadratic integers, the completeness claim is ill-posed. No mathematical inconsistency is visible from the abstract alone, but these unstated conventions are not merely cosmetic: they determine whether the claimed characterizations are well-formed and complete.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":869,"tokens_out":2628,"duration_ms":27901,"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":[{"comment":"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.","section":"Abstract, first sentence"},{"comment":"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.","section":"Abstract, claim for numbers no larger than 2"},{"comment":"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.","section":"Abstract, claim for quadratic algebraic integers"}],"minor_comments":[{"comment":"Typo: 'an crucial role' should be 'a crucial role'.","section":"Abstract, first line"},{"comment":"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]'.","section":"Abstract, second claim"},{"comment":"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.","section":"Abstract, scope"}],"recommendation":"uncertain","confidential_remarks":"This review is based solely on the abstract. The editor should obtain the full manuscript before making a decision. The main risks are missing edge-case conventions around λ=2 and non-real quadratic integers, and the completeness of the claimed characterizations; I see no apparent internal inconsistency from the abstract alone."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Hi,\n\nQuick take on arXiv:2508.09947: the abstract claims two new classifications and two exact computations inside the Jiang–Tidor–Yao–Zhang–Zhao framework. If the proofs hold, these are genuinely useful results. I say \"if\" because we only have the abstract; there is no full text to check.\n\nWhat looks good: the problems are natural and clearly embedded in an established research program. The paper directly answers concrete questions: exactly which quadratic integers and which numbers ≤2 have finite spectral radius order, plus precise values for two infinite families. These are not repackagings; they extend known results. No red flags like fitted parameters or circular reasoning are visible at this level.\n\nThe soft spots are all about precision at the boundaries. The abstract says \"quadratic algebraic integers\" — that includes non-real numbers, where spectral radius order isn't defined. Presumably the authors mean real quadratic algebraic integers, but they need to say so, and a referee should confirm the proof actually covers all real quadratic integers, not just the totally real ones. Similarly, for numbers ≤2: the phrase must handle negative numbers, zero, and the case λ=2 itself, where cycles give infinitely many graphs with spectral radius 2, so the order is infinite. If the order is set to 0 or infinity for those, the \"if and only if\" statement changes meaning. These are not cosmetic; they determine whether the classification is well-formed. The full text may address them, but the abstract doesn't.\n\nI can't verify the math from an abstract, so my confidence is low. But the claims are significant and worth a careful referee. The potential payoff outweighs the risk.\n\nWho benefits: people working on equiangular lines, spectral radius order, and algebraic graph theory. I'd send this to peer review. Referees should check the edge cases above and the completeness of the two classifications. If the proofs are right, this will be a solid paper.\n\nBest,\n[Name]","headline":"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.","tokens_in":1429,"tokens_out":2796,"would_cite":false,"duration_ms":29745,"reading_group":"maybe","serious_thinker":"unclear","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05C50","11R04"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["spectral radius order","equiangular lines","quadratic algebraic integers","graphs with spectral radius at most 2","finite order","algebraic number theory","classification"],"falsifier":"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.","tokens_in":576,"feed_emoji":"📐","tokens_out":7740,"duration_ms":79118,"temperature":0.7,"pith_summary":"The paper studies a concrete but difficult question about equiangular lines: for which real numbers is the spectral radius order finite? It gives a complete answer in two special classes. For quadratic algebraic integers, it provides an algebraic criterion that decides finiteness. For all real numbers at most 2, it gives a similarly complete decision. It also computes the spectral radius order exactly for two infinite families of quadratic algebraic integers. These results turn a global question into a checkable condition inside the two classes, with explicit numerical values as outputs.","feed_headline":"Finiteness of spectral radius order classified for two number classes","feed_subtitle":"Exact algebra criterion covers quadratic algebraic integers and all numbers up to 2, plus exact values for two families.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[],"fun_headline_variants":["Spectral radius order finiteness: exact criteria for two classes","When does spectral radius order stay finite? Two classes solved","Finite spectral radius order: quadratic integers and reals ≤2","Exact spectral radius order for two families of quadratic integers","Finiteness of spectral radius: quadratic integers and small numbers"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Spectral radius order finiteness: exact criteria for two classes","When does spectral radius order stay finite? Two classes solved","Finite spectral radius order: quadratic integers and reals ≤2","Exact spectral radius order for two families of quadratic integers","Finiteness of spectral radius: quadratic integers and small numbers"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000229,"raw_usage":{"total_tokens":1247,"prompt_tokens":606,"completion_tokens":641,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":350,"completion_tokens_details":{"reasoning_tokens":556}},"tokens_in":350,"tokens_out":641,"duration_ms":6320,"temperature":1.0,"reasoning_tokens":556,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T20:40:59.496026+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}