Cohomology Bottleneck Regularizer
Implementation & benchmark of arXiv:2607.00238 — Duality and a Canonical Sheaf in Periodic Riemann Functions
Source paper: Duality and a Canonical Sheaf in Periodic Riemann Functions arXiv:2607.00238 ⓘ · analyzed Aug 29, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Represent a neural block as a five-object diagram with source spaces B1,B2,B3, target spaces A1,A2, and only the incidence maps allowed by the paper. Penalize excessive cokernel dimension, or explicitly retain it as a controlled residual channel, so inconsistent information is exposed instead of silently discarded by arbitrary projections.
Formulas
Mathematical statement
A diagram \mathcal{F} consists of five vector spaces \mathcal{F}(B_{1}),\mathcal{F}(B_{2}),\mathcal{F}(B_{3}),\mathcal{F}(A_{1}),\mathcal{F}(A_{2}) and restriction maps only for (i,j)\in\{(1,1),(2,2),(3,1),(3,2)\}. Define \mathcal{F}(B)=\mathcal{F}(B_{1})\oplus\mathcal{F}(B_{2})\oplus\mathcal{F}(B_{3}) and \mathcal{F}(A)=\mathcal{F}(A_{1})\oplus\mathcal{F}(A_{2}); the differential \mathcal{F}(\partial):\mathcal{F}(B) o\mathcal{F}(A) is the signed or concatenated block map assembled from those restrictions. The diagram's zeroth and first cohomology are H^{0}(\mathcal{F})=\ker \mathcal{F}(\partial) and H^{1}(\mathcal{F})=\operatorname{coker}\mathcal{F}(\partial), with Betti numbers b^{i}=\dim H^{i}. The paper's exact sequence satisfies b^{0}(\mathcal{M}_{W,\mathbf d})=f(\mathbf d), b^{1}(\mathcal{M}_{W,\mathbf d})=f^{\wedge}_{\mathbf K}(\mathbf K-\mathbf d), and \chi=b^{0}-b^{1}=\deg(\mathbf d)+C. In a neural block, use the singular values of the differential as differentiable proxies for these dimensions: small singular values represent kernel/cokernel directions, and the Euler residual controls the imbalance.
Implementation notes
Insert the module immediately after a residual attention or MLP sublayer. Split a token representation z into three source tensors B1,B2,B3, each of width m, and construct two target tensors A1,A2. Implement four learned linear maps R11:B1→A1, R22:B2→A2, R31:B3→A1, and R32:B3→A2; concatenate them into a differential matrix D whose action is A1=R11(B1)+R31(B3) and A2=R22(B2)+R32(B3). Estimate the cohomology dimensions without an expensive SVD by using the soft nullity proxy q_tau(D)=sum_k sigmoid((tau-sigma_k(D))/eps), where sigma_k are singular values, tau is a threshold, and eps smooths the count. Add L_coh=lambda_e*relu(target_chi-(q_tau(D)-q_tau(D.T)))^2 or, more simply, penalize the squared Euler residual (||B||_2^2-||A||_2^2-delta)^2; use delta as a learned scalar per layer. A stronger version keeps the approximate cokernel basis from the smallest left singular vectors as an explicit residual feature, allowing the network to recover information that D cannot explain. The math is the kernel/cokernel decomposition and Euler difference; tau, eps, and delta are empirical hyperparameters. First test on a 4-layer MLP or ViT on CIFAR-10, comparing a matched-width baseline with and without the regularizer. Monitor gradient norm variance, rank collapse, calibration, and accuracy. Success is improved accuracy or calibration at equal parameters, together with fewer near-zero singular-value directions and smoother training loss.
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.