{"id":"fa87c06b-48d9-476b-8e2e-fc2fd5c89913","arxiv_id":"2507.07310","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"A positivity constraint on cavity precisions estimates the top eigenvalue of random matrices with a localized top eigenvector, validated on the Anderson model on random regular graphs.","lead":"The paper offers a way to estimate the largest eigenvalue of large random matrices when the corresponding eigenvector is localized, a case where an existing cavity-based method fails. The new criterion looks for the point where the cavity equations produce unphysical negative variances, and is tested on the Anderson model on random regular graphs.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Criterion (12)/(13) is established only by numerical observation; the claimed exact coincidence of the positivity threshold with λ1 for localized top eigenvectors remains unproved and the scaling validation has wide error bars.","rationale":"The reader's verdict identified the same gap: the validity of the positivity criterion (eq. 12) is the load-bearing assumption and it is supported only by numerical observation on a single model. My independent reading of the text confirms this is the weakest point of the central claim. The paper is honest about the finite-size extrapolation uncertainty (8.6 ± 0.3 vs 8.83) and about the unresolved relation to Ref. [20], and it does provide a concrete numerical demonstration on a paradigmatic model, with careful scaling and error bars. Those positive features are real, but they do not establish the generality of the criterion. In particular, the paper never separates the question of whether eq. (12) detects the top eigenvalue from the question of whether it detects the spectral edge, because in the Anderson model the top eigenvector is localized exactly at the spectral edge, and negative precisions appear at that edge (as shown even for the extended case in Fig. 1). That conflation is a genuine soft spot in the argument. Note also the paper's own text says single-instance negative precisions appear slightly below λ1 while population-dynamics estimates are systematically below the theoretical value, so the quantitative accuracy of the estimator for the thermodynamic limit is not yet pinned down. These are correctness risks, not internal inconsistencies; the paper does not contradict itself. The correct disposition remains CONDITIONAL, exactly as the reader recommended, pending the additional model test and an analytical connection to the real-energy cavity analysis of Ref. [20] or a derivation of the positivity-threshold property.","tokens_in":7290,"tokens_out":1771,"duration_ms":17836,"concrete_test":"Apply the same population-dynamics bisection for eq. (13) to a different localized-top-eigenvector ensemble where the exact λ1 is computable, e.g. a sparse random matrix with a diagonal perturbation H = A + diag(E) with heavy-tailed E such that λ1 = ||E||∞ + O(1) is provably in a localized regime, or the Anderson model at a second (W, c) point with an independent analytic λ1. If the positivity threshold λu tracks λ1 to within the population-size scaling (and the growth-rate criterion fails), the claim is corroborated; if λu instead tracks the spectral/mobility edge, the criterion is not specifically detecting λ1.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central new estimator λu rests on the assertion that, whenever the top eigenvector is localized, solving (6) for λ just below λ1 yields at least one negative cavity precision, while all precisions are positive for λ ≥ λ1 (eq. 12). This is presented as a 'finding' rather than derived. The localization-delocalization analysis of Ref. [20] studies the very same cavity precisions (via propagators G=1/Ω) with real energies, but the present paper does not connect its positivity threshold to that literature, so the mechanism is not independently supported. The numerical evidence is limited to the Anderson model on random regular graphs (W=12, c=3). In the thermodynamic-limit scaling (Fig. 4), the extrapolated value is 8.6 ± 0.3, whose one-sigma range just covers the theoretical 8.83; with three fitting parameters and this uncertainty, the validation that λu converges to λ1 is not sharp. Moreover, the bulk spectral edge for the Anderson model coincides with the localized top eigenvector, so it is unclear whether the criterion detects λ1 specifically or merely the mobility edge / spectral edge where precisions lose positivity. Without an analytical argument or a second localized model, a bug or model-specific coincidence cannot be excluded.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper addresses the problem of detecting the top eigenvalue and its associated eigenvector for sparse random matrices when the top eigenvector is localized. The existing real-valued cavity method uses a growth-rate criterion, η=1 in eq. (11), to locate λ1. The authors show numerically that this criterion underestimates λ1 for the Anderson model on random regular graphs, because in population dynamics the growth-rate peak is washed out. They propose a new criterion, λu in eq. (12), defined as the smallest λ for which all cavity precisions are positive, and present numerical evidence from population dynamics and finite single instances that λu approaches the theoretical λ1 ≈ 8.83 for W=12, c=3. They also show scaling of the estimator with system size and population size, and discuss the relation to Lifshitz tails and the spectral edge.","tokens_in":7489,"tokens_out":6032,"duration_ms":68302,"significance":"If the new criterion is correct, it fills a gap in the cavity-method toolbox for top eigenpair detection and could be applied to large-deviation problems and biased stochastic dynamics where localized top eigenvectors appear. The paper provides a useful comparison between single-instance and population-dynamics behavior, and the scaling analysis in Fig. 4 is a constructive step toward validation. These are genuine strengths. However, the central assertion behind eq. (12) is presented as an empirical finding rather than a derived result, and the quantitative validation is not sharp because it relies on a single model and a wide error bar.","major_comments":[{"comment":"The estimator λu rests entirely on the assertion, stated after eq. (11), that 'solving equation (6) for λ < λ1 yields at least one negative cavity precision whenever the top eigenvector is localized.' This is presented as a 'finding' without proof or reference. Since the entire paper depends on this property, it is load-bearing and must be either proved or clearly labelled as a conjecture supported by numerical evidence on a single model family. The paper should also connect to Ref. [20], which analyses the same cavity precisions via propagators G=1/Ω with real energies; if the positivity threshold there is known to be the spectral edge, that connection would provide independent support for the mechanism.","section":"Real-valued cavity method, eq. (12)"},{"comment":"The quantitative validation of λu→λ1 is based on a three-parameter fit λ1 = c0 + c1 N^{-α1} that yields c0 = 8.6 ± 0.3, whose one-sigma interval only marginally covers the theoretical value 8.83. The paper does not report the corresponding extrapolated value for the population-dynamics estimator λu(NP) or its uncertainty; the statement that the two scalings are 'essentially the same' is qualitative. Please provide explicit extrapolated values with error bars for both exact diagonalization and population dynamics, and test the robustness of the fit by varying the fit range or including higher-order corrections.","section":"Finite size (and population size) effects, Fig. 4"},{"comment":"For the Anderson model on a random regular graph there is no spectral gap, so the top eigenvalue coincides with the spectral edge. The proposed criterion could therefore be detecting the spectral edge (where precision positivity is lost) rather than λ1 specifically. To establish that eq. (12) is a criterion for the top eigenvalue of a localized top eigenvector, rather than merely an edge detector, the authors should test a model in which the spectral edge and λ1 are distinct, or provide an analytical argument that the positivity threshold equals λ1 in the localized regime. Without such a test, the agreement in Fig. 2 may be a model-specific coincidence.","section":"Population dynamics, Figs. 1–2"}],"minor_comments":[{"comment":"The labels 'NP = 105' should read 'NP = 10^5'; similarly, 'δ = 10 −1' in Fig. 1 should be '10^{-1}'.","section":"Captions of Figs. 1, 2"},{"comment":"The phrase 'i.e. values that separate extended from localized eigenvectors in the bulk of the spectrum [15–17]):' has an unmatched parenthesis; please fix the punctuation.","section":"Introduction, second paragraph"},{"comment":"The set of edges is denoted E, which can be confused with on-site energies Ei; consider using a different symbol for edges.","section":"Eq. (12) and notation"},{"comment":"The expression '1/Ω(j) l' is notationally unclear; it should be written as 1/Ω_l^{(j)} to match the superscript conventions used in eq. (6).","section":"Appendix, eq. (16)"},{"comment":"Reference [24] is a bare URL to the Arpack.jl library; please provide a proper citation with author and version information.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is short and the central claim is not yet supported with enough evidence for publication as is. The connection to Ref. [20] seems promising and should be explored; if the positivity threshold of the cavity precisions is already characterized there, that would strengthen the paper considerably. A second model with a localized top eigenvector and a distinct spectral edge would also help rule out the edge-detection interpretation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. The paper isolates a genuine failure mode of the growth-rate criterion for top eigenvalues with localized eigenvectors, and proposes a simple alternative: estimate λ1 as the smallest λ for which all cavity precisions stay positive. The idea is clean and, as far as the paper's own discussion shows, new. The numerics are honest and the empirical scaling is suggestive. But the central criterion is exactly that—an empirical finding, not a derived statement—and the validation on one model family (Anderson model on RRG, W=12, c=3) leaves real room for a model-specific coincidence.\n\nWhat's good. The demonstration that the growth-rate criterion fails in the thermodynamic-limit population dynamics because the narrow peak at λ1 is washed out, while it still works for single instances, is a useful diagnostic. The contrast between Fig. 2 and Fig. 3 makes the mechanism clear. The finite-size scaling analysis is careful: they fit c0 + c1 N^-α1, give honest error bars, and explicitly note that population-size effects are of the same order as instance-size effects. The paper also openly flags the unresolved problem of eigenvector component statistics for localized top eigenvectors. That is the right kind of self-assessment.\n\nWhere it is soft. Eq. (12) rests on the assertion that for a localized top eigenvector, precisions are positive for λ ≥ λ1 and at least one goes negative just below λ1. The paper calls this a finding and gives no derivation. The connection to the real-energy analysis of Ref. [20], which studies the same cavity precisions via G=1/Ω, is not made; the mechanism is therefore not independently supported. The numerical validation has genuine slack: the extrapolated thermodynamic-limit value is 8.6 ± 0.3 against the theoretical 8.83, so the agreement is within error but not sharp. And because in the Anderson model the top eigenvalue coincides with the spectral edge, the criterion might be detecting the edge where precisions lose positivity rather than λ1 as such. A second localized model with a gap, or an analytical argument, would settle this. None of these are fatal, but they are real.\n\nWho this is for. People working on cavity-method estimates of extreme eigenvalues, large deviations in stochastic dynamics, and Anderson localization on trees. The paper deserves a serious referee: the idea is simple, useful, and testable, and the weaknesses are the kind a revision can address. I would send it out and ask for either a proof sketch of the positivity threshold or a demonstration on a second model with a separated localized top eigenvalue.","headline":"A genuinely new and clean criterion for top eigenvalues with localized eigenvectors, backed by honest but narrow numerics and one unproved empirical assertion that needs referee attention.","tokens_in":8079,"tokens_out":2006,"would_cite":true,"duration_ms":22295,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper establishes that for random matrices with a localized top eigenvector, the top eigenvalue is correctly located by the point where cavity precisions turn negative, not by the unit-growth-rate criterion of the standard method.","keywords":["top eigenvalue","localization","cavity method","Anderson model","random regular graph","population dynamics","spectral edge","random matrix"],"falsifier":"Exhibit a random matrix ensemble with a provably localized top eigenvector for which the cavity precisions do not all stay positive above the true $\\lambda_1$, or for which negative precisions first appear at a $\\lambda$ strictly above $\\lambda_1$; then $\\lambda_u$ would be biased. A concrete test would be a model with a localized top eigenvector that is an outlier separated from the bulk by a spectral gap, a case the paper does not consider, checking whether the positivity threshold still coincides with $\\lambda_1$.","tokens_in":7031,"feed_emoji":"🧮","tokens_out":9272,"duration_ms":81048,"temperature":0.7,"pith_summary":"The paper addresses the problem of locating the largest eigenvalue of a large sparse random matrix when the associated eigenvector is localized, as in the Anderson model. It shows that the standard cavity-method criterion—a unit growth rate of auxiliary fields—fails in this regime, either underestimating the eigenvalue (in population dynamics) or becoming very hard to detect numerically (in single instances). The authors propose a new criterion: the top eigenvalue is the smallest $\\lambda$ for which all cavity precisions remain positive; below $\\lambda_1$ at least one precision becomes negative. Using the Anderson model on random regular graphs, they show this estimator tracks the known top eigenvalue, with finite-size scaling similar to that of exact diagonalization.","feed_headline":"New criterion detects top eigenvalue when eigenvector is localized","feed_subtitle":"Standard growth-rate estimate fails for Anderson-localized eigenvectors; the new estimator tracks the true value.","key_machinery":"The central object is the set of cavity precisions $\\Omega_j^{(i)}(\\lambda)$, the inverse variances of the Gaussian ansatz for the cavity distributions, determined by the self-consistent equation $\\Omega_j^{(i)} = \\lambda - J_{jj} - \\sum_{l \\in \\partial j \\setminus i} J_{jl}^2 / \\Omega_l^{(j)}$ (eq. 6). The new criterion (eq. 12) uses the constraint that all precisions must be positive for the cavity measure to be well defined: $\\lambda_u$ is the smallest $\\lambda$ such that every precision is positive. The mechanism is that, for a localized top eigenvector, decreasing $\\lambda$ below $\\lambda_1$ forces at least one precision through zero to a negative value, so the positivity threshold marks $\\lambda_1$. This replaces the growth-rate criterion based on the non-backtracking operator (eq. 8) and the auxiliary fields $H$, which the paper shows remains satisfied at unphysical negative precisions.","core_discovery":"The central claim is that for a random matrix whose top eigenvector is localized, the estimator $\\lambda_u = \\min\\{\\lambda \\in \\mathbb{R} : \\Omega_j^{(i)}(\\lambda) > 0 \\, \\forall \\text{ directed edges}\\}$ gives a reliable estimate of the top eigenvalue $\\lambda_1$, while the growth-rate criterion $\\eta = 1$ does not. The paper states the basis of this as the finding that solving equation (6) for $\\lambda < \\lambda_1$ yields at least one negative cavity precision whenever the top eigenvector is localized. The growth-rate criterion is shown to remain satisfied at $\\lambda$ values where the cavity precisions are already negative and therefore unphysical, so it is meaningless in the localized regime; the new criterion instead uses the appearance of negative precisions as the marker of $\\lambda_1$.","pith_inferences":["The criterion might be interpretable as a stability or spinodal condition of the Gaussian cavity ansatz: negative precisions signal the breakdown of the Gaussian approximation, so $\\lambda_u$ would be the point where the cavity measure first becomes ill-defined. The paper does not develop this interpretation.","The paper only tests the criterion when the localized top eigenvector sits at the spectral edge (the Anderson model). A natural extension is to test ensembles with a localized outlier separated from the bulk, or with a mobility edge inside the spectrum, to see whether the positivity threshold still coincides with $\\lambda_1$.","Because the population-size scaling mirrors the instance-size scaling, the estimator could be used to extrapolate the thermodynamic-limit top eigenvalue and, potentially, to locate mobility edges, but the paper notes that the finite-size corrections limit the advantage over exact diagonalization.","The paper leaves open the distribution of top eigenvector components for localized states; a future method that also captures this distribution could build on the positivity criterion."],"forward_implications":["For ensembles whose top eigenvector is localized, the growth-rate criterion should not be used: it can remain satisfied at $\\lambda$ values where the cavity precisions are unphysically negative.","The new positivity criterion locates $\\lambda_1$ for single instances as well as for population-dynamics solutions of the thermodynamic limit.","For the Anderson model on random regular graphs, the estimator $\\lambda_u$ scales with population size in the same way that the exact diagonalization result scales with system size, confirming its reliability.","The method applies to any random matrix ensemble with mobility edges, since those have a localized top eigenvector by the argument given in the introduction.","Reliable estimation of the top eigenvalue enables the detection of dynamical free energies in biased stochastic systems, as noted in the outlook."],"supporting_citations":[{"why":"Supplies the real-valued cavity method and the growth-rate criterion that the paper adapts and shows to fail for localized eigenvectors.","marker":"[10]"},{"why":"Gives the proof that the cavity field equations have a nontrivial solution exactly when the growth rate $\\eta = 1$ at $\\lambda = \\lambda_1$, the basis of the growth-rate criterion.","marker":"[9]"},{"why":"Earlier cavity approach to the first eigenvalue problem in sparse symmetric matrices, inspiring the real-valued method.","marker":"[8]"},{"why":"Introduces the Anderson model of localization, the paradigmatic example used throughout the paper.","marker":"[13]"},{"why":"Provides the self-consistent theory of localization and part of the theoretical top-eigenvalue prediction for the Anderson model.","marker":"[14]"},{"why":"Gives the density-of-states analysis and the theoretical top eigenvalue used to benchmark the new estimator.","marker":"[22]"},{"why":"Provides rigorous results that the top eigenvector of a d-regular graph is extended, the contrast case where the old criterion works.","marker":"[21]"},{"why":"Describes population dynamics as the numerical method to solve the cavity equations in the thermodynamic limit.","marker":"[18]"}],"fun_headline_variants":["Cavity criterion pinpoints top eigenvalue for localized vectors","Negative cavity precision marks top eigenvalue in localized modes","New criterion detects top eigenvalue in localized regime","Localized eigenvector? New cavity criterion still finds top value"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing assumption, stated as a numerical finding rather than a derivation, is that for a localized top eigenvector every cavity precision is positive for all $\\lambda$ above the true top eigenvalue and at least one becomes negative as soon as $\\lambda$ drops below it, so that the threshold in eq. (12) exactly marks $\\lambda_1$.","fun_headline_variants_meta":{"raw":{"variants":["Cavity criterion pinpoints top eigenvalue for localized vectors","Negative cavity precision marks top eigenvalue in localized modes","New criterion detects top eigenvalue in localized regime","Localized eigenvector? New cavity criterion still finds top value"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000639,"raw_usage":{"total_tokens":2872,"prompt_tokens":801,"completion_tokens":2071,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":417,"completion_tokens_details":{"reasoning_tokens":2008}},"tokens_in":417,"tokens_out":2071,"duration_ms":16433,"temperature":1.0,"reasoning_tokens":2008,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T18:43:57.228769+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a random matrix ensemble with a provably localized top eigenvector for which the cavity precisions do not all stay positive above the true $\\lambda_1$, or for which negative precisions first appear at a $\\lambda$ strictly above $\\lambda_1$; then $\\lambda_u$ would be biased. A concrete test would be a model with a localized top eigenvector that is an outlier separated from the bulk by a spectral gap, a case the paper does not consider, checking whether the positivity threshold still coincides with $\\lambda_1$.","supporting_citations":[{"cited_title":"Top eigenpair statistics for weighted sparse graphs","cited_arxiv_id":null,"evidence_quote":"Supplies the real-valued cavity method and the growth-rate criterion that the paper adapts and shows to fail for localized eigenvectors."},{"cited_title":"First eigenvalue/eigenvector in sparse random symmetric ma- trices: influences of degree fluctuation","cited_arxiv_id":null,"evidence_quote":"Gives the proof that the cavity field equations have a nontrivial solution exactly when the growth rate $\\eta = 1$ at $\\lambda = \\lambda_1$, the basis of the growth-rate criterion."},{"cited_title":"Cavity approach to the first eigenvalue prob- lem in a family of symmetric random sparse matrices","cited_arxiv_id":null,"evidence_quote":"Earlier cavity approach to the first eigenvalue problem in sparse symmetric matrices, inspiring the real-valued method."},{"cited_title":"Absence of diffusion in certain ran- dom lattices","cited_arxiv_id":null,"evidence_quote":"Introduces the Anderson model of localization, the paradigmatic example used throughout the paper."},{"cited_title":"A selfconsistent theory of localization","cited_arxiv_id":null,"evidence_quote":"Provides the self-consistent theory of localization and part of the theoretical top-eigenvalue prediction for the Anderson model."},{"cited_title":"An- derson model on bethe lattices: density of states, localiza- tion properties and isolated eigenvalue","cited_arxiv_id":null,"evidence_quote":"Gives the density-of-states analysis and the theoretical top eigenvalue used to benchmark the new estimator."},{"cited_title":"Spectrum of ran- dom d-regular graphs up to the edge","cited_arxiv_id":null,"evidence_quote":"Provides rigorous results that the top eigenvector of a d-regular graph is extended, the contrast case where the old criterion works."},{"cited_title":"Cavity and replica methods for the spectral density of sparse sym- p-5 Diego Tapias1, Benedikt Gr¨ uger1, Reimer K¨ uhn2 Peter Sollich1,2 metric random matrices","cited_arxiv_id":null,"evidence_quote":"Describes population dynamics as the numerical method to solve the cavity equations in the thermodynamic limit."}],"review_version":1}