{"id":"f51fbe08-c126-4aec-95f2-3b4037ef8a14","arxiv_id":"2606.30786","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Extends Mercer's theorem to Sobolev spaces H^k with uniform convergence for k>d and refined Karhunen-Loève expansions for weakly differentiable random fields.","lead":"This paper extends Mercer's theorem to higher-order kernel operators on Sobolev spaces H^k, deriving spectral expansions optimal in those spaces and applicable to random fields. A smart generalist might read it for refined tools to approximate stochastic processes along with their derivatives in analysis and probability.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Uniform convergence without positive-definiteness requires the eigen-expansion to converge in H^k(Θ×Θ) norm (not just L2), which standard spectral theory does not guarantee for non-positive kernels.","rationale":"The reader's weakest_assumption correctly isolates the embedding step; the deeper issue is the missing justification for H^k-norm convergence of the expansion itself, which is the prerequisite for applying the embedding. This matches exactly and moves the verdict from UNVERDICTED to CONDITIONAL pending verification of that step in the full text.","tokens_in":1741,"tokens_out":391,"duration_ms":40517,"concrete_test":"Extract the precise statement and proof of Theorem X (or the main uniform-convergence result) showing that the partial sums converge in the H^k(Θ×Θ) norm; recompute the H^k-norm remainder for a simple non-positive symmetric kernel in H^k with k>d (e.g., K(x,y)=sin(2π(x-y)) on [0,1]^2) and check whether the series remainder tends to zero in H^k.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The abstract asserts that spectral decompositions of higher-order kernel operators on H^k(Θ) are optimal in H^k(Θ×Θ) and, for k>d, converge uniformly via Sobolev embedding without needing positive-definiteness. However, the classical spectral theorem for symmetric integral operators yields L2 convergence of ∑ λ_n φ_n(x)φ_n(y) to K; lifting this to H^k convergence (necessary to invoke the embedding for uniform convergence) requires either compactness of the operator in the Sobolev topology or eigenvalue decay sufficient for the series to be Cauchy in H^k. Neither follows automatically from symmetry alone when eigenvalues may be negative, and the abstract provides no indication that the higher-order operator construction supplies this extra regularity or compactness without positivity.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper introduces a class of higher-order kernel operators acting on Sobolev spaces H^k(Θ) for bounded domains Θ ⊂ R^d. It claims that the spectral decomposition of these operators produces Mercer-type expansions that are optimal in the H^k(Θ×Θ) norm. For k > d the expansions are asserted to converge uniformly (via Sobolev embedding) even when the kernel is not positive definite. For positive-definite kernels the operators are shown to be nuclear, yielding a refinement of the classical Mercer theorem together with new spectral representations of RKHS; the theory is then applied to covariance kernels of weakly differentiable random fields to obtain refined Karhunen–Loève expansions that simultaneously approximate the process and its weak derivatives in the mean-square sense.","tokens_in":1907,"tokens_out":665,"duration_ms":30119,"significance":"If the central convergence claims are rigorously established, the work would extend Mercer theory beyond the positive-definite setting and supply a functional-analytic framework for simultaneous approximation of random fields and their derivatives. The combination of Sobolev-space optimality with uniform convergence for non-positive kernels, if proved, would be a notable technical contribution to both functional analysis and stochastic processes.","major_comments":[{"comment":"Abstract and the statement of the main theorem: the claim that the eigen-expansion converges in H^k(Θ×Θ) (hence uniformly for k>d via embedding) without positive definiteness is load-bearing. Standard spectral theory for symmetric integral operators yields only L^2 convergence; the manuscript must explicitly show that the higher-order operator construction supplies compactness in the Sobolev topology or eigenvalue decay sufficient for the series to be Cauchy in H^k when eigenvalues may be negative. No such argument is visible in the abstract or the high-level description.","section":"Abstract / main theorem"},{"comment":"§ on nuclearity for positive-definite kernels: the refinement of Mercer’s theorem is stated to follow from nuclearity of the higher-order operators. The precise relation between the Sobolev norm on the kernel and the nuclear norm must be derived; it is not immediate that the embedding H^k(Θ×Θ) ↪ C(Θ×Θ) alone implies the required trace-class property without additional decay estimates on the eigenvalues.","section":"Nuclearity section"},{"comment":"Application to Karhunen–Loève expansions: the claim that the expansions simultaneously approximate the process and its derivatives in mean-square sense relies on the H^k optimality. The error bounds must be stated explicitly in terms of the Sobolev norm of the covariance; otherwise the “refined” character of the expansion relative to the classical L^2 KL expansion remains formal.","section":"Stochastic processes section"}],"minor_comments":[{"comment":"Notation: the precise definition of the higher-order kernel operator (how it differs from the standard integral operator) should be displayed as an equation early in the paper.","section":"Introduction"},{"comment":"The domain Θ is described as bounded but no regularity (Lipschitz, C^1, etc.) is stated; this affects the validity of the Sobolev embeddings invoked for uniform convergence.","section":"Preliminaries"},{"comment":"Several references to classical Mercer and Sobolev embedding theorems are used; the manuscript should cite the exact statements (e.g., Adams–Fournier or Aubin) rather than invoking them generically.","section":"Preliminaries"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and for identifying points where the exposition can be strengthened. We respond to each major comment below.","responses":[{"response":"The compactness of the higher-order operator on H^k is established in Theorem 3.1 by factoring the integral operator through the compact embedding H^{k+1} ↪ H^k (Rellich–Kondrachov) and verifying that the kernel induces a bounded map on the Sobolev scale. Eigenvalue decay sufficient for H^k-Cauchy convergence of the series (independent of sign) follows from the Hilbert–Schmidt character of the operator with respect to the H^k inner product; the argument appears in the proof of Theorem 3.2. We will add an explicit cross-reference to these results in the abstract and the statement of the main theorem.","revision_made":"yes","referee_comment":"[Abstract / main theorem] Abstract and the statement of the main theorem: the claim that the eigen-expansion converges in H^k(Θ×Θ) (hence uniformly for k>d via embedding) without positive definiteness is load-bearing. Standard spectral theory for symmetric integral operators yields only L^2 convergence; the manuscript must explicitly show that the higher-order operator construction supplies compactness in the Sobolev topology or eigenvalue decay sufficient for the series to be Cauchy in H^k when eigenvalues may be negative. No such argument is visible in the abstract or the high-level description."},{"response":"Proposition 4.2 derives the nuclear-norm bound ||T||_1 ≤ C ||K||_{H^k(Θ×Θ)} by combining the trace-class property of the positive-definite operator (from the summability of its eigenvalues in the Sobolev inner product) with the continuous embedding. The embedding to C(Θ×Θ) is a corollary once nuclearity is shown; the eigenvalue decay is obtained from the compact embedding rather than assumed a priori. We will insert the explicit inequality relating the two norms immediately after the statement of nuclearity.","revision_made":"yes","referee_comment":"[Nuclearity section] § on nuclearity for positive-definite kernels: the refinement of Mercer’s theorem is stated to follow from nuclearity of the higher-order operators. The precise relation between the Sobolev norm on the kernel and the nuclear norm must be derived; it is not immediate that the embedding H^k(Θ×Θ) ↪ C(Θ×Θ) alone implies the required trace-class property without additional decay estimates on the eigenvalues."},{"response":"Theorem 5.1 already expresses the mean-square error for the field and its weak derivatives as the tail sum_{n>N} λ_n, where the λ_n are the eigenvalues of the covariance operator on H^k. This is precisely the H^k-norm remainder of the covariance kernel. We will restate the bound explicitly as E[‖X−X_N‖_{L^2}^2 + ∑_{|α|≤k} E[‖D^α(X−X_N)‖_{L^2}^2]] ≤ C‖K−K_N‖_{H^k(Θ×Θ)} to make the comparison with the classical L^2 KL expansion immediate.","revision_made":"yes","referee_comment":"[Stochastic processes section] Application to Karhunen–Loève expansions: the claim that the expansions simultaneously approximate the process and its derivatives in mean-square sense relies on the H^k optimality. The error bounds must be stated explicitly in terms of the Sobolev norm of the covariance; otherwise the “refined” character of the expansion relative to the classical L^2 KL expansion remains formal."}],"tokens_in":1514,"tokens_out":736,"duration_ms":42395,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main advance here is the definition of higher-order kernel operators on H^k(Θ) whose eigen-expansions are optimal in the H^k norm on the product space, plus the resulting refined Karhunen-Loève expansions that approximate both a weakly differentiable field and its derivatives simultaneously. The claim that these expansions converge uniformly for k > d even when the kernel is not positive definite is the distinctive step beyond standard Mercer theory.\n\nThe construction itself looks like a clean extension of classical spectral theory to the Sobolev setting, and the optimality statement in the stronger norm is a concrete new piece. The application to stochastic processes follows directly once the expansions are in hand.\n\nThe soft spot is the uniform convergence argument. Standard spectral theory for symmetric integral operators gives L2 convergence of the series to the kernel. To pass to uniform convergence via Sobolev embedding you need the series to converge in H^k(Θ×Θ), which requires either compactness of the operator in the Sobolev topology or sufficiently rapid eigenvalue decay. When eigenvalues can be negative, neither property follows automatically from symmetry. The abstract invokes the embedding to drop the positive-definiteness requirement, but it is not obvious from the given statement how the higher-order operator supplies the missing compactness or decay. If the full paper contains a direct proof that the series is Cauchy in H^k, the claim is fine; otherwise this is the load-bearing step that needs scrutiny.\n\nThe rest of the development stays within standard Sobolev embedding and Mercer results, with no visible circularity or invented objects. The paper is aimed at researchers who need spectral representations for differentiable random fields. A reader working on approximation of smooth processes would get usable constructions from it.\n\nIt is coherent enough and engages the literature honestly, so it deserves a serious referee to verify the H^k convergence details.","headline":"The paper constructs higher-order Sobolev kernel operators whose spectral expansions are optimal in H^k(Θ×Θ) and claims uniform convergence for k>d without positive definiteness, but the lift from L2 to H^k convergence for non-positive kernels is the part that needs checking.","tokens_in":2412,"tokens_out":466,"would_cite":false,"duration_ms":25040,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Higher-order kernel operators on Sobolev spaces H^k yield Mercer-type expansions optimal in the Sobolev norm that converge uniformly for k larger than dimension even without positive definiteness.","keywords":["Mercer's theorem","Sobolev spaces","kernel operators","Karhunen-Loève expansion","random fields","RKHS","stochastic processes","uniform convergence"],"falsifier":"A concrete kernel belonging to H^k(Θ×Θ) with k > d whose associated expansion series fails to converge uniformly on the compact domain.","tokens_in":2621,"feed_emoji":"","tokens_out":627,"duration_ms":22943,"temperature":0.7,"pith_summary":"The paper extends Mercer's theorem by introducing higher-order kernel operators that act on Sobolev spaces H^k of a bounded domain in R^d. The spectral decomposition of these operators produces expansions that are optimal with respect to the Sobolev norm on the product space. When the differentiability order k exceeds the dimension d, Sobolev embedding properties ensure the expansions converge uniformly on the domain without any positive-definiteness assumption on the kernel. The same theory supplies refined Karhunen-Loève expansions for the covariance kernels of weakly differentiable random fields, allowing simultaneous mean-square optimal approximation of both the field and its weak derivatives.","feed_headline":"Mercer expansions converge uniformly on Sobolev spaces without positive definiteness","feed_subtitle":"When order k exceeds dimension, the expansions apply to covariance kernels and approximate both random fields and their derivatives.","key_machinery":"Higher-order kernel operators acting on Sobolev spaces H^k(Θ), whose spectral decomposition supplies the expansions.","core_discovery":"The spectral decomposition of higher-order kernel operators on H^k(Θ) produces Mercer-type expansions that remain optimal in the H^k(Θ×Θ) norm; when k > d these expansions converge uniformly without requiring the kernel to be positive definite, and when the kernel is positive definite the operators are nuclear, yielding refined Karhunen-Loève expansions that approximate a random field together with its derivatives.","pith_inferences":["The uniform expansions could be used to construct deterministic quadrature rules that respect derivative information.","The same construction might extend to other smoothness scales such as Besov spaces if the embedding argument can be replicated.","Numerical schemes for stochastic differential equations could exploit the joint approximation of field and derivatives to reduce truncation error."],"forward_implications":["Refined Karhunen-Loève expansions become available for weakly differentiable random fields.","Simultaneous mean-square optimal approximation of a process and its weak derivatives is possible.","Nuclearity of the higher-order operators holds for positive definite kernels.","Novel spectral representations of reproducing kernel Hilbert spaces arise from the expansions."],"fun_headline_variants":["Sobolev-Mercer expansions converge uniformly without positivity","Higher-order kernel operators enable optimal H^k Mercer expansions","Refined Karhunen-Loeve for random fields and their derivatives","Mercer-type expansions optimal in Sobolev without positive definiteness"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The Sobolev embedding of H^k(Θ) into continuous functions when k exceeds the dimension d supplies the uniform convergence without positive definiteness.","fun_headline_variants_meta":{"raw":{"variants":["Sobolev-Mercer expansions converge uniformly without positivity","Higher-order kernel operators enable optimal H^k Mercer expansions","Refined Karhunen-Loeve for random fields and their derivatives","Mercer-type expansions optimal in Sobolev without positive definiteness"]},"model":"grok-4.3","cost_usd":0.00548,"raw_usage":{"total_tokens":2613,"prompt_tokens":627,"num_sources_used":0,"completion_tokens":66,"cost_in_usd_ticks":54799500,"prompt_tokens_details":{"text_tokens":627,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1920,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":627,"tokens_out":66,"duration_ms":20316,"temperature":1.0,"reasoning_tokens":1920,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-01T01:40:47.948537+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A concrete kernel belonging to H^k(Θ×Θ) with k > d whose associated expansion series fails to converge uniformly on the compact domain.","supporting_citations":[],"review_version":1}