✗ Mechanism failed 2026

Critical-depth sparse attention

Implementation & benchmark of arXiv:2608.22628 — Critical two-depth Journé packing for bi-parameter and Zygmund rectangles

Usefulness6/10
Difficulty6/10
Novelty7/10

Source paper: Critical two-depth Journé packing for bi-parameter and Zygmund rectangles arXiv:2608.22628 ⓘ · analyzed Aug 29, 2026

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

Idea description

Represent candidate two-dimensional attention windows as dyadic rectangles and penalize local regions where many deeply embedded windows overlap. Use complementary horizontal and vertical depth exponents rather than independently penalizing one coordinate. The resulting router should reduce pathological concentration of sparse attention computation while preserving access to multiscale context.

Formulas

$$\widetilde{\Omega}=\{x:M_{\mathcal D^{1}\times\mathcal D^{2}}1_{\Omega}(x)>1/2\},\qquad M_{\mathcal B}f(x)=\sup_{R\in\mathcal B:x\in R}\frac{1}{|R|}\int_R|f|.$$
$$H_s(x)=\sum_{I\in\mathcal U}(e_1(I;\Omega)+1)^{-s}(e_2(I;\Omega)+1)^{-(1-s)}1_I(x),\qquad 0<s<1.$$
$$\int_{\Omega}H_s(x)\,dx\lesssim\frac{1}{s(1-s)}|\Omega|,\qquad \int_{\Omega}e^{c\,s(1-s)H_s(x)}\,dx\lesssim|\Omega|.$$
$$\mathcal L_{\mathrm{pack}}=\frac{1}{|\Omega|}\sum_{x\in\Omega}\exp\!\left(\tau s(1-s)H_s(x)\right),\qquad w_I^{\mathrm{new}}=w_I\exp\!\left(-\lambda\alpha_I\,\frac{1}{|I|}\sum_{x\in I}H_s(x)\right),$$ $$\alpha_I=(e_1(I;\Omega)+1)^{-s}(e_2(I;\Omega)+1)^{-(1-s)}.$$

Mathematical statement

Let Omega be the active token region and let U be a pairwise incomparable family of dyadic rectangles I = I1 x I2 contained in Omega. Define the dyadic strong halo by tilde_Omega = {x : M_(D1 x D2) 1_Omega(x) > 1/2}, where M_B f(x) = sup over rectangles R in B containing x of the average of |f| on R. The horizontal embeddedness depth e1(I; Omega) is the largest integer k >= 0 for which the horizontal ancestor (I1)^(k) x I2 lies in tilde_Omega. The vertical depth e2(I; Omega) is defined analogously. For 0 < s < 1, define the critical height H_s(x) = sum over I in U of (e1(I; Omega)+1)^(-s) times (e2(I; Omega)+1)^(-(1-s)) times the indicator 1_I(x). The paper proves that the integral of H_s over Omega is bounded by a constant times |Omega| divided by s(1-s), and that the integral of exp(c s(1-s) H_s) is bounded by a constant times |Omega| for sufficiently small absolute c. The critical property is that the exponents sum to one. In the neural adaptation, Omega is the active image-token mask, each I is a candidate attention window, e1 and e2 are finite-grid ancestor depths, and H_s is a per-token overlap or congestion score.

Implementation notes

(1) Integrate the method immediately before sparse-window attention in a 2D vision or document transformer. Let the router output a score for each candidate dyadic rectangle at several spatial scales. Prune candidates to an antichain: if one rectangle strictly contains another, retain only the higher-scoring one or assign the contained rectangle to a separate routing group. (2) Construct the active mask Omega from visible or nonpadded tokens. Approximate its dyadic halo with max-pooling or average-pooling over rectangular kernels at all available dyadic scales. For every candidate I, repeatedly double only its width to compute e1 and repeatedly double only its height to compute e2; stop when the corresponding ancestor is outside the halo. Compute alpha_I = (e1+1)^(-s)(e2+1)^(-(1-s)). Initialize H to zeros over tokens, then execute for I in candidates: H[tokens(I)] += alpha_I. Penalize router scores using score[I] -= lambda * alpha_I * mean(H[tokens(I)]), or add the exponential loss L_pack = mean(exp(tau*s*(1-s)*H)). (3) The paper supplies the complementary exponent structure and the reason exponential overlap control is plausible. The halo threshold, lambda, tau, and maximum depth are engineering parameters; estimate e1 and e2 with integer ancestor lookups and compute H with fused scatter-add. (4) First test a small Swin-like model on CIFAR-100 or ImageNet-100. Compare fixed nonoverlapping windows, unconstrained learned multiscale windows, and antichain routing with critical-depth packing at equal selected-token FLOPs. Track validation accuracy, peak activation memory, maximum and 99th-percentile H, router entropy, attention FLOPs, and loss-curve variance. Success means substantially lower worst-case overlap and memory without accuracy loss, or faster convergence at equal sparse-attention cost.

Verification

Mechanism failed

Stage 1 · Toy mechanism gate: Failed ✗

Stage 2 · Mechanism transferred to benchmark: Not tested

Stage 2 · Practical benchmark result: Not run

Methodology: Toy-system gate first; the benchmark stage runs only after a pass. How verification works

Stage 1 — Mechanism check agent confidence 8/10

Built a finite-grid dyadic strong-halo implementation with horizontal/vertical ancestor depths, complementary critical height H_s, exponential packing metrics, antichain routing, and deterministic parameter sweeps. Two algebraic predictions were confirmed: H_s is exactly symmetric under s↔1−s in this symmetric setup, and mean H scales exactly linearly with Lambda; however, the directional/critical-exponent sweep was completely flat because the full active mask makes the halo trivial, so it does not validate the claimed nontrivial concentration-control mechanism. The router demo reduced p99/max overlap, but only by pruning 128 candidates to 70, making it an unequal-compute comparison.

Agent confidence
8/10
Baseline
128 unconstrained candidates; mean H=0.3922, p99=1.2, max=1.6, exp_mean=1.1056
Idea
70 greedy-antichain candidates; mean H=0.1734, p99=0.6, max=0.6, exp_mean=1.0450; unequal candidate count prevents attributing this solely to critical-depth weighting

Limitations: No neural attention training or validation accuracy was tested; no equal-selected-token/FLOP comparison was performed; the active mask was fully populated, making the dyadic halo trivial and causing the directional s sweep to be uninformative; no GPU benchmark or memory measurement was run; the exponential theorem was not tested across a meaningful family of sparse masks.

How to run: python3 critical_depth_experiment.py

Verdict computed by deterministic test code from paired-seed statistics — not by the language model.

Artifacts

Implementation overview ⬇ Download all as ZIP 3 files · code, reports and structured results