Prolate Energy-Preserving Bottleneck
Implementation & benchmark of arXiv:2608.15808 — Uniform sine-kernel determinant asymptotics, tail-side quantiles, and prolate eigenvalue bounds
Source paper: Uniform sine-kernel determinant asymptotics, tail-side quantiles, and prolate eigenvalue bounds arXiv:2608.15808 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Insert a fixed DPSS/prolate projection before an expensive neural block, retaining exactly the modes whose time-frequency concentration eigenvalues exceed a target threshold. Use the paper's tail-quantile formula to choose the projection rank from sequence length, effective bandwidth, and tolerated energy loss, then optionally learn a small correction in the retained coordinates. Unlike a Fourier truncation, the basis is optimized for simultaneous localization in the finite input window and the assumed frequency band.
Formulas
Mathematical statement
The concentration operator is $S_c=PQP$ on $L^2(0,c)$, where $P$ restricts a function to the time interval $(0,c)$ and $Q$ projects its Fourier transform onto $(-1/2,1/2)$. Its eigenvalues satisfy $1>\lambda_0(c)\geq\lambda_1(c)\geq\cdots>0$, and $N_a(c)=\#\{n:\lambda_n(c)>a\}$. For a discarded-energy threshold $\delta\in(0,1/2)$ and $\bar L=\log((1-\delta)/\delta)$, the paper gives $N_\delta(c)=c+\pi^{-2}\bar L\log(4\pi^2c/\bar L)+O_A(\log c+\bar L)$ uniformly for $6\leq\bar L\leq A\log c$. Here $c$ is the time-bandwidth scaling parameter, $\delta$ is the eigenvalue threshold, $\bar L$ is its log-odds, and $A$ is a fixed uniformity constant. The underlying determinant estimate is $\log\det(I+(e^{2\omega}-1)K_s)=4\omega s/\pi+2\pi^{-2}\omega^2\log(4s)+2\log|G(1+i\omega/\pi)|^2+O_A((1+\omega)^4\log^2s/s)$ for $0\leq\omega\leq A\log s$, where $K_s$ is the sine-kernel operator, $\omega$ is the growing determinant parameter, $s$ is the kernel scale, and $G$ is the Barnes $G$-function. In the neural adaptation, form a finite concentration matrix $C$, eigendecompose it as $C=U\operatorname{diag}(\hat\lambda_i)U^\top$, and retain $r=\#\{i:\hat\lambda_i>\delta\}$ modes.
Implementation notes
Integrate this at the input of an expensive sequence module. For a tensor X with shape batch by sequence length T by channels D, apply the same orthonormal DPSS matrix U along the sequence axis before attention, a convolutional stack, or an MLP. Choose an effective normalized bandwidth W in (0,0.5), construct the symmetric concentration matrix C using the sinc formula above, and compute its eigenvectors with a symmetric eigensolver. Sort eigenvalues descending and retain r modes. Set delta to the maximum acceptable discarded concentration, compute barL=log((1-delta)/delta), and use r_asym=c + barL/pi^2 * log(4*pi^2*c/barL) as an initial rank estimate; because discrete normalization differs from the continuous theorem, clip r_asym to [1,T] and verify it using the empirical eigenvalues. Pseudocode: construct C; eigvals,eigvecs=eigh(C); sort descending; r=ceil(r_asym); Z=einsum('btd,tr->brd',X,U[:,:r]); Y=expensive_block(Z); output=einsum('brd,tr->btd',Y,U[:,:r].T), optionally adding a residual bypass for discarded coordinates. The theorem supplies the rank schedule; the eigendecomposition and actual reconstruction error are computed numerically. Start with a small Transformer on WikiText-103 or Long Range Arena at T=1024, comparing full attention, Fourier truncation, random orthogonal projection, and a learned linear bottleneck. Measure validation perplexity, reconstruction error, peak activation memory, and attention FLOPs. Success means at least 25 percent lower attention memory or FLOPs with no more than 1 percent relative perplexity degradation, and a better rank-versus-error curve than Fourier truncation on locally concentrated signals.
Verification
Stage 1 · Toy mechanism gate: Passed ✓
Stage 2 · Mechanism transferred to benchmark: Not reproduced ✗
Stage 2 · Practical benchmark result: Significantly worse ✗
Methodology: 8 paired seeds, permutation test (p<0.05) against a learning-rate-tuned baseline. How verification works
Stage 1 — Mechanism check agent confidence 8/10
Built a fixed prolate/DPSS bottleneck with theorem-inspired rank selection, tensor encode/decode, Fourier comparison, and numerical verification. The concentration matrix had eigenvalues in [0,1] up to numerical precision; ceil(asymptotic rank)=44 exactly matched the empirical count above delta=0.1. On band-limited covariance samples at rank 44, DPSS reconstruction error was 0.00108 versus 0.00885 for Fourier and 0.535 for a random subspace, while reducing quadratic attention work by 79.0%. This is a clear toy-signal win, but no trained neural block or language-model perplexity experiment was run.
- Agent confidence
- 8/10
- Baseline
- Fourier rank 44: normalized reconstruction error 0.0088546; random rank 44: 0.5347466; full quadratic work baseline = 1.0
- Idea
- Prolate rank 44: normalized reconstruction error 0.0010754, 87.9% lower than Fourier; empirical/asymptotic rank both 44; quadratic work fraction 0.2101 and reduction 79.0%; encode/decode max error 1.11e-15
Limitations: Only a small NumPy toy experiment on synthetic samples from the assumed band-limited covariance was tested. No Transformer, attention memory measurement, wall-clock speed benchmark, learned correction, residual bypass, WikiText/LRA data, or perplexity/accuracy comparison was run; the asymptotic theorem was checked through its rank prediction rather than independently reproving its error bound.
How to run: python3 validate.py
Stage 2 — Benchmark vs. tuned baseline (arXiv:2608.15808)
Significantly WORSE than the tuned baseline (+21.8%, p=0.0081, wins 0 / 8 paired seeds).
- Benchmark
- Sequence modeling
- Model
- transformer_tiny
- Paired seeds
- 8
- Baseline mean
- 0.399
- Idea mean
- 0.486
- Effect (Δ)
- 0.0869 (+21.8%; negative = idea better)
- Wins
- 0 / 8 paired seeds
- p-value
- 0.0081 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±6.5%
- Mechanism
- Not confirmed ✗
- Practical effect
- Hurts
- Baseline tuning
- swept over 3 configs
How to run: python3 bench_prolate.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Stage 2 — Benchmark latest Failed ✗
Agent confidence: 10/10
The DPSS/prolate bottleneck was tested end-to-end on the registered sequence track with the canonical transformer and full 8-seed paired protocol. The tuned full-length baseline significantly beat the best DPSS configuration: baseline MSE 0.3990439400, idea MSE 0.4859609939, paired delta +0.0869170539, permutation p=0.0081. The trained-model mechanism signature was also not confirmed because DPSS reconstruction error exceeded Fourier error (0.2195521 vs 0.2003414).
- Baseline
- mean MSE 0.3990439400076866; best_cfg {"lr":0.001,"rank":32}; 8 paired seeds
- Comparison
- delta_mean=0.08691705390810966; p_value=0.0081; verdict=idea worse (significant)
- Idea
- mean MSE 0.4859609939157963; best tested DPSS configuration; 8 paired seeds
Benchmark result
Significantly WORSE than the tuned baseline (+21.8%, p=0.0081, wins 0 / 8 paired seeds).
- Benchmark
- Sequence modeling
- Model
- transformer_tiny
- Paired seeds
- 8
- Baseline mean
- 0.399
- Idea mean
- 0.486
- Effect (Δ)
- 0.0869 (+21.8%; negative = idea better)
- Wins
- 0 / 8 paired seeds
- p-value
- 0.0081 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±6.5%
- Mechanism
- Not confirmed ✗
- Practical effect
- Hurts
- Baseline tuning
- swept over 3 configs
How to run: python3 bench_prolate.py
Artifacts
- bench_prolate.py 5.5 KB View Raw
- bench_report.json 8.0 KB View Raw
- experiment.py 4.0 KB View Raw
- prolate_bottleneck.py 2.9 KB View Raw
- report.md 1.7 KB View
- report_bench_2026-09-02T162721.md 4.9 KB View
- results.json 2.3 KB View Raw
- validate.py 1.4 KB View Raw
- validation_results.json 1.3 KB View Raw