{"id":"bbfab7ab-cb44-4e91-8681-6fd52f5ec2f5","arxiv_id":"2508.07591","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Weighted Dirac eigenvalues satisfy a min-max characterization and vary continuously under weak L^p convergence of the inverse weight for every p > n, with a comparison theorem when no harmonic spinors exist.","lead":"This spectral geometry paper proves a min-max formula for the eigenvalues of weighted Dirac operators, together with continuity of the eigenvalues and eigenspaces as the weight varies. A comparison theorem is added for spaces without harmonic spinors, giving spectral geometers and mathematical physicists a standard toolbox for weighted spin eigenvalue problems.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Min-max for a non-semibounded operator: the abstract's variational characterization of weighted Dirac eigenvalues needs an explicit spectral-cut or sign convention.","rationale":"The reader's verdict is UNVERDICTED because the full text was unreadable; my pass does not change that. I agree with the reader that domain conditions and discreteness of the spectrum are load-bearing, but I sharpen the relevant issue: even with a discrete self-adjoint spectrum, the Dirac operator is not semibounded, so the standard min-max principle cannot characterize all eigenvalues unless additional structure (a spectral cut, a sign decomposition, or passage to |D|) is introduced. The abstract does not state such structure. This concern is directly testable once a clean text is available; it does not amount to a demonstrated flaw. I therefore keep the verdict unchanged rather than moving to ACCEPT or REJECT. The manuscript's own abstract and the mathematical nature of the Dirac operator support this as the central point to check.","tokens_in":18893,"tokens_out":15501,"duration_ms":184905,"concrete_test":"In the clean full text, locate the definition of 'weighted Dirac eigenvalue' and the statement of the min-max theorem. Then specialize to a flat Clifford torus T^n with constant weight w=1 (which is allowed, since 1∈L^p for every p). The Dirac eigenvalues are ±|k| with k∈Z^n. Check whether the paper's min-max formula, applied to this unweighted case, yields finite values for the positive and negative eigenvalues separately and does not claim to produce a 'k-th eigenvalue' in a global increasing order. If the formula does not reproduce the two-sided spectrum or if it implicitly assumes a spectral gap, the min-max characterization does not cover the stated hypotheses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The claimed min-max characterization is load-bearing because the continuity and comparison results are derived from it. On a closed spin manifold, the Dirac operator D is self-adjoint and elliptic but not bounded below: its eigenvalues accumulate at both +∞ and −∞. The classical min-max principle characterizes the k-th eigenvalue only for operators bounded below; for D, a naive Rayleigh quotient ⟨Dψ,ψ⟩/⟨wψ,ψ⟩ is not bounded below, and there is no 'k-th eigenvalue from the bottom' to characterize. The hypothesis 'when there are no harmonic spinors' does not introduce a spectral gap around zero—the spectrum still has both signs and accumulates at ±∞. Therefore, the abstract's 'min-max characterization of the weighted Dirac eigenvalues' is only credible if the paper defines the weighted eigenvalues as eigenvalues of a nonnegative operator (e.g., |D| or D^2) or uses a nonstandard variational principle that first separates the negative spectral subspace. The delivered full text is encoding-corrupted, so I cannot verify that this condition is stated and handled. This is a genuine mathematical constraint, not a stylistic concern.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper (arXiv:2508.07591) claims three results for weighted Dirac operators on a closed spin manifold: (i) a min-max characterization of the weighted Dirac eigenvalues, (ii) continuity of weighted eigenvalues and eigenspaces under weak L^p convergence of the inverse weight for p > n, and (iii) a comparison theorem for such weighted eigenvalue problems when there are no harmonic spinors. The abstract states these claims, but the provided full text is an unreadable, encoding-corrupted stream of characters. Almost no mathematical content is decipherable: definitions, theorem statements, equation numbers, and proofs are effectively absent. The only readable parts are the abstract and scattered fragments. Consequently, I am unable to verify the central derivation, the domain conditions for self-adjointness, the min-max inequalities, the weak-L^p convergence argument, or the comparison result. The present submission is not reviewable in its current form.","tokens_in":19089,"tokens_out":3506,"duration_ms":47415,"significance":"If the results are correct, this would be a genuinely useful contribution: a variational characterization of weighted Dirac eigenvalues is a foundational tool for spectral comparison and perturbation arguments, and a continuity result under weak L^p weight convergence with the threshold p > n is natural and potentially applicable in geometric analysis. The comparison result under 'no harmonic spinors' is also valuable. There is no evidence of circular reasoning, parameter fitting, or invented entities. The significance, however, remains conditional because no proof step can be checked from the supplied text. I cannot assign credit to the specific technical achievements until a readable manuscript is provided.","major_comments":[{"comment":"The complete body of the manuscript is an undecipherable sequence of corrupted characters; no definition, theorem, or proof can be read. This is not a matter of minor formatting: it blocks any substantive verification of the claimed results. I therefore cannot confirm the domain of the weighted Dirac operator, the self-adjointness extension, the min-max inequalities, or the weak-L^p convergence argument. Separately, the text contains the line 'arXiv:2508.07593v2 [quant-ph] 16 May 2026', which is inconsistent with the advertised arXiv ID 2508.07591 and suggests mixing of multiple source files. A clean, complete version is required before a technical evaluation is possible.","section":"Full Text (post-abstract)"},{"comment":"The claimed 'min-max characterization of the weighted Dirac eigenvalues' is under-specified for the Dirac operator. On a closed spin manifold, the Dirac operator is self-adjoint and elliptic but its spectrum is unbounded both above and below; the classical min-max principle characterizes eigenvalues of a semibounded operator. The hypothesis 'no harmonic spinors' does not introduce a spectral gap and therefore does not resolve this issue. The paper must specify how the eigenvalues are ordered, which self-adjoint operator or quadratic form is used (e.g., |D|, D^2, or a weighted Rayleigh quotient), and the exact domain and form domain. Otherwise the eigenvalue/eigenspace continuity and comparison results are not well defined.","section":"Abstract, first sentence"},{"comment":"The continuity statement 'eigenvalues and eigenspaces are continuous with respect to weak L^p convergence of the inverse weight, for any p > n' needs a precise topology and a proof. I cannot locate the definitions of the spectral projections, the notion of eigenspace convergence, or the compactness argument that presumably produces the p > n threshold. Since the text is unreadable, this remains an unverified load-bearing claim rather than a presentation issue. If the clean text supplies the proof, it must also state whether the p > n condition is sharp or merely sufficient.","section":"Abstract, lines 1-2 and unreadable proof section"}],"minor_comments":[{"comment":"Please state the geometric assumptions explicitly in the abstract: closed spin manifold, positive weight, and the class of admissible weights. The phrase 'weighted eigenvalue' is not defined in the abstract.","section":"Abstract / Introduction"},{"comment":"The comparison result 'when there are no harmonic spinors' is vague: is the comparison between two different weights, or between a weighted problem and the unweighted one? Clarify the statement in the abstract or introduction.","section":"Abstract, comparison result"},{"comment":"The inserted arXiv identifier '2508.07593v2 [quant-ph] 16 May 2026' should be removed; it does not correspond to the manuscript's stated ID and suggests a compilation error.","section":"Full text metadata"},{"comment":"The abstract would benefit from a theorem reference (e.g., 'Theorem 3.1') so readers can locate the min-max characterization immediately.","section":"Preamble"}],"recommendation":"major_revision","confidential_remarks":"The manuscript may be correct, but as submitted it is unreadable; no proof could be checked. I recommend asking the authors to resubmit a clean, complete PDF or LaTeX source before any substantive technical review. If the corrupted text is the only available version, the submission should be returned unrefereed. The mathematical claims in the abstract are plausible but rest entirely on an unverifiable variational framework."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The abstract promises three things: a min-max characterization of weighted Dirac eigenvalues, continuity of the eigenvalues and eigenspaces under weak L^p convergence of the inverse weight for p > n, and a comparison result when there are no harmonic spinors. If the proofs hold, these are genuinely useful tools for spectral geometry. The min-max piece is load-bearing, and the p > n threshold matches the expected Sobolev-embedding intuition.\n\nThe delivered full text is corrupted—encoding garbage, plus a header from a different arXiv record—so I could not check a single proof step. That's an honest limitation, not evidence of error. The abstract reads coherently, and the results are plausible extensions of known variational results for weighted Laplacians.\n\nThe real mathematical caveat, which the abstract does not address, is that the Dirac operator on a closed spin manifold is not bounded below. Standard min-max principles characterize eigenvalues from the bottom only for semibounded operators. So \"min-max characterization of weighted Dirac eigenvalues\" requires an explicit convention: either a spectral cut separating the positive and negative spectrum, or the eigenvalues of |D| or D^2, or a variational principle that handles both signs. The \"no harmonic spinors\" hypothesis does not create a spectral gap around zero, so it does not resolve this. The authors may have handled it inside the paper—the corrupted text does not let me check—but the abstract alone is under-specified.\n\nThe reader's UNVERDICTED verdict is fair. Circularity burden looks low, and nothing in the abstract suggests fitting or self-citation loops. But the p > n condition and the domain details for self-adjointness are exactly the kind of things that could make or break the min-max theorem.\n\nWho is this for? Spectral geometers and mathematical physicists working with weighted Dirac operators, especially those needing variational characterizations or stability under weight perturbations. It deserves a serious referee, provided the authors supply a readable manuscript. The sign-convention issue is a genuine presentation gap that a referee should push on, but it is not a reason to desk-reject. I would send it to review and explicitly ask for the spectral convention and domain conditions. I would not cite it until a clean version confirms the statements.","headline":"Plausible and potentially useful claims, but the abstract leaves the Dirac min-max sign-convention unstated and the full text is unreadable; worth refereeing if a clean version comes through.","tokens_in":19568,"tokens_out":1928,"would_cite":false,"duration_ms":22598,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["58J50","35P15","53C27"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper gives a min-max formula for weighted Dirac eigenvalues and proves that the weighted spectrum and eigenspaces are continuous under weak $L^p$ changes of the inverse weight.","keywords":["weighted Dirac eigenvalues","min-max characterization","spectral continuity","weak L^p convergence","harmonic spinors","spin manifolds","comparison theorem"],"falsifier":"On a closed spin manifold of dimension $n$, choose smooth positive inverse weights $h_k$ that converge weakly but not strongly in $L^p$ to $h$ (for example, oscillating functions on $S^1$) with $p>n$. Compute the first positive weighted Dirac eigenvalue for the problem $D\\psi=\\lambda h_k^{-1}\\psi$ and the operator norm of the difference between the corresponding spectral projections. If the eigenvalues do not converge to the eigenvalue for $h$, or the projection difference does not tend to zero, the paper's continuity claim is false.","tokens_in":18756,"feed_emoji":"📐","tokens_out":13125,"duration_ms":157455,"temperature":0.7,"pith_summary":"The paper studies the spectrum of a Dirac operator on a closed spin $n$-manifold (a compact manifold without boundary with a spin structure) when a positive weight is inserted into the eigenvalue problem. It claims that the weighted Dirac eigenvalues admit a min-max (variational) characterization, and that the weighted eigenvalues and their eigenspaces are completely continuous in the inverse weight: if the inverse weights converge weakly in $L^p$ with $p>n$, then the eigenvalues converge to those of the limiting weight and the eigenspace projections converge in norm. It also proves a comparison principle for the weighted eigenvalues when the unweighted Dirac operator has no harmonic spinors. The min-max formula is the load-bearing piece: it turns the eigenvalues into variational quantities from which both stability and comparison follow.","feed_headline":"Weighted Dirac spectra survive weak L^p weight limits","feed_subtitle":"A min-max formula plus a compact embedding keeps eigenvalues and eigenspaces stable under rough weight perturbations.","key_machinery":"The central object is the weighted Rayleigh quotient for spinors, whose numerator is the Dirac quadratic form $\\langle \\psi, D\\psi\\rangle$ and whose denominator is the weighted $L^2$ norm determined by the weight; the min-max formula equates each weighted eigenvalue with a sup-inf of this quotient over subspaces of the form domain. The hypothesis that the inverse weight lies in $L^p$ with $p>n$ is what makes the form domain embed compactly into the relevant weighted $L^2$ space, and this compactness is the mechanism that converts weak convergence of the inverse weight into convergence of eigenvalues and eigenspaces.","core_discovery":"On a closed spin manifold, fix a positive weight and form the associated weighted Dirac eigenvalue problem. The paper's first claim is a min-max formula expressing every positive and every negative weighted eigenvalue as a sup-inf of weighted Rayleigh quotients over finite-dimensional subspaces of the form domain. Its second claim is complete continuity: a sequence of inverse weights converging weakly in $L^p$, $p>n$, forces each weighted eigenvalue and, in norm, the corresponding eigenspace projection to converge to the data of the limiting weight. Its third claim is a comparison theorem: when $\\ker D=0$, so there are no harmonic spinors, the weighted eigenvalues can be ordered or estimated","pith_inferences":["The proof mechanism appears to depend only on first-order ellipticity and the compact embedding of the Sobolev form domain, so the same min-max-and-continuity pattern should transfer to other first-order elliptic operators of Dirac type, such as twisted Dirac operators.","The threshold $p>n$ is likely tied to the compact embedding; a natural test is whether continuity still holds at $p=n$ on flat tori, which would show whether the condition is sharp or only an artifact of the proof.","The no-harmonic-spinors hypothesis is satisfied automatically, by curvature positivity arguments, on many manifolds; on those manifolds the comparison theorem becomes a geometric eigenvalue estimate.","The norm convergence of spectral projections suggests that quantities computed from eigenspaces, such as expectation values of observables in the lowest eigenspace, are stable under weak weight limits, which is useful for numerical spectral approximation."],"forward_implications":["Weighted Dirac eigenvalues of a weak $L^p$ limit of weights are the limits of the eigenvalues, so rough weights can be approximated by smooth ones without changing the limiting spectrum.","The eigenspace projections converge in operator norm, not merely weakly, so spectral gaps and multiplicities are stable under weak weight perturbations.","The min-max formula makes the eigenvalues accessible to finite-dimensional variational estimates, such as upper bounds from test subspaces and lower bounds from spectral gaps.","When the Dirac kernel vanishes, the comparison theorem supplies an explicit ordering between weighted and unweighted eigenvalues, giving direct bounds for the weighted problem."],"supporting_citations":[],"fun_headline_variants":["Weighted Dirac spectra stable under weak L^p weight limits","Complete continuity of weighted Dirac eigenvalues","No harmonic spinors? Weighted Dirac eigenvalue comparison","Weighted Dirac eigenvalues: min-max and complete continuity","Weak L^p weight limits preserve weighted Dirac spectra"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The weighted Dirac eigenvalue problem is set up so that it is self-adjoint with discrete spectrum and with a form domain that truly controls the weighted quadratic form; if the natural domain changes with the weight or the spectrum is not discrete, the min-max characterization would describe something other than the eigenvalues it names.","fun_headline_variants_meta":{"raw":{"variants":["Weighted Dirac spectra stable under weak L^p weight limits","Complete continuity of weighted Dirac eigenvalues","No harmonic spinors? Weighted Dirac eigenvalue comparison","Weighted Dirac eigenvalues: min-max and complete continuity","Weak L^p weight limits preserve weighted Dirac spectra"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001178,"raw_usage":{"total_tokens":4611,"prompt_tokens":560,"completion_tokens":4051,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":304,"completion_tokens_details":{"reasoning_tokens":3977}},"tokens_in":304,"tokens_out":4051,"duration_ms":28191,"temperature":1.0,"reasoning_tokens":3977,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T21:59:26.531734+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"On a closed spin manifold of dimension $n$, choose smooth positive inverse weights $h_k$ that converge weakly but not strongly in $L^p$ to $h$ (for example, oscillating functions on $S^1$) with $p>n$. Compute the first positive weighted Dirac eigenvalue for the problem $D\\psi=\\lambda h_k^{-1}\\psi$ and the operator norm of the difference between the corresponding spectral projections. If the eigenvalues do not converge to the eigenvalue for $h$, or the projection difference does not tend to zero, the paper's continuity claim is false.","supporting_citations":[],"review_version":1}