Unverified 2026

Uniform Lp Activation Sketch

Implementation & benchmark of arXiv:2607.11747 — Optimal Embeddings of Constant-Dimensional Subspaces of $L^p$ into $\ell_p^N$

Usefulness6/10
Difficulty6/10
Novelty7/10

Source paper: Optimal Embeddings of Constant-Dimensional Subspaces of $L^p$ into $\ell_p^N$ arXiv:2607.11747 ⓘ · analyzed Aug 30, 2026

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

Idea description

Replace a wide activation vector or spatial feature field by a small set of weighted coordinates that preserves the p-norm of every activation in a learned low-dimensional subspace. Unlike ordinary pruning, the selection objective is uniform over the whole coefficient sphere, so the compressed representation is designed to preserve unseen linear combinations and not merely the training examples.

Formulas

$$\left\|x\right\|_{p}\leq\left\|Tx\right\|_{p}\leq(1+\epsilon)\left\|x\right\|_{p}\qquad\forall x\in E,$$
$$N_{p}(d,\epsilon)\lesssim_{d,p}\epsilon^{-2(d-1)/(d+2p)}\qquad (p\notin2\mathbb Z),$$
$$\|Ta\|_p^p=\sum_{j=1}^{N}w_{i_j}\,\left|u_{i_j}^{\top}a\right|^p\approx\sum_{i=1}^{M}\left|u_i^{\top}a\right|^p=\|Ua\|_p^p,$$
$$\min_{i_1,\ldots,i_N,\,w_j\geq0}\ \max_{a\in\mathbb S^{d-1}}\left|\frac{\sum_{j=1}^{N}w_j|u_{i_j}^{\top}a|^p}{\sum_{i=1}^{M}|u_i^\top a|^p}-1\right|.$$

Mathematical statement

The paper defines a (1+\epsilon)-embedding of a subspace E\subset L^p[0,1] as a linear map T satisfying \|x\|_p\leq\|Tx\|_p\leq(1+\epsilon)\|x\|_p for every x\in E, and defines N_p(E,\epsilon) as the smallest output dimension. Its main bound is N_p(d,\epsilon)\lesssim_{d,p}\epsilon^{-2(d-1)/(d+2p)} for every d-dimensional E when p
otin2\mathbb Z; this is the target scaling for the sketch size. For a discretized neural activation subspace, let U\in\mathbb R^{M imes d} contain d basis activation vectors, let u_i^ op be row i, and let w_i\geq0 be coordinate weights. The adapted embedding is (Ta)_j=w_{i_j}^{1/p}u_{i_j}^ op a for selected coordinates i_1,\ldots,i_N, giving \|Ta\|_p^p=\sum_{j=1}^Nw_{i_j}|u_{i_j}^ op a|^p. The uniform distortion objective is to minimize the worst-case relative error over \|a\|_2=1. The paper's proof approximates |t|^p by a polynomial whose polynomial part can be integrated exactly and controls the remainder using equatorial-band discrepancy; operationally, this motivates matching low-order moments of |u_i^ op a|^p rather than fitting only sampled activations.

Implementation notes

(1) Integration point: insert the sketch after a wide M-dimensional activation vector h, preferably after a 1x1 convolution, MLP expansion, or token-wise feed-forward block. First collect a calibration matrix H\in\mathbb R^{B imes M} from several batches, compute a rank-d basis U\in\mathbb R^{M imes d} by randomized SVD, and represent h\approx Ua. The deployable layer stores only selected coordinate indices i_j and positive weights w_j; its output is the N-vector (w_j^{1/p}h_{i_j})_j. A downstream linear layer must be folded through the corresponding weighted coordinate map or retrained after insertion. (2) Pseudocode: compute U; initialize candidate coordinates using leverage scores q_i=\|u_i\|_2^2/\sum_k\|u_k\|_2^2; repeatedly add or swap coordinates; fit nonnegative weights by minimizing the maximum sampled-sphere error E(a)=|\sum_j w_j|u_{i_j}^Ta|^p/(\sum_i|u_i^Ta|^p)-1|; approximate the maximum with K random sphere points plus adversarial gradient ascent on a; stop when max E(a)\leq\epsilon. Use projected Adam or nonnegative least squares for w. (3) Computed from the mathematics: the desired N scaling N\propto\epsilon^{-2(d-1)/(d+2p)}, the uniform sphere objective, and the weighted \ell_p embedding. Estimated empirically: d from explained variance, the sphere maximum from adversarial samples, and the final distortion on held-out activation combinations. For p=2k, additionally test exact low-order moment matching because |t|^p=t^{2k} is a polynomial; for non-even p, use denser sphere/adversarial sampling to cover the approximation remainder. (4) First experiment: compress the expansion dimension of a small Transformer FFN or a CNN channel block on CIFAR-10 or WikiText-2, with d\in\{4,8,16\}, p\in\{1,2,3\}, and N/M\in\{0.25,0.5\}. Compare magnitude pruning, random coordinate sampling, leverage-score sampling, and the uniform Lp sketch. Measure worst-case relative p-norm distortion on held-out linear combinations, downstream validation accuracy or perplexity after brief fine-tuning, wall-clock inference time, and activation memory. Success is lower uniform distortion and at least 1.5x lower activation bandwidth at matched accuracy; the paper-inspired scaling predicts that increasing N should reduce distortion according to the stated \epsilon-exponent rather than the usual Monte Carlo N^{-1/2} law.

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.