{"id":"3b8c9887-c4d0-4282-95ff-07b760b5a346","arxiv_id":"1908.05029","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For weakly T-coercive holomorphic Fredholm operators, T-compatible Galerkin approximations are proven regular, yielding spectral convergence and eigenvalue error estimates.","lead":"This paper introduces weak T-coercivity and T-compatibility, a framework for proving that Galerkin discretizations of non-coercive holomorphic eigenvalue problems converge without spurious eigenvalues. It gives numerical analysts a reusable checklist for certifying convergence of methods for wave, Maxwell, and metamaterial eigenvalue problems.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 2.7's proof invokes Lemma 1.7 without the weak T-coercivity/T-compatibility hypotheses, leaving the bridge from regularity to Karma's convergence and error estimates unproven as written.","rationale":"I read the paper in good faith. The core result — T-compatibility implies regularity for weakly T-coercive operators — appears correct. Lemma 1.6 and Lemma 1.7 are internally consistent; the inf-sup argument properly handles the discretization error of Tn, and Theorem 1.8's compactness argument is valid. The reader's weakest_assumption (Fredholm index zero of discrete operators) is real but largely vacuous for the finite-dimensional Galerkin spaces used in the cited applications, so I do not treat it as the main risk. The genuine soft spot is Proposition 2.7's proof, which cites Lemma 1.7 in a context where its hypotheses are absent. Since Corollary 2.8 and the abstract's promised convergence analysis rely on Proposition 2.7, this gap should be repaired before acceptance. I therefore recommend CONDITIONAL rather than unconditional ACCEPT. The requested check — reading Karma's assumptions and either replacing the citation with a direct regularity argument or adding the missing hypotheses — will settle whether the gap is cosmetic or substantive.","tokens_in":11584,"tokens_out":15689,"duration_ms":159184,"concrete_test":"Check Karma's [18, Theorem 2] and [19] to identify what assumption b2 actually requires. If b2 is the standard 'for every compact subset of the resolvent, An(lambda) is eventually invertible with uniformly bounded inverse', supply a direct proof from regularity of (An(lambda)) (as sketched in the paper's introduction for a bijective limit operator) and replace the Lemma 1.7 citation in Proposition 2.7. If b2 instead needs a stable T-perturbation, then Proposition 2.7 must be restated with weak T-coercivity and T-compatibility assumptions, and Corollary 2.8's proof adjusted accordingly. Also verify Lemma 2.6's appeal by deriving [22, Lemma 4.2.1] explicitly from [18, Theorem 2 ii)]; if the derivation fails, restrict the claim to the T-compatible setting.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim is Theorem 1.8, and its proof is essentially sound: Lemma 1.7 derives uniform invertibility of An + PnT^-*K from weak T-coercivity and T-compatibility, and Theorem 1.8 uses that to extract a convergent subsequence from any bounded sequence (un) with compact (An un). The load-bearing weakness is in Proposition 2.7, the official bridge to the advertised results i)-vii). Its proof states 'Assumption b2 follows from Lemma 1.7 (at least for sufficiently large n)'. But Lemma 1.7 is proved only for weakly T-coercive A with a T-compatible Galerkin approximation, and Proposition 2.7 assumes neither; it assumes only holomorphic Fredholm A, nonempty resolvent, An(lambda) Fredholm index zero, and regularity. Consequently, the verification of Karma's assumptions is not valid as written. The same layer contains Lemma 2.6, whose proof is a one-line appeal to [18, Theorem 2 ii)]; since the eigenspace estimate vii) depends on it, that step is also under-supported. The issue is not Theorem 1.8 itself but the chain that turns regularity into no spectral pollution, eigenvalue convergence, and error bounds.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies Galerkin approximations of holomorphic Fredholm operator eigenvalue problems without the usual 'coercive+compact' structure. It introduces weak T-coercivity and T-compatibility: a bounded operator A is weakly T-coercive if T^*A is a compact perturbation of a coercive operator, and a Galerkin approximation is T-compatible if there exist index-zero Fredholm operators T_n on X_n converging to T in the discrete norm. Theorem 1.8 proves that T-compatible Galerkin approximations of weakly T-coercive operators are regular in the sense that compactness of (A_n u_n) forces compactness of (u_n). Section 2 extends this to operator functions and combines it with Karma's spectral approximation theory: Proposition 2.7 lists no spectral pollution, eigenvalue convergence, stability on compact resolvent sets, eigenvalue/eigenspace error bounds, and Lemma 2.6 states a new eigenspace error estimate. Corollary 2.8 applies the framework to weakly T(·)-coercive operator functions. The abstract advertises applications to Hohage-Nannen infinite element methods and Bonnet-Ben Dhia-Carvalho-Ciarlet finite element methods.","tokens_in":11796,"tokens_out":10817,"duration_ms":103283,"significance":"The central idea is useful and the main theorem is cleanly proved. The proof of Theorem 1.8 is based on a uniform inf-sup estimate for the perturbed Galerkin operators A_n + P_n T^{-*}K (Lemma 1.7), and the argument is sound. If the application to Karma's theory is made rigorous, the paper would provide a practical criterion for spectral exactness and error estimates in non-coercive settings, improving results of Hohage-Nannen and Unger. The paper is honest about the main difficulty: verifying that the discrete operators are Fredholm index zero and that the operators T_n exist is often the hard part in practice. However, the manuscript is not yet a complete proof of the advertised convergence claims because of a gap in the proof of Proposition 2.7.","major_comments":[{"comment":"The proof of Proposition 2.7 states: 'Assumption b2 follows from Lemma 1.7 (at least for sufficiently large n).' But Lemma 1.7 is proved under the hypotheses that A is weakly T-coercive and that (A_n) is T-compatible; Proposition 2.7 assumes neither. The assumptions of Proposition 2.7 are only holomorphy, Fredholm index zero of A(λ) and A_n(λ), non-empty resolvent, pointwise convergence of the projections, and regularity of (A_n(·)) in the sense of Definition 2.3. Consequently, the verification of Karma's assumption b2 is invalid as written, and the claims i)–vii) are not established by the argument presented. The authors should either add the missing weak T-coercivity/T-compatibility hypotheses to Proposition 2.7 (at the cost of making Corollary 2.8 a tautology) or replace this step by a direct argument that the stated regularity hypothesis implies the relevant assumption of Karma's theorem for Galerkin schemes.","section":"§2, Proposition 2.7, proof"},{"comment":"The proof of Lemma 2.6 is a single sentence: it asserts that the needed result 'already follows from [18, Theorem 2 ii)]'. Since Lemma 2.6 is new (an improvement of Unger's Theorem 4.3.7) and is the basis for the eigenspace error estimate (vii), the proof should spell out why the hypotheses of [18, Theorem 2 ii)] are satisfied and how that theorem yields the bound (11). As written, this step is a citation rather than a proof, and the eigenspace error claim is therefore not fully supported.","section":"§2, Lemma 2.6, proof"}],"minor_comments":[{"comment":"The proof of Theorem 2.4 says 'Follows from Theorem 2.4', which is circular; it should refer to Theorem 1.8.","section":"§2, Theorem 2.4, proof"},{"comment":"The displayed inf-sup chain contains a misplaced parenthesis: '|⟨((A + T −∗K)un, T v n⟩X |' should read '|⟨(A+T^{-*}K)u_n, Tv_n\rangle_X|'.","section":"§1, Lemma 1.7, proof"},{"comment":"In the first sentence of the proof, 'let (u_n ∈ L(X_n))' should be 'let (u_n ∈ X_n)'.","section":"§1, Theorem 1.8, proof"},{"comment":"The phrase 'T(λ) compatible' is missing a hyphen; it should be 'T(λ)-compatible'.","section":"§2, Definition 2.2"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is within scope and the main theorem appears sound. The gap in the proof of Proposition 2.7 is likely fixable, but it is load-bearing because Corollary 2.8 depends on that proposition. I would recommend asking the authors to clarify Karma's assumption b2 and to either state correct hypotheses for Proposition 2.7 or verify the assumption directly from regularity. The paper should be acceptable after a moderate revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Martin Halla's paper gives a general framework for proving regularity of Galerkin approximations for holomorphic Fredholm eigenvalue problems that are not coercive+compact. The new concepts are weak T-coercivity and T-compatibility, and Theorem 1.8 shows that T-compatible Galerkin approximations of weakly T-coercive operators are regular. That proof is clear and complete, and the result is genuinely useful: it subsumes earlier special cases in waveguide and metamaterial problems and gives a single condition that can be checked directly. The paper also does well in connecting this to Karma's apparatus, and Lemma 2.6 (an eigenspace error estimate) is a nice extra, though its proof is compressed.\n\nThe main problem is Proposition 2.7. It is stated as a standalone result: for a holomorphic Fredholm A(·) with nonempty resolvent, and Galerkin approximations An(·) that are Fredholm index zero and regular, it claims results i)-vii). In the proof, Assumption b2 is said to 'follow from Lemma 1.7'. But Lemma 1.7 requires weak T-coercivity and T-compatibility, neither of which is assumed in Proposition 2.7. So the verification of Karma's assumptions is invalid as written. This matters because Corollary 2.8 invokes Proposition 2.7, so the advertised eigenvalue convergence and error bounds rest on this step. The fix is straightforward: either add the missing hypotheses to Proposition 2.7, or prove directly that regularity alone implies the needed assumption b2. The paper's introduction asserts the latter but the proof never shows it.\n\nSmaller issues: Theorem 2.4's proof says 'Follows from Theorem 2.4'—presumably a typo for Theorem 1.8—and Lemma 2.6's proof leans on a one-line appeal to Karma's Theorem 2(ii). Both are minor.\n\nThere is no code or numerical demonstration. For a theory paper of this type that is acceptable, provided the arguments are airtight. The citation pattern is honest and related work is credited.\n\nWho benefits? Anyone working on non-coercive eigenvalue approximations—waveguides, Maxwell boundary integral equations, metamaterials. The framework is a real step forward.\n\nMy recommendation: send it to peer review. Theorem 1.8 is solid and worth publishing; the paper needs a revision to close the Proposition 2.7 gap before the convergence claims are fully supported.","headline":"A genuinely useful sufficient condition for regularity of Galerkin eigenvalue approximations; the main theorem is sound, but the bridge to Karma's convergence and error estimates has a proof gap that should be fixed before publication.","tokens_in":12362,"tokens_out":5133,"would_cite":true,"duration_ms":46301,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["47J10","65H17","65N25"],"pacs":[],"model":"deepseek-v4-flash","headline":"Weak T-coercivity plus T-compatibility yields convergence for Galerkin eigenvalue approximations.","keywords":["holomorphic eigenvalue problem","nonlinear eigenvalue problem","Galerkin approximation","T-coercivity","regularity of approximations","spectral pollution","Fredholm operator functions","discrete approximation scheme"],"falsifier":"Because Theorem 1.8 is a universal statement, the direct falsifier is a counterexample: an operator $A$ and a Galerkin sequence satisfying weak $T$-coercivity and $T$-compatibility, together with a bounded sequence $u_n \\in X_n$ such that $A_n u_n$ is compact but $u_n$ has no convergent subsequence. Short of a counterexample, one can test the necessity of the discrete Fredholm condition by comparing $T$-compatible and non-$T$-compatible discretizations of the same problem and checking whether spurious eigenvalues appear.","tokens_in":11352,"feed_emoji":"🔢","tokens_out":10870,"duration_ms":98746,"temperature":0.7,"pith_summary":"This paper proves a two-condition recipe for Galerkin approximations of eigenvalue problems in which the operator depends holomorphically on the spectral parameter and is Fredholm: a continuous condition and a discrete condition. On the continuous side, the operator family must be weakly T-coercive, meaning a fixed bijective $T$ makes $T^*A$ a compact perturbation of a coercive operator; this secures Fredholmness with index zero. On the discrete side, the Galerkin approximations must be $T$-compatible, meaning each discrete operator is Fredholm with index zero and there are discrete operators $T_n$ converging to $T$ in the discrete norm. Together these conditions imply that the approximations are regular, and the standard theory of regular approximations then yields convergence of eigenvalues, no spectral pollution, and eigenvalue error bounds of order $(\\delta_n \\delta_n^*)^{1/\\kappa}$. The result matters because it covers problems whose operator values are not 'coercive plus compact', such as sign-changing coefficient models and boundary integral eigenvalue formulations that are nonlinear in the eigenvalue parameter.","feed_headline":"Weak T-coercivity plus T-compatibility yields convergence","feed_subtitle":"Rules out spurious eigenvalues and yields error bounds for non-coercive problems.","key_machinery":"The machinery has three pieces. Weak $T$-coercivity: $A$ is weakly $T$-coercive if there is a bijective $T \\in L(X)$ and a compact $K$ such that $T^*A + K$ is coercive; this is the continuous condition that guarantees $A$ is Fredholm with index zero. $T$-compatibility: the discrete operators $A_n$ are Fredholm with index zero, and there exist index-zero Fredholm operators $T_n$ on $X_n$ such that $\\|T - T_n\\|_n \\to 0$, where the discrete norm $\\|\\cdot\\|_n$ is the operator norm on the Galerkin subspace $X_n$. The proof's engine is Lemma 1.7, which uses these two conditions to show that $A_n + P_n T^{-*}K|_{X_n}$ is invertible with a uniform bound on the inverse; Theorem 1.8 then converts compactness of $(A_n u_n)$ into compactness of $(u_n)$. The operator-function version carries the same argument pointwise in $\\lambda$, and Lemma 2.6 extends an eigenspace error estimate to the general holomorphic Fredholm setting.","core_discovery":"The central claim is Theorem 1.8: if $A$ is weakly $T$-coercive and the Galerkin approximations $A_n := P_n A|_{X_n}$ are $T$-compatible, then $(A_n)$ is regular. Regularity is a compactness condition: any bounded sequence $(u_n)$ of discrete vectors for which $(A_n u_n)$ is compact must itself have a convergent subsequence. The paper shows that $T$-compatibility makes $A_n + P_n T^{-*}K|_{X_n}$ uniformly invertible for large $n$, and from that, compactness of $(A_n u_n)$ forces convergence of $(u_n)$. With regularity in hand, the established theory of regular approximations of holomorphic Fredholm operator functions yields the full convergence package: every eigenvalue is attained by discrete eigenvalues, there is no spectral pollution, eigenpairs cluster at genuine eigenpairs, the discrete family is stable away from the spectrum, the dimensions of generalized eigenspaces are preserved inside contours, and eigenvalue errors obey $|\\lambda_0 - \\lambda_n| \\leq c(\\delta_n \\delta_n^*)^{1/\\kappa}$, where $\\kappa$ is the maximal Jordan chain length and $\\delta_n, \\delta_n^*$ measure how well the discrete spaces approximate the eigenspace and its adjoint. The paper also generalizes an existing eigenspace error estimate to arbitrary holomorphic Fredholm operator functions.","pith_inferences":["The hypothesis that is hardest to verify in practice is not weak $T$-coercivity but the discrete part of $T$-compatibility: each $A_n(\\lambda)$ must be Fredholm of index zero, and natural mixed or boundary element discretizations can fail this even when the continuous operator satisfies the framework.","Because the definition of $T$-compatibility only asks for discrete-norm convergence of $T_n$ to $T$, it gives a practical recipe: build an explicit stabilizer $T$, discretize it, and check the discrete norm; $T$-invariant subspaces are not required.","A natural numerical test is to compute eigenvalues for a sign-changing coefficient problem with and without a $T$-compatible discretization; the framework predicts that only the $T$-compatible scheme avoids pollution and attains the $(\\delta_n \\delta_n^*)^{1/\\kappa}$ rate.","The Hilbert-space formulation suggests a Banach-space or non-orthogonal projection extension, since the discrete norm and regularity arguments do not fundamentally rely on orthogonality."],"forward_implications":["For any weakly $T$-coercive holomorphic Fredholm eigenvalue problem, a Galerkin scheme that is $T$-compatible automatically produces a regular approximation, so no spurious eigenvalues can appear and every true eigenvalue is approximated by discrete eigenvalues.","The eigenvalue error is bounded by $c(\\delta_n \\delta_n^*)^{1/\\kappa}$, where $\\delta_n$ and $\\delta_n^*$ are best-approximation errors of the eigenspace and its adjoint and $\\kappa$ is the maximal Jordan chain length; improving either discrete space improves the eigenvalue rate.","The theory covers operator families that are not 'coercive plus compact', including sign-changing coefficient models and boundary integral formulations whose dependence on the spectral parameter is nonlinear.","Normalized discrete eigenvectors satisfy an explicit bound combining the eigenvalue error and the best-approximation error of the true eigenspace, which is new for general holomorphic Fredholm operator functions."],"supporting_citations":[{"why":"Supplies the discrete approximation framework and the convergence theorems for regular approximations of holomorphic Fredholm operator functions.","marker":"[18]"},{"why":"Supplies the convergence-rate results for eigenvalues of regular approximations, used in Proposition 2.7.","marker":"[19]"},{"why":"Introduces discrete-norm convergence in this context for infinite element waveguide analysis, the predecessor of $T$-compatibility.","marker":"[16]"},{"why":"Provides a finite element analysis for problems with sign-changing coefficients in which weak $T$-coercivity and $T$-compatibility are already proved, an application target.","marker":"[4]"},{"why":"Contains the eigenspace error estimate that Lemma 2.6 generalizes to arbitrary holomorphic Fredholm operator functions.","marker":"[22]"},{"why":"Introduces the discrete norm used to define convergence of $T_n$ to $T$.","marker":"[10]"},{"why":"Develops the companion spectral approximation and error estimates for Galerkin methods that underlie the discrete-norm viewpoint.","marker":"[11]"},{"why":"Names and motivates $T$-coercivity for sign-changing coefficient problems, the continuous ingredient of the framework.","marker":"[5]"}],"fun_headline_variants":["Weak T-coercivity + T-compatibility regularizes Galerkin","T-compatibility fixes Galerkin without coercivity","Regularity via T-compatibility for weakly T-coercive","No spurious eigenvalues: weak T-coercivity + T-compatibility","T-compatibility + weak T-coercivity = convergence"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that each discrete operator $A_n(\\lambda)$ is Fredholm with index zero and that index-zero Fredholm operators $T_n$ exist on the discrete spaces and converge to $T$ in the discrete norm; this must be checked for each discretization and does not follow automatically from Galerkin projection.","fun_headline_variants_meta":{"raw":{"variants":["Weak T-coercivity + T-compatibility regularizes Galerkin","T-compatibility fixes Galerkin without coercivity","Regularity via T-compatibility for weakly T-coercive","No spurious eigenvalues: weak T-coercivity + T-compatibility","T-compatibility + weak T-coercivity = convergence"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002022,"raw_usage":{"total_tokens":7929,"prompt_tokens":1040,"completion_tokens":6889,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":656,"completion_tokens_details":{"reasoning_tokens":6802}},"tokens_in":656,"tokens_out":6889,"duration_ms":48948,"temperature":1.0,"reasoning_tokens":6802,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:25:35.799899+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Because Theorem 1.8 is a universal statement, the direct falsifier is a counterexample: an operator $A$ and a Galerkin sequence satisfying weak $T$-coercivity and $T$-compatibility, together with a bounded sequence $u_n \\in X_n$ such that $A_n u_n$ is compact but $u_n$ has no convergent subsequence. Short of a counterexample, one can test the necessity of the discrete Fredholm condition by comparing $T$-compatible and non-$T$-compatible discretizations of the same problem and checking whether spurious eigenvalues appear.","supporting_citations":[{"cited_title":"I , Numer","cited_arxiv_id":null,"evidence_quote":"Supplies the discrete approximation framework and the convergence theorems for regular approximations of holomorphic Fredholm operator functions."},{"cited_title":"1, 215–254 (English)","cited_arxiv_id":null,"evidence_quote":"Introduces discrete-norm convergence in this context for infinite element waveguide analysis, the predecessor of $T$-compatibility."},{"cited_title":"4, 801–838","cited_arxiv_id":null,"evidence_quote":"Provides a finite element analysis for problems with sign-changing coefficients in which weak $T$-coercivity and $T$-compatibility are already proved, an application target."},{"cited_title":"thesis, TU Graz, Graz, Austria, 2009","cited_arxiv_id":null,"evidence_quote":"Contains the eigenspace error estimate that Lemma 2.6 generalizes to arbitrary holomorphic Fredholm operator functions."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the discrete norm used to define convergence of $T_n$ to $T$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Develops the companion spectral approximation and error estimates for Galerkin methods that underlie the discrete-norm viewpoint."}],"review_version":1}