Connectivity-coded sparse masks
Implementation & benchmark of arXiv:2609.02953 — Alon's Question on Connectivity Graph-Codes: $f(d)=2^d$ for Every $d\geq 4$
Source paper: Alon's Question on Connectivity Graph-Codes: $f(d)=2^d$ for Every $d\geq 4$ arXiv:2609.02953 ⓘ · analyzed Sep 4, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Replace independently sampled sparse connectivity masks with an algebraically generated codebook in which the symmetric difference of any two distinct masks is connected and spanning on a bipartite layer graph. A d-bit state selects one of up to 2^d masks, enabling cheap mask switching without isolated units or disconnected communication components.
Formulas
Mathematical statement
A connectivity code is a family C of edge sets on H = (V,E) such that for every distinct A,B in C, the graph (V,A triangle B) is connected and spanning, where A triangle B is symmetric difference. The paper uses a linear construction over the binary field F_2. Each edge e receives a label ell_e in F_2^d, and a codeword indexed by a in F_2^d has mask M_a(e) = a transpose ell_e modulo 2. Linearity gives M_a XOR M_b = M_{a+b}; therefore, if every nonzero M_a is connected and spanning, then every pairwise mask difference has the required property. On K_{d,d}, labels are generated from powers of an irreducible matrix T in GL_d(2), using ell_{ij} = T^i e_j, where e_j is the j-th standard basis vector. The paper gives explicit certificates for small d and proves suitable choices exist for d >= 7. An implementation must verify connectivity directly for the chosen T and indexing convention.
Implementation notes
(1) Integration point: use the codebook as the mask generator for a sparse bipartite linear layer, a graph-neural-network message-passing block, or a token-to-expert routing matrix. Partition source and destination units into blocks of size d, construct a d by d K_{d,d} pattern in each block, and multiply the learned weight matrix elementwise by the selected binary mask M_a. The mask can remain fixed for a minibatch and change between minibatches or routing phases. (2) Pseudocode: choose d >= 4; sample or load a binary irreducible matrix T; compute powers P_i = T^i modulo 2; set ell[i,j] = P_i times e_j modulo 2; enumerate every nonzero a in F_2^d; compute mask[a,i,j] = dot(a, ell[i,j]) modulo 2; run BFS on every mask[a] and reject T unless each nonzero mask is connected and spanning. During training, maintain a state a and update it with a new nonzero increment u, using a_new = a XOR u. (3) The exact mathematics determines labels, masks, XOR transitions, and connectivity certificates. Empirical choices include transition frequency, block tiling, whether to learn a or sample it, and whether masks are applied to weights or activations. For larger layers, tile the certified block pattern and compare against random sparse masks at equal density. (4) First experiment: train a small sparse MLP or 16-expert MoE on CIFAR-10 or a small language-model corpus. Compare random masks, independently resampled masks, and connectivity-coded masks with identical FLOPs and parameter counts. Record final accuracy, loss spikes after mask changes, isolated-unit fraction, gradient norm variance, and MoE load imbalance. Success means lower instability or faster recovery after mask changes at equal compute, with no accuracy 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.