Unverified 2026

Spectral quadrature features

Usefulness7/10
Difficulty4/10
Novelty5/10

Source paper: Spectral Bounds for Kernel Quadrature arXiv:2609.00553 · analyzed Sep 2, 2026

AI-generated research hypothesis, automatically tested. Not peer-reviewed.

Idea description

Replace random Fourier or random NTK features by a weighted deterministic quadrature rule for the kernel's feature integral. The resulting feature map uses the same linear-model interface as random features but can approximate the leading Gram-matrix eigenvalues substantially better at the same feature count, improving conditioning and reducing the width required for a target kernel approximation.

Formulas

$$K(x,y)=\int_{\mathbb{W}}G(w,x)\,\overline{G(w,y)}\,d\mu^{*}(w),\qquad x,y\in\mathbb{X}.$$
$$\widehat K_N(x,y)=\sum_{i=1}^{N}a_iG(w_i,x)\,\overline{G(w_i,y)},\qquad a_i\geq 0,\quad \sum_{i=1}^{N}a_i=1.$$
$$Z_{mi}=\sqrt{a_i}\,G(w_i,x_m),\qquad \widehat{\mathbf K}=ZZ^{*},\qquad \widehat K_{N}(x_m,x_n)=\sum_{i=1}^{N}Z_{mi}\overline{Z_{ni}}.$$
$$|\lambda_j(\mathbf K)-\lambda_j(\widehat{\mathbf K})|\leq\|\mathbf K-\widehat{\mathbf K}\|_2.$$

Mathematical statement

The paper's central construction is the integral kernel representation $K(x,y)=\int_{\mathbb{W}}G(w,x)\,\overline{G(w,y)}\,d\mu^{*}(w)$, where $\mathbb{W}$ is the feature-parameter domain, $\mu^{*}$ is a probability measure, and $G(w,x)$ is a possibly complex-valued feature function. A quadrature rule consists of nodes $w_i\in\mathbb{W}$ and nonnegative weights $a_i$ satisfying $\sum_{i=1}^{N}a_i=1$, producing $\widehat K_N(x,y)=\sum_{i=1}^{N}a_iG(w_i,x)\overline{G(w_i,y)}$. For data points $x_1,\ldots,x_M$, define $Z_{mi}=\sqrt{a_i}G(w_i,x_m)$; then the approximate Gram matrix is $\widehat{\mathbf K}=ZZ^{*}$, while $\mathbf K_{mn}=K(x_m,x_n)$. The spectral effect can be monitored with Weyl's inequality $|\lambda_j(\mathbf K)-\lambda_j(\widehat{\mathbf K})|\leq\|\mathbf K-\widehat{\mathbf K}\|_2$, where $\lambda_j$ is the $j$th ordered eigenvalue. The engineering objective is to choose quadrature nodes so that the leading eigenvalue errors are smaller than those obtained from iid Monte Carlo nodes, rather than merely minimizing pointwise kernel error.

Implementation notes

Integrate this at the input embedding or kernel layer of a kernelized model, a random-feature MLP, or a neural tangent-kernel approximation. Given inputs $X\in\mathbb R^{M\times d}$, first select a fixed quadrature rule $(w_i,a_i)_{i=1}^N$ for the feature domain: use Gauss-Hermite nodes for Gaussian Fourier features in low-dimensional Euclidean inputs, or spherical-design/quasi-uniform sphere nodes for features whose parameter domain is a sphere. Normalize weights to be nonnegative and sum to one. Construct the feature matrix with the following pseudocode: nodes, weights = quadrature_rule(N); weights = weights / weights.sum(); for minibatch Xb: F[:,i] = sqrt(weights[i]) * G(nodes[i], Xb); H = F @ theta, where $G$ is the original Fourier, sigmoid, ReLU, or other feature function and $\theta$ is the trainable linear readout. For complex Fourier features, either retain complex tensors or concatenate real and imaginary parts. The formula for $Z$ and $\widehat K=ZZ^*$ is computed exactly; quadrature nodes and weights are fixed before training. On a held-out subset, compute the exact kernel Gram matrix using the original integral formula or a very large reference feature set, then estimate $\lambda_j(\mathbf K)$ and $\lambda_j(\widehat{\mathbf K})$ with Lanczos. Also measure the operator-norm proxy, leading-eigenvalue relative error, effective rank, kernel ridge validation error, and condition number. The first cheap experiment should use MNIST or CIFAR-10 reduced to 20--50 PCA dimensions, compare $N\in\{64,128,256,512\}$ deterministic Gauss or spherical quadrature features against equal-width iid random Fourier features, and train the same linear ridge classifier. Success means lower top-20 eigenvalue error and equal or better test accuracy at the same $N$; a stronger result is achieving the random-feature accuracy with at least 2x fewer features, reducing both feature memory and matrix-multiplication cost.

Verification

This idea has not been verified yet.

Verification happens in two stages: Stage 1 — a mechanism check on a toy system confirms the claimed mathematical phenomenon reproduces; Stage 2 — a benchmark implements the idea on a real (small) neural network task and compares it against a tuned baseline over 8 paired seeds with a permutation test.

Artifacts

Artifacts unavailable.