{"id":"c7df009f-b3ef-460e-aa8c-47f0d184047c","arxiv_id":"2507.02638","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The limiting spectrum of high-contrast convolution-type operators is characterized via a beta function and generally contains extra contributions beyond the two-scale limit operator's spectrum.","lead":"This mathematics paper develops homogenisation and spectral convergence theory for high-contrast nonlocal convolution operators with periodic microstructure. It shows when the spectrum of the microscopic problem converges to the effective two-scale spectrum, and when extra spectrum appears because soft inclusions communicate through the kernel.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Assumption 2.2 is explicitly load-bearing: without kernel support exceeding the stiff-gap, the stiff cell problem is non-coercive and the central spectral characterization does not apply.","rationale":"I read the paper as establishing a conditional result: under Assumption 2.2, the two-scale resolvent limit (Theorem 2.5), the spectral characterization (Theorem 2.9), and the quantitative norm-resolvent convergence with rates (Theorem 2.13) are proved by a coherent chain of arguments. I checked the key dependencies: Assumption 2.2 enters Lemma A.5, which provides the stiff-cell coercivity used in Lemma 3.1; without it, the stiff cell problem has a nontrivial kernel and Ahom is not elliptic. This is precisely the reader's weakest-assumption identification, and I agree it is the most load-bearing condition. It is not a hidden assumption, and the proof within the stated hypotheses appears internally consistent. The paper also explicitly remarks that no regularity of the stiff set is needed and that the only requirement is connectivity through the kernel support, which is an honest statement of the limitation. The other possible concern, reliance on the unpublished framework [16], is mitigated by the paper's detailed verification of hypotheses (H1)-(H4) and the adapted proofs of the key propositions; however, a fully independent check of [16] would still be desirable. Since the reader's conditional verdict already reflects this balance, I recommend no change to the verdict.","tokens_in":46425,"tokens_out":16759,"duration_ms":187564,"concrete_test":"Work in d = 1 with Y = [0,1), Ystiff = (0,1/3) ∪ (2/3,1) (extended periodically), and choose a symmetric kernel a with supp a ⊂ (-r,r), r < 1/3, and a ≥ c > 0 on (-r,r). Let ψ be 1-periodic with ψ = 1 on (0,1/3), ψ = -1 on (2/3,1), and ψ = 0 on (1/3,2/3). Compute astiff(ψ,ψ): it vanishes because no point of the first stiff component lies within distance r of a point of the second. Then solve the corrector problem (8) for this data and verify that the solution is not unique up to a single constant and that Ahom from (7) is not positive definite. This directly confirms that Assumption 2.2 is necessary for the coercivity Lemma 3.1 and hence for the spectral characterization in Theorem 2.13.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claims (Theorem 2.9 and especially Theorem 2.13) require the homogenised matrix Ahom to be positive definite, which is proved in Lemma 3.1(c) using the coercivity of the stiff-cell form astiff established via Lemma A.5 under Assumption 2.2 (ra ≥ 2r0 + r1). If the convolution kernel support is smaller than the distance between connected components of the periodic stiff set, the assumption fails: a test function that is an arbitrary constant on each stiff component with zero total mean has zero stiff energy, so the corrector problem (8) is not coercive, Ahom degenerates, and the two-scale limit and the norm-resolvent approximation (19) are not justified. The paper is internally consistent because Assumption 2.2 is stated and Remark 2.3 explains its role, but the abstract describes the setting as 'integrable kernels' in a periodic microstructure without advertising this connectivity/support restriction. No alternative characterization is provided for the degenerate regime. Thus the scope of the main theorem is narrower than the opening text suggests, though within the stated assumptions the argument appears sound.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a homogenisation theory for high-contrast symmetric convolution-type operators with periodic microstructure. The authors adapt two-scale convergence to nonlocal convolution operators, obtaining homogenisation results in the whole space and in bounded Lipschitz domains with Dirichlet conditions. They introduce a two-scale limit operator, characterise its spectrum through a Zhikov-type beta-function, and study the limiting behaviour of the spectrum of the original operators. They show that the spectrum of the limit operator is contained in the limit of the spectra, that the reverse inclusion may fail, and they quantify the failure in the whole-space setting via a scaled Gelfand transform, obtaining norm-resolvent and spectral convergence rates. For rectangular domains and a discrete subsequence of the period, they provide a Hausdorff-limit characterisation in terms of vertex soft-component operators.","tokens_in":46647,"tokens_out":11865,"duration_ms":124328,"significance":"If the main results are correct, this is a substantial contribution to nonlocal high-contrast homogenisation. The paper extends the two-scale convergence method to convolution-type operators, provides a new and simple extension theorem for the stiff component under very mild geometric assumptions, and gives explicit spectral descriptions including cases where the limiting spectrum is strictly larger than the spectrum of the two-scale limit. The norm-resolvent estimates with explicit rates in Theorem 2.13 are a notable strength. The treatment is largely self-contained, with appendices supplying the needed extension, compactness, and two-scale convergence tools. The central limitation is that the main theorems require Assumption 2.2, a kernel-support/connectivity condition whose role is load-bearing and which is not advertised in the abstract. Within the stated assumptions, the argument appears coherent and the claims are plausible.","major_comments":[{"comment":"As printed, the displayed representation of A#soft in Eq. (13) is inconsistent with the definition via the form (6). Since every element of L2#(Ysoft) vanishes on Y#stiff, the second term containing 1_{Y#stiff}(xi) is identically zero, so Eq. (13) reduces A#soft to multiplication by m. Likewise, in Eq. (34) the factor 1_{Y#stiff}(x) vanishes on the stated domain L2#(Ysoft), making A#,2soft zero. The correct formula should use 1_{Y#soft} in the second argument (and in the x-factor, or the domain should be used to suppress the x-indicator). This representation is used in Proposition 4.1 and in the spectral decomposition (33)-(34) that underlies Proposition 4.5 and Theorem 2.9, so it is load-bearing and must be corrected.","section":"Remark 2.8, Eq. (13); Section 4, Eq. (34)"},{"comment":"The abstract and the first paragraph of the Introduction advertise the setting as high-contrast operators with integrable kernels in a periodic microstructure, without the support/connectivity condition ra >= 2r0+r1. This condition is genuinely load-bearing: it enters the coercivity of the stiff-cell corrector problem in Lemma 3.1 via inequality (22) and the extension Lemma A.5, and without it the central two-scale limit and the spectral characterizations in Theorems 2.5, 2.9, and 2.13 are not justified. The authors should state Assumption 2.2 in the abstract or otherwise clearly delimit the scope, and ideally add a remark on the degenerate regime in which the stiff-cell form is non-coercive.","section":"Abstract/Introduction; Assumption 2.2"}],"minor_comments":[{"comment":"The abstract contains a grammatical typo: 'a subset the limit' should read 'a subset of the limit'; the Introduction also contains 'the the quasiperiodic'.","section":"Abstract and Introduction"},{"comment":"The phrase 'with m = 3' after the normalization m+r0 = 1 is confusing; since Assumption A.3(b) is stable under enlargement of m, the point should be stated explicitly to avoid the appearance of a contradiction.","section":"Appendix A, proof of Lemma A.6"},{"comment":"The factor 1_{Ysoft}(y) in the second term of Eq. (13) is redundant because y is already in the domain of the operator; removing it would make the formula easier to compare with the form definition.","section":"Remark 2.8, Eq. (13)"},{"comment":"The constant R0 is used in Step 2 but is defined only in the preceding paragraph of the proof; a short definition in the proposition statement or at first use would improve readability.","section":"Section 6, Proposition 6.12"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is technically ambitious and likely to be a valuable contribution after revision. The main mathematical strategy appears sound under the stated assumptions. The two issues I would ask the editor to prioritise are (i) the inconsistent indicator functions in the representation of A#soft in Eq. (13) and Eq. (34), which may be a typesetting artifact but is currently load-bearing for the spectral analysis, and (ii) the mismatch between the abstract's advertised generality and the actual role of Assumption 2.2. No concerns about novelty or attribution arose from my reading."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read the paper. It is a real contribution: a full spectral theory for high-contrast convolution-type operators in periodic media, with two-scale resolvent convergence, a β-function characterization of the limit spectrum, and quantitative norm-resolvent rates in the whole space. The adaptation of two-scale convergence to convolution energies is non-trivial, and the new spectral phenomena — extra limiting spectrum from nonlocal communication between disconnected inclusions, vertex boundary spectrum for rectangles — are genuinely new. The proofs are detailed, and the new extension lemma in Appendix A is both simpler and more natural for integral operators than earlier work. I think the central theorems hold up.\n\nThe soft spots are minor. The reader's report flagged an inconsistency in equation (13), with an indicator on the stiff set instead of the soft set. I checked the actual formula: it uses 1_{Y#soft}(ξ)1_{Ysoft}(y), which is consistent with the decomposition in (34). That concern doesn't land.\n\nThe more substantive caveat is the one the stress-test note raises: Assumption 2.2, requiring the kernel support to exceed the stiff-gap scale, is load-bearing. Without it, the stiff-cell corrector problem is non-coercive and the homogenised matrix can degenerate, so the spectral characterization is not justified. The authors state this assumption and Remark 2.3 explains its role, so the paper is internally consistent. But the abstract and intro present the setting as 'integrable kernels in a periodic microstructure' without advertising that the main theorems need this connectivity condition. That is a scope-presentation issue, not a logical gap; still, an editor might suggest adding a sentence to the abstract to avoid overstating the domain of validity.\n\nA second respect in which the paper is conditional: the norm-resolvent part relies on the unpublished framework of Cooper–Kamotski–Smyshlyaev [16]. The authors verify all hypotheses and weaken one, so the dependence is explicit, but the reader will have to take that preprint on faith or check it.\n\nWho gets value: specialists in homogenisation and spectral theory, especially those working on nonlocal operators. It deserves serious refereeing. I'd accept it for review and let the referees judge the details; the presentation caveats are fixable.","headline":"A significant and sound extension of high-contrast homogenisation to nonlocal convolution operators; the flagged typo is a misreading, and the only real caveat is that the abstract should advertise Assumption 2.2's scope restriction.","tokens_in":47149,"tokens_out":4197,"would_cite":true,"duration_ms":43932,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B27","45H99","45M05","45M15","45P05"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper establishes that high-contrast convolution-type operators homogenise to a two-scale limit, characterises the limit spectrum via an auxiliary beta-function, and proves that in the whole space the original spectrum converges…","keywords":["homogenisation","convolution-type operator","high-contrast medium","spectral convergence","two-scale convergence","Gelfand transform","beta-function","nonlocal operator"],"falsifier":"Compute, in one dimension with period-one microstructure and soft interval length $1/4$, the spectra $\\operatorname{Sp}(A_\\varepsilon)$ for a compactly supported even kernel satisfying Assumption 2.2 and compare $\\operatorname{Sp}(A_\\varepsilon)\\cap[0,\\Lambda]$ with $G = \\{\\beta(\\lambda) \\ge 0\\} \\cup \\operatorname{Sp}(A_{\\mathrm{soft}})$ as $\\varepsilon \\to 0$; finding a point of $G$ that is not approached by $\\operatorname{Sp}(A_\\varepsilon)$, or a distance that violates the claimed $C(\\Lambda)\\max\\{h(\\varepsilon), \\varepsilon^{2/3}\\}$ bound for a kernel with finite third moment, would disprove the characterisation.","tokens_in":46243,"feed_emoji":"🧩","tokens_out":7528,"duration_ms":81813,"temperature":0.7,"pith_summary":"High-contrast convolution-type operators describe nonlocal interactions in periodic media where stiff and soft phases alternate. This paper adapts two-scale convergence to these nonlocal operators and obtains the homogenised limit operator in the whole space and in bounded domains with Dirichlet conditions. The main claim is a complete spectral picture: the spectrum of the limit two-scale operator is characterised by an auxiliary $\\beta$-function built from the soft-phase operator, and the actual spectrum of the original operators converges, in the whole space, to a generally larger set whose extra part comes from quasiperiodic modes on the soft component. The paper also gives explicit rates for this convergence, controlled by the tail of the convolution kernel; in particular, the Hausdorff distance on any bounded interval is of order $\\max\\{h(\\varepsilon), \\varepsilon^{2/3}\\}$. This is a spectral convergence result with rates for high-contrast nonlocal operators, showing that nonlocal interactions can produce additional limiting spectrum even when the soft inclusions are disconnected.","feed_headline":"High-contrast nonlocal spectra have an exact limit","feed_subtitle":"Whole-space limit set is {β(λ) ≥ 0} ∪ Sp(A_soft), with distance controlled by O(max{h(ε), ε^{2/3}}).","key_machinery":"The argument is carried by the scaled Gelfand transform, which fibers $A_\\varepsilon$ into a family $A^\\theta_\\varepsilon$ on the torus, and by norm-resolvent approximation of these fibers with a homogenised operator $A^{h,\\theta}_\\varepsilon$ whose stiff part is the homogenised matrix $A_{\\mathrm{hom}}$ built from correctors solving the stiff-cell problem. The limit two-scale operator $A$ is the sum of a homogenised stiff form and the periodic soft form $a^\\#_{\\mathrm{soft}}$, and its spectrum is described by the $\\beta$-function $\\beta(\\lambda) = \\lambda + \\lambda^2\\langle (A^\\#_{\\mathrm{soft}} - \\lambda I)^{-1} 1_{Y_{\\mathrm{soft}}}\\rangle$, giving $\\operatorname{Sp}(A) = \\{\\beta(\\lambda) \\in \\operatorname{Sp}(A_{\\mathrm{hom}})\\} \\cup \\operatorname{Sp}(A^\\#_{\\mathrm{soft}})$. In the whole space the relevant soft object is the non-periodic operator $A_{\\mathrm{soft}}$, whose spectrum accounts for quasiperiodic modes; the rate function $h$ comes from the tail $g(r) = \\int_{|\\xi|>r} a(\\xi)|\\xi|^2\\,d\\xi$. A new extension lemma, based on piecewise-constant extension by local averages, supplies the needed a priori bounds under only Assumption 2.2.","core_discovery":"The central claim is the equality, for $S = \\mathbb{R}^d$, $\\lim_{\\varepsilon\\to 0} \\operatorname{Sp}(A_\\varepsilon) = G := \\{\\beta(\\lambda) \\ge 0\\} \\cup \\operatorname{Sp}(A_{\\mathrm{soft}})$, together with the quantitative bound $d_{H,[0,\\Lambda]}(\\operatorname{Sp}(A_\\varepsilon), G) \\le C(\\Lambda)\\max\\{h(\\varepsilon), \\varepsilon^{2/3}\\}$, where $h$ is determined by the decay of the convolution kernel and equals $t$ when the kernel has a finite third moment. In general the spectrum of the two-scale limit operator $A$ is only a subset of the limit spectrum, and the inclusion may be strict; the additional limiting spectrum is produced by quasiperiodic approximate eigenfunctions supported on the soft component, and it appears even for disconnected soft inclusions provided the kernel connects them through the stiff phase. For bounded domains the boundary layer spectrum is generally erratic, but for rectangular domains and $\\varepsilon = 1/N$ the Hausdorff limit exists and equals the union of the spectra of soft-component operators attached to the vertices.","pith_inferences":["A likely extension is the same spectral convergence programme for random statistically homogeneous high-contrast nonlocal media, where the extra spectrum should be governed by an ergodic analogue of $A_{\\mathrm{soft}}$ rather than by quasiperiodic modes.","The $\\varepsilon^{2/3}$ rate appears to come from the split $|\\theta| \\gtrless \\varepsilon^{2/3}$; for kernels with finite third moment one would expect the sharper rate $O(\\varepsilon)$ for the Hausdorff distance, matching the norm-resolvent bound $h(\\varepsilon)=\\varepsilon$.","The vertex-spectrum characterisation for rectangles suggests a general polytope rule: for any polytope whose boundary layer is self-similar along a subsequence, the boundary spectrum should be the union of spectra of soft operators on orthants at the vertices, including exterior and interior corners.","The boundary-layer spectrum cannot be removed by replacing the soft phase near $\\partial S$ with the stiff phase unless the kernel support is smaller than the distance between soft inclusions; this predicts a critical kernel-support threshold for boundary-layer control."],"forward_implications":["In the whole space, the spectrum of $A_\\varepsilon$ converges in Hausdorff distance on bounded intervals to $G$, with a rate that is explicit and, for kernels with finite third moment, of order $\\varepsilon^{2/3}$.","The spectrum of the two-scale limit operator is always contained in the limit spectrum, and the containment is strict for a robust family of high-contrast nonlocal operators; the extra spectrum is carried by quasiperiodic modes on the soft component.","Disconnected soft inclusions do not prevent extra limiting spectrum: the soft inclusions communicate when the kernel's support spans the stiff gaps, so the whole-space soft operator $A_{\\mathrm{soft}}$ rather than the periodic $A^\\#_{\\mathrm{soft}}$ controls the limit.","In bounded rectangular domains with $\\varepsilon = 1/N$, the limiting spectrum is the union of vertex soft spectra, showing that boundary-layer spectrum is stable for self-congruent microstructures along the boundary.","Norm-resolvent convergence of the fibered operators yields spectral convergence bounds; the same two-scale compactness result applies to Dirichlet problems without regularity of the phase interface."],"supporting_citations":[{"why":"Introduces the beta-function spectral characterisation for two-scale limits that the paper adapts to convolution-type operators.","marker":"[30]"},{"why":"Supplies the abstract norm-resolvent approximation scheme used in the proof of the whole-space spectral convergence bound.","marker":"[16]"},{"why":"Provides the two-scale convergence method that the paper extends to nonlocal convolution energies.","marker":"[1]"},{"why":"Identifies quasiperiodic quasi-modes as the source of additional limiting spectrum in high-contrast media, the phenomenon the paper analyses nonlocally.","marker":"[14]"},{"why":"Shows that in periodic high-contrast PDEs the inverse spectral inclusion requires disconnected soft inclusions, the background result the paper contrasts.","marker":"[31]"},{"why":"Establishes homogenisation for moderate-contrast convolution-type operators, the baseline setting that this paper extends to high contrast.","marker":"[26]"},{"why":"Supplies an extension theorem for convolution energies on connected sets that the paper simplifies and relaxes to the present geometric assumptions.","marker":"[8]"}],"fun_headline_variants":["Exact spectral limit for high-contrast nonlocal operators","High-contrast nonlocal spectra: exact whole-space limit","Strict spectral inclusion for high-contrast nonlocal operators","Nonlocal homogenisation: spectral limit precisely characterised","Exact Hausdorff limit for high-contrast convolution spectra"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the convolution kernel is positive on a ball large enough to connect nearby stiff regions through the nonlocal interaction ($r_a \\ge 2r_0 + r_1$); without this connectivity the coercivity of the stiff-cell corrector problem and the extension estimates collapse, and with them the two-scale limit and the spectral characterisation.","fun_headline_variants_meta":{"raw":{"variants":["Exact spectral limit for high-contrast nonlocal operators","High-contrast nonlocal spectra: exact whole-space limit","Strict spectral inclusion for high-contrast nonlocal operators","Nonlocal homogenisation: spectral limit precisely characterised","Exact Hausdorff limit for high-contrast convolution spectra"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00024,"raw_usage":{"total_tokens":1500,"prompt_tokens":906,"completion_tokens":594,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":522,"completion_tokens_details":{"reasoning_tokens":510}},"tokens_in":522,"tokens_out":594,"duration_ms":6924,"temperature":1.0,"reasoning_tokens":510,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T20:24:28.313821+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, in one dimension with period-one microstructure and soft interval length $1/4$, the spectra $\\operatorname{Sp}(A_\\varepsilon)$ for a compactly supported even kernel satisfying Assumption 2.2 and compare $\\operatorname{Sp}(A_\\varepsilon)\\cap[0,\\Lambda]$ with $G = \\{\\beta(\\lambda) \\ge 0\\} \\cup \\operatorname{Sp}(A_{\\mathrm{soft}})$ as $\\varepsilon \\to 0$; finding a point of $G$ that is not approached by $\\operatorname{Sp}(A_\\varepsilon)$, or a distance that violates the claimed $C(\\Lambda)\\max\\{h(\\varepsilon), \\varepsilon^{2/3}\\}$ bound for a kernel with finite third moment, would disprove the characterisation.","supporting_citations":[{"cited_title":"Zhikov, On an extension of the method of two-scale convergence and its applica- tions, Sb","cited_arxiv_id":null,"evidence_quote":"Introduces the beta-function spectral characterisation for two-scale limits that the paper adapts to convolution-type operators."},{"cited_title":"Allaire, Homogenization and two-scale convergence, SIAM J","cited_arxiv_id":null,"evidence_quote":"Provides the two-scale convergence method that the paper extends to nonlocal convolution energies."},{"cited_title":"Cooper, Quasi-periodic two-scale homogenisation and effective spatial dispersion in high-contrast media, Calc","cited_arxiv_id":null,"evidence_quote":"Identifies quasiperiodic quasi-modes as the source of additional limiting spectrum in high-contrast media, the phenomenon the paper analyses nonlocally."},{"cited_title":"Zhikov, Gaps in the spectrum of some elliptic operators in divergent form with periodic coefficients, St","cited_arxiv_id":null,"evidence_quote":"Shows that in periodic high-contrast PDEs the inverse spectral inclusion requires disconnected soft inclusions, the background result the paper contrasts."},{"cited_title":"Piatnitski, E","cited_arxiv_id":null,"evidence_quote":"Establishes homogenisation for moderate-contrast convolution-type operators, the baseline setting that this paper extends to high contrast."},{"cited_title":"Braides, V","cited_arxiv_id":null,"evidence_quote":"Supplies an extension theorem for convolution energies on connected sets that the paper simplifies and relaxes to the present geometric assumptions."}],"review_version":1}